0.856 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying: (/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0)) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: Extracting # 3 : cost 0 0.046 * * [simplify]: Extracting # 4 : cost 0 0.046 * * [simplify]: Extracting # 5 : cost 0 0.046 * * [simplify]: Extracting # 6 : cost 0 0.046 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 0.058 * * [simplify]: Extracting # 0 : cost 0 0.058 * * [simplify]: Extracting # 1 : cost 0 0.059 * * [simplify]: Extracting # 2 : cost 0 0.059 * * [simplify]: iteration 2 : 59 enodes (cost 14 ) 0.080 * * [simplify]: Extracting # 0 : cost 0 0.080 * * [simplify]: Extracting # 1 : cost 0 0.081 * * [simplify]: Extracting # 2 : cost 0 0.081 * * [simplify]: iteration 3 : 109 enodes (cost 14 ) 0.119 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.120 * * [simplify]: iteration 4 : 202 enodes (cost 14 ) 0.207 * * [simplify]: Extracting # 0 : cost 0 0.208 * * [simplify]: Extracting # 1 : cost 0 0.208 * * [simplify]: Extracting # 2 : cost 0 0.208 * * [simplify]: iteration 5 : 363 enodes (cost 14 ) 0.352 * * [simplify]: Extracting # 0 : cost 0 0.353 * * [simplify]: Extracting # 1 : cost 0 0.353 * * [simplify]: Extracting # 2 : cost 0 0.354 * * [simplify]: iteration 6 : 824 enodes (cost 14 ) 1.306 * * [simplify]: Extracting # 0 : cost 0 1.311 * * [simplify]: Extracting # 1 : cost 0 1.314 * * [simplify]: Extracting # 2 : cost 0 1.317 * * [simplify]: Extracting # 3 : cost 0 1.321 * * [simplify]: iteration 7 : 1874 enodes (cost 13 ) 3.685 * * [simplify]: Extracting # 0 : cost 0 3.691 * * [simplify]: Extracting # 1 : cost 0 3.696 * * [simplify]: Extracting # 2 : cost 0 3.701 * * [simplify]: Extracting # 3 : cost 0 3.709 * * [simplify]: Extracting # 4 : cost 0 3.719 * * [simplify]: iteration done: 5000 enodes (cost 12 ) 3.719 * [simplify]: Simplified to: (/ (fma (/ (+ x z) y) (- x z) y) 2.0) 3.726 * * [progress]: iteration 1 / 4 3.726 * * * [progress]: picking best candidate 3.733 * * * * [pick]: Picked # 3.733 * * * [progress]: localizing error 3.761 * * * [progress]: generating rewritten candidates 3.762 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.762 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 3.798 * * * [progress]: generating series expansions 3.798 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.798 * [backup-simplify]: Simplify (fma (/ (+ x z) y) (- x z) y) into (fma (/ (+ x z) y) (- x z) y) 3.798 * [approximate]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in (x z y) around 0 3.798 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in y 3.798 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 3.798 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in y 3.798 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in y 3.798 * [taylor]: Taking taylor expansion of (+ x z) in y 3.798 * [taylor]: Taking taylor expansion of x in y 3.798 * [backup-simplify]: Simplify x into x 3.798 * [taylor]: Taking taylor expansion of z in y 3.798 * [backup-simplify]: Simplify z into z 3.798 * [taylor]: Taking taylor expansion of y in y 3.798 * [backup-simplify]: Simplify 0 into 0 3.798 * [backup-simplify]: Simplify 1 into 1 3.798 * [backup-simplify]: Simplify (+ x z) into (+ x z) 3.798 * [backup-simplify]: Simplify (/ (+ x z) 1) into (+ x z) 3.798 * [taylor]: Taking taylor expansion of (- x z) in y 3.798 * [taylor]: Taking taylor expansion of x in y 3.798 * [backup-simplify]: Simplify x into x 3.798 * [taylor]: Taking taylor expansion of z in y 3.798 * [backup-simplify]: Simplify z into z 3.798 * [taylor]: Taking taylor expansion of y in y 3.798 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 1 into 1 3.799 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in z 3.799 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 3.799 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in z 3.799 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in z 3.799 * [taylor]: Taking taylor expansion of (+ x z) in z 3.799 * [taylor]: Taking taylor expansion of x in z 3.799 * [backup-simplify]: Simplify x into x 3.799 * [taylor]: Taking taylor expansion of z in z 3.799 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 1 into 1 3.799 * [taylor]: Taking taylor expansion of y in z 3.799 * [backup-simplify]: Simplify y into y 3.799 * [backup-simplify]: Simplify (+ x 0) into x 3.799 * [backup-simplify]: Simplify (/ x y) into (/ x y) 3.799 * [taylor]: Taking taylor expansion of (- x z) in z 3.799 * [taylor]: Taking taylor expansion of x in z 3.799 * [backup-simplify]: Simplify x into x 3.799 * [taylor]: Taking taylor expansion of z in z 3.799 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 1 into 1 3.799 * [taylor]: Taking taylor expansion of y in z 3.799 * [backup-simplify]: Simplify y into y 3.799 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in x 3.799 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 3.799 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in x 3.799 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in x 3.799 * [taylor]: Taking taylor expansion of (+ x z) in x 3.799 * [taylor]: Taking taylor expansion of x in x 3.799 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 1 into 1 3.799 * [taylor]: Taking taylor expansion of z in x 3.799 * [backup-simplify]: Simplify z into z 3.799 * [taylor]: Taking taylor expansion of y in x 3.799 * [backup-simplify]: Simplify y into y 3.799 * [backup-simplify]: Simplify (+ 0 z) into z 3.799 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.799 * [taylor]: Taking taylor expansion of (- x z) in x 3.799 * [taylor]: Taking taylor expansion of x in x 3.799 * [backup-simplify]: Simplify 0 into 0 3.799 * [backup-simplify]: Simplify 1 into 1 3.799 * [taylor]: Taking taylor expansion of z in x 3.799 * [backup-simplify]: Simplify z into z 3.799 * [taylor]: Taking taylor expansion of y in x 3.799 * [backup-simplify]: Simplify y into y 3.799 * [taylor]: Taking taylor expansion of (fma (/ (+ x z) y) (- x z) y) in x 3.800 * [taylor]: Rewrote expression to (+ (* (/ (+ x z) y) (- x z)) y) 3.800 * [taylor]: Taking taylor expansion of (* (/ (+ x z) y) (- x z)) in x 3.800 * [taylor]: Taking taylor expansion of (/ (+ x z) y) in x 3.800 * [taylor]: Taking taylor expansion of (+ x z) in x 3.800 * [taylor]: Taking taylor expansion of x in x 3.800 * [backup-simplify]: Simplify 0 into 0 3.800 * [backup-simplify]: Simplify 1 into 1 3.800 * [taylor]: Taking taylor expansion of z in x 3.800 * [backup-simplify]: Simplify z into z 3.800 * [taylor]: Taking taylor expansion of y in x 3.800 * [backup-simplify]: Simplify y into y 3.800 * [backup-simplify]: Simplify (+ 0 z) into z 3.800 * [backup-simplify]: Simplify (/ z y) into (/ z y) 3.800 * [taylor]: Taking taylor expansion of (- x z) in x 3.800 * [taylor]: Taking taylor expansion of x in x 3.800 * [backup-simplify]: Simplify 0 into 0 3.800 * [backup-simplify]: Simplify 1 into 1 3.800 * [taylor]: Taking taylor expansion of z in x 3.800 * [backup-simplify]: Simplify z into z 3.800 * [taylor]: Taking taylor expansion of y in x 3.800 * [backup-simplify]: Simplify y into y 3.800 * [backup-simplify]: Simplify (- z) into (- z) 3.800 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)