6.225 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.048 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying: (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: Extracting # 4 : cost 0 0.048 * * [simplify]: Extracting # 5 : cost 0 0.049 * * [simplify]: Extracting # 6 : cost 0 0.049 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.061 * * [simplify]: iteration 2 : 59 enodes (cost 14 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.072 * * [simplify]: iteration 3 : 109 enodes (cost 14 ) 0.121 * * [simplify]: Extracting # 0 : cost 0 0.121 * * [simplify]: Extracting # 1 : cost 0 0.122 * * [simplify]: Extracting # 2 : cost 0 0.122 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 0.191 * * [simplify]: Extracting # 0 : cost 0 0.191 * * [simplify]: Extracting # 1 : cost 0 0.192 * * [simplify]: Extracting # 2 : cost 0 0.192 * * [simplify]: iteration 5 : 363 enodes (cost 14 ) 0.351 * * [simplify]: Extracting # 0 : cost 0 0.351 * * [simplify]: Extracting # 1 : cost 0 0.352 * * [simplify]: Extracting # 2 : cost 0 0.353 * * [simplify]: iteration 6 : 824 enodes (cost 14 ) 1.289 * * [simplify]: Extracting # 0 : cost 0 1.294 * * [simplify]: Extracting # 1 : cost 0 1.297 * * [simplify]: Extracting # 2 : cost 0 1.300 * * [simplify]: Extracting # 3 : cost 0 1.303 * * [simplify]: iteration 7 : 1874 enodes (cost 13 ) 4.178 * * [simplify]: Extracting # 0 : cost 0 4.184 * * [simplify]: Extracting # 1 : cost 0 4.189 * * [simplify]: Extracting # 2 : cost 0 4.205 * * [simplify]: Extracting # 3 : cost 0 4.215 * * [simplify]: Extracting # 4 : cost 0 4.224 * * [simplify]: iteration done: 5000 enodes (cost 12 ) 4.224 * [simplify]: Simplified to: (/ (fma (/ (+ x z) y) (- x z) y) 2.0) 4.231 * * [progress]: iteration 1 / 4 4.231 * * * [progress]: picking best candidate 4.239 * * * * [pick]: Picked # 4.239 * * * [progress]: localizing error 4.260 * * * [progress]: generating rewritten candidates 4.260 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 4.261 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 4.302 * * * [progress]: generating series expansions 4.302 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 4.302 * [backup-simplify]: Simplify (fma (/ (+ x z) y) (- x z) y) into (fma (/ (+ x z) y) (- x z) y) 4.302 * [approximate]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in (x z y) around 0 4.302 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in y 4.303 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 4.303 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in y 4.303 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in y 4.303 * [taylor]: Taking taylor expansion of (+ x z) in y 4.303 * [taylor]: Taking taylor expansion of x in y 4.303 * [backup-simplify]: Simplify x into x 4.303 * [taylor]: Taking taylor expansion of z in y 4.303 * [backup-simplify]: Simplify z into z 4.303 * [taylor]: Taking taylor expansion of y in y 4.303 * [backup-simplify]: Simplify 0 into 0 4.303 * [backup-simplify]: Simplify 1 into 1 4.303 * [backup-simplify]: Simplify (+ x z) into (+ x z) 4.303 * [backup-simplify]: Simplify (/ (+ x z) 1) into (+ x z) 4.303 * [taylor]: Taking taylor expansion of (- x z) in y 4.303 * [taylor]: Taking taylor expansion of x in y 4.303 * [backup-simplify]: Simplify x into x 4.303 * [taylor]: Taking taylor expansion of z in y 4.303 * [backup-simplify]: Simplify z into z 4.303 * [taylor]: Taking taylor expansion of y in y 4.303 * [backup-simplify]: Simplify 0 into 0 4.303 * [backup-simplify]: Simplify 1 into 1 4.303 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in z 4.303 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 4.303 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in z 4.304 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in z 4.304 * [taylor]: Taking taylor expansion of (+ x z) in z 4.304 * [taylor]: Taking taylor expansion of x in z 4.304 * [backup-simplify]: Simplify x into x 4.304 * [taylor]: Taking taylor expansion of z in z 4.304 * [backup-simplify]: Simplify 0 into 0 4.304 * [backup-simplify]: Simplify 1 into 1 4.304 * [taylor]: Taking taylor expansion of y in z 4.304 * [backup-simplify]: Simplify y into y 4.304 * [backup-simplify]: Simplify (+ x 0) into x 4.304 * [backup-simplify]: Simplify (/ x y) into (/ x y) 4.304 * [taylor]: Taking taylor expansion of (- x z) in z 4.304 * [taylor]: Taking taylor expansion of x in z 4.304 * [backup-simplify]: Simplify x into x 4.304 * [taylor]: Taking taylor expansion of z in z 4.304 * [backup-simplify]: Simplify 0 into 0 4.304 * [backup-simplify]: Simplify 1 into 1 4.304 * [taylor]: Taking taylor expansion of y in z 4.304 * [backup-simplify]: Simplify y into y 4.304 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in x 4.304 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 4.304 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in x 4.304 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in x 4.304 * [taylor]: Taking taylor expansion of (+ x z) in x 4.304 * [taylor]: Taking taylor expansion of x in x 4.304 * [backup-simplify]: Simplify 0 into 0 4.304 * [backup-simplify]: Simplify 1 into 1 4.304 * [taylor]: Taking taylor expansion of z in x 4.304 * [backup-simplify]: Simplify z into z 4.304 * [taylor]: Taking taylor expansion of y in x 4.304 * [backup-simplify]: Simplify y into y 4.305 * [backup-simplify]: Simplify (+ 0 z) into z 4.305 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.305 * [taylor]: Taking taylor expansion of (- x z) in x 4.305 * [taylor]: Taking taylor expansion of x in x 4.305 * [backup-simplify]: Simplify 0 into 0 4.305 * [backup-simplify]: Simplify 1 into 1 4.305 * [taylor]: Taking taylor expansion of z in x 4.305 * [backup-simplify]: Simplify z into z 4.305 * [taylor]: Taking taylor expansion of y in x 4.305 * [backup-simplify]: Simplify y into y 4.305 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in x 4.305 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 4.305 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in x 4.305 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in x 4.305 * [taylor]: Taking taylor expansion of (+ x z) in x 4.305 * [taylor]: Taking taylor expansion of x in x 4.305 * [backup-simplify]: Simplify 0 into 0 4.305 * [backup-simplify]: Simplify 1 into 1 4.305 * [taylor]: Taking taylor expansion of z in x 4.305 * [backup-simplify]: Simplify z into z 4.305 * [taylor]: Taking taylor expansion of y in x 4.305 * [backup-simplify]: Simplify y into y 4.305 * [backup-simplify]: Simplify (+ 0 z) into z 4.305 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.305 * [taylor]: Taking taylor expansion of (- x z) in x 4.305 * [taylor]: Taking taylor expansion of x in x 4.306 * [backup-simplify]: Simplify 0 into 0 4.306 * [backup-simplify]: Simplify 1 into 1 4.306 * [taylor]: Taking taylor expansion of z in x 4.306 * [backup-simplify]: Simplify z into z 4.306 * [taylor]: Taking taylor expansion of y in x 4.306 * [backup-simplify]: Simplify y into y 4.306 * [backup-simplify]: Simplify (- z) into (- z) 4.306 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)