acot(2*x)*atan(2*x)
2*atan(2*x) 2*acot(2*x) - ----------- + ----------- 2 2 1 + 4*x 1 + 4*x
8*(-1 - 2*x*acot(2*x) + 2*x*atan(2*x)) -------------------------------------- 2 / 2\ \1 + 4*x /
// 2 \ / 2 \ \ || 16*x | | 16*x | 12*x | 16*||-1 + --------|*acot(2*x) - |-1 + --------|*atan(2*x) + --------| || 2| | 2| 2| \\ 1 + 4*x / \ 1 + 4*x / 1 + 4*x / --------------------------------------------------------------------- 2 / 2\ \1 + 4*x /