cos(x) = 1/√2