4.256 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.122 * * * [progress]: [2/2] Setting up program. 0.127 * [progress]: [Phase 2 of 3] Improving. 0.128 * [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.128 * * [simplify]: Extracting # 0 : cost 0 0.128 * * [simplify]: Extracting # 1 : cost 0 0.128 * * [simplify]: Extracting # 2 : cost 0 0.128 * * [simplify]: Extracting # 3 : cost 0 0.128 * * [simplify]: Extracting # 4 : cost 0 0.128 * * [simplify]: Extracting # 5 : cost 0 0.128 * * [simplify]: Extracting # 6 : cost 0 0.128 * * [simplify]: Extracting # 7 : cost 0 0.128 * * [simplify]: Extracting # 8 : cost 0 0.128 * * [simplify]: Extracting # 9 : cost 0 0.128 * * [simplify]: Extracting # 10 : cost 0 0.128 * * [simplify]: Extracting # 11 : cost 0 0.128 * * [simplify]: Extracting # 12 : cost 0 0.128 * * [simplify]: Extracting # 13 : cost 0 0.128 * * [simplify]: Extracting # 14 : cost 0 0.128 * * [simplify]: Extracting # 15 : cost 0 0.128 * * [simplify]: Extracting # 16 : cost 0 0.128 * * [simplify]: Extracting # 17 : cost 0 0.129 * * [simplify]: Extracting # 18 : cost 0 0.129 * * [simplify]: Extracting # 19 : cost 0 0.129 * * [simplify]: iteration 0 : 28 enodes (cost 33 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: iteration 1 : 50 enodes (cost 33 ) 0.143 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.144 * * [simplify]: Extracting # 2 : cost 0 0.144 * * [simplify]: Extracting # 3 : cost 0 0.144 * * [simplify]: Extracting # 4 : cost 0 0.145 * * [simplify]: Extracting # 5 : cost 0 0.145 * * [simplify]: Extracting # 6 : cost 0 0.145 * * [simplify]: iteration 2 : 108 enodes (cost 32 ) 0.218 * * [simplify]: Extracting # 0 : cost 0 0.219 * * [simplify]: Extracting # 1 : cost 0 0.219 * * [simplify]: Extracting # 2 : cost 0 0.220 * * [simplify]: Extracting # 3 : cost 0 0.220 * * [simplify]: Extracting # 4 : cost 0 0.220 * * [simplify]: iteration 3 : 387 enodes (cost 32 ) 0.577 * * [simplify]: Extracting # 0 : cost 0 0.579 * * [simplify]: Extracting # 1 : cost 0 0.581 * * [simplify]: Extracting # 2 : cost 0 0.583 * * [simplify]: Extracting # 3 : cost 0 0.585 * * [simplify]: Extracting # 4 : cost 0 0.586 * * [simplify]: iteration 4 : 1604 enodes (cost 31 ) 1.537 * * [simplify]: Extracting # 0 : cost 0 1.543 * * [simplify]: Extracting # 1 : cost 0 1.554 * * [simplify]: Extracting # 2 : cost 0 1.560 * * [simplify]: Extracting # 3 : cost 0 1.566 * * [simplify]: Extracting # 4 : cost 0 1.572 * * [simplify]: iteration done: 5001 enodes (cost 31 ) 1.572 * [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.581 * * [progress]: iteration 1 / 4 1.581 * * * [progress]: picking best candidate 1.586 * * * * [pick]: Picked # 1.586 * * * [progress]: localizing error 1.647 * * * [progress]: generating rewritten candidates 1.647 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 3) 1.680 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 1.681 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.704 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 3 1) 1.759 * * * [progress]: generating series expansions 1.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 3) 1.759 * [backup-simplify]: Simplify (/ (* z (sqrt (+ t a))) t) into (* (sqrt (+ t a)) (/ z t)) 1.759 * [approximate]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in (z t a) around 0 1.760 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in a 1.760 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in a 1.760 * [taylor]: Taking taylor expansion of (+ t a) in a 1.760 * [taylor]: Taking taylor expansion of t in a 1.760 * [backup-simplify]: Simplify t into t 1.760 * [taylor]: Taking taylor expansion of a in a 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [backup-simplify]: Simplify (+ t 0) into t 1.760 * [backup-simplify]: Simplify (sqrt t) into (sqrt t) 1.760 * [backup-simplify]: Simplify (+ 0 1) into 1 1.760 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt t))) into (* 1/2 (sqrt (/ 1 t))) 1.760 * [taylor]: Taking taylor expansion of (/ z t) in a 1.760 * [taylor]: Taking taylor expansion of z in a 1.761 * [backup-simplify]: Simplify z into z 1.761 * [taylor]: Taking taylor expansion of t in a 1.761 * [backup-simplify]: Simplify t into t 1.761 * [backup-simplify]: Simplify (/ z t) into (/ z t) 1.761 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in t 1.761 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.761 * [taylor]: Taking taylor expansion of (+ t a) in t 1.761 * [taylor]: Taking taylor expansion of t in t 1.761 * [backup-simplify]: Simplify 0 into 0 1.761 * [backup-simplify]: Simplify 1 into 1 1.761 * [taylor]: Taking taylor expansion of a in t 1.761 * [backup-simplify]: Simplify a into a 1.761 * [backup-simplify]: Simplify (+ 0 a) into a 1.761 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.761 * [backup-simplify]: Simplify (+ 1 0) into 1 1.761 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.761 * [taylor]: Taking taylor expansion of (/ z t) in t 1.761 * [taylor]: Taking taylor expansion of z in t 1.761 * [backup-simplify]: Simplify z into z 1.761 * [taylor]: Taking taylor expansion of t in t 1.761 * [backup-simplify]: Simplify 0 into 0 1.761 * [backup-simplify]: Simplify 1 into 1 1.761 * [backup-simplify]: Simplify (/ z 1) into z 1.761 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.761 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.761 * [taylor]: Taking taylor expansion of (+ t a) in z 1.762 * [taylor]: Taking taylor expansion of t in z 1.762 * [backup-simplify]: Simplify t into t 1.762 * [taylor]: Taking taylor expansion of a in z 1.762 * [backup-simplify]: Simplify a into a 1.762 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.762 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.762 * [backup-simplify]: Simplify (+ 0 0) into 0 1.762 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.762 * [taylor]: Taking taylor expansion of (/ z t) in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 1 into 1 1.762 * [taylor]: Taking taylor expansion of t in z 1.762 * [backup-simplify]: Simplify t into t 1.762 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.762 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.762 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.762 * [taylor]: Taking taylor expansion of (+ t a) in z 1.762 * [taylor]: Taking taylor expansion of t in z 1.762 * [backup-simplify]: Simplify t into t 1.762 * [taylor]: Taking taylor expansion of a in z 1.762 * [backup-simplify]: Simplify a into a 1.762 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.762 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.763 * [backup-simplify]: Simplify (+ 0 0) into 0 1.763 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.763 * [taylor]: Taking taylor expansion of (/ z t) in z 1.763 * [taylor]: Taking taylor expansion of z in z 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 1 into 1 1.763 * [taylor]: Taking taylor expansion of t in z 1.763 * [backup-simplify]: Simplify t into t 1.763 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.763 * [backup-simplify]: Simplify (* (sqrt (+ t a)) (/ 1 t)) into (* (sqrt (+ t a)) (/ 1 t)) 1.763 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ 1 t)) in t 1.763 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.763 * [taylor]: Taking taylor expansion of (+ t a) in t 1.763 * [taylor]: Taking taylor expansion of t in t 1.763 * [backup-simplify]: Simplify 0 into 0 1.763 * [backup-simplify]: Simplify 1 into 1 1.763 * [taylor]: Taking taylor expansion of a in t 1.763 * [backup-simplify]: Simplify a into a 1.763 * [backup-simplify]: Simplify (+ 0 a) into a 1.763 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.763 * [backup-simplify]: Simplify (+ 1 0) into 1 1.764 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.764 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.764 * [taylor]: Taking taylor expansion of t in t 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify 1 into 1 1.768 * [backup-simplify]: Simplify (/ 1 1) into 1 1.769 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a) 1.769 * [taylor]: Taking taylor expansion of (sqrt a) in a 1.769 * [taylor]: Taking taylor expansion of a in a 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify 1 into 1 1.769 * [backup-simplify]: Simplify (sqrt 0) into 0 1.770 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.770 * [backup-simplify]: Simplify 0 into 0 1.771 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 1.771 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (* 0 (/ 1 t))) into 0 1.771 * [taylor]: Taking taylor expansion of 0 in t 1.771 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.772 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* (* 1/2 (sqrt (/ 1 a))) 1)) into (* 1/2 (sqrt (/ 1 a))) 1.772 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 a))) in a 1.772 * [taylor]: Taking taylor expansion of 1/2 in a 1.772 * [backup-simplify]: Simplify 1/2 into 1/2 1.772 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a 1.772 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.772 * [taylor]: Taking taylor expansion of a in a 1.772 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [backup-simplify]: Simplify (/ 1 1) into 1 1.773 * [backup-simplify]: Simplify (sqrt 0) into 0 1.774 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.774 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 1.775 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.775 * [backup-simplify]: Simplify +nan.0 into +nan.0 1.775 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.775 * [backup-simplify]: Simplify (+ 0 0) into 0 1.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ t a)))) into 0 1.776 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 1.776 * [taylor]: Taking taylor expansion of 0 in t 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [taylor]: Taking taylor expansion of 0 in a 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.777 * [backup-simplify]: Simplify (+ 0 0) into 0