4.994 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.060 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.070 * [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.070 * * [simplify]: Extracting # 0 : cost 0 0.070 * * [simplify]: Extracting # 1 : cost 0 0.070 * * [simplify]: Extracting # 2 : cost 0 0.070 * * [simplify]: Extracting # 3 : cost 0 0.070 * * [simplify]: Extracting # 4 : cost 0 0.070 * * [simplify]: Extracting # 5 : cost 0 0.071 * * [simplify]: Extracting # 6 : cost 0 0.071 * * [simplify]: Extracting # 7 : cost 0 0.071 * * [simplify]: Extracting # 8 : cost 0 0.071 * * [simplify]: Extracting # 9 : cost 0 0.071 * * [simplify]: Extracting # 10 : cost 0 0.071 * * [simplify]: Extracting # 11 : cost 0 0.071 * * [simplify]: Extracting # 12 : cost 0 0.071 * * [simplify]: Extracting # 13 : cost 0 0.071 * * [simplify]: Extracting # 14 : cost 0 0.071 * * [simplify]: iteration 0 : 29 enodes (cost 37 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: Extracting # 3 : cost 0 0.079 * * [simplify]: iteration 1 : 62 enodes (cost 30 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: iteration 2 : 154 enodes (cost 30 ) 0.156 * * [simplify]: Extracting # 0 : cost 0 0.156 * * [simplify]: Extracting # 1 : cost 0 0.157 * * [simplify]: Extracting # 2 : cost 0 0.157 * * [simplify]: iteration 3 : 502 enodes (cost 30 ) 0.492 * * [simplify]: Extracting # 0 : cost 0 0.493 * * [simplify]: Extracting # 1 : cost 0 0.495 * * [simplify]: Extracting # 2 : cost 0 0.500 * * [simplify]: Extracting # 3 : cost 0 0.502 * * [simplify]: Extracting # 4 : cost 0 0.503 * * [simplify]: iteration 4 : 1766 enodes (cost 30 ) 1.675 * * [simplify]: Extracting # 0 : cost 0 1.680 * * [simplify]: Extracting # 1 : cost 0 1.686 * * [simplify]: Extracting # 2 : cost 0 1.692 * * [simplify]: Extracting # 3 : cost 0 1.707 * * [simplify]: Extracting # 4 : cost 0 1.717 * * [simplify]: Extracting # 5 : cost 0 1.727 * * [simplify]: iteration done: 5000 enodes (cost 30 ) 1.727 * [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.738 * * [progress]: iteration 1 / 4 1.738 * * * [progress]: picking best candidate 1.754 * * * * [pick]: Picked # 1.754 * * * [progress]: localizing error 1.796 * * * [progress]: generating rewritten candidates 1.796 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.841 * * * [progress]: generating series expansions 1.841 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.841 * [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)) 1.841 * [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 1.841 * [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 1.841 * [taylor]: Taking taylor expansion of (fma (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x 47.066876606) in z 1.841 * [taylor]: Rewrote expression to (+ (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) 47.066876606) 1.841 * [taylor]: Taking taylor expansion of (* (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) x) in z 1.841 * [taylor]: Taking taylor expansion of (fma (fma (+ x 43.3400022514) x 263.505074721) x 313.399215894) in z 1.842 * [taylor]: Rewrote expression to (+ (* (fma (+ x 43.3400022514) x 263.505074721) x) 313.399215894) 1.842 * [taylor]: Taking taylor expansion of (* (fma (+ x 43.3400022514) x 263.505074721) x) in z 1.842 * [taylor]: Taking taylor expansion of (fma (+ x 43.3400022514) x 263.505074721) in z 1.842 * [taylor]: Rewrote expression to (+ (* (+ x 43.3400022514) x) 263.505074721) 1.842 * [taylor]: Taking taylor expansion of (* (+ x 43.3400022514) x) in z 1.842 * [taylor]: Taking taylor expansion of (+ x 43.3400022514) in z 1.842 * [taylor]: Taking taylor expansion of x in z 1.842 * [backup-simplify]: Simplify x into x 1.842 * [taylor]: Taking taylor expansion of 43.3400022514 in z 1.842 * [backup-simplify]: Simplify 43.3400022514 into 43.3400022514 1.842 * [taylor]: Taking taylor expansion of x in z 1.842 * [backup-simplify]: Simplify x into x 1.842 * [taylor]: Taking taylor expansion of 263.505074721 in z 1.842 * [backup-simplify]: Simplify 263.505074721 into 263.505074721 1.842 * [taylor]: Taking taylor expansion of x in z 1.842 * [backup-simplify]: Simplify x into x 1.842 * [taylor]: Taking taylor expansion of 313.399215894 in z 1.842 * [backup-simplify]: Simplify 313.399215894 into 313.399215894 1.842 * [taylor]: Taking taylor expansion of x in z 1.842 * [backup-simplify]: Simplify x into x 1.842 * [taylor]: Taking taylor expansion of 47.066876606 in z 1.842 * [backup-simplify]: Simplify 47.066876606 into 47.066876606 1.842 * [taylor]: Taking taylor expansion of (fma (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x z) in z 1.842 * [taylor]: Rewrote expression to (+ (* (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x) z) 1.842 * [taylor]: Taking taylor expansion of (* (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) x) in z 1.842 * [taylor]: Taking taylor expansion of (fma (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x y) in z 1.842 * [taylor]: Rewrote expression to (+ (* (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x) y) 1.842 * [taylor]: Taking taylor expansion of (* (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) x) in z 1.842 * [taylor]: Taking taylor expansion of (fma (fma x 4.16438922228 78.6994924154) x 137.519416416) in z 1.842 * [taylor]: Rewrote expression to (+ (* (fma x 4.16438922228 78.6994924154) x) 137.519416416) 1.842 * [taylor]: Taking taylor expansion of (* (fma x 4.16438922228 78.6994924154) x) in z 1.842 * [taylor]: Taking taylor expansion of (fma x 4.16438922228 78.6994924154) in z 1.843 * [taylor]: Rewrote expression to (+ (* x 4.16438922228) 78.6994924154) 1.843 * [taylor]: Taking taylor expansion of (* x 4.16438922228) in z 1.843 * [taylor]: Taking taylor expansion of x in z 1.843 * [backup-simplify]: Simplify x into x 1.843 * [taylor]: Taking taylor expansion of 4.16438922228 in z 1.843 * [backup-simplify]: Simplify 4.16438922228 into 4.16438922228 1.843 * [taylor]: Taking taylor expansion of 78.6994924154 in z 1.843 * [backup-simplify]: Simplify 78.6994924154 into 78.6994924154 1.843 * [taylor]: Taking taylor expansion of x in z 1.843 * [backup-simplify]: Simplify x into x 1.843 * [taylor]: Taking taylor expansion of 137.519416416 in z 1.843 * [backup-simplify]: Simplify 137.519416416 into 137.519416416 1.843 * [taylor]: Taking taylor expansion of x in z 1.843 * [backup-simplify]: Simplify x into x 1.843 * [taylor]: Taking taylor expansion of y in z 1.843 * [backup-simplify]: Simplify y into y 1.843 * [taylor]: Taking taylor expansion of x in z 1.843 * [backup-simplify]: Simplify x into x 1.843 * [taylor]: Taking taylor expansion of z in z 1.843 * [backup-simplify]: Simplify 0 into 0 1.843 * [backup-simplify]: Simplify 1 into 1 1.843 * [backup-simplify]: Simplify (+ x 43.3400022514) into (+ x 43.3400022514) 1.843 * [backup-simplify]: Simplify (* (+ x 43.3400022514) x) into (* x (+ x 43.3400022514))