nicer answers

Alejandro Jakubi — Sun, 21 Aug 2011 03:58:00 Z

Maple indefinite integration routines are weak at producing nice, compact answers (see here). In my opinion, the simplest and more reliable way for simplifying such results is using transformation rules, like:

cossq:=A::algebraic*cos(a::algebraic)^(n::even)=A*(1-sin(a)^2)^(n/2):

J1:=int(cos(x)^3, x);
                                2
                J1 := 1/3 cos(x)  sin(x) + 2/3 sin(x)

(expand@applyrule)(cossq,J1);
                                            3
                         sin(x) - 1/3 sin(x)


J2:=int(sin(x)^4*cos(x)^3, x);
                   3       4                     4
  J2 := -1/7 sin(x)  cos(x)  - 3/35 sin(x) cos(x)

                      2
         + 1/35 cos(x)  sin(x) + 2/35 sin(x)

(expand@applyrule)(cossq,J2);
                                5             7
                      1/5 sin(x)  - 1/7 sin(x)

indefinite_integrals

brian bovril — Sun, 21 Aug 2011 13:16:43 Z

nice.

rgds

MaplePrimes - answers and comments on Question, trig integral simplification difference?

nicer answers

indefinite_integrals