2.834 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.070 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying:
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.079 * * [simplify]: Extracting # 0 : cost  0
0.079 * * [simplify]: Extracting # 1 : cost  0
0.079 * * [simplify]: Extracting # 2 : cost  0
0.079 * * [simplify]: Extracting # 3 : cost  0
0.079 * * [simplify]: Extracting # 4 : cost  0
0.079 * * [simplify]: Extracting # 5 : cost  0
0.079 * * [simplify]: Extracting # 6 : cost  0
0.079 * * [simplify]: Extracting # 7 : cost  0
0.079 * * [simplify]: Extracting # 8 : cost  0
0.080 * * [simplify]: Extracting # 9 : cost  0
0.080 * * [simplify]: Extracting # 10 : cost  0
0.080 * * [simplify]: Extracting # 11 : cost  0
0.080 * * [simplify]: Extracting # 12 : cost  0
0.080 * * [simplify]: Extracting # 13 : cost  0
0.080 * * [simplify]: Extracting # 14 : cost  0
0.080 * * [simplify]: iteration  0 :  26  enodes  (cost  33 )
0.088 * * [simplify]: Extracting # 0 : cost  0
0.088 * * [simplify]: Extracting # 1 : cost  0
0.088 * * [simplify]: Extracting # 2 : cost  0
0.089 * * [simplify]: Extracting # 3 : cost  0
0.089 * * [simplify]: Extracting # 4 : cost  0
0.089 * * [simplify]: iteration  1 :  48  enodes  (cost  26 )
0.103 * * [simplify]: Extracting # 0 : cost  0
0.104 * * [simplify]: Extracting # 1 : cost  0
0.104 * * [simplify]: Extracting # 2 : cost  0
0.104 * * [simplify]: iteration  2 :  102  enodes  (cost  26 )
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 :  292  enodes  (cost  26 )
0.253 * * [simplify]: Extracting # 0 : cost  0
0.253 * * [simplify]: Extracting # 1 : cost  0
0.254 * * [simplify]: Extracting # 2 : cost  0
0.255 * * [simplify]: Extracting # 3 : cost  0
0.257 * * [simplify]: Extracting # 4 : cost  0
0.258 * * [simplify]: iteration  4 :  751  enodes  (cost  26 )
0.837 * * [simplify]: Extracting # 0 : cost  0
0.839 * * [simplify]: Extracting # 1 : cost  0
0.840 * * [simplify]: Extracting # 2 : cost  0
0.841 * * [simplify]: Extracting # 3 : cost  0
0.842 * * [simplify]: Extracting # 4 : cost  0
0.844 * * [simplify]: Extracting # 5 : cost  0
0.845 * * [simplify]: iteration  5 :  1856  enodes  (cost  26 )
2.430 * * [simplify]: Extracting # 0 : cost  0
2.436 * * [simplify]: Extracting # 1 : cost  0
2.438 * * [simplify]: Extracting # 2 : cost  0
2.440 * * [simplify]: Extracting # 3 : cost  0
2.442 * * [simplify]: Extracting # 4 : cost  0
2.443 * * [simplify]: iteration  6 :  2883  enodes  (cost  26 )
4.137 * * [simplify]: Extracting # 0 : cost  0
4.139 * * [simplify]: Extracting # 1 : cost  0
4.147 * * [simplify]: Extracting # 2 : cost  0
4.149 * * [simplify]: Extracting # 3 : cost  0
4.152 * * [simplify]: Extracting # 4 : cost  0
4.154 * * [simplify]: iteration  7 :  3292  enodes  (cost  26 )
9.010 * * [simplify]: Extracting # 0 : cost  0
9.013 * * [simplify]: Extracting # 1 : cost  0
9.016 * * [simplify]: Extracting # 2 : cost  0
9.019 * * [simplify]: Extracting # 3 : cost  0
9.025 * * [simplify]: Extracting # 4 : cost  0
9.028 * * [simplify]: iteration  8 :  3813  enodes  (cost  26 )
11.490 * * [simplify]: Extracting # 0 : cost  0
11.494 * * [simplify]: Extracting # 1 : cost  0
11.498 * * [simplify]: Extracting # 2 : cost  0
11.502 * * [simplify]: Extracting # 3 : cost  0
11.511 * * [simplify]: Extracting # 4 : cost  0
11.515 * * [simplify]: iteration done:  5001  enodes  (cost  26 )
11.515 * [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.529 * * [progress]: iteration 1 / 4
11.529 * * * [progress]: picking best candidate
11.539 * * * * [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)))>
11.539 * * * [progress]: localizing error
11.587 * * * [progress]: generating rewritten candidates
11.587 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
11.593 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
11.593 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
11.593 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
11.595 * * * [progress]: generating series expansions
11.595 * * * * [progress]: [ 1 / 4 ] generating series at (2)
11.596 * [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))
11.596 * [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
11.596 * [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
11.596 * [taylor]: Taking taylor expansion of (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) in i
11.597 * [taylor]: Rewrote expression to (+ (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) t)
11.597 * [taylor]: Taking taylor expansion of (* (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y) in i
11.597 * [taylor]: Taking taylor expansion of (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) in i
11.597 * [taylor]: Rewrote expression to (+ (* (fma (fma x y z) y 27464.7644705) y) 230661.510616)
11.597 * [taylor]: Taking taylor expansion of (* (fma (fma x y z) y 27464.7644705) y) in i
11.597 * [taylor]: Taking taylor expansion of (fma (fma x y z) y 27464.7644705) in i
11.598 * [taylor]: Rewrote expression to (+ (* (fma x y z) y) 27464.7644705)
11.598 * [taylor]: Taking taylor expansion of (* (fma x y z) y) in i
11.598 * [taylor]: Taking taylor expansion of (fma x y z) in i
11.598 * [taylor]: Rewrote expression to (+ (* x y) z)
11.598 * [taylor]: Taking taylor expansion of (* x y) in i
11.598 * [taylor]: Taking taylor expansion of x in i
11.598 * [backup-simplify]: Simplify x into x
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of z in i
11.598 * [backup-simplify]: Simplify z into z
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of 27464.7644705 in i
11.598 * [backup-simplify]: Simplify 27464.7644705 into 27464.7644705
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of 230661.510616 in i
11.598 * [backup-simplify]: Simplify 230661.510616 into 230661.510616
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of t in i
11.598 * [backup-simplify]: Simplify t into t
11.598 * [taylor]: Taking taylor expansion of (fma (fma (fma (+ a y) y b) y c) y i) in i
11.598 * [taylor]: Rewrote expression to (+ (* (fma (fma (+ a y) y b) y c) y) i)
11.598 * [taylor]: Taking taylor expansion of (* (fma (fma (+ a y) y b) y c) y) in i
11.598 * [taylor]: Taking taylor expansion of (fma (fma (+ a y) y b) y c) in i
11.598 * [taylor]: Rewrote expression to (+ (* (fma (+ a y) y b) y) c)
11.598 * [taylor]: Taking taylor expansion of (* (fma (+ a y) y b) y) in i
11.598 * [taylor]: Taking taylor expansion of (fma (+ a y) y b) in i
11.598 * [taylor]: Rewrote expression to (+ (* (+ a y) y) b)
11.598 * [taylor]: Taking taylor expansion of (* (+ a y) y) in i
11.598 * [taylor]: Taking taylor expansion of (+ a y) in i
11.598 * [taylor]: Taking taylor expansion of a in i
11.598 * [backup-simplify]: Simplify a into a
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.598 * [taylor]: Taking taylor expansion of b in i
11.598 * [backup-simplify]: Simplify b into b
11.598 * [taylor]: Taking taylor expansion of y in i
11.598 * [backup-simplify]: Simplify y into y
11.599 * [taylor]: Taking taylor expansion of c in i
11.599 * [backup-simplify]: Simplify c into c
11.599 * [taylor]: Taking taylor expansion of y in i
11.599 * [backup-simplify]: Simplify y into y
11.599 * [taylor]: Taking taylor expansion of i in i
11.599 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify 1 into 1
11.599 * [backup-simplify]: Simplify (* x y) into (* x y)
11.599 * [backup-simplify]: Simplify (+ (* x y) z) into (+ z (* x y))
11.599 * [backup-simplify]: Simplify (* (+ z (* x y)) y) into (* y (+ z (* x y)))