integral of (sin(cos(x)))