d/dx(x^3 log(x))^(x^3 log(x))