derivative of (cos(log(x)))^3