Can you calculate Pi using a Solver?

[EdS2]

(01-11-2020 12:21 AM)Valentin Albillo Wrote:            3*Ln(640320)/√163 = 3,1415926535897930+

which gives 17 digits (save 2 ulps) while using just 10 digits, i.e., 17-10 = +7 digits gained.

Also good value, also by Ramanujan:
√√(9^2 + 19^2/22) = 3.14159265258...
(via a commenter on an article by David Bau)

Also can be written as
√√(2143/22) = 3.14159265258...
for slightly better value.