2.120 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying: (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.045 * * [simplify]: Extracting # 0 : cost 0 0.045 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: Extracting # 3 : cost 0 0.046 * * [simplify]: Extracting # 4 : cost 0 0.046 * * [simplify]: Extracting # 5 : cost 0 0.046 * * [simplify]: Extracting # 6 : cost 0 0.046 * * [simplify]: Extracting # 7 : cost 0 0.046 * * [simplify]: Extracting # 8 : cost 0 0.046 * * [simplify]: Extracting # 9 : cost 0 0.046 * * [simplify]: Extracting # 10 : cost 0 0.046 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: iteration 1 : 38 enodes (cost 18 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.056 * * [simplify]: Extracting # 2 : cost 0 0.056 * * [simplify]: iteration 2 : 72 enodes (cost 18 ) 0.075 * * [simplify]: Extracting # 0 : cost 0 0.076 * * [simplify]: Extracting # 1 : cost 0 0.076 * * [simplify]: Extracting # 2 : cost 0 0.076 * * [simplify]: iteration 3 : 164 enodes (cost 17 ) 0.145 * * [simplify]: Extracting # 0 : cost 0 0.145 * * [simplify]: Extracting # 1 : cost 0 0.145 * * [simplify]: Extracting # 2 : cost 0 0.146 * * [simplify]: iteration 4 : 339 enodes (cost 17 ) 0.325 * * [simplify]: Extracting # 0 : cost 0 0.326 * * [simplify]: Extracting # 1 : cost 0 0.326 * * [simplify]: Extracting # 2 : cost 0 0.326 * * [simplify]: iteration 5 : 596 enodes (cost 17 ) 0.513 * * [simplify]: Extracting # 0 : cost 0 0.514 * * [simplify]: Extracting # 1 : cost 0 0.514 * * [simplify]: Extracting # 2 : cost 0 0.515 * * [simplify]: iteration 6 : 819 enodes (cost 17 ) 0.777 * * [simplify]: Extracting # 0 : cost 0 0.778 * * [simplify]: Extracting # 1 : cost 0 0.779 * * [simplify]: Extracting # 2 : cost 0 0.779 * * [simplify]: iteration 7 : 926 enodes (cost 17 ) 1.217 * * [simplify]: Extracting # 0 : cost 0 1.218 * * [simplify]: Extracting # 1 : cost 0 1.219 * * [simplify]: Extracting # 2 : cost 0 1.220 * * [simplify]: iteration 8 : 1192 enodes (cost 17 ) 2.091 * * [simplify]: Extracting # 0 : cost 0 2.093 * * [simplify]: Extracting # 1 : cost 0 2.094 * * [simplify]: iteration 9 : 1633 enodes (cost 17 ) 2.772 * * [simplify]: Extracting # 0 : cost 0 2.773 * * [simplify]: Extracting # 1 : cost 0 2.774 * * [simplify]: iteration 10 : 1697 enodes (cost 17 ) 3.363 * * [simplify]: Extracting # 0 : cost 0 3.365 * * [simplify]: iteration 11 : 1698 enodes (cost 17 ) 4.090 * * [simplify]: Extracting # 0 : cost 0 4.092 * * [simplify]: iteration done: 1698 enodes (cost 17 ) 4.092 * [simplify]: Simplified to: (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 4.101 * * [progress]: iteration 1 / 4 4.101 * * * [progress]: picking best candidate 4.110 * * * * [pick]: Picked # 4.110 * * * [progress]: localizing error 4.134 * * * [progress]: generating rewritten candidates 4.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 4.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.140 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.142 * * * [progress]: generating series expansions 4.142 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.142 * [backup-simplify]: Simplify (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) into (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 4.142 * [approximate]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in (y z x) around 0 4.142 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in x 4.142 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 4.142 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in x 4.142 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 4.142 * [taylor]: Taking taylor expansion of y in x 4.142 * [backup-simplify]: Simplify y into y 4.142 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 4.142 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 4.142 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 4.142 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 4.142 * [taylor]: Taking taylor expansion of z in x 4.142 * [backup-simplify]: Simplify z into z 4.142 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 4.142 * [backup-simplify]: Simplify 6.012459259764103 into 6.012459259764103 4.142 * [taylor]: Taking taylor expansion of z in x 4.142 * [backup-simplify]: Simplify z into z 4.142 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 4.142 * [backup-simplify]: Simplify 3.350343815022304 into 3.350343815022304 4.142 * [backup-simplify]: Simplify (+ z 6.012459259764103) into (+ z 6.012459259764103) 4.143 * [backup-simplify]: Simplify (* (+ z 6.012459259764103) z) into (* z (+ z 6.012459259764103))