First time here? Check out the FAQ!
answered 7 years ago
Just for completeness -- another option is to use sympy. See http://docs.sympy.org/latest/tutorial/simplification.html for some simplification options.
sympy