11.837 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: Extracting # 3 : cost 0 0.022 * * [simplify]: Extracting # 4 : cost 0 0.022 * * [simplify]: Extracting # 5 : cost 0 0.022 * * [simplify]: Extracting # 6 : cost 0 0.022 * * [simplify]: Extracting # 7 : cost 0 0.022 * * [simplify]: Extracting # 8 : cost 0 0.022 * * [simplify]: iteration 0 : 12 enodes (cost 51 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: iteration 1 : 19 enodes (cost 51 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: iteration 2 : 33 enodes (cost 51 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.034 * * [simplify]: iteration 3 : 88 enodes (cost 51 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: Extracting # 3 : cost 0 0.058 * * [simplify]: iteration 4 : 270 enodes (cost 51 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.141 * * [simplify]: Extracting # 2 : cost 0 0.141 * * [simplify]: Extracting # 3 : cost 0 0.141 * * [simplify]: iteration 5 : 665 enodes (cost 51 ) 0.404 * * [simplify]: Extracting # 0 : cost 0 0.406 * * [simplify]: Extracting # 1 : cost 0 0.407 * * [simplify]: Extracting # 2 : cost 0 0.408 * * [simplify]: Extracting # 3 : cost 0 0.409 * * [simplify]: iteration 6 : 1445 enodes (cost 51 ) 1.508 * * [simplify]: Extracting # 0 : cost 0 1.514 * * [simplify]: Extracting # 1 : cost 0 1.517 * * [simplify]: Extracting # 2 : cost 0 1.519 * * [simplify]: Extracting # 3 : cost 0 1.522 * * [simplify]: Extracting # 4 : cost 0 1.525 * * [simplify]: Extracting # 5 : cost 0 1.527 * * [simplify]: iteration 7 : 3572 enodes (cost 43 ) 2.586 * * [simplify]: Extracting # 0 : cost 0 2.589 * * [simplify]: Extracting # 1 : cost 0 2.594 * * [simplify]: Extracting # 2 : cost 0 2.598 * * [simplify]: iteration done: 5001 enodes (cost 43 ) 2.598 * [simplify]: Simplified to: (/ (+ 1.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) 2.601 * * [progress]: iteration 1 / 4 2.601 * * * [progress]: picking best candidate 2.602 * * * * [pick]: Picked # 2.602 * * * [progress]: localizing error 2.613 * * * [progress]: generating rewritten candidates 2.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 2.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 2.709 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 2.756 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 2.805 * * * [progress]: generating series expansions 2.805 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 2.805 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2.805 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 2.805 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.805 * [taylor]: Taking taylor expansion of 2.0 in t 2.805 * [backup-simplify]: Simplify 2.0 into 2.0 2.805 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.806 * [taylor]: Taking taylor expansion of 2.0 in t 2.806 * [backup-simplify]: Simplify 2.0 into 2.0 2.806 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.806 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.806 * [taylor]: Taking taylor expansion of t in t 2.806 * [backup-simplify]: Simplify 0 into 0 2.806 * [backup-simplify]: Simplify 1 into 1 2.806 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.806 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.806 * [taylor]: Taking taylor expansion of 1.0 in t 2.806 * [backup-simplify]: Simplify 1.0 into 1.0 2.806 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.806 * [taylor]: Taking taylor expansion of t in t 2.806 * [backup-simplify]: Simplify 0 into 0 2.806 * [backup-simplify]: Simplify 1 into 1 2.806 * [backup-simplify]: Simplify (/ 1 1) into 1 2.806 * [taylor]: Taking taylor expansion of 1.0 in t 2.806 * [backup-simplify]: Simplify 1.0 into 1.0 2.807 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.807 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.807 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.808 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.808 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.809 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.809 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.809 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.809 * [taylor]: Taking taylor expansion of 2.0 in t 2.809 * [backup-simplify]: Simplify 2.0 into 2.0 2.809 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.809 * [taylor]: Taking taylor expansion of 2.0 in t 2.809 * [backup-simplify]: Simplify 2.0 into 2.0 2.809 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.809 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.809 * [taylor]: Taking taylor expansion of t in t 2.809 * [backup-simplify]: Simplify 0 into 0 2.809 * [backup-simplify]: Simplify 1 into 1 2.809 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.809 * [taylor]: Taking taylor expansion of 1.0 in t 2.809 * [backup-simplify]: Simplify 1.0 into 1.0 2.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.810 * [taylor]: Taking taylor expansion of t in t 2.810 * [backup-simplify]: Simplify 0 into 0 2.810 * [backup-simplify]: Simplify 1 into 1 2.810 * [backup-simplify]: Simplify (/ 1 1) into 1 2.810 * [taylor]: Taking taylor expansion of 1.0 in t 2.810 * [backup-simplify]: Simplify 1.0 into 1.0 2.810 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.810 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.811 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.811 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.812 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.812 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.813 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.813 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.813 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.814 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 2.814 * [backup-simplify]: Simplify 0 into 0 2.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.815 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 2.815 * [backup-simplify]: Simplify (+ 0 0) into 0 2.816 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 2.818 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.819 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.819 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.819 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.819 * [backup-simplify]: Simplify 2.0 into 2.0 2.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ 0 0) into 0 2.821 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 2.823 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 2.825 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 2.825 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.825 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.825 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.827 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.827 * [backup-simplify]: Simplify (+ 0 0) into 0 2.827 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 2.830 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.831 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 2.832 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.832 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.832 * [backup-simplify]: Simplify 2.0 into 2.0 2.833 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 2.833 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2.833 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 2.833 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.833 * [taylor]: Taking taylor expansion of 2.0 in t 2.833 * [backup-simplify]: Simplify 2.0 into 2.0 2.833 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.833 * [taylor]: Taking taylor expansion of 2.0 in t 2.833 * [backup-simplify]: Simplify 2.0 into 2.0 2.833 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.833 * [taylor]: Taking taylor expansion of t in t 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify 1 into 1 2.833 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.833 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.833 * [taylor]: Taking taylor expansion of 1.0 in t 2.833 * [backup-simplify]: Simplify 1.0 into 1.0 2.833 * [taylor]: Taking taylor expansion of t in t 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify 1 into 1 2.833 * [taylor]: Taking taylor expansion of 1.0 in t 2.833 * [backup-simplify]: Simplify 1.0 into 1.0 2.833 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.834 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.834 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.834 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.834 * [taylor]: Taking taylor expansion of 2.0 in t 2.834 * [backup-simplify]: Simplify 2.0 into 2.0 2.834 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.834 * [taylor]: Taking taylor expansion of 2.0 in t 2.834 * [backup-simplify]: Simplify 2.0 into 2.0 2.834 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.834 * [taylor]: Taking taylor expansion of t in t 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify 1 into 1 2.834 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.834 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.834 * [taylor]: Taking taylor expansion of 1.0 in t 2.834 * [backup-simplify]: Simplify 1.0 into 1.0 2.834 * [taylor]: Taking taylor expansion of t in t 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify 1 into 1 2.834 * [taylor]: Taking taylor expansion of 1.0 in t 2.834 * [backup-simplify]: Simplify 1.0 into 1.0 2.834 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.835 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.835 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.835 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.835 * [backup-simplify]: Simplify 2.0 into 2.0 2.836 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.836 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.836 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.837 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.837 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.838 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.839 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.840 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.841 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.841 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.841 * [backup-simplify]: Simplify 2.0 into 2.0 2.841 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.842 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2.842 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 2.842 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.842 * [taylor]: Taking taylor expansion of 2.0 in t 2.842 * [backup-simplify]: Simplify 2.0 into 2.0 2.842 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.842 * [taylor]: Taking taylor expansion of t in t 2.842 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify 1 into 1 2.842 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.842 * [taylor]: Taking taylor expansion of 1.0 in t 2.842 * [backup-simplify]: Simplify 1.0 into 1.0 2.842 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.842 * [taylor]: Taking taylor expansion of 1.0 in t 2.842 * [backup-simplify]: Simplify 1.0 into 1.0 2.842 * [taylor]: Taking taylor expansion of t in t 2.842 * [backup-simplify]: Simplify 0 into 0 2.842 * [backup-simplify]: Simplify 1 into 1 2.842 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.842 * [backup-simplify]: Simplify (- 0) into 0 2.843 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.843 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.843 * [taylor]: Taking taylor expansion of 2.0 in t 2.843 * [backup-simplify]: Simplify 2.0 into 2.0 2.843 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.843 * [taylor]: Taking taylor expansion of 2.0 in t 2.843 * [backup-simplify]: Simplify 2.0 into 2.0 2.843 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.843 * [taylor]: Taking taylor expansion of t in t 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify 1 into 1 2.843 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.843 * [taylor]: Taking taylor expansion of 1.0 in t 2.843 * [backup-simplify]: Simplify 1.0 into 1.0 2.843 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.843 * [taylor]: Taking taylor expansion of 1.0 in t 2.843 * [backup-simplify]: Simplify 1.0 into 1.0 2.843 * [taylor]: Taking taylor expansion of t in t 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify 1 into 1 2.843 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.844 * [backup-simplify]: Simplify (- 0) into 0 2.844 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.844 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.844 * [taylor]: Taking taylor expansion of 2.0 in t 2.844 * [backup-simplify]: Simplify 2.0 into 2.0 2.845 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.845 * [backup-simplify]: Simplify 2.0 into 2.0 2.845 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.845 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.845 * [backup-simplify]: Simplify 2.0 into 2.0 2.846 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.846 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.847 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.849 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 2.850 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 2.850 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.850 * [backup-simplify]: Simplify 2.0 into 2.0 2.851 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 2.851 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2.851 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 2.851 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.851 * [taylor]: Taking taylor expansion of 2.0 in t 2.851 * [backup-simplify]: Simplify 2.0 into 2.0 2.851 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.851 * [taylor]: Taking taylor expansion of 2.0 in t 2.851 * [backup-simplify]: Simplify 2.0 into 2.0 2.851 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.851 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.851 * [taylor]: Taking taylor expansion of t in t 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 1 into 1 2.851 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.851 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.851 * [taylor]: Taking taylor expansion of 1.0 in t 2.851 * [backup-simplify]: Simplify 1.0 into 1.0 2.851 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.851 * [taylor]: Taking taylor expansion of t in t 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 1 into 1 2.851 * [backup-simplify]: Simplify (/ 1 1) into 1 2.851 * [taylor]: Taking taylor expansion of 1.0 in t 2.851 * [backup-simplify]: Simplify 1.0 into 1.0 2.852 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.852 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.852 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.853 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.853 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.854 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.854 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.854 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.854 * [taylor]: Taking taylor expansion of 2.0 in t 2.854 * [backup-simplify]: Simplify 2.0 into 2.0 2.854 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.854 * [taylor]: Taking taylor expansion of 2.0 in t 2.854 * [backup-simplify]: Simplify 2.0 into 2.0 2.855 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.855 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.855 * [taylor]: Taking taylor expansion of t in t 2.855 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify 1 into 1 2.855 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.855 * [taylor]: Taking taylor expansion of 1.0 in t 2.855 * [backup-simplify]: Simplify 1.0 into 1.0 2.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.855 * [taylor]: Taking taylor expansion of t in t 2.855 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify 1 into 1 2.855 * [backup-simplify]: Simplify (/ 1 1) into 1 2.855 * [taylor]: Taking taylor expansion of 1.0 in t 2.855 * [backup-simplify]: Simplify 1.0 into 1.0 2.855 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.855 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.856 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.856 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.857 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.858 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.858 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.858 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.858 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.859 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.860 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 2.860 * [backup-simplify]: Simplify (+ 0 0) into 0 2.862 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 2.863 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.864 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.864 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.864 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.864 * [backup-simplify]: Simplify 2.0 into 2.0 2.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.865 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.866 * [backup-simplify]: Simplify (+ 0 0) into 0 2.866 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 2.868 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 2.870 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 2.870 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.870 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.870 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.872 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.872 * [backup-simplify]: Simplify (+ 0 0) into 0 2.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 2.875 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.876 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 2.877 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.877 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.877 * [backup-simplify]: Simplify 2.0 into 2.0 2.878 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 2.878 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2.878 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 2.878 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.878 * [taylor]: Taking taylor expansion of 2.0 in t 2.878 * [backup-simplify]: Simplify 2.0 into 2.0 2.878 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.878 * [taylor]: Taking taylor expansion of 2.0 in t 2.878 * [backup-simplify]: Simplify 2.0 into 2.0 2.878 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.878 * [taylor]: Taking taylor expansion of t in t 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify 1 into 1 2.878 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.878 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.878 * [taylor]: Taking taylor expansion of 1.0 in t 2.878 * [backup-simplify]: Simplify 1.0 into 1.0 2.878 * [taylor]: Taking taylor expansion of t in t 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify 1 into 1 2.878 * [taylor]: Taking taylor expansion of 1.0 in t 2.878 * [backup-simplify]: Simplify 1.0 into 1.0 2.878 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.879 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.881 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.881 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.881 * [taylor]: Taking taylor expansion of 2.0 in t 2.881 * [backup-simplify]: Simplify 2.0 into 2.0 2.881 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.881 * [taylor]: Taking taylor expansion of 2.0 in t 2.881 * [backup-simplify]: Simplify 2.0 into 2.0 2.881 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.881 * [taylor]: Taking taylor expansion of t in t 2.881 * [backup-simplify]: Simplify 0 into 0 2.881 * [backup-simplify]: Simplify 1 into 1 2.881 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.881 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.882 * [taylor]: Taking taylor expansion of 1.0 in t 2.882 * [backup-simplify]: Simplify 1.0 into 1.0 2.882 * [taylor]: Taking taylor expansion of t in t 2.882 * [backup-simplify]: Simplify 0 into 0 2.882 * [backup-simplify]: Simplify 1 into 1 2.882 * [taylor]: Taking taylor expansion of 1.0 in t 2.882 * [backup-simplify]: Simplify 1.0 into 1.0 2.882 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.882 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.882 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.883 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.883 * [backup-simplify]: Simplify 2.0 into 2.0 2.883 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.883 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.884 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.884 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.885 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.885 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.886 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.888 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.888 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.888 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.888 * [backup-simplify]: Simplify 2.0 into 2.0 2.889 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.889 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2.889 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 2.889 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.889 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.889 * [taylor]: Taking taylor expansion of 2.0 in t 2.889 * [backup-simplify]: Simplify 2.0 into 2.0 2.889 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.889 * [taylor]: Taking taylor expansion of t in t 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify 1 into 1 2.889 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.889 * [taylor]: Taking taylor expansion of 1.0 in t 2.889 * [backup-simplify]: Simplify 1.0 into 1.0 2.889 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.889 * [taylor]: Taking taylor expansion of 1.0 in t 2.889 * [backup-simplify]: Simplify 1.0 into 1.0 2.889 * [taylor]: Taking taylor expansion of t in t 2.889 * [backup-simplify]: Simplify 0 into 0 2.889 * [backup-simplify]: Simplify 1 into 1 2.889 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.890 * [backup-simplify]: Simplify (- 0) into 0 2.890 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.890 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.890 * [taylor]: Taking taylor expansion of 2.0 in t 2.890 * [backup-simplify]: Simplify 2.0 into 2.0 2.890 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.890 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.890 * [taylor]: Taking taylor expansion of 2.0 in t 2.890 * [backup-simplify]: Simplify 2.0 into 2.0 2.890 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.890 * [taylor]: Taking taylor expansion of t in t 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify 1 into 1 2.890 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.890 * [taylor]: Taking taylor expansion of 1.0 in t 2.890 * [backup-simplify]: Simplify 1.0 into 1.0 2.890 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.890 * [taylor]: Taking taylor expansion of 1.0 in t 2.890 * [backup-simplify]: Simplify 1.0 into 1.0 2.890 * [taylor]: Taking taylor expansion of t in t 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify 1 into 1 2.891 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.891 * [backup-simplify]: Simplify (- 0) into 0 2.891 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.891 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.891 * [taylor]: Taking taylor expansion of 2.0 in t 2.891 * [backup-simplify]: Simplify 2.0 into 2.0 2.892 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.892 * [backup-simplify]: Simplify 2.0 into 2.0 2.892 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.892 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.892 * [backup-simplify]: Simplify 2.0 into 2.0 2.893 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.893 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.894 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.896 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 2.896 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 2.897 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.897 * [backup-simplify]: Simplify 2.0 into 2.0 2.897 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 2.897 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2.897 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 2.897 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.897 * [taylor]: Taking taylor expansion of 2.0 in t 2.897 * [backup-simplify]: Simplify 2.0 into 2.0 2.897 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.897 * [taylor]: Taking taylor expansion of 2.0 in t 2.897 * [backup-simplify]: Simplify 2.0 into 2.0 2.897 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.897 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.897 * [taylor]: Taking taylor expansion of t in t 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [backup-simplify]: Simplify 1 into 1 2.897 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.897 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.897 * [taylor]: Taking taylor expansion of 1.0 in t 2.897 * [backup-simplify]: Simplify 1.0 into 1.0 2.897 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.897 * [taylor]: Taking taylor expansion of t in t 2.897 * [backup-simplify]: Simplify 0 into 0 2.897 * [backup-simplify]: Simplify 1 into 1 2.898 * [backup-simplify]: Simplify (/ 1 1) into 1 2.898 * [taylor]: Taking taylor expansion of 1.0 in t 2.898 * [backup-simplify]: Simplify 1.0 into 1.0 2.898 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.898 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.898 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.899 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.900 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.900 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.901 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.901 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.901 * [taylor]: Taking taylor expansion of 2.0 in t 2.901 * [backup-simplify]: Simplify 2.0 into 2.0 2.901 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.901 * [taylor]: Taking taylor expansion of 2.0 in t 2.901 * [backup-simplify]: Simplify 2.0 into 2.0 2.901 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.901 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.901 * [taylor]: Taking taylor expansion of t in t 2.901 * [backup-simplify]: Simplify 0 into 0 2.901 * [backup-simplify]: Simplify 1 into 1 2.901 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.901 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.901 * [taylor]: Taking taylor expansion of 1.0 in t 2.901 * [backup-simplify]: Simplify 1.0 into 1.0 2.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.901 * [taylor]: Taking taylor expansion of t in t 2.901 * [backup-simplify]: Simplify 0 into 0 2.901 * [backup-simplify]: Simplify 1 into 1 2.901 * [backup-simplify]: Simplify (/ 1 1) into 1 2.901 * [taylor]: Taking taylor expansion of 1.0 in t 2.901 * [backup-simplify]: Simplify 1.0 into 1.0 2.901 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.902 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.902 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.903 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.903 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.904 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.904 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.904 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.905 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.905 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 2.905 * [backup-simplify]: Simplify 0 into 0 2.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.906 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 2.906 * [backup-simplify]: Simplify (+ 0 0) into 0 2.908 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 2.909 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.910 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.911 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.911 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.911 * [backup-simplify]: Simplify 2.0 into 2.0 2.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.912 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.912 * [backup-simplify]: Simplify (+ 0 0) into 0 2.913 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 2.915 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 2.916 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 2.916 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.917 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.917 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.918 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.918 * [backup-simplify]: Simplify (+ 0 0) into 0 2.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 2.921 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.923 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 2.923 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.923 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.923 * [backup-simplify]: Simplify 2.0 into 2.0 2.924 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 2.924 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2.924 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 2.924 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.924 * [taylor]: Taking taylor expansion of 2.0 in t 2.924 * [backup-simplify]: Simplify 2.0 into 2.0 2.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.924 * [taylor]: Taking taylor expansion of 2.0 in t 2.924 * [backup-simplify]: Simplify 2.0 into 2.0 2.924 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.924 * [taylor]: Taking taylor expansion of t in t 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.924 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.924 * [taylor]: Taking taylor expansion of 1.0 in t 2.924 * [backup-simplify]: Simplify 1.0 into 1.0 2.924 * [taylor]: Taking taylor expansion of t in t 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [taylor]: Taking taylor expansion of 1.0 in t 2.924 * [backup-simplify]: Simplify 1.0 into 1.0 2.925 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.925 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.925 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.925 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.925 * [taylor]: Taking taylor expansion of 2.0 in t 2.925 * [backup-simplify]: Simplify 2.0 into 2.0 2.925 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.925 * [taylor]: Taking taylor expansion of 2.0 in t 2.925 * [backup-simplify]: Simplify 2.0 into 2.0 2.925 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.925 * [taylor]: Taking taylor expansion of t in t 2.925 * [backup-simplify]: Simplify 0 into 0 2.925 * [backup-simplify]: Simplify 1 into 1 2.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.925 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.925 * [taylor]: Taking taylor expansion of 1.0 in t 2.925 * [backup-simplify]: Simplify 1.0 into 1.0 2.925 * [taylor]: Taking taylor expansion of t in t 2.925 * [backup-simplify]: Simplify 0 into 0 2.925 * [backup-simplify]: Simplify 1 into 1 2.925 * [taylor]: Taking taylor expansion of 1.0 in t 2.926 * [backup-simplify]: Simplify 1.0 into 1.0 2.926 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.926 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.926 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.927 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.927 * [backup-simplify]: Simplify 2.0 into 2.0 2.927 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.927 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.928 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.928 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.929 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.929 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.930 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.931 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.932 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.932 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.932 * [backup-simplify]: Simplify 2.0 into 2.0 2.932 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.933 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2.933 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 2.933 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.933 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.933 * [taylor]: Taking taylor expansion of 2.0 in t 2.933 * [backup-simplify]: Simplify 2.0 into 2.0 2.933 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.933 * [taylor]: Taking taylor expansion of t in t 2.933 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify 1 into 1 2.933 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.933 * [taylor]: Taking taylor expansion of 1.0 in t 2.933 * [backup-simplify]: Simplify 1.0 into 1.0 2.933 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.933 * [taylor]: Taking taylor expansion of 1.0 in t 2.933 * [backup-simplify]: Simplify 1.0 into 1.0 2.933 * [taylor]: Taking taylor expansion of t in t 2.933 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify 1 into 1 2.933 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.933 * [backup-simplify]: Simplify (- 0) into 0 2.934 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.934 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.934 * [taylor]: Taking taylor expansion of 2.0 in t 2.934 * [backup-simplify]: Simplify 2.0 into 2.0 2.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.934 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.934 * [taylor]: Taking taylor expansion of 2.0 in t 2.934 * [backup-simplify]: Simplify 2.0 into 2.0 2.934 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.934 * [taylor]: Taking taylor expansion of t in t 2.934 * [backup-simplify]: Simplify 0 into 0 2.934 * [backup-simplify]: Simplify 1 into 1 2.934 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.934 * [taylor]: Taking taylor expansion of 1.0 in t 2.934 * [backup-simplify]: Simplify 1.0 into 1.0 2.934 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.934 * [taylor]: Taking taylor expansion of 1.0 in t 2.934 * [backup-simplify]: Simplify 1.0 into 1.0 2.934 * [taylor]: Taking taylor expansion of t in t 2.934 * [backup-simplify]: Simplify 0 into 0 2.934 * [backup-simplify]: Simplify 1 into 1 2.934 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.935 * [backup-simplify]: Simplify (- 0) into 0 2.935 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.935 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.935 * [taylor]: Taking taylor expansion of 2.0 in t 2.935 * [backup-simplify]: Simplify 2.0 into 2.0 2.936 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.936 * [backup-simplify]: Simplify 2.0 into 2.0 2.936 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.936 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.936 * [backup-simplify]: Simplify 2.0 into 2.0 2.937 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.937 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.938 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.939 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 2.940 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 2.940 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.940 * [backup-simplify]: Simplify 2.0 into 2.0 2.941 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.941 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 2.941 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2.941 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 2.941 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.941 * [taylor]: Taking taylor expansion of 2.0 in t 2.941 * [backup-simplify]: Simplify 2.0 into 2.0 2.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.941 * [taylor]: Taking taylor expansion of 2.0 in t 2.941 * [backup-simplify]: Simplify 2.0 into 2.0 2.941 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.941 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.941 * [taylor]: Taking taylor expansion of t in t 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.941 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.941 * [taylor]: Taking taylor expansion of 1.0 in t 2.941 * [backup-simplify]: Simplify 1.0 into 1.0 2.941 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.941 * [taylor]: Taking taylor expansion of t in t 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify (/ 1 1) into 1 2.941 * [taylor]: Taking taylor expansion of 1.0 in t 2.941 * [backup-simplify]: Simplify 1.0 into 1.0 2.942 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.942 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.942 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.943 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.943 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.944 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.944 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.944 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 2.944 * [taylor]: Taking taylor expansion of 2.0 in t 2.944 * [backup-simplify]: Simplify 2.0 into 2.0 2.944 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.944 * [taylor]: Taking taylor expansion of 2.0 in t 2.944 * [backup-simplify]: Simplify 2.0 into 2.0 2.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.945 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.945 * [taylor]: Taking taylor expansion of t in t 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [backup-simplify]: Simplify 1 into 1 2.945 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.945 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.945 * [taylor]: Taking taylor expansion of 1.0 in t 2.945 * [backup-simplify]: Simplify 1.0 into 1.0 2.945 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.945 * [taylor]: Taking taylor expansion of t in t 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [backup-simplify]: Simplify 1 into 1 2.945 * [backup-simplify]: Simplify (/ 1 1) into 1 2.945 * [taylor]: Taking taylor expansion of 1.0 in t 2.945 * [backup-simplify]: Simplify 1.0 into 1.0 2.945 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.945 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.946 * [backup-simplify]: Simplify (* 0 1.0) into 0 2.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.946 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.947 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.947 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 2.948 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.948 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.948 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.949 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 2.949 * [backup-simplify]: Simplify 0 into 0 2.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.950 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 2.950 * [backup-simplify]: Simplify (+ 0 0) into 0 2.951 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 2.952 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.954 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.954 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.954 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.954 * [backup-simplify]: Simplify 2.0 into 2.0 2.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.955 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.956 * [backup-simplify]: Simplify (+ 0 0) into 0 2.956 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 2.958 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 2.959 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 2.960 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.960 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.960 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.962 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.962 * [backup-simplify]: Simplify (+ 0 0) into 0 2.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 2.965 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.968 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 2.969 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.969 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.969 * [backup-simplify]: Simplify 2.0 into 2.0 2.970 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 2.970 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2.970 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 2.970 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.970 * [taylor]: Taking taylor expansion of 2.0 in t 2.970 * [backup-simplify]: Simplify 2.0 into 2.0 2.970 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.970 * [taylor]: Taking taylor expansion of 2.0 in t 2.970 * [backup-simplify]: Simplify 2.0 into 2.0 2.970 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.970 * [taylor]: Taking taylor expansion of t in t 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify 1 into 1 2.970 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.970 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.970 * [taylor]: Taking taylor expansion of 1.0 in t 2.970 * [backup-simplify]: Simplify 1.0 into 1.0 2.970 * [taylor]: Taking taylor expansion of t in t 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify 1 into 1 2.970 * [taylor]: Taking taylor expansion of 1.0 in t 2.970 * [backup-simplify]: Simplify 1.0 into 1.0 2.971 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.971 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.971 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.971 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 2.971 * [taylor]: Taking taylor expansion of 2.0 in t 2.971 * [backup-simplify]: Simplify 2.0 into 2.0 2.971 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 2.971 * [taylor]: Taking taylor expansion of 2.0 in t 2.971 * [backup-simplify]: Simplify 2.0 into 2.0 2.971 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 2.971 * [taylor]: Taking taylor expansion of t in t 2.971 * [backup-simplify]: Simplify 0 into 0 2.971 * [backup-simplify]: Simplify 1 into 1 2.971 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.971 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.971 * [taylor]: Taking taylor expansion of 1.0 in t 2.971 * [backup-simplify]: Simplify 1.0 into 1.0 2.971 * [taylor]: Taking taylor expansion of t in t 2.971 * [backup-simplify]: Simplify 0 into 0 2.971 * [backup-simplify]: Simplify 1 into 1 2.971 * [taylor]: Taking taylor expansion of 1.0 in t 2.971 * [backup-simplify]: Simplify 1.0 into 1.0 2.972 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.972 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.972 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.972 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.973 * [backup-simplify]: Simplify 2.0 into 2.0 2.973 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.973 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.973 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 2.974 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.974 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.975 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.976 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 2.977 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 2.978 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 2.978 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.978 * [backup-simplify]: Simplify 2.0 into 2.0 2.978 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.979 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2.979 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 2.979 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.979 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.979 * [taylor]: Taking taylor expansion of 2.0 in t 2.979 * [backup-simplify]: Simplify 2.0 into 2.0 2.979 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.979 * [taylor]: Taking taylor expansion of t in t 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [backup-simplify]: Simplify 1 into 1 2.979 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.979 * [taylor]: Taking taylor expansion of 1.0 in t 2.979 * [backup-simplify]: Simplify 1.0 into 1.0 2.979 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.979 * [taylor]: Taking taylor expansion of 1.0 in t 2.979 * [backup-simplify]: Simplify 1.0 into 1.0 2.979 * [taylor]: Taking taylor expansion of t in t 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [backup-simplify]: Simplify 1 into 1 2.979 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.979 * [backup-simplify]: Simplify (- 0) into 0 2.980 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.980 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.980 * [taylor]: Taking taylor expansion of 2.0 in t 2.980 * [backup-simplify]: Simplify 2.0 into 2.0 2.980 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 2.980 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 2.980 * [taylor]: Taking taylor expansion of 2.0 in t 2.980 * [backup-simplify]: Simplify 2.0 into 2.0 2.980 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 2.980 * [taylor]: Taking taylor expansion of t in t 2.980 * [backup-simplify]: Simplify 0 into 0 2.980 * [backup-simplify]: Simplify 1 into 1 2.980 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 2.980 * [taylor]: Taking taylor expansion of 1.0 in t 2.980 * [backup-simplify]: Simplify 1.0 into 1.0 2.980 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.980 * [taylor]: Taking taylor expansion of 1.0 in t 2.980 * [backup-simplify]: Simplify 1.0 into 1.0 2.980 * [taylor]: Taking taylor expansion of t in t 2.980 * [backup-simplify]: Simplify 0 into 0 2.980 * [backup-simplify]: Simplify 1 into 1 2.980 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.981 * [backup-simplify]: Simplify (- 0) into 0 2.981 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.981 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 2.981 * [taylor]: Taking taylor expansion of 2.0 in t 2.981 * [backup-simplify]: Simplify 2.0 into 2.0 2.981 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.981 * [backup-simplify]: Simplify 2.0 into 2.0 2.982 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 2.982 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.982 * [backup-simplify]: Simplify 2.0 into 2.0 2.983 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.983 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.984 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.985 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 2.986 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 2.986 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 2.986 * [backup-simplify]: Simplify 2.0 into 2.0 2.987 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.987 * * * [progress]: simplifying candidates 2.988 * [simplify]: Simplifying: (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 2.990 * * [simplify]: Extracting # 0 : cost 0 2.990 * * [simplify]: Extracting # 1 : cost 0 2.990 * * [simplify]: Extracting # 2 : cost 0 2.990 * * [simplify]: Extracting # 3 : cost 0 2.990 * * [simplify]: Extracting # 4 : cost 0 2.990 * * [simplify]: Extracting # 5 : cost 0 2.990 * * [simplify]: Extracting # 6 : cost 0 2.990 * * [simplify]: Extracting # 7 : cost 0 2.990 * * [simplify]: Extracting # 8 : cost 0 2.990 * * [simplify]: iteration 0 : 59 enodes (cost 1508 ) 3.002 * * [simplify]: Extracting # 0 : cost 0 3.003 * * [simplify]: Extracting # 1 : cost 0 3.003 * * [simplify]: Extracting # 2 : cost 0 3.003 * * [simplify]: Extracting # 3 : cost 0 3.003 * * [simplify]: iteration 1 : 138 enodes (cost 1456 ) 3.042 * * [simplify]: Extracting # 0 : cost 0 3.042 * * [simplify]: Extracting # 1 : cost 0 3.042 * * [simplify]: Extracting # 2 : cost 0 3.043 * * [simplify]: Extracting # 3 : cost 0 3.043 * * [simplify]: Extracting # 4 : cost 0 3.043 * * [simplify]: iteration 2 : 328 enodes (cost 1328 ) 3.141 * * [simplify]: Extracting # 0 : cost 0 3.142 * * [simplify]: Extracting # 1 : cost 0 3.143 * * [simplify]: Extracting # 2 : cost 0 3.144 * * [simplify]: Extracting # 3 : cost 0 3.145 * * [simplify]: Extracting # 4 : cost 0 3.146 * * [simplify]: iteration 3 : 962 enodes (cost 1328 ) 4.031 * * [simplify]: Extracting # 0 : cost 0 4.044 * * [simplify]: Extracting # 1 : cost 0 4.049 * * [simplify]: Extracting # 2 : cost 0 4.053 * * [simplify]: Extracting # 3 : cost 0 4.057 * * [simplify]: Extracting # 4 : cost 0 4.062 * * [simplify]: iteration 4 : 4615 enodes (cost 1328 ) 5.154 * * [simplify]: Extracting # 0 : cost 0 5.159 * * [simplify]: Extracting # 1 : cost 0 5.170 * * [simplify]: Extracting # 2 : cost 0 5.175 * * [simplify]: iteration done: 5001 enodes (cost 1328 ) 5.176 * [simplify]: Simplified to: (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) 5.176 * * * [progress]: adding candidates to table 5.357 * [progress]: [Phase 3 of 3] Extracting. 5.358 * [simplify]: Simplifying: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 5.359 * * [simplify]: Extracting # 0 : cost 0 5.359 * * [simplify]: Extracting # 1 : cost 0 5.359 * * [simplify]: Extracting # 2 : cost 0 5.359 * * [simplify]: Extracting # 3 : cost 0 5.359 * * [simplify]: Extracting # 4 : cost 0 5.359 * * [simplify]: Extracting # 5 : cost 0 5.359 * * [simplify]: Extracting # 6 : cost 0 5.359 * * [simplify]: Extracting # 7 : cost 0 5.359 * * [simplify]: Extracting # 8 : cost 0 5.359 * * [simplify]: iteration 0 : 12 enodes (cost 51 ) 5.359 * * [simplify]: Extracting # 0 : cost 0 5.359 * * [simplify]: iteration 1 : 15 enodes (cost 51 ) 5.360 * * [simplify]: Extracting # 0 : cost 0 5.360 * * [simplify]: iteration done: 15 enodes (cost 51 ) 5.360 * [simplify]: Simplified to: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 5.840 * [regime-testing]: End program error score: 0.017002125265658207