3.161 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying: (/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: Extracting # 3 : cost 0 0.047 * * [simplify]: Extracting # 4 : cost 0 0.047 * * [simplify]: Extracting # 5 : cost 0 0.047 * * [simplify]: Extracting # 6 : cost 0 0.047 * * [simplify]: Extracting # 7 : cost 0 0.048 * * [simplify]: Extracting # 8 : cost 0 0.048 * * [simplify]: Extracting # 9 : cost 0 0.048 * * [simplify]: Extracting # 10 : cost 0 0.048 * * [simplify]: Extracting # 11 : cost 0 0.048 * * [simplify]: Extracting # 12 : cost 0 0.048 * * [simplify]: Extracting # 13 : cost 0 0.048 * * [simplify]: Extracting # 14 : cost 0 0.048 * * [simplify]: iteration 0 : 29 enodes (cost 37 ) 0.059 * * [simplify]: Extracting # 0 : cost 0 0.059 * * [simplify]: Extracting # 1 : cost 0 0.059 * * [simplify]: Extracting # 2 : cost 0 0.059 * * [simplify]: Extracting # 3 : cost 0 0.059 * * [simplify]: iteration 1 : 62 enodes (cost 30 ) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.110 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: iteration 2 : 154 enodes (cost 30 ) 0.208 * * [simplify]: Extracting # 0 : cost 0 0.209 * * [simplify]: Extracting # 1 : cost 0 0.210 * * [simplify]: Extracting # 2 : cost 0 0.211 * * [simplify]: iteration 3 : 502 enodes (cost 30 ) 0.605 * * [simplify]: Extracting # 0 : cost 0 0.613 * * [simplify]: Extracting # 1 : cost 0 0.617 * * [simplify]: Extracting # 2 : cost 0 0.620 * * [simplify]: Extracting # 3 : cost 0 0.622 * * [simplify]: Extracting # 4 : cost 0 0.625 * * [simplify]: iteration 4 : 1766 enodes (cost 30 ) 1.894 * * [simplify]: Extracting # 0 : cost 0 1.903 * * [simplify]: Extracting # 1 : cost 0 1.916 * * [simplify]: Extracting # 2 : cost 0 1.927 * * [simplify]: Extracting # 3 : cost 0 1.944 * * [simplify]: Extracting # 4 : cost 0 1.954 * * [simplify]: Extracting # 5 : cost 0 1.964 * * [simplify]: iteration done: 5000 enodes (cost 30 ) 1.964 * [simplify]: Simplified to: (/ (- x 2.0) (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z))) 1.975 * * [progress]: iteration 1 / 4 1.975 * * * [progress]: picking best candidate 1.992 * * * * [pick]: Picked # 1.993 * * * [progress]: localizing error 2.047 * * * [progress]: generating rewritten candidates 2.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.066 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 2.089 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 2.089 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 2.097 * * * [progress]: generating series expansions 2.097 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.097 * [backup-simplify]: Simplify (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)) into (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)) 2.098 * [approximate]: Taking taylor expansion of (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)) in (x y z) around 0 2.098 * [taylor]: Taking taylor expansion of (/ (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z)) in z 2.098 * [taylor]: Taking taylor expansion of (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) in z 2.098 * [taylor]: Rewrote expression to (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606) 2.098 * [taylor]: Taking taylor expansion of (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) in z 2.098 * [taylor]: Taking taylor expansion of (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) in z 2.098 * [taylor]: Rewrote expression to (+ (* (fma (+ x 43.3400022514) x 263.505074721) x) 313.399215894) 2.098 * [taylor]: Taking taylor expansion of (* (fma (+ x 43.3400022514) x 263.505074721) x) in z 2.098 * [taylor]: Taking taylor expansion of (fma (+ x 43.3400022514) x 263.505074721) in z 2.098 * [taylor]: Rewrote expression to (+ (* (+ x 43.3400022514) x) 263.505074721) 2.098 * [taylor]: Taking taylor expansion of (* (+ x 43.3400022514) x) in z 2.098 * [taylor]: Taking taylor expansion of (+ x 43.3400022514) in z 2.099 * [taylor]: Taking taylor expansion of x in z 2.099 * [backup-simplify]: Simplify x into x 2.099 * [taylor]: Taking taylor expansion of 43.3400022514 in z 2.099 * [backup-simplify]: Simplify 43.3400022514 into 43.3400022514 2.099 * [taylor]: Taking taylor expansion of x in z 2.099 * [backup-simplify]: Simplify x into x 2.099 * [taylor]: Taking taylor expansion of 263.505074721 in z 2.099 * [backup-simplify]: Simplify 263.505074721 into 263.505074721 2.099 * [taylor]: Taking taylor expansion of x in z 2.099 * [backup-simplify]: Simplify x into x 2.099 * [taylor]: Taking taylor expansion of 313.399215894 in z 2.099 * [backup-simplify]: Simplify 313.399215894 into 313.399215894 2.099 * [taylor]: Taking taylor expansion of x in z 2.099 * [backup-simplify]: Simplify x into x 2.099 * [taylor]: Taking taylor expansion of 47.066876606 in z 2.099 * [backup-simplify]: Simplify 47.066876606 into 47.066876606 2.099 * [taylor]: Taking taylor expansion of (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) in z 2.099 * [taylor]: Rewrote expression to (+ (* (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x) z) 2.099 * [taylor]: Taking taylor expansion of (* (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x) in z 2.099 * [taylor]: Taking taylor expansion of (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) in z 2.099 * [taylor]: Rewrote expression to (+ (* (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x) y) 2.099 * [taylor]: Taking taylor expansion of (* (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x) in z 2.099 * [taylor]: Taking taylor expansion of (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) in z 2.100 * [taylor]: Rewrote expression to (+ (* (fma x 4.16438922228 78.6994924154) x) 137.519416416) 2.100 * [taylor]: Taking taylor expansion of (* (fma x 4.16438922228 78.6994924154) x) in z 2.100 * [taylor]: Taking taylor expansion of (fma x 4.16438922228 78.6994924154) in z 2.100 * [taylor]: Rewrote expression to (+ (* x 4.16438922228) 78.6994924154) 2.100 * [taylor]: Taking taylor expansion of (* x 4.16438922228) in z 2.100 * [taylor]: Taking taylor expansion of x in z 2.100 * [backup-simplify]: Simplify x into x 2.100 * [taylor]: Taking taylor expansion of 4.16438922228 in z 2.100 * [backup-simplify]: Simplify 4.16438922228 into 4.16438922228 2.100 * [taylor]: Taking taylor expansion of 78.6994924154 in z 2.100 * [backup-simplify]: Simplify 78.6994924154 into 78.6994924154 2.100 * [taylor]: Taking taylor expansion of x in z 2.100 * [backup-simplify]: Simplify x into x 2.100 * [taylor]: Taking taylor expansion of 137.519416416 in z 2.100 * [backup-simplify]: Simplify 137.519416416 into 137.519416416 2.100 * [taylor]: Taking taylor expansion of x in z 2.100 * [backup-simplify]: Simplify x into x 2.100 * [taylor]: Taking taylor expansion of y in z 2.100 * [backup-simplify]: Simplify y into y 2.100 * [taylor]: Taking taylor expansion of x in z 2.100 * [backup-simplify]: Simplify x into x 2.100 * [taylor]: Taking taylor expansion of z in z 2.100 * [backup-simplify]: Simplify 0 into 0 2.100 * [backup-simplify]: Simplify 1 into 1 2.100 * [backup-simplify]: Simplify (+ x 43.3400022514) into (+ x 43.3400022514) 2.101 * [backup-simplify]: Simplify (* (+ x 43.3400022514) x) into (* x (+ x 43.3400022514))