7.007 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.017 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.018 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.021 * * [simplify]: iteration 2 : 46 enodes (cost 33 ) 0.028 * * [simplify]: iteration 3 : 121 enodes (cost 33 ) 0.062 * * [simplify]: iteration 4 : 308 enodes (cost 33 ) 0.181 * * [simplify]: iteration 5 : 533 enodes (cost 33 ) 0.330 * * [simplify]: iteration 6 : 691 enodes (cost 33 ) 0.516 * * [simplify]: iteration 7 : 942 enodes (cost 33 ) 0.892 * * [simplify]: iteration 8 : 1330 enodes (cost 33 ) 3.427 * * [simplify]: iteration 9 : 4392 enodes (cost 33 ) 4.759 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 4.759 * [simplify]: Simplified to: (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 4.762 * * [progress]: iteration 1 / 4 4.762 * * * [progress]: picking best candidate 4.764 * * * * [pick]: Picked # 4.764 * * * [progress]: localizing error 4.773 * * * [progress]: generating rewritten candidates 4.773 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.773 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.775 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.775 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 4.784 * * * [progress]: generating series expansions 4.784 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.784 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 4.784 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.784 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.784 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.784 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.784 * [taylor]: Taking taylor expansion of 2.0 in t 4.784 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.784 * [taylor]: Taking taylor expansion of t in t 4.784 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.784 * [taylor]: Taking taylor expansion of t in t 4.784 * [taylor]: Taking taylor expansion of 1.0 in t 4.785 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.785 * [taylor]: Taking taylor expansion of 2.0 in t 4.785 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.785 * [taylor]: Taking taylor expansion of t in t 4.785 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.785 * [taylor]: Taking taylor expansion of t in t 4.785 * [taylor]: Taking taylor expansion of 1.0 in t 4.786 * [taylor]: Taking taylor expansion of 1.0 in t 4.786 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.786 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.786 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.786 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.786 * [taylor]: Taking taylor expansion of 2.0 in t 4.786 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.786 * [taylor]: Taking taylor expansion of t in t 4.786 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.786 * [taylor]: Taking taylor expansion of t in t 4.786 * [taylor]: Taking taylor expansion of 1.0 in t 4.787 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.787 * [taylor]: Taking taylor expansion of 2.0 in t 4.787 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.787 * [taylor]: Taking taylor expansion of t in t 4.787 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.787 * [taylor]: Taking taylor expansion of t in t 4.787 * [taylor]: Taking taylor expansion of 1.0 in t 4.788 * [taylor]: Taking taylor expansion of 1.0 in t 4.798 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 4.798 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.798 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.798 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.798 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.798 * [taylor]: Taking taylor expansion of 2.0 in t 4.798 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.798 * [taylor]: Taking taylor expansion of t in t 4.798 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.798 * [taylor]: Taking taylor expansion of t in t 4.799 * [taylor]: Taking taylor expansion of 1.0 in t 4.800 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.800 * [taylor]: Taking taylor expansion of 2.0 in t 4.800 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.800 * [taylor]: Taking taylor expansion of t in t 4.800 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.801 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.801 * [taylor]: Taking taylor expansion of t in t 4.801 * [taylor]: Taking taylor expansion of 1.0 in t 4.803 * [taylor]: Taking taylor expansion of 1.0 in t 4.803 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.803 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.803 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.803 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.803 * [taylor]: Taking taylor expansion of 2.0 in t 4.803 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.803 * [taylor]: Taking taylor expansion of t in t 4.803 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.803 * [taylor]: Taking taylor expansion of t in t 4.803 * [taylor]: Taking taylor expansion of 1.0 in t 4.810 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.810 * [taylor]: Taking taylor expansion of 2.0 in t 4.810 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.810 * [taylor]: Taking taylor expansion of t in t 4.810 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.810 * [taylor]: Taking taylor expansion of t in t 4.810 * [taylor]: Taking taylor expansion of 1.0 in t 4.812 * [taylor]: Taking taylor expansion of 1.0 in t 4.834 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 4.835 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.835 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.835 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.835 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.835 * [taylor]: Taking taylor expansion of -2.0 in t 4.835 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.835 * [taylor]: Taking taylor expansion of t in t 4.835 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.835 * [taylor]: Taking taylor expansion of 1.0 in t 4.835 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.835 * [taylor]: Taking taylor expansion of t in t 4.837 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.838 * [taylor]: Taking taylor expansion of -2.0 in t 4.838 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.838 * [taylor]: Taking taylor expansion of t in t 4.838 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.838 * [taylor]: Taking taylor expansion of 1.0 in t 4.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.838 * [taylor]: Taking taylor expansion of t in t 4.840 * [taylor]: Taking taylor expansion of 1.0 in t 4.840 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.840 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.840 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.840 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.840 * [taylor]: Taking taylor expansion of -2.0 in t 4.840 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.840 * [taylor]: Taking taylor expansion of t in t 4.841 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.841 * [taylor]: Taking taylor expansion of 1.0 in t 4.841 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.841 * [taylor]: Taking taylor expansion of t in t 4.843 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.843 * [taylor]: Taking taylor expansion of -2.0 in t 4.843 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.843 * [taylor]: Taking taylor expansion of t in t 4.843 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.843 * [taylor]: Taking taylor expansion of 1.0 in t 4.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.843 * [taylor]: Taking taylor expansion of t in t 4.846 * [taylor]: Taking taylor expansion of 1.0 in t 4.866 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.866 * [approximate]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in (t) around 0 4.866 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 4.866 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.866 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.866 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.866 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.866 * [taylor]: Taking taylor expansion of 2.0 in t 4.866 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.866 * [taylor]: Taking taylor expansion of t in t 4.866 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.866 * [taylor]: Taking taylor expansion of t in t 4.866 * [taylor]: Taking taylor expansion of 1.0 in t 4.867 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.867 * [taylor]: Taking taylor expansion of 2.0 in t 4.867 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.867 * [taylor]: Taking taylor expansion of t in t 4.867 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.867 * [taylor]: Taking taylor expansion of t in t 4.867 * [taylor]: Taking taylor expansion of 1.0 in t 4.868 * [taylor]: Taking taylor expansion of 1.0 in t 4.868 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.868 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.868 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.868 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.868 * [taylor]: Taking taylor expansion of 2.0 in t 4.868 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.868 * [taylor]: Taking taylor expansion of t in t 4.868 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.868 * [taylor]: Taking taylor expansion of t in t 4.868 * [taylor]: Taking taylor expansion of 1.0 in t 4.869 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.869 * [taylor]: Taking taylor expansion of 2.0 in t 4.869 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.869 * [taylor]: Taking taylor expansion of t in t 4.869 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.869 * [taylor]: Taking taylor expansion of t in t 4.869 * [taylor]: Taking taylor expansion of 1.0 in t 4.869 * [taylor]: Taking taylor expansion of 2.0 in t 4.870 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 4.870 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.871 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.871 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.871 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.871 * [taylor]: Taking taylor expansion of 2.0 in t 4.871 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.871 * [taylor]: Taking taylor expansion of t in t 4.871 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.871 * [taylor]: Taking taylor expansion of t in t 4.871 * [taylor]: Taking taylor expansion of 1.0 in t 4.871 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.871 * [taylor]: Taking taylor expansion of 2.0 in t 4.871 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.871 * [taylor]: Taking taylor expansion of t in t 4.871 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.871 * [taylor]: Taking taylor expansion of t in t 4.871 * [taylor]: Taking taylor expansion of 1.0 in t 4.872 * [taylor]: Taking taylor expansion of 1.0 in t 4.872 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.872 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.872 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.872 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.872 * [taylor]: Taking taylor expansion of 2.0 in t 4.872 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.872 * [taylor]: Taking taylor expansion of t in t 4.872 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.872 * [taylor]: Taking taylor expansion of t in t 4.872 * [taylor]: Taking taylor expansion of 1.0 in t 4.873 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.873 * [taylor]: Taking taylor expansion of 2.0 in t 4.873 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.873 * [taylor]: Taking taylor expansion of t in t 4.873 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.873 * [taylor]: Taking taylor expansion of t in t 4.873 * [taylor]: Taking taylor expansion of 1.0 in t 4.874 * [taylor]: Taking taylor expansion of 2.0 in t 4.905 * [approximate]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in (t) around 0 4.905 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 4.905 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.905 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.906 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.906 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.906 * [taylor]: Taking taylor expansion of 2.0 in t 4.906 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.906 * [taylor]: Taking taylor expansion of t in t 4.906 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.906 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.906 * [taylor]: Taking taylor expansion of t in t 4.906 * [taylor]: Taking taylor expansion of 1.0 in t 4.908 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.908 * [taylor]: Taking taylor expansion of 2.0 in t 4.908 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.908 * [taylor]: Taking taylor expansion of t in t 4.908 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.908 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.908 * [taylor]: Taking taylor expansion of t in t 4.908 * [taylor]: Taking taylor expansion of 1.0 in t 4.910 * [taylor]: Taking taylor expansion of 1.0 in t 4.910 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.910 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.910 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.910 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.910 * [taylor]: Taking taylor expansion of 2.0 in t 4.910 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.910 * [taylor]: Taking taylor expansion of t in t 4.910 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.910 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.910 * [taylor]: Taking taylor expansion of t in t 4.911 * [taylor]: Taking taylor expansion of 1.0 in t 4.912 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.912 * [taylor]: Taking taylor expansion of 2.0 in t 4.912 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.913 * [taylor]: Taking taylor expansion of t in t 4.913 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.913 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.913 * [taylor]: Taking taylor expansion of t in t 4.913 * [taylor]: Taking taylor expansion of 1.0 in t 4.915 * [taylor]: Taking taylor expansion of 2.0 in t 4.916 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 4.916 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.916 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.917 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.917 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.917 * [taylor]: Taking taylor expansion of 2.0 in t 4.917 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.917 * [taylor]: Taking taylor expansion of t in t 4.917 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.917 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.917 * [taylor]: Taking taylor expansion of t in t 4.917 * [taylor]: Taking taylor expansion of 1.0 in t 4.919 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.919 * [taylor]: Taking taylor expansion of 2.0 in t 4.919 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.919 * [taylor]: Taking taylor expansion of t in t 4.919 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.919 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.919 * [taylor]: Taking taylor expansion of t in t 4.919 * [taylor]: Taking taylor expansion of 1.0 in t 4.921 * [taylor]: Taking taylor expansion of 1.0 in t 4.921 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.921 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.921 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.921 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.921 * [taylor]: Taking taylor expansion of 2.0 in t 4.921 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.921 * [taylor]: Taking taylor expansion of t in t 4.921 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.921 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.921 * [taylor]: Taking taylor expansion of t in t 4.922 * [taylor]: Taking taylor expansion of 1.0 in t 4.923 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.923 * [taylor]: Taking taylor expansion of 2.0 in t 4.923 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.923 * [taylor]: Taking taylor expansion of t in t 4.924 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.924 * [taylor]: Taking taylor expansion of t in t 4.924 * [taylor]: Taking taylor expansion of 1.0 in t 4.926 * [taylor]: Taking taylor expansion of 2.0 in t 4.980 * [approximate]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in (t) around 0 4.980 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 4.980 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.981 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.981 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.981 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.981 * [taylor]: Taking taylor expansion of -2.0 in t 4.981 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.981 * [taylor]: Taking taylor expansion of t in t 4.981 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.981 * [taylor]: Taking taylor expansion of 1.0 in t 4.981 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.981 * [taylor]: Taking taylor expansion of t in t 4.983 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.983 * [taylor]: Taking taylor expansion of -2.0 in t 4.983 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.983 * [taylor]: Taking taylor expansion of t in t 4.983 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.983 * [taylor]: Taking taylor expansion of 1.0 in t 4.983 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.983 * [taylor]: Taking taylor expansion of t in t 4.986 * [taylor]: Taking taylor expansion of 1.0 in t 4.986 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.986 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.986 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.986 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.986 * [taylor]: Taking taylor expansion of -2.0 in t 4.986 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.986 * [taylor]: Taking taylor expansion of t in t 4.986 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.986 * [taylor]: Taking taylor expansion of 1.0 in t 4.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.986 * [taylor]: Taking taylor expansion of t in t 4.989 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.989 * [taylor]: Taking taylor expansion of -2.0 in t 4.989 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.989 * [taylor]: Taking taylor expansion of t in t 4.989 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.989 * [taylor]: Taking taylor expansion of 1.0 in t 4.989 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.989 * [taylor]: Taking taylor expansion of t in t 4.991 * [taylor]: Taking taylor expansion of 2.0 in t 4.993 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 4.993 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.993 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.993 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.993 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.993 * [taylor]: Taking taylor expansion of -2.0 in t 4.993 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.993 * [taylor]: Taking taylor expansion of t in t 4.993 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.993 * [taylor]: Taking taylor expansion of 1.0 in t 4.993 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.993 * [taylor]: Taking taylor expansion of t in t 4.995 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.995 * [taylor]: Taking taylor expansion of -2.0 in t 4.995 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.996 * [taylor]: Taking taylor expansion of t in t 4.996 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.996 * [taylor]: Taking taylor expansion of 1.0 in t 4.996 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.996 * [taylor]: Taking taylor expansion of t in t 4.998 * [taylor]: Taking taylor expansion of 1.0 in t 4.998 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.998 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.998 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.998 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.998 * [taylor]: Taking taylor expansion of -2.0 in t 4.998 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.998 * [taylor]: Taking taylor expansion of t in t 4.998 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.998 * [taylor]: Taking taylor expansion of 1.0 in t 4.998 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.998 * [taylor]: Taking taylor expansion of t in t 5.001 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.001 * [taylor]: Taking taylor expansion of -2.0 in t 5.001 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.001 * [taylor]: Taking taylor expansion of t in t 5.001 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.001 * [taylor]: Taking taylor expansion of 1.0 in t 5.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.001 * [taylor]: Taking taylor expansion of t in t 5.004 * [taylor]: Taking taylor expansion of 2.0 in t 5.048 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.048 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in (t) around 0 5.048 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 5.048 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 5.048 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.048 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.048 * [taylor]: Taking taylor expansion of 2.0 in t 5.048 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.048 * [taylor]: Taking taylor expansion of t in t 5.048 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.048 * [taylor]: Taking taylor expansion of t in t 5.048 * [taylor]: Taking taylor expansion of 1.0 in t 5.049 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.049 * [taylor]: Taking taylor expansion of 2.0 in t 5.049 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.049 * [taylor]: Taking taylor expansion of t in t 5.049 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.049 * [taylor]: Taking taylor expansion of t in t 5.049 * [taylor]: Taking taylor expansion of 1.0 in t 5.050 * [taylor]: Taking taylor expansion of 2.0 in t 5.050 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 5.050 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 5.050 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.050 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.050 * [taylor]: Taking taylor expansion of 2.0 in t 5.050 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.050 * [taylor]: Taking taylor expansion of t in t 5.050 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.050 * [taylor]: Taking taylor expansion of t in t 5.050 * [taylor]: Taking taylor expansion of 1.0 in t 5.050 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.051 * [taylor]: Taking taylor expansion of 2.0 in t 5.051 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.051 * [taylor]: Taking taylor expansion of t in t 5.051 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.051 * [taylor]: Taking taylor expansion of t in t 5.051 * [taylor]: Taking taylor expansion of 1.0 in t 5.056 * [taylor]: Taking taylor expansion of 2.0 in t 5.067 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in (t) around 0 5.067 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 5.067 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 5.067 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.067 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.067 * [taylor]: Taking taylor expansion of 2.0 in t 5.067 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.067 * [taylor]: Taking taylor expansion of t in t 5.067 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.067 * [taylor]: Taking taylor expansion of t in t 5.067 * [taylor]: Taking taylor expansion of 1.0 in t 5.070 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.070 * [taylor]: Taking taylor expansion of 2.0 in t 5.070 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.070 * [taylor]: Taking taylor expansion of t in t 5.070 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.070 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.070 * [taylor]: Taking taylor expansion of t in t 5.070 * [taylor]: Taking taylor expansion of 1.0 in t 5.072 * [taylor]: Taking taylor expansion of 2.0 in t 5.072 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 5.072 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 5.072 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.072 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.072 * [taylor]: Taking taylor expansion of 2.0 in t 5.072 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.072 * [taylor]: Taking taylor expansion of t in t 5.072 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.072 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.072 * [taylor]: Taking taylor expansion of t in t 5.072 * [taylor]: Taking taylor expansion of 1.0 in t 5.074 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.074 * [taylor]: Taking taylor expansion of 2.0 in t 5.074 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.074 * [taylor]: Taking taylor expansion of t in t 5.074 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.074 * [taylor]: Taking taylor expansion of t in t 5.074 * [taylor]: Taking taylor expansion of 1.0 in t 5.076 * [taylor]: Taking taylor expansion of 2.0 in t 5.098 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in (t) around 0 5.098 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 5.099 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 5.099 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.099 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.099 * [taylor]: Taking taylor expansion of -2.0 in t 5.099 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.099 * [taylor]: Taking taylor expansion of t in t 5.099 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.099 * [taylor]: Taking taylor expansion of 1.0 in t 5.099 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.099 * [taylor]: Taking taylor expansion of t in t 5.101 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.101 * [taylor]: Taking taylor expansion of -2.0 in t 5.101 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.101 * [taylor]: Taking taylor expansion of t in t 5.101 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.101 * [taylor]: Taking taylor expansion of 1.0 in t 5.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.101 * [taylor]: Taking taylor expansion of t in t 5.104 * [taylor]: Taking taylor expansion of 2.0 in t 5.104 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 5.104 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 5.104 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.104 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.104 * [taylor]: Taking taylor expansion of -2.0 in t 5.104 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.104 * [taylor]: Taking taylor expansion of t in t 5.104 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.104 * [taylor]: Taking taylor expansion of 1.0 in t 5.104 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.104 * [taylor]: Taking taylor expansion of t in t 5.107 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.107 * [taylor]: Taking taylor expansion of -2.0 in t 5.107 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.107 * [taylor]: Taking taylor expansion of t in t 5.107 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.107 * [taylor]: Taking taylor expansion of 1.0 in t 5.107 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.107 * [taylor]: Taking taylor expansion of t in t 5.110 * [taylor]: Taking taylor expansion of 2.0 in t 5.130 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 5.130 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 5.130 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.130 * [taylor]: Taking taylor expansion of 2.0 in t 5.130 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.130 * [taylor]: Taking taylor expansion of t in t 5.130 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.130 * [taylor]: Taking taylor expansion of t in t 5.130 * [taylor]: Taking taylor expansion of 1.0 in t 5.130 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.130 * [taylor]: Taking taylor expansion of 2.0 in t 5.130 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.131 * [taylor]: Taking taylor expansion of t in t 5.131 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.131 * [taylor]: Taking taylor expansion of t in t 5.131 * [taylor]: Taking taylor expansion of 1.0 in t 5.145 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 5.145 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.145 * [taylor]: Taking taylor expansion of 2.0 in t 5.145 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.145 * [taylor]: Taking taylor expansion of t in t 5.145 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.145 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.145 * [taylor]: Taking taylor expansion of t in t 5.145 * [taylor]: Taking taylor expansion of 1.0 in t 5.147 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.147 * [taylor]: Taking taylor expansion of 2.0 in t 5.147 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.147 * [taylor]: Taking taylor expansion of t in t 5.147 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.147 * [taylor]: Taking taylor expansion of t in t 5.148 * [taylor]: Taking taylor expansion of 1.0 in t 5.158 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 5.158 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.158 * [taylor]: Taking taylor expansion of -2.0 in t 5.158 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.158 * [taylor]: Taking taylor expansion of t in t 5.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.158 * [taylor]: Taking taylor expansion of 1.0 in t 5.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.159 * [taylor]: Taking taylor expansion of t in t 5.161 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.161 * [taylor]: Taking taylor expansion of -2.0 in t 5.161 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.161 * [taylor]: Taking taylor expansion of t in t 5.161 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.161 * [taylor]: Taking taylor expansion of 1.0 in t 5.161 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.161 * [taylor]: Taking taylor expansion of t in t 5.173 * * * [progress]: simplifying candidates 5.174 * [simplify]: Simplifying using # : (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (* (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 1) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 2.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 5.180 * * [simplify]: iteration 0 : 155 enodes (cost 2366 ) 5.214 * * [simplify]: iteration 1 : 355 enodes (cost 2331 ) 5.337 * * [simplify]: iteration 2 : 1063 enodes (cost 2069 ) 6.298 * * [simplify]: iteration 3 : 4186 enodes (cost 2065 ) 7.315 * * [simplify]: iteration done : 5001 enodes (cost 2065 ) 7.316 * [simplify]: Simplified to: (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* 2.0 t) (/ (* 2.0 t) (* (+ 1.0 t) (+ 1.0 t)))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (* 2.0 t) (/ (* 2.0 t) (* (+ 1.0 t) (+ 1.0 t)))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (+ (* (* t t) (- 4.0 (* t 8.0))) 1.0) (+ (/ 12.0 (* t t)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (* t t)) (- 5.0 (/ 8.0 t))) (+ 0.5 (* (* t t) (- 1.0 (* 2.0 t)))) (- (+ (/ 0.0370370370370372 (* t t)) 0.8333333333333334) (/ 0.2222222222222221 t)) (- (+ (/ 0.0370370370370372 (* t t)) 0.8333333333333334) (/ 0.2222222222222221 t)) (+ (* (* t t) (- 4.0 (* t 8.0))) 2.0) (+ (/ 12.0 (* t t)) (- 6.0 (/ 8.0 t))) (+ (/ 12.0 (* t t)) (- 6.0 (/ 8.0 t))) (* (* t (- (fma t t 1) t)) 2.0) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) 7.317 * * * [progress]: adding candidates to table 7.517 * * [progress]: iteration 2 / 4 7.517 * * * [progress]: picking best candidate 7.519 * * * * [pick]: Picked # 7.519 * * * [progress]: localizing error 7.531 * * * [progress]: generating rewritten candidates 7.531 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 7.532 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 7.534 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 7.545 * * * [progress]: generating series expansions 7.545 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 7.545 * [approximate]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in (t) around 0 7.545 * [taylor]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in t 7.545 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.545 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.545 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.545 * [taylor]: Taking taylor expansion of 2.0 in t 7.545 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.545 * [taylor]: Taking taylor expansion of t in t 7.545 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.546 * [taylor]: Taking taylor expansion of t in t 7.546 * [taylor]: Taking taylor expansion of 1.0 in t 7.546 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.546 * [taylor]: Taking taylor expansion of 2.0 in t 7.546 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.546 * [taylor]: Taking taylor expansion of t in t 7.546 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.546 * [taylor]: Taking taylor expansion of t in t 7.546 * [taylor]: Taking taylor expansion of 1.0 in t 7.547 * [taylor]: Taking taylor expansion of 1.0 in t 7.547 * [taylor]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in t 7.547 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.547 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.547 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.547 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.548 * [taylor]: Taking taylor expansion of 2.0 in t 7.548 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.548 * [taylor]: Taking taylor expansion of t in t 7.548 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.548 * [taylor]: Taking taylor expansion of t in t 7.548 * [taylor]: Taking taylor expansion of 1.0 in t 7.548 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.548 * [taylor]: Taking taylor expansion of 2.0 in t 7.548 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.548 * [taylor]: Taking taylor expansion of t in t 7.548 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.548 * [taylor]: Taking taylor expansion of t in t 7.548 * [taylor]: Taking taylor expansion of 1.0 in t 7.549 * [taylor]: Taking taylor expansion of 1.0 in t 7.574 * [approximate]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in (t) around 0 7.574 * [taylor]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in t 7.574 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.574 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.574 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.574 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.574 * [taylor]: Taking taylor expansion of 2.0 in t 7.574 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.574 * [taylor]: Taking taylor expansion of t in t 7.574 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.574 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.574 * [taylor]: Taking taylor expansion of t in t 7.575 * [taylor]: Taking taylor expansion of 1.0 in t 7.576 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.576 * [taylor]: Taking taylor expansion of 2.0 in t 7.576 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.576 * [taylor]: Taking taylor expansion of t in t 7.577 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.577 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.577 * [taylor]: Taking taylor expansion of t in t 7.577 * [taylor]: Taking taylor expansion of 1.0 in t 7.579 * [taylor]: Taking taylor expansion of 1.0 in t 7.579 * [taylor]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in t 7.579 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.579 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.579 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.579 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.579 * [taylor]: Taking taylor expansion of 2.0 in t 7.579 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.579 * [taylor]: Taking taylor expansion of t in t 7.579 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.579 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.579 * [taylor]: Taking taylor expansion of t in t 7.580 * [taylor]: Taking taylor expansion of 1.0 in t 7.582 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.582 * [taylor]: Taking taylor expansion of 2.0 in t 7.582 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.582 * [taylor]: Taking taylor expansion of t in t 7.582 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.582 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.582 * [taylor]: Taking taylor expansion of t in t 7.582 * [taylor]: Taking taylor expansion of 1.0 in t 7.584 * [taylor]: Taking taylor expansion of 1.0 in t 7.614 * [approximate]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in (t) around 0 7.614 * [taylor]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in t 7.614 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.614 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.614 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.614 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.614 * [taylor]: Taking taylor expansion of -2.0 in t 7.614 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.614 * [taylor]: Taking taylor expansion of t in t 7.614 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.614 * [taylor]: Taking taylor expansion of 1.0 in t 7.614 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.614 * [taylor]: Taking taylor expansion of t in t 7.617 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.617 * [taylor]: Taking taylor expansion of -2.0 in t 7.617 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.617 * [taylor]: Taking taylor expansion of t in t 7.617 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.617 * [taylor]: Taking taylor expansion of 1.0 in t 7.617 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.617 * [taylor]: Taking taylor expansion of t in t 7.620 * [taylor]: Taking taylor expansion of 1.0 in t 7.620 * [taylor]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in t 7.620 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.621 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.621 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.621 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.621 * [taylor]: Taking taylor expansion of -2.0 in t 7.621 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.621 * [taylor]: Taking taylor expansion of t in t 7.621 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.621 * [taylor]: Taking taylor expansion of 1.0 in t 7.621 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.621 * [taylor]: Taking taylor expansion of t in t 7.624 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.624 * [taylor]: Taking taylor expansion of -2.0 in t 7.624 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.624 * [taylor]: Taking taylor expansion of t in t 7.624 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.624 * [taylor]: Taking taylor expansion of 1.0 in t 7.624 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.624 * [taylor]: Taking taylor expansion of t in t 7.626 * [taylor]: Taking taylor expansion of 1.0 in t 7.655 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 7.656 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 7.656 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.656 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.656 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.656 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.656 * [taylor]: Taking taylor expansion of 2.0 in t 7.656 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.656 * [taylor]: Taking taylor expansion of t in t 7.656 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.656 * [taylor]: Taking taylor expansion of t in t 7.656 * [taylor]: Taking taylor expansion of 1.0 in t 7.656 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.657 * [taylor]: Taking taylor expansion of 2.0 in t 7.657 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.657 * [taylor]: Taking taylor expansion of t in t 7.657 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.657 * [taylor]: Taking taylor expansion of t in t 7.657 * [taylor]: Taking taylor expansion of 1.0 in t 7.657 * [taylor]: Taking taylor expansion of 1.0 in t 7.657 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.657 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.657 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.657 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.657 * [taylor]: Taking taylor expansion of 2.0 in t 7.657 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.657 * [taylor]: Taking taylor expansion of t in t 7.657 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.657 * [taylor]: Taking taylor expansion of t in t 7.657 * [taylor]: Taking taylor expansion of 1.0 in t 7.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.658 * [taylor]: Taking taylor expansion of 2.0 in t 7.658 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.658 * [taylor]: Taking taylor expansion of t in t 7.658 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.658 * [taylor]: Taking taylor expansion of t in t 7.658 * [taylor]: Taking taylor expansion of 1.0 in t 7.659 * [taylor]: Taking taylor expansion of 1.0 in t 7.669 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 7.669 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.669 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.669 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.669 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.669 * [taylor]: Taking taylor expansion of 2.0 in t 7.669 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.669 * [taylor]: Taking taylor expansion of t in t 7.669 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.669 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.669 * [taylor]: Taking taylor expansion of t in t 7.670 * [taylor]: Taking taylor expansion of 1.0 in t 7.671 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.671 * [taylor]: Taking taylor expansion of 2.0 in t 7.671 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.671 * [taylor]: Taking taylor expansion of t in t 7.671 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.672 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.672 * [taylor]: Taking taylor expansion of t in t 7.672 * [taylor]: Taking taylor expansion of 1.0 in t 7.674 * [taylor]: Taking taylor expansion of 1.0 in t 7.674 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.674 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.674 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.674 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.674 * [taylor]: Taking taylor expansion of 2.0 in t 7.674 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.674 * [taylor]: Taking taylor expansion of t in t 7.674 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.674 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.674 * [taylor]: Taking taylor expansion of t in t 7.674 * [taylor]: Taking taylor expansion of 1.0 in t 7.676 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.676 * [taylor]: Taking taylor expansion of 2.0 in t 7.676 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.676 * [taylor]: Taking taylor expansion of t in t 7.676 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.676 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.676 * [taylor]: Taking taylor expansion of t in t 7.677 * [taylor]: Taking taylor expansion of 1.0 in t 7.678 * [taylor]: Taking taylor expansion of 1.0 in t 7.700 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 7.700 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.700 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.700 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.700 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.700 * [taylor]: Taking taylor expansion of -2.0 in t 7.700 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.700 * [taylor]: Taking taylor expansion of t in t 7.700 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.701 * [taylor]: Taking taylor expansion of 1.0 in t 7.701 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.701 * [taylor]: Taking taylor expansion of t in t 7.703 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.703 * [taylor]: Taking taylor expansion of -2.0 in t 7.703 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.703 * [taylor]: Taking taylor expansion of t in t 7.703 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.703 * [taylor]: Taking taylor expansion of 1.0 in t 7.703 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.703 * [taylor]: Taking taylor expansion of t in t 7.706 * [taylor]: Taking taylor expansion of 1.0 in t 7.706 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.706 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.706 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.706 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.706 * [taylor]: Taking taylor expansion of -2.0 in t 7.706 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.706 * [taylor]: Taking taylor expansion of t in t 7.706 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.706 * [taylor]: Taking taylor expansion of 1.0 in t 7.706 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.706 * [taylor]: Taking taylor expansion of t in t 7.708 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.708 * [taylor]: Taking taylor expansion of -2.0 in t 7.708 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.709 * [taylor]: Taking taylor expansion of t in t 7.709 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.709 * [taylor]: Taking taylor expansion of 1.0 in t 7.709 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.709 * [taylor]: Taking taylor expansion of t in t 7.711 * [taylor]: Taking taylor expansion of 1.0 in t 7.733 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.733 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 7.733 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.734 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.734 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.734 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.734 * [taylor]: Taking taylor expansion of 2.0 in t 7.734 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.734 * [taylor]: Taking taylor expansion of t in t 7.734 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.734 * [taylor]: Taking taylor expansion of t in t 7.734 * [taylor]: Taking taylor expansion of 1.0 in t 7.734 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.734 * [taylor]: Taking taylor expansion of 2.0 in t 7.734 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.734 * [taylor]: Taking taylor expansion of t in t 7.734 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.734 * [taylor]: Taking taylor expansion of t in t 7.734 * [taylor]: Taking taylor expansion of 1.0 in t 7.735 * [taylor]: Taking taylor expansion of 1.0 in t 7.735 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.735 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.735 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.735 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.735 * [taylor]: Taking taylor expansion of 2.0 in t 7.735 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.735 * [taylor]: Taking taylor expansion of t in t 7.735 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.735 * [taylor]: Taking taylor expansion of t in t 7.735 * [taylor]: Taking taylor expansion of 1.0 in t 7.736 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.736 * [taylor]: Taking taylor expansion of 2.0 in t 7.736 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.736 * [taylor]: Taking taylor expansion of t in t 7.736 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.736 * [taylor]: Taking taylor expansion of t in t 7.736 * [taylor]: Taking taylor expansion of 1.0 in t 7.736 * [taylor]: Taking taylor expansion of 1.0 in t 7.747 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 7.747 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.747 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.747 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.747 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.747 * [taylor]: Taking taylor expansion of 2.0 in t 7.747 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.747 * [taylor]: Taking taylor expansion of t in t 7.747 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.747 * [taylor]: Taking taylor expansion of t in t 7.748 * [taylor]: Taking taylor expansion of 1.0 in t 7.750 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.750 * [taylor]: Taking taylor expansion of 2.0 in t 7.750 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.750 * [taylor]: Taking taylor expansion of t in t 7.750 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.750 * [taylor]: Taking taylor expansion of t in t 7.750 * [taylor]: Taking taylor expansion of 1.0 in t 7.752 * [taylor]: Taking taylor expansion of 1.0 in t 7.752 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.752 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.752 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.752 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.752 * [taylor]: Taking taylor expansion of 2.0 in t 7.752 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.752 * [taylor]: Taking taylor expansion of t in t 7.752 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.752 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.752 * [taylor]: Taking taylor expansion of t in t 7.752 * [taylor]: Taking taylor expansion of 1.0 in t 7.754 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.754 * [taylor]: Taking taylor expansion of 2.0 in t 7.754 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.754 * [taylor]: Taking taylor expansion of t in t 7.754 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.754 * [taylor]: Taking taylor expansion of t in t 7.754 * [taylor]: Taking taylor expansion of 1.0 in t 7.756 * [taylor]: Taking taylor expansion of 1.0 in t 7.778 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 7.778 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.778 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.778 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.778 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.778 * [taylor]: Taking taylor expansion of -2.0 in t 7.778 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.778 * [taylor]: Taking taylor expansion of t in t 7.778 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.778 * [taylor]: Taking taylor expansion of 1.0 in t 7.778 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.778 * [taylor]: Taking taylor expansion of t in t 7.780 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.781 * [taylor]: Taking taylor expansion of -2.0 in t 7.781 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.781 * [taylor]: Taking taylor expansion of t in t 7.781 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.781 * [taylor]: Taking taylor expansion of 1.0 in t 7.781 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.781 * [taylor]: Taking taylor expansion of t in t 7.783 * [taylor]: Taking taylor expansion of 1.0 in t 7.783 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.783 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.783 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.783 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.783 * [taylor]: Taking taylor expansion of -2.0 in t 7.783 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.783 * [taylor]: Taking taylor expansion of t in t 7.783 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.783 * [taylor]: Taking taylor expansion of 1.0 in t 7.783 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.783 * [taylor]: Taking taylor expansion of t in t 7.786 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.786 * [taylor]: Taking taylor expansion of -2.0 in t 7.786 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.786 * [taylor]: Taking taylor expansion of t in t 7.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.786 * [taylor]: Taking taylor expansion of 1.0 in t 7.786 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.786 * [taylor]: Taking taylor expansion of t in t 7.789 * [taylor]: Taking taylor expansion of 1.0 in t 7.810 * * * * [progress]: [ 4 / 4 ] generating series at (2) 7.811 * [approximate]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in (t) around 0 7.811 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 7.811 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.811 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.811 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.811 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.811 * [taylor]: Taking taylor expansion of 2.0 in t 7.811 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.811 * [taylor]: Taking taylor expansion of t in t 7.811 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.811 * [taylor]: Taking taylor expansion of t in t 7.811 * [taylor]: Taking taylor expansion of 1.0 in t 7.812 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.812 * [taylor]: Taking taylor expansion of 2.0 in t 7.812 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.812 * [taylor]: Taking taylor expansion of t in t 7.812 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.812 * [taylor]: Taking taylor expansion of t in t 7.812 * [taylor]: Taking taylor expansion of 1.0 in t 7.812 * [taylor]: Taking taylor expansion of 1.0 in t 7.812 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 7.812 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 7.813 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.813 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.813 * [taylor]: Taking taylor expansion of 2.0 in t 7.813 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.813 * [taylor]: Taking taylor expansion of t in t 7.813 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.813 * [taylor]: Taking taylor expansion of t in t 7.813 * [taylor]: Taking taylor expansion of 1.0 in t 7.813 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.813 * [taylor]: Taking taylor expansion of 2.0 in t 7.813 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.813 * [taylor]: Taking taylor expansion of t in t 7.813 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.813 * [taylor]: Taking taylor expansion of t in t 7.813 * [taylor]: Taking taylor expansion of 1.0 in t 7.814 * [taylor]: Taking taylor expansion of 2.0 in t 7.815 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 7.815 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 7.815 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 7.815 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.815 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.815 * [taylor]: Taking taylor expansion of 2.0 in t 7.815 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.815 * [taylor]: Taking taylor expansion of t in t 7.815 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.815 * [taylor]: Taking taylor expansion of t in t 7.815 * [taylor]: Taking taylor expansion of 1.0 in t 7.815 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.816 * [taylor]: Taking taylor expansion of 2.0 in t 7.816 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.816 * [taylor]: Taking taylor expansion of t in t 7.816 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.816 * [taylor]: Taking taylor expansion of t in t 7.816 * [taylor]: Taking taylor expansion of 1.0 in t 7.816 * [taylor]: Taking taylor expansion of 1.0 in t 7.816 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 7.816 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 7.816 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 7.816 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.816 * [taylor]: Taking taylor expansion of 2.0 in t 7.816 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.816 * [taylor]: Taking taylor expansion of t in t 7.816 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.816 * [taylor]: Taking taylor expansion of t in t 7.816 * [taylor]: Taking taylor expansion of 1.0 in t 7.817 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 7.817 * [taylor]: Taking taylor expansion of 2.0 in t 7.817 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 7.817 * [taylor]: Taking taylor expansion of t in t 7.817 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 7.817 * [taylor]: Taking taylor expansion of t in t 7.817 * [taylor]: Taking taylor expansion of 1.0 in t 7.818 * [taylor]: Taking taylor expansion of 2.0 in t 7.845 * [approximate]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in (t) around 0 7.845 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 7.845 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.845 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.845 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.845 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.845 * [taylor]: Taking taylor expansion of 2.0 in t 7.845 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.845 * [taylor]: Taking taylor expansion of t in t 7.845 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.845 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.845 * [taylor]: Taking taylor expansion of t in t 7.845 * [taylor]: Taking taylor expansion of 1.0 in t 7.847 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.847 * [taylor]: Taking taylor expansion of 2.0 in t 7.847 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.847 * [taylor]: Taking taylor expansion of t in t 7.847 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.847 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.847 * [taylor]: Taking taylor expansion of t in t 7.848 * [taylor]: Taking taylor expansion of 1.0 in t 7.850 * [taylor]: Taking taylor expansion of 1.0 in t 7.850 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 7.850 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 7.850 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.850 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.850 * [taylor]: Taking taylor expansion of 2.0 in t 7.850 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.850 * [taylor]: Taking taylor expansion of t in t 7.850 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.850 * [taylor]: Taking taylor expansion of t in t 7.850 * [taylor]: Taking taylor expansion of 1.0 in t 7.852 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.852 * [taylor]: Taking taylor expansion of 2.0 in t 7.852 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.852 * [taylor]: Taking taylor expansion of t in t 7.852 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.852 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.852 * [taylor]: Taking taylor expansion of t in t 7.852 * [taylor]: Taking taylor expansion of 1.0 in t 7.854 * [taylor]: Taking taylor expansion of 2.0 in t 7.855 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 7.855 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 7.856 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 7.856 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.856 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.856 * [taylor]: Taking taylor expansion of 2.0 in t 7.856 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.856 * [taylor]: Taking taylor expansion of t in t 7.856 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.856 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.856 * [taylor]: Taking taylor expansion of t in t 7.856 * [taylor]: Taking taylor expansion of 1.0 in t 7.858 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.858 * [taylor]: Taking taylor expansion of 2.0 in t 7.858 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.858 * [taylor]: Taking taylor expansion of t in t 7.858 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.858 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.858 * [taylor]: Taking taylor expansion of t in t 7.858 * [taylor]: Taking taylor expansion of 1.0 in t 7.860 * [taylor]: Taking taylor expansion of 1.0 in t 7.860 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 7.860 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 7.860 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 7.860 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.860 * [taylor]: Taking taylor expansion of 2.0 in t 7.860 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.860 * [taylor]: Taking taylor expansion of t in t 7.860 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.860 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.860 * [taylor]: Taking taylor expansion of t in t 7.861 * [taylor]: Taking taylor expansion of 1.0 in t 7.862 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 7.862 * [taylor]: Taking taylor expansion of 2.0 in t 7.862 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 7.862 * [taylor]: Taking taylor expansion of t in t 7.862 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 7.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.863 * [taylor]: Taking taylor expansion of t in t 7.863 * [taylor]: Taking taylor expansion of 1.0 in t 7.865 * [taylor]: Taking taylor expansion of 2.0 in t 7.915 * [approximate]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in (t) around 0 7.915 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 7.915 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.916 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.916 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.916 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.916 * [taylor]: Taking taylor expansion of -2.0 in t 7.916 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.916 * [taylor]: Taking taylor expansion of t in t 7.916 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.916 * [taylor]: Taking taylor expansion of 1.0 in t 7.916 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.916 * [taylor]: Taking taylor expansion of t in t 7.918 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.918 * [taylor]: Taking taylor expansion of -2.0 in t 7.918 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.918 * [taylor]: Taking taylor expansion of t in t 7.918 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.918 * [taylor]: Taking taylor expansion of 1.0 in t 7.918 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.918 * [taylor]: Taking taylor expansion of t in t 7.921 * [taylor]: Taking taylor expansion of 1.0 in t 7.921 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 7.921 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 7.921 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.921 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.921 * [taylor]: Taking taylor expansion of -2.0 in t 7.921 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.921 * [taylor]: Taking taylor expansion of t in t 7.921 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.921 * [taylor]: Taking taylor expansion of 1.0 in t 7.921 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.921 * [taylor]: Taking taylor expansion of t in t 7.924 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.924 * [taylor]: Taking taylor expansion of -2.0 in t 7.924 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.924 * [taylor]: Taking taylor expansion of t in t 7.924 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.924 * [taylor]: Taking taylor expansion of 1.0 in t 7.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.924 * [taylor]: Taking taylor expansion of t in t 7.927 * [taylor]: Taking taylor expansion of 2.0 in t 7.928 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 7.928 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 7.928 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 7.928 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.928 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.928 * [taylor]: Taking taylor expansion of -2.0 in t 7.928 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.928 * [taylor]: Taking taylor expansion of t in t 7.928 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.928 * [taylor]: Taking taylor expansion of 1.0 in t 7.928 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.928 * [taylor]: Taking taylor expansion of t in t 7.931 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.931 * [taylor]: Taking taylor expansion of -2.0 in t 7.931 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.931 * [taylor]: Taking taylor expansion of t in t 7.931 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.931 * [taylor]: Taking taylor expansion of 1.0 in t 7.931 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.931 * [taylor]: Taking taylor expansion of t in t 7.934 * [taylor]: Taking taylor expansion of 1.0 in t 7.934 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 7.934 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 7.934 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 7.934 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.934 * [taylor]: Taking taylor expansion of -2.0 in t 7.934 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.934 * [taylor]: Taking taylor expansion of t in t 7.934 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.934 * [taylor]: Taking taylor expansion of 1.0 in t 7.934 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.934 * [taylor]: Taking taylor expansion of t in t 7.937 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 7.937 * [taylor]: Taking taylor expansion of -2.0 in t 7.937 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 7.937 * [taylor]: Taking taylor expansion of t in t 7.937 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 7.937 * [taylor]: Taking taylor expansion of 1.0 in t 7.937 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.937 * [taylor]: Taking taylor expansion of t in t 7.939 * [taylor]: Taking taylor expansion of 2.0 in t 7.986 * * * [progress]: simplifying candidates 7.989 * [simplify]: Simplifying using # : (expm1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log1p (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (* (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (* 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 1) (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3) (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (exp (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (* (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3) (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)) (expm1 (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log1p (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (exp (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt 1) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (log (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (* (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow 1 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 1) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow 1 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt 1) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt 1) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt 1) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (- (+ (* 12.0 (pow t 2)) 1.0) (* 24.0 (pow t 3))) (- (+ (* 1860.0 (/ 1 (pow t 2))) 125.0) (* 600.0 (/ 1 t))) (- (+ (* 1860.0 (/ 1 (pow t 2))) 125.0) (* 600.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) 8.000 * * [simplify]: iteration 0 : 190 enodes (cost 6639 ) 8.042 * * [simplify]: iteration 1 : 351 enodes (cost 6072 ) 8.130 * * [simplify]: iteration 2 : 994 enodes (cost 5466 ) 8.780 * * [simplify]: iteration done : 5000 enodes (cost 5462 ) 8.782 * [simplify]: Simplified to: (expm1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log1p (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) 3 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) 1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (exp (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) 1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (+ (* (* t t) (- 12.0 (* t 24.0))) 1.0) (+ 125.0 (- (/ 1860.0 (pow t 2)) (/ 600.0 t))) (+ 125.0 (- (/ 1860.0 (pow t 2)) (/ 600.0 t))) (+ (* (* t t) (- 4.0 (* t 8.0))) 1.0) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ (* (* t t) (- 4.0 (* t 8.0))) 1.0) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ 0.5 (* (* t t) (- 1.0 (* 2.0 t)))) (+ 0.8333333333333334 (- (/ 0.0370370370370372 (pow t 2)) (/ 0.2222222222222221 t))) (+ 0.8333333333333334 (- (/ 0.0370370370370372 (pow t 2)) (/ 0.2222222222222221 t))) 8.783 * * * [progress]: adding candidates to table 9.079 * [progress]: [Phase 3 of 3] Extracting. 9.082 * [simplify]: Simplifying using # : (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 9.082 * * [simplify]: iteration 0 : 12 enodes (cost 36 ) 9.082 * * [simplify]: iteration 1 : 14 enodes (cost 36 ) 9.083 * * [simplify]: iteration done : 14 enodes (cost 36 ) 9.083 * [simplify]: Simplified to: (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 9.510 * [regime-testing]: End program error score: 0.03490549131375798