3.596 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.076 * * * [progress]: [2/2] Setting up program.
0.085 * [progress]: [Phase 2 of 3] Improving.
0.085 * [simplify]: Simplifying:
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.086 * * [simplify]: Extracting # 0 : cost  0
0.086 * * [simplify]: Extracting # 1 : cost  0
0.086 * * [simplify]: Extracting # 2 : cost  0
0.086 * * [simplify]: Extracting # 3 : cost  0
0.086 * * [simplify]: Extracting # 4 : cost  0
0.086 * * [simplify]: Extracting # 5 : cost  0
0.086 * * [simplify]: Extracting # 6 : cost  0
0.086 * * [simplify]: Extracting # 7 : cost  0
0.086 * * [simplify]: Extracting # 8 : cost  0
0.086 * * [simplify]: Extracting # 9 : cost  0
0.086 * * [simplify]: Extracting # 10 : cost  0
0.111 * * [simplify]: Extracting # 11 : cost  0
0.111 * * [simplify]: Extracting # 12 : cost  0
0.111 * * [simplify]: Extracting # 13 : cost  0
0.111 * * [simplify]: Extracting # 14 : cost  0
0.111 * * [simplify]: iteration  0 :  26  enodes  (cost  33 )
0.120 * * [simplify]: Extracting # 0 : cost  0
0.120 * * [simplify]: Extracting # 1 : cost  0
0.120 * * [simplify]: Extracting # 2 : cost  0
0.121 * * [simplify]: Extracting # 3 : cost  0
0.121 * * [simplify]: Extracting # 4 : cost  0
0.121 * * [simplify]: iteration  1 :  48  enodes  (cost  26 )
0.138 * * [simplify]: Extracting # 0 : cost  0
0.138 * * [simplify]: Extracting # 1 : cost  0
0.138 * * [simplify]: Extracting # 2 : cost  0
0.138 * * [simplify]: iteration  2 :  102  enodes  (cost  26 )
0.196 * * [simplify]: Extracting # 0 : cost  0
0.196 * * [simplify]: Extracting # 1 : cost  0
0.197 * * [simplify]: Extracting # 2 : cost  0
0.197 * * [simplify]: iteration  3 :  292  enodes  (cost  26 )
0.366 * * [simplify]: Extracting # 0 : cost  0
0.367 * * [simplify]: Extracting # 1 : cost  0
0.368 * * [simplify]: Extracting # 2 : cost  0
0.368 * * [simplify]: Extracting # 3 : cost  0
0.369 * * [simplify]: Extracting # 4 : cost  0
0.369 * * [simplify]: iteration  4 :  751  enodes  (cost  26 )
1.008 * * [simplify]: Extracting # 0 : cost  0
1.011 * * [simplify]: Extracting # 1 : cost  0
1.014 * * [simplify]: Extracting # 2 : cost  0
1.017 * * [simplify]: Extracting # 3 : cost  0
1.019 * * [simplify]: Extracting # 4 : cost  0
1.022 * * [simplify]: Extracting # 5 : cost  0
1.024 * * [simplify]: iteration  5 :  1856  enodes  (cost  26 )
2.623 * * [simplify]: Extracting # 0 : cost  0
2.627 * * [simplify]: Extracting # 1 : cost  0
2.628 * * [simplify]: Extracting # 2 : cost  0
2.630 * * [simplify]: Extracting # 3 : cost  0
2.632 * * [simplify]: Extracting # 4 : cost  0
2.633 * * [simplify]: iteration  6 :  2883  enodes  (cost  26 )
4.746 * * [simplify]: Extracting # 0 : cost  0
4.751 * * [simplify]: Extracting # 1 : cost  0
4.753 * * [simplify]: Extracting # 2 : cost  0
4.755 * * [simplify]: Extracting # 3 : cost  0
4.757 * * [simplify]: Extracting # 4 : cost  0
4.759 * * [simplify]: iteration  7 :  3292  enodes  (cost  26 )
8.677 * * [simplify]: Extracting # 0 : cost  0
8.680 * * [simplify]: Extracting # 1 : cost  0
8.683 * * [simplify]: Extracting # 2 : cost  0
8.687 * * [simplify]: Extracting # 3 : cost  0
8.692 * * [simplify]: Extracting # 4 : cost  0
8.694 * * [simplify]: iteration  8 :  3813  enodes  (cost  26 )
10.857 * * [simplify]: Extracting # 0 : cost  0
10.866 * * [simplify]: Extracting # 1 : cost  0
10.874 * * [simplify]: Extracting # 2 : cost  0
10.881 * * [simplify]: Extracting # 3 : cost  0
10.889 * * [simplify]: Extracting # 4 : cost  0
10.897 * * [simplify]: iteration done:  5001  enodes  (cost  26 )
10.897 * [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))
10.910 * * [progress]: iteration 1 / 4
10.910 * * * [progress]: picking best candidate
10.919 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (/ (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)))>
10.919 * * * [progress]: localizing error
10.966 * * * [progress]: generating rewritten candidates
10.967 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
10.973 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
10.973 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
10.973 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
10.975 * * * [progress]: generating series expansions
10.975 * * * * [progress]: [ 1 / 4 ] generating series at (2)
10.975 * [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))
10.975 * [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
10.975 * [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
10.975 * [taylor]: Taking taylor expansion of (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) in i
10.977 * [taylor]: Rewrote expression to (+ (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) t)
10.977 * [taylor]: Taking taylor expansion of (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) in i
10.977 * [taylor]: Taking taylor expansion of (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) in i
10.977 * [taylor]: Rewrote expression to (+ (* (fma (fma x y z) y 27464.7644705) y) 230661.510616)
10.977 * [taylor]: Taking taylor expansion of (* (fma (fma x y z) y 27464.7644705) y) in i
10.977 * [taylor]: Taking taylor expansion of (fma (fma x y z) y 27464.7644705) in i
10.977 * [taylor]: Rewrote expression to (+ (* (fma x y z) y) 27464.7644705)
10.977 * [taylor]: Taking taylor expansion of (* (fma x y z) y) in i
10.977 * [taylor]: Taking taylor expansion of (fma x y z) in i
10.977 * [taylor]: Rewrote expression to (+ (* x y) z)
10.977 * [taylor]: Taking taylor expansion of (* x y) in i
10.977 * [taylor]: Taking taylor expansion of x in i
10.977 * [backup-simplify]: Simplify x into x
10.977 * [taylor]: Taking taylor expansion of y in i
10.977 * [backup-simplify]: Simplify y into y
10.977 * [taylor]: Taking taylor expansion of z in i
10.977 * [backup-simplify]: Simplify z into z
10.977 * [taylor]: Taking taylor expansion of y in i
10.977 * [backup-simplify]: Simplify y into y
10.977 * [taylor]: Taking taylor expansion of 27464.7644705 in i
10.977 * [backup-simplify]: Simplify 27464.7644705 into 27464.7644705
10.977 * [taylor]: Taking taylor expansion of y in i
10.977 * [backup-simplify]: Simplify y into y
10.977 * [taylor]: Taking taylor expansion of 230661.510616 in i
10.977 * [backup-simplify]: Simplify 230661.510616 into 230661.510616
10.977 * [taylor]: Taking taylor expansion of y in i
10.977 * [backup-simplify]: Simplify y into y
10.977 * [taylor]: Taking taylor expansion of t in i
10.977 * [backup-simplify]: Simplify t into t
10.977 * [taylor]: Taking taylor expansion of (fma (fma (fma (+ a y) y b) y c) y i) in i
10.977 * [taylor]: Rewrote expression to (+ (* (fma (fma (+ a y) y b) y c) y) i)
10.977 * [taylor]: Taking taylor expansion of (* (fma (fma (+ a y) y b) y c) y) in i
10.977 * [taylor]: Taking taylor expansion of (fma (fma (+ a y) y b) y c) in i
10.978 * [taylor]: Rewrote expression to (+ (* (fma (+ a y) y b) y) c)
10.978 * [taylor]: Taking taylor expansion of (* (fma (+ a y) y b) y) in i
10.978 * [taylor]: Taking taylor expansion of (fma (+ a y) y b) in i
10.978 * [taylor]: Rewrote expression to (+ (* (+ a y) y) b)
10.978 * [taylor]: Taking taylor expansion of (* (+ a y) y) in i
10.978 * [taylor]: Taking taylor expansion of (+ a y) in i
10.978 * [taylor]: Taking taylor expansion of a in i
10.978 * [backup-simplify]: Simplify a into a
10.978 * [taylor]: Taking taylor expansion of y in i
10.978 * [backup-simplify]: Simplify y into y
10.978 * [taylor]: Taking taylor expansion of y in i
10.978 * [backup-simplify]: Simplify y into y
10.978 * [taylor]: Taking taylor expansion of b in i
10.978 * [backup-simplify]: Simplify b into b
10.978 * [taylor]: Taking taylor expansion of y in i
10.978 * [backup-simplify]: Simplify y into y
10.978 * [taylor]: Taking taylor expansion of c in i
10.978 * [backup-simplify]: Simplify c into c
10.978 * [taylor]: Taking taylor expansion of y in i
10.978 * [backup-simplify]: Simplify y into y
10.978 * [taylor]: Taking taylor expansion of i in i
10.978 * [backup-simplify]: Simplify 0 into 0
10.978 * [backup-simplify]: Simplify 1 into 1
10.978 * [backup-simplify]: Simplify (* x y) into (* x y)
10.978 * [backup-simplify]: Simplify (+ (* x y) z) into (+ z (* x y))
10.978 * [backup-simplify]: Simplify (* (+ z (* x y)) y) into (* y (+ z (* x y)))