WolframAlpha computational knowledge AI
is f(x) = sin^2(x) differentiable?