Yesterday, nobody contributed anything. :-(
The official answer is:
-sqrt(2 ^ (-(1 / (cos(x) + 1))))