WolframAlpha computational knowledge AI
N[ArcCos[-1], 500] == N[Pi, 500]