Gracias Sorin Suciu.
Ya conocía https://mathworld.wolfram.com/AhmedsIntegral.html.
Mathematica puede evaluar formalmente integrales como:
Integrate[ ArcTan[Sqrt[1 + x^2]]/(1 + x^2)^(3/2), {x, 0, 1}] // FullSimplify,
Integrate[ArcTan[x]/((1 + x^2) x), {x, 1, Infinity}]
, etc.
Me sorprende que no calcule formalmente la muy conocida integral de Ahmed.
Siguiendo el artículo " Integral de Ahmed: la solución inaugural " y con ayuda de Mathematica se obtiene:
Integrate[(Pi/2)/(Sqrt[2 + x^2] (1 + x^2)), {x, 0, 1}] = \[Pi]^2/12
Apart[1/((1 + x^2) (2 + x^2 + y^2)), x] =
1/((1 + x^2) (1 + y^2)) - 1/((1 + y^2) (2 + x^2 + y^2))......etc
Integrate[ArcTan[Sqrt[2 + x^2]]/(Sqrt[2 + x^2] (1 + x^2)), {x, 0, 1}]=(5 \[Pi]^2)/96