Integral of sin(sin(x))dx