30.316 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: Extracting # 4 : cost  0
0.035 * * [simplify]: Extracting # 5 : cost  0
0.035 * * [simplify]: Extracting # 6 : cost  0
0.035 * * [simplify]: Extracting # 7 : cost  0
0.035 * * [simplify]: Extracting # 8 : cost  0
0.035 * * [simplify]: iteration  0 :  12  enodes  (cost  51 )
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: iteration  1 :  19  enodes  (cost  51 )
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  2 :  33  enodes  (cost  51 )
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 :  88  enodes  (cost  51 )
0.097 * * [simplify]: Extracting # 0 : cost  0
0.097 * * [simplify]: Extracting # 1 : cost  0
0.098 * * [simplify]: Extracting # 2 : cost  0
0.098 * * [simplify]: Extracting # 3 : cost  0
0.098 * * [simplify]: iteration  4 :  299  enodes  (cost  51 )
0.231 * * [simplify]: Extracting # 0 : cost  0
0.232 * * [simplify]: Extracting # 1 : cost  0
0.232 * * [simplify]: Extracting # 2 : cost  0
0.233 * * [simplify]: Extracting # 3 : cost  0
0.234 * * [simplify]: Extracting # 4 : cost  0
0.234 * * [simplify]: iteration  5 :  881  enodes  (cost  51 )
1.085 * * [simplify]: Extracting # 0 : cost  0
1.090 * * [simplify]: Extracting # 1 : cost  0
1.094 * * [simplify]: Extracting # 2 : cost  0
1.098 * * [simplify]: Extracting # 3 : cost  0
1.105 * * [simplify]: iteration  6 :  4139  enodes  (cost  51 )
3.103 * * [simplify]: Extracting # 0 : cost  0
3.113 * * [simplify]: Extracting # 1 : cost  0
3.118 * * [simplify]: Extracting # 2 : cost  0
3.122 * * [simplify]: Extracting # 3 : cost  0
3.126 * * [simplify]: Extracting # 4 : cost  0
3.130 * * [simplify]: Extracting # 5 : cost  0
3.134 * * [simplify]: iteration done:  5000  enodes  (cost  43 )
3.135 * [simplify]: Simplified to:
  (/ (+ 1.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))))
