WolframAlpha computational knowledge AI
|f'(x)|=-x^2-1