9.408 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
0.027 * * [simplify]: iteration 0: 10 enodes
0.028 * * [simplify]: iteration 1: 20 enodes
0.036 * * [simplify]: iteration 2: 46 enodes
0.045 * * [simplify]: iteration 3: 125 enodes
0.113 * * [simplify]: iteration 4: 342 enodes
0.307 * * [simplify]: iteration 5: 725 enodes
0.637 * * [simplify]: iteration 6: 1053 enodes
0.959 * * [simplify]: iteration 7: 1436 enodes
1.496 * * [simplify]: iteration complete: 5001 enodes
1.496 * * [simplify]: Extracting #0: cost 1 inf + 0
1.496 * * [simplify]: Extracting #1: cost 8 inf + 0
1.497 * * [simplify]: Extracting #2: cost 45 inf + 1
1.500 * * [simplify]: Extracting #3: cost 729 inf + 7
1.507 * * [simplify]: Extracting #4: cost 1076 inf + 1911
1.517 * * [simplify]: Extracting #5: cost 437 inf + 9110
1.523 * * [simplify]: Extracting #6: cost 49 inf + 11794
1.529 * * [simplify]: Extracting #7: cost 0 inf + 12057
1.539 * [simplify]: Simplified to:
  (/ (/ (fma 2.0 (/ (* t 2.0) (/ (* (+ 1.0 t) (+ 1.0 t)) t)) 1.0) 2.0) (fma (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1))
1.544 * * [progress]: iteration 1 / 4
1.544 * * * [progress]: picking best candidate
1.549 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>
1.549 * * * [progress]: localizing error
1.576 * * * [progress]: generating rewritten candidates
1.576 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.636 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.690 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1.748 * * * [progress]: generating series expansions
1.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.748 * [backup-simplify]: Simplify (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) into (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))
1.748 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0
1.748 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
1.748 * [taylor]: Taking taylor expansion of 4.0 in t
1.748 * [backup-simplify]: Simplify 4.0 into 4.0
1.748 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
1.749 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
1.749 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.749 * [taylor]: Taking taylor expansion of t in t
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [taylor]: Taking taylor expansion of 1.0 in t
1.749 * [backup-simplify]: Simplify 1.0 into 1.0
1.749 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.750 * [backup-simplify]: Simplify (* 1 1) into 1
1.750 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
1.751 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.751 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
1.751 * [taylor]: Taking taylor expansion of 4.0 in t
1.751 * [backup-simplify]: Simplify 4.0 into 4.0
1.751 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
1.751 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 1 into 1
1.751 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
1.751 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.751 * [taylor]: Taking taylor expansion of t in t
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 1 into 1
1.751 * [taylor]: Taking taylor expansion of 1.0 in t
1.751 * [backup-simplify]: Simplify 1.0 into 1.0
1.751 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.752 * [backup-simplify]: Simplify (* 1 1) into 1
1.752 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
1.753 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.753 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
1.753 * [backup-simplify]: Simplify 4.0 into 4.0
1.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.754 * [backup-simplify]: Simplify (+ 1 0) into 1
1.755 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
1.758 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
1.759 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
1.759 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
1.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.760 * [backup-simplify]: Simplify (+ 0 0) into 0
1.761 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1
1.764 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
1.765 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
1.765 * [backup-simplify]: Simplify 12.0 into 12.0
1.766 * [backup-simplify]: Simplify (+ (* 12.0 (pow t 4)) (+ (* (- 8.0) (pow t 3)) (* 4.0 (pow t 2)))) into (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
1.766 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t)))) into (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))
1.766 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0
1.766 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
1.766 * [taylor]: Taking taylor expansion of 4.0 in t
1.766 * [backup-simplify]: Simplify 4.0 into 4.0
1.766 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
1.766 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.766 * [taylor]: Taking taylor expansion of t in t
1.766 * [backup-simplify]: Simplify 0 into 0
1.766 * [backup-simplify]: Simplify 1 into 1
1.766 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
1.766 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.767 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.767 * [taylor]: Taking taylor expansion of t in t
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (/ 1 1) into 1
1.767 * [taylor]: Taking taylor expansion of 1.0 in t
1.767 * [backup-simplify]: Simplify 1.0 into 1.0
1.767 * [backup-simplify]: Simplify (+ 1 0) into 1
1.767 * [backup-simplify]: Simplify (* 1 1) into 1
1.768 * [backup-simplify]: Simplify (* 1 1) into 1
1.768 * [backup-simplify]: Simplify (* 1 1) into 1
1.768 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.768 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
1.768 * [taylor]: Taking taylor expansion of 4.0 in t
1.768 * [backup-simplify]: Simplify 4.0 into 4.0
1.768 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
1.768 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.768 * [taylor]: Taking taylor expansion of t in t
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
1.768 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.768 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.768 * [taylor]: Taking taylor expansion of t in t
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (/ 1 1) into 1
1.769 * [taylor]: Taking taylor expansion of 1.0 in t
1.769 * [backup-simplify]: Simplify 1.0 into 1.0
1.769 * [backup-simplify]: Simplify (+ 1 0) into 1
1.769 * [backup-simplify]: Simplify (* 1 1) into 1
1.770 * [backup-simplify]: Simplify (* 1 1) into 1
1.770 * [backup-simplify]: Simplify (* 1 1) into 1
1.770 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.770 * [backup-simplify]: Simplify 4.0 into 4.0
1.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.771 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.772 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
1.773 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.773 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
1.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 2.0 1)))) into (- 8.0)
1.776 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.777 * [backup-simplify]: Simplify (+ 0 0) into 0
1.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
1.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.780 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
1.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* (- 8.0) (/ 2.0 1)))) into 12.0
1.784 * [backup-simplify]: Simplify 12.0 into 12.0
1.784 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 t) 2)) (+ (* (- 8.0) (/ 1 t)) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
1.784 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t))))) into (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))
1.784 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0
1.784 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
1.784 * [taylor]: Taking taylor expansion of 4.0 in t
1.784 * [backup-simplify]: Simplify 4.0 into 4.0
1.784 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
1.784 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.785 * [taylor]: Taking taylor expansion of t in t
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 1 into 1
1.785 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
1.785 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.785 * [taylor]: Taking taylor expansion of 1.0 in t
1.785 * [backup-simplify]: Simplify 1.0 into 1.0
1.785 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.785 * [taylor]: Taking taylor expansion of t in t
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (/ 1 1) into 1
1.785 * [backup-simplify]: Simplify (- 1) into -1
1.785 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.786 * [backup-simplify]: Simplify (* 1 1) into 1
1.786 * [backup-simplify]: Simplify (* -1 -1) into 1
1.786 * [backup-simplify]: Simplify (* 1 1) into 1
1.786 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.786 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
1.787 * [taylor]: Taking taylor expansion of 4.0 in t
1.787 * [backup-simplify]: Simplify 4.0 into 4.0
1.787 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
1.787 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.787 * [taylor]: Taking taylor expansion of t in t
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify 1 into 1
1.787 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
1.787 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.787 * [taylor]: Taking taylor expansion of 1.0 in t
1.787 * [backup-simplify]: Simplify 1.0 into 1.0
1.787 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.787 * [taylor]: Taking taylor expansion of t in t
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify 1 into 1
1.787 * [backup-simplify]: Simplify (/ 1 1) into 1
1.787 * [backup-simplify]: Simplify (- 1) into -1
1.788 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.788 * [backup-simplify]: Simplify (* 1 1) into 1
1.788 * [backup-simplify]: Simplify (* -1 -1) into 1
1.788 * [backup-simplify]: Simplify (* 1 1) into 1
1.789 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.789 * [backup-simplify]: Simplify 4.0 into 4.0
1.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.789 * [backup-simplify]: Simplify (- 0) into 0
1.790 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.791 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
1.791 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.792 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
1.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ (- 2.0) 1)))) into 8.0
1.796 * [backup-simplify]: Simplify 8.0 into 8.0
1.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.797 * [backup-simplify]: Simplify (- 0) into 0
1.797 * [backup-simplify]: Simplify (+ 0 0) into 0
1.804 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
1.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.807 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
1.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* 8.0 (/ (- 2.0) 1)))) into 12.0
1.813 * [backup-simplify]: Simplify 12.0 into 12.0
1.814 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 (- t)) 2)) (+ (* 8.0 (/ 1 (- t))) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
1.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.814 * [backup-simplify]: Simplify (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) into (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))
1.814 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0
1.814 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
1.814 * [taylor]: Taking taylor expansion of 4.0 in t
1.814 * [backup-simplify]: Simplify 4.0 into 4.0
1.814 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
1.814 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.814 * [taylor]: Taking taylor expansion of t in t
1.814 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify 1 into 1
1.814 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
1.814 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.814 * [taylor]: Taking taylor expansion of t in t
1.814 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify 1 into 1
1.814 * [taylor]: Taking taylor expansion of 1.0 in t
1.814 * [backup-simplify]: Simplify 1.0 into 1.0
1.815 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.815 * [backup-simplify]: Simplify (* 1 1) into 1
1.816 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
1.816 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.816 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
1.816 * [taylor]: Taking taylor expansion of 4.0 in t
1.816 * [backup-simplify]: Simplify 4.0 into 4.0
1.816 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
1.816 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.816 * [taylor]: Taking taylor expansion of t in t
1.816 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify 1 into 1
1.816 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
1.816 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.816 * [taylor]: Taking taylor expansion of t in t
1.816 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify 1 into 1
1.816 * [taylor]: Taking taylor expansion of 1.0 in t
1.816 * [backup-simplify]: Simplify 1.0 into 1.0
1.817 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.817 * [backup-simplify]: Simplify (* 1 1) into 1
1.818 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
1.818 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.819 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
1.819 * [backup-simplify]: Simplify 4.0 into 4.0
1.819 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.820 * [backup-simplify]: Simplify (+ 1 0) into 1
1.822 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
1.825 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
1.827 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
1.827 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
1.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.829 * [backup-simplify]: Simplify (+ 0 0) into 0
1.830 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1
1.835 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
1.837 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
1.837 * [backup-simplify]: Simplify 12.0 into 12.0
1.838 * [backup-simplify]: Simplify (+ (* 12.0 (pow t 4)) (+ (* (- 8.0) (pow t 3)) (* 4.0 (pow t 2)))) into (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
1.838 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t)))) into (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))
1.838 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0
1.838 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
1.838 * [taylor]: Taking taylor expansion of 4.0 in t
1.838 * [backup-simplify]: Simplify 4.0 into 4.0
1.838 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
1.838 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.838 * [taylor]: Taking taylor expansion of t in t
1.838 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify 1 into 1
1.838 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
1.839 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.839 * [taylor]: Taking taylor expansion of t in t
1.839 * [backup-simplify]: Simplify 0 into 0
1.839 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (/ 1 1) into 1
1.839 * [taylor]: Taking taylor expansion of 1.0 in t
1.839 * [backup-simplify]: Simplify 1.0 into 1.0
1.839 * [backup-simplify]: Simplify (+ 1 0) into 1
1.839 * [backup-simplify]: Simplify (* 1 1) into 1
1.840 * [backup-simplify]: Simplify (* 1 1) into 1
1.840 * [backup-simplify]: Simplify (* 1 1) into 1
1.840 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.840 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
1.840 * [taylor]: Taking taylor expansion of 4.0 in t
1.840 * [backup-simplify]: Simplify 4.0 into 4.0
1.840 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
1.840 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.840 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.840 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.840 * [taylor]: Taking taylor expansion of t in t
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify 1 into 1
1.841 * [backup-simplify]: Simplify (/ 1 1) into 1
1.841 * [taylor]: Taking taylor expansion of 1.0 in t
1.841 * [backup-simplify]: Simplify 1.0 into 1.0
1.841 * [backup-simplify]: Simplify (+ 1 0) into 1
1.841 * [backup-simplify]: Simplify (* 1 1) into 1
1.841 * [backup-simplify]: Simplify (* 1 1) into 1
1.842 * [backup-simplify]: Simplify (* 1 1) into 1
1.842 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.842 * [backup-simplify]: Simplify 4.0 into 4.0
1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.844 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
1.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.845 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
1.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 2.0 1)))) into (- 8.0)
1.847 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
1.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.848 * [backup-simplify]: Simplify (+ 0 0) into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.852 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
1.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* (- 8.0) (/ 2.0 1)))) into 12.0
1.855 * [backup-simplify]: Simplify 12.0 into 12.0
1.856 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 t) 2)) (+ (* (- 8.0) (/ 1 t)) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
1.856 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t))))) into (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))
1.856 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0
1.856 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
1.856 * [taylor]: Taking taylor expansion of 4.0 in t
1.856 * [backup-simplify]: Simplify 4.0 into 4.0
1.856 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
1.856 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.856 * [taylor]: Taking taylor expansion of t in t
1.856 * [backup-simplify]: Simplify 0 into 0
1.856 * [backup-simplify]: Simplify 1 into 1
1.856 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
1.856 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.856 * [taylor]: Taking taylor expansion of 1.0 in t
1.856 * [backup-simplify]: Simplify 1.0 into 1.0
1.856 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.856 * [taylor]: Taking taylor expansion of t in t
1.856 * [backup-simplify]: Simplify 0 into 0
1.856 * [backup-simplify]: Simplify 1 into 1
1.857 * [backup-simplify]: Simplify (/ 1 1) into 1
1.857 * [backup-simplify]: Simplify (- 1) into -1
1.857 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.857 * [backup-simplify]: Simplify (* 1 1) into 1
1.858 * [backup-simplify]: Simplify (* -1 -1) into 1
1.858 * [backup-simplify]: Simplify (* 1 1) into 1
1.858 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.858 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
1.858 * [taylor]: Taking taylor expansion of 4.0 in t
1.858 * [backup-simplify]: Simplify 4.0 into 4.0
1.858 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
1.858 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.858 * [taylor]: Taking taylor expansion of t in t
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify 1 into 1
1.858 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
1.858 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.858 * [taylor]: Taking taylor expansion of 1.0 in t
1.858 * [backup-simplify]: Simplify 1.0 into 1.0
1.858 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.858 * [taylor]: Taking taylor expansion of t in t
1.858 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify 1 into 1
1.859 * [backup-simplify]: Simplify (/ 1 1) into 1
1.859 * [backup-simplify]: Simplify (- 1) into -1
1.859 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.859 * [backup-simplify]: Simplify (* 1 1) into 1
1.860 * [backup-simplify]: Simplify (* -1 -1) into 1
1.860 * [backup-simplify]: Simplify (* 1 1) into 1
1.860 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.860 * [backup-simplify]: Simplify 4.0 into 4.0
1.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.861 * [backup-simplify]: Simplify (- 0) into 0
1.861 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.862 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
1.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.864 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
1.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ (- 2.0) 1)))) into 8.0
1.866 * [backup-simplify]: Simplify 8.0 into 8.0
1.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.867 * [backup-simplify]: Simplify (- 0) into 0
1.867 * [backup-simplify]: Simplify (+ 0 0) into 0
1.869 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
1.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.873 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
1.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* 8.0 (/ (- 2.0) 1)))) into 12.0
1.879 * [backup-simplify]: Simplify 12.0 into 12.0
1.879 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 (- t)) 2)) (+ (* 8.0 (/ 1 (- t))) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
1.879 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1.879 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.880 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.880 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.880 * [taylor]: Taking taylor expansion of 2.0 in t
1.880 * [backup-simplify]: Simplify 2.0 into 2.0
1.880 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.880 * [taylor]: Taking taylor expansion of t in t
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.880 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.880 * [taylor]: Taking taylor expansion of t in t
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 1 into 1
1.880 * [taylor]: Taking taylor expansion of 1.0 in t
1.880 * [backup-simplify]: Simplify 1.0 into 1.0
1.881 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.881 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.881 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.881 * [taylor]: Taking taylor expansion of 2.0 in t
1.881 * [backup-simplify]: Simplify 2.0 into 2.0
1.881 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.881 * [taylor]: Taking taylor expansion of t in t
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.882 * [taylor]: Taking taylor expansion of t in t
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [taylor]: Taking taylor expansion of 1.0 in t
1.882 * [backup-simplify]: Simplify 1.0 into 1.0
1.882 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.883 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.883 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.883 * [backup-simplify]: Simplify 2.0 into 2.0
1.884 * [backup-simplify]: Simplify (+ 1 0) into 1
1.887 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.889 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.890 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.890 * [backup-simplify]: Simplify (+ 0 0) into 0
1.895 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.898 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.898 * [backup-simplify]: Simplify 2.0 into 2.0
1.899 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.899 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.899 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.899 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.899 * [taylor]: Taking taylor expansion of 2.0 in t
1.899 * [backup-simplify]: Simplify 2.0 into 2.0
1.899 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.899 * [taylor]: Taking taylor expansion of t in t
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 1 into 1
1.899 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.899 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.899 * [taylor]: Taking taylor expansion of t in t
1.899 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify 1 into 1
1.900 * [backup-simplify]: Simplify (/ 1 1) into 1
1.900 * [taylor]: Taking taylor expansion of 1.0 in t
1.900 * [backup-simplify]: Simplify 1.0 into 1.0
1.900 * [backup-simplify]: Simplify (+ 1 0) into 1
1.901 * [backup-simplify]: Simplify (* 0 1) into 0
1.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.902 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.903 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.903 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.903 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.904 * [taylor]: Taking taylor expansion of 2.0 in t
1.904 * [backup-simplify]: Simplify 2.0 into 2.0
1.904 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.904 * [taylor]: Taking taylor expansion of t in t
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.904 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.904 * [taylor]: Taking taylor expansion of t in t
1.904 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [backup-simplify]: Simplify (/ 1 1) into 1
1.904 * [taylor]: Taking taylor expansion of 1.0 in t
1.904 * [backup-simplify]: Simplify 1.0 into 1.0
1.905 * [backup-simplify]: Simplify (+ 1 0) into 1
1.905 * [backup-simplify]: Simplify (* 0 1) into 0
1.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.906 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.907 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.908 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.908 * [backup-simplify]: Simplify 2.0 into 2.0
1.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.909 * [backup-simplify]: Simplify (+ 0 0) into 0
1.912 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.916 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.917 * [backup-simplify]: Simplify (+ 0 0) into 0
1.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.925 * [backup-simplify]: Simplify 2.0 into 2.0
1.927 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
1.928 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.928 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.928 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.928 * [taylor]: Taking taylor expansion of -2.0 in t
1.928 * [backup-simplify]: Simplify -2.0 into -2.0
1.928 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.928 * [taylor]: Taking taylor expansion of t in t
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 1 into 1
1.928 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.928 * [taylor]: Taking taylor expansion of 1.0 in t
1.928 * [backup-simplify]: Simplify 1.0 into 1.0
1.928 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.928 * [taylor]: Taking taylor expansion of t in t
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 1 into 1
1.929 * [backup-simplify]: Simplify (/ 1 1) into 1
1.929 * [backup-simplify]: Simplify (- 1) into -1
1.930 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.930 * [backup-simplify]: Simplify (* 0 -1) into 0
1.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.932 * [backup-simplify]: Simplify (- 0) into 0
1.932 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.933 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.934 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.934 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.934 * [taylor]: Taking taylor expansion of -2.0 in t
1.934 * [backup-simplify]: Simplify -2.0 into -2.0
1.934 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.934 * [taylor]: Taking taylor expansion of t in t
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify 1 into 1
1.934 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.934 * [taylor]: Taking taylor expansion of 1.0 in t
1.934 * [backup-simplify]: Simplify 1.0 into 1.0
1.934 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.934 * [taylor]: Taking taylor expansion of t in t
1.934 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify 1 into 1
1.935 * [backup-simplify]: Simplify (/ 1 1) into 1
1.935 * [backup-simplify]: Simplify (- 1) into -1
1.935 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.936 * [backup-simplify]: Simplify (* 0 -1) into 0
1.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.937 * [backup-simplify]: Simplify (- 0) into 0
1.938 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.938 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.939 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.939 * [backup-simplify]: Simplify 2.0 into 2.0
1.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.940 * [backup-simplify]: Simplify (- 0) into 0
1.941 * [backup-simplify]: Simplify (+ 0 0) into 0
1.944 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.948 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.948 * [backup-simplify]: Simplify 2.0 into 2.0
1.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.949 * [backup-simplify]: Simplify (- 0) into 0
1.950 * [backup-simplify]: Simplify (+ 0 0) into 0
1.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
1.955 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
1.956 * [backup-simplify]: Simplify 2.0 into 2.0
1.956 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
1.956 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1.956 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
1.956 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
1.956 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.956 * [taylor]: Taking taylor expansion of 2.0 in t
1.956 * [backup-simplify]: Simplify 2.0 into 2.0
1.956 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.957 * [taylor]: Taking taylor expansion of t in t
1.957 * [backup-simplify]: Simplify 0 into 0
1.957 * [backup-simplify]: Simplify 1 into 1
1.957 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.957 * [taylor]: Taking taylor expansion of t in t
1.957 * [backup-simplify]: Simplify 0 into 0
1.957 * [backup-simplify]: Simplify 1 into 1
1.957 * [taylor]: Taking taylor expansion of 1.0 in t
1.957 * [backup-simplify]: Simplify 1.0 into 1.0
1.957 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.958 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.958 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
1.958 * [taylor]: Taking taylor expansion of 2.0 in t
1.958 * [backup-simplify]: Simplify 2.0 into 2.0
1.958 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
1.958 * [taylor]: Taking taylor expansion of t in t
1.958 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify 1 into 1
1.958 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
1.958 * [taylor]: Taking taylor expansion of t in t
1.958 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify 1 into 1
1.958 * [taylor]: Taking taylor expansion of 1.0 in t
1.958 * [backup-simplify]: Simplify 1.0 into 1.0
1.959 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.959 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
1.960 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
1.960 * [backup-simplify]: Simplify 2.0 into 2.0
1.961 * [backup-simplify]: Simplify (+ 1 0) into 1
1.964 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
1.965 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
1.966 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.966 * [backup-simplify]: Simplify (+ 0 0) into 0
1.969 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
1.970 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
1.970 * [backup-simplify]: Simplify 2.0 into 2.0
1.971 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
1.971 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
1.971 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
1.971 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.971 * [taylor]: Taking taylor expansion of 2.0 in t
1.971 * [backup-simplify]: Simplify 2.0 into 2.0
1.971 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.971 * [taylor]: Taking taylor expansion of t in t
1.971 * [backup-simplify]: Simplify 0 into 0
1.971 * [backup-simplify]: Simplify 1 into 1
1.971 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.971 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.971 * [taylor]: Taking taylor expansion of t in t
1.971 * [backup-simplify]: Simplify 0 into 0
1.971 * [backup-simplify]: Simplify 1 into 1
1.971 * [backup-simplify]: Simplify (/ 1 1) into 1
1.971 * [taylor]: Taking taylor expansion of 1.0 in t
1.971 * [backup-simplify]: Simplify 1.0 into 1.0
1.971 * [backup-simplify]: Simplify (+ 1 0) into 1
1.972 * [backup-simplify]: Simplify (* 0 1) into 0
1.972 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.972 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.973 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.973 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.973 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
1.973 * [taylor]: Taking taylor expansion of 2.0 in t
1.973 * [backup-simplify]: Simplify 2.0 into 2.0
1.973 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
1.973 * [taylor]: Taking taylor expansion of t in t
1.973 * [backup-simplify]: Simplify 0 into 0
1.973 * [backup-simplify]: Simplify 1 into 1
1.973 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.973 * [taylor]: Taking taylor expansion of t in t
1.973 * [backup-simplify]: Simplify 0 into 0
1.973 * [backup-simplify]: Simplify 1 into 1
1.974 * [backup-simplify]: Simplify (/ 1 1) into 1
1.974 * [taylor]: Taking taylor expansion of 1.0 in t
1.974 * [backup-simplify]: Simplify 1.0 into 1.0
1.974 * [backup-simplify]: Simplify (+ 1 0) into 1
1.974 * [backup-simplify]: Simplify (* 0 1) into 0
1.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.975 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.975 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
1.976 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
1.976 * [backup-simplify]: Simplify 2.0 into 2.0
1.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.977 * [backup-simplify]: Simplify (+ 0 0) into 0
1.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
1.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
1.980 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
1.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.981 * [backup-simplify]: Simplify (+ 0 0) into 0
1.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
1.985 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
1.985 * [backup-simplify]: Simplify 2.0 into 2.0
1.985 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
1.986 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
1.986 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
1.986 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.986 * [taylor]: Taking taylor expansion of -2.0 in t
1.986 * [backup-simplify]: Simplify -2.0 into -2.0
1.986 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.986 * [taylor]: Taking taylor expansion of t in t
1.986 * [backup-simplify]: Simplify 0 into 0
1.986 * [backup-simplify]: Simplify 1 into 1
1.986 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.986 * [taylor]: Taking taylor expansion of 1.0 in t
1.986 * [backup-simplify]: Simplify 1.0 into 1.0
1.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.986 * [taylor]: Taking taylor expansion of t in t
1.986 * [backup-simplify]: Simplify 0 into 0
1.986 * [backup-simplify]: Simplify 1 into 1
1.986 * [backup-simplify]: Simplify (/ 1 1) into 1
1.986 * [backup-simplify]: Simplify (- 1) into -1
1.987 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.987 * [backup-simplify]: Simplify (* 0 -1) into 0
1.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.988 * [backup-simplify]: Simplify (- 0) into 0
1.988 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.988 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.989 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.989 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
1.989 * [taylor]: Taking taylor expansion of -2.0 in t
1.989 * [backup-simplify]: Simplify -2.0 into -2.0
1.989 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
1.989 * [taylor]: Taking taylor expansion of t in t
1.989 * [backup-simplify]: Simplify 0 into 0
1.989 * [backup-simplify]: Simplify 1 into 1
1.989 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
1.989 * [taylor]: Taking taylor expansion of 1.0 in t
1.989 * [backup-simplify]: Simplify 1.0 into 1.0
1.989 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.989 * [taylor]: Taking taylor expansion of t in t
1.989 * [backup-simplify]: Simplify 0 into 0
1.989 * [backup-simplify]: Simplify 1 into 1
1.989 * [backup-simplify]: Simplify (/ 1 1) into 1
1.989 * [backup-simplify]: Simplify (- 1) into -1
1.990 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.990 * [backup-simplify]: Simplify (* 0 -1) into 0
1.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.991 * [backup-simplify]: Simplify (- 0) into 0
1.991 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.992 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
1.992 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
1.992 * [backup-simplify]: Simplify 2.0 into 2.0
1.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.993 * [backup-simplify]: Simplify (- 0) into 0
1.993 * [backup-simplify]: Simplify (+ 0 0) into 0
1.995 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
1.997 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
1.997 * [backup-simplify]: Simplify 2.0 into 2.0
1.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.998 * [backup-simplify]: Simplify (- 0) into 0
1.998 * [backup-simplify]: Simplify (+ 0 0) into 0
1.999 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
2.001 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
2.001 * [backup-simplify]: Simplify 2.0 into 2.0
2.002 * [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)))
2.002 * * * [progress]: simplifying candidates
2.007 * [simplify]: Simplifying:
  (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (+ 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (+ 1 1)
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (- 1.0 t) (- 1.0 t))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (+ 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (+ 1 1)
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (- 1.0 t) (- 1.0 t))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (/ (* 2.0 t) (+ 1.0 t)))
  (log1p (/ (* 2.0 t) (+ 1.0 t)))
  (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))
  (- (log (* 2.0 t)) (log (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (exp (/ (* 2.0 t) (+ 1.0 t)))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (cbrt (/ (* 2.0 t) (+ 1.0 t)))
  (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (- (* 2.0 t))
  (- (+ 1.0 t))
  (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* 2.0 t))
  (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ (* 2.0 t) (sqrt (+ 1.0 t)))
  (/ (* 2.0 t) 1)
  (/ (* 2.0 t) 1)
  (/ (+ 1.0 t) t)
  (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))
  (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))
  (expm1 (/ (* 2.0 t) (+ 1.0 t)))
  (log1p (/ (* 2.0 t) (+ 1.0 t)))
  (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))
  (- (log (* 2.0 t)) (log (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (exp (/ (* 2.0 t) (+ 1.0 t)))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (cbrt (/ (* 2.0 t) (+ 1.0 t)))
  (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (- (* 2.0 t))
  (- (+ 1.0 t))
  (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* 2.0 t))
  (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ (* 2.0 t) (sqrt (+ 1.0 t)))
  (/ (* 2.0 t) 1)
  (/ (* 2.0 t) 1)
  (/ (+ 1.0 t) t)
  (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))
  (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))
  (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.012 * * [simplify]: iteration 0: 150 enodes
2.070 * * [simplify]: iteration 1: 528 enodes
2.700 * * [simplify]: iteration 2: 3724 enodes
4.432 * * [simplify]: iteration complete: 5001 enodes
4.432 * * [simplify]: Extracting #0: cost 71 inf + 0
4.437 * * [simplify]: Extracting #1: cost 1233 inf + 3
4.447 * * [simplify]: Extracting #2: cost 1832 inf + 281
4.455 * * [simplify]: Extracting #3: cost 1205 inf + 4251
4.466 * * [simplify]: Extracting #4: cost 201 inf + 15947
4.473 * * [simplify]: Extracting #5: cost 2 inf + 19132
4.480 * * [simplify]: Extracting #6: cost 0 inf + 19135
4.487 * [simplify]: Simplified to:
  (expm1 (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (log1p (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  2
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  2
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (exp (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (/ (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (* (pow 2.0 3) (pow t 3))) (pow (+ 1.0 t) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (* (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))) (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))))
  (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (fabs (/ 2.0 (/ (+ 1.0 t) t)))
  (fabs (/ 2.0 (/ (+ 1.0 t) t)))
  (* (* t t) (* 2.0 2.0))
  (* (+ 1.0 t) (+ 1.0 t))
  (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (cbrt (/ 2.0 (/ (+ 1.0 t) t))))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ (/ (* 2.0 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (/ (cbrt (+ 1.0 t)) (/ t (cbrt (+ 1.0 t)))))
  (/ (/ (* 2.0 2.0) (sqrt (+ 1.0 t))) (sqrt (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  1
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (* (* t t) (* 2.0 2.0))
  (/ (/ 1 (+ 1.0 t)) (+ 1.0 t))
  (/ (/ t (/ (+ (pow 1.0 3) (pow t 3)) 2.0)) (/ (+ (pow 1.0 3) (pow t 3)) (* t 2.0)))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0))))
  (/ (/ (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) (- 1.0 t)) (- 1.0 t))
  (* (- 1.0 t) (- 1.0 t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ 2.0 (/ (+ 1.0 t) t))
  2
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) 3)
  (* (/ (/ 2.0 (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t))) (/ 2.0 (/ (+ 1.0 t) t)))
  (/ (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (sqrt (+ 1.0 t)))
  (/ (* (* t 2.0) 2.0) (+ 1.0 t))
  (/ (* (* t 2.0) 2.0) (+ 1.0 t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (/ (* 2.0 (/ 2.0 (/ (+ 1.0 t) t))) (/ (+ (pow 1.0 3) (pow t 3)) t))
  (/ (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) (- 1.0 t))
  (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) 3)
  (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t))
  (/ (* (/ t (sqrt (+ 1.0 t))) (* t 2.0)) (+ 1.0 t))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (/ t (+ 1.0 t)))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (/ (/ 2.0 (/ (+ 1.0 t) t)) (+ 1.0 t))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (fma 1.0 1.0 (* t (- t 1.0))))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (- 1.0 t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (expm1 (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (log1p (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  2
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  2
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (* (log (/ 2.0 (/ (+ 1.0 t) t))) 2)
  (exp (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (/ (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (* (pow 2.0 3) (pow t 3))) (pow (+ 1.0 t) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (* (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3)) (pow (/ 2.0 (/ (+ 1.0 t) t)) 3))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (* (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))) (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))))
  (cbrt (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (pow (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) 3)
  (fabs (/ 2.0 (/ (+ 1.0 t) t)))
  (fabs (/ 2.0 (/ (+ 1.0 t) t)))
  (* (* t t) (* 2.0 2.0))
  (* (+ 1.0 t) (+ 1.0 t))
  (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (cbrt (/ 2.0 (/ (+ 1.0 t) t))))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ (/ (* 2.0 2.0) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (/ (cbrt (+ 1.0 t)) (/ t (cbrt (+ 1.0 t)))))
  (/ (/ (* 2.0 2.0) (sqrt (+ 1.0 t))) (sqrt (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  (* 2.0 2.0)
  (/ (/ (* t t) (+ 1.0 t)) (+ 1.0 t))
  1
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (* (* t t) (* 2.0 2.0))
  (/ (/ 1 (+ 1.0 t)) (+ 1.0 t))
  (/ (/ t (/ (+ (pow 1.0 3) (pow t 3)) 2.0)) (/ (+ (pow 1.0 3) (pow t 3)) (* t 2.0)))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0))))
  (/ (/ (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) (- 1.0 t)) (- 1.0 t))
  (* (- 1.0 t) (- 1.0 t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ 2.0 (/ (+ 1.0 t) t))
  2
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) 3)
  (* (/ (/ 2.0 (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t))) (/ 2.0 (/ (+ 1.0 t) t)))
  (/ (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (sqrt (+ 1.0 t)))
  (/ (* (* t 2.0) 2.0) (+ 1.0 t))
  (/ (* (* t 2.0) 2.0) (+ 1.0 t))
  (/ 2.0 (/ (+ 1.0 t) t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (/ (* 2.0 (/ 2.0 (/ (+ 1.0 t) t))) (/ (+ (pow 1.0 3) (pow t 3)) t))
  (/ (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1)) (- 1.0 t))
  (pow (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) 3)
  (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t))
  (/ (* (/ t (sqrt (+ 1.0 t))) (* t 2.0)) (+ 1.0 t))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (/ t (+ 1.0 t)))
  (pow (sqrt (/ 2.0 (/ (+ 1.0 t) t))) (+ 3 1))
  (/ (/ 2.0 (/ (+ 1.0 t) t)) (+ 1.0 t))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (fma 1.0 1.0 (* t (- t 1.0))))
  (* (/ 2.0 (/ (+ 1.0 t) t)) (- 1.0 t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (/ (* (* t t) (* 2.0 2.0)) (+ 1.0 t))
  (expm1 (/ 2.0 (/ (+ 1.0 t) t)))
  (log1p (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (exp (/ 2.0 (/ (+ 1.0 t) t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ 2.0 (/ (+ 1.0 t) t)) 3)
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (cbrt (/ 2.0 (/ (+ 1.0 t) t))))
  (cbrt (/ 2.0 (/ (+ 1.0 t) t)))
  (pow (/ 2.0 (/ (+ 1.0 t) t)) 3)
  (sqrt (/ 2.0 (/ (+ 1.0 t) t)))
  (sqrt (/ 2.0 (/ (+ 1.0 t) t)))
  (* (- 2.0) t)
  (- (+ 1.0 t))
  (/ (/ 2.0 (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  2.0
  (/ t (+ 1.0 t))
  2.0
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* t 2.0))
  (* (/ t (cbrt (+ 1.0 t))) (/ 2.0 (cbrt (+ 1.0 t))))
  (/ (* t 2.0) (sqrt (+ 1.0 t)))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ t (/ (+ (pow 1.0 3) (pow t 3)) 2.0))
  (* (/ t (+ 1.0 t)) (/ 2.0 (- 1.0 t)))
  (expm1 (/ 2.0 (/ (+ 1.0 t) t)))
  (log1p (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (log (/ 2.0 (/ (+ 1.0 t) t)))
  (exp (/ 2.0 (/ (+ 1.0 t) t)))
  (* (/ (pow 2.0 3) (pow (+ 1.0 t) 3)) (pow t 3))
  (pow (/ 2.0 (/ (+ 1.0 t) t)) 3)
  (* (cbrt (/ 2.0 (/ (+ 1.0 t) t))) (cbrt (/ 2.0 (/ (+ 1.0 t) t))))
  (cbrt (/ 2.0 (/ (+ 1.0 t) t)))
  (pow (/ 2.0 (/ (+ 1.0 t) t)) 3)
  (sqrt (/ 2.0 (/ (+ 1.0 t) t)))
  (sqrt (/ 2.0 (/ (+ 1.0 t) t)))
  (* (- 2.0) t)
  (- (+ 1.0 t))
  (/ (/ 2.0 (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  2.0
  (/ t (+ 1.0 t))
  2.0
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* t 2.0))
  (* (/ t (cbrt (+ 1.0 t))) (/ 2.0 (cbrt (+ 1.0 t))))
  (/ (* t 2.0) (sqrt (+ 1.0 t)))
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ t (/ (+ (pow 1.0 3) (pow t 3)) 2.0))
  (* (/ t (+ 1.0 t)) (/ 2.0 (- 1.0 t)))
  (fma (* 4.0 t) t (fma (pow t 4) 12.0 (* 8.0 (- (pow t 3)))))
  (+ (/ (/ 12.0 t) t) (- 4.0 (/ 8.0 t)))
  (+ (/ (/ 12.0 t) t) (- 4.0 (/ 8.0 t)))
  (fma (* 4.0 t) t (fma (pow t 4) 12.0 (* 8.0 (- (pow t 3)))))
  (+ (/ (/ 12.0 t) t) (- 4.0 (/ 8.0 t)))
  (+ (/ (/ 12.0 t) t) (- 4.0 (/ 8.0 t)))
  (fma 2.0 (- (pow t 3) (pow t 2)) (* t 2.0))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (fma 2.0 (- (pow t 3) (pow t 2)) (* t 2.0))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
4.489 * * * [progress]: adding candidates to table
5.340 * * [progress]: iteration 2 / 4
5.340 * * * [progress]: picking best candidate
5.344 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>
5.344 * * * [progress]: localizing error
5.410 * * * [progress]: generating rewritten candidates
5.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2)
5.446 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2 2)
5.451 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2)
5.457 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
5.475 * * * [progress]: generating series expansions
5.475 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2)
5.475 * [backup-simplify]: Simplify (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))) into (pow (pow (+ t 1.0) 2) 1/3)
5.475 * [approximate]: Taking taylor expansion of (pow (pow (+ t 1.0) 2) 1/3) in (t) around 0
5.475 * [taylor]: Taking taylor expansion of (pow (pow (+ t 1.0) 2) 1/3) in t
5.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t 1.0) 2)))) in t
5.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t 1.0) 2))) in t
5.476 * [taylor]: Taking taylor expansion of 1/3 in t
5.476 * [backup-simplify]: Simplify 1/3 into 1/3
5.476 * [taylor]: Taking taylor expansion of (log (pow (+ t 1.0) 2)) in t
5.476 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.476 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.476 * [taylor]: Taking taylor expansion of t in t
5.476 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify 1 into 1
5.476 * [taylor]: Taking taylor expansion of 1.0 in t
5.476 * [backup-simplify]: Simplify 1.0 into 1.0
5.477 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.477 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.478 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.479 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.480 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.480 * [taylor]: Taking taylor expansion of (pow (pow (+ t 1.0) 2) 1/3) in t
5.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t 1.0) 2)))) in t
5.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t 1.0) 2))) in t
5.480 * [taylor]: Taking taylor expansion of 1/3 in t
5.480 * [backup-simplify]: Simplify 1/3 into 1/3
5.481 * [taylor]: Taking taylor expansion of (log (pow (+ t 1.0) 2)) in t
5.481 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.481 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.481 * [taylor]: Taking taylor expansion of t in t
5.481 * [backup-simplify]: Simplify 0 into 0
5.481 * [backup-simplify]: Simplify 1 into 1
5.481 * [taylor]: Taking taylor expansion of 1.0 in t
5.481 * [backup-simplify]: Simplify 1.0 into 1.0
5.481 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.482 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.482 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.483 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.484 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.485 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
5.485 * [backup-simplify]: Simplify (+ 1 0) into 1
5.487 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
5.494 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow 1.0 1)))) 1) into 2.0
5.496 * [backup-simplify]: Simplify (+ (* 1/3 2.0) (* 0 (log 1.0))) into 0.6666666666666666
5.502 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.6666666666666666 1) 1)))) into (* 0.6666666666666666 (pow 1.0 1/3))
5.503 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow 1.0 1/3)) into (* 0.6666666666666666 (pow 1.0 1/3))
5.504 * [backup-simplify]: Simplify (+ 0 0) into 0
5.505 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.519 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))
5.529 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))) (+ (* 0 2.0) (* 0 (log 1.0)))) into (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2))))
5.545 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.6666666666666666 2) 2)) (* (/ (pow (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
5.550 * [backup-simplify]: Simplify (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
5.559 * [backup-simplify]: Simplify (+ (* (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow t 2)) (+ (* (* 0.6666666666666666 (pow 1.0 1/3)) t) (pow 1.0 1/3))) into (- (+ (* 0.5555555555555556 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.6666666666666666 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.6666666666666666 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
5.559 * [backup-simplify]: Simplify (* (cbrt (+ 1.0 (/ 1 t))) (cbrt (+ 1.0 (/ 1 t)))) into (pow (pow (+ (/ 1 t) 1.0) 2) 1/3)
5.559 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 t) 1.0) 2) 1/3) in (t) around 0
5.559 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 t) 1.0) 2) 1/3) in t
5.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 t) 1.0) 2)))) in t
5.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 t) 1.0) 2))) in t
5.559 * [taylor]: Taking taylor expansion of 1/3 in t
5.559 * [backup-simplify]: Simplify 1/3 into 1/3
5.560 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 t) 1.0) 2)) in t
5.560 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.560 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.560 * [taylor]: Taking taylor expansion of t in t
5.560 * [backup-simplify]: Simplify 0 into 0
5.560 * [backup-simplify]: Simplify 1 into 1
5.560 * [backup-simplify]: Simplify (/ 1 1) into 1
5.560 * [taylor]: Taking taylor expansion of 1.0 in t
5.560 * [backup-simplify]: Simplify 1.0 into 1.0
5.561 * [backup-simplify]: Simplify (+ 1 0) into 1
5.561 * [backup-simplify]: Simplify (* 1 1) into 1
5.562 * [backup-simplify]: Simplify (log 1) into 0
5.562 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.563 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log t)))) into (* -2/3 (log t))
5.563 * [backup-simplify]: Simplify (exp (* -2/3 (log t))) into (pow t -2/3)
5.563 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 t) 1.0) 2) 1/3) in t
5.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 t) 1.0) 2)))) in t
5.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 t) 1.0) 2))) in t
5.563 * [taylor]: Taking taylor expansion of 1/3 in t
5.563 * [backup-simplify]: Simplify 1/3 into 1/3
5.563 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 t) 1.0) 2)) in t
5.563 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.563 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.563 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.563 * [taylor]: Taking taylor expansion of t in t
5.563 * [backup-simplify]: Simplify 0 into 0
5.563 * [backup-simplify]: Simplify 1 into 1
5.564 * [backup-simplify]: Simplify (/ 1 1) into 1
5.564 * [taylor]: Taking taylor expansion of 1.0 in t
5.564 * [backup-simplify]: Simplify 1.0 into 1.0
5.564 * [backup-simplify]: Simplify (+ 1 0) into 1
5.565 * [backup-simplify]: Simplify (* 1 1) into 1
5.565 * [backup-simplify]: Simplify (log 1) into 0
5.566 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.566 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log t)))) into (* -2/3 (log t))
5.566 * [backup-simplify]: Simplify (exp (* -2/3 (log t))) into (pow t -2/3)
5.566 * [backup-simplify]: Simplify (pow t -2/3) into (pow t -2/3)
5.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.567 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.569 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
5.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow 1 1)))) 1) into 2.0
5.576 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.577 * [backup-simplify]: Simplify (+ (* 1/3 2.0) (* 0 (- (* 2 (log t))))) into 0.6666666666666666
5.579 * [backup-simplify]: Simplify (* (exp (* -2/3 (log t))) (+ (* (/ (pow 0.6666666666666666 1) 1)))) into (* 0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3))
5.580 * [backup-simplify]: Simplify (* 0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3)) into (* 0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3))
5.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.581 * [backup-simplify]: Simplify (+ 0 0) into 0
5.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
5.599 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
5.599 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.600 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 2.0) (* 0 (- (* 2 (log t)))))) into (- 0.3333333333333333)
5.606 * [backup-simplify]: Simplify (* (exp (* -2/3 (log t))) (+ (* (/ (pow 0.6666666666666666 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3))
5.607 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3)) into (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3))
5.608 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (pow (/ 1 t) 2)) 1/3)) (pow (/ 1 t) 2)) (+ (* (* 0.6666666666666666 (pow (/ 1 (pow (/ 1 t) 2)) 1/3)) (/ 1 t)) (pow (/ 1 t) -2/3))) into (- (+ (pow (/ 1 t) -2/3) (* 0.6666666666666666 (pow (/ 1 t) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 4)) 1/3)))
5.608 * [backup-simplify]: Simplify (* (cbrt (+ 1.0 (/ 1 (- t)))) (cbrt (+ 1.0 (/ 1 (- t))))) into (pow (pow (- 1.0 (/ 1 t)) 2) 1/3)
5.608 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 t)) 2) 1/3) in (t) around 0
5.608 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 t)) 2) 1/3) in t
5.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 t)) 2)))) in t
5.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 t)) 2))) in t
5.608 * [taylor]: Taking taylor expansion of 1/3 in t
5.608 * [backup-simplify]: Simplify 1/3 into 1/3
5.608 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 t)) 2)) in t
5.608 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
5.608 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.608 * [taylor]: Taking taylor expansion of 1.0 in t
5.608 * [backup-simplify]: Simplify 1.0 into 1.0
5.608 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.608 * [taylor]: Taking taylor expansion of t in t
5.608 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify 1 into 1
5.609 * [backup-simplify]: Simplify (/ 1 1) into 1
5.609 * [backup-simplify]: Simplify (- 1) into -1
5.610 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.610 * [backup-simplify]: Simplify (* -1 -1) into 1
5.611 * [backup-simplify]: Simplify (log 1) into 0
5.611 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.611 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log t)))) into (* -2/3 (log t))
5.611 * [backup-simplify]: Simplify (exp (* -2/3 (log t))) into (pow t -2/3)
5.611 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 t)) 2) 1/3) in t
5.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 t)) 2)))) in t
5.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 t)) 2))) in t
5.612 * [taylor]: Taking taylor expansion of 1/3 in t
5.612 * [backup-simplify]: Simplify 1/3 into 1/3
5.612 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 t)) 2)) in t
5.612 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
5.612 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.612 * [taylor]: Taking taylor expansion of 1.0 in t
5.612 * [backup-simplify]: Simplify 1.0 into 1.0
5.612 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.612 * [taylor]: Taking taylor expansion of t in t
5.612 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify 1 into 1
5.612 * [backup-simplify]: Simplify (/ 1 1) into 1
5.613 * [backup-simplify]: Simplify (- 1) into -1
5.613 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.614 * [backup-simplify]: Simplify (* -1 -1) into 1
5.614 * [backup-simplify]: Simplify (log 1) into 0
5.614 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.615 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log t)))) into (* -2/3 (log t))
5.615 * [backup-simplify]: Simplify (exp (* -2/3 (log t))) into (pow t -2/3)
5.615 * [backup-simplify]: Simplify (pow t -2/3) into (pow t -2/3)
5.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.616 * [backup-simplify]: Simplify (- 0) into 0
5.617 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.618 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
5.627 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1 1)))) 1) into -2.0
5.627 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.628 * [backup-simplify]: Simplify (+ (* 1/3 -2.0) (* 0 (- (* 2 (log t))))) into (- 0.6666666666666666)
5.630 * [backup-simplify]: Simplify (* (exp (* -2/3 (log t))) (+ (* (/ (pow (- 0.6666666666666666) 1) 1)))) into (* -0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3))
5.630 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3)) into (* -0.6666666666666666 (pow (/ 1 (pow t 2)) 1/3))
5.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.631 * [backup-simplify]: Simplify (- 0) into 0
5.631 * [backup-simplify]: Simplify (+ 0 0) into 0
5.633 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
5.642 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
5.642 * [backup-simplify]: Simplify (+ (* (- 2) (log t)) 0) into (- (* 2 (log t)))
5.643 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 -2.0) (* 0 (- (* 2 (log t)))))) into (- 0.3333333333333333)
5.647 * [backup-simplify]: Simplify (* (exp (* -2/3 (log t))) (+ (* (/ (pow (- 0.6666666666666666) 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3))
5.647 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3)) into (* -0.1111111111111111 (pow (/ 1 (pow t 2)) 1/3))
5.648 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (pow (/ 1 (- t)) 2)) 1/3)) (pow (/ 1 (- t)) 2)) (+ (* (* -0.6666666666666666 (pow (/ 1 (pow (/ 1 (- t)) 2)) 1/3)) (/ 1 (- t))) (pow (/ 1 (- t)) -2/3))) into (- (+ (pow (/ -1 t) -2/3) (* 0.6666666666666666 (pow (/ 1 t) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 4)) 1/3)))
5.648 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2 2)
5.648 * [backup-simplify]: Simplify (cbrt (+ 1.0 t)) into (pow (+ t 1.0) 1/3)
5.648 * [approximate]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in (t) around 0
5.648 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.648 * [taylor]: Taking taylor expansion of 1/3 in t
5.648 * [backup-simplify]: Simplify 1/3 into 1/3
5.648 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.648 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.648 * [taylor]: Taking taylor expansion of t in t
5.648 * [backup-simplify]: Simplify 0 into 0
5.648 * [backup-simplify]: Simplify 1 into 1
5.648 * [taylor]: Taking taylor expansion of 1.0 in t
5.648 * [backup-simplify]: Simplify 1.0 into 1.0
5.649 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.649 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.649 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.650 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.650 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.651 * [taylor]: Taking taylor expansion of 1/3 in t
5.651 * [backup-simplify]: Simplify 1/3 into 1/3
5.651 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.651 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.651 * [taylor]: Taking taylor expansion of t in t
5.651 * [backup-simplify]: Simplify 0 into 0
5.651 * [backup-simplify]: Simplify 1 into 1
5.651 * [taylor]: Taking taylor expansion of 1.0 in t
5.651 * [backup-simplify]: Simplify 1.0 into 1.0
5.651 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.651 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.652 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.653 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.653 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
5.653 * [backup-simplify]: Simplify (+ 1 0) into 1
5.657 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
5.658 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
5.661 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
5.661 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
5.662 * [backup-simplify]: Simplify (+ 0 0) into 0
5.670 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
5.675 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
5.692 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.697 * [backup-simplify]: Simplify (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.704 * [backup-simplify]: Simplify (+ (* (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) (pow t 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) t) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
5.704 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 t))) into (pow (+ (/ 1 t) 1.0) 1/3)
5.704 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in (t) around 0
5.704 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.704 * [taylor]: Taking taylor expansion of 1/3 in t
5.704 * [backup-simplify]: Simplify 1/3 into 1/3
5.704 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.705 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.705 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.705 * [taylor]: Taking taylor expansion of t in t
5.705 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify 1 into 1
5.705 * [backup-simplify]: Simplify (/ 1 1) into 1
5.705 * [taylor]: Taking taylor expansion of 1.0 in t
5.705 * [backup-simplify]: Simplify 1.0 into 1.0
5.706 * [backup-simplify]: Simplify (+ 1 0) into 1
5.706 * [backup-simplify]: Simplify (log 1) into 0
5.707 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.707 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.707 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.707 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.707 * [taylor]: Taking taylor expansion of 1/3 in t
5.707 * [backup-simplify]: Simplify 1/3 into 1/3
5.707 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.707 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.707 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.707 * [taylor]: Taking taylor expansion of t in t
5.707 * [backup-simplify]: Simplify 0 into 0
5.707 * [backup-simplify]: Simplify 1 into 1
5.708 * [backup-simplify]: Simplify (/ 1 1) into 1
5.708 * [taylor]: Taking taylor expansion of 1.0 in t
5.708 * [backup-simplify]: Simplify 1.0 into 1.0
5.708 * [backup-simplify]: Simplify (+ 1 0) into 1
5.708 * [backup-simplify]: Simplify (log 1) into 0
5.709 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.709 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.709 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.709 * [backup-simplify]: Simplify (pow t -1/3) into (pow t -1/3)
5.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.711 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.718 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.718 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log t)))) into 0.3333333333333333
5.721 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.721 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 t) 1/3)) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.723 * [backup-simplify]: Simplify (+ 0 0) into 0
5.734 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.735 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.736 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log t))))) into (- 0.16666666666666666)
5.742 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.742 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 t) 1/3)) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.743 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 t)) 1/3)) (pow (/ 1 t) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 t)) 1/3)) (/ 1 t)) (pow (/ 1 t) -1/3))) into (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
5.743 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 (- t)))) into (pow (- 1.0 (/ 1 t)) 1/3)
5.743 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in (t) around 0
5.743 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.743 * [taylor]: Taking taylor expansion of 1/3 in t
5.743 * [backup-simplify]: Simplify 1/3 into 1/3
5.743 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.743 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.743 * [taylor]: Taking taylor expansion of 1.0 in t
5.743 * [backup-simplify]: Simplify 1.0 into 1.0
5.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.744 * [taylor]: Taking taylor expansion of t in t
5.744 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify 1 into 1
5.744 * [backup-simplify]: Simplify (/ 1 1) into 1
5.746 * [backup-simplify]: Simplify (- 1) into -1
5.747 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.747 * [backup-simplify]: Simplify (log -1) into (log -1)
5.748 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.748 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.749 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.749 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.749 * [taylor]: Taking taylor expansion of 1/3 in t
5.749 * [backup-simplify]: Simplify 1/3 into 1/3
5.749 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.749 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.749 * [taylor]: Taking taylor expansion of 1.0 in t
5.749 * [backup-simplify]: Simplify 1.0 into 1.0
5.749 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.749 * [taylor]: Taking taylor expansion of t in t
5.749 * [backup-simplify]: Simplify 0 into 0
5.749 * [backup-simplify]: Simplify 1 into 1
5.750 * [backup-simplify]: Simplify (/ 1 1) into 1
5.750 * [backup-simplify]: Simplify (- 1) into -1
5.750 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.751 * [backup-simplify]: Simplify (log -1) into (log -1)
5.751 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.752 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.752 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.753 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.754 * [backup-simplify]: Simplify (- 0) into 0
5.754 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.761 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
5.762 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.763 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log t)))) into (- 0.3333333333333333)
5.766 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
5.766 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
5.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.768 * [backup-simplify]: Simplify (- 0) into 0
5.768 * [backup-simplify]: Simplify (+ 0 0) into 0
5.779 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
5.780 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.781 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log t))))) into (- 0.16666666666666666)
5.787 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
5.787 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
5.789 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (pow (/ 1 (- t)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (/ 1 (- t))) (exp (* 1/3 (- (log -1) (log (/ 1 (- t)))))))) into (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
5.789 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2)
5.789 * [backup-simplify]: Simplify (cbrt (+ 1.0 t)) into (pow (+ t 1.0) 1/3)
5.789 * [approximate]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in (t) around 0
5.789 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.789 * [taylor]: Taking taylor expansion of 1/3 in t
5.789 * [backup-simplify]: Simplify 1/3 into 1/3
5.789 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.789 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.789 * [taylor]: Taking taylor expansion of t in t
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [taylor]: Taking taylor expansion of 1.0 in t
5.789 * [backup-simplify]: Simplify 1.0 into 1.0
5.790 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.790 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.790 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.791 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.791 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.791 * [taylor]: Taking taylor expansion of 1/3 in t
5.791 * [backup-simplify]: Simplify 1/3 into 1/3
5.792 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.792 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.792 * [taylor]: Taking taylor expansion of t in t
5.792 * [backup-simplify]: Simplify 0 into 0
5.792 * [backup-simplify]: Simplify 1 into 1
5.792 * [taylor]: Taking taylor expansion of 1.0 in t
5.792 * [backup-simplify]: Simplify 1.0 into 1.0
5.792 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.792 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.793 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.794 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.794 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
5.794 * [backup-simplify]: Simplify (+ 1 0) into 1
5.797 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
5.799 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
5.802 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
5.802 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
5.803 * [backup-simplify]: Simplify (+ 0 0) into 0
5.808 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
5.811 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
5.822 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.824 * [backup-simplify]: Simplify (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.829 * [backup-simplify]: Simplify (+ (* (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) (pow t 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) t) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
5.829 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 t))) into (pow (+ (/ 1 t) 1.0) 1/3)
5.829 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in (t) around 0
5.829 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.829 * [taylor]: Taking taylor expansion of 1/3 in t
5.829 * [backup-simplify]: Simplify 1/3 into 1/3
5.829 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.829 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.829 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.829 * [taylor]: Taking taylor expansion of t in t
5.829 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify 1 into 1
5.829 * [backup-simplify]: Simplify (/ 1 1) into 1
5.829 * [taylor]: Taking taylor expansion of 1.0 in t
5.829 * [backup-simplify]: Simplify 1.0 into 1.0
5.829 * [backup-simplify]: Simplify (+ 1 0) into 1
5.830 * [backup-simplify]: Simplify (log 1) into 0
5.830 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.830 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.830 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.830 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.830 * [taylor]: Taking taylor expansion of 1/3 in t
5.830 * [backup-simplify]: Simplify 1/3 into 1/3
5.830 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.830 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.830 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.830 * [taylor]: Taking taylor expansion of t in t
5.830 * [backup-simplify]: Simplify 0 into 0
5.830 * [backup-simplify]: Simplify 1 into 1
5.831 * [backup-simplify]: Simplify (/ 1 1) into 1
5.831 * [taylor]: Taking taylor expansion of 1.0 in t
5.831 * [backup-simplify]: Simplify 1.0 into 1.0
5.831 * [backup-simplify]: Simplify (+ 1 0) into 1
5.831 * [backup-simplify]: Simplify (log 1) into 0
5.831 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.831 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.832 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.832 * [backup-simplify]: Simplify (pow t -1/3) into (pow t -1/3)
5.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.832 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.836 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.836 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.837 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log t)))) into 0.3333333333333333
5.838 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.838 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 t) 1/3)) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.839 * [backup-simplify]: Simplify (+ 0 0) into 0
5.846 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.846 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.846 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log t))))) into (- 0.16666666666666666)
5.851 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.852 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 t) 1/3)) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.852 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 t)) 1/3)) (pow (/ 1 t) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 t)) 1/3)) (/ 1 t)) (pow (/ 1 t) -1/3))) into (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
5.852 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 (- t)))) into (pow (- 1.0 (/ 1 t)) 1/3)
5.852 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in (t) around 0
5.852 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.852 * [taylor]: Taking taylor expansion of 1/3 in t
5.852 * [backup-simplify]: Simplify 1/3 into 1/3
5.852 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.852 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.852 * [taylor]: Taking taylor expansion of 1.0 in t
5.852 * [backup-simplify]: Simplify 1.0 into 1.0
5.852 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.852 * [taylor]: Taking taylor expansion of t in t
5.853 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify 1 into 1
5.853 * [backup-simplify]: Simplify (/ 1 1) into 1
5.853 * [backup-simplify]: Simplify (- 1) into -1
5.853 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.854 * [backup-simplify]: Simplify (log -1) into (log -1)
5.854 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.854 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.855 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.855 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.855 * [taylor]: Taking taylor expansion of 1/3 in t
5.855 * [backup-simplify]: Simplify 1/3 into 1/3
5.855 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.855 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.855 * [taylor]: Taking taylor expansion of 1.0 in t
5.855 * [backup-simplify]: Simplify 1.0 into 1.0
5.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.855 * [taylor]: Taking taylor expansion of t in t
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [backup-simplify]: Simplify (/ 1 1) into 1
5.856 * [backup-simplify]: Simplify (- 1) into -1
5.856 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.856 * [backup-simplify]: Simplify (log -1) into (log -1)
5.857 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.857 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.857 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.858 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.858 * [backup-simplify]: Simplify (- 0) into 0
5.859 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.864 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
5.865 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.866 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log t)))) into (- 0.3333333333333333)
5.870 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
5.871 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
5.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.873 * [backup-simplify]: Simplify (- 0) into 0
5.873 * [backup-simplify]: Simplify (+ 0 0) into 0
5.886 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
5.887 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.888 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log t))))) into (- 0.16666666666666666)
5.892 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
5.893 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
5.894 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (pow (/ 1 (- t)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (/ 1 (- t))) (exp (* 1/3 (- (log -1) (log (/ 1 (- t)))))))) into (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
5.894 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
5.894 * [backup-simplify]: Simplify (cbrt (+ 1.0 t)) into (pow (+ t 1.0) 1/3)
5.894 * [approximate]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in (t) around 0
5.894 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.894 * [taylor]: Taking taylor expansion of 1/3 in t
5.894 * [backup-simplify]: Simplify 1/3 into 1/3
5.894 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.894 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.894 * [taylor]: Taking taylor expansion of t in t
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify 1 into 1
5.894 * [taylor]: Taking taylor expansion of 1.0 in t
5.894 * [backup-simplify]: Simplify 1.0 into 1.0
5.895 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.895 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.895 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.896 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.896 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 1/3) in t
5.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ t 1.0)))) in t
5.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ t 1.0))) in t
5.896 * [taylor]: Taking taylor expansion of 1/3 in t
5.896 * [backup-simplify]: Simplify 1/3 into 1/3
5.896 * [taylor]: Taking taylor expansion of (log (+ t 1.0)) in t
5.896 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.896 * [taylor]: Taking taylor expansion of t in t
5.896 * [backup-simplify]: Simplify 0 into 0
5.896 * [backup-simplify]: Simplify 1 into 1
5.896 * [taylor]: Taking taylor expansion of 1.0 in t
5.896 * [backup-simplify]: Simplify 1.0 into 1.0
5.897 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.897 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.898 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
5.899 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
5.899 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
5.899 * [backup-simplify]: Simplify (+ 1 0) into 1
5.902 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
5.903 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
5.907 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
5.908 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
5.908 * [backup-simplify]: Simplify (+ 0 0) into 0
5.914 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
5.916 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
5.931 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.936 * [backup-simplify]: Simplify (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) into (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))))
5.942 * [backup-simplify]: Simplify (+ (* (* (pow 1.0 1/3) (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2))))) (pow t 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) t) (pow 1.0 1/3))) into (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
5.943 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 t))) into (pow (+ (/ 1 t) 1.0) 1/3)
5.943 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in (t) around 0
5.943 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.943 * [taylor]: Taking taylor expansion of 1/3 in t
5.943 * [backup-simplify]: Simplify 1/3 into 1/3
5.943 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.943 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.943 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.943 * [taylor]: Taking taylor expansion of t in t
5.943 * [backup-simplify]: Simplify 0 into 0
5.943 * [backup-simplify]: Simplify 1 into 1
5.943 * [backup-simplify]: Simplify (/ 1 1) into 1
5.943 * [taylor]: Taking taylor expansion of 1.0 in t
5.943 * [backup-simplify]: Simplify 1.0 into 1.0
5.944 * [backup-simplify]: Simplify (+ 1 0) into 1
5.944 * [backup-simplify]: Simplify (log 1) into 0
5.944 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.945 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.945 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.945 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 1/3) in t
5.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 t) 1.0)))) in t
5.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 t) 1.0))) in t
5.945 * [taylor]: Taking taylor expansion of 1/3 in t
5.945 * [backup-simplify]: Simplify 1/3 into 1/3
5.945 * [taylor]: Taking taylor expansion of (log (+ (/ 1 t) 1.0)) in t
5.945 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.945 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.945 * [taylor]: Taking taylor expansion of t in t
5.945 * [backup-simplify]: Simplify 0 into 0
5.945 * [backup-simplify]: Simplify 1 into 1
5.945 * [backup-simplify]: Simplify (/ 1 1) into 1
5.945 * [taylor]: Taking taylor expansion of 1.0 in t
5.945 * [backup-simplify]: Simplify 1.0 into 1.0
5.946 * [backup-simplify]: Simplify (+ 1 0) into 1
5.946 * [backup-simplify]: Simplify (log 1) into 0
5.947 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.947 * [backup-simplify]: Simplify (* 1/3 (- (log t))) into (* -1/3 (log t))
5.947 * [backup-simplify]: Simplify (exp (* -1/3 (log t))) into (pow t -1/3)
5.947 * [backup-simplify]: Simplify (pow t -1/3) into (pow t -1/3)
5.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.948 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.955 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.955 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log t)))) into 0.3333333333333333
5.958 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.958 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 t) 1/3)) into (* 0.3333333333333333 (pow (/ 1 t) 1/3))
5.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.959 * [backup-simplify]: Simplify (+ 0 0) into 0
5.971 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.972 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) 0) into (- (log t))
5.973 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log t))))) into (- 0.16666666666666666)
5.980 * [backup-simplify]: Simplify (* (exp (* -1/3 (log t))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.980 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 t) 1/3)) into (* -0.1111111111111111 (pow (/ 1 t) 1/3))
5.981 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 t)) 1/3)) (pow (/ 1 t) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 t)) 1/3)) (/ 1 t)) (pow (/ 1 t) -1/3))) into (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
5.981 * [backup-simplify]: Simplify (cbrt (+ 1.0 (/ 1 (- t)))) into (pow (- 1.0 (/ 1 t)) 1/3)
5.981 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in (t) around 0
5.981 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.981 * [taylor]: Taking taylor expansion of 1/3 in t
5.982 * [backup-simplify]: Simplify 1/3 into 1/3
5.982 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.982 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.982 * [taylor]: Taking taylor expansion of 1.0 in t
5.982 * [backup-simplify]: Simplify 1.0 into 1.0
5.982 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.982 * [taylor]: Taking taylor expansion of t in t
5.982 * [backup-simplify]: Simplify 0 into 0
5.982 * [backup-simplify]: Simplify 1 into 1
5.983 * [backup-simplify]: Simplify (/ 1 1) into 1
5.983 * [backup-simplify]: Simplify (- 1) into -1
5.984 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.984 * [backup-simplify]: Simplify (log -1) into (log -1)
5.985 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.986 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.987 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.987 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 1/3) in t
5.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 t))))) in t
5.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 t)))) in t
5.987 * [taylor]: Taking taylor expansion of 1/3 in t
5.987 * [backup-simplify]: Simplify 1/3 into 1/3
5.987 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 t))) in t
5.987 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.987 * [taylor]: Taking taylor expansion of 1.0 in t
5.987 * [backup-simplify]: Simplify 1.0 into 1.0
5.987 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.987 * [taylor]: Taking taylor expansion of t in t
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 1 into 1
5.987 * [backup-simplify]: Simplify (/ 1 1) into 1
5.988 * [backup-simplify]: Simplify (- 1) into -1
5.988 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.989 * [backup-simplify]: Simplify (log -1) into (log -1)
5.990 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
5.990 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log t))) into (* 1/3 (- (log -1) (log t)))
5.991 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.991 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log t)))) into (exp (* 1/3 (- (log -1) (log t))))
5.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.993 * [backup-simplify]: Simplify (- 0) into 0
5.994 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.001 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
6.002 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
6.003 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log t)))) into (- 0.3333333333333333)
6.006 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
6.007 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log t)))))
6.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.009 * [backup-simplify]: Simplify (- 0) into 0
6.009 * [backup-simplify]: Simplify (+ 0 0) into 0
6.015 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
6.016 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log -1)) into (- (log -1) (log t))
6.017 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log t))))) into (- 0.16666666666666666)
6.021 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log t)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
6.021 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log t)))))
6.023 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (pow (/ 1 (- t)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- t))))))) (/ 1 (- t))) (exp (* 1/3 (- (log -1) (log (/ 1 (- t)))))))) into (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
6.023 * * * [progress]: simplifying candidates
6.025 * [simplify]: Simplifying:
  (expm1 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (log1p (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ 1.0 t) (+ 1.0 t))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (+ 1 1)
  (+ (log (cbrt (+ 1.0 t))) (log (cbrt (+ 1.0 t))))
  (log (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (exp (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (* (+ 1.0 t) (+ 1.0 t))
  (* (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (* (* (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (sqrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (sqrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (* (cbrt (+ (pow 1.0 3) (pow t 3))) (cbrt (+ (pow 1.0 3) (pow t 3))))
  (* (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))))
  (* (cbrt (+ (pow 1.0 3) (pow t 3))) (cbrt (- (* 1.0 1.0) (* t t))))
  (* (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (cbrt (- 1.0 t)))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (+ (pow 1.0 3) (pow t 3))))
  (* (cbrt (- 1.0 t)) (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (- (* 1.0 1.0) (* t t))))
  (* (cbrt (- 1.0 t)) (cbrt (- 1.0 t)))
  (* (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t))))
  (* (cbrt (sqrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (cbrt (sqrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t)))) (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t)))))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* 1 1)
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt (sqrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (cbrt (sqrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (cbrt (sqrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* (cbrt (sqrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (cbrt (sqrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* (sqrt (cbrt (+ 1.0 t))) (sqrt (cbrt (+ 1.0 t))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ 1.0 t)) (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (cbrt (+ 1.0 t)) (cbrt (sqrt (+ 1.0 t))))
  (* (cbrt (+ 1.0 t)) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (cbrt 1))
  (* (cbrt (+ 1.0 t)) (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t)))))
  (* (cbrt (+ 1.0 t)) (sqrt (cbrt (+ 1.0 t))))
  (* (cbrt (+ 1.0 t)) 1)
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (* (cbrt (sqrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (* (sqrt (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))
  (* (cbrt (+ 1.0 t)) (cbrt (+ (pow 1.0 3) (pow t 3))))
  (* (cbrt (+ 1.0 t)) (cbrt (- (* 1.0 1.0) (* t t))))
  (* (cbrt (+ (pow 1.0 3) (pow t 3))) (cbrt (+ 1.0 t)))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (+ 1.0 t)))
  (expm1 (cbrt (+ 1.0 t)))
  (log1p (cbrt (+ 1.0 t)))
  (log (cbrt (+ 1.0 t)))
  (exp (cbrt (+ 1.0 t)))
  (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt (+ (pow 1.0 3) (pow t 3)))
  (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (* (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (expm1 (cbrt (+ 1.0 t)))
  (log1p (cbrt (+ 1.0 t)))
  (log (cbrt (+ 1.0 t)))
  (exp (cbrt (+ 1.0 t)))
  (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt (+ (pow 1.0 3) (pow t 3)))
  (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (* (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (expm1 (cbrt (+ 1.0 t)))
  (log1p (cbrt (+ 1.0 t)))
  (log (cbrt (+ 1.0 t)))
  (exp (cbrt (+ 1.0 t)))
  (cbrt (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt (sqrt (+ 1.0 t)))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt 1)
  (cbrt (+ 1.0 t))
  (cbrt (+ (pow 1.0 3) (pow t 3)))
  (cbrt (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ 1.0 t))) (cbrt (cbrt (+ 1.0 t))))
  (cbrt (cbrt (+ 1.0 t)))
  (* (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))) (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (sqrt (cbrt (+ 1.0 t)))
  (- (+ (* 0.5555555555555556 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.6666666666666666 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.6666666666666666 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 t) -2/3) (* 0.6666666666666666 (pow (/ 1 t) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 4)) 1/3)))
  (- (+ (pow (/ -1 t) -2/3) (* 0.6666666666666666 (pow (/ 1 t) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 4)) 1/3)))
  (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
  (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
  (- (+ (* 0.05555555555555555 (* (pow t 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* t (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow t 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 t) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow t 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow t 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) t)) (exp (* 1/3 (- (log -1) (log (/ -1 t)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 t))))) (pow t 2))))
6.026 * * [simplify]: iteration 0: 143 enodes
6.056 * * [simplify]: iteration 1: 344 enodes
6.210 * * [simplify]: iteration 2: 1248 enodes
6.769 * * [simplify]: iteration complete: 5001 enodes
6.769 * * [simplify]: Extracting #0: cost 47 inf + 0
6.771 * * [simplify]: Extracting #1: cost 722 inf + 3
6.776 * * [simplify]: Extracting #2: cost 1430 inf + 389
6.788 * * [simplify]: Extracting #3: cost 846 inf + 7625
6.799 * * [simplify]: Extracting #4: cost 583 inf + 11281
6.812 * * [simplify]: Extracting #5: cost 390 inf + 12911
6.824 * * [simplify]: Extracting #6: cost 246 inf + 13964
6.836 * * [simplify]: Extracting #7: cost 126 inf + 15064
6.851 * * [simplify]: Extracting #8: cost 20 inf + 16696
6.864 * * [simplify]: Extracting #9: cost 0 inf + 16844
6.876 * * [simplify]: Extracting #10: cost 0 inf + 16795
6.890 * [simplify]: Simplified to:
  (expm1 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  (log1p (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  2/3
  2
  (* (+ t 1.0) (+ t 1.0))
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  2
  (* (log (cbrt (+ t 1.0))) 2)
  (* (log (cbrt (+ t 1.0))) 2)
  (pow (exp (cbrt (+ t 1.0))) (cbrt (+ t 1.0)))
  (* (+ t 1.0) (+ t 1.0))
  (* (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))))
  (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  (* (+ t 1.0) (+ t 1.0))
  (fabs (cbrt (+ t 1.0)))
  (fabs (cbrt (+ t 1.0)))
  (* (cbrt (+ (pow t 3) (pow 1.0 3))) (cbrt (+ (pow t 3) (pow 1.0 3))))
  (* (cbrt (fma t (- t 1.0) (* 1.0 1.0))) (cbrt (fma t (- t 1.0) (* 1.0 1.0))))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (+ (pow t 3) (pow 1.0 3))))
  (* (cbrt (fma t (- t 1.0) (* 1.0 1.0))) (cbrt (- 1.0 t)))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (+ (pow t 3) (pow 1.0 3))))
  (* (cbrt (fma t (- t 1.0) (* 1.0 1.0))) (cbrt (- 1.0 t)))
  (* (cbrt (- (* 1.0 1.0) (* t t))) (cbrt (- (* 1.0 1.0) (* t t))))
  (* (cbrt (- 1.0 t)) (cbrt (- 1.0 t)))
  (* (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))))
  (* (cbrt (cbrt (+ t 1.0))) (cbrt (cbrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0))))
  1
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  1
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  1
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  1
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  (pow (cbrt (cbrt (+ t 1.0))) (+ 3 1))
  (* (cbrt (cbrt (+ t 1.0))) (cbrt (cbrt (+ t 1.0))))
  (cbrt (+ t 1.0))
  (cbrt (+ t 1.0))
  1
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (cbrt (sqrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))))
  (* (cbrt (sqrt (+ t 1.0))) (sqrt (cbrt (+ t 1.0))))
  (cbrt (+ t 1.0))
  (cbrt (+ t 1.0))
  2/3
  2
  (* (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (cbrt (+ t 1.0)))
  (* (cbrt (+ t 1.0)) (cbrt (sqrt (+ t 1.0))))
  (cbrt (+ t 1.0))
  (cbrt (+ t 1.0))
  (* (cbrt (cbrt (+ t 1.0))) (pow (cbrt (cbrt (+ t 1.0))) (+ 3 1)))
  (pow (sqrt (cbrt (+ t 1.0))) 3)
  (cbrt (+ t 1.0))
  (pow (cbrt (cbrt (+ t 1.0))) (+ 3 1))
  (* (cbrt (+ t 1.0)) (cbrt (sqrt (+ t 1.0))))
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  (pow (cbrt (cbrt (+ t 1.0))) (+ 3 1))
  (pow (sqrt (cbrt (+ t 1.0))) 3)
  (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))
  (* (cbrt (+ (pow t 3) (pow 1.0 3))) (cbrt (+ t 1.0)))
  (* (cbrt (+ t 1.0)) (cbrt (- (* 1.0 1.0) (* t t))))
  (* (cbrt (+ (pow t 3) (pow 1.0 3))) (cbrt (+ t 1.0)))
  (* (cbrt (+ t 1.0)) (cbrt (- (* 1.0 1.0) (* t t))))
  (expm1 (cbrt (+ t 1.0)))
  (log1p (cbrt (+ t 1.0)))
  (log (cbrt (+ t 1.0)))
  (exp (cbrt (+ t 1.0)))
  (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  1
  (cbrt (+ t 1.0))
  1
  (cbrt (+ t 1.0))
  (cbrt (+ (pow t 3) (pow 1.0 3)))
  (cbrt (fma t (- t 1.0) (* 1.0 1.0)))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ t 1.0))) (cbrt (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (+ t 1.0)
  (sqrt (cbrt (+ t 1.0)))
  (sqrt (cbrt (+ t 1.0)))
  (expm1 (cbrt (+ t 1.0)))
  (log1p (cbrt (+ t 1.0)))
  (log (cbrt (+ t 1.0)))
  (exp (cbrt (+ t 1.0)))
  (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  1
  (cbrt (+ t 1.0))
  1
  (cbrt (+ t 1.0))
  (cbrt (+ (pow t 3) (pow 1.0 3)))
  (cbrt (fma t (- t 1.0) (* 1.0 1.0)))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ t 1.0))) (cbrt (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (+ t 1.0)
  (sqrt (cbrt (+ t 1.0)))
  (sqrt (cbrt (+ t 1.0)))
  (expm1 (cbrt (+ t 1.0)))
  (log1p (cbrt (+ t 1.0)))
  (log (cbrt (+ t 1.0)))
  (exp (cbrt (+ t 1.0)))
  (cbrt (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  (cbrt (sqrt (+ t 1.0)))
  1
  (cbrt (+ t 1.0))
  1
  (cbrt (+ t 1.0))
  (cbrt (+ (pow t 3) (pow 1.0 3)))
  (cbrt (fma t (- t 1.0) (* 1.0 1.0)))
  (cbrt (- (* 1.0 1.0) (* t t)))
  (cbrt (- 1.0 t))
  (* (cbrt (cbrt (+ t 1.0))) (cbrt (cbrt (+ t 1.0))))
  (cbrt (cbrt (+ t 1.0)))
  (+ t 1.0)
  (sqrt (cbrt (+ t 1.0)))
  (sqrt (cbrt (+ t 1.0)))
  (fma (fma 0.6666666666666666 t 1) (cbrt 1.0) (* (* t t) (- (* 0.5555555555555556 (cbrt 1.0)) (* 0.6666666666666666 (cbrt (/ 1 (pow 1.0 5)))))))
  (fma (- 0.1111111111111111) (cbrt (/ 1 (pow t 4))) (fma 0.6666666666666666 (cbrt (/ 1 t)) (pow (/ 1 t) -2/3)))
  (fma (- 0.1111111111111111) (cbrt (/ 1 (pow t 4))) (fma (cbrt (/ 1 t)) 0.6666666666666666 (pow (/ -1 t) -2/3)))
  (fma (fma 0.3333333333333333 t 1) (cbrt 1.0) (* (* t t) (- (* (cbrt 1.0) 0.05555555555555555) (* (cbrt (/ 1 (pow 1.0 5))) 1/6))))
  (fma (cbrt (/ 1 (pow t 5))) (- 0.1111111111111111) (fma 0.3333333333333333 (cbrt (/ 1 (* t t))) (pow (/ 1 t) -1/3)))
  (fma 0.1111111111111111 (- (/ (cbrt (exp (+ 0 (log t)))) (* t t))) (fma (/ (cbrt (exp (+ 0 (log t)))) t) 0.3333333333333333 (cbrt (exp (+ 0 (log t))))))
  (fma (fma 0.3333333333333333 t 1) (cbrt 1.0) (* (* t t) (- (* (cbrt 1.0) 0.05555555555555555) (* (cbrt (/ 1 (pow 1.0 5))) 1/6))))
  (fma (cbrt (/ 1 (pow t 5))) (- 0.1111111111111111) (fma 0.3333333333333333 (cbrt (/ 1 (* t t))) (pow (/ 1 t) -1/3)))
  (fma 0.1111111111111111 (- (/ (cbrt (exp (+ 0 (log t)))) (* t t))) (fma (/ (cbrt (exp (+ 0 (log t)))) t) 0.3333333333333333 (cbrt (exp (+ 0 (log t))))))
  (fma (fma 0.3333333333333333 t 1) (cbrt 1.0) (* (* t t) (- (* (cbrt 1.0) 0.05555555555555555) (* (cbrt (/ 1 (pow 1.0 5))) 1/6))))
  (fma (cbrt (/ 1 (pow t 5))) (- 0.1111111111111111) (fma 0.3333333333333333 (cbrt (/ 1 (* t t))) (pow (/ 1 t) -1/3)))
  (fma 0.1111111111111111 (- (/ (cbrt (exp (+ 0 (log t)))) (* t t))) (fma (/ (cbrt (exp (+ 0 (log t)))) t) 0.3333333333333333 (cbrt (exp (+ 0 (log t))))))
6.892 * * * [progress]: adding candidates to table
7.693 * [progress]: [Phase 3 of 3] Extracting.
7.693 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))> #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)
7.693 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* 2.0 t) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) t)
7.693 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (#<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))> #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)
7.736 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (#<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))> #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)
7.768 * * * * [regimes]: Trying to branch on (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) from (#<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))> #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)
7.803 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))> #<alt (λ (t) (/ (+ 1.0 (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 (/ t (cbrt (+ 1.0 t)))) (/ (+ 1.0 t) t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)
7.840 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.840 * [simplify]: Simplifying:
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
7.840 * * [simplify]: iteration 0: 10 enodes
7.841 * * [simplify]: iteration 1: 14 enodes
7.842 * * [simplify]: iteration complete: 14 enodes
7.842 * * [simplify]: Extracting #0: cost 1 inf + 0
7.842 * * [simplify]: Extracting #1: cost 3 inf + 0
7.842 * * [simplify]: Extracting #2: cost 6 inf + 0
7.842 * * [simplify]: Extracting #3: cost 5 inf + 2
7.842 * * [simplify]: Extracting #4: cost 7 inf + 2
7.842 * * [simplify]: Extracting #5: cost 8 inf + 2
7.843 * * [simplify]: Extracting #6: cost 0 inf + 100
7.843 * [simplify]: Simplified to:
  (/ (+ 1.0 (* (/ (* t 2.0) (+ 1.0 t)) (/ (* t 2.0) (+ 1.0 t)))) (+ 2.0 (* (/ (* t 2.0) (+ 1.0 t)) (/ (* t 2.0) (+ 1.0 t)))))
9.134 * [regime-testing]: Baseline error score: 0.032629078634829355
9.136 * [regime-testing]: Oracle error score: 0.03137821737721532
9.140 * [regime-testing]: End program error score: 0.032629078634829355