33.735 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.020 * * [simplify]: Extracting # 0 : cost 0 0.020 * * [simplify]: Extracting # 1 : cost 0 0.020 * * [simplify]: Extracting # 2 : cost 0 0.020 * * [simplify]: Extracting # 3 : cost 0 0.020 * * [simplify]: Extracting # 4 : cost 0 0.020 * * [simplify]: Extracting # 5 : cost 0 0.020 * * [simplify]: Extracting # 6 : cost 0 0.020 * * [simplify]: Extracting # 7 : cost 0 0.020 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: iteration 2 : 46 enodes (cost 33 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: iteration 3 : 119 enodes (cost 33 ) 0.130 * * [simplify]: Extracting # 0 : cost 0 0.131 * * [simplify]: Extracting # 1 : cost 0 0.131 * * [simplify]: Extracting # 2 : cost 0 0.132 * * [simplify]: iteration 4 : 313 enodes (cost 33 ) 0.426 * * [simplify]: Extracting # 0 : cost 0 0.426 * * [simplify]: Extracting # 1 : cost 0 0.427 * * [simplify]: Extracting # 2 : cost 0 0.427 * * [simplify]: Extracting # 3 : cost 0 0.428 * * [simplify]: Extracting # 4 : cost 0 0.428 * * [simplify]: iteration 5 : 564 enodes (cost 33 ) 0.743 * * [simplify]: Extracting # 0 : cost 0 0.743 * * [simplify]: Extracting # 1 : cost 0 0.744 * * [simplify]: Extracting # 2 : cost 0 0.744 * * [simplify]: iteration 6 : 766 enodes (cost 33 ) 1.137 * * [simplify]: Extracting # 0 : cost 0 1.138 * * [simplify]: Extracting # 1 : cost 0 1.138 * * [simplify]: Extracting # 2 : cost 0 1.139 * * [simplify]: Extracting # 3 : cost 0 1.140 * * [simplify]: iteration 7 : 1019 enodes (cost 33 ) 2.039 * * [simplify]: Extracting # 0 : cost 0 2.040 * * [simplify]: Extracting # 1 : cost 0 2.041 * * [simplify]: Extracting # 2 : cost 0 2.042 * * [simplify]: iteration 8 : 1447 enodes (cost 33 ) 6.158 * * [simplify]: Extracting # 0 : cost 0 6.163 * * [simplify]: Extracting # 1 : cost 0 6.172 * * [simplify]: Extracting # 2 : cost 0 6.179 * * [simplify]: iteration done: 5000 enodes (cost 33 ) 6.180 * [simplify]: Simplified to: (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 6.183 * * [progress]: iteration 1 / 4 6.183 * * * [progress]: picking best candidate 6.184 * * * * [pick]: Picked # 6.184 * * * [progress]: localizing error 6.195 * * * [progress]: generating rewritten candidates 6.196 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 6.217 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 6.245 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 6.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 6.283 * * * [progress]: generating series expansions 6.283 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 6.283 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 6.283 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 6.283 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.283 * [taylor]: Taking taylor expansion of 2.0 in t 6.283 * [backup-simplify]: Simplify 2.0 into 2.0 6.283 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.283 * [taylor]: Taking taylor expansion of t in t 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify 1 into 1 6.284 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.284 * [taylor]: Taking taylor expansion of t in t 6.284 * [backup-simplify]: Simplify 0 into 0 6.284 * [backup-simplify]: Simplify 1 into 1 6.284 * [taylor]: Taking taylor expansion of 1.0 in t 6.284 * [backup-simplify]: Simplify 1.0 into 1.0 6.285 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.285 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.285 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.285 * [taylor]: Taking taylor expansion of 2.0 in t 6.285 * [backup-simplify]: Simplify 2.0 into 2.0 6.285 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.285 * [taylor]: Taking taylor expansion of t in t 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.285 * [taylor]: Taking taylor expansion of t in t 6.285 * [backup-simplify]: Simplify 0 into 0 6.285 * [backup-simplify]: Simplify 1 into 1 6.285 * [taylor]: Taking taylor expansion of 1.0 in t 6.285 * [backup-simplify]: Simplify 1.0 into 1.0 6.286 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.286 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.287 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.287 * [backup-simplify]: Simplify 2.0 into 2.0 6.287 * [backup-simplify]: Simplify (+ 1 0) into 1 6.290 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 6.292 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.293 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.293 * [backup-simplify]: Simplify (+ 0 0) into 0 6.299 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 6.301 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.301 * [backup-simplify]: Simplify 2.0 into 2.0 6.303 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 6.303 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 6.303 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 6.303 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.303 * [taylor]: Taking taylor expansion of 2.0 in t 6.303 * [backup-simplify]: Simplify 2.0 into 2.0 6.303 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.303 * [taylor]: Taking taylor expansion of t in t 6.303 * [backup-simplify]: Simplify 0 into 0 6.303 * [backup-simplify]: Simplify 1 into 1 6.303 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.303 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.303 * [taylor]: Taking taylor expansion of t in t 6.304 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify 1 into 1 6.304 * [backup-simplify]: Simplify (/ 1 1) into 1 6.304 * [taylor]: Taking taylor expansion of 1.0 in t 6.304 * [backup-simplify]: Simplify 1.0 into 1.0 6.305 * [backup-simplify]: Simplify (+ 1 0) into 1 6.305 * [backup-simplify]: Simplify (* 0 1) into 0 6.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.306 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.307 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.307 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.307 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.307 * [taylor]: Taking taylor expansion of 2.0 in t 6.307 * [backup-simplify]: Simplify 2.0 into 2.0 6.307 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.308 * [taylor]: Taking taylor expansion of t in t 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify 1 into 1 6.308 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.308 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.308 * [taylor]: Taking taylor expansion of t in t 6.308 * [backup-simplify]: Simplify 0 into 0 6.308 * [backup-simplify]: Simplify 1 into 1 6.308 * [backup-simplify]: Simplify (/ 1 1) into 1 6.308 * [taylor]: Taking taylor expansion of 1.0 in t 6.308 * [backup-simplify]: Simplify 1.0 into 1.0 6.309 * [backup-simplify]: Simplify (+ 1 0) into 1 6.309 * [backup-simplify]: Simplify (* 0 1) into 0 6.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.310 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.311 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.311 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.312 * [backup-simplify]: Simplify 2.0 into 2.0 6.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.313 * [backup-simplify]: Simplify (+ 0 0) into 0 6.321 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 6.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 6.325 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.326 * [backup-simplify]: Simplify (+ 0 0) into 0 6.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 6.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 6.333 * [backup-simplify]: Simplify 2.0 into 2.0 6.334 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.334 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 6.334 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 6.335 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.335 * [taylor]: Taking taylor expansion of -2.0 in t 6.335 * [backup-simplify]: Simplify -2.0 into -2.0 6.335 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.335 * [taylor]: Taking taylor expansion of t in t 6.335 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify 1 into 1 6.335 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.335 * [taylor]: Taking taylor expansion of 1.0 in t 6.335 * [backup-simplify]: Simplify 1.0 into 1.0 6.335 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.335 * [taylor]: Taking taylor expansion of t in t 6.335 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify 1 into 1 6.335 * [backup-simplify]: Simplify (/ 1 1) into 1 6.336 * [backup-simplify]: Simplify (- 1) into -1 6.336 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.337 * [backup-simplify]: Simplify (* 0 -1) into 0 6.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.338 * [backup-simplify]: Simplify (- 0) into 0 6.338 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.339 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.339 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.339 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.339 * [taylor]: Taking taylor expansion of -2.0 in t 6.339 * [backup-simplify]: Simplify -2.0 into -2.0 6.340 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.340 * [taylor]: Taking taylor expansion of t in t 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.340 * [taylor]: Taking taylor expansion of 1.0 in t 6.340 * [backup-simplify]: Simplify 1.0 into 1.0 6.340 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.340 * [taylor]: Taking taylor expansion of t in t 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [backup-simplify]: Simplify (/ 1 1) into 1 6.341 * [backup-simplify]: Simplify (- 1) into -1 6.341 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.341 * [backup-simplify]: Simplify (* 0 -1) into 0 6.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.343 * [backup-simplify]: Simplify (- 0) into 0 6.343 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.344 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.344 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.344 * [backup-simplify]: Simplify 2.0 into 2.0 6.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.346 * [backup-simplify]: Simplify (- 0) into 0 6.346 * [backup-simplify]: Simplify (+ 0 0) into 0 6.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 6.350 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 6.350 * [backup-simplify]: Simplify 2.0 into 2.0 6.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.351 * [backup-simplify]: Simplify (- 0) into 0 6.351 * [backup-simplify]: Simplify (+ 0 0) into 0 6.352 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 6.354 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 6.354 * [backup-simplify]: Simplify 2.0 into 2.0 6.355 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.355 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 6.355 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 6.355 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 6.355 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.355 * [taylor]: Taking taylor expansion of 2.0 in t 6.355 * [backup-simplify]: Simplify 2.0 into 2.0 6.355 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.355 * [taylor]: Taking taylor expansion of t in t 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.355 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.355 * [taylor]: Taking taylor expansion of t in t 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.355 * [taylor]: Taking taylor expansion of 1.0 in t 6.355 * [backup-simplify]: Simplify 1.0 into 1.0 6.355 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.356 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.356 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.356 * [taylor]: Taking taylor expansion of 2.0 in t 6.356 * [backup-simplify]: Simplify 2.0 into 2.0 6.356 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.356 * [taylor]: Taking taylor expansion of t in t 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 1 into 1 6.356 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.356 * [taylor]: Taking taylor expansion of t in t 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 1 into 1 6.356 * [taylor]: Taking taylor expansion of 1.0 in t 6.356 * [backup-simplify]: Simplify 1.0 into 1.0 6.356 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.356 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.357 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.357 * [backup-simplify]: Simplify 2.0 into 2.0 6.357 * [backup-simplify]: Simplify (+ 1 0) into 1 6.359 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 6.360 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.360 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.360 * [backup-simplify]: Simplify (+ 0 0) into 0 6.363 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 6.364 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.364 * [backup-simplify]: Simplify 2.0 into 2.0 6.365 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 6.365 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 6.365 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 6.365 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.365 * [taylor]: Taking taylor expansion of 2.0 in t 6.365 * [backup-simplify]: Simplify 2.0 into 2.0 6.365 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.365 * [taylor]: Taking taylor expansion of t in t 6.365 * [backup-simplify]: Simplify 0 into 0 6.365 * [backup-simplify]: Simplify 1 into 1 6.365 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.365 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.365 * [taylor]: Taking taylor expansion of t in t 6.365 * [backup-simplify]: Simplify 0 into 0 6.365 * [backup-simplify]: Simplify 1 into 1 6.366 * [backup-simplify]: Simplify (/ 1 1) into 1 6.366 * [taylor]: Taking taylor expansion of 1.0 in t 6.366 * [backup-simplify]: Simplify 1.0 into 1.0 6.366 * [backup-simplify]: Simplify (+ 1 0) into 1 6.366 * [backup-simplify]: Simplify (* 0 1) into 0 6.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.367 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.367 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.368 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.368 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.368 * [taylor]: Taking taylor expansion of 2.0 in t 6.368 * [backup-simplify]: Simplify 2.0 into 2.0 6.368 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.368 * [taylor]: Taking taylor expansion of t in t 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.368 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.368 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.368 * [taylor]: Taking taylor expansion of t in t 6.368 * [backup-simplify]: Simplify 0 into 0 6.368 * [backup-simplify]: Simplify 1 into 1 6.368 * [backup-simplify]: Simplify (/ 1 1) into 1 6.368 * [taylor]: Taking taylor expansion of 1.0 in t 6.368 * [backup-simplify]: Simplify 1.0 into 1.0 6.368 * [backup-simplify]: Simplify (+ 1 0) into 1 6.369 * [backup-simplify]: Simplify (* 0 1) into 0 6.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.369 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.370 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.370 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.370 * [backup-simplify]: Simplify 2.0 into 2.0 6.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.371 * [backup-simplify]: Simplify (+ 0 0) into 0 6.373 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 6.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 6.375 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.376 * [backup-simplify]: Simplify (+ 0 0) into 0 6.376 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 6.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 6.379 * [backup-simplify]: Simplify 2.0 into 2.0 6.380 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.380 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 6.380 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 6.380 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.380 * [taylor]: Taking taylor expansion of -2.0 in t 6.380 * [backup-simplify]: Simplify -2.0 into -2.0 6.380 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.380 * [taylor]: Taking taylor expansion of t in t 6.380 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify 1 into 1 6.380 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.380 * [taylor]: Taking taylor expansion of 1.0 in t 6.380 * [backup-simplify]: Simplify 1.0 into 1.0 6.380 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.380 * [taylor]: Taking taylor expansion of t in t 6.380 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify 1 into 1 6.381 * [backup-simplify]: Simplify (/ 1 1) into 1 6.381 * [backup-simplify]: Simplify (- 1) into -1 6.381 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.381 * [backup-simplify]: Simplify (* 0 -1) into 0 6.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.382 * [backup-simplify]: Simplify (- 0) into 0 6.382 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.383 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.383 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.383 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.383 * [taylor]: Taking taylor expansion of -2.0 in t 6.383 * [backup-simplify]: Simplify -2.0 into -2.0 6.383 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.383 * [taylor]: Taking taylor expansion of t in t 6.383 * [backup-simplify]: Simplify 0 into 0 6.383 * [backup-simplify]: Simplify 1 into 1 6.383 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.383 * [taylor]: Taking taylor expansion of 1.0 in t 6.383 * [backup-simplify]: Simplify 1.0 into 1.0 6.383 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.383 * [taylor]: Taking taylor expansion of t in t 6.383 * [backup-simplify]: Simplify 0 into 0 6.383 * [backup-simplify]: Simplify 1 into 1 6.384 * [backup-simplify]: Simplify (/ 1 1) into 1 6.384 * [backup-simplify]: Simplify (- 1) into -1 6.385 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.385 * [backup-simplify]: Simplify (* 0 -1) into 0 6.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.386 * [backup-simplify]: Simplify (- 0) into 0 6.386 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.387 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.388 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.388 * [backup-simplify]: Simplify 2.0 into 2.0 6.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.389 * [backup-simplify]: Simplify (- 0) into 0 6.390 * [backup-simplify]: Simplify (+ 0 0) into 0 6.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 6.396 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 6.396 * [backup-simplify]: Simplify 2.0 into 2.0 6.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.398 * [backup-simplify]: Simplify (- 0) into 0 6.398 * [backup-simplify]: Simplify (+ 0 0) into 0 6.400 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 6.404 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 6.404 * [backup-simplify]: Simplify 2.0 into 2.0 6.405 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.405 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 6.405 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 6.405 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 6.405 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.405 * [taylor]: Taking taylor expansion of 2.0 in t 6.405 * [backup-simplify]: Simplify 2.0 into 2.0 6.405 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.405 * [taylor]: Taking taylor expansion of t in t 6.405 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify 1 into 1 6.405 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.405 * [taylor]: Taking taylor expansion of t in t 6.405 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify 1 into 1 6.405 * [taylor]: Taking taylor expansion of 1.0 in t 6.405 * [backup-simplify]: Simplify 1.0 into 1.0 6.406 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.406 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.407 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.407 * [taylor]: Taking taylor expansion of 2.0 in t 6.407 * [backup-simplify]: Simplify 2.0 into 2.0 6.407 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.407 * [taylor]: Taking taylor expansion of t in t 6.407 * [backup-simplify]: Simplify 0 into 0 6.407 * [backup-simplify]: Simplify 1 into 1 6.407 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.407 * [taylor]: Taking taylor expansion of t in t 6.407 * [backup-simplify]: Simplify 0 into 0 6.407 * [backup-simplify]: Simplify 1 into 1 6.407 * [taylor]: Taking taylor expansion of 1.0 in t 6.407 * [backup-simplify]: Simplify 1.0 into 1.0 6.407 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.408 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.408 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.408 * [backup-simplify]: Simplify 2.0 into 2.0 6.409 * [backup-simplify]: Simplify (+ 1 0) into 1 6.412 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 6.414 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.415 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.415 * [backup-simplify]: Simplify (+ 0 0) into 0 6.421 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 6.424 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.424 * [backup-simplify]: Simplify 2.0 into 2.0 6.425 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 6.425 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 6.425 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 6.425 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.425 * [taylor]: Taking taylor expansion of 2.0 in t 6.425 * [backup-simplify]: Simplify 2.0 into 2.0 6.425 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.425 * [taylor]: Taking taylor expansion of t in t 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify 1 into 1 6.426 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.426 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.426 * [taylor]: Taking taylor expansion of t in t 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify 1 into 1 6.426 * [backup-simplify]: Simplify (/ 1 1) into 1 6.426 * [taylor]: Taking taylor expansion of 1.0 in t 6.426 * [backup-simplify]: Simplify 1.0 into 1.0 6.427 * [backup-simplify]: Simplify (+ 1 0) into 1 6.427 * [backup-simplify]: Simplify (* 0 1) into 0 6.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.428 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.429 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.429 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.429 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.429 * [taylor]: Taking taylor expansion of 2.0 in t 6.429 * [backup-simplify]: Simplify 2.0 into 2.0 6.430 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.430 * [taylor]: Taking taylor expansion of t in t 6.430 * [backup-simplify]: Simplify 0 into 0 6.430 * [backup-simplify]: Simplify 1 into 1 6.430 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.430 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.430 * [taylor]: Taking taylor expansion of t in t 6.430 * [backup-simplify]: Simplify 0 into 0 6.430 * [backup-simplify]: Simplify 1 into 1 6.430 * [backup-simplify]: Simplify (/ 1 1) into 1 6.430 * [taylor]: Taking taylor expansion of 1.0 in t 6.430 * [backup-simplify]: Simplify 1.0 into 1.0 6.431 * [backup-simplify]: Simplify (+ 1 0) into 1 6.431 * [backup-simplify]: Simplify (* 0 1) into 0 6.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.432 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.433 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.433 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.434 * [backup-simplify]: Simplify 2.0 into 2.0 6.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.435 * [backup-simplify]: Simplify (+ 0 0) into 0 6.438 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 6.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 6.441 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.449 * [backup-simplify]: Simplify (+ 0 0) into 0 6.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 6.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 6.456 * [backup-simplify]: Simplify 2.0 into 2.0 6.456 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.457 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 6.457 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 6.457 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.457 * [taylor]: Taking taylor expansion of -2.0 in t 6.457 * [backup-simplify]: Simplify -2.0 into -2.0 6.457 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.457 * [taylor]: Taking taylor expansion of t in t 6.457 * [backup-simplify]: Simplify 0 into 0 6.457 * [backup-simplify]: Simplify 1 into 1 6.457 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.457 * [taylor]: Taking taylor expansion of 1.0 in t 6.457 * [backup-simplify]: Simplify 1.0 into 1.0 6.457 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.457 * [taylor]: Taking taylor expansion of t in t 6.457 * [backup-simplify]: Simplify 0 into 0 6.457 * [backup-simplify]: Simplify 1 into 1 6.457 * [backup-simplify]: Simplify (/ 1 1) into 1 6.457 * [backup-simplify]: Simplify (- 1) into -1 6.458 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.458 * [backup-simplify]: Simplify (* 0 -1) into 0 6.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.458 * [backup-simplify]: Simplify (- 0) into 0 6.459 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.459 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.459 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.459 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.459 * [taylor]: Taking taylor expansion of -2.0 in t 6.460 * [backup-simplify]: Simplify -2.0 into -2.0 6.460 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.460 * [taylor]: Taking taylor expansion of t in t 6.460 * [backup-simplify]: Simplify 0 into 0 6.460 * [backup-simplify]: Simplify 1 into 1 6.460 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.460 * [taylor]: Taking taylor expansion of 1.0 in t 6.460 * [backup-simplify]: Simplify 1.0 into 1.0 6.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.460 * [taylor]: Taking taylor expansion of t in t 6.460 * [backup-simplify]: Simplify 0 into 0 6.460 * [backup-simplify]: Simplify 1 into 1 6.460 * [backup-simplify]: Simplify (/ 1 1) into 1 6.460 * [backup-simplify]: Simplify (- 1) into -1 6.460 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.461 * [backup-simplify]: Simplify (* 0 -1) into 0 6.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.461 * [backup-simplify]: Simplify (- 0) into 0 6.462 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.462 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.462 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.462 * [backup-simplify]: Simplify 2.0 into 2.0 6.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.463 * [backup-simplify]: Simplify (- 0) into 0 6.463 * [backup-simplify]: Simplify (+ 0 0) into 0 6.465 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 6.467 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 6.467 * [backup-simplify]: Simplify 2.0 into 2.0 6.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.468 * [backup-simplify]: Simplify (- 0) into 0 6.468 * [backup-simplify]: Simplify (+ 0 0) into 0 6.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 6.471 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 6.471 * [backup-simplify]: Simplify 2.0 into 2.0 6.471 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.471 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 6.471 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0))) 6.471 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 6.471 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.471 * [taylor]: Taking taylor expansion of 2.0 in t 6.471 * [backup-simplify]: Simplify 2.0 into 2.0 6.471 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.471 * [taylor]: Taking taylor expansion of t in t 6.471 * [backup-simplify]: Simplify 0 into 0 6.471 * [backup-simplify]: Simplify 1 into 1 6.471 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.472 * [taylor]: Taking taylor expansion of t in t 6.472 * [backup-simplify]: Simplify 0 into 0 6.472 * [backup-simplify]: Simplify 1 into 1 6.472 * [taylor]: Taking taylor expansion of 1.0 in t 6.472 * [backup-simplify]: Simplify 1.0 into 1.0 6.472 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.472 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.472 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.472 * [taylor]: Taking taylor expansion of 2.0 in t 6.472 * [backup-simplify]: Simplify 2.0 into 2.0 6.472 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.472 * [taylor]: Taking taylor expansion of t in t 6.472 * [backup-simplify]: Simplify 0 into 0 6.472 * [backup-simplify]: Simplify 1 into 1 6.472 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.472 * [taylor]: Taking taylor expansion of t in t 6.472 * [backup-simplify]: Simplify 0 into 0 6.472 * [backup-simplify]: Simplify 1 into 1 6.472 * [taylor]: Taking taylor expansion of 1.0 in t 6.472 * [backup-simplify]: Simplify 1.0 into 1.0 6.473 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.473 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.473 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.473 * [backup-simplify]: Simplify 2.0 into 2.0 6.474 * [backup-simplify]: Simplify (+ 1 0) into 1 6.475 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0) 6.476 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.477 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.477 * [backup-simplify]: Simplify (+ 0 0) into 0 6.480 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0 6.481 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.481 * [backup-simplify]: Simplify 2.0 into 2.0 6.481 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 6.482 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0))) 6.482 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 6.482 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.482 * [taylor]: Taking taylor expansion of 2.0 in t 6.482 * [backup-simplify]: Simplify 2.0 into 2.0 6.482 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.482 * [taylor]: Taking taylor expansion of t in t 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.482 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.482 * [taylor]: Taking taylor expansion of t in t 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [backup-simplify]: Simplify (/ 1 1) into 1 6.482 * [taylor]: Taking taylor expansion of 1.0 in t 6.482 * [backup-simplify]: Simplify 1.0 into 1.0 6.482 * [backup-simplify]: Simplify (+ 1 0) into 1 6.483 * [backup-simplify]: Simplify (* 0 1) into 0 6.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.483 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.484 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.485 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.485 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.485 * [taylor]: Taking taylor expansion of 2.0 in t 6.485 * [backup-simplify]: Simplify 2.0 into 2.0 6.485 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.485 * [taylor]: Taking taylor expansion of t in t 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify 1 into 1 6.485 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.485 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.485 * [taylor]: Taking taylor expansion of t in t 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify 1 into 1 6.485 * [backup-simplify]: Simplify (/ 1 1) into 1 6.485 * [taylor]: Taking taylor expansion of 1.0 in t 6.485 * [backup-simplify]: Simplify 1.0 into 1.0 6.486 * [backup-simplify]: Simplify (+ 1 0) into 1 6.486 * [backup-simplify]: Simplify (* 0 1) into 0 6.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.487 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.488 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1 6.489 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0 6.489 * [backup-simplify]: Simplify 2.0 into 2.0 6.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.490 * [backup-simplify]: Simplify (+ 0 0) into 0 6.493 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0 6.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0) 6.497 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.498 * [backup-simplify]: Simplify (+ 0 0) into 0 6.499 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0 6.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0 6.504 * [backup-simplify]: Simplify 2.0 into 2.0 6.505 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.506 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t)))) 6.506 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 6.506 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.506 * [taylor]: Taking taylor expansion of -2.0 in t 6.506 * [backup-simplify]: Simplify -2.0 into -2.0 6.506 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.506 * [taylor]: Taking taylor expansion of t in t 6.506 * [backup-simplify]: Simplify 0 into 0 6.506 * [backup-simplify]: Simplify 1 into 1 6.506 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.506 * [taylor]: Taking taylor expansion of 1.0 in t 6.506 * [backup-simplify]: Simplify 1.0 into 1.0 6.506 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.506 * [taylor]: Taking taylor expansion of t in t 6.506 * [backup-simplify]: Simplify 0 into 0 6.506 * [backup-simplify]: Simplify 1 into 1 6.506 * [backup-simplify]: Simplify (/ 1 1) into 1 6.507 * [backup-simplify]: Simplify (- 1) into -1 6.507 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.508 * [backup-simplify]: Simplify (* 0 -1) into 0 6.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.509 * [backup-simplify]: Simplify (- 0) into 0 6.509 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.510 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.510 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.510 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.510 * [taylor]: Taking taylor expansion of -2.0 in t 6.510 * [backup-simplify]: Simplify -2.0 into -2.0 6.510 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.510 * [taylor]: Taking taylor expansion of t in t 6.511 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify 1 into 1 6.511 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.511 * [taylor]: Taking taylor expansion of 1.0 in t 6.511 * [backup-simplify]: Simplify 1.0 into 1.0 6.511 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.511 * [taylor]: Taking taylor expansion of t in t 6.511 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify 1 into 1 6.511 * [backup-simplify]: Simplify (/ 1 1) into 1 6.512 * [backup-simplify]: Simplify (- 1) into -1 6.512 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.512 * [backup-simplify]: Simplify (* 0 -1) into 0 6.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.513 * [backup-simplify]: Simplify (- 0) into 0 6.514 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.515 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1 6.515 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0 6.515 * [backup-simplify]: Simplify 2.0 into 2.0 6.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.516 * [backup-simplify]: Simplify (- 0) into 0 6.517 * [backup-simplify]: Simplify (+ 0 0) into 0 6.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0 6.523 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0 6.523 * [backup-simplify]: Simplify 2.0 into 2.0 6.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.524 * [backup-simplify]: Simplify (- 0) into 0 6.524 * [backup-simplify]: Simplify (+ 0 0) into 0 6.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0 6.530 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0 6.530 * [backup-simplify]: Simplify 2.0 into 2.0 6.530 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.531 * * * [progress]: simplifying candidates 6.534 * [simplify]: Simplifying: (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 6.537 * * [simplify]: Extracting # 0 : cost 0 6.537 * * [simplify]: Extracting # 1 : cost 0 6.537 * * [simplify]: Extracting # 2 : cost 0 6.537 * * [simplify]: Extracting # 3 : cost 0 6.537 * * [simplify]: Extracting # 4 : cost 0 6.538 * * [simplify]: Extracting # 5 : cost 0 6.538 * * [simplify]: Extracting # 6 : cost 0 6.538 * * [simplify]: Extracting # 7 : cost 0 6.538 * * [simplify]: iteration 0 : 71 enodes (cost 1316 ) 6.576 * * [simplify]: Extracting # 0 : cost 0 6.576 * * [simplify]: Extracting # 1 : cost 0 6.576 * * [simplify]: Extracting # 2 : cost 0 6.577 * * [simplify]: Extracting # 3 : cost 0 6.577 * * [simplify]: Extracting # 4 : cost 0 6.578 * * [simplify]: iteration 1 : 188 enodes (cost 1248 ) 6.707 * * [simplify]: Extracting # 0 : cost 0 6.708 * * [simplify]: Extracting # 1 : cost 0 6.709 * * [simplify]: Extracting # 2 : cost 0 6.709 * * [simplify]: Extracting # 3 : cost 0 6.710 * * [simplify]: iteration 2 : 646 enodes (cost 1060 ) 7.565 * * [simplify]: Extracting # 0 : cost 0 7.571 * * [simplify]: Extracting # 1 : cost 0 7.576 * * [simplify]: Extracting # 2 : cost 0 7.586 * * [simplify]: Extracting # 3 : cost 0 7.592 * * [simplify]: iteration 3 : 2518 enodes (cost 1056 ) 9.268 * * [simplify]: Extracting # 0 : cost 0 9.286 * * [simplify]: Extracting # 1 : cost 0 9.296 * * [simplify]: Extracting # 2 : cost 0 9.306 * * [simplify]: iteration done: 5000 enodes (cost 1048 ) 9.307 * [simplify]: Simplified to: (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (* 2.0 (- (+ (pow t 3) t) (* t t))) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (* 2.0 (- (+ (pow t 3) t) (* t t))) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (* 2.0 (- (+ (pow t 3) t) (* t t))) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (* 2.0 (- (+ (pow t 3) t) (* t t))) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) (fma (/ 1 t) (- (/ 2.0 t) 2.0) 2.0) 9.309 * * * [progress]: adding candidates to table 9.755 * [progress]: [Phase 3 of 3] Extracting. 9.758 * [simplify]: Simplifying: (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 9.759 * * [simplify]: Extracting # 0 : cost 0 9.759 * * [simplify]: Extracting # 1 : cost 0 9.759 * * [simplify]: Extracting # 2 : cost 0 9.759 * * [simplify]: Extracting # 3 : cost 0 9.759 * * [simplify]: Extracting # 4 : cost 0 9.759 * * [simplify]: Extracting # 5 : cost 0 9.759 * * [simplify]: Extracting # 6 : cost 0 9.759 * * [simplify]: Extracting # 7 : cost 0 9.759 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 9.760 * * [simplify]: Extracting # 0 : cost 0 9.760 * * [simplify]: iteration 1 : 14 enodes (cost 35 ) 9.762 * * [simplify]: Extracting # 0 : cost 0 9.762 * * [simplify]: iteration done: 14 enodes (cost 35 ) 9.762 * [simplify]: Simplified to: (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 10.690 * [regime-testing]: Baseline error score: 0.056632079009876234 10.694 * [regime-testing]: Oracle error score: 0.056632079009876234 10.694 * [regime-testing]: End program error score: 0.056632079009876234