3.044 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.075 * * * [progress]: [2/2] Setting up program. 0.083 * [progress]: [Phase 2 of 3] Improving. 0.084 * [simplify]: Simplifying: (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) 0.084 * * [simplify]: Extracting # 0 : cost 0 0.084 * * [simplify]: Extracting # 1 : cost 0 0.084 * * [simplify]: Extracting # 2 : cost 0 0.084 * * [simplify]: Extracting # 3 : cost 0 0.084 * * [simplify]: Extracting # 4 : cost 0 0.084 * * [simplify]: Extracting # 5 : cost 0 0.084 * * [simplify]: Extracting # 6 : cost 0 0.084 * * [simplify]: Extracting # 7 : cost 0 0.084 * * [simplify]: Extracting # 8 : cost 0 0.085 * * [simplify]: Extracting # 9 : cost 0 0.085 * * [simplify]: Extracting # 10 : cost 0 0.085 * * [simplify]: Extracting # 11 : cost 0 0.085 * * [simplify]: Extracting # 12 : cost 0 0.085 * * [simplify]: Extracting # 13 : cost 0 0.085 * * [simplify]: Extracting # 14 : cost 0 0.085 * * [simplify]: iteration 0 : 26 enodes (cost 33 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: Extracting # 1 : cost 0 0.094 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: Extracting # 3 : cost 0 0.094 * * [simplify]: Extracting # 4 : cost 0 0.094 * * [simplify]: iteration 1 : 48 enodes (cost 26 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.108 * * [simplify]: Extracting # 2 : cost 0 0.108 * * [simplify]: iteration 2 : 102 enodes (cost 26 ) 0.181 * * [simplify]: Extracting # 0 : cost 0 0.181 * * [simplify]: Extracting # 1 : cost 0 0.182 * * [simplify]: Extracting # 2 : cost 0 0.182 * * [simplify]: iteration 3 : 292 enodes (cost 26 ) 0.330 * * [simplify]: Extracting # 0 : cost 0 0.332 * * [simplify]: Extracting # 1 : cost 0 0.333 * * [simplify]: Extracting # 2 : cost 0 0.334 * * [simplify]: Extracting # 3 : cost 0 0.335 * * [simplify]: Extracting # 4 : cost 0 0.337 * * [simplify]: iteration 4 : 751 enodes (cost 26 ) 1.127 * * [simplify]: Extracting # 0 : cost 0 1.131 * * [simplify]: Extracting # 1 : cost 0 1.133 * * [simplify]: Extracting # 2 : cost 0 1.135 * * [simplify]: Extracting # 3 : cost 0 1.138 * * [simplify]: Extracting # 4 : cost 0 1.140 * * [simplify]: Extracting # 5 : cost 0 1.149 * * [simplify]: iteration 5 : 1856 enodes (cost 26 ) 2.768 * * [simplify]: Extracting # 0 : cost 0 2.774 * * [simplify]: Extracting # 1 : cost 0 2.778 * * [simplify]: Extracting # 2 : cost 0 2.781 * * [simplify]: Extracting # 3 : cost 0 2.785 * * [simplify]: Extracting # 4 : cost 0 2.788 * * [simplify]: iteration 6 : 2883 enodes (cost 26 ) 4.841 * * [simplify]: Extracting # 0 : cost 0 4.845 * * [simplify]: Extracting # 1 : cost 0 4.850 * * [simplify]: Extracting # 2 : cost 0 4.854 * * [simplify]: Extracting # 3 : cost 0 4.858 * * [simplify]: Extracting # 4 : cost 0 4.862 * * [simplify]: iteration 7 : 3292 enodes (cost 26 ) 9.734 * * [simplify]: Extracting # 0 : cost 0 9.736 * * [simplify]: Extracting # 1 : cost 0 9.739 * * [simplify]: Extracting # 2 : cost 0 9.745 * * [simplify]: Extracting # 3 : cost 0 9.747 * * [simplify]: Extracting # 4 : cost 0 9.750 * * [simplify]: iteration 8 : 3813 enodes (cost 26 ) 11.922 * * [simplify]: Extracting # 0 : cost 0 11.926 * * [simplify]: Extracting # 1 : cost 0 11.930 * * [simplify]: Extracting # 2 : cost 0 11.939 * * [simplify]: Extracting # 3 : cost 0 11.943 * * [simplify]: Extracting # 4 : cost 0 11.947 * * [simplify]: iteration done: 5001 enodes (cost 26 ) 11.947 * [simplify]: Simplified to: (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma (fma (fma (+ y a) y b) y c) y i)) 11.953 * * [progress]: iteration 1 / 4 11.953 * * * [progress]: picking best candidate 11.962 * * * * [pick]: Picked # 11.962 * * * [progress]: localizing error 11.992 * * * [progress]: generating rewritten candidates 11.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 12.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 12.004 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 12.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 12.008 * * * [progress]: generating series expansions 12.008 * * * * [progress]: [ 1 / 4 ] generating series at (2) 12.009 * [backup-simplify]: Simplify (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma (fma (fma (+ y a) y b) y c) y i)) into (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma (fma (fma (+ a y) y b) y c) y i)) 12.009 * [approximate]: Taking taylor expansion of (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma (fma (fma (+ a y) y b) y c) y i)) in (x y z t a b c i) around 0 12.009 * [taylor]: Taking taylor expansion of (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma (fma (fma (+ a y) y b) y c) y i)) in i 12.009 * [taylor]: Taking taylor expansion of (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) in i 12.012 * [taylor]: Rewrote expression to (+ (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) t) 12.012 * [taylor]: Taking taylor expansion of (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) in i 12.012 * [taylor]: Taking taylor expansion of (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) in i 12.012 * [taylor]: Rewrote expression to (+ (* (fma (fma x y z) y 27464.7644705) y) 230661.510616) 12.013 * [taylor]: Taking taylor expansion of (* (fma (fma x y z) y 27464.7644705) y) in i 12.013 * [taylor]: Taking taylor expansion of (fma (fma x y z) y 27464.7644705) in i 12.013 * [taylor]: Rewrote expression to (+ (* (fma x y z) y) 27464.7644705) 12.013 * [taylor]: Taking taylor expansion of (* (fma x y z) y) in i 12.013 * [taylor]: Taking taylor expansion of (fma x y z) in i 12.013 * [taylor]: Rewrote expression to (+ (* x y) z) 12.013 * [taylor]: Taking taylor expansion of (* x y) in i 12.013 * [taylor]: Taking taylor expansion of x in i 12.013 * [backup-simplify]: Simplify x into x 12.013 * [taylor]: Taking taylor expansion of y in i 12.013 * [backup-simplify]: Simplify y into y 12.013 * [taylor]: Taking taylor expansion of z in i 12.013 * [backup-simplify]: Simplify z into z 12.013 * [taylor]: Taking taylor expansion of y in i 12.013 * [backup-simplify]: Simplify y into y 12.013 * [taylor]: Taking taylor expansion of 27464.7644705 in i 12.013 * [backup-simplify]: Simplify 27464.7644705 into 27464.7644705 12.013 * [taylor]: Taking taylor expansion of y in i 12.013 * [backup-simplify]: Simplify y into y 12.013 * [taylor]: Taking taylor expansion of 230661.510616 in i 12.013 * [backup-simplify]: Simplify 230661.510616 into 230661.510616 12.013 * [taylor]: Taking taylor expansion of y in i 12.014 * [backup-simplify]: Simplify y into y 12.014 * [taylor]: Taking taylor expansion of t in i 12.014 * [backup-simplify]: Simplify t into t 12.014 * [taylor]: Taking taylor expansion of (fma (fma (fma (+ a y) y b) y c) y i) in i 12.014 * [taylor]: Rewrote expression to (+ (* (fma (fma (+ a y) y b) y c) y) i) 12.014 * [taylor]: Taking taylor expansion of (* (fma (fma (+ a y) y b) y c) y) in i 12.014 * [taylor]: Taking taylor expansion of (fma (fma (+ a y) y b) y c) in i 12.014 * [taylor]: Rewrote expression to (+ (* (fma (+ a y) y b) y) c) 12.014 * [taylor]: Taking taylor expansion of (* (fma (+ a y) y b) y) in i 12.014 * [taylor]: Taking taylor expansion of (fma (+ a y) y b) in i 12.014 * [taylor]: Rewrote expression to (+ (* (+ a y) y) b) 12.014 * [taylor]: Taking taylor expansion of (* (+ a y) y) in i 12.014 * [taylor]: Taking taylor expansion of (+ a y) in i 12.014 * [taylor]: Taking taylor expansion of a in i 12.014 * [backup-simplify]: Simplify a into a 12.014 * [taylor]: Taking taylor expansion of y in i 12.014 * [backup-simplify]: Simplify y into y 12.014 * [taylor]: Taking taylor expansion of y in i 12.015 * [backup-simplify]: Simplify y into y 12.015 * [taylor]: Taking taylor expansion of b in i 12.015 * [backup-simplify]: Simplify b into b 12.015 * [taylor]: Taking taylor expansion of y in i 12.015 * [backup-simplify]: Simplify y into y 12.015 * [taylor]: Taking taylor expansion of c in i 12.015 * [backup-simplify]: Simplify c into c 12.015 * [taylor]: Taking taylor expansion of y in i 12.015 * [backup-simplify]: Simplify y into y 12.015 * [taylor]: Taking taylor expansion of i in i 12.015 * [backup-simplify]: Simplify 0 into 0 12.015 * [backup-simplify]: Simplify 1 into 1 12.015 * [backup-simplify]: Simplify (* x y) into (* x y) 12.015 * [backup-simplify]: Simplify (+ (* x y) z) into (+ z (* x y)) 12.015 * [backup-simplify]: Simplify (* (+ z (* x y)) y) into (* y (+ z (* x y)))