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