Question 7655
the closest thing to such a thingy is my universal simplifier and solver

http://www.algebra.com/services/rendering/simplifier.mpl