cos(x) = sqrt2-1