log(3) / | | 1 | -------- dx | x -x | E + E | / 0
Integral(1/(E^x + E^(-x)), (x, 0, log(3)))
/ | | 1 / x\ | -------- dx = C + atan\E / | x -x | E + E | /
/ 2 \ / 2 \ - RootSum\4*z + 1, i -> i*log(1 - 2*i)/ + RootSum\4*z + 1, i -> i*log(1/3 - 2*i)/
=
/ 2 \ / 2 \ - RootSum\4*z + 1, i -> i*log(1 - 2*i)/ + RootSum\4*z + 1, i -> i*log(1/3 - 2*i)/
-RootSum(4*_z^2 + 1, Lambda(_i, _i*log(1 - 2*_i))) + RootSum(4*_z^2 + 1, Lambda(_i, _i*log(1/3 - 2*_i)))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.