x_r := PolynomialAlgebra(Z); x_x:=x_r.1; x_f := x_x^3 + 2*x_x^2 + 5; Derivative(x_f);