x = sqrt(2