0.169 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying:
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
0.032 * * [simplify]: iteration 0: 12 enodes
0.036 * * [simplify]: iteration 1: 20 enodes
0.042 * * [simplify]: iteration 2: 37 enodes
0.054 * * [simplify]: iteration 3: 84 enodes
0.087 * * [simplify]: iteration 4: 242 enodes
0.208 * * [simplify]: iteration 5: 703 enodes
0.636 * * [simplify]: iteration 6: 2972 enodes
1.898 * * [simplify]: iteration complete: 5000 enodes
1.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1.898 * * [simplify]: Extracting #1: cost 4 inf + 0
1.898 * * [simplify]: Extracting #2: cost 10 inf + 1
1.899 * * [simplify]: Extracting #3: cost 190 inf + 8
1.902 * * [simplify]: Extracting #4: cost 1128 inf + 15
1.906 * * [simplify]: Extracting #5: cost 1256 inf + 1681
1.911 * * [simplify]: Extracting #6: cost 486 inf + 15348
1.916 * * [simplify]: Extracting #7: cost 16 inf + 22614
1.921 * * [simplify]: Extracting #8: cost 0 inf + 22691
1.934 * * [simplify]: Extracting #9: cost 0 inf + 22687
1.943 * [simplify]: Simplified to:
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))))
1.951 * * [progress]: iteration 1 / 4
1.951 * * * [progress]: picking best candidate
1.958 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>
1.958 * * * [progress]: localizing error
2.005 * * * [progress]: generating rewritten candidates
2.005 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
2.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
2.157 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.654 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2)
2.714 * * * [progress]: generating series expansions
2.714 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
2.714 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
2.715 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
2.715 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.715 * [taylor]: Taking taylor expansion of 2.0 in t
2.715 * [backup-simplify]: Simplify 2.0 into 2.0
2.715 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.715 * [taylor]: Taking taylor expansion of 2.0 in t
2.715 * [backup-simplify]: Simplify 2.0 into 2.0
2.715 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.715 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.715 * [taylor]: Taking taylor expansion of t in t
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.715 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.715 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.715 * [taylor]: Taking taylor expansion of 1.0 in t
2.715 * [backup-simplify]: Simplify 1.0 into 1.0
2.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.715 * [taylor]: Taking taylor expansion of t in t
2.715 * [backup-simplify]: Simplify 0 into 0
2.715 * [backup-simplify]: Simplify 1 into 1
2.716 * [backup-simplify]: Simplify (/ 1 1) into 1
2.716 * [taylor]: Taking taylor expansion of 1.0 in t
2.716 * [backup-simplify]: Simplify 1.0 into 1.0
2.716 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.717 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.717 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.719 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.719 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.721 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.722 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.722 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.722 * [taylor]: Taking taylor expansion of 2.0 in t
2.722 * [backup-simplify]: Simplify 2.0 into 2.0
2.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.722 * [taylor]: Taking taylor expansion of 2.0 in t
2.722 * [backup-simplify]: Simplify 2.0 into 2.0
2.722 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.722 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.722 * [taylor]: Taking taylor expansion of t in t
2.722 * [backup-simplify]: Simplify 0 into 0
2.722 * [backup-simplify]: Simplify 1 into 1
2.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.722 * [taylor]: Taking taylor expansion of 1.0 in t
2.722 * [backup-simplify]: Simplify 1.0 into 1.0
2.722 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.722 * [taylor]: Taking taylor expansion of t in t
2.722 * [backup-simplify]: Simplify 0 into 0
2.722 * [backup-simplify]: Simplify 1 into 1
2.723 * [backup-simplify]: Simplify (/ 1 1) into 1
2.723 * [taylor]: Taking taylor expansion of 1.0 in t
2.723 * [backup-simplify]: Simplify 1.0 into 1.0
2.723 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.724 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.724 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.726 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.726 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.728 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.728 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.729 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.729 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.730 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.730 * [backup-simplify]: Simplify 0 into 0
2.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.732 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.732 * [backup-simplify]: Simplify (+ 0 0) into 0
2.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.737 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.740 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.741 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.741 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.741 * [backup-simplify]: Simplify 2.0 into 2.0
2.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.743 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.744 * [backup-simplify]: Simplify (+ 0 0) into 0
2.745 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.749 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.752 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.752 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.753 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.753 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.756 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.756 * [backup-simplify]: Simplify (+ 0 0) into 0
2.757 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.762 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.765 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.766 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.766 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.766 * [backup-simplify]: Simplify 2.0 into 2.0
2.767 * [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)))
2.767 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
2.768 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
2.768 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.768 * [taylor]: Taking taylor expansion of 2.0 in t
2.768 * [backup-simplify]: Simplify 2.0 into 2.0
2.768 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.768 * [taylor]: Taking taylor expansion of 2.0 in t
2.768 * [backup-simplify]: Simplify 2.0 into 2.0
2.768 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.768 * [taylor]: Taking taylor expansion of t in t
2.768 * [backup-simplify]: Simplify 0 into 0
2.768 * [backup-simplify]: Simplify 1 into 1
2.768 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.768 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.768 * [taylor]: Taking taylor expansion of 1.0 in t
2.768 * [backup-simplify]: Simplify 1.0 into 1.0
2.768 * [taylor]: Taking taylor expansion of t in t
2.768 * [backup-simplify]: Simplify 0 into 0
2.768 * [backup-simplify]: Simplify 1 into 1
2.768 * [taylor]: Taking taylor expansion of 1.0 in t
2.768 * [backup-simplify]: Simplify 1.0 into 1.0
2.769 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.769 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.769 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.769 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.770 * [taylor]: Taking taylor expansion of 2.0 in t
2.770 * [backup-simplify]: Simplify 2.0 into 2.0
2.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.770 * [taylor]: Taking taylor expansion of 2.0 in t
2.770 * [backup-simplify]: Simplify 2.0 into 2.0
2.770 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.770 * [taylor]: Taking taylor expansion of t in t
2.770 * [backup-simplify]: Simplify 0 into 0
2.770 * [backup-simplify]: Simplify 1 into 1
2.770 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.770 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.770 * [taylor]: Taking taylor expansion of 1.0 in t
2.770 * [backup-simplify]: Simplify 1.0 into 1.0
2.770 * [taylor]: Taking taylor expansion of t in t
2.770 * [backup-simplify]: Simplify 0 into 0
2.770 * [backup-simplify]: Simplify 1 into 1
2.770 * [taylor]: Taking taylor expansion of 1.0 in t
2.770 * [backup-simplify]: Simplify 1.0 into 1.0
2.770 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.771 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.771 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.772 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.772 * [backup-simplify]: Simplify 2.0 into 2.0
2.772 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.773 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.774 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.774 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.775 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.776 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.778 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.780 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.781 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.782 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.782 * [backup-simplify]: Simplify 2.0 into 2.0
2.782 * [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.783 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
2.783 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
2.783 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.783 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.783 * [taylor]: Taking taylor expansion of 2.0 in t
2.783 * [backup-simplify]: Simplify 2.0 into 2.0
2.783 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.783 * [taylor]: Taking taylor expansion of t in t
2.783 * [backup-simplify]: Simplify 0 into 0
2.783 * [backup-simplify]: Simplify 1 into 1
2.783 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.783 * [taylor]: Taking taylor expansion of 1.0 in t
2.783 * [backup-simplify]: Simplify 1.0 into 1.0
2.783 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.783 * [taylor]: Taking taylor expansion of 1.0 in t
2.783 * [backup-simplify]: Simplify 1.0 into 1.0
2.783 * [taylor]: Taking taylor expansion of t in t
2.783 * [backup-simplify]: Simplify 0 into 0
2.783 * [backup-simplify]: Simplify 1 into 1
2.788 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.788 * [backup-simplify]: Simplify (- 0) into 0
2.789 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.789 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.789 * [taylor]: Taking taylor expansion of 2.0 in t
2.789 * [backup-simplify]: Simplify 2.0 into 2.0
2.789 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.789 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.789 * [taylor]: Taking taylor expansion of 2.0 in t
2.789 * [backup-simplify]: Simplify 2.0 into 2.0
2.789 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.789 * [taylor]: Taking taylor expansion of t in t
2.789 * [backup-simplify]: Simplify 0 into 0
2.789 * [backup-simplify]: Simplify 1 into 1
2.789 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.790 * [taylor]: Taking taylor expansion of 1.0 in t
2.790 * [backup-simplify]: Simplify 1.0 into 1.0
2.790 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.790 * [taylor]: Taking taylor expansion of 1.0 in t
2.790 * [backup-simplify]: Simplify 1.0 into 1.0
2.790 * [taylor]: Taking taylor expansion of t in t
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.790 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.790 * [backup-simplify]: Simplify (- 0) into 0
2.791 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.791 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.791 * [taylor]: Taking taylor expansion of 2.0 in t
2.791 * [backup-simplify]: Simplify 2.0 into 2.0
2.792 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.792 * [backup-simplify]: Simplify 2.0 into 2.0
2.792 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.793 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.793 * [backup-simplify]: Simplify 2.0 into 2.0
2.794 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.795 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.796 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.799 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.801 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.802 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.802 * [backup-simplify]: Simplify 2.0 into 2.0
2.802 * [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.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
2.802 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
2.802 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
2.802 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.802 * [taylor]: Taking taylor expansion of 2.0 in t
2.802 * [backup-simplify]: Simplify 2.0 into 2.0
2.802 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.802 * [taylor]: Taking taylor expansion of 2.0 in t
2.803 * [backup-simplify]: Simplify 2.0 into 2.0
2.803 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.803 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.803 * [taylor]: Taking taylor expansion of t in t
2.803 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify 1 into 1
2.803 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.803 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.803 * [taylor]: Taking taylor expansion of 1.0 in t
2.803 * [backup-simplify]: Simplify 1.0 into 1.0
2.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.803 * [taylor]: Taking taylor expansion of t in t
2.803 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify 1 into 1
2.803 * [backup-simplify]: Simplify (/ 1 1) into 1
2.803 * [taylor]: Taking taylor expansion of 1.0 in t
2.803 * [backup-simplify]: Simplify 1.0 into 1.0
2.804 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.804 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.805 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.806 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.807 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.808 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.808 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.808 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.808 * [taylor]: Taking taylor expansion of 2.0 in t
2.809 * [backup-simplify]: Simplify 2.0 into 2.0
2.809 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.809 * [taylor]: Taking taylor expansion of 2.0 in t
2.809 * [backup-simplify]: Simplify 2.0 into 2.0
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.809 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.809 * [taylor]: Taking taylor expansion of t in t
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.809 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.809 * [taylor]: Taking taylor expansion of 1.0 in t
2.809 * [backup-simplify]: Simplify 1.0 into 1.0
2.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.809 * [taylor]: Taking taylor expansion of t in t
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.809 * [backup-simplify]: Simplify (/ 1 1) into 1
2.809 * [taylor]: Taking taylor expansion of 1.0 in t
2.809 * [backup-simplify]: Simplify 1.0 into 1.0
2.810 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.810 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.811 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.812 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.813 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.814 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.815 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.815 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.816 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.816 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.816 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.818 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.819 * [backup-simplify]: Simplify (+ 0 0) into 0
2.821 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.823 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.825 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.826 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.827 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.827 * [backup-simplify]: Simplify 2.0 into 2.0
2.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.829 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.829 * [backup-simplify]: Simplify (+ 0 0) into 0
2.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.834 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.836 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.837 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.838 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.838 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.840 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.841 * [backup-simplify]: Simplify (+ 0 0) into 0
2.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.846 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.849 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.850 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.850 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.851 * [backup-simplify]: Simplify 2.0 into 2.0
2.851 * [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)))
2.852 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
2.852 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
2.852 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.852 * [taylor]: Taking taylor expansion of 2.0 in t
2.852 * [backup-simplify]: Simplify 2.0 into 2.0
2.852 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.852 * [taylor]: Taking taylor expansion of 2.0 in t
2.852 * [backup-simplify]: Simplify 2.0 into 2.0
2.852 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.852 * [taylor]: Taking taylor expansion of t in t
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.852 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.852 * [taylor]: Taking taylor expansion of 1.0 in t
2.852 * [backup-simplify]: Simplify 1.0 into 1.0
2.852 * [taylor]: Taking taylor expansion of t in t
2.852 * [backup-simplify]: Simplify 0 into 0
2.852 * [backup-simplify]: Simplify 1 into 1
2.852 * [taylor]: Taking taylor expansion of 1.0 in t
2.852 * [backup-simplify]: Simplify 1.0 into 1.0
2.853 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.853 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.854 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.854 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.854 * [taylor]: Taking taylor expansion of 2.0 in t
2.854 * [backup-simplify]: Simplify 2.0 into 2.0
2.854 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.854 * [taylor]: Taking taylor expansion of 2.0 in t
2.854 * [backup-simplify]: Simplify 2.0 into 2.0
2.854 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.854 * [taylor]: Taking taylor expansion of t in t
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.854 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.854 * [taylor]: Taking taylor expansion of 1.0 in t
2.854 * [backup-simplify]: Simplify 1.0 into 1.0
2.854 * [taylor]: Taking taylor expansion of t in t
2.854 * [backup-simplify]: Simplify 0 into 0
2.854 * [backup-simplify]: Simplify 1 into 1
2.854 * [taylor]: Taking taylor expansion of 1.0 in t
2.854 * [backup-simplify]: Simplify 1.0 into 1.0
2.855 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.855 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.855 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.856 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.856 * [backup-simplify]: Simplify 2.0 into 2.0
2.856 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.857 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.858 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.858 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.860 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.860 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.863 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.865 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.866 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.866 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.866 * [backup-simplify]: Simplify 2.0 into 2.0
2.867 * [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.867 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
2.867 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
2.867 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.867 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.867 * [taylor]: Taking taylor expansion of 2.0 in t
2.867 * [backup-simplify]: Simplify 2.0 into 2.0
2.867 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.867 * [taylor]: Taking taylor expansion of t in t
2.867 * [backup-simplify]: Simplify 0 into 0
2.867 * [backup-simplify]: Simplify 1 into 1
2.868 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.868 * [taylor]: Taking taylor expansion of 1.0 in t
2.868 * [backup-simplify]: Simplify 1.0 into 1.0
2.868 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.868 * [taylor]: Taking taylor expansion of 1.0 in t
2.868 * [backup-simplify]: Simplify 1.0 into 1.0
2.868 * [taylor]: Taking taylor expansion of t in t
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.869 * [backup-simplify]: Simplify (- 0) into 0
2.869 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.869 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.869 * [taylor]: Taking taylor expansion of 2.0 in t
2.869 * [backup-simplify]: Simplify 2.0 into 2.0
2.869 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.870 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.870 * [taylor]: Taking taylor expansion of 2.0 in t
2.870 * [backup-simplify]: Simplify 2.0 into 2.0
2.870 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.870 * [taylor]: Taking taylor expansion of t in t
2.870 * [backup-simplify]: Simplify 0 into 0
2.870 * [backup-simplify]: Simplify 1 into 1
2.870 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.870 * [taylor]: Taking taylor expansion of 1.0 in t
2.870 * [backup-simplify]: Simplify 1.0 into 1.0
2.870 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.870 * [taylor]: Taking taylor expansion of 1.0 in t
2.870 * [backup-simplify]: Simplify 1.0 into 1.0
2.870 * [taylor]: Taking taylor expansion of t in t
2.870 * [backup-simplify]: Simplify 0 into 0
2.870 * [backup-simplify]: Simplify 1 into 1
2.870 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.871 * [backup-simplify]: Simplify (- 0) into 0
2.871 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.872 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.872 * [taylor]: Taking taylor expansion of 2.0 in t
2.872 * [backup-simplify]: Simplify 2.0 into 2.0
2.872 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.872 * [backup-simplify]: Simplify 2.0 into 2.0
2.873 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.873 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.873 * [backup-simplify]: Simplify 2.0 into 2.0
2.875 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.875 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.876 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.880 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.881 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.882 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.882 * [backup-simplify]: Simplify 2.0 into 2.0
2.882 * [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.882 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.883 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) into (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2)
2.883 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in (t) around 0
2.883 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
2.883 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.883 * [taylor]: Taking taylor expansion of 2.0 in t
2.883 * [backup-simplify]: Simplify 2.0 into 2.0
2.883 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.883 * [taylor]: Taking taylor expansion of 2.0 in t
2.883 * [backup-simplify]: Simplify 2.0 into 2.0
2.883 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.883 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.883 * [taylor]: Taking taylor expansion of t in t
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.883 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.883 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.883 * [taylor]: Taking taylor expansion of 1.0 in t
2.883 * [backup-simplify]: Simplify 1.0 into 1.0
2.883 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.883 * [taylor]: Taking taylor expansion of t in t
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify 1 into 1
2.884 * [backup-simplify]: Simplify (/ 1 1) into 1
2.884 * [taylor]: Taking taylor expansion of 1.0 in t
2.884 * [backup-simplify]: Simplify 1.0 into 1.0
2.884 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.885 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.885 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.887 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.887 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.888 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.889 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.889 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.890 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.891 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.892 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.893 * [backup-simplify]: Simplify (+ 0 0) into 0
2.895 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.897 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.900 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.900 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.901 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.901 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
2.901 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.901 * [taylor]: Taking taylor expansion of 2.0 in t
2.901 * [backup-simplify]: Simplify 2.0 into 2.0
2.901 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.901 * [taylor]: Taking taylor expansion of 2.0 in t
2.901 * [backup-simplify]: Simplify 2.0 into 2.0
2.901 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.901 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.901 * [taylor]: Taking taylor expansion of t in t
2.901 * [backup-simplify]: Simplify 0 into 0
2.901 * [backup-simplify]: Simplify 1 into 1
2.901 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.901 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.901 * [taylor]: Taking taylor expansion of 1.0 in t
2.901 * [backup-simplify]: Simplify 1.0 into 1.0
2.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.901 * [taylor]: Taking taylor expansion of t in t
2.901 * [backup-simplify]: Simplify 0 into 0
2.902 * [backup-simplify]: Simplify 1 into 1
2.902 * [backup-simplify]: Simplify (/ 1 1) into 1
2.902 * [taylor]: Taking taylor expansion of 1.0 in t
2.902 * [backup-simplify]: Simplify 1.0 into 1.0
2.902 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.903 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.903 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.905 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.905 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.907 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.907 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.908 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.908 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.909 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.911 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.911 * [backup-simplify]: Simplify (+ 0 0) into 0
2.914 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.916 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.917 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.917 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.918 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.918 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.918 * [backup-simplify]: Simplify 4.0 into 4.0
2.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.919 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.919 * [backup-simplify]: Simplify (+ 0 0) into 0
2.920 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.924 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.925 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.925 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.926 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.927 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
2.927 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.928 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.929 * [backup-simplify]: Simplify (+ 0 0) into 0
2.929 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.932 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.934 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.934 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.935 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.936 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
2.936 * [backup-simplify]: Simplify 12.0 into 12.0
2.937 * [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)))
2.937 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))))) into (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2)
2.937 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
2.937 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
2.937 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.937 * [taylor]: Taking taylor expansion of 2.0 in t
2.937 * [backup-simplify]: Simplify 2.0 into 2.0
2.937 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.938 * [taylor]: Taking taylor expansion of 2.0 in t
2.938 * [backup-simplify]: Simplify 2.0 into 2.0
2.938 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.938 * [taylor]: Taking taylor expansion of t in t
2.938 * [backup-simplify]: Simplify 0 into 0
2.938 * [backup-simplify]: Simplify 1 into 1
2.938 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.938 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.938 * [taylor]: Taking taylor expansion of 1.0 in t
2.938 * [backup-simplify]: Simplify 1.0 into 1.0
2.938 * [taylor]: Taking taylor expansion of t in t
2.938 * [backup-simplify]: Simplify 0 into 0
2.938 * [backup-simplify]: Simplify 1 into 1
2.938 * [taylor]: Taking taylor expansion of 1.0 in t
2.938 * [backup-simplify]: Simplify 1.0 into 1.0
2.938 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.938 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.939 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.939 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.939 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
2.939 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.939 * [taylor]: Taking taylor expansion of 2.0 in t
2.939 * [backup-simplify]: Simplify 2.0 into 2.0
2.939 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.939 * [taylor]: Taking taylor expansion of 2.0 in t
2.939 * [backup-simplify]: Simplify 2.0 into 2.0
2.939 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.939 * [taylor]: Taking taylor expansion of t in t
2.939 * [backup-simplify]: Simplify 0 into 0
2.939 * [backup-simplify]: Simplify 1 into 1
2.939 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.939 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.939 * [taylor]: Taking taylor expansion of 1.0 in t
2.939 * [backup-simplify]: Simplify 1.0 into 1.0
2.939 * [taylor]: Taking taylor expansion of t in t
2.939 * [backup-simplify]: Simplify 0 into 0
2.939 * [backup-simplify]: Simplify 1 into 1
2.939 * [taylor]: Taking taylor expansion of 1.0 in t
2.939 * [backup-simplify]: Simplify 1.0 into 1.0
2.940 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.940 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.940 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.940 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.941 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.941 * [backup-simplify]: Simplify 4.0 into 4.0
2.941 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.941 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.942 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.943 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
2.943 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.944 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.944 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.946 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.947 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.948 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.948 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.951 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
2.952 * [backup-simplify]: Simplify 12.0 into 12.0
2.952 * [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)))
2.953 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))))) into (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2)
2.953 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in (t) around 0
2.953 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
2.953 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.953 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.953 * [taylor]: Taking taylor expansion of 2.0 in t
2.953 * [backup-simplify]: Simplify 2.0 into 2.0
2.953 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.953 * [taylor]: Taking taylor expansion of t in t
2.953 * [backup-simplify]: Simplify 0 into 0
2.953 * [backup-simplify]: Simplify 1 into 1
2.953 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.953 * [taylor]: Taking taylor expansion of 1.0 in t
2.953 * [backup-simplify]: Simplify 1.0 into 1.0
2.953 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.953 * [taylor]: Taking taylor expansion of 1.0 in t
2.953 * [backup-simplify]: Simplify 1.0 into 1.0
2.953 * [taylor]: Taking taylor expansion of t in t
2.953 * [backup-simplify]: Simplify 0 into 0
2.953 * [backup-simplify]: Simplify 1 into 1
2.954 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.954 * [backup-simplify]: Simplify (- 0) into 0
2.955 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.955 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.955 * [taylor]: Taking taylor expansion of 2.0 in t
2.955 * [backup-simplify]: Simplify 2.0 into 2.0
2.956 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.956 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
2.956 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.956 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.956 * [taylor]: Taking taylor expansion of 2.0 in t
2.956 * [backup-simplify]: Simplify 2.0 into 2.0
2.956 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.956 * [taylor]: Taking taylor expansion of t in t
2.956 * [backup-simplify]: Simplify 0 into 0
2.956 * [backup-simplify]: Simplify 1 into 1
2.956 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.956 * [taylor]: Taking taylor expansion of 1.0 in t
2.956 * [backup-simplify]: Simplify 1.0 into 1.0
2.956 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.956 * [taylor]: Taking taylor expansion of 1.0 in t
2.956 * [backup-simplify]: Simplify 1.0 into 1.0
2.956 * [taylor]: Taking taylor expansion of t in t
2.956 * [backup-simplify]: Simplify 0 into 0
2.956 * [backup-simplify]: Simplify 1 into 1
2.957 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.957 * [backup-simplify]: Simplify (- 0) into 0
2.957 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.958 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.958 * [taylor]: Taking taylor expansion of 2.0 in t
2.958 * [backup-simplify]: Simplify 2.0 into 2.0
2.958 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.959 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.959 * [backup-simplify]: Simplify 4.0 into 4.0
2.959 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.960 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.961 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (* 2.0 2.0)) into 8.0
2.961 * [backup-simplify]: Simplify 8.0 into 8.0
2.963 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.963 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.964 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.968 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.969 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.970 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.972 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* 2.0 2.0) (* 2.0 2.0))) into 12.0
2.972 * [backup-simplify]: Simplify 12.0 into 12.0
2.972 * [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)))
2.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2)
2.973 * [backup-simplify]: Simplify (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) into (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0)))
2.973 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in (t) around 0
2.973 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.973 * [taylor]: Taking taylor expansion of 2.0 in t
2.973 * [backup-simplify]: Simplify 2.0 into 2.0
2.973 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.973 * [taylor]: Taking taylor expansion of t in t
2.973 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify 1 into 1
2.973 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.973 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.973 * [taylor]: Taking taylor expansion of 1.0 in t
2.973 * [backup-simplify]: Simplify 1.0 into 1.0
2.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.973 * [taylor]: Taking taylor expansion of t in t
2.973 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify 1 into 1
2.974 * [backup-simplify]: Simplify (/ 1 1) into 1
2.974 * [taylor]: Taking taylor expansion of 1.0 in t
2.974 * [backup-simplify]: Simplify 1.0 into 1.0
2.974 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.975 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.975 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.976 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.977 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.978 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.979 * [backup-simplify]: Simplify (/ 2.0 1.0) into 2.0
2.979 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.979 * [taylor]: Taking taylor expansion of 2.0 in t
2.979 * [backup-simplify]: Simplify 2.0 into 2.0
2.979 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.979 * [taylor]: Taking taylor expansion of t in t
2.979 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify 1 into 1
2.979 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.979 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.979 * [taylor]: Taking taylor expansion of 1.0 in t
2.979 * [backup-simplify]: Simplify 1.0 into 1.0
2.979 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.979 * [taylor]: Taking taylor expansion of t in t
2.979 * [backup-simplify]: Simplify 0 into 0
2.979 * [backup-simplify]: Simplify 1 into 1
2.980 * [backup-simplify]: Simplify (/ 1 1) into 1
2.980 * [taylor]: Taking taylor expansion of 1.0 in t
2.980 * [backup-simplify]: Simplify 1.0 into 1.0
2.980 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.981 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.981 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.983 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.983 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.984 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.985 * [backup-simplify]: Simplify (/ 2.0 1.0) into 2.0
2.985 * [backup-simplify]: Simplify 2.0 into 2.0
2.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.986 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.986 * [backup-simplify]: Simplify (+ 0 0) into 0
2.988 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.989 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.0 (/ 1.0 1.0)))) into (- 2.0)
2.990 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.991 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.991 * [backup-simplify]: Simplify (+ 0 0) into 0
2.992 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.994 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.0 (/ 0 1.0)) (* (- 2.0) (/ 1.0 1.0)))) into 2.0
2.994 * [backup-simplify]: Simplify 2.0 into 2.0
2.995 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 2)) (+ (* (- 2.0) t) 2.0)) into (- (+ (* 2.0 (pow t 2)) 2.0) (* 2.0 t))
2.995 * [backup-simplify]: Simplify (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))) into (* 2.0 (/ t (+ (* 1.0 t) 1.0)))
2.995 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in (t) around 0
2.995 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.995 * [taylor]: Taking taylor expansion of 2.0 in t
2.995 * [backup-simplify]: Simplify 2.0 into 2.0
2.995 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.995 * [taylor]: Taking taylor expansion of t in t
2.995 * [backup-simplify]: Simplify 0 into 0
2.995 * [backup-simplify]: Simplify 1 into 1
2.995 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.995 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.995 * [taylor]: Taking taylor expansion of 1.0 in t
2.995 * [backup-simplify]: Simplify 1.0 into 1.0
2.995 * [taylor]: Taking taylor expansion of t in t
2.995 * [backup-simplify]: Simplify 0 into 0
2.995 * [backup-simplify]: Simplify 1 into 1
2.995 * [taylor]: Taking taylor expansion of 1.0 in t
2.995 * [backup-simplify]: Simplify 1.0 into 1.0
2.995 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.996 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.996 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.996 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.996 * [taylor]: Taking taylor expansion of 2.0 in t
2.996 * [backup-simplify]: Simplify 2.0 into 2.0
2.996 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.996 * [taylor]: Taking taylor expansion of t in t
2.996 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify 1 into 1
2.996 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.996 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.996 * [taylor]: Taking taylor expansion of 1.0 in t
2.996 * [backup-simplify]: Simplify 1.0 into 1.0
2.996 * [taylor]: Taking taylor expansion of t in t
2.996 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify 1 into 1
2.996 * [taylor]: Taking taylor expansion of 1.0 in t
2.996 * [backup-simplify]: Simplify 1.0 into 1.0
2.997 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.997 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.997 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.997 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.997 * [backup-simplify]: Simplify 2.0 into 2.0
2.998 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.999 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.000 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.001 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.002 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.002 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.002 * [backup-simplify]: Simplify (+ 0 0) into 0
3.005 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.006 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.006 * [backup-simplify]: Simplify 2.0 into 2.0
3.007 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 3)) (+ (* (- 2.0) (pow (/ 1 t) 2)) (* 2.0 (/ 1 t)))) into (- (+ (* 2.0 (/ 1 t)) (* 2.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2))))
3.007 * [backup-simplify]: Simplify (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))) into (* -2.0 (/ t (- 1.0 (* 1.0 t))))
3.007 * [approximate]: Taking taylor expansion of (* -2.0 (/ t (- 1.0 (* 1.0 t)))) in (t) around 0
3.007 * [taylor]: Taking taylor expansion of (* -2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.007 * [taylor]: Taking taylor expansion of -2.0 in t
3.007 * [backup-simplify]: Simplify -2.0 into -2.0
3.007 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.007 * [taylor]: Taking taylor expansion of t in t
3.007 * [backup-simplify]: Simplify 0 into 0
3.007 * [backup-simplify]: Simplify 1 into 1
3.007 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.007 * [taylor]: Taking taylor expansion of 1.0 in t
3.007 * [backup-simplify]: Simplify 1.0 into 1.0
3.007 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.007 * [taylor]: Taking taylor expansion of 1.0 in t
3.007 * [backup-simplify]: Simplify 1.0 into 1.0
3.007 * [taylor]: Taking taylor expansion of t in t
3.007 * [backup-simplify]: Simplify 0 into 0
3.007 * [backup-simplify]: Simplify 1 into 1
3.008 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.008 * [backup-simplify]: Simplify (- 0) into 0
3.008 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.008 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.008 * [taylor]: Taking taylor expansion of (* -2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.008 * [taylor]: Taking taylor expansion of -2.0 in t
3.008 * [backup-simplify]: Simplify -2.0 into -2.0
3.008 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.008 * [taylor]: Taking taylor expansion of t in t
3.008 * [backup-simplify]: Simplify 0 into 0
3.008 * [backup-simplify]: Simplify 1 into 1
3.008 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.008 * [taylor]: Taking taylor expansion of 1.0 in t
3.009 * [backup-simplify]: Simplify 1.0 into 1.0
3.009 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.009 * [taylor]: Taking taylor expansion of 1.0 in t
3.009 * [backup-simplify]: Simplify 1.0 into 1.0
3.009 * [taylor]: Taking taylor expansion of t in t
3.009 * [backup-simplify]: Simplify 0 into 0
3.009 * [backup-simplify]: Simplify 1 into 1
3.009 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.009 * [backup-simplify]: Simplify (- 0) into 0
3.009 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.010 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.010 * [backup-simplify]: Simplify (* -2.0 1.0) into -2.0
3.010 * [backup-simplify]: Simplify -2.0 into -2.0
3.011 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.011 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.012 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.014 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.015 * [backup-simplify]: Simplify (+ (* -2.0 1.0) (* 0 1.0)) into (- 2.0)
3.015 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.016 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
3.016 * [backup-simplify]: Simplify (- 0) into 0
3.017 * [backup-simplify]: Simplify (+ 0 0) into 0
3.021 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.022 * [backup-simplify]: Simplify (+ (* -2.0 1.0) (+ (* 0 1.0) (* 0 1.0))) into (- 2.0)
3.023 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.024 * [backup-simplify]: Simplify (+ (* (- 2.0) (pow (/ 1 (- t)) 3)) (+ (* (- 2.0) (pow (/ 1 (- t)) 2)) (* -2.0 (/ 1 (- t))))) into (- (+ (* 2.0 (/ 1 t)) (* 2.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2))))
3.024 * * * [progress]: simplifying candidates
3.033 * [simplify]: Simplifying:
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 1 1)
  (+ (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (log (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (exp (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 2 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 2.0 (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 2.0 (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (- (log 2.0) (log t)) (log (+ 1.0 (/ 1.0 t))))
  (- (log (/ 2.0 t)) (log (+ 1.0 (/ 1.0 t))))
  (log (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 (/ 1.0 t)) (+ 1.0 (/ 1.0 t))) (+ 1.0 (/ 1.0 t))))
  (/ (* (* (/ 2.0 t) (/ 2.0 t)) (/ 2.0 t)) (* (* (+ 1.0 (/ 1.0 t)) (+ 1.0 (/ 1.0 t))) (+ 1.0 (/ 1.0 t))))
  (* (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (cbrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ 2.0 t))
  (- (+ 1.0 (/ 1.0 t)))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (cbrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (cbrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) 1)
  (/ (cbrt (/ 2.0 t)) (+ 1.0 (/ 1.0 t)))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) 1)
  (/ (cbrt (/ 2.0 t)) (+ 1.0 (/ 1.0 t)))
  (/ (sqrt (/ 2.0 t)) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (sqrt (/ 2.0 t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (sqrt (/ 2.0 t)) 1)
  (/ (sqrt (/ 2.0 t)) (+ 1.0 (/ 1.0 t)))
  (/ (sqrt (/ 2.0 t)) 1)
  (/ (sqrt (/ 2.0 t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (cbrt 2.0) (cbrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (cbrt 2.0) (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (cbrt 2.0) (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (cbrt 2.0) (sqrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (cbrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) 1)
  (/ (/ (cbrt 2.0) (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt t)) 1)
  (/ (/ (cbrt 2.0) (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (cbrt 2.0) t) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (cbrt 2.0) t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) 1)
  (/ (/ (cbrt 2.0) t) (+ 1.0 (/ 1.0 t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) 1) 1)
  (/ (/ (cbrt 2.0) t) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (sqrt 2.0) (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) 1)
  (/ (/ (sqrt 2.0) (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (sqrt 2.0) (sqrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) (sqrt t)) 1)
  (/ (/ (sqrt 2.0) (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) (sqrt t)) 1)
  (/ (/ (sqrt 2.0) (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) 1) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ (sqrt 2.0) t) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) 1) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ (sqrt 2.0) 1) 1)
  (/ (/ (sqrt 2.0) t) (+ 1.0 (/ 1.0 t)))
  (/ (/ (sqrt 2.0) 1) 1)
  (/ (/ (sqrt 2.0) t) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 2.0 (cbrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 (* (cbrt t) (cbrt t))) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 2.0 (cbrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 (* (cbrt t) (cbrt t))) 1)
  (/ (/ 2.0 (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 (* (cbrt t) (cbrt t))) 1)
  (/ (/ 2.0 (cbrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 (sqrt t)) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 2.0 (sqrt t)) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 2.0 (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 (sqrt t)) 1)
  (/ (/ 2.0 (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 (sqrt t)) 1)
  (/ (/ 2.0 (sqrt t)) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 1) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 2.0 t) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 1) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 2.0 t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 1) 1)
  (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
  (/ (/ 1 1) 1)
  (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
  (/ 1 (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 2.0 t) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ 1 (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 2.0 t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ 1 1)
  (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
  (/ 1 1)
  (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
  (/ 2.0 (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 1 t) (cbrt (+ 1.0 (/ 1.0 t))))
  (/ 2.0 (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 1 t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ 2.0 1)
  (/ (/ 1 t) (+ 1.0 (/ 1.0 t)))
  (/ 2.0 1)
  (/ (/ 1 t) (+ 1.0 (/ 1.0 t)))
  (/ 1 (+ 1.0 (/ 1.0 t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ 2.0 t))
  (/ (/ 2.0 t) (* (cbrt (+ 1.0 (/ 1.0 t))) (cbrt (+ 1.0 (/ 1.0 t)))))
  (/ (/ 2.0 t) (sqrt (+ 1.0 (/ 1.0 t))))
  (/ (/ 2.0 t) 1)
  (/ (/ 2.0 t) 1)
  (/ (+ 1.0 (/ 1.0 t)) (cbrt (/ 2.0 t)))
  (/ (+ 1.0 (/ 1.0 t)) (sqrt (/ 2.0 t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ (cbrt 2.0) (cbrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ (cbrt 2.0) (sqrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ (cbrt 2.0) t))
  (/ (+ 1.0 (/ 1.0 t)) (/ (sqrt 2.0) (cbrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ (sqrt 2.0) (sqrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ (sqrt 2.0) t))
  (/ (+ 1.0 (/ 1.0 t)) (/ 2.0 (cbrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ 2.0 (sqrt t)))
  (/ (+ 1.0 (/ 1.0 t)) (/ 2.0 t))
  (/ (+ 1.0 (/ 1.0 t)) (/ 2.0 t))
  (/ (+ 1.0 (/ 1.0 t)) (/ 1 t))
  (/ (/ 2.0 t) (+ (pow 1.0 3) (pow (/ 1.0 t) 3)))
  (/ (/ 2.0 t) (- (* 1.0 1.0) (* (/ 1.0 t) (/ 1.0 t))))
  (* (+ 1.0 (/ 1.0 t)) t)
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 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 (pow t 2)) 2.0) (* 2.0 t))
  (- (+ (* 2.0 (/ 1 t)) (* 2.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2))))
  (- (+ (* 2.0 (/ 1 t)) (* 2.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2))))
3.040 * * [simplify]: iteration 0: 265 enodes
3.117 * * [simplify]: iteration 1: 734 enodes
3.649 * * [simplify]: iteration 2: 3908 enodes
4.682 * * [simplify]: iteration complete: 5001 enodes
4.682 * * [simplify]: Extracting #0: cost 153 inf + 0
4.693 * * [simplify]: Extracting #1: cost 1227 inf + 3
4.704 * * [simplify]: Extracting #2: cost 1917 inf + 506
4.717 * * [simplify]: Extracting #3: cost 1519 inf + 3246
4.730 * * [simplify]: Extracting #4: cost 654 inf + 13207
4.744 * * [simplify]: Extracting #5: cost 79 inf + 25007
4.756 * * [simplify]: Extracting #6: cost 2 inf + 26096
4.769 * * [simplify]: Extracting #7: cost 0 inf + 26127
4.786 * [simplify]: Simplified to:
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0))
  (/ (- (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (/ (- (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0))
  (/ (- (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (/ (- (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  2
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  2
  (* (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 2)
  (* (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 2)
  (exp (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (pow (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 3)
  (* (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))))
  (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (pow (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 3)
  (fabs (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (fabs (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0)) (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0)))
  (* (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0)) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0)) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)) (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  2
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (log (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (log (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (log (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (exp (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (* (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- (/ 2.0 t))
  (- (+ (/ 1.0 t) 1.0))
  (/ (* (cbrt (/ 2.0 t)) (/ (cbrt (/ 2.0 t)) (cbrt (+ (/ 1.0 t) 1.0)))) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (cbrt (/ 2.0 t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t))) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (cbrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t)))
  (/ (cbrt (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (* (cbrt (/ 2.0 t)) (cbrt (/ 2.0 t)))
  (/ (cbrt (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (/ (/ (sqrt (/ 2.0 t)) (cbrt (+ (/ 1.0 t) 1.0))) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt (/ 2.0 t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (sqrt (/ 2.0 t))
  (/ (sqrt (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (sqrt (/ 2.0 t))
  (/ (sqrt (/ 2.0 t)) (+ (/ 1.0 t) 1.0))
  (/ (cbrt 2.0) (* (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))) (/ (* (cbrt t) (cbrt t)) (cbrt 2.0))))
  (/ (/ (cbrt 2.0) (cbrt t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (/ (cbrt 2.0) (cbrt t)) (/ (sqrt (+ (/ 1.0 t) 1.0)) (/ (cbrt 2.0) (cbrt t))))
  (/ (cbrt 2.0) (* (sqrt (+ (/ 1.0 t) 1.0)) (cbrt t)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt t)) (cbrt t))
  (/ (/ (cbrt 2.0) (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt t)) (cbrt t))
  (/ (/ (cbrt 2.0) (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ (/ (cbrt 2.0) (/ (sqrt t) (cbrt 2.0))) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ (cbrt 2.0) (cbrt (+ (/ 1.0 t) 1.0))) (sqrt t))
  (/ (cbrt 2.0) (* (sqrt (+ (/ 1.0 t) 1.0)) (/ (sqrt t) (cbrt 2.0))))
  (/ (cbrt 2.0) (* (sqrt (+ (/ 1.0 t) 1.0)) (sqrt t)))
  (/ (cbrt 2.0) (/ (sqrt t) (cbrt 2.0)))
  (/ (/ (cbrt 2.0) (sqrt t)) (+ (/ 1.0 t) 1.0))
  (/ (cbrt 2.0) (/ (sqrt t) (cbrt 2.0)))
  (/ (/ (cbrt 2.0) (sqrt t)) (+ (/ 1.0 t) 1.0))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ (cbrt 2.0) (cbrt (+ (/ 1.0 t) 1.0))) t)
  (/ (cbrt 2.0) (/ (sqrt (+ (/ 1.0 t) 1.0)) (cbrt 2.0)))
  (/ (/ (cbrt 2.0) t) (sqrt (+ (/ 1.0 t) 1.0)))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (/ (cbrt 2.0) t) (+ (/ 1.0 t) 1.0))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (/ (cbrt 2.0) t) (+ (/ 1.0 t) 1.0))
  (/ (/ (sqrt 2.0) (* (cbrt t) (cbrt t))) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ (sqrt 2.0) (cbrt t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt 2.0) (* (sqrt (+ (/ 1.0 t) 1.0)) (* (cbrt t) (cbrt t))))
  (/ (/ (sqrt 2.0) (cbrt t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt 2.0) (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ (sqrt 2.0) (* (cbrt t) (cbrt t)))
  (/ (/ (sqrt 2.0) (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ (/ (sqrt 2.0) (sqrt t)) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (sqrt 2.0) (* (sqrt t) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt 2.0) (sqrt t))
  (/ (sqrt 2.0) (* (+ (/ 1.0 t) 1.0) (sqrt t)))
  (/ (sqrt 2.0) (sqrt t))
  (/ (sqrt 2.0) (* (+ (/ 1.0 t) 1.0) (sqrt t)))
  (/ (sqrt 2.0) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ (sqrt 2.0) t) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ (/ (sqrt 2.0) t) (sqrt (+ (/ 1.0 t) 1.0)))
  (sqrt 2.0)
  (/ (/ (sqrt 2.0) t) (+ (/ 1.0 t) 1.0))
  (sqrt 2.0)
  (/ (/ (sqrt 2.0) t) (+ (/ 1.0 t) 1.0))
  (/ 1 (* (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))) (* (cbrt t) (cbrt t))))
  (/ (/ 2.0 (cbrt t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (/ 1 (cbrt t)) (* (sqrt (+ (/ 1.0 t) 1.0)) (cbrt t)))
  (/ (/ 2.0 (cbrt t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (/ 2.0 (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (/ 2.0 (cbrt t)) (+ (/ 1.0 t) 1.0))
  (/ (/ 1 (sqrt t)) (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ (/ 2.0 (sqrt t)) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (* (sqrt (+ (/ 1.0 t) 1.0)) (sqrt t)))
  (/ (/ 2.0 (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (sqrt t))
  (/ (/ 2.0 (sqrt t)) (+ (/ 1.0 t) 1.0))
  (/ 1 (sqrt t))
  (/ (/ 2.0 (sqrt t)) (+ (/ 1.0 t) 1.0))
  (/ (/ 1 (cbrt (+ (/ 1.0 t) 1.0))) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (/ 2.0 t) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (sqrt (+ (/ 1.0 t) 1.0)))
  (/ 2.0 (* (sqrt (+ (/ 1.0 t) 1.0)) t))
  1
  (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))
  1
  (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))
  (/ (/ 1 (cbrt (+ (/ 1.0 t) 1.0))) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ (/ 2.0 t) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (sqrt (+ (/ 1.0 t) 1.0)))
  (/ 2.0 (* (sqrt (+ (/ 1.0 t) 1.0)) t))
  1
  (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))
  1
  (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))
  (/ 2.0 (* (cbrt (+ (/ 1.0 t) 1.0)) (cbrt (+ (/ 1.0 t) 1.0))))
  (/ 1 (* (cbrt (+ (/ 1.0 t) 1.0)) t))
  (/ 2.0 (sqrt (+ (/ 1.0 t) 1.0)))
  (/ 1 (* (sqrt (+ (/ 1.0 t) 1.0)) t))
  2.0
  (/ (/ 1 (+ (/ 1.0 t) 1.0)) t)
  2.0
  (/ (/ 1 (+ (/ 1.0 t) 1.0)) t)
  (/ 1 (+ (/ 1.0 t) 1.0))
  (/ (* (+ (/ 1.0 t) 1.0) t) 2.0)
  (/ (/ (/ 2.0 t) (cbrt (+ (/ 1.0 t) 1.0))) (cbrt (+ (/ 1.0 t) 1.0)))
  (/ 2.0 (* (sqrt (+ (/ 1.0 t) 1.0)) t))
  (/ 2.0 t)
  (/ 2.0 t)
  (/ (+ (/ 1.0 t) 1.0) (cbrt (/ 2.0 t)))
  (/ (+ (/ 1.0 t) 1.0) (sqrt (/ 2.0 t)))
  (* (/ (+ (/ 1.0 t) 1.0) (cbrt 2.0)) (cbrt t))
  (/ (* (+ (/ 1.0 t) 1.0) (sqrt t)) (cbrt 2.0))
  (/ (+ (/ 1.0 t) 1.0) (/ (cbrt 2.0) t))
  (* (/ (+ (/ 1.0 t) 1.0) (sqrt 2.0)) (cbrt t))
  (* (sqrt t) (/ (+ (/ 1.0 t) 1.0) (sqrt 2.0)))
  (/ (* (+ (/ 1.0 t) 1.0) t) (sqrt 2.0))
  (/ (+ (/ 1.0 t) 1.0) (/ 2.0 (cbrt t)))
  (* (sqrt t) (/ (+ (/ 1.0 t) 1.0) 2.0))
  (/ (* (+ (/ 1.0 t) 1.0) t) 2.0)
  (/ (* (+ (/ 1.0 t) 1.0) t) 2.0)
  (* (+ (/ 1.0 t) 1.0) t)
  (/ 2.0 (* (+ (pow 1.0 3) (pow (/ 1.0 t) 3)) t))
  (/ (/ (/ 2.0 t) (+ (/ 1.0 t) 1.0)) (- 1.0 (/ 1.0 t)))
  (* (+ (/ 1.0 t) 1.0) t)
  (- (* 2.0 (+ (pow t 3) t)) (* (* 2.0 t) t))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (- (* 2.0 (+ (pow t 3) t)) (* (* 2.0 t) t))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (+ (* t (* t 4.0)) (- (* 12.0 (pow t 4)) (* 8.0 (pow t 3))))
  (+ (- 4.0 (/ 8.0 t)) (/ 12.0 (pow t 2)))
  (+ (- 4.0 (/ 8.0 t)) (/ 12.0 (pow t 2)))
  (+ 2.0 (- (* (* 2.0 t) t) (* 2.0 t)))
  (- (+ (/ 2.0 (pow t 3)) (/ 2.0 t)) (/ 2.0 (pow t 2)))
  (- (+ (/ 2.0 (pow t 3)) (/ 2.0 t)) (/ 2.0 (pow t 2)))
4.789 * * * [progress]: adding candidates to table
5.696 * * [progress]: iteration 2 / 4
5.696 * * * [progress]: picking best candidate
5.707 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (/ (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>
5.707 * * * [progress]: localizing error
5.845 * * * [progress]: generating rewritten candidates
5.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 1)
5.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2)
5.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1 2)
6.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1 2 2)
6.077 * * * [progress]: generating series expansions
6.077 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 1)
6.079 * [backup-simplify]: Simplify (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) into (- 8.0 (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3)))))
6.079 * [approximate]: Taking taylor expansion of (- 8.0 (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3))))) in (t) around 0
6.079 * [taylor]: Taking taylor expansion of (- 8.0 (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3))))) in t
6.079 * [taylor]: Taking taylor expansion of 8.0 in t
6.079 * [backup-simplify]: Simplify 8.0 into 8.0
6.079 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3)))) in t
6.079 * [taylor]: Taking taylor expansion of 8.0 in t
6.079 * [backup-simplify]: Simplify 8.0 into 8.0
6.079 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3))) in t
6.079 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3)) in t
6.079 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.079 * [taylor]: Taking taylor expansion of t in t
6.079 * [backup-simplify]: Simplify 0 into 0
6.079 * [backup-simplify]: Simplify 1 into 1
6.079 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 3) in t
6.079 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.079 * [taylor]: Taking taylor expansion of 1.0 in t
6.079 * [backup-simplify]: Simplify 1.0 into 1.0
6.079 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.079 * [taylor]: Taking taylor expansion of t in t
6.079 * [backup-simplify]: Simplify 0 into 0
6.080 * [backup-simplify]: Simplify 1 into 1
6.080 * [backup-simplify]: Simplify (/ 1 1) into 1
6.080 * [taylor]: Taking taylor expansion of 1.0 in t
6.080 * [backup-simplify]: Simplify 1.0 into 1.0
6.080 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.081 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.082 * [backup-simplify]: Simplify (* 1 1) into 1
6.082 * [backup-simplify]: Simplify (* 1 1) into 1
6.082 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.083 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.083 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
6.084 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.084 * [taylor]: Taking taylor expansion of (- 8.0 (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3))))) in t
6.084 * [taylor]: Taking taylor expansion of 8.0 in t
6.084 * [backup-simplify]: Simplify 8.0 into 8.0
6.084 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3)))) in t
6.084 * [taylor]: Taking taylor expansion of 8.0 in t
6.084 * [backup-simplify]: Simplify 8.0 into 8.0
6.084 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3))) in t
6.084 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow (+ (* 1.0 (/ 1 t)) 1.0) 3)) in t
6.084 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.084 * [taylor]: Taking taylor expansion of t in t
6.084 * [backup-simplify]: Simplify 0 into 0
6.084 * [backup-simplify]: Simplify 1 into 1
6.084 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 3) in t
6.084 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.084 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.084 * [taylor]: Taking taylor expansion of 1.0 in t
6.084 * [backup-simplify]: Simplify 1.0 into 1.0
6.084 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.084 * [taylor]: Taking taylor expansion of t in t
6.084 * [backup-simplify]: Simplify 0 into 0
6.084 * [backup-simplify]: Simplify 1 into 1
6.085 * [backup-simplify]: Simplify (/ 1 1) into 1
6.085 * [taylor]: Taking taylor expansion of 1.0 in t
6.085 * [backup-simplify]: Simplify 1.0 into 1.0
6.085 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.086 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.086 * [backup-simplify]: Simplify (* 1 1) into 1
6.086 * [backup-simplify]: Simplify (* 1 1) into 1
6.087 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.087 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.088 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
6.088 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.089 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
6.089 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
6.090 * [backup-simplify]: Simplify (+ 8.0 (- 8.0)) into 0
6.090 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.092 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.092 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.093 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 1.0 1.0)) into 2.0
6.095 * [backup-simplify]: Simplify (+ (* 1.0 2.0) (* 1.0 1.0)) into 3.0
6.095 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.097 * [backup-simplify]: Simplify (+ (* 1 3.0) (* 0 1.0)) into 3.0
6.100 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 3.0 1.0)))) into (- 3.0)
6.102 * [backup-simplify]: Simplify (+ (* 8.0 (- 3.0)) (* 0 1.0)) into (- 24.0)
6.103 * [backup-simplify]: Simplify (- (- 24.0)) into 24.0
6.103 * [backup-simplify]: Simplify (+ 0 24.0) into 24.0
6.103 * [backup-simplify]: Simplify 24.0 into 24.0
6.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.105 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.105 * [backup-simplify]: Simplify (+ 0 0) into 0
6.108 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 1.0) (* 0 1.0))) into 1.0
6.111 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (+ (* 1.0 2.0) (* 0 1.0))) into 3.0
6.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.115 * [backup-simplify]: Simplify (+ (* 1 3.0) (+ (* 0 3.0) (* 0 1.0))) into 3.0
6.119 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 3.0 1.0)) (* (- 3.0) (/ 3.0 1.0)))) into 6.0
6.122 * [backup-simplify]: Simplify (+ (* 8.0 6.0) (+ (* 0 (- 3.0)) (* 0 1.0))) into 48.0
6.122 * [backup-simplify]: Simplify (- 48.0) into (- 48.0)
6.123 * [backup-simplify]: Simplify (+ 0 (- 48.0)) into (- 48.0)
6.124 * [backup-simplify]: Simplify (- 48.0) into (- 48.0)
6.124 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.126 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.126 * [backup-simplify]: Simplify (+ 0 0) into 0
6.127 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
6.131 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 1.0) (+ (* 0 2.0) (* 0 1.0)))) into 1.0
6.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.136 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 3.0) (+ (* 0 3.0) (* 0 1.0)))) into 1.0
6.142 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)) (* (- 3.0) (/ 3.0 1.0)) (* 6.0 (/ 3.0 1.0)))) into (- 10.0)
6.147 * [backup-simplify]: Simplify (+ (* 8.0 (- 10.0)) (+ (* 0 6.0) (+ (* 0 (- 3.0)) (* 0 1.0)))) into (- 80.0)
6.147 * [backup-simplify]: Simplify (- (- 80.0)) into 80.0
6.148 * [backup-simplify]: Simplify (+ 0 80.0) into 80.0
6.148 * [backup-simplify]: Simplify 80.0 into 80.0
6.149 * [backup-simplify]: Simplify (+ (* 80.0 (pow t 3)) (+ (* (- 48.0) (pow t 2)) (* 24.0 t))) into (- (+ (* 24.0 t) (* 80.0 (pow t 3))) (* 48.0 (pow t 2)))
6.150 * [backup-simplify]: Simplify (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 (/ 1 t)) 1.0) (/ 1 t))) 3)) into (- 8.0 (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3))))
6.150 * [approximate]: Taking taylor expansion of (- 8.0 (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3)))) in (t) around 0
6.150 * [taylor]: Taking taylor expansion of (- 8.0 (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3)))) in t
6.150 * [taylor]: Taking taylor expansion of 8.0 in t
6.150 * [backup-simplify]: Simplify 8.0 into 8.0
6.150 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3))) in t
6.150 * [taylor]: Taking taylor expansion of 8.0 in t
6.150 * [backup-simplify]: Simplify 8.0 into 8.0
6.150 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3)) in t
6.150 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.150 * [taylor]: Taking taylor expansion of t in t
6.150 * [backup-simplify]: Simplify 0 into 0
6.150 * [backup-simplify]: Simplify 1 into 1
6.150 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 3) in t
6.150 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.150 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.150 * [taylor]: Taking taylor expansion of 1.0 in t
6.150 * [backup-simplify]: Simplify 1.0 into 1.0
6.150 * [taylor]: Taking taylor expansion of t in t
6.150 * [backup-simplify]: Simplify 0 into 0
6.150 * [backup-simplify]: Simplify 1 into 1
6.150 * [taylor]: Taking taylor expansion of 1.0 in t
6.150 * [backup-simplify]: Simplify 1.0 into 1.0
6.151 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.151 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.152 * [backup-simplify]: Simplify (* 1 1) into 1
6.152 * [backup-simplify]: Simplify (* 1 1) into 1
6.153 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.153 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.153 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.153 * [taylor]: Taking taylor expansion of (- 8.0 (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3)))) in t
6.154 * [taylor]: Taking taylor expansion of 8.0 in t
6.154 * [backup-simplify]: Simplify 8.0 into 8.0
6.154 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3))) in t
6.154 * [taylor]: Taking taylor expansion of 8.0 in t
6.154 * [backup-simplify]: Simplify 8.0 into 8.0
6.154 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow (+ (* 1.0 t) 1.0) 3)) in t
6.154 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.154 * [taylor]: Taking taylor expansion of t in t
6.154 * [backup-simplify]: Simplify 0 into 0
6.154 * [backup-simplify]: Simplify 1 into 1
6.154 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 3) in t
6.154 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.154 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.154 * [taylor]: Taking taylor expansion of 1.0 in t
6.154 * [backup-simplify]: Simplify 1.0 into 1.0
6.154 * [taylor]: Taking taylor expansion of t in t
6.154 * [backup-simplify]: Simplify 0 into 0
6.154 * [backup-simplify]: Simplify 1 into 1
6.154 * [taylor]: Taking taylor expansion of 1.0 in t
6.154 * [backup-simplify]: Simplify 1.0 into 1.0
6.155 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.155 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.155 * [backup-simplify]: Simplify (* 1 1) into 1
6.156 * [backup-simplify]: Simplify (* 1 1) into 1
6.156 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.157 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.157 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.158 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
6.158 * [backup-simplify]: Simplify 8.0 into 8.0
6.158 * [backup-simplify]: Simplify (+ 0 0) into 0
6.158 * [backup-simplify]: Simplify 0 into 0
6.159 * [backup-simplify]: Simplify (+ 0 0) into 0
6.159 * [backup-simplify]: Simplify 0 into 0
6.159 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
6.160 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
6.163 * [backup-simplify]: Simplify (+ 0 (- 8.0)) into (- 8.0)
6.164 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
6.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.167 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.168 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.169 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 1.0 1.0)) into 2.0
6.170 * [backup-simplify]: Simplify (+ (* 1.0 2.0) (* 1.0 1.0)) into 3.0
6.173 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 3.0 1.0)))) into (- 3.0)
6.176 * [backup-simplify]: Simplify (+ (* 8.0 (- 3.0)) (* 0 1.0)) into (- 24.0)
6.177 * [backup-simplify]: Simplify (- (- 24.0)) into 24.0
6.177 * [backup-simplify]: Simplify (+ 0 24.0) into 24.0
6.177 * [backup-simplify]: Simplify 24.0 into 24.0
6.178 * [backup-simplify]: Simplify (+ (* 24.0 (pow (/ 1 t) 4)) (+ (* (- 8.0) (pow (/ 1 t) 3)) 8.0)) into (- (+ (* 24.0 (/ 1 (pow t 4))) 8.0) (* 8.0 (/ 1 (pow t 3))))
6.179 * [backup-simplify]: Simplify (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 (/ 1 (- t))) 1.0) (/ 1 (- t)))) 3)) into (+ (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) 8.0)
6.179 * [approximate]: Taking taylor expansion of (+ (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) 8.0) in (t) around 0
6.179 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) 8.0) in t
6.179 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) in t
6.179 * [taylor]: Taking taylor expansion of 8.0 in t
6.179 * [backup-simplify]: Simplify 8.0 into 8.0
6.179 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3)) in t
6.179 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.179 * [taylor]: Taking taylor expansion of t in t
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify 1 into 1
6.179 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 3) in t
6.179 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.180 * [taylor]: Taking taylor expansion of 1.0 in t
6.180 * [backup-simplify]: Simplify 1.0 into 1.0
6.180 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.180 * [taylor]: Taking taylor expansion of 1.0 in t
6.180 * [backup-simplify]: Simplify 1.0 into 1.0
6.180 * [taylor]: Taking taylor expansion of t in t
6.180 * [backup-simplify]: Simplify 0 into 0
6.180 * [backup-simplify]: Simplify 1 into 1
6.180 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.181 * [backup-simplify]: Simplify (- 0) into 0
6.181 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.181 * [backup-simplify]: Simplify (* 1 1) into 1
6.182 * [backup-simplify]: Simplify (* 1 1) into 1
6.182 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.183 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.183 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.183 * [taylor]: Taking taylor expansion of 8.0 in t
6.183 * [backup-simplify]: Simplify 8.0 into 8.0
6.183 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) 8.0) in t
6.183 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3))) in t
6.183 * [taylor]: Taking taylor expansion of 8.0 in t
6.183 * [backup-simplify]: Simplify 8.0 into 8.0
6.183 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow (- 1.0 (* 1.0 t)) 3)) in t
6.183 * [taylor]: Taking taylor expansion of (pow t 3) in t
6.183 * [taylor]: Taking taylor expansion of t in t
6.183 * [backup-simplify]: Simplify 0 into 0
6.184 * [backup-simplify]: Simplify 1 into 1
6.184 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 3) in t
6.184 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.184 * [taylor]: Taking taylor expansion of 1.0 in t
6.184 * [backup-simplify]: Simplify 1.0 into 1.0
6.184 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.184 * [taylor]: Taking taylor expansion of 1.0 in t
6.184 * [backup-simplify]: Simplify 1.0 into 1.0
6.184 * [taylor]: Taking taylor expansion of t in t
6.184 * [backup-simplify]: Simplify 0 into 0
6.184 * [backup-simplify]: Simplify 1 into 1
6.184 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.185 * [backup-simplify]: Simplify (- 0) into 0
6.185 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.186 * [backup-simplify]: Simplify (* 1 1) into 1
6.186 * [backup-simplify]: Simplify (* 1 1) into 1
6.186 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.187 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.187 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.187 * [taylor]: Taking taylor expansion of 8.0 in t
6.187 * [backup-simplify]: Simplify 8.0 into 8.0
6.188 * [backup-simplify]: Simplify (+ 0 8.0) into 8.0
6.188 * [backup-simplify]: Simplify 8.0 into 8.0
6.188 * [backup-simplify]: Simplify (+ 0 0) into 0
6.188 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify (+ 0 0) into 0
6.189 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
6.190 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
6.190 * [backup-simplify]: Simplify 8.0 into 8.0
6.190 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.191 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.192 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.192 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.193 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.194 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0)) (* (- 1.0) 1.0)) into (- 2.0)
6.196 * [backup-simplify]: Simplify (+ (* 1.0 (- 2.0)) (* (- 1.0) 1.0)) into (- 3.0)
6.198 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 3.0) 1.0)))) into 3.0
6.199 * [backup-simplify]: Simplify (+ (* 8.0 3.0) (* 0 1.0)) into 24.0
6.199 * [backup-simplify]: Simplify (+ 24.0 0) into 24.0
6.199 * [backup-simplify]: Simplify 24.0 into 24.0
6.200 * [backup-simplify]: Simplify (+ (* 24.0 (pow (/ 1 (- t)) 4)) (+ (* 8.0 (pow (/ 1 (- t)) 3)) 8.0)) into (- (+ (* 24.0 (/ 1 (pow t 4))) 8.0) (* 8.0 (/ 1 (pow t 3))))
6.200 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2)
6.200 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
6.200 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
6.200 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
6.200 * [taylor]: Taking taylor expansion of 2.0 in t
6.200 * [backup-simplify]: Simplify 2.0 into 2.0
6.200 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
6.200 * [taylor]: Taking taylor expansion of 2.0 in t
6.200 * [backup-simplify]: Simplify 2.0 into 2.0
6.200 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
6.200 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.200 * [taylor]: Taking taylor expansion of t in t
6.200 * [backup-simplify]: Simplify 0 into 0
6.200 * [backup-simplify]: Simplify 1 into 1
6.200 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.200 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.200 * [taylor]: Taking taylor expansion of 1.0 in t
6.200 * [backup-simplify]: Simplify 1.0 into 1.0
6.200 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.200 * [taylor]: Taking taylor expansion of t in t
6.200 * [backup-simplify]: Simplify 0 into 0
6.200 * [backup-simplify]: Simplify 1 into 1
6.201 * [backup-simplify]: Simplify (/ 1 1) into 1
6.201 * [taylor]: Taking taylor expansion of 1.0 in t
6.201 * [backup-simplify]: Simplify 1.0 into 1.0
6.201 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.201 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.201 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.202 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.203 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.204 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
6.204 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.204 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
6.204 * [taylor]: Taking taylor expansion of 2.0 in t
6.204 * [backup-simplify]: Simplify 2.0 into 2.0
6.204 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
6.204 * [taylor]: Taking taylor expansion of 2.0 in t
6.204 * [backup-simplify]: Simplify 2.0 into 2.0
6.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
6.205 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.205 * [taylor]: Taking taylor expansion of t in t
6.205 * [backup-simplify]: Simplify 0 into 0
6.205 * [backup-simplify]: Simplify 1 into 1
6.205 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.205 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.205 * [taylor]: Taking taylor expansion of 1.0 in t
6.205 * [backup-simplify]: Simplify 1.0 into 1.0
6.205 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.205 * [taylor]: Taking taylor expansion of t in t
6.205 * [backup-simplify]: Simplify 0 into 0
6.205 * [backup-simplify]: Simplify 1 into 1
6.205 * [backup-simplify]: Simplify (/ 1 1) into 1
6.205 * [taylor]: Taking taylor expansion of 1.0 in t
6.205 * [backup-simplify]: Simplify 1.0 into 1.0
6.206 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.206 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.207 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.208 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.209 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.210 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
6.211 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.211 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.212 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.213 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
6.213 * [backup-simplify]: Simplify 0 into 0
6.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.215 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.215 * [backup-simplify]: Simplify (+ 0 0) into 0
6.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
6.220 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
6.223 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
6.224 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
6.224 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.224 * [backup-simplify]: Simplify 2.0 into 2.0
6.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.226 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.227 * [backup-simplify]: Simplify (+ 0 0) into 0
6.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
6.232 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
6.235 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
6.235 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.236 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
6.236 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.239 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.239 * [backup-simplify]: Simplify (+ 0 0) into 0
6.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
6.245 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
6.248 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
6.249 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
6.249 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.249 * [backup-simplify]: Simplify 2.0 into 2.0
6.250 * [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)))
6.251 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
6.251 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
6.251 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
6.251 * [taylor]: Taking taylor expansion of 2.0 in t
6.251 * [backup-simplify]: Simplify 2.0 into 2.0
6.251 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
6.251 * [taylor]: Taking taylor expansion of 2.0 in t
6.251 * [backup-simplify]: Simplify 2.0 into 2.0
6.251 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
6.251 * [taylor]: Taking taylor expansion of t in t
6.251 * [backup-simplify]: Simplify 0 into 0
6.251 * [backup-simplify]: Simplify 1 into 1
6.251 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.251 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.251 * [taylor]: Taking taylor expansion of 1.0 in t
6.251 * [backup-simplify]: Simplify 1.0 into 1.0
6.251 * [taylor]: Taking taylor expansion of t in t
6.251 * [backup-simplify]: Simplify 0 into 0
6.251 * [backup-simplify]: Simplify 1 into 1
6.251 * [taylor]: Taking taylor expansion of 1.0 in t
6.251 * [backup-simplify]: Simplify 1.0 into 1.0
6.252 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.252 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.253 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.253 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
6.253 * [taylor]: Taking taylor expansion of 2.0 in t
6.253 * [backup-simplify]: Simplify 2.0 into 2.0
6.253 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
6.253 * [taylor]: Taking taylor expansion of 2.0 in t
6.253 * [backup-simplify]: Simplify 2.0 into 2.0
6.253 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
6.253 * [taylor]: Taking taylor expansion of t in t
6.253 * [backup-simplify]: Simplify 0 into 0
6.253 * [backup-simplify]: Simplify 1 into 1
6.253 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.253 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.253 * [taylor]: Taking taylor expansion of 1.0 in t
6.253 * [backup-simplify]: Simplify 1.0 into 1.0
6.253 * [taylor]: Taking taylor expansion of t in t
6.253 * [backup-simplify]: Simplify 0 into 0
6.253 * [backup-simplify]: Simplify 1 into 1
6.253 * [taylor]: Taking taylor expansion of 1.0 in t
6.253 * [backup-simplify]: Simplify 1.0 into 1.0
6.254 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.254 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.255 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.255 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.255 * [backup-simplify]: Simplify 2.0 into 2.0
6.256 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.256 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.256 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
6.257 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.257 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.258 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.259 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
6.261 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
6.261 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
6.261 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.261 * [backup-simplify]: Simplify 2.0 into 2.0
6.262 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
6.262 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
6.262 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
6.262 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
6.262 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
6.262 * [taylor]: Taking taylor expansion of 2.0 in t
6.262 * [backup-simplify]: Simplify 2.0 into 2.0
6.262 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
6.262 * [taylor]: Taking taylor expansion of t in t
6.262 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify 1 into 1
6.262 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.262 * [taylor]: Taking taylor expansion of 1.0 in t
6.262 * [backup-simplify]: Simplify 1.0 into 1.0
6.262 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.262 * [taylor]: Taking taylor expansion of 1.0 in t
6.262 * [backup-simplify]: Simplify 1.0 into 1.0
6.262 * [taylor]: Taking taylor expansion of t in t
6.262 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify 1 into 1
6.263 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.263 * [backup-simplify]: Simplify (- 0) into 0
6.263 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.263 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.264 * [taylor]: Taking taylor expansion of 2.0 in t
6.264 * [backup-simplify]: Simplify 2.0 into 2.0
6.264 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
6.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
6.264 * [taylor]: Taking taylor expansion of 2.0 in t
6.264 * [backup-simplify]: Simplify 2.0 into 2.0
6.264 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
6.264 * [taylor]: Taking taylor expansion of t in t
6.264 * [backup-simplify]: Simplify 0 into 0
6.264 * [backup-simplify]: Simplify 1 into 1
6.264 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.264 * [taylor]: Taking taylor expansion of 1.0 in t
6.264 * [backup-simplify]: Simplify 1.0 into 1.0
6.264 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.264 * [taylor]: Taking taylor expansion of 1.0 in t
6.264 * [backup-simplify]: Simplify 1.0 into 1.0
6.264 * [taylor]: Taking taylor expansion of t in t
6.264 * [backup-simplify]: Simplify 0 into 0
6.264 * [backup-simplify]: Simplify 1 into 1
6.264 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.264 * [backup-simplify]: Simplify (- 0) into 0
6.265 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.265 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.265 * [taylor]: Taking taylor expansion of 2.0 in t
6.265 * [backup-simplify]: Simplify 2.0 into 2.0
6.265 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.265 * [backup-simplify]: Simplify 2.0 into 2.0
6.266 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.266 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.266 * [backup-simplify]: Simplify 2.0 into 2.0
6.267 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.267 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.268 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.270 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
6.271 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
6.271 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
6.271 * [backup-simplify]: Simplify 2.0 into 2.0
6.271 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
6.271 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1 2)
6.272 * [backup-simplify]: Simplify (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3) into (pow (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) 3)
6.272 * [approximate]: Taking taylor expansion of (pow (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) 3) in (t) around 0
6.272 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) 3) in t
6.272 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
6.272 * [taylor]: Taking taylor expansion of 2.0 in t
6.272 * [backup-simplify]: Simplify 2.0 into 2.0
6.272 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.272 * [taylor]: Taking taylor expansion of t in t
6.272 * [backup-simplify]: Simplify 0 into 0
6.272 * [backup-simplify]: Simplify 1 into 1
6.272 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.272 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.272 * [taylor]: Taking taylor expansion of 1.0 in t
6.272 * [backup-simplify]: Simplify 1.0 into 1.0
6.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.272 * [taylor]: Taking taylor expansion of t in t
6.272 * [backup-simplify]: Simplify 0 into 0
6.272 * [backup-simplify]: Simplify 1 into 1
6.272 * [backup-simplify]: Simplify (/ 1 1) into 1
6.272 * [taylor]: Taking taylor expansion of 1.0 in t
6.272 * [backup-simplify]: Simplify 1.0 into 1.0
6.273 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.273 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.273 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.274 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.274 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.276 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
6.277 * [backup-simplify]: Simplify (/ 2.0 1.0) into 2.0
6.277 * [taylor]: Taking taylor expansion of (pow (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) 3) in t
6.277 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
6.277 * [taylor]: Taking taylor expansion of 2.0 in t
6.277 * [backup-simplify]: Simplify 2.0 into 2.0
6.277 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.277 * [taylor]: Taking taylor expansion of t in t
6.277 * [backup-simplify]: Simplify 0 into 0
6.277 * [backup-simplify]: Simplify 1 into 1
6.277 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.277 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.277 * [taylor]: Taking taylor expansion of 1.0 in t
6.277 * [backup-simplify]: Simplify 1.0 into 1.0
6.277 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.277 * [taylor]: Taking taylor expansion of t in t
6.277 * [backup-simplify]: Simplify 0 into 0
6.277 * [backup-simplify]: Simplify 1 into 1
6.277 * [backup-simplify]: Simplify (/ 1 1) into 1
6.278 * [taylor]: Taking taylor expansion of 1.0 in t
6.278 * [backup-simplify]: Simplify 1.0 into 1.0
6.278 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.278 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.279 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.281 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.282 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
6.283 * [backup-simplify]: Simplify (/ 2.0 1.0) into 2.0
6.283 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
6.284 * [backup-simplify]: Simplify (* 2.0 4.0) into 8.0
6.284 * [backup-simplify]: Simplify 8.0 into 8.0
6.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.286 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.286 * [backup-simplify]: Simplify (+ 0 0) into 0
6.289 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
6.295 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.0 (/ 1.0 1.0)))) into (- 2.0)
6.297 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
6.300 * [backup-simplify]: Simplify (+ (* 2.0 (- 8.0)) (* (- 2.0) 4.0)) into (- 24.0)
6.301 * [backup-simplify]: Simplify (- 24.0) into (- 24.0)
6.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.303 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.303 * [backup-simplify]: Simplify (+ 0 0) into 0
6.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
6.309 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.0 (/ 0 1.0)) (* (- 2.0) (/ 1.0 1.0)))) into 2.0
6.312 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
6.315 * [backup-simplify]: Simplify (+ (* 2.0 12.0) (+ (* (- 2.0) (- 8.0)) (* 2.0 4.0))) into 48.0
6.315 * [backup-simplify]: Simplify 48.0 into 48.0
6.315 * [backup-simplify]: Simplify (+ (* 48.0 (pow t 2)) (+ (* (- 24.0) t) 8.0)) into (- (+ (* 48.0 (pow t 2)) 8.0) (* 24.0 t))
6.315 * [backup-simplify]: Simplify (pow (/ 2.0 (* (+ (/ 1.0 (/ 1 t)) 1.0) (/ 1 t))) 3) into (pow (* 2.0 (/ t (+ (* 1.0 t) 1.0))) 3)
6.315 * [approximate]: Taking taylor expansion of (pow (* 2.0 (/ t (+ (* 1.0 t) 1.0))) 3) in (t) around 0
6.315 * [taylor]: Taking taylor expansion of (pow (* 2.0 (/ t (+ (* 1.0 t) 1.0))) 3) in t
6.315 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
6.316 * [taylor]: Taking taylor expansion of 2.0 in t
6.316 * [backup-simplify]: Simplify 2.0 into 2.0
6.316 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
6.316 * [taylor]: Taking taylor expansion of t in t
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify 1 into 1
6.316 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.316 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.316 * [taylor]: Taking taylor expansion of 1.0 in t
6.316 * [backup-simplify]: Simplify 1.0 into 1.0
6.316 * [taylor]: Taking taylor expansion of t in t
6.316 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify 1 into 1
6.316 * [taylor]: Taking taylor expansion of 1.0 in t
6.316 * [backup-simplify]: Simplify 1.0 into 1.0
6.316 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.316 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.317 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.317 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.317 * [taylor]: Taking taylor expansion of (pow (* 2.0 (/ t (+ (* 1.0 t) 1.0))) 3) in t
6.317 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
6.317 * [taylor]: Taking taylor expansion of 2.0 in t
6.317 * [backup-simplify]: Simplify 2.0 into 2.0
6.317 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
6.317 * [taylor]: Taking taylor expansion of t in t
6.317 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify 1 into 1
6.317 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.317 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.317 * [taylor]: Taking taylor expansion of 1.0 in t
6.317 * [backup-simplify]: Simplify 1.0 into 1.0
6.317 * [taylor]: Taking taylor expansion of t in t
6.317 * [backup-simplify]: Simplify 0 into 0
6.317 * [backup-simplify]: Simplify 1 into 1
6.317 * [taylor]: Taking taylor expansion of 1.0 in t
6.317 * [backup-simplify]: Simplify 1.0 into 1.0
6.317 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.318 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.318 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.318 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.319 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
6.319 * [backup-simplify]: Simplify (* 2.0 4.0) into 8.0
6.319 * [backup-simplify]: Simplify 8.0 into 8.0
6.320 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.320 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.322 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
6.323 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
6.324 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
6.326 * [backup-simplify]: Simplify (+ (* 2.0 (- 8.0)) (* (- 2.0) 4.0)) into (- 24.0)
6.326 * [backup-simplify]: Simplify (- 24.0) into (- 24.0)
6.327 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.327 * [backup-simplify]: Simplify (+ 0 0) into 0
6.330 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
6.331 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
6.333 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
6.335 * [backup-simplify]: Simplify (+ (* 2.0 12.0) (+ (* (- 2.0) (- 8.0)) (* 2.0 4.0))) into 48.0
6.336 * [backup-simplify]: Simplify 48.0 into 48.0
6.336 * [backup-simplify]: Simplify (+ (* 48.0 (pow (/ 1 t) 5)) (+ (* (- 24.0) (pow (/ 1 t) 4)) (* 8.0 (pow (/ 1 t) 3)))) into (- (+ (* 48.0 (/ 1 (pow t 5))) (* 8.0 (/ 1 (pow t 3)))) (* 24.0 (/ 1 (pow t 4))))
6.336 * [backup-simplify]: Simplify (pow (/ 2.0 (* (+ (/ 1.0 (/ 1 (- t))) 1.0) (/ 1 (- t)))) 3) into (pow (* -2.0 (/ t (- 1.0 (* 1.0 t)))) 3)
6.336 * [approximate]: Taking taylor expansion of (pow (* -2.0 (/ t (- 1.0 (* 1.0 t)))) 3) in (t) around 0
6.336 * [taylor]: Taking taylor expansion of (pow (* -2.0 (/ t (- 1.0 (* 1.0 t)))) 3) in t
6.337 * [taylor]: Taking taylor expansion of (* -2.0 (/ t (- 1.0 (* 1.0 t)))) in t
6.337 * [taylor]: Taking taylor expansion of -2.0 in t
6.337 * [backup-simplify]: Simplify -2.0 into -2.0
6.337 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
6.337 * [taylor]: Taking taylor expansion of t in t
6.337 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify 1 into 1
6.337 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.337 * [taylor]: Taking taylor expansion of 1.0 in t
6.337 * [backup-simplify]: Simplify 1.0 into 1.0
6.337 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.337 * [taylor]: Taking taylor expansion of 1.0 in t
6.337 * [backup-simplify]: Simplify 1.0 into 1.0
6.337 * [taylor]: Taking taylor expansion of t in t
6.337 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify 1 into 1
6.337 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.337 * [backup-simplify]: Simplify (- 0) into 0
6.338 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.338 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.338 * [backup-simplify]: Simplify (* -2.0 1.0) into -2.0
6.338 * [taylor]: Taking taylor expansion of (pow (* -2.0 (/ t (- 1.0 (* 1.0 t)))) 3) in t
6.338 * [taylor]: Taking taylor expansion of (* -2.0 (/ t (- 1.0 (* 1.0 t)))) in t
6.338 * [taylor]: Taking taylor expansion of -2.0 in t
6.338 * [backup-simplify]: Simplify -2.0 into -2.0
6.338 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
6.338 * [taylor]: Taking taylor expansion of t in t
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify 1 into 1
6.338 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.338 * [taylor]: Taking taylor expansion of 1.0 in t
6.338 * [backup-simplify]: Simplify 1.0 into 1.0
6.338 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.338 * [taylor]: Taking taylor expansion of 1.0 in t
6.338 * [backup-simplify]: Simplify 1.0 into 1.0
6.338 * [taylor]: Taking taylor expansion of t in t
6.338 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify 1 into 1
6.339 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.339 * [backup-simplify]: Simplify (- 0) into 0
6.339 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.340 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.340 * [backup-simplify]: Simplify (* -2.0 1.0) into -2.0
6.340 * [backup-simplify]: Simplify (* -2.0 -2.0) into 4.0
6.340 * [backup-simplify]: Simplify (* -2.0 4.0) into -8.0
6.340 * [backup-simplify]: Simplify -8.0 into -8.0
6.341 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.342 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.342 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.344 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
6.345 * [backup-simplify]: Simplify (+ (* -2.0 1.0) (* 0 1.0)) into (- 2.0)
6.347 * [backup-simplify]: Simplify (+ (* -2.0 (- 2.0)) (* (- 2.0) -2.0)) into 8.0
6.349 * [backup-simplify]: Simplify (+ (* -2.0 8.0) (* (- 2.0) 4.0)) into (- 24.0)
6.349 * [backup-simplify]: Simplify (- 24.0) into (- 24.0)
6.350 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.351 * [backup-simplify]: Simplify (- 0) into 0
6.351 * [backup-simplify]: Simplify (+ 0 0) into 0
6.355 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
6.357 * [backup-simplify]: Simplify (+ (* -2.0 1.0) (+ (* 0 1.0) (* 0 1.0))) into (- 2.0)
6.362 * [backup-simplify]: Simplify (+ (* -2.0 (- 2.0)) (+ (* (- 2.0) (- 2.0)) (* (- 2.0) -2.0))) into 12.0
6.366 * [backup-simplify]: Simplify (+ (* -2.0 12.0) (+ (* (- 2.0) 8.0) (* (- 2.0) 4.0))) into (- 48.0)
6.367 * [backup-simplify]: Simplify (- 48.0) into (- 48.0)
6.368 * [backup-simplify]: Simplify (+ (* (- 48.0) (pow (/ 1 (- t)) 5)) (+ (* (- 24.0) (pow (/ 1 (- t)) 4)) (* -8.0 (pow (/ 1 (- t)) 3)))) into (- (+ (* 48.0 (/ 1 (pow t 5))) (* 8.0 (/ 1 (pow t 3)))) (* 24.0 (/ 1 (pow t 4))))
6.368 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 1 2 2)
6.369 * [backup-simplify]: Simplify (* (+ (/ 1.0 t) 1.0) t) into (* t (+ (* 1.0 (/ 1 t)) 1.0))
6.369 * [approximate]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in (t) around 0
6.369 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.369 * [taylor]: Taking taylor expansion of t in t
6.369 * [backup-simplify]: Simplify 0 into 0
6.369 * [backup-simplify]: Simplify 1 into 1
6.369 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.369 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.369 * [taylor]: Taking taylor expansion of 1.0 in t
6.369 * [backup-simplify]: Simplify 1.0 into 1.0
6.369 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.369 * [taylor]: Taking taylor expansion of t in t
6.369 * [backup-simplify]: Simplify 0 into 0
6.369 * [backup-simplify]: Simplify 1 into 1
6.369 * [backup-simplify]: Simplify (/ 1 1) into 1
6.369 * [taylor]: Taking taylor expansion of 1.0 in t
6.369 * [backup-simplify]: Simplify 1.0 into 1.0
6.369 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
6.369 * [taylor]: Taking taylor expansion of t in t
6.369 * [backup-simplify]: Simplify 0 into 0
6.369 * [backup-simplify]: Simplify 1 into 1
6.369 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
6.369 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
6.369 * [taylor]: Taking taylor expansion of 1.0 in t
6.370 * [backup-simplify]: Simplify 1.0 into 1.0
6.370 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.370 * [taylor]: Taking taylor expansion of t in t
6.370 * [backup-simplify]: Simplify 0 into 0
6.370 * [backup-simplify]: Simplify 1 into 1
6.370 * [backup-simplify]: Simplify (/ 1 1) into 1
6.370 * [taylor]: Taking taylor expansion of 1.0 in t
6.370 * [backup-simplify]: Simplify 1.0 into 1.0
6.371 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.371 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.372 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.372 * [backup-simplify]: Simplify 0 into 0
6.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.373 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.374 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.375 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
6.375 * [backup-simplify]: Simplify 1.0 into 1.0
6.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.377 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.378 * [backup-simplify]: Simplify (+ 0 0) into 0
6.380 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
6.381 * [backup-simplify]: Simplify 1.0 into 1.0
6.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.383 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.383 * [backup-simplify]: Simplify (+ 0 0) into 0
6.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
6.384 * [backup-simplify]: Simplify 0 into 0
6.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.386 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.387 * [backup-simplify]: Simplify (+ 0 0) into 0
6.388 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
6.388 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.391 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.391 * [backup-simplify]: Simplify (+ 0 0) into 0
6.392 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0)))))) into 0
6.392 * [backup-simplify]: Simplify 0 into 0
6.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.395 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.395 * [backup-simplify]: Simplify (+ 0 0) into 0
6.397 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))))) into 0
6.397 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.400 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.400 * [backup-simplify]: Simplify (+ 0 0) into 0
6.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0)))))))) into 0
6.402 * [backup-simplify]: Simplify 0 into 0
6.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.406 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.406 * [backup-simplify]: Simplify (+ 0 0) into 0
6.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))))))) into 0
6.408 * [backup-simplify]: Simplify 0 into 0
6.408 * [backup-simplify]: Simplify (+ (* 1.0 t) 1.0) into (+ (* 1.0 t) 1.0)
6.409 * [backup-simplify]: Simplify (* (+ (/ 1.0 (/ 1 t)) 1.0) (/ 1 t)) into (/ (+ (* 1.0 t) 1.0) t)
6.409 * [approximate]: Taking taylor expansion of (/ (+ (* 1.0 t) 1.0) t) in (t) around 0
6.409 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 t) 1.0) t) in t
6.409 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.409 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.409 * [taylor]: Taking taylor expansion of 1.0 in t
6.409 * [backup-simplify]: Simplify 1.0 into 1.0
6.409 * [taylor]: Taking taylor expansion of t in t
6.409 * [backup-simplify]: Simplify 0 into 0
6.409 * [backup-simplify]: Simplify 1 into 1
6.409 * [taylor]: Taking taylor expansion of 1.0 in t
6.409 * [backup-simplify]: Simplify 1.0 into 1.0
6.409 * [taylor]: Taking taylor expansion of t in t
6.409 * [backup-simplify]: Simplify 0 into 0
6.409 * [backup-simplify]: Simplify 1 into 1
6.411 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.412 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.413 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.413 * [taylor]: Taking taylor expansion of (/ (+ (* 1.0 t) 1.0) t) in t
6.413 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
6.413 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.413 * [taylor]: Taking taylor expansion of 1.0 in t
6.413 * [backup-simplify]: Simplify 1.0 into 1.0
6.413 * [taylor]: Taking taylor expansion of t in t
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify 1 into 1
6.413 * [taylor]: Taking taylor expansion of 1.0 in t
6.413 * [backup-simplify]: Simplify 1.0 into 1.0
6.413 * [taylor]: Taking taylor expansion of t in t
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify 1 into 1
6.414 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.414 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.414 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.415 * [backup-simplify]: Simplify 1.0 into 1.0
6.416 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.417 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.419 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1.0 (/ 0 1)))) into 1.0
6.419 * [backup-simplify]: Simplify 1.0 into 1.0
6.420 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.421 * [backup-simplify]: Simplify (+ 0 0) into 0
6.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
6.422 * [backup-simplify]: Simplify 0 into 0
6.423 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.424 * [backup-simplify]: Simplify (+ 0 0) into 0
6.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.425 * [backup-simplify]: Simplify 0 into 0
6.426 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.427 * [backup-simplify]: Simplify (+ 0 0) into 0
6.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.428 * [backup-simplify]: Simplify 0 into 0
6.429 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.430 * [backup-simplify]: Simplify (+ 0 0) into 0
6.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.431 * [backup-simplify]: Simplify 0 into 0
6.433 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.433 * [backup-simplify]: Simplify (+ 0 0) into 0
6.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.435 * [backup-simplify]: Simplify 0 into 0
6.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.437 * [backup-simplify]: Simplify (+ 0 0) into 0
6.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.438 * [backup-simplify]: Simplify 0 into 0
6.438 * [backup-simplify]: Simplify (+ 1.0 (* 1.0 (/ 1 (/ 1 t)))) into (+ (* 1.0 t) 1.0)
6.438 * [backup-simplify]: Simplify (* (+ (/ 1.0 (/ 1 (- t))) 1.0) (/ 1 (- t))) into (* -1 (/ (- 1.0 (* 1.0 t)) t))
6.438 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 1.0 t)) t)) in (t) around 0
6.438 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 1.0 t)) t)) in t
6.438 * [taylor]: Taking taylor expansion of -1 in t
6.438 * [backup-simplify]: Simplify -1 into -1
6.439 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 1.0 t)) t) in t
6.439 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.439 * [taylor]: Taking taylor expansion of 1.0 in t
6.439 * [backup-simplify]: Simplify 1.0 into 1.0
6.439 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.439 * [taylor]: Taking taylor expansion of 1.0 in t
6.439 * [backup-simplify]: Simplify 1.0 into 1.0
6.439 * [taylor]: Taking taylor expansion of t in t
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify 1 into 1
6.439 * [taylor]: Taking taylor expansion of t in t
6.439 * [backup-simplify]: Simplify 0 into 0
6.439 * [backup-simplify]: Simplify 1 into 1
6.439 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.440 * [backup-simplify]: Simplify (- 0) into 0
6.440 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.440 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.440 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (* 1.0 t)) t)) in t
6.441 * [taylor]: Taking taylor expansion of -1 in t
6.441 * [backup-simplify]: Simplify -1 into -1
6.441 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 1.0 t)) t) in t
6.441 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
6.441 * [taylor]: Taking taylor expansion of 1.0 in t
6.441 * [backup-simplify]: Simplify 1.0 into 1.0
6.441 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
6.441 * [taylor]: Taking taylor expansion of 1.0 in t
6.441 * [backup-simplify]: Simplify 1.0 into 1.0
6.441 * [taylor]: Taking taylor expansion of t in t
6.441 * [backup-simplify]: Simplify 0 into 0
6.441 * [backup-simplify]: Simplify 1 into 1
6.441 * [taylor]: Taking taylor expansion of t in t
6.441 * [backup-simplify]: Simplify 0 into 0
6.441 * [backup-simplify]: Simplify 1 into 1
6.441 * [backup-simplify]: Simplify (* 1.0 0) into 0
6.442 * [backup-simplify]: Simplify (- 0) into 0
6.442 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.442 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.443 * [backup-simplify]: Simplify (* -1 1.0) into -1.0
6.443 * [backup-simplify]: Simplify -1.0 into -1.0
6.445 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
6.445 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.446 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.449 * [backup-simplify]: Simplify (- (/ (- 1.0) 1) (+ (* 1.0 (/ 0 1)))) into (- 1.0)
6.451 * [backup-simplify]: Simplify (+ (* -1 (- 1.0)) (* 0 1.0)) into 1.0
6.451 * [backup-simplify]: Simplify 1.0 into 1.0
6.452 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
6.452 * [backup-simplify]: Simplify (- 0) into 0
6.453 * [backup-simplify]: Simplify (+ 0 0) into 0
6.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)))) into 0
6.455 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 0
6.455 * [backup-simplify]: Simplify 0 into 0
6.456 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.456 * [backup-simplify]: Simplify (- 0) into 0
6.457 * [backup-simplify]: Simplify (+ 0 0) into 0
6.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.460 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into 0
6.460 * [backup-simplify]: Simplify 0 into 0
6.461 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.462 * [backup-simplify]: Simplify (- 0) into 0
6.462 * [backup-simplify]: Simplify (+ 0 0) into 0
6.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.465 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1.0))))) into 0
6.465 * [backup-simplify]: Simplify 0 into 0
6.466 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.467 * [backup-simplify]: Simplify (- 0) into 0
6.467 * [backup-simplify]: Simplify (+ 0 0) into 0
6.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.470 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1.0)))))) into 0
6.470 * [backup-simplify]: Simplify 0 into 0
6.472 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.472 * [backup-simplify]: Simplify (- 0) into 0
6.472 * [backup-simplify]: Simplify (+ 0 0) into 0
6.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.474 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1.0))))))) into 0
6.474 * [backup-simplify]: Simplify 0 into 0
6.475 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.475 * [backup-simplify]: Simplify (- 0) into 0
6.475 * [backup-simplify]: Simplify (+ 0 0) into 0
6.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* (- 1.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.477 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (* 0 1.0)))))))) into 0
6.477 * [backup-simplify]: Simplify 0 into 0
6.477 * [backup-simplify]: Simplify (+ 1.0 (* -1.0 (/ 1 (/ 1 (- t))))) into (+ (* 1.0 t) 1.0)
6.477 * * * [progress]: simplifying candidates
6.480 * [simplify]: Simplifying:
  (/ (exp (pow 2.0 3)) (exp (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (log (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (exp (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (cbrt (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))) (cbrt (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))))
  (cbrt (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (sqrt (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (sqrt (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- (pow (pow 2.0 3) 3) (pow (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3) 3))
  (+ (* (pow 2.0 3) (pow 2.0 3)) (+ (* (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (* (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))))
  (- (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (* (pow 2.0 3) (pow 2.0 3)) (* (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow (sqrt 2.0) 3) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (- (pow (sqrt 2.0) 3) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (pow (sqrt 2.0) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (- (pow (sqrt 2.0) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow (sqrt 2.0) 3) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (- (pow (sqrt 2.0) 3) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (pow (sqrt 2.0) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (- (pow (sqrt 2.0) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (+ (sqrt (pow 2.0 3)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (sqrt (pow 2.0 3)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (sqrt (pow 2.0 3)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (sqrt (pow 2.0 3)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (sqrt (pow 2.0 3)) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (- (sqrt (pow 2.0 3)) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (sqrt (pow 2.0 3)) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (- (sqrt (pow 2.0 3)) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (+ (pow 2.0 (/ 3 2)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow 2.0 (/ 3 2)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow 2.0 (/ 3 2)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (- (pow 2.0 (/ 3 2)) (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3))
  (+ (pow 2.0 (/ 3 2)) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (- (pow 2.0 (/ 3 2)) (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (+ (pow 2.0 (/ 3 2)) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (- (pow 2.0 (/ 3 2)) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2)))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (- (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (* (- (log 2.0) (+ (log (+ (/ 1.0 t) 1.0)) (log t))) 3)
  (* (- (log 2.0) (log (* (+ (/ 1.0 t) 1.0) t))) 3)
  (* (log (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (* (log (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (* 1 3)
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (* (cbrt 3) (cbrt 3)))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (sqrt 3))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 1)
  (pow (* (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (pow (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (cbrt 2.0) t) 3)
  (pow (/ (sqrt 2.0) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (sqrt 2.0) t) 3)
  (pow (/ 1 (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ 2.0 t) 3)
  (pow 1 3)
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (pow 2.0 3)
  (pow (/ 1 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (pow (/ 2.0 (* (+ (pow (/ 1.0 t) 3) (pow 1.0 3)) t)) 3)
  (pow (+ (* (/ 1.0 t) (/ 1.0 t)) (- (* 1.0 1.0) (* (/ 1.0 t) 1.0))) 3)
  (pow (/ 2.0 (* (- (* (/ 1.0 t) (/ 1.0 t)) (* 1.0 1.0)) t)) 3)
  (pow (- (/ 1.0 t) 1.0) 3)
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (log (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (exp (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (* (cbrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (cbrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (cbrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (* (* (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (pow (* (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (pow (cbrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (pow (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (cbrt 2.0) t) 3)
  (pow (/ (sqrt 2.0) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (sqrt 2.0) t) 3)
  (pow (/ 1 (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ 2.0 t) 3)
  (pow 1 3)
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (pow 2.0 3)
  (pow (/ 1 (* (+ (/ 1.0 t) 1.0) t)) 3)
  (pow (/ 2.0 (* (+ (pow (/ 1.0 t) 3) (pow 1.0 3)) t)) 3)
  (pow (+ (* (/ 1.0 t) (/ 1.0 t)) (- (* 1.0 1.0) (* (/ 1.0 t) 1.0))) 3)
  (pow (/ 2.0 (* (- (* (/ 1.0 t) (/ 1.0 t)) (* 1.0 1.0)) t)) 3)
  (pow (- (/ 1.0 t) 1.0) 3)
  (pow 2.0 3)
  (pow (* (+ (/ 1.0 t) 1.0) t) 3)
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (sqrt (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2))
  (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 3 2))
  (* (+ (/ 1.0 t) 1.0) t)
  (+ (log (+ (/ 1.0 t) 1.0)) (log t))
  (log (* (+ (/ 1.0 t) 1.0) t))
  (exp (* (+ (/ 1.0 t) 1.0) t))
  (* (* (* (+ (/ 1.0 t) 1.0) (+ (/ 1.0 t) 1.0)) (+ (/ 1.0 t) 1.0)) (* (* t t) t))
  (* (cbrt (* (+ (/ 1.0 t) 1.0) t)) (cbrt (* (+ (/ 1.0 t) 1.0) t)))
  (cbrt (* (+ (/ 1.0 t) 1.0) t))
  (* (* (* (+ (/ 1.0 t) 1.0) t) (* (+ (/ 1.0 t) 1.0) t)) (* (+ (/ 1.0 t) 1.0) t))
  (sqrt (* (+ (/ 1.0 t) 1.0) t))
  (sqrt (* (+ (/ 1.0 t) 1.0) t))
  (* (sqrt (+ (/ 1.0 t) 1.0)) (sqrt t))
  (* (sqrt (+ (/ 1.0 t) 1.0)) (sqrt t))
  (* (+ (/ 1.0 t) 1.0) (* (cbrt t) (cbrt t)))
  (* (+ (/ 1.0 t) 1.0) (sqrt t))
  (* (+ (/ 1.0 t) 1.0) 1)
  (* (cbrt (+ (/ 1.0 t) 1.0)) t)
  (* (sqrt (+ (/ 1.0 t) 1.0)) t)
  (* (+ (/ 1.0 t) 1.0) t)
  (* (+ (/ 1.0 t) 1.0) t)
  (* (+ (pow (/ 1.0 t) 3) (pow 1.0 3)) t)
  (* (- (* (/ 1.0 t) (/ 1.0 t)) (* 1.0 1.0)) t)
  (- (+ (* 24.0 t) (* 80.0 (pow t 3))) (* 48.0 (pow t 2)))
  (- (+ (* 24.0 (/ 1 (pow t 4))) 8.0) (* 8.0 (/ 1 (pow t 3))))
  (- (+ (* 24.0 (/ 1 (pow t 4))) 8.0) (* 8.0 (/ 1 (pow t 3))))
  (- (+ (* 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)))
  (- (+ (* 48.0 (pow t 2)) 8.0) (* 24.0 t))
  (- (+ (* 48.0 (/ 1 (pow t 5))) (* 8.0 (/ 1 (pow t 3)))) (* 24.0 (/ 1 (pow t 4))))
  (- (+ (* 48.0 (/ 1 (pow t 5))) (* 8.0 (/ 1 (pow t 3)))) (* 24.0 (/ 1 (pow t 4))))
  (+ (* 1.0 t) 1.0)
  (+ (* 1.0 t) 1.0)
  (+ (* 1.0 t) 1.0)
6.482 * * [simplify]: iteration 0: 225 enodes
6.561 * * [simplify]: iteration 1: 700 enodes
7.219 * * [simplify]: iteration 2: 3777 enodes
8.433 * * [simplify]: iteration complete: 5000 enodes
8.433 * * [simplify]: Extracting #0: cost 94 inf + 0
8.437 * * [simplify]: Extracting #1: cost 963 inf + 2
8.446 * * [simplify]: Extracting #2: cost 1870 inf + 182
8.458 * * [simplify]: Extracting #3: cost 1583 inf + 1627
8.471 * * [simplify]: Extracting #4: cost 899 inf + 7723
8.483 * * [simplify]: Extracting #5: cost 251 inf + 17396
8.496 * * [simplify]: Extracting #6: cost 22 inf + 22423
8.506 * * [simplify]: Extracting #7: cost 0 inf + 23019
8.516 * [simplify]: Simplified to:
  (exp (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (log (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (exp (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (* (cbrt (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))) (cbrt (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))))
  (cbrt (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (pow (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)) 3)
  (sqrt (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (sqrt (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) (+ (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2.0)))
  (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t))
  (- (pow (pow 2.0 3) 3) (pow (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3) 3))
  (+ (pow 2.0 6) (+ (/ (pow 2.0 6) (pow (* (+ (/ 1.0 t) 1.0) t) 3)) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 6)))
  (- (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow 2.0 6) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 6))
  (+ (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3) (pow 2.0 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)) (pow (sqrt 2.0) 3))
  (- (pow (sqrt 2.0) 3) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (+ (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2) (pow (sqrt 2.0) 3))
  (- (pow (sqrt 2.0) 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow (sqrt 2.0) 3) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)) (pow (sqrt 2.0) 3))
  (- (pow (sqrt 2.0) 3) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (+ (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2) (pow (sqrt 2.0) 3))
  (- (pow (sqrt 2.0) 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2))
  (+ (sqrt (pow 2.0 3)) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (sqrt (pow 2.0 3)) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (sqrt (pow 2.0 3)) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (sqrt (pow 2.0 3)) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (sqrt (pow 2.0 3)) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (- (sqrt (pow 2.0 3)) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (+ (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2) (sqrt (pow 2.0 3)))
  (- (sqrt (pow 2.0 3)) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2))
  (+ (pow 2.0 3/2) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow 2.0 3/2) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (pow 2.0 3/2) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (- (pow 2.0 3/2) (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3))
  (+ (pow 2.0 3/2) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (- (pow 2.0 3/2) (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)))
  (+ (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2) (pow 2.0 3/2))
  (- (pow 2.0 3/2) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (- (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (exp (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (log (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (exp (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (* (cbrt (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t))) (cbrt (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t))))
  (cbrt (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (pow (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3)
  (sqrt (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (sqrt (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (- (pow 2.0 3) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (+ (* 2.0 2.0) (* (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) (+ (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2.0)))
  (/ (- 2.0) (* (+ (/ 1.0 t) 1.0) t))
  (- (* 2.0 2.0) (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2))
  (+ 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t))
  (+ (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) (sqrt 2.0))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (- 2.0 (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t))
  (/ (- 2.0) (* (+ (/ 1.0 t) 1.0) t))
  (* 3 (log (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (* 3 (log (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (* 3 (log (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (* 3 (log (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  3
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) (* (cbrt 3) (cbrt 3)))
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) (sqrt 3))
  (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2)
  (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)
  (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3)
  (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3)
  (/ (* 2.0 2.0) (pow (+ (/ 1.0 t) 1.0) 3))
  (/ 2.0 (pow t 3))
  (pow (/ (sqrt 2.0) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (sqrt 2.0) t) 3)
  (/ 1 (pow (+ (/ 1.0 t) 1.0) 3))
  (pow (/ 2.0 t) 3)
  1
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)
  (pow 2.0 3)
  (pow (/ 1 (* t (+ (/ 1.0 t) 1.0))) 3)
  (pow (/ 2.0 (* t (+ (pow (/ 1.0 t) 3) (pow 1.0 3)))) 3)
  (pow (+ (/ (* (/ 1.0 t) 1.0) t) (* 1.0 (- 1.0 (/ 1.0 t)))) 3)
  (pow (/ (/ 2.0 t) (* (- (/ 1.0 t) 1.0) (+ (/ 1.0 t) 1.0))) 3)
  (pow (- (/ 1.0 t) 1.0) 3)
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2)
  (* 3 (log (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)))
  (exp (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2)
  (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)
  (pow (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3) 3)
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2)
  (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)
  (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3)
  (pow (sqrt (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t)) 3)
  (/ (* 2.0 2.0) (pow (+ (/ 1.0 t) 1.0) 3))
  (/ 2.0 (pow t 3))
  (pow (/ (sqrt 2.0) (+ (/ 1.0 t) 1.0)) 3)
  (pow (/ (sqrt 2.0) t) 3)
  (/ 1 (pow (+ (/ 1.0 t) 1.0) 3))
  (pow (/ 2.0 t) 3)
  1
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3)
  (pow 2.0 3)
  (pow (/ 1 (* t (+ (/ 1.0 t) 1.0))) 3)
  (pow (/ 2.0 (* t (+ (pow (/ 1.0 t) 3) (pow 1.0 3)))) 3)
  (pow (+ (/ (* (/ 1.0 t) 1.0) t) (* 1.0 (- 1.0 (/ 1.0 t)))) 3)
  (pow (/ (/ 2.0 t) (* (- (/ 1.0 t) 1.0) (+ (/ 1.0 t) 1.0))) 3)
  (pow (- (/ 1.0 t) 1.0) 3)
  (pow 2.0 3)
  (pow (* (+ (/ 1.0 t) 1.0) t) 3)
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 2)
  (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (sqrt (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3))
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2)
  (pow (/ (/ 2.0 (+ (/ 1.0 t) 1.0)) t) 3/2)
  (* (+ (/ 1.0 t) 1.0) t)
  (log (* (+ (/ 1.0 t) 1.0) t))
  (log (* (+ (/ 1.0 t) 1.0) t))
  (pow (exp (+ (/ 1.0 t) 1.0)) t)
  (pow (* (+ (/ 1.0 t) 1.0) t) 3)
  (* (cbrt (* (+ (/ 1.0 t) 1.0) t)) (cbrt (* (+ (/ 1.0 t) 1.0) t)))
  (cbrt (* (+ (/ 1.0 t) 1.0) t))
  (pow (* (+ (/ 1.0 t) 1.0) t) 3)
  (sqrt (* (+ (/ 1.0 t) 1.0) t))
  (sqrt (* (+ (/ 1.0 t) 1.0) t))
  (* (sqrt t) (sqrt (+ (/ 1.0 t) 1.0)))
  (* (sqrt t) (sqrt (+ (/ 1.0 t) 1.0)))
  (* (* (+ (/ 1.0 t) 1.0) (cbrt t)) (cbrt t))
  (* (sqrt t) (+ (/ 1.0 t) 1.0))
  (+ (/ 1.0 t) 1.0)
  (* t (cbrt (+ (/ 1.0 t) 1.0)))
  (* t (sqrt (+ (/ 1.0 t) 1.0)))
  (* (+ (/ 1.0 t) 1.0) t)
  (* (+ (/ 1.0 t) 1.0) t)
  (* t (+ (pow (/ 1.0 t) 3) (pow 1.0 3)))
  (* (+ (/ 1.0 t) 1.0) (* (- (/ 1.0 t) 1.0) t))
  (- (+ (* (pow t 3) 80.0) (* 24.0 t)) (* (* 48.0 t) t))
  (- (+ (/ 24.0 (pow t 4)) 8.0) (/ 8.0 (pow t 3)))
  (- (+ (/ 24.0 (pow t 4)) 8.0) (/ 8.0 (pow t 3)))
  (* 2.0 (- (+ t (pow t 3)) (* t t)))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (- (+ (/ (/ 2.0 t) t) 2.0) (/ 2.0 t))
  (- (+ 8.0 (* (* 48.0 t) t)) (* 24.0 t))
  (+ (/ 48.0 (pow t 5)) (- (/ 8.0 (pow t 3)) (/ 24.0 (pow t 4))))
  (+ (/ 48.0 (pow t 5)) (- (/ 8.0 (pow t 3)) (/ 24.0 (pow t 4))))
  (* (+ t 1) 1.0)
  (* (+ t 1) 1.0)
  (* (+ t 1) 1.0)
8.517 * * * [progress]: adding candidates to table
9.322 * [progress]: [Phase 3 of 3] Extracting.
9.328 * [simplify]: Simplifying:
  (- 1.0 (/ 1.0 (+ 2.0 (* (/ (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
9.329 * * [simplify]: iteration 0: 24 enodes
9.331 * * [simplify]: iteration 1: 30 enodes
9.333 * * [simplify]: iteration complete: 30 enodes
9.333 * * [simplify]: Extracting #0: cost 1 inf + 0
9.333 * * [simplify]: Extracting #1: cost 3 inf + 0
9.333 * * [simplify]: Extracting #2: cost 3 inf + 1
9.333 * * [simplify]: Extracting #3: cost 5 inf + 1
9.333 * * [simplify]: Extracting #4: cost 6 inf + 2
9.333 * * [simplify]: Extracting #5: cost 9 inf + 2
9.333 * * [simplify]: Extracting #6: cost 15 inf + 2
9.333 * * [simplify]: Extracting #7: cost 19 inf + 5
9.333 * * [simplify]: Extracting #8: cost 15 inf + 16
9.333 * * [simplify]: Extracting #9: cost 12 inf + 37
9.333 * * [simplify]: Extracting #10: cost 8 inf + 79
9.333 * * [simplify]: Extracting #11: cost 4 inf + 181
9.333 * * [simplify]: Extracting #12: cost 3 inf + 234
9.333 * * [simplify]: Extracting #13: cost 1 inf + 346
9.333 * * [simplify]: Extracting #14: cost 0 inf + 405
9.333 * [simplify]: Simplified to:
  (- 1.0 (/ 1.0 (+ (* (/ (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (+ (* (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (* 2.0 2.0))) (- 2.0 (/ (/ 2.0 t) (+ (/ 1.0 t) 1.0)))) 2.0)))
11.198 * [regime-testing]: Baseline error score: 0.021877734716839604
11.216 * [regime-testing]: Oracle error score: 0.021877734716839604
11.216 * [regime-testing]: End program error score: 0.021877734716839604