Question 1027531
{{{int(x/(1+cos^2(x)), dx, 0, pi)=pi^2/(2sqrt(2))}}}