derivative(cos^3(x))