3.175 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying: (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.029 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: Extracting # 3 : cost 0 0.030 * * [simplify]: Extracting # 4 : cost 0 0.030 * * [simplify]: Extracting # 5 : cost 0 0.030 * * [simplify]: Extracting # 6 : cost 0 0.030 * * [simplify]: Extracting # 7 : cost 0 0.030 * * [simplify]: Extracting # 8 : cost 0 0.030 * * [simplify]: Extracting # 9 : cost 0 0.030 * * [simplify]: Extracting # 10 : cost 0 0.030 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 0.033 * * [simplify]: Extracting # 1 : cost 0 0.033 * * [simplify]: Extracting # 2 : cost 0 0.033 * * [simplify]: iteration 1 : 38 enodes (cost 18 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: iteration 2 : 72 enodes (cost 18 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.058 * * [simplify]: Extracting # 2 : cost 0 0.058 * * [simplify]: iteration 3 : 164 enodes (cost 17 ) 0.138 * * [simplify]: Extracting # 0 : cost 0 0.139 * * [simplify]: Extracting # 1 : cost 0 0.139 * * [simplify]: Extracting # 2 : cost 0 0.140 * * [simplify]: iteration 4 : 339 enodes (cost 17 ) 0.300 * * [simplify]: Extracting # 0 : cost 0 0.301 * * [simplify]: Extracting # 1 : cost 0 0.301 * * [simplify]: Extracting # 2 : cost 0 0.301 * * [simplify]: iteration 5 : 596 enodes (cost 17 ) 0.555 * * [simplify]: Extracting # 0 : cost 0 0.557 * * [simplify]: Extracting # 1 : cost 0 0.558 * * [simplify]: Extracting # 2 : cost 0 0.559 * * [simplify]: iteration 6 : 819 enodes (cost 17 ) 0.883 * * [simplify]: Extracting # 0 : cost 0 0.887 * * [simplify]: Extracting # 1 : cost 0 0.888 * * [simplify]: Extracting # 2 : cost 0 0.889 * * [simplify]: iteration 7 : 926 enodes (cost 17 ) 1.327 * * [simplify]: Extracting # 0 : cost 0 1.328 * * [simplify]: Extracting # 1 : cost 0 1.329 * * [simplify]: Extracting # 2 : cost 0 1.330 * * [simplify]: iteration 8 : 1192 enodes (cost 17 ) 2.253 * * [simplify]: Extracting # 0 : cost 0 2.254 * * [simplify]: Extracting # 1 : cost 0 2.255 * * [simplify]: iteration 9 : 1633 enodes (cost 17 ) 3.017 * * [simplify]: Extracting # 0 : cost 0 3.019 * * [simplify]: Extracting # 1 : cost 0 3.021 * * [simplify]: iteration 10 : 1697 enodes (cost 17 ) 3.744 * * [simplify]: Extracting # 0 : cost 0 3.746 * * [simplify]: iteration 11 : 1698 enodes (cost 17 ) 4.460 * * [simplify]: Extracting # 0 : cost 0 4.467 * * [simplify]: iteration done: 1698 enodes (cost 17 ) 4.468 * [simplify]: Simplified to: (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 4.475 * * [progress]: iteration 1 / 4 4.475 * * * [progress]: picking best candidate 4.486 * * * * [pick]: Picked # 4.486 * * * [progress]: localizing error 4.508 * * * [progress]: generating rewritten candidates 4.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.509 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 4.514 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.515 * * * [progress]: generating series expansions 4.515 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.516 * [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.516 * [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.516 * [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.516 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 4.516 * [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.516 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 4.516 * [taylor]: Taking taylor expansion of y in x 4.516 * [backup-simplify]: Simplify y into y 4.516 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 4.516 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 4.516 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 4.516 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 4.516 * [taylor]: Taking taylor expansion of z in x 4.516 * [backup-simplify]: Simplify z into z 4.516 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 4.516 * [backup-simplify]: Simplify 6.012459259764103 into 6.012459259764103 4.516 * [taylor]: Taking taylor expansion of z in x 4.516 * [backup-simplify]: Simplify z into z 4.516 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 4.516 * [backup-simplify]: Simplify 3.350343815022304 into 3.350343815022304 4.516 * [backup-simplify]: Simplify (+ z 6.012459259764103) into (+ z 6.012459259764103) 4.516 * [backup-simplify]: Simplify (* (+ z 6.012459259764103) z) into (* z (+ z 6.012459259764103))