Yesterday, nobody contributed anything.  :-(
The official answer is: x * floor(-(1 / x)) / ln(cos(x))