6.162 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.197 * * * [progress]: [2/2] Setting up program. 0.207 * [progress]: [Phase 2 of 3] Improving. 0.208 * [simplify]: Simplifying: (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))) 0.208 * * [simplify]: Extracting # 0 : cost 0 0.208 * * [simplify]: Extracting # 1 : cost 0 0.208 * * [simplify]: Extracting # 2 : cost 0 0.208 * * [simplify]: Extracting # 3 : cost 0 0.208 * * [simplify]: Extracting # 4 : cost 0 0.208 * * [simplify]: Extracting # 5 : cost 0 0.208 * * [simplify]: Extracting # 6 : cost 0 0.208 * * [simplify]: Extracting # 7 : cost 0 0.208 * * [simplify]: Extracting # 8 : cost 0 0.208 * * [simplify]: Extracting # 9 : cost 0 0.209 * * [simplify]: Extracting # 10 : cost 0 0.209 * * [simplify]: Extracting # 11 : cost 0 0.209 * * [simplify]: Extracting # 12 : cost 0 0.209 * * [simplify]: Extracting # 13 : cost 0 0.209 * * [simplify]: Extracting # 14 : cost 0 0.209 * * [simplify]: Extracting # 15 : cost 0 0.209 * * [simplify]: Extracting # 16 : cost 0 0.209 * * [simplify]: Extracting # 17 : cost 0 0.209 * * [simplify]: Extracting # 18 : cost 0 0.209 * * [simplify]: Extracting # 19 : cost 0 0.209 * * [simplify]: iteration 0 : 28 enodes (cost 33 ) 0.219 * * [simplify]: Extracting # 0 : cost 0 0.219 * * [simplify]: Extracting # 1 : cost 0 0.219 * * [simplify]: Extracting # 2 : cost 0 0.219 * * [simplify]: iteration 1 : 50 enodes (cost 33 ) 0.237 * * [simplify]: Extracting # 0 : cost 0 0.238 * * [simplify]: Extracting # 1 : cost 0 0.238 * * [simplify]: Extracting # 2 : cost 0 0.238 * * [simplify]: Extracting # 3 : cost 0 0.239 * * [simplify]: Extracting # 4 : cost 0 0.239 * * [simplify]: Extracting # 5 : cost 0 0.240 * * [simplify]: Extracting # 6 : cost 0 0.240 * * [simplify]: iteration 2 : 108 enodes (cost 32 ) 0.294 * * [simplify]: Extracting # 0 : cost 0 0.307 * * [simplify]: Extracting # 1 : cost 0 0.308 * * [simplify]: Extracting # 2 : cost 0 0.308 * * [simplify]: Extracting # 3 : cost 0 0.308 * * [simplify]: Extracting # 4 : cost 0 0.309 * * [simplify]: iteration 3 : 387 enodes (cost 32 ) 0.610 * * [simplify]: Extracting # 0 : cost 0 0.615 * * [simplify]: Extracting # 1 : cost 0 0.619 * * [simplify]: Extracting # 2 : cost 0 0.622 * * [simplify]: Extracting # 3 : cost 0 0.624 * * [simplify]: Extracting # 4 : cost 0 0.626 * * [simplify]: iteration 4 : 1604 enodes (cost 31 ) 1.697 * * [simplify]: Extracting # 0 : cost 0 1.704 * * [simplify]: Extracting # 1 : cost 0 1.710 * * [simplify]: Extracting # 2 : cost 0 1.715 * * [simplify]: Extracting # 3 : cost 0 1.721 * * [simplify]: Extracting # 4 : cost 0 1.736 * * [simplify]: iteration done: 5001 enodes (cost 31 ) 1.736 * [simplify]: Simplified to: (/ x (fma y (pow (exp 2.0) (fma (- (/ (/ 2.0 t) 3.0) (+ a (/ 5.0 6.0))) (- b c) (/ (* z (sqrt (+ t a))) t))) x)) 1.747 * * [progress]: iteration 1 / 4 1.747 * * * [progress]: picking best candidate 1.752 * * * * [pick]: Picked # 1.752 * * * [progress]: localizing error 1.804 * * * [progress]: generating rewritten candidates 1.805 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 3) 1.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 1.855 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 3 1) 1.907 * * * [progress]: generating series expansions 1.907 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 3) 1.911 * [backup-simplify]: Simplify (/ (* z (sqrt (+ t a))) t) into (* (sqrt (+ t a)) (/ z t)) 1.911 * [approximate]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in (z t a) around 0 1.912 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in a 1.912 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in a 1.912 * [taylor]: Taking taylor expansion of (+ t a) in a 1.912 * [taylor]: Taking taylor expansion of t in a 1.912 * [backup-simplify]: Simplify t into t 1.912 * [taylor]: Taking taylor expansion of a in a 1.912 * [backup-simplify]: Simplify 0 into 0 1.912 * [backup-simplify]: Simplify 1 into 1 1.913 * [backup-simplify]: Simplify (+ t 0) into t 1.913 * [backup-simplify]: Simplify (sqrt t) into (sqrt t) 1.913 * [backup-simplify]: Simplify (+ 0 1) into 1 1.913 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt t))) into (* 1/2 (sqrt (/ 1 t))) 1.913 * [taylor]: Taking taylor expansion of (/ z t) in a 1.913 * [taylor]: Taking taylor expansion of z in a 1.913 * [backup-simplify]: Simplify z into z 1.913 * [taylor]: Taking taylor expansion of t in a 1.913 * [backup-simplify]: Simplify t into t 1.914 * [backup-simplify]: Simplify (/ z t) into (/ z t) 1.914 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in t 1.914 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.914 * [taylor]: Taking taylor expansion of (+ t a) in t 1.914 * [taylor]: Taking taylor expansion of t in t 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.914 * [taylor]: Taking taylor expansion of a in t 1.914 * [backup-simplify]: Simplify a into a 1.914 * [backup-simplify]: Simplify (+ 0 a) into a 1.914 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.914 * [backup-simplify]: Simplify (+ 1 0) into 1 1.914 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.914 * [taylor]: Taking taylor expansion of (/ z t) in t 1.914 * [taylor]: Taking taylor expansion of z in t 1.914 * [backup-simplify]: Simplify z into z 1.914 * [taylor]: Taking taylor expansion of t in t 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.914 * [backup-simplify]: Simplify (/ z 1) into z 1.914 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.914 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.914 * [taylor]: Taking taylor expansion of (+ t a) in z 1.914 * [taylor]: Taking taylor expansion of t in z 1.914 * [backup-simplify]: Simplify t into t 1.914 * [taylor]: Taking taylor expansion of a in z 1.914 * [backup-simplify]: Simplify a into a 1.914 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.914 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.915 * [backup-simplify]: Simplify (+ 0 0) into 0 1.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.915 * [taylor]: Taking taylor expansion of (/ z t) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.915 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify 1 into 1 1.915 * [taylor]: Taking taylor expansion of t in z 1.915 * [backup-simplify]: Simplify t into t 1.915 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.915 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.915 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.915 * [taylor]: Taking taylor expansion of (+ t a) in z 1.915 * [taylor]: Taking taylor expansion of t in z 1.915 * [backup-simplify]: Simplify t into t 1.915 * [taylor]: Taking taylor expansion of a in z 1.915 * [backup-simplify]: Simplify a into a 1.915 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.915 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.915 * [backup-simplify]: Simplify (+ 0 0) into 0 1.915 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.915 * [taylor]: Taking taylor expansion of (/ z t) in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.915 * [backup-simplify]: Simplify 0 into 0 1.915 * [backup-simplify]: Simplify 1 into 1 1.915 * [taylor]: Taking taylor expansion of t in z 1.915 * [backup-simplify]: Simplify t into t 1.916 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.916 * [backup-simplify]: Simplify (* (sqrt (+ t a)) (/ 1 t)) into (* (sqrt (+ t a)) (/ 1 t)) 1.916 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ 1 t)) in t 1.916 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.916 * [taylor]: Taking taylor expansion of (+ t a) in t 1.916 * [taylor]: Taking taylor expansion of t in t 1.916 * [backup-simplify]: Simplify 0 into 0 1.916 * [backup-simplify]: Simplify 1 into 1 1.916 * [taylor]: Taking taylor expansion of a in t 1.916 * [backup-simplify]: Simplify a into a 1.916 * [backup-simplify]: Simplify (+ 0 a) into a 1.916 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.916 * [backup-simplify]: Simplify (+ 1 0) into 1 1.917 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.917 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.917 * [taylor]: Taking taylor expansion of t in t 1.917 * [backup-simplify]: Simplify 0 into 0 1.917 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (/ 1 1) into 1 1.917 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a) 1.917 * [taylor]: Taking taylor expansion of (sqrt a) in a 1.917 * [taylor]: Taking taylor expansion of a in a 1.917 * [backup-simplify]: Simplify 0 into 0 1.917 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (sqrt 0) into 0 1.918 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.918 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 1.919 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (* 0 (/ 1 t))) into 0 1.919 * [taylor]: Taking taylor expansion of 0 in t 1.919 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.920 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* (* 1/2 (sqrt (/ 1 a))) 1)) into (* 1/2 (sqrt (/ 1 a))) 1.920 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 a))) in a 1.920 * [taylor]: Taking taylor expansion of 1/2 in a 1.920 * [backup-simplify]: Simplify 1/2 into 1/2 1.920 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a 1.920 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.920 * [taylor]: Taking taylor expansion of a in a 1.920 * [backup-simplify]: Simplify 0 into 0 1.920 * [backup-simplify]: Simplify 1 into 1 1.920 * [backup-simplify]: Simplify (/ 1 1) into 1 1.921 * [backup-simplify]: Simplify (sqrt 0) into 0 1.921 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.922 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 1.923 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.923 * [backup-simplify]: Simplify +nan.0 into +nan.0 1.923 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ t a)))) into 0 1.925 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [backup-simplify]: Simplify 0 into 0 1.925 * [taylor]: Taking taylor expansion of 0 in a 1.926 * [backup-simplify]: Simplify 0 into 0 1.926 * [backup-simplify]: Simplify 0 into 0 1.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.927 * [backup-simplify]: Simplify (+ 0 0) into 0