Actual Mathomatic output from the simplify script

Mathomatic version 15.1.4 (www.mathomatic.org)
Copyright (C) 1987-2010 George Gesslein II.
100 equation spaces available, 1920 kilobytes per equation space.
HTML color mode enabled; disable with the -c option or "set no color".
1—> ; Some complete simplifications Mathomatic has always been able to do.
1—> ; The result is the smallest expression that gives exactly the same results.
1—> 
1—> 2*(x^2-y^2)^16-(x^2-y^2)^15*(2x^2-3)

#1: (2·(((x^2) − (y^2))^16)) − ((((x^2) − (y^2))^15)·((2·(x^2)) − 3))

1—> simplify ; Simplify the previously entered expression above.

#1: (((x^2) − (y^2))^15)·(3 − (2·(y^2)))

1—> 
1—> a^3/((a-b)*(a-c))+b^3/((b-c)*(b-a))+c^3/((c-a)*(c-b))

          (a^3)               (b^3)               (c^3)
#2: ----------------- + ----------------- + -----------------
    ((a − b)·(a − c))   ((b − c)·(b − a))   ((c − a)·(c − b))

2—> simplify ; Simplify algebraic fractions.

#2: b + a + c

2—> 
2—> (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))

                          ((x^6) + (a^6))·(x + 1)                                       (a^2)·(x^2)·(x + 1)
#3: ------------------------------------------------------------------- + -----------------------------------------------
    ((((x^6) + (a^6))·((x^2) − (a^2))) + ((a^2)·(x^2)·((x^4) − (a^4))))   ((x^6) − (a^6) − ((a^2)·(x^2)·((x^2) − (a^2))))

3—> simplify

        (x + 1)
#3: ---------------
    ((x^2) − (a^2))

3—> 
3—> (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))

                      (y + 1)
               (1 − -----------)
                    (x + y + 1)
          (1 − -----------------)
                         x
               (1 − -----------)
                    (x + y + 1)
#4: -----------------------------------
                       x·(y + 1)
                   x·(----------- − x)
                      (y − x + 1)
    (((y + 1)^2) − -------------------)
                              x
                    (1 + -----------)
                         (y − x + 1)

4—> simplify fraction ; Any complex fraction can be reduced to a simple fraction with this command.

                        1
#4: -----------------------------------------
    (1 + (y^2) + (2·y) + (x·(y + 1)) + (x^2))

4—> 
4—> ((2*((x*(x+(((x^2)-1)^(1/2))))-1))+1)/((2*x*((x^2)-1))+((((x^2)-1)^(1/2))*((2*(x^2))-1)))

                                     1
           ((2·((x·(x + (((x^2) − 1)^-))) − 1)) + 1)
                                     2
#5: -------------------------------------------------------
                                       1
    ((2·x·((x^2) − 1)) + ((((x^2) − 1)^-)·((2·(x^2)) − 1)))
                                       2

5—> simplify ; Simplify an expression containing radicals (roots).

           1
#5: ---------------
                 1
    (((x^2) − 1)^-)
                 2

Finished reading file "simplify.in".
5—> 
End of input.