6.889 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- (* 1.7e+308 t) 1.7e+308) 0.018 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.020 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 0.020 * * [simplify]: iteration done : 8 enodes (cost 5 ) 0.021 * [simplify]: Simplified to: (- (* 1.7e+308 t) 1.7e+308) 0.021 * * [progress]: iteration 1 / 4 0.021 * * * [progress]: picking best candidate 0.023 * * * * [pick]: Picked # 0.023 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.030 * * * [progress]: generating series expansions 0.030 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in (t) around 0 0.030 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t 0.030 * [taylor]: Taking taylor expansion of (* 1.7e+308 t) in t 0.030 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.030 * [taylor]: Taking taylor expansion of t in t 0.030 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.030 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 t) 1.7e+308) in t 0.030 * [taylor]: Taking taylor expansion of (* 1.7e+308 t) in t 0.030 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.030 * [taylor]: Taking taylor expansion of t in t 0.030 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.031 * [approximate]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in (t) around 0 0.031 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.031 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.031 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.031 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.031 * [taylor]: Taking taylor expansion of t in t 0.031 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.031 * [taylor]: Taking taylor expansion of (- (* 1.7e+308 (/ 1 t)) 1.7e+308) in t 0.031 * [taylor]: Taking taylor expansion of (* 1.7e+308 (/ 1 t)) in t 0.031 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.031 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.031 * [taylor]: Taking taylor expansion of t in t 0.031 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.032 * [approximate]: Taking taylor expansion of (neg (+ (* 1.7e+308 (/ 1 t)) 1.7e+308)) in (t) around 0 0.033 * [taylor]: Taking taylor expansion of (neg (+ (* 1.7e+308 (/ 1 t)) 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.033 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.033 * [taylor]: Taking taylor expansion of (neg (+ (* 1.7e+308 (/ 1 t)) 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.033 * [taylor]: Taking taylor expansion of 1.7e+308 in t 0.034 * * * [progress]: simplifying candidates 0.034 * [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))) (neg 1.7e+308) (- (* (* 1.7e+308 t) (* 1.7e+308 t)) (* 1.7e+308 1.7e+308)) (+ (* 1.7e+308 t) 1.7e+308) (neg 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.035 * * [simplify]: iteration 0 : 26 enodes (cost 128 ) 0.039 * * [simplify]: iteration 1 : 60 enodes (cost 125 ) 0.049 * * [simplify]: iteration 2 : 170 enodes (cost 111 ) 0.087 * * [simplify]: iteration 3 : 423 enodes (cost 109 ) 0.178 * * [simplify]: iteration 4 : 1058 enodes (cost 109 ) 0.711 * * [simplify]: iteration 5 : 3378 enodes (cost 109 ) 1.570 * * [simplify]: iteration done : 5000 enodes (cost 109 ) 1.570 * [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 (* 1.7e+308 (+ (* t t) (+ t 1)))) (neg 1.7e+308) (* 1.7e+308 (- (* t (* 1.7e+308 t)) 1.7e+308)) (+ 1.7e+308 (* 1.7e+308 t)) (neg 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.571 * * * [progress]: adding candidates to table 1.585 * [progress]: [Phase 3 of 3] Extracting. 1.587 * [simplify]: Simplifying using # : (- (* 1.7e+308 t) 1.7e+308) 1.587 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 1.588 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 1.588 * * [simplify]: iteration done : 5 enodes (cost 5 ) 1.588 * [simplify]: Simplified to: (- (* 1.7e+308 t) 1.7e+308) 2.181 * [regime-testing]: End program error score: 64.0 2.242 * [regime-testing]: Target error score: 0