; Some complete simplifications Mathomatic has always been able to do.

2*(x^2-y^2)^16-(x^2-y^2)^15*(2x^2-3)
simplify ; Simplify the previously entered expression above.
; Simplify the following expressions by combining algebraic fractions added together:
a^3/((a-b)*(a-c))+b^3/((b-c)*(b-a))+c^3/((c-a)*(c-b))
simplify
(x^6+a^6)*(x+1)/((x^6+a^6)*(x^2-a^2)+a^2*x^2*(x^4-a^4))+a^2*x^2*(x+1)/(x^6-a^6-a^2*x^2*(x^2-a^2))
simplify
; Enter and simplify a large, complex algebraic fraction:
(1-(1-(y+1)/(x+y+1))/(1-x/(x+y+1)))/((y+1)^2-x/(1+x/(y-x+1))*(x*(y+1)/(y-x+1)-x))
simplify fraction ; Any complex fraction can be reduced to a simple fraction with this command.
; Enter and simplify an expression containing radicals (roots):
((2*((x*(x+(((x^2)-1)^(1/2))))-1))+1)/((2*x*((x^2)-1))+((((x^2)-1)^(1/2))*((2*(x^2))-1)))
simplify
