5.505 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.128 * * * [progress]: [2/2] Setting up program. 0.171 * [progress]: [Phase 2 of 3] Improving. 0.172 * [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.172 * * [simplify]: Extracting # 0 : cost 0 0.172 * * [simplify]: Extracting # 1 : cost 0 0.172 * * [simplify]: Extracting # 2 : cost 0 0.172 * * [simplify]: Extracting # 3 : cost 0 0.172 * * [simplify]: Extracting # 4 : cost 0 0.172 * * [simplify]: Extracting # 5 : cost 0 0.172 * * [simplify]: Extracting # 6 : cost 0 0.172 * * [simplify]: Extracting # 7 : cost 0 0.172 * * [simplify]: Extracting # 8 : cost 0 0.173 * * [simplify]: Extracting # 9 : cost 0 0.173 * * [simplify]: Extracting # 10 : cost 0 0.173 * * [simplify]: Extracting # 11 : cost 0 0.173 * * [simplify]: Extracting # 12 : cost 0 0.173 * * [simplify]: Extracting # 13 : cost 0 0.173 * * [simplify]: Extracting # 14 : cost 0 0.173 * * [simplify]: Extracting # 15 : cost 0 0.173 * * [simplify]: Extracting # 16 : cost 0 0.173 * * [simplify]: Extracting # 17 : cost 0 0.173 * * [simplify]: Extracting # 18 : cost 0 0.173 * * [simplify]: Extracting # 19 : cost 0 0.173 * * [simplify]: iteration 0 : 28 enodes (cost 33 ) 0.186 * * [simplify]: Extracting # 0 : cost 0 0.186 * * [simplify]: Extracting # 1 : cost 0 0.186 * * [simplify]: Extracting # 2 : cost 0 0.186 * * [simplify]: iteration 1 : 50 enodes (cost 33 ) 0.204 * * [simplify]: Extracting # 0 : cost 0 0.204 * * [simplify]: Extracting # 1 : cost 0 0.204 * * [simplify]: Extracting # 2 : cost 0 0.205 * * [simplify]: Extracting # 3 : cost 0 0.205 * * [simplify]: Extracting # 4 : cost 0 0.205 * * [simplify]: Extracting # 5 : cost 0 0.205 * * [simplify]: Extracting # 6 : cost 0 0.206 * * [simplify]: iteration 2 : 106 enodes (cost 33 ) 0.241 * * [simplify]: Extracting # 0 : cost 0 0.241 * * [simplify]: Extracting # 1 : cost 0 0.242 * * [simplify]: Extracting # 2 : cost 0 0.242 * * [simplify]: Extracting # 3 : cost 0 0.243 * * [simplify]: Extracting # 4 : cost 0 0.243 * * [simplify]: iteration 3 : 373 enodes (cost 33 ) 0.500 * * [simplify]: Extracting # 0 : cost 0 0.502 * * [simplify]: Extracting # 1 : cost 0 0.503 * * [simplify]: Extracting # 2 : cost 0 0.505 * * [simplify]: Extracting # 3 : cost 0 0.507 * * [simplify]: Extracting # 4 : cost 0 0.508 * * [simplify]: iteration 4 : 1497 enodes (cost 33 ) 1.494 * * [simplify]: Extracting # 0 : cost 0 1.500 * * [simplify]: Extracting # 1 : cost 0 1.506 * * [simplify]: Extracting # 2 : cost 0 1.514 * * [simplify]: Extracting # 3 : cost 0 1.530 * * [simplify]: Extracting # 4 : cost 0 1.541 * * [simplify]: iteration done: 5001 enodes (cost 33 ) 1.541 * [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.542 * * [progress]: iteration 1 / 4 1.542 * * * [progress]: picking best candidate 1.552 * * * * [pick]: Picked # 1.552 * * * [progress]: localizing error 1.601 * * * [progress]: generating rewritten candidates 1.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1) 1.619 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2) 1.670 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 2) 1.678 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 2.121 * * * [progress]: generating series expansions 2.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1) 2.121 * [backup-simplify]: Simplify (/ (* z (sqrt (+ t a))) t) into (* (sqrt (+ t a)) (/ z t)) 2.121 * [approximate]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in (z t a) around 0 2.121 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in a 2.121 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in a 2.121 * [taylor]: Taking taylor expansion of (+ t a) in a 2.121 * [taylor]: Taking taylor expansion of t in a 2.121 * [backup-simplify]: Simplify t into t 2.121 * [taylor]: Taking taylor expansion of a in a 2.121 * [backup-simplify]: Simplify 0 into 0 2.121 * [backup-simplify]: Simplify 1 into 1 2.121 * [backup-simplify]: Simplify (+ t 0) into t 2.122 * [backup-simplify]: Simplify (sqrt t) into (sqrt t) 2.122 * [backup-simplify]: Simplify (+ 0 1) into 1 2.124 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt t))) into (* 1/2 (sqrt (/ 1 t))) 2.124 * [taylor]: Taking taylor expansion of (/ z t) in a 2.124 * [taylor]: Taking taylor expansion of z in a 2.124 * [backup-simplify]: Simplify z into z 2.124 * [taylor]: Taking taylor expansion of t in a 2.124 * [backup-simplify]: Simplify t into t 2.124 * [backup-simplify]: Simplify (/ z t) into (/ z t) 2.124 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in t 2.124 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 2.124 * [taylor]: Taking taylor expansion of (+ t a) in t 2.124 * [taylor]: Taking taylor expansion of t in t 2.124 * [backup-simplify]: Simplify 0 into 0 2.124 * [backup-simplify]: Simplify 1 into 1 2.124 * [taylor]: Taking taylor expansion of a in t 2.124 * [backup-simplify]: Simplify a into a 2.124 * [backup-simplify]: Simplify (+ 0 a) into a 2.124 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 2.125 * [backup-simplify]: Simplify (+ 1 0) into 1 2.125 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 2.125 * [taylor]: Taking taylor expansion of (/ z t) in t 2.125 * [taylor]: Taking taylor expansion of z in t 2.125 * [backup-simplify]: Simplify z into z 2.125 * [taylor]: Taking taylor expansion of t in t 2.125 * [backup-simplify]: Simplify 0 into 0 2.125 * [backup-simplify]: Simplify 1 into 1 2.125 * [backup-simplify]: Simplify (/ z 1) into z 2.125 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 2.125 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 2.125 * [taylor]: Taking taylor expansion of (+ t a) in z 2.125 * [taylor]: Taking taylor expansion of t in z 2.125 * [backup-simplify]: Simplify t into t 2.125 * [taylor]: Taking taylor expansion of a in z 2.125 * [backup-simplify]: Simplify a into a 2.125 * [backup-simplify]: Simplify (+ t a) into (+ t a) 2.125 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 2.125 * [backup-simplify]: Simplify (+ 0 0) into 0 2.125 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 2.125 * [taylor]: Taking taylor expansion of (/ z t) in z 2.125 * [taylor]: Taking taylor expansion of z in z 2.125 * [backup-simplify]: Simplify 0 into 0 2.125 * [backup-simplify]: Simplify 1 into 1 2.125 * [taylor]: Taking taylor expansion of t in z 2.125 * [backup-simplify]: Simplify t into t 2.126 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.126 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 2.126 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 2.126 * [taylor]: Taking taylor expansion of (+ t a) in z 2.126 * [taylor]: Taking taylor expansion of t in z 2.126 * [backup-simplify]: Simplify t into t 2.126 * [taylor]: Taking taylor expansion of a in z 2.126 * [backup-simplify]: Simplify a into a 2.126 * [backup-simplify]: Simplify (+ t a) into (+ t a) 2.126 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 2.126 * [backup-simplify]: Simplify (+ 0 0) into 0 2.126 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 2.126 * [taylor]: Taking taylor expansion of (/ z t) in z 2.126 * [taylor]: Taking taylor expansion of z in z 2.126 * [backup-simplify]: Simplify 0 into 0 2.126 * [backup-simplify]: Simplify 1 into 1 2.126 * [taylor]: Taking taylor expansion of t in z 2.126 * [backup-simplify]: Simplify t into t 2.126 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 2.126 * [backup-simplify]: Simplify (* (sqrt (+ t a)) (/ 1 t)) into (* (sqrt (+ t a)) (/ 1 t)) 2.127 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ 1 t)) in t 2.127 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 2.127 * [taylor]: Taking taylor expansion of (+ t a) in t 2.127 * [taylor]: Taking taylor expansion of t in t 2.127 * [backup-simplify]: Simplify 0 into 0 2.127 * [backup-simplify]: Simplify 1 into 1 2.127 * [taylor]: Taking taylor expansion of a in t 2.127 * [backup-simplify]: Simplify a into a 2.127 * [backup-simplify]: Simplify (+ 0 a) into a 2.127 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 2.127 * [backup-simplify]: Simplify (+ 1 0) into 1 2.127 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 2.127 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.127 * [taylor]: Taking taylor expansion of t in t 2.127 * [backup-simplify]: Simplify 0 into 0 2.127 * [backup-simplify]: Simplify 1 into 1 2.127 * [backup-simplify]: Simplify (/ 1 1) into 1 2.127 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a) 2.128 * [taylor]: Taking taylor expansion of (sqrt a) in a 2.128 * [taylor]: Taking taylor expansion of a in a 2.128 * [backup-simplify]: Simplify 0 into 0 2.128 * [backup-simplify]: Simplify 1 into 1 2.128 * [backup-simplify]: Simplify (sqrt 0) into 0 2.129 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.129 * [backup-simplify]: Simplify 0 into 0 2.129 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 2.129 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (* 0 (/ 1 t))) into 0 2.129 * [taylor]: Taking taylor expansion of 0 in t 2.129 * [backup-simplify]: Simplify 0 into 0 2.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.130 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* (* 1/2 (sqrt (/ 1 a))) 1)) into (* 1/2 (sqrt (/ 1 a))) 2.130 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 a))) in a 2.130 * [taylor]: Taking taylor expansion of 1/2 in a 2.130 * [backup-simplify]: Simplify 1/2 into 1/2 2.130 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a 2.130 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.130 * [taylor]: Taking taylor expansion of a in a 2.130 * [backup-simplify]: Simplify 0 into 0 2.130 * [backup-simplify]: Simplify 1 into 1 2.131 * [backup-simplify]: Simplify (/ 1 1) into 1 2.131 * [backup-simplify]: Simplify (sqrt 0) into 0 2.132 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.133 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 2.133 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.133 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.133 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 2.134 * [backup-simplify]: Simplify (+ 0 0) into 0 2.134 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ t a)))) into 0 2.135 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 2.135 * [taylor]: Taking taylor expansion of 0 in t 2.135 * [backup-simplify]: Simplify 0 into 0 2.135 * [taylor]: Taking taylor expansion of 0 in a 2.135 * [backup-simplify]: Simplify 0 into 0 2.135 * [backup-simplify]: Simplify 0 into 0 2.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.136 * [backup-simplify]: Simplify (+ 0 0) into 0