19.477 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.013 * [progress]: [Phase 2 of 3] Improving. 0.013 * [simplify]: Simplifying using # : (- (* 1.7e+308 t) 1.7e+308) 0.014 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.014 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.015 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.016 * * [simplify]: iteration done : 8 enodes (cost 5 ) 0.016 * [simplify]: Simplified to: (- (* 1.7e+308 t) 1.7e+308) 0.016 * * [progress]: iteration 1 / 4 0.016 * * * [progress]: picking best candidate 0.017 * * * * [pick]: Picked # 0.017 * * * [progress]: localizing error 0.020 * * * [progress]: generating rewritten candidates 0.020 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.023 * * * [progress]: generating series expansions 0.023 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.023 * [approximate]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in (t) around 0 0.023 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t 0.023 * [taylor]: Taking taylor expansion of (* 1.7e+308 t) in t 0.023 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.023 * [taylor]: Taking taylor expansion of t in t 0.023 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.023 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t 0.023 * [taylor]: Taking taylor expansion of (* 1.7e+308 t) in t 0.023 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.023 * [taylor]: Taking taylor expansion of t in t 0.023 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.033 * [approximate]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in (t) around 0 0.033 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.033 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.033 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.033 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.033 * [taylor]: Taking taylor expansion of t in t 0.033 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.033 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.033 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.033 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.033 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.033 * [taylor]: Taking taylor expansion of t in t 0.034 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.049 * [approximate]: Taking taylor expansion of (- (+ (* 1.7e+308 (/ 1 t)) 1.7e+308)) in (t) around 0 0.049 * [taylor]: Taking taylor expansion of (- (+ (* 1.7e+308 (/ 1 t)) 1.7e+308)) in t 0.049 * [taylor]: Taking taylor expansion of (+ (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.049 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.049 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.049 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.050 * [taylor]: Taking taylor expansion of t in t 0.050 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.050 * [taylor]: Taking taylor expansion of (- (+ (* 1.7e+308 (/ 1 t)) 1.7e+308)) in t 0.050 * [taylor]: Taking taylor expansion of (+ (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.050 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.050 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.050 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.050 * [taylor]: Taking taylor expansion of t in t 0.050 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.063 * * * [progress]: simplifying candidates 0.063 * [simplify]: Simplifying using # : (/ (exp (* 1.7e+308 t)) (exp 1.7e+308)) (log (- (* 1.7e+308 t) 1.7e+308)) (exp (- (* 1.7e+308 t) 1.7e+308)) (* (cbrt (- (* 1.7e+308 t) 1.7e+308)) (cbrt (- (* 1.7e+308 t) 1.7e+308))) (cbrt (- (* 1.7e+308 t) 1.7e+308)) (* (* (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308)) (- (* 1.7e+308 t) 1.7e+308)) (sqrt (- (* 1.7e+308 t) 1.7e+308)) (sqrt (- (* 1.7e+308 t) 1.7e+308)) (- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3)) (+ (* (* 1.7e+308 t) (* 1.7e+308 t)) (+ (* 1.7e+308 1.7e+308) (* (* 1.7e+308 t) 1.7e+308))) (- 1.7e+308) (- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308)) (+ (* 1.7e+308 t) 1.7e+308) (- 1.7e+308) (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308) (- (* 1.7e+308 t) 1.7e+308) 0.064 * * [simplify]: iteration 0 : 26 enodes (cost 128 ) 0.068 * * [simplify]: iteration 1 : 60 enodes (cost 125 ) 0.078 * * [simplify]: iteration 2 : 166 enodes (cost 111 ) 0.116 * * [simplify]: iteration 3 : 414 enodes (cost 109 ) 0.222 * * [simplify]: iteration 4 : 1006 enodes (cost 109 ) 0.694 * * [simplify]: iteration 5 : 3232 enodes (cost 109 ) 2.165 * * [simplify]: iteration done : 5001 enodes (cost 109 ) 2.165 * [simplify]: Simplified to: (exp (- (* 1.7e+308 t) 1.7e+308)) (log (- (* 1.7e+308 t) 1.7e+308)) (exp (- (* 1.7e+308 t) 1.7e+308)) (* (cbrt (- (* 1.7e+308 t) 1.7e+308)) (cbrt (- (* 1.7e+308 t) 1.7e+308))) (cbrt (- (* 1.7e+308 t) 1.7e+308)) (pow (- (* 1.7e+308 t) 1.7e+308) 3) (sqrt (- (* 1.7e+308 t) 1.7e+308)) (sqrt (- (* 1.7e+308 t) 1.7e+308)) (- (pow (* 1.7e+308 t) 3) (pow 1.7e+308 3)) (* (* 1.7e+308 (+ (+ t 1) (* t t))) 1.7e+308) (- 1.7e+308) (* 1.7e+308 (- (* t (* 1.7e+308 t)) 1.7e+308)) (+ (* 1.7e+308 t) 1.7e+308) (- 1.7e+308) (- (* t 1.7e+308) 1.7e+308) (- (* t 1.7e+308) 1.7e+308) (- (* t 1.7e+308) 1.7e+308) 2.165 * * * [progress]: adding candidates to table 2.197 * [progress]: [Phase 3 of 3] Extracting. 2.198 * [simplify]: Simplifying using # : (- (* 1.7e+308 t) 1.7e+308) 2.198 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 2.199 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 2.199 * * [simplify]: iteration done : 5 enodes (cost 5 ) 2.199 * [simplify]: Simplified to: (- (* 1.7e+308 t) 1.7e+308) 2.566 * [regime-testing]: End program error score: 64.0 2.595 * [regime-testing]: Target error score: 0