Arithmetic Geometric Mean of 1 and 1/(sqrt(2))