z.优化后的四元式.txt

[=,2.0,_,x2] [=,3.0,_,x3] [=,x2,_,x1] [=,x3,_,x2] [=,x1,_,x3] [+,x3,x2,x1] [=,10.0,_,b] [+,63.0,b,a] [fun,f,_,_] [+,c,d,e] [rt,e,_,_] [sf,f,_,a] [xc,c,10.0,_] [xc,d,15.0,_] [esf,f,a,_] [=,1.0,_,w1] [wh,_,_,_] [<,w1,5.0,t5] [dw,t5,_,_] [+,b,2.0,a] [+,w1,1.0,w1] [>,w1,3.0,t6] [if,t6,_,_] [+,a,200.0,a] [bk,_,_,_] [es,_,_,_] [+,a,2.0,a] [ie,_,_,_] [we,_,_,_] [=,0.0,_,i] [for,_,_,_] [<=,i,6.0,t7] [df,t7,_,_] [+,a,9.0,a] [+,i,1.0,i] [fe,_,_,_]