deriv(cos(x)*cos(sin(x)))