pi sqrt(2)