in reply to Computing pi to multiple precision

John Savard's page on “Squaring the circle” talks about formulas similar to the arctangent one that I'm using here.

In Section Meditations