solve 1/sqrt(2