WolframAlpha computational knowledge AI
BBP-type formulas for pi