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

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

Looking at https://mathworld.wolfram.com/AhmedsIntegral.html it seems that Mathematica evaluates the generic integrals but not to the same results from the article.