WolframAlpha computational knowledge AI
tan(atan(1)-2*atan(1/4))