integral sin(sin(x)) dx