IPP
command. You
have to put a defined integral
at level 2 and a function u(t) at level 1. Let v=f/u', then
IPP
returns
IPP
twice or more. In this case, the transformation
applies on the first integral of the second member of the equality.
'T' IPP
IPP
EXPA
returns the antiderivative of
.
IPP
twice. The resulting equality
may be used to compute the antiderivative (RISCH
may be called
directly on this example, but IPP
gives a pedagogical approach)