Integral sin(sin x)