3.137 * * [progress]: iteration 1 / 4
3.137 * * * [progress]: picking best candidate
3.139 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))>
3.139 * * * [progress]: localizing error
3.182 * * * [progress]: generating rewritten candidates
3.182 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
3.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
3.328 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
3.406 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
3.485 * * * [progress]: generating series expansions
3.486 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
3.486 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
3.486 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.486 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.486 * [taylor]: Taking taylor expansion of 2.0 in t
3.486 * [backup-simplify]: Simplify 2.0 into 2.0
3.486 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.486 * [taylor]: Taking taylor expansion of 2.0 in t
3.486 * [backup-simplify]: Simplify 2.0 into 2.0
3.486 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.486 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.486 * [taylor]: Taking taylor expansion of t in t
3.486 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify 1 into 1
3.486 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.486 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.486 * [taylor]: Taking taylor expansion of 1.0 in t
3.486 * [backup-simplify]: Simplify 1.0 into 1.0
3.486 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.486 * [taylor]: Taking taylor expansion of t in t
3.486 * [backup-simplify]: Simplify 0 into 0
3.486 * [backup-simplify]: Simplify 1 into 1
3.487 * [backup-simplify]: Simplify (/ 1 1) into 1
3.487 * [taylor]: Taking taylor expansion of 1.0 in t
3.487 * [backup-simplify]: Simplify 1.0 into 1.0
3.488 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.488 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.488 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.490 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.490 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.492 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.492 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.492 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.492 * [taylor]: Taking taylor expansion of 2.0 in t
3.493 * [backup-simplify]: Simplify 2.0 into 2.0
3.493 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.493 * [taylor]: Taking taylor expansion of 2.0 in t
3.493 * [backup-simplify]: Simplify 2.0 into 2.0
3.493 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.493 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.493 * [taylor]: Taking taylor expansion of t in t
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.493 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.493 * [taylor]: Taking taylor expansion of 1.0 in t
3.493 * [backup-simplify]: Simplify 1.0 into 1.0
3.493 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.493 * [taylor]: Taking taylor expansion of t in t
3.493 * [backup-simplify]: Simplify 0 into 0
3.493 * [backup-simplify]: Simplify 1 into 1
3.493 * [backup-simplify]: Simplify (/ 1 1) into 1
3.493 * [taylor]: Taking taylor expansion of 1.0 in t
3.494 * [backup-simplify]: Simplify 1.0 into 1.0
3.494 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.494 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.495 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.496 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.497 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.498 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.499 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.499 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.500 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.501 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.501 * [backup-simplify]: Simplify 0 into 0
3.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.502 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.503 * [backup-simplify]: Simplify (+ 0 0) into 0
3.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.508 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.510 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.511 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.511 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.511 * [backup-simplify]: Simplify 2.0 into 2.0
3.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.513 * [backup-simplify]: Simplify (+ 0 0) into 0
3.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.518 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.520 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.521 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.522 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.522 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.524 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.525 * [backup-simplify]: Simplify (+ 0 0) into 0
3.526 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.531 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.534 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.535 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.535 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.535 * [backup-simplify]: Simplify 2.0 into 2.0
3.537 * [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)))
3.537 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
3.537 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.537 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.537 * [taylor]: Taking taylor expansion of 2.0 in t
3.537 * [backup-simplify]: Simplify 2.0 into 2.0
3.537 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.537 * [taylor]: Taking taylor expansion of 2.0 in t
3.537 * [backup-simplify]: Simplify 2.0 into 2.0
3.537 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.537 * [taylor]: Taking taylor expansion of t in t
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.537 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.537 * [taylor]: Taking taylor expansion of 1.0 in t
3.537 * [backup-simplify]: Simplify 1.0 into 1.0
3.537 * [taylor]: Taking taylor expansion of t in t
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [taylor]: Taking taylor expansion of 1.0 in t
3.538 * [backup-simplify]: Simplify 1.0 into 1.0
3.538 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.538 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.539 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.539 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.539 * [taylor]: Taking taylor expansion of 2.0 in t
3.539 * [backup-simplify]: Simplify 2.0 into 2.0
3.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.539 * [taylor]: Taking taylor expansion of 2.0 in t
3.539 * [backup-simplify]: Simplify 2.0 into 2.0
3.539 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.539 * [taylor]: Taking taylor expansion of t in t
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.539 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.539 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.539 * [taylor]: Taking taylor expansion of 1.0 in t
3.539 * [backup-simplify]: Simplify 1.0 into 1.0
3.539 * [taylor]: Taking taylor expansion of t in t
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.539 * [taylor]: Taking taylor expansion of 1.0 in t
3.540 * [backup-simplify]: Simplify 1.0 into 1.0
3.540 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.540 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.541 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.541 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.541 * [backup-simplify]: Simplify 2.0 into 2.0
3.541 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.541 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.542 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.542 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.543 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.543 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.545 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.546 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.546 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.547 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.547 * [backup-simplify]: Simplify 2.0 into 2.0
3.547 * [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)))
3.547 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
3.547 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.548 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.548 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.548 * [taylor]: Taking taylor expansion of 2.0 in t
3.548 * [backup-simplify]: Simplify 2.0 into 2.0
3.548 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.548 * [taylor]: Taking taylor expansion of t in t
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.548 * [taylor]: Taking taylor expansion of 1.0 in t
3.548 * [backup-simplify]: Simplify 1.0 into 1.0
3.548 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.548 * [taylor]: Taking taylor expansion of 1.0 in t
3.548 * [backup-simplify]: Simplify 1.0 into 1.0
3.548 * [taylor]: Taking taylor expansion of t in t
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.548 * [backup-simplify]: Simplify (- 0) into 0
3.549 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.549 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.549 * [taylor]: Taking taylor expansion of 2.0 in t
3.549 * [backup-simplify]: Simplify 2.0 into 2.0
3.549 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.549 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.549 * [taylor]: Taking taylor expansion of 2.0 in t
3.549 * [backup-simplify]: Simplify 2.0 into 2.0
3.549 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.549 * [taylor]: Taking taylor expansion of t in t
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 1 into 1
3.549 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.549 * [taylor]: Taking taylor expansion of 1.0 in t
3.549 * [backup-simplify]: Simplify 1.0 into 1.0
3.549 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.549 * [taylor]: Taking taylor expansion of 1.0 in t
3.549 * [backup-simplify]: Simplify 1.0 into 1.0
3.549 * [taylor]: Taking taylor expansion of t in t
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 1 into 1
3.549 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.550 * [backup-simplify]: Simplify (- 0) into 0
3.550 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.550 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.550 * [taylor]: Taking taylor expansion of 2.0 in t
3.550 * [backup-simplify]: Simplify 2.0 into 2.0
3.551 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.551 * [backup-simplify]: Simplify 2.0 into 2.0
3.551 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.551 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.551 * [backup-simplify]: Simplify 2.0 into 2.0
3.552 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.552 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.553 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.558 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.558 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.559 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.559 * [backup-simplify]: Simplify 2.0 into 2.0
3.559 * [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)))
3.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
3.559 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
3.559 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.559 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.559 * [taylor]: Taking taylor expansion of 2.0 in t
3.559 * [backup-simplify]: Simplify 2.0 into 2.0
3.559 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.559 * [taylor]: Taking taylor expansion of 2.0 in t
3.559 * [backup-simplify]: Simplify 2.0 into 2.0
3.559 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.559 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.559 * [taylor]: Taking taylor expansion of t in t
3.559 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify 1 into 1
3.559 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.560 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.560 * [taylor]: Taking taylor expansion of 1.0 in t
3.560 * [backup-simplify]: Simplify 1.0 into 1.0
3.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.560 * [taylor]: Taking taylor expansion of t in t
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [taylor]: Taking taylor expansion of 1.0 in t
3.560 * [backup-simplify]: Simplify 1.0 into 1.0
3.560 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.561 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.561 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.562 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.562 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.563 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.563 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.563 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.563 * [taylor]: Taking taylor expansion of 2.0 in t
3.563 * [backup-simplify]: Simplify 2.0 into 2.0
3.563 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.563 * [taylor]: Taking taylor expansion of 2.0 in t
3.563 * [backup-simplify]: Simplify 2.0 into 2.0
3.563 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.563 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.563 * [taylor]: Taking taylor expansion of t in t
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.563 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.563 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.563 * [taylor]: Taking taylor expansion of 1.0 in t
3.563 * [backup-simplify]: Simplify 1.0 into 1.0
3.563 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.563 * [taylor]: Taking taylor expansion of t in t
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.564 * [backup-simplify]: Simplify (/ 1 1) into 1
3.564 * [taylor]: Taking taylor expansion of 1.0 in t
3.564 * [backup-simplify]: Simplify 1.0 into 1.0
3.564 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.564 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.565 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.566 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.566 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.567 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.567 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.567 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.568 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.568 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.570 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.570 * [backup-simplify]: Simplify (+ 0 0) into 0
3.573 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.575 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.577 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.577 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.578 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.578 * [backup-simplify]: Simplify 2.0 into 2.0
3.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.580 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.580 * [backup-simplify]: Simplify (+ 0 0) into 0
3.581 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.585 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.586 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.587 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.587 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.587 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.589 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.589 * [backup-simplify]: Simplify (+ 0 0) into 0
3.590 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.592 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.594 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.595 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.595 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.595 * [backup-simplify]: Simplify 2.0 into 2.0
3.596 * [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)))
3.596 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
3.596 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.596 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.596 * [taylor]: Taking taylor expansion of 2.0 in t
3.596 * [backup-simplify]: Simplify 2.0 into 2.0
3.596 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.596 * [taylor]: Taking taylor expansion of 2.0 in t
3.596 * [backup-simplify]: Simplify 2.0 into 2.0
3.596 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.596 * [taylor]: Taking taylor expansion of t in t
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.596 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.596 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.596 * [taylor]: Taking taylor expansion of 1.0 in t
3.596 * [backup-simplify]: Simplify 1.0 into 1.0
3.596 * [taylor]: Taking taylor expansion of t in t
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.596 * [taylor]: Taking taylor expansion of 1.0 in t
3.596 * [backup-simplify]: Simplify 1.0 into 1.0
3.597 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.597 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.597 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.597 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.597 * [taylor]: Taking taylor expansion of 2.0 in t
3.597 * [backup-simplify]: Simplify 2.0 into 2.0
3.597 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.597 * [taylor]: Taking taylor expansion of 2.0 in t
3.597 * [backup-simplify]: Simplify 2.0 into 2.0
3.597 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.597 * [taylor]: Taking taylor expansion of t in t
3.597 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify 1 into 1
3.597 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.597 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.597 * [taylor]: Taking taylor expansion of 1.0 in t
3.597 * [backup-simplify]: Simplify 1.0 into 1.0
3.597 * [taylor]: Taking taylor expansion of t in t
3.597 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 1 into 1
3.598 * [taylor]: Taking taylor expansion of 1.0 in t
3.598 * [backup-simplify]: Simplify 1.0 into 1.0
3.598 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.598 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.598 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.599 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.599 * [backup-simplify]: Simplify 2.0 into 2.0
3.599 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.599 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.600 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.600 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.601 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.601 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.603 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.604 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.605 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.605 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.605 * [backup-simplify]: Simplify 2.0 into 2.0
3.605 * [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)))
3.606 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
3.606 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.606 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.606 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.606 * [taylor]: Taking taylor expansion of 2.0 in t
3.606 * [backup-simplify]: Simplify 2.0 into 2.0
3.606 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.606 * [taylor]: Taking taylor expansion of t in t
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.606 * [taylor]: Taking taylor expansion of 1.0 in t
3.606 * [backup-simplify]: Simplify 1.0 into 1.0
3.606 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.606 * [taylor]: Taking taylor expansion of 1.0 in t
3.606 * [backup-simplify]: Simplify 1.0 into 1.0
3.606 * [taylor]: Taking taylor expansion of t in t
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.607 * [backup-simplify]: Simplify (- 0) into 0
3.607 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.607 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.607 * [taylor]: Taking taylor expansion of 2.0 in t
3.607 * [backup-simplify]: Simplify 2.0 into 2.0
3.607 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.607 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.607 * [taylor]: Taking taylor expansion of 2.0 in t
3.607 * [backup-simplify]: Simplify 2.0 into 2.0
3.607 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.608 * [taylor]: Taking taylor expansion of t in t
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify 1 into 1
3.608 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.608 * [taylor]: Taking taylor expansion of 1.0 in t
3.608 * [backup-simplify]: Simplify 1.0 into 1.0
3.608 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.608 * [taylor]: Taking taylor expansion of 1.0 in t
3.608 * [backup-simplify]: Simplify 1.0 into 1.0
3.608 * [taylor]: Taking taylor expansion of t in t
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify 1 into 1
3.608 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.608 * [backup-simplify]: Simplify (- 0) into 0
3.608 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.609 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.609 * [taylor]: Taking taylor expansion of 2.0 in t
3.609 * [backup-simplify]: Simplify 2.0 into 2.0
3.609 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.609 * [backup-simplify]: Simplify 2.0 into 2.0
3.609 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.610 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.610 * [backup-simplify]: Simplify 2.0 into 2.0
3.611 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.611 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.611 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.614 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.616 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.617 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.617 * [backup-simplify]: Simplify 2.0 into 2.0
3.618 * [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)))
3.618 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
3.618 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
3.618 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.618 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.618 * [taylor]: Taking taylor expansion of 2.0 in t
3.618 * [backup-simplify]: Simplify 2.0 into 2.0
3.618 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.618 * [taylor]: Taking taylor expansion of 2.0 in t
3.618 * [backup-simplify]: Simplify 2.0 into 2.0
3.618 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.618 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.618 * [taylor]: Taking taylor expansion of t in t
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.619 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.619 * [taylor]: Taking taylor expansion of 1.0 in t
3.619 * [backup-simplify]: Simplify 1.0 into 1.0
3.619 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.619 * [taylor]: Taking taylor expansion of t in t
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [backup-simplify]: Simplify (/ 1 1) into 1
3.619 * [taylor]: Taking taylor expansion of 1.0 in t
3.619 * [backup-simplify]: Simplify 1.0 into 1.0
3.620 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.620 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.621 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.622 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.623 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.624 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.625 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.625 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.625 * [taylor]: Taking taylor expansion of 2.0 in t
3.625 * [backup-simplify]: Simplify 2.0 into 2.0
3.625 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.625 * [taylor]: Taking taylor expansion of 2.0 in t
3.625 * [backup-simplify]: Simplify 2.0 into 2.0
3.625 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.625 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.625 * [taylor]: Taking taylor expansion of t in t
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.625 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.625 * [taylor]: Taking taylor expansion of 1.0 in t
3.625 * [backup-simplify]: Simplify 1.0 into 1.0
3.625 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.625 * [taylor]: Taking taylor expansion of t in t
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.626 * [backup-simplify]: Simplify (/ 1 1) into 1
3.626 * [taylor]: Taking taylor expansion of 1.0 in t
3.626 * [backup-simplify]: Simplify 1.0 into 1.0
3.626 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.627 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.627 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.629 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.629 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.630 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.631 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.631 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.632 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.633 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.634 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.635 * [backup-simplify]: Simplify (+ 0 0) into 0
3.638 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.640 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.642 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.643 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.643 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.643 * [backup-simplify]: Simplify 2.0 into 2.0
3.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.646 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.646 * [backup-simplify]: Simplify (+ 0 0) into 0
3.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.651 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.653 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.654 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.654 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.655 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.657 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.657 * [backup-simplify]: Simplify (+ 0 0) into 0
3.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.663 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.665 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.666 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.666 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.666 * [backup-simplify]: Simplify 2.0 into 2.0
3.667 * [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)))
3.667 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
3.667 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.667 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.667 * [taylor]: Taking taylor expansion of 2.0 in t
3.667 * [backup-simplify]: Simplify 2.0 into 2.0
3.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.667 * [taylor]: Taking taylor expansion of 2.0 in t
3.667 * [backup-simplify]: Simplify 2.0 into 2.0
3.667 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.667 * [taylor]: Taking taylor expansion of t in t
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 1 into 1
3.667 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.667 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.667 * [taylor]: Taking taylor expansion of 1.0 in t
3.667 * [backup-simplify]: Simplify 1.0 into 1.0
3.667 * [taylor]: Taking taylor expansion of t in t
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 1 into 1
3.667 * [taylor]: Taking taylor expansion of 1.0 in t
3.667 * [backup-simplify]: Simplify 1.0 into 1.0
3.667 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.668 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.668 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.668 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.668 * [taylor]: Taking taylor expansion of 2.0 in t
3.668 * [backup-simplify]: Simplify 2.0 into 2.0
3.668 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.668 * [taylor]: Taking taylor expansion of 2.0 in t
3.668 * [backup-simplify]: Simplify 2.0 into 2.0
3.668 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.668 * [taylor]: Taking taylor expansion of t in t
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 1 into 1
3.668 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.668 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.668 * [taylor]: Taking taylor expansion of 1.0 in t
3.668 * [backup-simplify]: Simplify 1.0 into 1.0
3.668 * [taylor]: Taking taylor expansion of t in t
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 1 into 1
3.668 * [taylor]: Taking taylor expansion of 1.0 in t
3.668 * [backup-simplify]: Simplify 1.0 into 1.0
3.669 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.669 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.669 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.670 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.670 * [backup-simplify]: Simplify 2.0 into 2.0
3.670 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.670 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.671 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.671 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.674 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.675 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.676 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.677 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.678 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.678 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.678 * [backup-simplify]: Simplify 2.0 into 2.0
3.679 * [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)))
3.679 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
3.679 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.679 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.679 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.679 * [taylor]: Taking taylor expansion of 2.0 in t
3.679 * [backup-simplify]: Simplify 2.0 into 2.0
3.679 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.679 * [taylor]: Taking taylor expansion of t in t
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.679 * [taylor]: Taking taylor expansion of 1.0 in t
3.679 * [backup-simplify]: Simplify 1.0 into 1.0
3.679 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.679 * [taylor]: Taking taylor expansion of 1.0 in t
3.679 * [backup-simplify]: Simplify 1.0 into 1.0
3.679 * [taylor]: Taking taylor expansion of t in t
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.680 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.680 * [backup-simplify]: Simplify (- 0) into 0
3.680 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.680 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.681 * [taylor]: Taking taylor expansion of 2.0 in t
3.681 * [backup-simplify]: Simplify 2.0 into 2.0
3.681 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.681 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.681 * [taylor]: Taking taylor expansion of 2.0 in t
3.681 * [backup-simplify]: Simplify 2.0 into 2.0
3.681 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.681 * [taylor]: Taking taylor expansion of t in t
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify 1 into 1
3.681 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.681 * [taylor]: Taking taylor expansion of 1.0 in t
3.681 * [backup-simplify]: Simplify 1.0 into 1.0
3.681 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.681 * [taylor]: Taking taylor expansion of 1.0 in t
3.681 * [backup-simplify]: Simplify 1.0 into 1.0
3.681 * [taylor]: Taking taylor expansion of t in t
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify 1 into 1
3.681 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.681 * [backup-simplify]: Simplify (- 0) into 0
3.682 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.682 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.682 * [taylor]: Taking taylor expansion of 2.0 in t
3.682 * [backup-simplify]: Simplify 2.0 into 2.0
3.682 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.682 * [backup-simplify]: Simplify 2.0 into 2.0
3.683 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.683 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.683 * [backup-simplify]: Simplify 2.0 into 2.0
3.684 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.684 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.685 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.689 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.690 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.691 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.691 * [backup-simplify]: Simplify 2.0 into 2.0
3.691 * [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)))
3.691 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
3.691 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
3.691 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.691 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.692 * [taylor]: Taking taylor expansion of 2.0 in t
3.692 * [backup-simplify]: Simplify 2.0 into 2.0
3.692 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.692 * [taylor]: Taking taylor expansion of 2.0 in t
3.692 * [backup-simplify]: Simplify 2.0 into 2.0
3.692 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.692 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.692 * [taylor]: Taking taylor expansion of t in t
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.692 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.692 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.692 * [taylor]: Taking taylor expansion of 1.0 in t
3.692 * [backup-simplify]: Simplify 1.0 into 1.0
3.692 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.692 * [taylor]: Taking taylor expansion of t in t
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.692 * [backup-simplify]: Simplify (/ 1 1) into 1
3.692 * [taylor]: Taking taylor expansion of 1.0 in t
3.692 * [backup-simplify]: Simplify 1.0 into 1.0
3.693 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.693 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.694 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.696 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.696 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.697 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.698 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.698 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.698 * [taylor]: Taking taylor expansion of 2.0 in t
3.698 * [backup-simplify]: Simplify 2.0 into 2.0
3.698 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.698 * [taylor]: Taking taylor expansion of 2.0 in t
3.698 * [backup-simplify]: Simplify 2.0 into 2.0
3.698 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.698 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.698 * [taylor]: Taking taylor expansion of t in t
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 1 into 1
3.698 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.698 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.698 * [taylor]: Taking taylor expansion of 1.0 in t
3.698 * [backup-simplify]: Simplify 1.0 into 1.0
3.698 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.698 * [taylor]: Taking taylor expansion of t in t
3.699 * [backup-simplify]: Simplify 0 into 0
3.699 * [backup-simplify]: Simplify 1 into 1
3.699 * [backup-simplify]: Simplify (/ 1 1) into 1
3.699 * [taylor]: Taking taylor expansion of 1.0 in t
3.699 * [backup-simplify]: Simplify 1.0 into 1.0
3.699 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.700 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.700 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.702 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.702 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.704 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.704 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.705 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.705 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.706 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.706 * [backup-simplify]: Simplify 0 into 0
3.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.708 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.708 * [backup-simplify]: Simplify (+ 0 0) into 0
3.710 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.711 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.712 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.713 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.713 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.713 * [backup-simplify]: Simplify 2.0 into 2.0
3.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.714 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.714 * [backup-simplify]: Simplify (+ 0 0) into 0
3.715 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.717 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.718 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.719 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.719 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.719 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.721 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.721 * [backup-simplify]: Simplify (+ 0 0) into 0
3.722 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.724 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.726 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.726 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.727 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.727 * [backup-simplify]: Simplify 2.0 into 2.0
3.727 * [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)))
3.727 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
3.727 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.727 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.727 * [taylor]: Taking taylor expansion of 2.0 in t
3.727 * [backup-simplify]: Simplify 2.0 into 2.0
3.728 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.728 * [taylor]: Taking taylor expansion of 2.0 in t
3.728 * [backup-simplify]: Simplify 2.0 into 2.0
3.728 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.728 * [taylor]: Taking taylor expansion of t in t
3.728 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify 1 into 1
3.728 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.728 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.728 * [taylor]: Taking taylor expansion of 1.0 in t
3.728 * [backup-simplify]: Simplify 1.0 into 1.0
3.728 * [taylor]: Taking taylor expansion of t in t
3.728 * [backup-simplify]: Simplify 0 into 0
3.728 * [backup-simplify]: Simplify 1 into 1
3.728 * [taylor]: Taking taylor expansion of 1.0 in t
3.728 * [backup-simplify]: Simplify 1.0 into 1.0
3.728 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.728 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.729 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.729 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.729 * [taylor]: Taking taylor expansion of 2.0 in t
3.729 * [backup-simplify]: Simplify 2.0 into 2.0
3.729 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.729 * [taylor]: Taking taylor expansion of 2.0 in t
3.729 * [backup-simplify]: Simplify 2.0 into 2.0
3.729 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.729 * [taylor]: Taking taylor expansion of t in t
3.729 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify 1 into 1
3.729 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.729 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.729 * [taylor]: Taking taylor expansion of 1.0 in t
3.729 * [backup-simplify]: Simplify 1.0 into 1.0
3.729 * [taylor]: Taking taylor expansion of t in t
3.729 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify 1 into 1
3.729 * [taylor]: Taking taylor expansion of 1.0 in t
3.729 * [backup-simplify]: Simplify 1.0 into 1.0
3.729 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.729 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.730 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.730 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.730 * [backup-simplify]: Simplify 2.0 into 2.0
3.730 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.731 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.731 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.731 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.732 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.733 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.734 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.735 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.736 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.736 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.736 * [backup-simplify]: Simplify 2.0 into 2.0
3.737 * [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)))
3.737 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
3.737 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.737 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.737 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.737 * [taylor]: Taking taylor expansion of 2.0 in t
3.737 * [backup-simplify]: Simplify 2.0 into 2.0
3.737 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.737 * [taylor]: Taking taylor expansion of t in t
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.737 * [taylor]: Taking taylor expansion of 1.0 in t
3.737 * [backup-simplify]: Simplify 1.0 into 1.0
3.737 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.738 * [taylor]: Taking taylor expansion of 1.0 in t
3.738 * [backup-simplify]: Simplify 1.0 into 1.0
3.738 * [taylor]: Taking taylor expansion of t in t
3.738 * [backup-simplify]: Simplify 0 into 0
3.738 * [backup-simplify]: Simplify 1 into 1
3.738 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.738 * [backup-simplify]: Simplify (- 0) into 0
3.739 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.739 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.739 * [taylor]: Taking taylor expansion of 2.0 in t
3.739 * [backup-simplify]: Simplify 2.0 into 2.0
3.739 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.740 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.740 * [taylor]: Taking taylor expansion of 2.0 in t
3.740 * [backup-simplify]: Simplify 2.0 into 2.0
3.740 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.740 * [taylor]: Taking taylor expansion of t in t
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify 1 into 1
3.740 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.740 * [taylor]: Taking taylor expansion of 1.0 in t
3.740 * [backup-simplify]: Simplify 1.0 into 1.0
3.740 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.740 * [taylor]: Taking taylor expansion of 1.0 in t
3.740 * [backup-simplify]: Simplify 1.0 into 1.0
3.740 * [taylor]: Taking taylor expansion of t in t
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify 1 into 1
3.740 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.741 * [backup-simplify]: Simplify (- 0) into 0
3.741 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.742 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.742 * [taylor]: Taking taylor expansion of 2.0 in t
3.742 * [backup-simplify]: Simplify 2.0 into 2.0
3.742 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.742 * [backup-simplify]: Simplify 2.0 into 2.0
3.743 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.743 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.743 * [backup-simplify]: Simplify 2.0 into 2.0
3.745 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.745 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.746 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.750 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.752 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.752 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.753 * [backup-simplify]: Simplify 2.0 into 2.0
3.753 * [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)))
3.753 * * * [progress]: simplifying candidates
3.756 * [simplify]: Simplifying:
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 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)))
3.759 * * [simplify]: Extracting # 0 : cost  0
3.760 * * [simplify]: Extracting # 1 : cost  0
3.760 * * [simplify]: Extracting # 2 : cost  0
3.760 * * [simplify]: Extracting # 3 : cost  0
3.760 * * [simplify]: Extracting # 4 : cost  0
3.760 * * [simplify]: Extracting # 5 : cost  0
3.760 * * [simplify]: Extracting # 6 : cost  0
3.761 * * [simplify]: Extracting # 7 : cost  0
3.761 * * [simplify]: Extracting # 8 : cost  0
3.761 * * [simplify]: iteration  0 :  59  enodes  (cost  1508 )
3.786 * * [simplify]: Extracting # 0 : cost  0
3.786 * * [simplify]: Extracting # 1 : cost  0
3.787 * * [simplify]: Extracting # 2 : cost  0
3.787 * * [simplify]: Extracting # 3 : cost  0
3.787 * * [simplify]: iteration  1 :  138  enodes  (cost  1456 )
3.874 * * [simplify]: Extracting # 0 : cost  0
3.874 * * [simplify]: Extracting # 1 : cost  0
3.875 * * [simplify]: Extracting # 2 : cost  0
3.876 * * [simplify]: Extracting # 3 : cost  0
3.876 * * [simplify]: Extracting # 4 : cost  0
3.877 * * [simplify]: iteration  2 :  473  enodes  (cost  1328 )
4.353 * * [simplify]: Extracting # 0 : cost  0
4.358 * * [simplify]: Extracting # 1 : cost  0
4.366 * * [simplify]: Extracting # 2 : cost  0
4.373 * * [simplify]: Extracting # 3 : cost  0
4.380 * * [simplify]: Extracting # 4 : cost  0
4.387 * * [simplify]: iteration  3 :  2667  enodes  (cost  1328 )
5.349 * * [simplify]: Extracting # 0 : cost  0
5.354 * * [simplify]: Extracting # 1 : cost  0
5.369 * * [simplify]: Extracting # 2 : cost  0
5.392 * * [simplify]: iteration done:  5000  enodes  (cost  1328 )
5.393 * [simplify]: Simplified to:
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3)
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ (pow t 3) t) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
5.395 * * * [progress]: adding candidates to table
5.735 * [progress]: [Phase 3 of 3] Extracting.
5.737 * [simplify]: Simplifying:
  (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
5.737 * * [simplify]: Extracting # 0 : cost  0
5.737 * * [simplify]: Extracting # 1 : cost  0
5.737 * * [simplify]: Extracting # 2 : cost  0
5.737 * * [simplify]: Extracting # 3 : cost  0
5.737 * * [simplify]: Extracting # 4 : cost  0
5.737 * * [simplify]: Extracting # 5 : cost  0
5.737 * * [simplify]: Extracting # 6 : cost  0
5.737 * * [simplify]: Extracting # 7 : cost  0
5.737 * * [simplify]: Extracting # 8 : cost  0
5.737 * * [simplify]: iteration  0 :  12  enodes  (cost  51 )
5.738 * * [simplify]: Extracting # 0 : cost  0
5.738 * * [simplify]: iteration  1 :  15  enodes  (cost  51 )
5.738 * * [simplify]: Extracting # 0 : cost  0
5.738 * * [simplify]: iteration done:  15  enodes  (cost  51 )
5.738 * [simplify]: Simplified to:
  (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
7.469 * [regime-testing]: Baseline error score: 0.025503187898487312
7.471 * [regime-testing]: Oracle error score: 0.025503187898487312
7.471 * [regime-testing]: End program error score: 0.025503187898487312