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