10x = sqrt(2)/y