formulas for pi

Input interpretation

π | identities