24.446 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.070 * [progress]: [Phase 2 of 3] Improving.
0.070 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
0.071 * [simplify]: Simplifying:
  (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
0.071 * * [simplify]: iteration 0: 12 enodes
0.074 * * [simplify]: iteration 1: 21 enodes
0.094 * * [simplify]: iteration 2: 36 enodes
0.107 * * [simplify]: iteration 3: 86 enodes
0.138 * * [simplify]: iteration 4: 233 enodes
0.230 * * [simplify]: iteration 5: 704 enodes
0.794 * * [simplify]: iteration 6: 2499 enodes
2.015 * * [simplify]: iteration complete: 5002 enodes
2.015 * * [simplify]: Extracting #0: cost 1 inf + 0
2.015 * * [simplify]: Extracting #1: cost 19 inf + 0
2.016 * * [simplify]: Extracting #2: cost 153 inf + 0
2.021 * * [simplify]: Extracting #3: cost 1208 inf + 5
2.034 * * [simplify]: Extracting #4: cost 1483 inf + 6995
2.063 * * [simplify]: Extracting #5: cost 864 inf + 81314
2.139 * * [simplify]: Extracting #6: cost 164 inf + 203520
2.245 * * [simplify]: Extracting #7: cost 7 inf + 232324
2.331 * * [simplify]: Extracting #8: cost 0 inf + 230470
2.395 * * [simplify]: Extracting #9: cost 0 inf + 230304
2.460 * [simplify]: Simplified to:
  (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))))
