Can you calculate Pi using a Solver?

[Albert Chan]

(12-11-2019 05:49 PM)Roland57 Wrote:  pi = 2 * integral(1 / sqr(1-x*x), x, 0, 1)

It gives 3.141592(48348) on the iOS prime-emulator

Some calculators have problem with singularity at the limits.
We can do this instead:

pi = 6 asin(.5) = integrate(6 / sqrt(1-x*x), x = 0 .. 0.5)

or, to speed it up a bit ...

pi = 4 atan(1) = integrate(4 / (1+x*x), 0, 1)