WolframAlpha computational knowledge AI
√x+√(x-√(1-x))