integrate y = pi*(sin(π/4)/sin(3×π/4 - x×π/(2 sqrt(2))))^2 from 0 to sqrt(2)