9.666 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [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.027 * * [simplify]: iteration 0: 10 enodes
0.030 * * [simplify]: iteration 1: 20 enodes
0.036 * * [simplify]: iteration 2: 44 enodes
0.052 * * [simplify]: iteration 3: 123 enodes
0.099 * * [simplify]: iteration 4: 325 enodes
0.285 * * [simplify]: iteration 5: 670 enodes
0.577 * * [simplify]: iteration 6: 944 enodes
0.869 * * [simplify]: iteration 7: 1291 enodes
1.180 * * [simplify]: iteration complete: 5000 enodes
1.180 * * [simplify]: Extracting #0: cost 1 inf + 0
1.180 * * [simplify]: Extracting #1: cost 8 inf + 0
1.180 * * [simplify]: Extracting #2: cost 34 inf + 1
1.181 * * [simplify]: Extracting #3: cost 742 inf + 13
1.185 * * [simplify]: Extracting #4: cost 1348 inf + 1347
1.191 * * [simplify]: Extracting #5: cost 597 inf + 8826
1.200 * * [simplify]: Extracting #6: cost 59 inf + 13009
1.210 * * [simplify]: Extracting #7: cost 0 inf + 13286
1.221 * * [simplify]: Extracting #8: cost 0 inf + 13284
1.234 * [simplify]: Simplified to:
  (/ (+ 1.0 (* (* t 2.0) (* 2.0 (/ t (* (+ 1.0 t) (+ 1.0 t)))))) (+ (/ (* (* t (* t 2.0)) 2.0) (* (+ 1.0 t) (+ 1.0 t))) 2.0))
1.239 * * [progress]: iteration 1 / 4
1.239 * * * [progress]: picking best candidate
1.242 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 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))))))>
1.242 * * * [progress]: localizing error
1.265 * * * [progress]: generating rewritten candidates
1.265 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.292 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
1.309 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.326 * * * [progress]: generating series expansions
1.326 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1.326 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.326 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.326 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.326 * [taylor]: Taking taylor expansion of 2.0 in t
1.327 * [backup-simplify]: Simplify 2.0 into 2.0
1.327 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.327 * [taylor]: Taking taylor expansion of t in t
1.327 * [backup-simplify]: Simplify 0 into 0
1.327 * [backup-simplify]: Simplify 1 into 1
1.327 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.327 * [taylor]: Taking taylor expansion of t in t
1.327 * [backup-simplify]: Simplify 0 into 0
1.327 * [backup-simplify]: Simplify 1 into 1
1.327 * [taylor]: Taking taylor expansion of 1.0 in t
1.327 * [backup-simplify]: Simplify 1.0 into 1.0
1.327 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.328 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.328 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.328 * [taylor]: Taking taylor expansion of 2.0 in t
1.328 * [backup-simplify]: Simplify 2.0 into 2.0
1.328 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.328 * [taylor]: Taking taylor expansion of t in t
1.328 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify 1 into 1
1.328 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.328 * [taylor]: Taking taylor expansion of t in t
1.328 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify 1 into 1
1.328 * [taylor]: Taking taylor expansion of 1.0 in t
1.328 * [backup-simplify]: Simplify 1.0 into 1.0
1.328 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.329 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.329 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.329 * [backup-simplify]: Simplify 2.0 into 2.0
1.329 * [backup-simplify]: Simplify (+ 1 0) into 1
1.331 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.333 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.333 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.333 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.337 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.337 * [backup-simplify]: Simplify 2.0 into 2.0
1.338 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.338 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.338 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.338 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.338 * [taylor]: Taking taylor expansion of 2.0 in t
1.338 * [backup-simplify]: Simplify 2.0 into 2.0
1.338 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.338 * [taylor]: Taking taylor expansion of t in t
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.338 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.338 * [taylor]: Taking taylor expansion of t in t
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.338 * [backup-simplify]: Simplify (/ 1 1) into 1
1.338 * [taylor]: Taking taylor expansion of 1.0 in t
1.338 * [backup-simplify]: Simplify 1.0 into 1.0
1.339 * [backup-simplify]: Simplify (+ 1 0) into 1
1.339 * [backup-simplify]: Simplify (* 0 1) into 0
1.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.340 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.340 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.340 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.340 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.340 * [taylor]: Taking taylor expansion of 2.0 in t
1.341 * [backup-simplify]: Simplify 2.0 into 2.0
1.341 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.341 * [taylor]: Taking taylor expansion of t in t
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.341 * [taylor]: Taking taylor expansion of t in t
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (/ 1 1) into 1
1.341 * [taylor]: Taking taylor expansion of 1.0 in t
1.341 * [backup-simplify]: Simplify 1.0 into 1.0
1.341 * [backup-simplify]: Simplify (+ 1 0) into 1
1.341 * [backup-simplify]: Simplify (* 0 1) into 0
1.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.343 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.343 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.343 * [backup-simplify]: Simplify 2.0 into 2.0
1.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify (+ 0 0) into 0
1.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.347 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify (+ 0 0) into 0
1.350 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.355 * [backup-simplify]: Simplify 2.0 into 2.0
1.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)))
1.356 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.356 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.356 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.356 * [taylor]: Taking taylor expansion of -2.0 in t
1.356 * [backup-simplify]: Simplify -2.0 into -2.0
1.356 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify 1 into 1
1.356 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.356 * [taylor]: Taking taylor expansion of 1.0 in t
1.356 * [backup-simplify]: Simplify 1.0 into 1.0
1.356 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.356 * [taylor]: Taking taylor expansion of t in t
1.356 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify 1 into 1
1.357 * [backup-simplify]: Simplify (/ 1 1) into 1
1.357 * [backup-simplify]: Simplify (- 1) into -1
1.357 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.358 * [backup-simplify]: Simplify (* 0 -1) into 0
1.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.359 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.360 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.360 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.360 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.360 * [taylor]: Taking taylor expansion of -2.0 in t
1.361 * [backup-simplify]: Simplify -2.0 into -2.0
1.361 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.361 * [taylor]: Taking taylor expansion of t in t
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.361 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.361 * [taylor]: Taking taylor expansion of 1.0 in t
1.361 * [backup-simplify]: Simplify 1.0 into 1.0
1.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.361 * [taylor]: Taking taylor expansion of t in t
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.361 * [backup-simplify]: Simplify (/ 1 1) into 1
1.361 * [backup-simplify]: Simplify (- 1) into -1
1.362 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.362 * [backup-simplify]: Simplify (* 0 -1) into 0
1.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.363 * [backup-simplify]: Simplify (- 0) into 0
1.364 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.365 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.365 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.365 * [backup-simplify]: Simplify 2.0 into 2.0
1.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.366 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (+ 0 0) into 0
1.370 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.373 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.373 * [backup-simplify]: Simplify 2.0 into 2.0
1.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.374 * [backup-simplify]: Simplify (- 0) into 0
1.374 * [backup-simplify]: Simplify (+ 0 0) into 0
1.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
1.380 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
1.380 * [backup-simplify]: Simplify 2.0 into 2.0
1.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)))
1.380 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.380 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.380 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.380 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.380 * [taylor]: Taking taylor expansion of 2.0 in t
1.380 * [backup-simplify]: Simplify 2.0 into 2.0
1.380 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.380 * [taylor]: Taking taylor expansion of t in t
1.381 * [backup-simplify]: Simplify 0 into 0
1.381 * [backup-simplify]: Simplify 1 into 1
1.381 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.381 * [taylor]: Taking taylor expansion of t in t
1.381 * [backup-simplify]: Simplify 0 into 0
1.381 * [backup-simplify]: Simplify 1 into 1
1.381 * [taylor]: Taking taylor expansion of 1.0 in t
1.381 * [backup-simplify]: Simplify 1.0 into 1.0
1.381 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.382 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.382 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.382 * [taylor]: Taking taylor expansion of 2.0 in t
1.382 * [backup-simplify]: Simplify 2.0 into 2.0
1.382 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.382 * [taylor]: Taking taylor expansion of t in t
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify 1 into 1
1.382 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.382 * [taylor]: Taking taylor expansion of t in t
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify 1 into 1
1.382 * [taylor]: Taking taylor expansion of 1.0 in t
1.382 * [backup-simplify]: Simplify 1.0 into 1.0
1.382 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.383 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.383 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.383 * [backup-simplify]: Simplify 2.0 into 2.0
1.384 * [backup-simplify]: Simplify (+ 1 0) into 1
1.386 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.388 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.388 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.389 * [backup-simplify]: Simplify (+ 0 0) into 0
1.394 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.402 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.402 * [backup-simplify]: Simplify 2.0 into 2.0
1.403 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.403 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.403 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.403 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.403 * [taylor]: Taking taylor expansion of 2.0 in t
1.403 * [backup-simplify]: Simplify 2.0 into 2.0
1.403 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.403 * [taylor]: Taking taylor expansion of t in t
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 1 into 1
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.403 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.403 * [taylor]: Taking taylor expansion of t in t
1.403 * [backup-simplify]: Simplify 0 into 0
1.403 * [backup-simplify]: Simplify 1 into 1
1.404 * [backup-simplify]: Simplify (/ 1 1) into 1
1.404 * [taylor]: Taking taylor expansion of 1.0 in t
1.404 * [backup-simplify]: Simplify 1.0 into 1.0
1.404 * [backup-simplify]: Simplify (+ 1 0) into 1
1.405 * [backup-simplify]: Simplify (* 0 1) into 0
1.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.406 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.406 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.407 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.407 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.407 * [taylor]: Taking taylor expansion of 2.0 in t
1.407 * [backup-simplify]: Simplify 2.0 into 2.0
1.407 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.407 * [taylor]: Taking taylor expansion of t in t
1.407 * [backup-simplify]: Simplify 0 into 0
1.407 * [backup-simplify]: Simplify 1 into 1
1.407 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.407 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.407 * [taylor]: Taking taylor expansion of t in t
1.407 * [backup-simplify]: Simplify 0 into 0
1.407 * [backup-simplify]: Simplify 1 into 1
1.407 * [backup-simplify]: Simplify (/ 1 1) into 1
1.408 * [taylor]: Taking taylor expansion of 1.0 in t
1.408 * [backup-simplify]: Simplify 1.0 into 1.0
1.408 * [backup-simplify]: Simplify (+ 1 0) into 1
1.408 * [backup-simplify]: Simplify (* 0 1) into 0
1.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.409 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.410 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.410 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.411 * [backup-simplify]: Simplify 2.0 into 2.0
1.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.412 * [backup-simplify]: Simplify (+ 0 0) into 0
1.414 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.417 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.418 * [backup-simplify]: Simplify (+ 0 0) into 0
1.419 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.424 * [backup-simplify]: Simplify 2.0 into 2.0
1.425 * [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)))
1.425 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.425 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.425 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.425 * [taylor]: Taking taylor expansion of -2.0 in t
1.425 * [backup-simplify]: Simplify -2.0 into -2.0
1.425 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.425 * [taylor]: Taking taylor expansion of t in t
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.425 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.425 * [taylor]: Taking taylor expansion of 1.0 in t
1.425 * [backup-simplify]: Simplify 1.0 into 1.0
1.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.425 * [taylor]: Taking taylor expansion of t in t
1.425 * [backup-simplify]: Simplify 0 into 0
1.425 * [backup-simplify]: Simplify 1 into 1
1.425 * [backup-simplify]: Simplify (/ 1 1) into 1
1.426 * [backup-simplify]: Simplify (- 1) into -1
1.426 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.427 * [backup-simplify]: Simplify (* 0 -1) into 0
1.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.428 * [backup-simplify]: Simplify (- 0) into 0
1.428 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.429 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.429 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.429 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.429 * [taylor]: Taking taylor expansion of -2.0 in t
1.429 * [backup-simplify]: Simplify -2.0 into -2.0
1.429 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.430 * [taylor]: Taking taylor expansion of t in t
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 1 into 1
1.430 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.430 * [taylor]: Taking taylor expansion of 1.0 in t
1.430 * [backup-simplify]: Simplify 1.0 into 1.0
1.430 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.430 * [taylor]: Taking taylor expansion of t in t
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 1 into 1
1.430 * [backup-simplify]: Simplify (/ 1 1) into 1
1.430 * [backup-simplify]: Simplify (- 1) into -1
1.431 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.431 * [backup-simplify]: Simplify (* 0 -1) into 0
1.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.432 * [backup-simplify]: Simplify (- 0) into 0
1.433 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.434 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.434 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.434 * [backup-simplify]: Simplify 2.0 into 2.0
1.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.435 * [backup-simplify]: Simplify (- 0) into 0
1.436 * [backup-simplify]: Simplify (+ 0 0) into 0
1.439 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.442 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.442 * [backup-simplify]: Simplify 2.0 into 2.0
1.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.443 * [backup-simplify]: Simplify (- 0) into 0
1.444 * [backup-simplify]: Simplify (+ 0 0) into 0
1.445 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
1.450 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
1.450 * [backup-simplify]: Simplify 2.0 into 2.0
1.450 * [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)))
1.450 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.450 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.450 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.450 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.450 * [taylor]: Taking taylor expansion of 2.0 in t
1.450 * [backup-simplify]: Simplify 2.0 into 2.0
1.451 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.451 * [taylor]: Taking taylor expansion of t in t
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 1 into 1
1.451 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.451 * [taylor]: Taking taylor expansion of t in t
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify 1 into 1
1.451 * [taylor]: Taking taylor expansion of 1.0 in t
1.451 * [backup-simplify]: Simplify 1.0 into 1.0
1.451 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.452 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.452 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.452 * [taylor]: Taking taylor expansion of 2.0 in t
1.452 * [backup-simplify]: Simplify 2.0 into 2.0
1.452 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.452 * [taylor]: Taking taylor expansion of t in t
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 1 into 1
1.452 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.452 * [taylor]: Taking taylor expansion of t in t
1.452 * [backup-simplify]: Simplify 0 into 0
1.452 * [backup-simplify]: Simplify 1 into 1
1.452 * [taylor]: Taking taylor expansion of 1.0 in t
1.452 * [backup-simplify]: Simplify 1.0 into 1.0
1.452 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.452 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.453 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.453 * [backup-simplify]: Simplify 2.0 into 2.0
1.453 * [backup-simplify]: Simplify (+ 1 0) into 1
1.455 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.456 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.456 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.456 * [backup-simplify]: Simplify (+ 0 0) into 0
1.459 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.460 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.460 * [backup-simplify]: Simplify 2.0 into 2.0
1.461 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.461 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.461 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.461 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.461 * [taylor]: Taking taylor expansion of 2.0 in t
1.461 * [backup-simplify]: Simplify 2.0 into 2.0
1.461 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.461 * [taylor]: Taking taylor expansion of t in t
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 1 into 1
1.461 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.461 * [taylor]: Taking taylor expansion of t in t
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 1 into 1
1.462 * [backup-simplify]: Simplify (/ 1 1) into 1
1.462 * [taylor]: Taking taylor expansion of 1.0 in t
1.462 * [backup-simplify]: Simplify 1.0 into 1.0
1.462 * [backup-simplify]: Simplify (+ 1 0) into 1
1.462 * [backup-simplify]: Simplify (* 0 1) into 0
1.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.463 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.463 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.464 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.464 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.464 * [taylor]: Taking taylor expansion of 2.0 in t
1.464 * [backup-simplify]: Simplify 2.0 into 2.0
1.464 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.464 * [taylor]: Taking taylor expansion of t in t
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify 1 into 1
1.464 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.464 * [taylor]: Taking taylor expansion of t in t
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify 1 into 1
1.464 * [backup-simplify]: Simplify (/ 1 1) into 1
1.464 * [taylor]: Taking taylor expansion of 1.0 in t
1.464 * [backup-simplify]: Simplify 1.0 into 1.0
1.464 * [backup-simplify]: Simplify (+ 1 0) into 1
1.465 * [backup-simplify]: Simplify (* 0 1) into 0
1.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.465 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.466 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.466 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.466 * [backup-simplify]: Simplify 2.0 into 2.0
1.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.467 * [backup-simplify]: Simplify (+ 0 0) into 0
1.469 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.471 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.472 * [backup-simplify]: Simplify (+ 0 0) into 0
1.472 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.475 * [backup-simplify]: Simplify 2.0 into 2.0
1.476 * [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)))
1.476 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.476 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.476 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.476 * [taylor]: Taking taylor expansion of -2.0 in t
1.476 * [backup-simplify]: Simplify -2.0 into -2.0
1.476 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.476 * [taylor]: Taking taylor expansion of t in t
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify 1 into 1
1.476 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.476 * [taylor]: Taking taylor expansion of 1.0 in t
1.476 * [backup-simplify]: Simplify 1.0 into 1.0
1.476 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.476 * [taylor]: Taking taylor expansion of t in t
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify 1 into 1
1.476 * [backup-simplify]: Simplify (/ 1 1) into 1
1.476 * [backup-simplify]: Simplify (- 1) into -1
1.477 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.477 * [backup-simplify]: Simplify (* 0 -1) into 0
1.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.478 * [backup-simplify]: Simplify (- 0) into 0
1.478 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.478 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.479 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.479 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.479 * [taylor]: Taking taylor expansion of -2.0 in t
1.479 * [backup-simplify]: Simplify -2.0 into -2.0
1.479 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.479 * [taylor]: Taking taylor expansion of t in t
1.479 * [backup-simplify]: Simplify 0 into 0
1.479 * [backup-simplify]: Simplify 1 into 1
1.479 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.479 * [taylor]: Taking taylor expansion of 1.0 in t
1.479 * [backup-simplify]: Simplify 1.0 into 1.0
1.479 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.479 * [taylor]: Taking taylor expansion of t in t
1.479 * [backup-simplify]: Simplify 0 into 0
1.479 * [backup-simplify]: Simplify 1 into 1
1.479 * [backup-simplify]: Simplify (/ 1 1) into 1
1.479 * [backup-simplify]: Simplify (- 1) into -1
1.480 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.480 * [backup-simplify]: Simplify (* 0 -1) into 0
1.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.481 * [backup-simplify]: Simplify (- 0) into 0
1.481 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.481 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.482 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.482 * [backup-simplify]: Simplify 2.0 into 2.0
1.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.482 * [backup-simplify]: Simplify (- 0) into 0
1.483 * [backup-simplify]: Simplify (+ 0 0) into 0
1.484 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.486 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.486 * [backup-simplify]: Simplify 2.0 into 2.0
1.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.487 * [backup-simplify]: Simplify (- 0) into 0
1.487 * [backup-simplify]: Simplify (+ 0 0) into 0
1.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
1.491 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
1.491 * [backup-simplify]: Simplify 2.0 into 2.0
1.491 * [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)))
1.491 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.491 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.491 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.491 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.491 * [taylor]: Taking taylor expansion of 2.0 in t
1.491 * [backup-simplify]: Simplify 2.0 into 2.0
1.491 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.491 * [taylor]: Taking taylor expansion of t in t
1.491 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify 1 into 1
1.491 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.491 * [taylor]: Taking taylor expansion of t in t
1.491 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify 1 into 1
1.491 * [taylor]: Taking taylor expansion of 1.0 in t
1.491 * [backup-simplify]: Simplify 1.0 into 1.0
1.492 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.492 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.492 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.492 * [taylor]: Taking taylor expansion of 2.0 in t
1.492 * [backup-simplify]: Simplify 2.0 into 2.0
1.492 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.492 * [taylor]: Taking taylor expansion of t in t
1.492 * [backup-simplify]: Simplify 0 into 0
1.492 * [backup-simplify]: Simplify 1 into 1
1.492 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.492 * [taylor]: Taking taylor expansion of t in t
1.492 * [backup-simplify]: Simplify 0 into 0
1.492 * [backup-simplify]: Simplify 1 into 1
1.492 * [taylor]: Taking taylor expansion of 1.0 in t
1.492 * [backup-simplify]: Simplify 1.0 into 1.0
1.492 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.493 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.493 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.493 * [backup-simplify]: Simplify 2.0 into 2.0
1.493 * [backup-simplify]: Simplify (+ 1 0) into 1
1.495 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.497 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.497 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.497 * [backup-simplify]: Simplify (+ 0 0) into 0
1.502 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.504 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.504 * [backup-simplify]: Simplify 2.0 into 2.0
1.505 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.506 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.506 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.506 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.506 * [taylor]: Taking taylor expansion of 2.0 in t
1.506 * [backup-simplify]: Simplify 2.0 into 2.0
1.506 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.506 * [taylor]: Taking taylor expansion of t in t
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 1 into 1
1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.506 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.506 * [taylor]: Taking taylor expansion of t in t
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 1 into 1
1.506 * [backup-simplify]: Simplify (/ 1 1) into 1
1.506 * [taylor]: Taking taylor expansion of 1.0 in t
1.506 * [backup-simplify]: Simplify 1.0 into 1.0
1.507 * [backup-simplify]: Simplify (+ 1 0) into 1
1.513 * [backup-simplify]: Simplify (* 0 1) into 0
1.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.515 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.516 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.516 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.516 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.516 * [taylor]: Taking taylor expansion of 2.0 in t
1.516 * [backup-simplify]: Simplify 2.0 into 2.0
1.516 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.516 * [taylor]: Taking taylor expansion of t in t
1.516 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify 1 into 1
1.517 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.517 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.517 * [taylor]: Taking taylor expansion of t in t
1.517 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify 1 into 1
1.517 * [backup-simplify]: Simplify (/ 1 1) into 1
1.517 * [taylor]: Taking taylor expansion of 1.0 in t
1.517 * [backup-simplify]: Simplify 1.0 into 1.0
1.518 * [backup-simplify]: Simplify (+ 1 0) into 1
1.518 * [backup-simplify]: Simplify (* 0 1) into 0
1.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.519 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.520 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.521 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.521 * [backup-simplify]: Simplify 2.0 into 2.0
1.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.522 * [backup-simplify]: Simplify (+ 0 0) into 0
1.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.528 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.530 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.538 * [backup-simplify]: Simplify 2.0 into 2.0
1.539 * [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)))
1.539 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.539 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.539 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.539 * [taylor]: Taking taylor expansion of -2.0 in t
1.539 * [backup-simplify]: Simplify -2.0 into -2.0
1.539 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.539 * [taylor]: Taking taylor expansion of t in t
1.539 * [backup-simplify]: Simplify 0 into 0
1.540 * [backup-simplify]: Simplify 1 into 1
1.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.540 * [taylor]: Taking taylor expansion of 1.0 in t
1.540 * [backup-simplify]: Simplify 1.0 into 1.0
1.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.540 * [taylor]: Taking taylor expansion of t in t
1.540 * [backup-simplify]: Simplify 0 into 0
1.540 * [backup-simplify]: Simplify 1 into 1
1.541 * [backup-simplify]: Simplify (/ 1 1) into 1
1.541 * [backup-simplify]: Simplify (- 1) into -1
1.542 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.542 * [backup-simplify]: Simplify (* 0 -1) into 0
1.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.544 * [backup-simplify]: Simplify (- 0) into 0
1.544 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.545 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.545 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.545 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.545 * [taylor]: Taking taylor expansion of -2.0 in t
1.545 * [backup-simplify]: Simplify -2.0 into -2.0
1.546 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.546 * [taylor]: Taking taylor expansion of t in t
1.546 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify 1 into 1
1.546 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.546 * [taylor]: Taking taylor expansion of 1.0 in t
1.546 * [backup-simplify]: Simplify 1.0 into 1.0
1.546 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.546 * [taylor]: Taking taylor expansion of t in t
1.546 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify 1 into 1
1.546 * [backup-simplify]: Simplify (/ 1 1) into 1
1.547 * [backup-simplify]: Simplify (- 1) into -1
1.547 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.548 * [backup-simplify]: Simplify (* 0 -1) into 0
1.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.549 * [backup-simplify]: Simplify (- 0) into 0
1.549 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.550 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.551 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.551 * [backup-simplify]: Simplify 2.0 into 2.0
1.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.552 * [backup-simplify]: Simplify (- 0) into 0
1.552 * [backup-simplify]: Simplify (+ 0 0) into 0
1.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.558 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.558 * [backup-simplify]: Simplify 2.0 into 2.0
1.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.560 * [backup-simplify]: Simplify (- 0) into 0
1.560 * [backup-simplify]: Simplify (+ 0 0) into 0
1.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
1.566 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
1.566 * [backup-simplify]: Simplify 2.0 into 2.0
1.567 * [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)))
1.567 * * * [progress]: simplifying candidates
1.570 * [simplify]: Simplifying:
  (- (+ (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)))
  (- (+ (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)))
  (- (+ (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)))
  (- (+ (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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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)))
