pi * int_{0}^{log(pi)} sin^2(e^x) dx