Estoy buscando una forma cerrada de la siguiente integral del problema.
$$I = \int_0^{\pi/2} \arctan(x)\cot(x)\,dx.$$
La aproximación numérica de $I$ es
$$I \approx 0.96644524676637380447182915131032699868606574138656587245691342\dots$$
Yo he encontrado nada con Maple o Mathematica.