1.572 * * [simplify]: iteration 0: 69 enodes
1.606 * * [simplify]: iteration 1: 195 enodes
1.795 * * [simplify]: iteration 2: 1110 enodes
2.284 * * [simplify]: iteration complete: 5000 enodes
2.285 * * [simplify]: Extracting #0: cost 25 inf + 0
2.287 * * [simplify]: Extracting #1: cost 836 inf + 1
2.292 * * [simplify]: Extracting #2: cost 2280 inf + 48
2.300 * * [simplify]: Extracting #3: cost 2108 inf + 2398
2.308 * * [simplify]: Extracting #4: cost 474 inf + 15022
2.316 * * [simplify]: Extracting #5: cost 58 inf + 19250
2.329 * * [simplify]: Extracting #6: cost 0 inf + 19888
2.347 * [simplify]: Simplified to:
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (exp (/ (* t 2.0) (+ 1.0 t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (* (cbrt (/ (* t 2.0) (+ 1.0 t))) (cbrt (/ (* t 2.0) (+ 1.0 t))))
  (cbrt (/ (* t 2.0) (+ 1.0 t)))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (* (- t) 2.0)
  (- (+ 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) (* t 2.0))
  (/ (* t 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ 2.0 (/ (sqrt (+ 1.0 t)) t))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ (* t 2.0) (+ (pow 1.0 3) (pow t 3)))
  (* (/ 2.0 (+ 1.0 t)) (/ t (- 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (exp (/ (* t 2.0) (+ 1.0 t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (* (cbrt (/ (* t 2.0) (+ 1.0 t))) (cbrt (/ (* t 2.0) (+ 1.0 t))))
  (cbrt (/ (* t 2.0) (+ 1.0 t)))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (* (- t) 2.0)
  (- (+ 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) (* t 2.0))
  (/ (* t 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ 2.0 (/ (sqrt (+ 1.0 t)) t))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ (* t 2.0) (+ (pow 1.0 3) (pow t 3)))
  (* (/ 2.0 (+ 1.0 t)) (/ t (- 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (exp (/ (* t 2.0) (+ 1.0 t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (* (cbrt (/ (* t 2.0) (+ 1.0 t))) (cbrt (/ (* t 2.0) (+ 1.0 t))))
  (cbrt (/ (* t 2.0) (+ 1.0 t)))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (* (- t) 2.0)
  (- (+ 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) (* t 2.0))
  (/ (* t 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ 2.0 (/ (sqrt (+ 1.0 t)) t))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ (* t 2.0) (+ (pow 1.0 3) (pow t 3)))
  (* (/ 2.0 (+ 1.0 t)) (/ t (- 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (log (/ (* t 2.0) (+ 1.0 t)))
  (exp (/ (* t 2.0) (+ 1.0 t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (* (cbrt (/ (* t 2.0) (+ 1.0 t))) (cbrt (/ (* t 2.0) (+ 1.0 t))))
  (cbrt (/ (* t 2.0) (+ 1.0 t)))
  (pow (/ (* t 2.0) (+ 1.0 t)) 3)
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (sqrt (/ (* t 2.0) (+ 1.0 t)))
  (* (- t) 2.0)
  (- (+ 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) (* t 2.0))
  (/ (* t 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ 2.0 (/ (sqrt (+ 1.0 t)) t))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ (* t 2.0) (+ (pow 1.0 3) (pow t 3)))
  (* (/ 2.0 (+ 1.0 t)) (/ t (- 1.0 t)))
  (- (* 2.0 (+ (pow t 3) t)) (* 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (- (* 2.0 (+ (pow t 3) t)) (* 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (- (* 2.0 (+ (pow t 3) t)) (* 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (- (* 2.0 (+ (pow t 3) t)) (* 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t)))
2.349 * * * [progress]: adding candidates to table
2.972 * [progress]: [Phase 3 of 3] Extracting.
2.975 * [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)))))
2.975 * * [simplify]: iteration 0: 10 enodes
2.975 * * [simplify]: iteration 1: 14 enodes
2.976 * * [simplify]: iteration complete: 14 enodes
2.976 * * [simplify]: Extracting #0: cost 1 inf + 0
2.976 * * [simplify]: Extracting #1: cost 3 inf + 0
2.976 * * [simplify]: Extracting #2: cost 6 inf + 0
2.976 * * [simplify]: Extracting #3: cost 5 inf + 2
2.976 * * [simplify]: Extracting #4: cost 7 inf + 2
2.976 * * [simplify]: Extracting #5: cost 8 inf + 2
2.976 * * [simplify]: Extracting #6: cost 0 inf + 100
2.976 * [simplify]: Simplified to:
  (/ (+ 1.0 (* (/ (* t 2.0) (+ 1.0 t)) (/ (* t 2.0) (+ 1.0 t)))) (+ 2.0 (* (/ (* t 2.0) (+ 1.0 t)) (/ (* t 2.0) (+ 1.0 t)))))
4.277 * [regime-testing]: Baseline error score: 0.04113014126765846
4.293 * [regime-testing]: Oracle error score: 0.04113014126765846
4.293 * [regime-testing]: End program error score: 0.04113014126765846