Yesterday, nobody contributed anything. :-( The official answer is: -(x ^ 4 + 2 ^ 2 ^ (1 / 256)).