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