Yesterday, nobody contributed anything.  :-(
The official answer is: (-(2 * x) - 1) * sqrt(sqrt(3 * x))