(d/dx 2^(x^3-3*x)*ln(2)*(3*x^2-3))=0