1.987 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.178 * * * [progress]: [2/2] Setting up program. 0.188 * [progress]: [Phase 2 of 3] Improving. 0.189 * [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.189 * * [simplify]: Extracting # 0 : cost 0 0.189 * * [simplify]: Extracting # 1 : cost 0 0.189 * * [simplify]: Extracting # 2 : cost 0 0.189 * * [simplify]: Extracting # 3 : cost 0 0.189 * * [simplify]: Extracting # 4 : cost 0 0.189 * * [simplify]: Extracting # 5 : cost 0 0.189 * * [simplify]: Extracting # 6 : cost 0 0.189 * * [simplify]: Extracting # 7 : cost 0 0.189 * * [simplify]: Extracting # 8 : cost 0 0.189 * * [simplify]: Extracting # 9 : cost 0 0.189 * * [simplify]: Extracting # 10 : cost 0 0.189 * * [simplify]: Extracting # 11 : cost 0 0.189 * * [simplify]: Extracting # 12 : cost 0 0.189 * * [simplify]: Extracting # 13 : cost 0 0.189 * * [simplify]: Extracting # 14 : cost 0 0.189 * * [simplify]: Extracting # 15 : cost 0 0.189 * * [simplify]: Extracting # 16 : cost 0 0.189 * * [simplify]: Extracting # 17 : cost 0 0.190 * * [simplify]: Extracting # 18 : cost 0 0.190 * * [simplify]: Extracting # 19 : cost 0 0.190 * * [simplify]: iteration 0 : 28 enodes (cost 33 ) 0.194 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.195 * * [simplify]: Extracting # 2 : cost 0 0.195 * * [simplify]: iteration 1 : 50 enodes (cost 33 ) 0.203 * * [simplify]: Extracting # 0 : cost 0 0.203 * * [simplify]: Extracting # 1 : cost 0 0.203 * * [simplify]: Extracting # 2 : cost 0 0.204 * * [simplify]: Extracting # 3 : cost 0 0.204 * * [simplify]: Extracting # 4 : cost 0 0.204 * * [simplify]: Extracting # 5 : cost 0 0.204 * * [simplify]: Extracting # 6 : cost 0 0.204 * * [simplify]: iteration 2 : 106 enodes (cost 33 ) 0.257 * * [simplify]: Extracting # 0 : cost 0 0.258 * * [simplify]: Extracting # 1 : cost 0 0.259 * * [simplify]: Extracting # 2 : cost 0 0.260 * * [simplify]: Extracting # 3 : cost 0 0.261 * * [simplify]: Extracting # 4 : cost 0 0.261 * * [simplify]: iteration 3 : 373 enodes (cost 33 ) 0.534 * * [simplify]: Extracting # 0 : cost 0 0.536 * * [simplify]: Extracting # 1 : cost 0 0.538 * * [simplify]: Extracting # 2 : cost 0 0.545 * * [simplify]: Extracting # 3 : cost 0 0.548 * * [simplify]: Extracting # 4 : cost 0 0.551 * * [simplify]: iteration 4 : 1497 enodes (cost 33 ) 1.883 * * [simplify]: Extracting # 0 : cost 0 1.889 * * [simplify]: Extracting # 1 : cost 0 1.896 * * [simplify]: Extracting # 2 : cost 0 1.902 * * [simplify]: Extracting # 3 : cost 0 1.907 * * [simplify]: Extracting # 4 : cost 0 1.914 * * [simplify]: iteration done: 5001 enodes (cost 33 ) 1.914 * [simplify]: Simplified to: (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))) 1.914 * * [progress]: iteration 1 / 4 1.914 * * * [progress]: picking best candidate 1.919 * * * * [pick]: Picked # 1.919 * * * [progress]: localizing error 1.965 * * * [progress]: generating rewritten candidates 1.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1) 1.995 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2) 2.048 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 2) 2.063 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 2.097 * * * [progress]: generating series expansions 2.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1) 2.098 * [backup-simplify]: Simplify (/ (* z (sqrt (+ t a))) t) into (* (sqrt (+ t a)) (/ z t)) 2.098 * [approximate]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in (z t a) around 0 2.098 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in a 2.098 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in a 2.098 * [taylor]: Taking taylor expansion of (+ t a) in a 2.098 * [taylor]: Taking taylor expansion of t in a 2.098 * [backup-simplify]: Simplify t into t 2.098 * [taylor]: Taking taylor expansion of a in a 2.098 * [backup-simplify]: Simplify 0 into 0 2.098 * [backup-simplify]: Simplify 1 into 1 2.098 * [backup-simplify]: Simplify (+ t 0) into t 2.098 * [backup-simplify]: Simplify (sqrt t) into (sqrt t) 2.099 * [backup-simplify]: Simplify (+ 0 1) into 1 2.099 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt t))) into (* 1/2 (sqrt (/ 1 t))) 2.099 * [taylor]: Taking taylor expansion of (/ z t) in a 2.099 * [taylor]: Taking taylor expansion of z in a 2.099 * [backup-simplify]: Simplify z into z 2.099 * [taylor]: Taking taylor expansion of t in a 2.099 * [backup-simplify]: Simplify t into t 2.099 * [backup-simplify]: Simplify (/ z t) into (/ z t) 2.099 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in t 2.099 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 2.099 * [taylor]: Taking taylor expansion of (+ t a) in t 2.099 * [taylor]: Taking taylor expansion of t in t 2.099 * [backup-simplify]: Simplify 0 into 0 2.099 * [backup-simplify]: Simplify 1 into 1 2.099 * [taylor]: Taking taylor expansion of a in t 2.099 * [backup-simplify]: Simplify a into a 2.099 * [backup-simplify]: Simplify (+ 0 a) into a 2.099 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 2.099 * [backup-simplify]: Simplify (+ 1 0) into 1 2.100 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 2.100 * [taylor]: Taking taylor expansion of (/ z t) in t 2.100 * [taylor]: Taking taylor expansion of z in t 2.100 * [backup-simplify]: Simplify z into z 2.100 * [taylor]: Taking taylor expansion of t in t 2.100 * [backup-simplify]: Simplify 0 into 0 2.100 * [backup-simplify]: Simplify 1 into 1 2.100 * [backup-simplify]: Simplify (/ z 1) into z 2.100 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 2.100 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 2.100 * [taylor]: Taking taylor expansion of (+ t a) in z 2.100 * [taylor]: Taking taylor expansion of t in z 2.100 * [backup-simplify]: Simplify t into t 2.100 * [taylor]: Taking taylor expansion of a in z 2.100 * [backup-simplify]: Simplify a into a 2.100 * [backup-simplify]: Simplify (+ t a) into (+ t a) 2.100 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 2.100 * [backup-simplify]: Simplify (+ 0 0) into 0 2.100 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 2.100 * [taylor]: Taking taylor expansion of (/ z t) in z 2.100 * [taylor]: Taking taylor expansion of z in z 2.100 * [backup-simplify]: Simplify 0 into 0 2.100 * [backup-simplify]: Simplify 1 into 1 2.100 * [taylor]: Taking taylor expansion of t in z 2.100 * [backup-simplify]: Simplify t into t 2.100 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.100 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 2.100 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 2.100 * [taylor]: Taking taylor expansion of (+ t a) in z 2.100 * [taylor]: Taking taylor expansion of t in z 2.100 * [backup-simplify]: Simplify t into t 2.100 * [taylor]: Taking taylor expansion of a in z 2.100 * [backup-simplify]: Simplify a into a 2.101 * [backup-simplify]: Simplify (+ t a) into (+ t a) 2.101 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 2.101 * [backup-simplify]: Simplify (+ 0 0) into 0 2.101 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 2.101 * [taylor]: Taking taylor expansion of (/ z t) in z 2.101 * [taylor]: Taking taylor expansion of z in z 2.101 * [backup-simplify]: Simplify 0 into 0 2.101 * [backup-simplify]: Simplify 1 into 1 2.101 * [taylor]: Taking taylor expansion of t in z 2.101 * [backup-simplify]: Simplify t into t 2.101 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.101 * [backup-simplify]: Simplify (* (sqrt (+ t a)) (/ 1 t)) into (* (sqrt (+ t a)) (/ 1 t)) 2.101 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ 1 t)) in t 2.101 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 2.101 * [taylor]: Taking taylor expansion of (+ t a) in t 2.101 * [taylor]: Taking taylor expansion of t in t 2.101 * [backup-simplify]: Simplify 0 into 0 2.101 * [backup-simplify]: Simplify 1 into 1 2.101 * [taylor]: Taking taylor expansion of a in t 2.101 * [backup-simplify]: Simplify a into a 2.101 * [backup-simplify]: Simplify (+ 0 a) into a 2.101 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 2.102 * [backup-simplify]: Simplify (+ 1 0) into 1 2.102 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 2.102 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.102 * [taylor]: Taking taylor expansion of t in t 2.102 * [backup-simplify]: Simplify 0 into 0 2.102 * [backup-simplify]: Simplify 1 into 1 2.102 * [backup-simplify]: Simplify (/ 1 1) into 1 2.102 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a) 2.102 * [taylor]: Taking taylor expansion of (sqrt a) in a 2.102 * [taylor]: Taking taylor expansion of a in a 2.102 * [backup-simplify]: Simplify 0 into 0 2.102 * [backup-simplify]: Simplify 1 into 1 2.102 * [backup-simplify]: Simplify (sqrt 0) into 0 2.103 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.103 * [backup-simplify]: Simplify 0 into 0 2.104 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 2.104 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (* 0 (/ 1 t))) into 0 2.104 * [taylor]: Taking taylor expansion of 0 in t 2.104 * [backup-simplify]: Simplify 0 into 0 2.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.104 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* (* 1/2 (sqrt (/ 1 a))) 1)) into (* 1/2 (sqrt (/ 1 a))) 2.104 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 a))) in a 2.104 * [taylor]: Taking taylor expansion of 1/2 in a 2.104 * [backup-simplify]: Simplify 1/2 into 1/2 2.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a 2.104 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.104 * [taylor]: Taking taylor expansion of a in a 2.104 * [backup-simplify]: Simplify 0 into 0 2.104 * [backup-simplify]: Simplify 1 into 1 2.105 * [backup-simplify]: Simplify (/ 1 1) into 1 2.105 * [backup-simplify]: Simplify (sqrt 0) into 0 2.106 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.107 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 2.107 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.107 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.107 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.107 * [backup-simplify]: Simplify (+ 0 0) into 0 2.108 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ t a)))) into 0 2.108 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 2.108 * [taylor]: Taking taylor expansion of 0 in t 2.108 * [backup-simplify]: Simplify 0 into 0 2.108 * [taylor]: Taking taylor expansion of 0 in a 2.108 * [backup-simplify]: Simplify 0 into 0 2.108 * [backup-simplify]: Simplify 0 into 0 2.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.110 * [backup-simplify]: Simplify (+ 0 0) into 0