derivative of x^3*1