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

                +--------+
              2 |   4         3
             x \|- x  + 1  + x  + x
   (1)  atan(----------------------)
               +--------+
               |   4         3
              \|- x  + 1  - x  + x
                                                    Type: Expression(Integer)
(2) -> atan(x*(1 + x^2)/sqrt(1 - x^4))

                +--------+
              2 |   4         3
             x \|- x  + 1  + x  + x
   (2)  atan(----------------------)
               +--------+
               |   4         3
              \|- x  + 1  - x  + x
                                                    Type: Expression(Integer)

You can see that the output of (2) is the same as (1)
instead of the following (1).  So the input order alone can
lead to auto-simplification (or auto-complication), is this
a bug (or a feature)?

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

                 3
                x  + x
   (1)  atan(-----------)
              +--------+
              |   4
             \|- x  + 1
                                                    Type: Expression(Integer)

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to