derivative x^3