WolframAlpha computational knowledge AI
differentiate cos(sin(x)) wrt x