Yesterday, nobody contributed anything. :-( The official answer is: -2 ^ 2 ^ abs(cos(2 ^ (-x))).