2.463 * * [progress]: iteration 1 / 4
2.463 * * * [progress]: picking best candidate
2.465 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.466 * * * [progress]: localizing error
2.491 * * * [progress]: generating rewritten candidates
2.491 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
2.506 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.530 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
2.553 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
2.577 * * * [progress]: generating series expansions
2.577 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
2.577 * [backup-simplify]: Simplify (- 2 (/ 2 (+ t 1))) into (- 2 (* 2 (/ 1 (+ t 1))))
2.577 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
2.577 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.577 * [taylor]: Taking taylor expansion of 2 in t
2.577 * [backup-simplify]: Simplify 2 into 2
2.577 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.577 * [taylor]: Taking taylor expansion of 2 in t
2.577 * [backup-simplify]: Simplify 2 into 2
2.577 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.577 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.577 * [taylor]: Taking taylor expansion of t in t
2.577 * [backup-simplify]: Simplify 0 into 0
2.577 * [backup-simplify]: Simplify 1 into 1
2.578 * [taylor]: Taking taylor expansion of 1 in t
2.578 * [backup-simplify]: Simplify 1 into 1
2.578 * [backup-simplify]: Simplify (+ 0 1) into 1
2.579 * [backup-simplify]: Simplify (/ 1 1) into 1
2.579 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.579 * [taylor]: Taking taylor expansion of 2 in t
2.579 * [backup-simplify]: Simplify 2 into 2
2.579 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.579 * [taylor]: Taking taylor expansion of 2 in t
2.579 * [backup-simplify]: Simplify 2 into 2
2.579 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.579 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.579 * [taylor]: Taking taylor expansion of t in t
2.579 * [backup-simplify]: Simplify 0 into 0
2.579 * [backup-simplify]: Simplify 1 into 1
2.579 * [taylor]: Taking taylor expansion of 1 in t
2.579 * [backup-simplify]: Simplify 1 into 1
2.580 * [backup-simplify]: Simplify (+ 0 1) into 1
2.580 * [backup-simplify]: Simplify (/ 1 1) into 1
2.581 * [backup-simplify]: Simplify (* 2 1) into 2
2.581 * [backup-simplify]: Simplify (- 2) into -2
2.581 * [backup-simplify]: Simplify (+ 2 -2) into 0
2.581 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify (+ 1 0) into 1
2.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.584 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.584 * [backup-simplify]: Simplify (- -2) into 2
2.584 * [backup-simplify]: Simplify (+ 0 2) into 2
2.584 * [backup-simplify]: Simplify 2 into 2
2.585 * [backup-simplify]: Simplify (+ 0 0) into 0
2.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
2.587 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
2.588 * [backup-simplify]: Simplify (- 2) into -2
2.588 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.588 * [backup-simplify]: Simplify -2 into -2
2.589 * [backup-simplify]: Simplify (+ 0 0) into 0
2.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
2.592 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
2.592 * [backup-simplify]: Simplify (- -2) into 2
2.593 * [backup-simplify]: Simplify (+ 0 2) into 2
2.593 * [backup-simplify]: Simplify 2 into 2
2.594 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
2.594 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 t) 1))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
2.594 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.594 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.594 * [taylor]: Taking taylor expansion of 2 in t
2.594 * [backup-simplify]: Simplify 2 into 2
2.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.594 * [taylor]: Taking taylor expansion of 2 in t
2.594 * [backup-simplify]: Simplify 2 into 2
2.594 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.594 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.594 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.594 * [taylor]: Taking taylor expansion of t in t
2.594 * [backup-simplify]: Simplify 0 into 0
2.594 * [backup-simplify]: Simplify 1 into 1
2.595 * [backup-simplify]: Simplify (/ 1 1) into 1
2.595 * [taylor]: Taking taylor expansion of 1 in t
2.595 * [backup-simplify]: Simplify 1 into 1
2.595 * [backup-simplify]: Simplify (+ 1 0) into 1
2.595 * [backup-simplify]: Simplify (/ 1 1) into 1
2.596 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.596 * [taylor]: Taking taylor expansion of 2 in t
2.596 * [backup-simplify]: Simplify 2 into 2
2.596 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.596 * [taylor]: Taking taylor expansion of 2 in t
2.596 * [backup-simplify]: Simplify 2 into 2
2.596 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.596 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.596 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.596 * [taylor]: Taking taylor expansion of t in t
2.596 * [backup-simplify]: Simplify 0 into 0
2.596 * [backup-simplify]: Simplify 1 into 1
2.596 * [backup-simplify]: Simplify (/ 1 1) into 1
2.596 * [taylor]: Taking taylor expansion of 1 in t
2.596 * [backup-simplify]: Simplify 1 into 1
2.597 * [backup-simplify]: Simplify (+ 1 0) into 1
2.597 * [backup-simplify]: Simplify (/ 1 1) into 1
2.598 * [backup-simplify]: Simplify (+ 2 0) into 2
2.598 * [backup-simplify]: Simplify 2 into 2
2.598 * [backup-simplify]: Simplify (* 2 1) into 2
2.599 * [backup-simplify]: Simplify (- 2) into -2
2.599 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.599 * [backup-simplify]: Simplify -2 into -2
2.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.601 * [backup-simplify]: Simplify (+ 0 1) into 1
2.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.602 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.603 * [backup-simplify]: Simplify (- -2) into 2
2.603 * [backup-simplify]: Simplify (+ 0 2) into 2
2.603 * [backup-simplify]: Simplify 2 into 2
2.604 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.604 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 (- t)) 1))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
2.604 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.604 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.604 * [taylor]: Taking taylor expansion of 2 in t
2.604 * [backup-simplify]: Simplify 2 into 2
2.604 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.604 * [taylor]: Taking taylor expansion of 2 in t
2.604 * [backup-simplify]: Simplify 2 into 2
2.604 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.604 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.604 * [taylor]: Taking taylor expansion of 1 in t
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.604 * [taylor]: Taking taylor expansion of t in t
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.605 * [backup-simplify]: Simplify (/ 1 1) into 1
2.605 * [backup-simplify]: Simplify (- 1) into -1
2.605 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.606 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.606 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.606 * [taylor]: Taking taylor expansion of 2 in t
2.606 * [backup-simplify]: Simplify 2 into 2
2.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.606 * [taylor]: Taking taylor expansion of 2 in t
2.606 * [backup-simplify]: Simplify 2 into 2
2.606 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.606 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.606 * [taylor]: Taking taylor expansion of 1 in t
2.606 * [backup-simplify]: Simplify 1 into 1
2.606 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.606 * [taylor]: Taking taylor expansion of t in t
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 1 into 1
2.607 * [backup-simplify]: Simplify (/ 1 1) into 1
2.607 * [backup-simplify]: Simplify (- 1) into -1
2.608 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.608 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.609 * [backup-simplify]: Simplify (+ 2 0) into 2
2.609 * [backup-simplify]: Simplify 2 into 2
2.609 * [backup-simplify]: Simplify (* 2 -1) into -2
2.609 * [backup-simplify]: Simplify (- -2) into 2
2.610 * [backup-simplify]: Simplify (+ 0 2) into 2
2.610 * [backup-simplify]: Simplify 2 into 2
2.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.611 * [backup-simplify]: Simplify (- 0) into 0
2.612 * [backup-simplify]: Simplify (+ 1 0) into 1
2.613 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
2.614 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
2.614 * [backup-simplify]: Simplify (- -2) into 2
2.615 * [backup-simplify]: Simplify (+ 0 2) into 2
2.615 * [backup-simplify]: Simplify 2 into 2
2.615 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.615 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.615 * [backup-simplify]: Simplify (- 2 (/ 2 (+ t 1))) into (- 2 (* 2 (/ 1 (+ t 1))))
2.615 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
2.615 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.615 * [taylor]: Taking taylor expansion of 2 in t
2.615 * [backup-simplify]: Simplify 2 into 2
2.615 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.615 * [taylor]: Taking taylor expansion of 2 in t
2.615 * [backup-simplify]: Simplify 2 into 2
2.615 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.615 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.615 * [taylor]: Taking taylor expansion of t in t
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify 1 into 1
2.615 * [taylor]: Taking taylor expansion of 1 in t
2.616 * [backup-simplify]: Simplify 1 into 1
2.616 * [backup-simplify]: Simplify (+ 0 1) into 1
2.616 * [backup-simplify]: Simplify (/ 1 1) into 1
2.616 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.616 * [taylor]: Taking taylor expansion of 2 in t
2.617 * [backup-simplify]: Simplify 2 into 2
2.617 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.617 * [taylor]: Taking taylor expansion of 2 in t
2.617 * [backup-simplify]: Simplify 2 into 2
2.617 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.617 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.617 * [taylor]: Taking taylor expansion of t in t
2.617 * [backup-simplify]: Simplify 0 into 0
2.617 * [backup-simplify]: Simplify 1 into 1
2.617 * [taylor]: Taking taylor expansion of 1 in t
2.617 * [backup-simplify]: Simplify 1 into 1
2.617 * [backup-simplify]: Simplify (+ 0 1) into 1
2.618 * [backup-simplify]: Simplify (/ 1 1) into 1
2.618 * [backup-simplify]: Simplify (* 2 1) into 2
2.619 * [backup-simplify]: Simplify (- 2) into -2
2.619 * [backup-simplify]: Simplify (+ 2 -2) into 0
2.619 * [backup-simplify]: Simplify 0 into 0
2.619 * [backup-simplify]: Simplify (+ 1 0) into 1
2.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.623 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.623 * [backup-simplify]: Simplify (- -2) into 2
2.623 * [backup-simplify]: Simplify (+ 0 2) into 2
2.623 * [backup-simplify]: Simplify 2 into 2
2.623 * [backup-simplify]: Simplify (+ 0 0) into 0
2.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
2.625 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
2.625 * [backup-simplify]: Simplify (- 2) into -2
2.625 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.625 * [backup-simplify]: Simplify -2 into -2
2.625 * [backup-simplify]: Simplify (+ 0 0) into 0
2.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
2.627 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
2.627 * [backup-simplify]: Simplify (- -2) into 2
2.627 * [backup-simplify]: Simplify (+ 0 2) into 2
2.627 * [backup-simplify]: Simplify 2 into 2
2.628 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
2.628 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 t) 1))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
2.628 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.628 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.628 * [taylor]: Taking taylor expansion of 2 in t
2.628 * [backup-simplify]: Simplify 2 into 2
2.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.628 * [taylor]: Taking taylor expansion of 2 in t
2.628 * [backup-simplify]: Simplify 2 into 2
2.628 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.628 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.628 * [taylor]: Taking taylor expansion of t in t
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 1 into 1
2.628 * [backup-simplify]: Simplify (/ 1 1) into 1
2.628 * [taylor]: Taking taylor expansion of 1 in t
2.628 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (+ 1 0) into 1
2.629 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.629 * [taylor]: Taking taylor expansion of 2 in t
2.629 * [backup-simplify]: Simplify 2 into 2
2.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.629 * [taylor]: Taking taylor expansion of 2 in t
2.629 * [backup-simplify]: Simplify 2 into 2
2.629 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.629 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.629 * [taylor]: Taking taylor expansion of t in t
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [taylor]: Taking taylor expansion of 1 in t
2.629 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (+ 1 0) into 1
2.630 * [backup-simplify]: Simplify (/ 1 1) into 1
2.630 * [backup-simplify]: Simplify (+ 2 0) into 2
2.630 * [backup-simplify]: Simplify 2 into 2
2.630 * [backup-simplify]: Simplify (* 2 1) into 2
2.631 * [backup-simplify]: Simplify (- 2) into -2
2.631 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.631 * [backup-simplify]: Simplify -2 into -2
2.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.632 * [backup-simplify]: Simplify (+ 0 1) into 1
2.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.633 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.633 * [backup-simplify]: Simplify (- -2) into 2
2.633 * [backup-simplify]: Simplify (+ 0 2) into 2
2.633 * [backup-simplify]: Simplify 2 into 2
2.633 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.634 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 (- t)) 1))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
2.634 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.634 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.634 * [taylor]: Taking taylor expansion of 2 in t
2.634 * [backup-simplify]: Simplify 2 into 2
2.634 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.634 * [taylor]: Taking taylor expansion of 2 in t
2.634 * [backup-simplify]: Simplify 2 into 2
2.634 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.634 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.634 * [taylor]: Taking taylor expansion of 1 in t
2.634 * [backup-simplify]: Simplify 1 into 1
2.634 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.634 * [taylor]: Taking taylor expansion of t in t
2.634 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify 1 into 1
2.634 * [backup-simplify]: Simplify (/ 1 1) into 1
2.634 * [backup-simplify]: Simplify (- 1) into -1
2.635 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.635 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.635 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.635 * [taylor]: Taking taylor expansion of 2 in t
2.635 * [backup-simplify]: Simplify 2 into 2
2.635 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.635 * [taylor]: Taking taylor expansion of 2 in t
2.635 * [backup-simplify]: Simplify 2 into 2
2.635 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.635 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.635 * [taylor]: Taking taylor expansion of 1 in t
2.635 * [backup-simplify]: Simplify 1 into 1
2.635 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.635 * [taylor]: Taking taylor expansion of t in t
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify 1 into 1
2.635 * [backup-simplify]: Simplify (/ 1 1) into 1
2.636 * [backup-simplify]: Simplify (- 1) into -1
2.636 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.636 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.636 * [backup-simplify]: Simplify (+ 2 0) into 2
2.636 * [backup-simplify]: Simplify 2 into 2
2.637 * [backup-simplify]: Simplify (* 2 -1) into -2
2.637 * [backup-simplify]: Simplify (- -2) into 2
2.637 * [backup-simplify]: Simplify (+ 0 2) into 2
2.637 * [backup-simplify]: Simplify 2 into 2
2.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (- 0) into 0
2.638 * [backup-simplify]: Simplify (+ 1 0) into 1
2.639 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
2.639 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
2.640 * [backup-simplify]: Simplify (- -2) into 2
2.640 * [backup-simplify]: Simplify (+ 0 2) into 2
2.640 * [backup-simplify]: Simplify 2 into 2
2.640 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.640 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
2.640 * [backup-simplify]: Simplify (- 2 (/ 2 (+ t 1))) into (- 2 (* 2 (/ 1 (+ t 1))))
2.640 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
2.640 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.640 * [taylor]: Taking taylor expansion of 2 in t
2.640 * [backup-simplify]: Simplify 2 into 2
2.640 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.640 * [taylor]: Taking taylor expansion of 2 in t
2.640 * [backup-simplify]: Simplify 2 into 2
2.640 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.640 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.640 * [taylor]: Taking taylor expansion of t in t
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify 1 into 1
2.640 * [taylor]: Taking taylor expansion of 1 in t
2.640 * [backup-simplify]: Simplify 1 into 1
2.641 * [backup-simplify]: Simplify (+ 0 1) into 1
2.641 * [backup-simplify]: Simplify (/ 1 1) into 1
2.641 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.641 * [taylor]: Taking taylor expansion of 2 in t
2.641 * [backup-simplify]: Simplify 2 into 2
2.641 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.641 * [taylor]: Taking taylor expansion of 2 in t
2.641 * [backup-simplify]: Simplify 2 into 2
2.641 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.641 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.641 * [taylor]: Taking taylor expansion of t in t
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.641 * [taylor]: Taking taylor expansion of 1 in t
2.641 * [backup-simplify]: Simplify 1 into 1
2.641 * [backup-simplify]: Simplify (+ 0 1) into 1
2.642 * [backup-simplify]: Simplify (/ 1 1) into 1
2.642 * [backup-simplify]: Simplify (* 2 1) into 2
2.642 * [backup-simplify]: Simplify (- 2) into -2
2.643 * [backup-simplify]: Simplify (+ 2 -2) into 0
2.643 * [backup-simplify]: Simplify 0 into 0
2.643 * [backup-simplify]: Simplify (+ 1 0) into 1
2.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.644 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.644 * [backup-simplify]: Simplify (- -2) into 2
2.644 * [backup-simplify]: Simplify (+ 0 2) into 2
2.644 * [backup-simplify]: Simplify 2 into 2
2.645 * [backup-simplify]: Simplify (+ 0 0) into 0
2.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
2.646 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
2.646 * [backup-simplify]: Simplify (- 2) into -2
2.647 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.647 * [backup-simplify]: Simplify -2 into -2
2.647 * [backup-simplify]: Simplify (+ 0 0) into 0
2.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
2.648 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
2.649 * [backup-simplify]: Simplify (- -2) into 2
2.649 * [backup-simplify]: Simplify (+ 0 2) into 2
2.649 * [backup-simplify]: Simplify 2 into 2
2.649 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
2.649 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 t) 1))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
2.649 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.649 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.649 * [taylor]: Taking taylor expansion of 2 in t
2.649 * [backup-simplify]: Simplify 2 into 2
2.649 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.649 * [taylor]: Taking taylor expansion of 2 in t
2.649 * [backup-simplify]: Simplify 2 into 2
2.649 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.649 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.649 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.650 * [taylor]: Taking taylor expansion of t in t
2.650 * [backup-simplify]: Simplify 0 into 0
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [backup-simplify]: Simplify (/ 1 1) into 1
2.650 * [taylor]: Taking taylor expansion of 1 in t
2.650 * [backup-simplify]: Simplify 1 into 1
2.650 * [backup-simplify]: Simplify (+ 1 0) into 1
2.650 * [backup-simplify]: Simplify (/ 1 1) into 1
2.650 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.650 * [taylor]: Taking taylor expansion of 2 in t
2.650 * [backup-simplify]: Simplify 2 into 2
2.650 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.650 * [taylor]: Taking taylor expansion of 2 in t
2.650 * [backup-simplify]: Simplify 2 into 2
2.650 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.651 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.651 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.651 * [taylor]: Taking taylor expansion of t in t
2.651 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [backup-simplify]: Simplify (/ 1 1) into 1
2.651 * [taylor]: Taking taylor expansion of 1 in t
2.651 * [backup-simplify]: Simplify 1 into 1
2.651 * [backup-simplify]: Simplify (+ 1 0) into 1
2.651 * [backup-simplify]: Simplify (/ 1 1) into 1
2.652 * [backup-simplify]: Simplify (+ 2 0) into 2
2.652 * [backup-simplify]: Simplify 2 into 2
2.652 * [backup-simplify]: Simplify (* 2 1) into 2
2.652 * [backup-simplify]: Simplify (- 2) into -2
2.653 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.653 * [backup-simplify]: Simplify -2 into -2
2.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.653 * [backup-simplify]: Simplify (+ 0 1) into 1
2.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.654 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.654 * [backup-simplify]: Simplify (- -2) into 2
2.655 * [backup-simplify]: Simplify (+ 0 2) into 2
2.655 * [backup-simplify]: Simplify 2 into 2
2.655 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.655 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 (- t)) 1))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
2.655 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.655 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.655 * [taylor]: Taking taylor expansion of 2 in t
2.655 * [backup-simplify]: Simplify 2 into 2
2.655 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.655 * [taylor]: Taking taylor expansion of 2 in t
2.655 * [backup-simplify]: Simplify 2 into 2
2.655 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.655 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.655 * [taylor]: Taking taylor expansion of 1 in t
2.655 * [backup-simplify]: Simplify 1 into 1
2.655 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.655 * [taylor]: Taking taylor expansion of t in t
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.656 * [backup-simplify]: Simplify (/ 1 1) into 1
2.656 * [backup-simplify]: Simplify (- 1) into -1
2.656 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.656 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.656 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.656 * [taylor]: Taking taylor expansion of 2 in t
2.656 * [backup-simplify]: Simplify 2 into 2
2.656 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.657 * [taylor]: Taking taylor expansion of 2 in t
2.657 * [backup-simplify]: Simplify 2 into 2
2.657 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.657 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.657 * [taylor]: Taking taylor expansion of 1 in t
2.657 * [backup-simplify]: Simplify 1 into 1
2.657 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.657 * [taylor]: Taking taylor expansion of t in t
2.657 * [backup-simplify]: Simplify 0 into 0
2.657 * [backup-simplify]: Simplify 1 into 1
2.657 * [backup-simplify]: Simplify (/ 1 1) into 1
2.657 * [backup-simplify]: Simplify (- 1) into -1
2.658 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.658 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.659 * [backup-simplify]: Simplify (+ 2 0) into 2
2.659 * [backup-simplify]: Simplify 2 into 2
2.659 * [backup-simplify]: Simplify (* 2 -1) into -2
2.659 * [backup-simplify]: Simplify (- -2) into 2
2.660 * [backup-simplify]: Simplify (+ 0 2) into 2
2.660 * [backup-simplify]: Simplify 2 into 2
2.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.662 * [backup-simplify]: Simplify (- 0) into 0
2.662 * [backup-simplify]: Simplify (+ 1 0) into 1
2.663 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
2.664 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
2.664 * [backup-simplify]: Simplify (- -2) into 2
2.664 * [backup-simplify]: Simplify (+ 0 2) into 2
2.664 * [backup-simplify]: Simplify 2 into 2
2.665 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.665 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
2.665 * [backup-simplify]: Simplify (- 2 (/ 2 (+ t 1))) into (- 2 (* 2 (/ 1 (+ t 1))))
2.665 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
2.665 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.665 * [taylor]: Taking taylor expansion of 2 in t
2.665 * [backup-simplify]: Simplify 2 into 2
2.665 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.665 * [taylor]: Taking taylor expansion of 2 in t
2.665 * [backup-simplify]: Simplify 2 into 2
2.665 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.665 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.665 * [taylor]: Taking taylor expansion of t in t
2.665 * [backup-simplify]: Simplify 0 into 0
2.665 * [backup-simplify]: Simplify 1 into 1
2.665 * [taylor]: Taking taylor expansion of 1 in t
2.665 * [backup-simplify]: Simplify 1 into 1
2.666 * [backup-simplify]: Simplify (+ 0 1) into 1
2.666 * [backup-simplify]: Simplify (/ 1 1) into 1
2.666 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
2.666 * [taylor]: Taking taylor expansion of 2 in t
2.666 * [backup-simplify]: Simplify 2 into 2
2.666 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
2.666 * [taylor]: Taking taylor expansion of 2 in t
2.666 * [backup-simplify]: Simplify 2 into 2
2.666 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.666 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.667 * [taylor]: Taking taylor expansion of t in t
2.667 * [backup-simplify]: Simplify 0 into 0
2.667 * [backup-simplify]: Simplify 1 into 1
2.667 * [taylor]: Taking taylor expansion of 1 in t
2.667 * [backup-simplify]: Simplify 1 into 1
2.667 * [backup-simplify]: Simplify (+ 0 1) into 1
2.667 * [backup-simplify]: Simplify (/ 1 1) into 1
2.668 * [backup-simplify]: Simplify (* 2 1) into 2
2.668 * [backup-simplify]: Simplify (- 2) into -2
2.669 * [backup-simplify]: Simplify (+ 2 -2) into 0
2.669 * [backup-simplify]: Simplify 0 into 0
2.669 * [backup-simplify]: Simplify (+ 1 0) into 1
2.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.671 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.671 * [backup-simplify]: Simplify (- -2) into 2
2.671 * [backup-simplify]: Simplify (+ 0 2) into 2
2.671 * [backup-simplify]: Simplify 2 into 2
2.672 * [backup-simplify]: Simplify (+ 0 0) into 0
2.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
2.674 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
2.674 * [backup-simplify]: Simplify (- 2) into -2
2.675 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.675 * [backup-simplify]: Simplify -2 into -2
2.675 * [backup-simplify]: Simplify (+ 0 0) into 0
2.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
2.677 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
2.678 * [backup-simplify]: Simplify (- -2) into 2
2.678 * [backup-simplify]: Simplify (+ 0 2) into 2
2.678 * [backup-simplify]: Simplify 2 into 2
2.679 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
2.679 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 t) 1))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
2.679 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.679 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.679 * [taylor]: Taking taylor expansion of 2 in t
2.679 * [backup-simplify]: Simplify 2 into 2
2.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.679 * [taylor]: Taking taylor expansion of 2 in t
2.679 * [backup-simplify]: Simplify 2 into 2
2.679 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.679 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.679 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.679 * [taylor]: Taking taylor expansion of t in t
2.679 * [backup-simplify]: Simplify 0 into 0
2.679 * [backup-simplify]: Simplify 1 into 1
2.679 * [backup-simplify]: Simplify (/ 1 1) into 1
2.680 * [taylor]: Taking taylor expansion of 1 in t
2.680 * [backup-simplify]: Simplify 1 into 1
2.680 * [backup-simplify]: Simplify (+ 1 0) into 1
2.680 * [backup-simplify]: Simplify (/ 1 1) into 1
2.680 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
2.680 * [taylor]: Taking taylor expansion of 2 in t
2.680 * [backup-simplify]: Simplify 2 into 2
2.680 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
2.680 * [taylor]: Taking taylor expansion of 2 in t
2.680 * [backup-simplify]: Simplify 2 into 2
2.681 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.681 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.681 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.681 * [taylor]: Taking taylor expansion of t in t
2.681 * [backup-simplify]: Simplify 0 into 0
2.681 * [backup-simplify]: Simplify 1 into 1
2.681 * [backup-simplify]: Simplify (/ 1 1) into 1
2.681 * [taylor]: Taking taylor expansion of 1 in t
2.681 * [backup-simplify]: Simplify 1 into 1
2.681 * [backup-simplify]: Simplify (+ 1 0) into 1
2.682 * [backup-simplify]: Simplify (/ 1 1) into 1
2.682 * [backup-simplify]: Simplify (+ 2 0) into 2
2.682 * [backup-simplify]: Simplify 2 into 2
2.683 * [backup-simplify]: Simplify (* 2 1) into 2
2.683 * [backup-simplify]: Simplify (- 2) into -2
2.684 * [backup-simplify]: Simplify (+ 0 -2) into -2
2.684 * [backup-simplify]: Simplify -2 into -2
2.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.685 * [backup-simplify]: Simplify (+ 0 1) into 1
2.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.686 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
2.687 * [backup-simplify]: Simplify (- -2) into 2
2.687 * [backup-simplify]: Simplify (+ 0 2) into 2
2.687 * [backup-simplify]: Simplify 2 into 2
2.687 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.688 * [backup-simplify]: Simplify (- 2 (/ 2 (+ (/ 1 (- t)) 1))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
2.688 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.688 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.688 * [taylor]: Taking taylor expansion of 2 in t
2.688 * [backup-simplify]: Simplify 2 into 2
2.688 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.688 * [taylor]: Taking taylor expansion of 2 in t
2.688 * [backup-simplify]: Simplify 2 into 2
2.688 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.688 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.688 * [taylor]: Taking taylor expansion of 1 in t
2.688 * [backup-simplify]: Simplify 1 into 1
2.688 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.688 * [taylor]: Taking taylor expansion of t in t
2.688 * [backup-simplify]: Simplify 0 into 0
2.688 * [backup-simplify]: Simplify 1 into 1
2.688 * [backup-simplify]: Simplify (/ 1 1) into 1
2.689 * [backup-simplify]: Simplify (- 1) into -1
2.689 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.690 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.690 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
2.690 * [taylor]: Taking taylor expansion of 2 in t
2.690 * [backup-simplify]: Simplify 2 into 2
2.690 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
2.690 * [taylor]: Taking taylor expansion of 2 in t
2.690 * [backup-simplify]: Simplify 2 into 2
2.690 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.690 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.690 * [taylor]: Taking taylor expansion of 1 in t
2.690 * [backup-simplify]: Simplify 1 into 1
2.690 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.690 * [taylor]: Taking taylor expansion of t in t
2.690 * [backup-simplify]: Simplify 0 into 0
2.690 * [backup-simplify]: Simplify 1 into 1
2.690 * [backup-simplify]: Simplify (/ 1 1) into 1
2.691 * [backup-simplify]: Simplify (- 1) into -1
2.691 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.692 * [backup-simplify]: Simplify (/ 1 -1) into -1
2.692 * [backup-simplify]: Simplify (+ 2 0) into 2
2.692 * [backup-simplify]: Simplify 2 into 2
2.693 * [backup-simplify]: Simplify (* 2 -1) into -2
2.693 * [backup-simplify]: Simplify (- -2) into 2
2.694 * [backup-simplify]: Simplify (+ 0 2) into 2
2.694 * [backup-simplify]: Simplify 2 into 2
2.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.695 * [backup-simplify]: Simplify (- 0) into 0
2.695 * [backup-simplify]: Simplify (+ 1 0) into 1
2.696 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
2.697 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
2.697 * [backup-simplify]: Simplify (- -2) into 2
2.698 * [backup-simplify]: Simplify (+ 0 2) into 2
2.698 * [backup-simplify]: Simplify 2 into 2
2.698 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.698 * * * [progress]: simplifying candidates
2.698 * * * * [progress]: [ 1 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (log (/ (exp 2) (exp (/ 2 (+ t 1)))))))))>
2.698 * * * * [progress]: [ 2 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (pow (- 2 (/ 2 (+ t 1))) 1)))))>
2.698 * * * * [progress]: [ 3 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (exp (log (- 2 (/ 2 (+ t 1)))))))))>
2.698 * * * * [progress]: [ 4 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (log (exp (- 2 (/ 2 (+ t 1)))))))))>
2.698 * * * * [progress]: [ 5 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1))))) (cbrt (- 2 (/ 2 (+ t 1)))))))))>
2.698 * * * * [progress]: [ 6 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (cbrt (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))))>
2.699 * * * * [progress]: [ 7 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* (sqrt (- 2 (/ 2 (+ t 1)))) (sqrt (- 2 (/ 2 (+ t 1)))))))))>
2.699 * * * * [progress]: [ 8 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (/ (- (pow 2 3) (pow (/ 2 (+ t 1)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1))))))))))>
2.699 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (+ 2 (- (/ 2 (+ t 1))))))))>
2.699 * * * * [progress]: [ 10 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* 1 (- 2 (/ 2 (+ t 1))))))))>
2.699 * * * * [progress]: [ 11 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (/ (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ t 1))))))))>
2.699 * * * * [progress]: [ 12 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1)))))))))>
2.699 * * * * [progress]: [ 13 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))))))))>
2.699 * * * * [progress]: [ 14 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (* 1 (- 2 (/ 2 (+ t 1))))))))>
2.699 * * * * [progress]: [ 15 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (+ 2 (- (/ 2 (+ t 1))))))))>
2.699 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (posit16->real (real->posit16 (- 2 (/ 2 (+ t 1)))))))))>
2.699 * * * * [progress]: [ 17 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (log (/ (exp 2) (exp (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.699 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (pow (- 2 (/ 2 (+ t 1))) 1) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 19 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 20 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 21 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1))))) (cbrt (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 22 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 23 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ t 1)))) (sqrt (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 24 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ t 1)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 25 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (+ 2 (- (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 27 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 28 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 29 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 30 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 31 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (+ 2 (- (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1)))))))>
2.700 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 33 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (log (/ (exp 2) (exp (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 34 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (pow (- 2 (/ 2 (+ t 1))) 1))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 35 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (exp (log (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 36 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (log (exp (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 37 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1))))) (cbrt (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (cbrt (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 39 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* (sqrt (- 2 (/ 2 (+ t 1)))) (sqrt (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (/ (- (pow 2 3) (pow (/ 2 (+ t 1)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 41 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (+ 2 (- (/ 2 (+ t 1)))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 42 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* 1 (- 2 (/ 2 (+ t 1)))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 43 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (/ (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ t 1)))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 44 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 45 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 46 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (* 1 (- 2 (/ 2 (+ t 1)))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.701 * * * * [progress]: [ 47 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (+ 2 (- (/ 2 (+ t 1)))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (posit16->real (real->posit16 (- 2 (/ 2 (+ t 1))))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 49 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (/ (exp 2) (exp (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 50 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ 2 (+ t 1))) 1) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 51 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 52 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 53 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1))))) (cbrt (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 54 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 55 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ t 1)))) (sqrt (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 56 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ 2 (+ t 1)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 57 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 58 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 59 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))) (+ 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 60 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ t 1)))) (- (sqrt 2) (sqrt (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 61 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.702 * * * * [progress]: [ 62 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ t 1))))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 65 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
2.703 * * * * [progress]: [ 66 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
2.703 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
2.703 * * * * [progress]: [ 68 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 69 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 70 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 71 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 72 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 73 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 74 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 75 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.703 * * * * [progress]: [ 76 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))))))>
2.705 * [simplify]: Simplifying:
  (/ (exp 2) (exp (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- (pow 2 3) (pow (/ 2 (+ t 1)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))
  (- (/ 2 (+ t 1)))
  (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ 2 (/ 2 (+ t 1)))
  (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (- (/ 2 (+ t 1)))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (/ (exp 2) (exp (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- (pow 2 3) (pow (/ 2 (+ t 1)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))
  (- (/ 2 (+ t 1)))
  (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ 2 (/ 2 (+ t 1)))
  (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (- (/ 2 (+ t 1)))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (/ (exp 2) (exp (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- (pow 2 3) (pow (/ 2 (+ t 1)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))
  (- (/ 2 (+ t 1)))
  (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ 2 (/ 2 (+ t 1)))
  (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (- (/ 2 (+ t 1)))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (/ (exp 2) (exp (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- (pow 2 3) (pow (/ 2 (+ t 1)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ t 1)) (/ 2 (+ t 1))) (* 2 (/ 2 (+ t 1)))))
  (- (/ 2 (+ t 1)))
  (- (* 2 2) (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ 2 (/ 2 (+ t 1)))
  (+ (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (- (/ 2 (+ t 1)))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
2.706 * * [simplify]: iteration 0: 50 enodes
2.725 * * [simplify]: iteration 1: 121 enodes
2.758 * * [simplify]: iteration 2: 379 enodes
2.921 * * [simplify]: iteration 3: 1169 enodes
3.724 * * [simplify]: iteration 4: 2641 enodes
4.422 * * [simplify]: iteration complete: 5001 enodes
4.422 * * [simplify]: Extracting #0: cost 19 inf + 0
4.422 * * [simplify]: Extracting #1: cost 189 inf + 0
4.425 * * [simplify]: Extracting #2: cost 680 inf + 6171
4.453 * * [simplify]: Extracting #3: cost 590 inf + 65097
4.501 * * [simplify]: Extracting #4: cost 163 inf + 137251
4.572 * * [simplify]: Extracting #5: cost 53 inf + 166838
4.646 * * [simplify]: Extracting #6: cost 16 inf + 177463
4.698 * * [simplify]: Extracting #7: cost 1 inf + 181025
4.748 * * [simplify]: Extracting #8: cost 0 inf + 181319
4.800 * [simplify]: Simplified to:
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ 4 (/ (+ 4 (/ 4 (+ 1 t))) (+ 1 t)))
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ 4 (/ (+ 4 (/ 4 (+ 1 t))) (+ 1 t)))
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ 4 (/ (+ 4 (/ 4 (+ 1 t))) (+ 1 t)))
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (- 2 (/ 2 (+ 1 t))) (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ 4 (/ (+ 4 (/ 4 (+ 1 t))) (+ 1 t)))
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (+ (- (+ t t) (* (+ t t) t)) (* (* (+ t t) t) t))
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (- (+ t t) (* (+ t t) t)) (* (* (+ t t) t) t))
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (- (+ t t) (* (+ t t) t)) (* (* (+ t t) t) t))
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (- (+ t t) (* (+ t t) t)) (* (* (+ t t) t) t))
  (+ (/ (- (/ 2 t) 2) t) 2)
  (+ (/ (- (/ 2 t) 2) t) 2)
4.814 * * * [progress]: adding candidates to table
5.175 * [progress]: [Phase 3 of 3] Extracting.
5.181 * [simplify]: Simplifying:
  (/ (+ 1 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))) (+ 2 (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1))))))
5.181 * * [simplify]: iteration 0: 10 enodes
5.182 * * [simplify]: iteration 1: 15 enodes
5.183 * * [simplify]: iteration complete: 15 enodes
5.183 * * [simplify]: Extracting #0: cost 1 inf + 0
5.183 * * [simplify]: Extracting #1: cost 3 inf + 0
5.183 * * [simplify]: Extracting #2: cost 6 inf + 0
5.183 * * [simplify]: Extracting #3: cost 5 inf + 2
5.183 * * [simplify]: Extracting #4: cost 6 inf + 2
5.183 * * [simplify]: Extracting #5: cost 7 inf + 2
5.183 * * [simplify]: Extracting #6: cost 8 inf + 2
5.183 * * [simplify]: Extracting #7: cost 0 inf + 1103
5.184 * [simplify]: Simplified to:
  (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
7.278 * [regime-testing]: Baseline error score: 0.009751218902362795
7.282 * [regime-testing]: Oracle error score: 0.009751218902362795
7.283 * [regime-testing]: End program error score: 0.009751218902362795