int(pi*(2*atan(x^2/2))^2,0,8.45)