Did away with the .is_Add if-else block

It returns only trivial solutions for Mul and Pow cases