x_P := PuiseuxSeriesRing(Q); x_RP:=PolynomialAlgebra(x_P); x_y := x_RP.1; x_f := x_RP.1^2 -x_RP.1^3 + x_RP.1 +1; x_exp:=PuiseuxExpansion(x_f,0); Derivative(x_exp[1],2);