WolframAlpha computational knowledge AI
does abs(x) have a derivative?