14.416 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: Extracting # 3 : cost 0 0.028 * * [simplify]: Extracting # 4 : cost 0 0.028 * * [simplify]: Extracting # 5 : cost 0 0.028 * * [simplify]: Extracting # 6 : cost 0 0.028 * * [simplify]: Extracting # 7 : cost 0 0.028 * * [simplify]: Extracting # 8 : cost 0 0.028 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 2 : 61 enodes (cost 17 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: iteration 3 : 147 enodes (cost 17 ) 0.113 * * [simplify]: Extracting # 0 : cost 0 0.113 * * [simplify]: Extracting # 1 : cost 0 0.114 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: iteration 4 : 352 enodes (cost 17 ) 0.341 * * [simplify]: Extracting # 0 : cost 0 0.342 * * [simplify]: Extracting # 1 : cost 0 0.343 * * [simplify]: Extracting # 2 : cost 0 0.343 * * [simplify]: Extracting # 3 : cost 0 0.344 * * [simplify]: iteration 5 : 768 enodes (cost 15 ) 2.328 * * [simplify]: Extracting # 0 : cost 0 2.333 * * [simplify]: Extracting # 1 : cost 0 2.335 * * [simplify]: Extracting # 2 : cost 0 2.337 * * [simplify]: Extracting # 3 : cost 0 2.339 * * [simplify]: iteration 6 : 2601 enodes (cost 13 ) 4.677 * * [simplify]: Extracting # 0 : cost 0 4.690 * * [simplify]: Extracting # 1 : cost 0 4.698 * * [simplify]: Extracting # 2 : cost 0 4.707 * * [simplify]: Extracting # 3 : cost 0 4.714 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 4.714 * [simplify]: Simplified to: (- x (/ y (fma (/ t z) (- (/ y 2.0)) z))) 4.720 * * [progress]: iteration 1 / 4 4.721 * * * [progress]: picking best candidate 4.725 * * * * [pick]: Picked # 4.725 * * * [progress]: localizing error 4.740 * * * [progress]: generating rewritten candidates 4.740 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.745 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 4.746 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.769 * * * [progress]: generating series expansions 4.769 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.770 * [backup-simplify]: Simplify (/ y (fma (/ t z) (- (/ y 2.0)) z)) into (/ y (fma (/ t z) (- (* 0.5 y)) z)) 4.770 * [approximate]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in (y t z) around 0 4.770 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in z 4.770 * [taylor]: Taking taylor expansion of y in z 4.770 * [backup-simplify]: Simplify y into y 4.770 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in z 4.770 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.770 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in z 4.770 * [taylor]: Taking taylor expansion of (/ t z) in z 4.770 * [taylor]: Taking taylor expansion of t in z 4.770 * [backup-simplify]: Simplify t into t 4.770 * [taylor]: Taking taylor expansion of z in z 4.770 * [backup-simplify]: Simplify 0 into 0 4.770 * [backup-simplify]: Simplify 1 into 1 4.770 * [backup-simplify]: Simplify (/ t 1) into t 4.770 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in z 4.770 * [taylor]: Taking taylor expansion of (* 0.5 y) in z 4.770 * [taylor]: Taking taylor expansion of 0.5 in z 4.770 * [backup-simplify]: Simplify 0.5 into 0.5 4.770 * [taylor]: Taking taylor expansion of y in z 4.770 * [backup-simplify]: Simplify y into y 4.770 * [taylor]: Taking taylor expansion of z in z 4.770 * [backup-simplify]: Simplify 0 into 0 4.770 * [backup-simplify]: Simplify 1 into 1 4.770 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 4.770 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 4.770 * [backup-simplify]: Simplify (* t (- (* 0.5 y))) into (* -0.5 (* t y)) 4.771 * [backup-simplify]: Simplify (+ (* -0.5 (* t y)) 0) into (- (* 0.5 (* t y))) 4.771 * [backup-simplify]: Simplify (/ y (- (* 0.5 (* t y)))) into (/ -2.0 t) 4.771 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in t 4.771 * [taylor]: Taking taylor expansion of y in t 4.771 * [backup-simplify]: Simplify y into y 4.771 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in t 4.771 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.771 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in t 4.771 * [taylor]: Taking taylor expansion of (/ t z) in t 4.771 * [taylor]: Taking taylor expansion of t in t 4.771 * [backup-simplify]: Simplify 0 into 0 4.771 * [backup-simplify]: Simplify 1 into 1 4.771 * [taylor]: Taking taylor expansion of z in t 4.771 * [backup-simplify]: Simplify z into z 4.771 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.771 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in t 4.771 * [taylor]: Taking taylor expansion of (* 0.5 y) in t 4.771 * [taylor]: Taking taylor expansion of 0.5 in t 4.771 * [backup-simplify]: Simplify 0.5 into 0.5 4.771 * [taylor]: Taking taylor expansion of y in t 4.771 * [backup-simplify]: Simplify y into y 4.771 * [taylor]: Taking taylor expansion of z in t 4.771 * [backup-simplify]: Simplify z into z 4.771 * [backup-simplify]: Simplify (+ 0 z) into z 4.771 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.771 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in y 4.771 * [taylor]: Taking taylor expansion of y in y 4.771 * [backup-simplify]: Simplify 0 into 0 4.771 * [backup-simplify]: Simplify 1 into 1 4.771 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in y 4.771 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.771 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in y 4.771 * [taylor]: Taking taylor expansion of (/ t z) in y 4.771 * [taylor]: Taking taylor expansion of t in y 4.771 * [backup-simplify]: Simplify t into t 4.771 * [taylor]: Taking taylor expansion of z in y 4.771 * [backup-simplify]: Simplify z into z 4.772 * [backup-simplify]: Simplify (/ t z) into (/ t z) 4.772 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 4.772 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.772 * [taylor]: Taking taylor expansion of 0.5 in y 4.772 * [backup-simplify]: Simplify 0.5 into 0.5 4.772 * [taylor]: Taking taylor expansion of y in y 4.772 * [backup-simplify]: Simplify 0 into 0 4.772 * [backup-simplify]: Simplify 1 into 1 4.772 * [taylor]: Taking taylor expansion of z in y 4.772 * [backup-simplify]: Simplify z into z 4.772 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.772 * [backup-simplify]: Simplify (- 0) into 0 4.773 * [backup-simplify]: Simplify (* (/ t z) 0) into 0 4.773 * [backup-simplify]: Simplify (+ 0 z) into z 4.773 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.773 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in y 4.773 * [taylor]: Taking taylor expansion of y in y 4.773 * [backup-simplify]: Simplify 0 into 0 4.773 * [backup-simplify]: Simplify 1 into 1 4.773 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in y 4.773 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.773 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in y 4.773 * [taylor]: Taking taylor expansion of (/ t z) in y 4.773 * [taylor]: Taking taylor expansion of t in y 4.773 * [backup-simplify]: Simplify t into t 4.773 * [taylor]: Taking taylor expansion of z in y 4.773 * [backup-simplify]: Simplify z into z 4.773 * [backup-simplify]: Simplify (/ t z) into (/ t z) 4.773 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 4.773 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.773 * [taylor]: Taking taylor expansion of 0.5 in y 4.773 * [backup-simplify]: Simplify 0.5 into 0.5 4.773 * [taylor]: Taking taylor expansion of y in y 4.773 * [backup-simplify]: Simplify 0 into 0 4.773 * [backup-simplify]: Simplify 1 into 1 4.773 * [taylor]: Taking taylor expansion of z in y 4.773 * [backup-simplify]: Simplify z into z 4.773 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.774 * [backup-simplify]: Simplify (- 0) into 0 4.774 * [backup-simplify]: Simplify (* (/ t z) 0) into 0 4.774 * [backup-simplify]: Simplify (+ 0 z) into z 4.774 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.774 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.774 * [taylor]: Taking taylor expansion of z in t 4.774 * [backup-simplify]: Simplify z into z 4.774 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.774 * [taylor]: Taking taylor expansion of z in z 4.774 * [backup-simplify]: Simplify 0 into 0 4.774 * [backup-simplify]: Simplify 1 into 1 4.774 * [backup-simplify]: Simplify (/ 1 1) into 1 4.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.775 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 4.776 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.777 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 4.777 * [backup-simplify]: Simplify (- 0) into 0 4.777 * [backup-simplify]: Simplify (+ (* (/ t z) (- 0.5)) (* 0 0)) into (- (* 0.5 (/ t z))) 4.777 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ t z))) 0) into (- (* 0.5 (/ t z)))