SolveSteps is also capable of proving trigonometric identities
Use the optional parameter trigtimer, which takes a positive integer, to set the allowed time for solving. By default it is 60 seconds.
Use the optional parameter trigpath, which takes a positive integer, to view different ways to prove the identity
SolveSteps is also capable of solving systems of linear inequalities
Use the optional parameter colorpack to specify an alternate color palette for inequality plots.
SolveSteps is also capable of solving nonlinear inequalities
SolveSteps is also capable of solving expressions with absolute values