Square root of two sqrt(2)