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