3 2 f := Df *f*p1 + Df *Df*f*p2 + Df *f *p5 + (Df) *f*p3 + (Df) *f *p4 + Df*f *p6 t 2x x x x x 2x + f *p7 3x
f := 0 s