integral_0^1 sin^2(tan(tan(π x))) dx