integral of pi sin^2(sinx) from x=0 to x=pi