fxn:= c1*(e+c2*e2+c3*e3+c4*e4+c5*e5+c6*e6+c7*e7+c8*e8+c9*e9+c10*e10+ |
c11*e11+c13*e12+c13*e13+c14*e14+c15*e15+c16*e16+c17*e17); |
dfxn:= diff (fxn, e); |
ye:= simplify (taylor (e−fxn/dfxn, e = 0, 17)); |
fyn:= c1*(ye+c2*ye2+c3*ye3+c4*ye4+c5*ye5+c6*ye6+c7*ye7+c8*ye8+c9*ye9+ |
c10*ye10+c11*ye11+c12*ye12+c13*ye13+c14*ye14+c15*ye15+c16*ye16+c17*ye17); |
fyn:= simplify (taylor (fyn, e = 0, 17)); |
t1:= simplify (taylor (fyn/fxn, e = 0, 17)); |
fydfx:= simplify (taylor (fyn/dfxn, e = 0, 17)); |
ze:= factor (simplify (taylor (ye−(1+2*t1−t12)*fydfx/(1−6*t12), e = 0, 17))); |
factor (simplify (taylor (ye−(1+2*t1−t12)*fydfx/(1−6*t12), e = 0, 7))); |
|
−c2*c3*e4+(−2*c32+2*c3*c22+2*c24−2*c2*c4)*e5+(−3*c2*c5−7*c3*c4+6*c2*c32+ |
12*c3*c23+3*c4*c22−14*c25)*e6+O(e7) |
|
fzn:= c1*(ze+c2*ze2+c3*ze3+c4*ze4+c5*ze5+c6*ze6+c7*ze7+c8*ze8+c9*ze9+ |
c10*ze10+c11*ze11+c12*ze12+c13*ze13+c14*ze14+c15*ze15+c16*ze16+c17*ze17); |
fzn:= simplify (taylor (fzn, e = 0, 17)); |
t2:= simplify (taylor (fzn/fyn, e = 0, 17)); |
t3:= simplify (taylor (fzn/fxn, e = 0, 17)); |
fzdfx:= simplify (taylor (fzn/dfxn, e = 0, 17)); |
we:= simplify (taylor (ze−(1−t1+t3)*fzdfx/(1−3*t1+2*t3−t2), e = 0, 17)); |
simplify (taylor (ze−(1−t1+t3)*fzdfx/(1−3*t1+2*t3−t2), e = 0, 10)); |
|
−c4*c3*c22*e8+(−2*c5*c3*c22−4*c2*c4*c32+4*c3*c4*c23−2*c42*c22+2*c4*c25 |
−3*c33*c22+4*c32*c24+4*c3*c26)*e9+O(e10) |
|
fwn:= c1*(we+c2*we2+c3*we3+c4*we4+c5*we5+c6*we6+c7*we7+c8*we8+c9*we9+c10*we10+ |
c12*we12+c13*we13+c14*we14+c15*we15+c16*we16+c17*we17); |
fwn:= simplify (taylor (fwn, e = 0, 17)); |
fwdfx:= simplify (taylor (fwn/dfxn, e = 0, 17)); |
t4:= simplify (taylor (fwn/fxn, e = 0, 17)); |
t5:= simplify (taylor (fwn/fyn, e = 0, 17)); |
t6:= simplify (taylor (fwn/fzn, e = 0, 17)); |
q1:= simplify (taylor (1/(1−2*(t1+t12+t13+t14+t15+t16+t17)), e = 0, 17)); |
q2:= simplify (taylor (4*t3/(1−(31/4)*t3), e = 0, 17)); |
q3:= simplify (taylor (t2/(1−t2−20*t23), e = 0, 17)); |
q4:= simplify (taylor (8*t4/(1−t4)+2*t5/(1−t5)+t6/(1−t6), e = 0, 17)); |
q5:= simplify (taylor (15*t1*t3/(1−(131/15)*t3), e = 0, 17)); |
q6:= simplify (taylor (54*t12*t3/(1−t12*t3), e = 0, 17)); |
q7:= simplify (taylor (7*t2*t3+2*t1*t6+6*t6*t12+188*t3*t13+18*t6*t13+ |
9*t22*t3+648*t14*t3, e = 0, 17)); |
x[n+1]:= simplify (taylor (we−fwdfx*(q1+q2+q3+q4+q5+q6+q7), e = 0, 17)); |
for i to 16 do p:= factor (simplify (coeff (x[n+1], e, i))) end do; |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
−c4*c3*c22*(c5*c3*c22+2*c2*c4*c32−20*c34−51*c33*c22+522*c32*c24−2199*c3*c26 |
+2*c28−30*c3*c4*c23+54*c4*c25) |