integrate cos(log(sin(x)))