First time here? Check out the FAQ!
answered 2017-06-21 15:30:29 +0100
Just for completeness -- another option is to use sympy. See http://docs.sympy.org/latest/tutorial/simplification.html for some simplification options.
sympy