Now last step includes redundant checks where all letters from left side of equation and permutations still go to look through results permutation when there obviously just one to check for.
Left side should be computed and checked if result complies with equation right side letters scheme.