5.849 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying: (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) 0.026 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: Extracting # 3 : cost 0 0.026 * * [simplify]: Extracting # 4 : cost 0 0.026 * * [simplify]: Extracting # 5 : cost 0 0.026 * * [simplify]: Extracting # 6 : cost 0 0.026 * * [simplify]: Extracting # 7 : cost 0 0.026 * * [simplify]: Extracting # 8 : cost 0 0.026 * * [simplify]: iteration 0 : 13 enodes (cost 17 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 0.029 * * [simplify]: Extracting # 1 : cost 0 0.029 * * [simplify]: Extracting # 2 : cost 0 0.029 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 0.033 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.034 * * [simplify]: iteration 2 : 61 enodes (cost 17 ) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: iteration 3 : 147 enodes (cost 17 ) 0.132 * * [simplify]: Extracting # 0 : cost 0 0.132 * * [simplify]: Extracting # 1 : cost 0 0.132 * * [simplify]: Extracting # 2 : cost 0 0.133 * * [simplify]: iteration 4 : 352 enodes (cost 17 ) 0.399 * * [simplify]: Extracting # 0 : cost 0 0.401 * * [simplify]: Extracting # 1 : cost 0 0.402 * * [simplify]: Extracting # 2 : cost 0 0.403 * * [simplify]: Extracting # 3 : cost 0 0.404 * * [simplify]: iteration 5 : 768 enodes (cost 15 ) 2.124 * * [simplify]: Extracting # 0 : cost 0 2.130 * * [simplify]: Extracting # 1 : cost 0 2.135 * * [simplify]: Extracting # 2 : cost 0 2.139 * * [simplify]: Extracting # 3 : cost 0 2.141 * * [simplify]: iteration 6 : 2601 enodes (cost 13 ) 4.753 * * [simplify]: Extracting # 0 : cost 0 4.767 * * [simplify]: Extracting # 1 : cost 0 4.777 * * [simplify]: Extracting # 2 : cost 0 4.794 * * [simplify]: Extracting # 3 : cost 0 4.804 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 4.804 * [simplify]: Simplified to: (- x (/ y (fma (/ t z) (- (/ y 2.0)) z))) 4.811 * * [progress]: iteration 1 / 4 4.811 * * * [progress]: picking best candidate 4.819 * * * * [pick]: Picked # 4.819 * * * [progress]: localizing error 4.833 * * * [progress]: generating rewritten candidates 4.833 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.838 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 4.838 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.857 * * * [progress]: generating series expansions 4.857 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.858 * [backup-simplify]: Simplify (/ y (fma (/ t z) (- (/ y 2.0)) z)) into (/ y (fma (/ t z) (- (* 0.5 y)) z)) 4.858 * [approximate]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in (y t z) around 0 4.858 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in z 4.858 * [taylor]: Taking taylor expansion of y in z 4.858 * [backup-simplify]: Simplify y into y 4.858 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in z 4.858 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.858 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in z 4.858 * [taylor]: Taking taylor expansion of (/ t z) in z 4.858 * [taylor]: Taking taylor expansion of t in z 4.858 * [backup-simplify]: Simplify t into t 4.858 * [taylor]: Taking taylor expansion of z in z 4.858 * [backup-simplify]: Simplify 0 into 0 4.858 * [backup-simplify]: Simplify 1 into 1 4.858 * [backup-simplify]: Simplify (/ t 1) into t 4.858 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in z 4.858 * [taylor]: Taking taylor expansion of (* 0.5 y) in z 4.859 * [taylor]: Taking taylor expansion of 0.5 in z 4.859 * [backup-simplify]: Simplify 0.5 into 0.5 4.859 * [taylor]: Taking taylor expansion of y in z 4.859 * [backup-simplify]: Simplify y into y 4.859 * [taylor]: Taking taylor expansion of z in z 4.859 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify 1 into 1 4.859 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y) 4.859 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y)) 4.859 * [backup-simplify]: Simplify (* t (- (* 0.5 y))) into (* -0.5 (* t y)) 4.859 * [backup-simplify]: Simplify (+ (* -0.5 (* t y)) 0) into (- (* 0.5 (* t y))) 4.859 * [backup-simplify]: Simplify (/ y (- (* 0.5 (* t y)))) into (/ -2.0 t) 4.859 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in t 4.859 * [taylor]: Taking taylor expansion of y in t 4.859 * [backup-simplify]: Simplify y into y 4.859 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in t 4.860 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.860 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in t 4.860 * [taylor]: Taking taylor expansion of (/ t z) in t 4.860 * [taylor]: Taking taylor expansion of t in t 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [taylor]: Taking taylor expansion of z in t 4.860 * [backup-simplify]: Simplify z into z 4.860 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.860 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in t 4.860 * [taylor]: Taking taylor expansion of (* 0.5 y) in t 4.860 * [taylor]: Taking taylor expansion of 0.5 in t 4.860 * [backup-simplify]: Simplify 0.5 into 0.5 4.860 * [taylor]: Taking taylor expansion of y in t 4.860 * [backup-simplify]: Simplify y into y 4.860 * [taylor]: Taking taylor expansion of z in t 4.860 * [backup-simplify]: Simplify z into z 4.860 * [backup-simplify]: Simplify (+ 0 z) into z 4.860 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.860 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in y 4.860 * [taylor]: Taking taylor expansion of y in y 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in y 4.861 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.861 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in y 4.861 * [taylor]: Taking taylor expansion of (/ t z) in y 4.861 * [taylor]: Taking taylor expansion of t in y 4.861 * [backup-simplify]: Simplify t into t 4.861 * [taylor]: Taking taylor expansion of z in y 4.861 * [backup-simplify]: Simplify z into z 4.861 * [backup-simplify]: Simplify (/ t z) into (/ t z) 4.861 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 4.861 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.861 * [taylor]: Taking taylor expansion of 0.5 in y 4.861 * [backup-simplify]: Simplify 0.5 into 0.5 4.861 * [taylor]: Taking taylor expansion of y in y 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 1 into 1 4.861 * [taylor]: Taking taylor expansion of z in y 4.861 * [backup-simplify]: Simplify z into z 4.862 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.862 * [backup-simplify]: Simplify (- 0) into 0 4.863 * [backup-simplify]: Simplify (* (/ t z) 0) into 0 4.863 * [backup-simplify]: Simplify (+ 0 z) into z 4.863 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.863 * [taylor]: Taking taylor expansion of (/ y (fma (/ t z) (- (* 0.5 y)) z)) in y 4.863 * [taylor]: Taking taylor expansion of y in y 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 1 into 1 4.863 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (* 0.5 y)) z) in y 4.863 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (* 0.5 y))) z) 4.863 * [taylor]: Taking taylor expansion of (* (/ t z) (- (* 0.5 y))) in y 4.863 * [taylor]: Taking taylor expansion of (/ t z) in y 4.863 * [taylor]: Taking taylor expansion of t in y 4.863 * [backup-simplify]: Simplify t into t 4.863 * [taylor]: Taking taylor expansion of z in y 4.863 * [backup-simplify]: Simplify z into z 4.863 * [backup-simplify]: Simplify (/ t z) into (/ t z) 4.863 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 4.863 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 4.863 * [taylor]: Taking taylor expansion of 0.5 in y 4.863 * [backup-simplify]: Simplify 0.5 into 0.5 4.864 * [taylor]: Taking taylor expansion of y in y 4.864 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify 1 into 1 4.864 * [taylor]: Taking taylor expansion of z in y 4.864 * [backup-simplify]: Simplify z into z 4.864 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.864 * [backup-simplify]: Simplify (- 0) into 0 4.865 * [backup-simplify]: Simplify (* (/ t z) 0) into 0 4.865 * [backup-simplify]: Simplify (+ 0 z) into z 4.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.865 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.865 * [taylor]: Taking taylor expansion of z in t 4.865 * [backup-simplify]: Simplify z into z 4.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.865 * [taylor]: Taking taylor expansion of z in z 4.865 * [backup-simplify]: Simplify 0 into 0 4.865 * [backup-simplify]: Simplify 1 into 1 4.866 * [backup-simplify]: Simplify (/ 1 1) into 1 4.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.867 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 4.869 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 4.869 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0 4.870 * [backup-simplify]: Simplify (- 0) into 0 4.871 * [backup-simplify]: Simplify (+ (* (/ t z) (- 0.5)) (* 0 0)) into (- (* 0.5 (/ t z))) 4.871 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ t z))) 0) into (- (* 0.5 (/ t z)))