sqrt((1-cos x)^2 + sin^2 x)