0.643 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.098 * [progress]: [Phase 2 of 3] Improving. 0.099 * [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.099 * * [simplify]: Extracting # 0 : cost 0 0.099 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.099 * * [simplify]: Extracting # 4 : cost 0 0.099 * * [simplify]: Extracting # 5 : cost 0 0.099 * * [simplify]: Extracting # 6 : cost 0 0.099 * * [simplify]: Extracting # 7 : cost 0 0.099 * * [simplify]: Extracting # 8 : cost 0 0.099 * * [simplify]: Extracting # 9 : cost 0 0.099 * * [simplify]: Extracting # 10 : cost 0 0.099 * * [simplify]: Extracting # 11 : cost 0 0.099 * * [simplify]: Extracting # 12 : cost 0 0.099 * * [simplify]: Extracting # 13 : cost 0 0.099 * * [simplify]: Extracting # 14 : cost 0 0.099 * * [simplify]: Extracting # 15 : cost 0 0.099 * * [simplify]: Extracting # 16 : cost 0 0.099 * * [simplify]: Extracting # 17 : cost 0 0.100 * * [simplify]: Extracting # 18 : cost 0 0.100 * * [simplify]: Extracting # 19 : cost 0 0.100 * * [simplify]: iteration 0 : 28 enodes (cost 33 ) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.104 * * [simplify]: Extracting # 1 : cost 0 0.105 * * [simplify]: Extracting # 2 : cost 0 0.105 * * [simplify]: iteration 1 : 50 enodes (cost 33 ) 0.151 * * [simplify]: Extracting # 0 : cost 0 0.152 * * [simplify]: Extracting # 1 : cost 0 0.152 * * [simplify]: Extracting # 2 : cost 0 0.152 * * [simplify]: Extracting # 3 : cost 0 0.153 * * [simplify]: Extracting # 4 : cost 0 0.153 * * [simplify]: Extracting # 5 : cost 0 0.153 * * [simplify]: Extracting # 6 : cost 0 0.153 * * [simplify]: iteration 2 : 108 enodes (cost 32 ) 0.210 * * [simplify]: Extracting # 0 : cost 0 0.211 * * [simplify]: Extracting # 1 : cost 0 0.211 * * [simplify]: Extracting # 2 : cost 0 0.212 * * [simplify]: Extracting # 3 : cost 0 0.213 * * [simplify]: Extracting # 4 : cost 0 0.214 * * [simplify]: iteration 3 : 387 enodes (cost 32 ) 0.514 * * [simplify]: Extracting # 0 : cost 0 0.516 * * [simplify]: Extracting # 1 : cost 0 0.518 * * [simplify]: Extracting # 2 : cost 0 0.519 * * [simplify]: Extracting # 3 : cost 0 0.521 * * [simplify]: Extracting # 4 : cost 0 0.522 * * [simplify]: iteration 4 : 1604 enodes (cost 31 ) 1.647 * * [simplify]: Extracting # 0 : cost 0 1.663 * * [simplify]: Extracting # 1 : cost 0 1.669 * * [simplify]: Extracting # 2 : cost 0 1.675 * * [simplify]: Extracting # 3 : cost 0 1.681 * * [simplify]: Extracting # 4 : cost 0 1.687 * * [simplify]: iteration done: 5001 enodes (cost 31 ) 1.687 * [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.699 * * [progress]: iteration 1 / 4 1.699 * * * [progress]: picking best candidate 1.709 * * * * [pick]: Picked # 1.709 * * * [progress]: localizing error 1.763 * * * [progress]: generating rewritten candidates 1.763 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 3) 1.780 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 1.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 1.802 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 3 1) 1.837 * * * [progress]: generating series expansions 1.837 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 3) 1.837 * [backup-simplify]: Simplify (/ (* z (sqrt (+ t a))) t) into (* (sqrt (+ t a)) (/ z t)) 1.837 * [approximate]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in (z t a) around 0 1.837 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in a 1.837 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in a 1.837 * [taylor]: Taking taylor expansion of (+ t a) in a 1.838 * [taylor]: Taking taylor expansion of t in a 1.838 * [backup-simplify]: Simplify t into t 1.838 * [taylor]: Taking taylor expansion of a in a 1.838 * [backup-simplify]: Simplify 0 into 0 1.838 * [backup-simplify]: Simplify 1 into 1 1.838 * [backup-simplify]: Simplify (+ t 0) into t 1.838 * [backup-simplify]: Simplify (sqrt t) into (sqrt t) 1.838 * [backup-simplify]: Simplify (+ 0 1) into 1 1.838 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt t))) into (* 1/2 (sqrt (/ 1 t))) 1.838 * [taylor]: Taking taylor expansion of (/ z t) in a 1.838 * [taylor]: Taking taylor expansion of z in a 1.838 * [backup-simplify]: Simplify z into z 1.838 * [taylor]: Taking taylor expansion of t in a 1.838 * [backup-simplify]: Simplify t into t 1.839 * [backup-simplify]: Simplify (/ z t) into (/ z t) 1.839 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in t 1.839 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.839 * [taylor]: Taking taylor expansion of (+ t a) in t 1.839 * [taylor]: Taking taylor expansion of t in t 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify 1 into 1 1.839 * [taylor]: Taking taylor expansion of a in t 1.839 * [backup-simplify]: Simplify a into a 1.839 * [backup-simplify]: Simplify (+ 0 a) into a 1.839 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.839 * [backup-simplify]: Simplify (+ 1 0) into 1 1.839 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.839 * [taylor]: Taking taylor expansion of (/ z t) in t 1.839 * [taylor]: Taking taylor expansion of z in t 1.839 * [backup-simplify]: Simplify z into z 1.839 * [taylor]: Taking taylor expansion of t in t 1.839 * [backup-simplify]: Simplify 0 into 0 1.839 * [backup-simplify]: Simplify 1 into 1 1.839 * [backup-simplify]: Simplify (/ z 1) into z 1.839 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.839 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.839 * [taylor]: Taking taylor expansion of (+ t a) in z 1.839 * [taylor]: Taking taylor expansion of t in z 1.839 * [backup-simplify]: Simplify t into t 1.839 * [taylor]: Taking taylor expansion of a in z 1.839 * [backup-simplify]: Simplify a into a 1.839 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.839 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.840 * [backup-simplify]: Simplify (+ 0 0) into 0 1.840 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.840 * [taylor]: Taking taylor expansion of (/ z t) in z 1.840 * [taylor]: Taking taylor expansion of z in z 1.840 * [backup-simplify]: Simplify 0 into 0 1.840 * [backup-simplify]: Simplify 1 into 1 1.840 * [taylor]: Taking taylor expansion of t in z 1.840 * [backup-simplify]: Simplify t into t 1.840 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.840 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ z t)) in z 1.840 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in z 1.840 * [taylor]: Taking taylor expansion of (+ t a) in z 1.840 * [taylor]: Taking taylor expansion of t in z 1.840 * [backup-simplify]: Simplify t into t 1.840 * [taylor]: Taking taylor expansion of a in z 1.840 * [backup-simplify]: Simplify a into a 1.840 * [backup-simplify]: Simplify (+ t a) into (+ t a) 1.840 * [backup-simplify]: Simplify (sqrt (+ t a)) into (sqrt (+ t a)) 1.841 * [backup-simplify]: Simplify (+ 0 0) into 0 1.841 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ t a)))) into 0 1.841 * [taylor]: Taking taylor expansion of (/ z t) in z 1.841 * [taylor]: Taking taylor expansion of z in z 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 1 into 1 1.841 * [taylor]: Taking taylor expansion of t in z 1.841 * [backup-simplify]: Simplify t into t 1.841 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 1.841 * [backup-simplify]: Simplify (* (sqrt (+ t a)) (/ 1 t)) into (* (sqrt (+ t a)) (/ 1 t)) 1.841 * [taylor]: Taking taylor expansion of (* (sqrt (+ t a)) (/ 1 t)) in t 1.841 * [taylor]: Taking taylor expansion of (sqrt (+ t a)) in t 1.841 * [taylor]: Taking taylor expansion of (+ t a) in t 1.841 * [taylor]: Taking taylor expansion of t in t 1.841 * [backup-simplify]: Simplify 0 into 0 1.841 * [backup-simplify]: Simplify 1 into 1 1.841 * [taylor]: Taking taylor expansion of a in t 1.841 * [backup-simplify]: Simplify a into a 1.841 * [backup-simplify]: Simplify (+ 0 a) into a 1.841 * [backup-simplify]: Simplify (sqrt a) into (sqrt a) 1.841 * [backup-simplify]: Simplify (+ 1 0) into 1 1.842 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt a))) into (* 1/2 (sqrt (/ 1 a))) 1.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.842 * [taylor]: Taking taylor expansion of t in t 1.842 * [backup-simplify]: Simplify 0 into 0 1.842 * [backup-simplify]: Simplify 1 into 1 1.842 * [backup-simplify]: Simplify (/ 1 1) into 1 1.842 * [backup-simplify]: Simplify (* (sqrt a) 1) into (sqrt a) 1.842 * [taylor]: Taking taylor expansion of (sqrt a) in a 1.842 * [taylor]: Taking taylor expansion of a in a 1.842 * [backup-simplify]: Simplify 0 into 0 1.842 * [backup-simplify]: Simplify 1 into 1 1.842 * [backup-simplify]: Simplify (sqrt 0) into 0 1.843 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.843 * [backup-simplify]: Simplify 0 into 0 1.844 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 1.844 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (* 0 (/ 1 t))) into 0 1.844 * [taylor]: Taking taylor expansion of 0 in t 1.844 * [backup-simplify]: Simplify 0 into 0 1.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.844 * [backup-simplify]: Simplify (+ (* (sqrt a) 0) (* (* 1/2 (sqrt (/ 1 a))) 1)) into (* 1/2 (sqrt (/ 1 a))) 1.844 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 a))) in a 1.844 * [taylor]: Taking taylor expansion of 1/2 in a 1.844 * [backup-simplify]: Simplify 1/2 into 1/2 1.844 * [taylor]: Taking taylor expansion of (sqrt (/ 1 a)) in a 1.844 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.844 * [taylor]: Taking taylor expansion of a in a 1.845 * [backup-simplify]: Simplify 0 into 0 1.845 * [backup-simplify]: Simplify 1 into 1 1.845 * [backup-simplify]: Simplify (/ 1 1) into 1 1.845 * [backup-simplify]: Simplify (sqrt 0) into 0 1.846 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.848 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0) 1.848 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.848 * [backup-simplify]: Simplify +nan.0 into +nan.0 1.849 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 1.849 * [backup-simplify]: Simplify (+ 0 0) into 0 1.850 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ t a)))) into 0 1.850 * [backup-simplify]: Simplify (+ (* (sqrt (+ t a)) 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0 1.850 * [taylor]: Taking taylor expansion of 0 in t 1.850 * [backup-simplify]: Simplify 0 into 0 1.850 * [taylor]: Taking taylor expansion of 0 in a 1.850 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify 0 into 0 1.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.852 * [backup-simplify]: Simplify (+ 0 0) into 0