WolframAlpha computational knowledge AI
arcsin(x) <= Pi