Mathomatic version 12.8.1 (www.mathomatic.org)
Copyright (C) 1987-2007 George Gesslein II.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

50 equation spaces available, 960 kilobytes per equation space.
HTML color mode enabled.
1—> ; Some simplification tests Mathomatic has always been able to do.
1—> 
1—> clear all
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

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

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
Division simplified with polynomial GCD.
Division simplified with polynomial GCD.
Division simplified with polynomial GCD.

#2: b + a + c

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
Division simplified with polynomial GCD.

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

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 ; Any complex fraction can be reduced to a simple fraction.
Division simplified with polynomial GCD.

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

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 ; A good simplification resulting from trying to rationalize the denominator.

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

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