integrate cos(cos(cos x))