14.900 * [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.015 * [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.016 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.017 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.020 * * [simplify]: iteration 2 : 46 enodes (cost 33 ) 0.027 * * [simplify]: iteration 3 : 121 enodes (cost 33 ) 0.062 * * [simplify]: iteration 4 : 308 enodes (cost 33 ) 0.175 * * [simplify]: iteration 5 : 533 enodes (cost 33 ) 0.324 * * [simplify]: iteration 6 : 691 enodes (cost 33 ) 0.509 * * [simplify]: iteration 7 : 942 enodes (cost 33 ) 0.881 * * [simplify]: iteration 8 : 1330 enodes (cost 33 ) 3.543 * * [simplify]: iteration 9 : 4392 enodes (cost 33 ) 4.944 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 4.945 * [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.947 * * [progress]: iteration 1 / 4 4.947 * * * [progress]: picking best candidate 4.949 * * * * [pick]: Picked # 4.950 * * * [progress]: localizing error 4.958 * * * [progress]: generating rewritten candidates 4.958 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.989 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 5.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 5.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 5.043 * * * [progress]: generating series expansions 5.043 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.043 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 5.044 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 5.044 * [taylor]: Taking taylor expansion of 4.0 in t 5.044 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 5.044 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.044 * [taylor]: Taking taylor expansion of t in t 5.044 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 5.044 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.044 * [taylor]: Taking taylor expansion of t in t 5.044 * [taylor]: Taking taylor expansion of 1.0 in t 5.045 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 5.045 * [taylor]: Taking taylor expansion of 4.0 in t 5.045 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 5.045 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.045 * [taylor]: Taking taylor expansion of t in t 5.045 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 5.045 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.045 * [taylor]: Taking taylor expansion of t in t 5.045 * [taylor]: Taking taylor expansion of 1.0 in t 5.058 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 5.058 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 5.058 * [taylor]: Taking taylor expansion of 4.0 in t 5.058 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 5.058 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.058 * [taylor]: Taking taylor expansion of t in t 5.058 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 5.058 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.058 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.058 * [taylor]: Taking taylor expansion of t in t 5.059 * [taylor]: Taking taylor expansion of 1.0 in t 5.060 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 5.060 * [taylor]: Taking taylor expansion of 4.0 in t 5.060 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 5.060 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.060 * [taylor]: Taking taylor expansion of t in t 5.060 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 5.060 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.060 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.060 * [taylor]: Taking taylor expansion of t in t 5.060 * [taylor]: Taking taylor expansion of 1.0 in t 5.075 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 5.075 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 5.075 * [taylor]: Taking taylor expansion of 4.0 in t 5.075 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 5.075 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.075 * [taylor]: Taking taylor expansion of t in t 5.075 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 5.075 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.075 * [taylor]: Taking taylor expansion of 1.0 in t 5.075 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.075 * [taylor]: Taking taylor expansion of t in t 5.077 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 5.077 * [taylor]: Taking taylor expansion of 4.0 in t 5.077 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 5.077 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.077 * [taylor]: Taking taylor expansion of t in t 5.077 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 5.077 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.077 * [taylor]: Taking taylor expansion of 1.0 in t 5.077 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.077 * [taylor]: Taking taylor expansion of t in t 5.097 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 5.098 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 5.098 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 5.098 * [taylor]: Taking taylor expansion of 4.0 in t 5.098 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 5.098 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.098 * [taylor]: Taking taylor expansion of t in t 5.098 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 5.098 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.098 * [taylor]: Taking taylor expansion of t in t 5.098 * [taylor]: Taking taylor expansion of 1.0 in t 5.099 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 5.099 * [taylor]: Taking taylor expansion of 4.0 in t 5.099 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 5.099 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.099 * [taylor]: Taking taylor expansion of t in t 5.099 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 5.099 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.099 * [taylor]: Taking taylor expansion of t in t 5.099 * [taylor]: Taking taylor expansion of 1.0 in t 5.112 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 5.112 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 5.112 * [taylor]: Taking taylor expansion of 4.0 in t 5.112 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 5.112 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.112 * [taylor]: Taking taylor expansion of t in t 5.112 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 5.112 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.112 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.112 * [taylor]: Taking taylor expansion of t in t 5.112 * [taylor]: Taking taylor expansion of 1.0 in t 5.114 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 5.114 * [taylor]: Taking taylor expansion of 4.0 in t 5.114 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 5.114 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.114 * [taylor]: Taking taylor expansion of t in t 5.114 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 5.114 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.114 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.114 * [taylor]: Taking taylor expansion of t in t 5.114 * [taylor]: Taking taylor expansion of 1.0 in t 5.128 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 5.128 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 5.129 * [taylor]: Taking taylor expansion of 4.0 in t 5.129 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 5.129 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.129 * [taylor]: Taking taylor expansion of t in t 5.129 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 5.129 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.129 * [taylor]: Taking taylor expansion of 1.0 in t 5.129 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.129 * [taylor]: Taking taylor expansion of t in t 5.130 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 5.130 * [taylor]: Taking taylor expansion of 4.0 in t 5.130 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 5.130 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.130 * [taylor]: Taking taylor expansion of t in t 5.131 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 5.131 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.131 * [taylor]: Taking taylor expansion of 1.0 in t 5.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.131 * [taylor]: Taking taylor expansion of t in t 5.146 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 5.146 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 5.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.146 * [taylor]: Taking taylor expansion of 2.0 in t 5.146 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.146 * [taylor]: Taking taylor expansion of t in t 5.146 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.146 * [taylor]: Taking taylor expansion of t in t 5.146 * [taylor]: Taking taylor expansion of 1.0 in t 5.147 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.147 * [taylor]: Taking taylor expansion of 2.0 in t 5.147 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.147 * [taylor]: Taking taylor expansion of t in t 5.147 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.147 * [taylor]: Taking taylor expansion of t in t 5.147 * [taylor]: Taking taylor expansion of 1.0 in t 5.157 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 5.157 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.157 * [taylor]: Taking taylor expansion of 2.0 in t 5.157 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.157 * [taylor]: Taking taylor expansion of t in t 5.157 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.157 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.157 * [taylor]: Taking taylor expansion of t in t 5.157 * [taylor]: Taking taylor expansion of 1.0 in t 5.159 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.159 * [taylor]: Taking taylor expansion of 2.0 in t 5.159 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.159 * [taylor]: Taking taylor expansion of t in t 5.159 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.159 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.159 * [taylor]: Taking taylor expansion of t in t 5.160 * [taylor]: Taking taylor expansion of 1.0 in t 5.171 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 5.172 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.172 * [taylor]: Taking taylor expansion of -2.0 in t 5.172 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.172 * [taylor]: Taking taylor expansion of t in t 5.172 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.172 * [taylor]: Taking taylor expansion of 1.0 in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.172 * [taylor]: Taking taylor expansion of t in t 5.174 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.174 * [taylor]: Taking taylor expansion of -2.0 in t 5.174 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.174 * [taylor]: Taking taylor expansion of t in t 5.174 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.175 * [taylor]: Taking taylor expansion of 1.0 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.175 * [taylor]: Taking taylor expansion of t in t 5.189 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 5.189 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 5.189 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.189 * [taylor]: Taking taylor expansion of 2.0 in t 5.189 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.189 * [taylor]: Taking taylor expansion of t in t 5.189 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.189 * [taylor]: Taking taylor expansion of t in t 5.189 * [taylor]: Taking taylor expansion of 1.0 in t 5.190 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.190 * [taylor]: Taking taylor expansion of 2.0 in t 5.190 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.190 * [taylor]: Taking taylor expansion of t in t 5.190 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.190 * [taylor]: Taking taylor expansion of t in t 5.190 * [taylor]: Taking taylor expansion of 1.0 in t 5.200 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 5.200 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.200 * [taylor]: Taking taylor expansion of 2.0 in t 5.200 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.200 * [taylor]: Taking taylor expansion of t in t 5.200 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.200 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.200 * [taylor]: Taking taylor expansion of t in t 5.200 * [taylor]: Taking taylor expansion of 1.0 in t 5.202 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.202 * [taylor]: Taking taylor expansion of 2.0 in t 5.202 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.202 * [taylor]: Taking taylor expansion of t in t 5.202 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.202 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.202 * [taylor]: Taking taylor expansion of t in t 5.203 * [taylor]: Taking taylor expansion of 1.0 in t 5.214 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 5.214 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.214 * [taylor]: Taking taylor expansion of -2.0 in t 5.214 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.214 * [taylor]: Taking taylor expansion of t in t 5.214 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.214 * [taylor]: Taking taylor expansion of 1.0 in t 5.214 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.214 * [taylor]: Taking taylor expansion of t in t 5.217 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.217 * [taylor]: Taking taylor expansion of -2.0 in t 5.217 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.217 * [taylor]: Taking taylor expansion of t in t 5.217 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.217 * [taylor]: Taking taylor expansion of 1.0 in t 5.217 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.217 * [taylor]: Taking taylor expansion of t in t 5.229 * * * [progress]: simplifying candidates 5.232 * [simplify]: Simplifying using # : (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (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))) 5.239 * * [simplify]: iteration 0 : 150 enodes (cost 3772 ) 5.283 * * [simplify]: iteration 1 : 471 enodes (cost 3340 ) 5.513 * * [simplify]: iteration 2 : 1908 enodes (cost 2596 ) 6.045 * * [simplify]: iteration done : 5001 enodes (cost 2596 ) 6.047 * [simplify]: Simplified to: (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (fabs (/ 2.0 (/ (+ 1.0 t) t))) (fabs (/ 2.0 (/ (+ 1.0 t) t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (fabs (/ 2.0 (/ (+ 1.0 t) t))) (fabs (/ 2.0 (/ (+ 1.0 t) t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (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)) (* t (/ 2.0 (* (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))) (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)) (* t (/ 2.0 (* (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))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (* 2.0 (- (+ (pow t 3) t) (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (* 2.0 (- (+ (pow t 3) t) (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) 6.048 * * * [progress]: adding candidates to table 6.380 * * [progress]: iteration 2 / 4 6.380 * * * [progress]: picking best candidate 6.384 * * * * [pick]: Picked # 6.384 * * * [progress]: localizing error 6.396 * * * [progress]: generating rewritten candidates 6.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 6.396 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 6.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 6.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 6.473 * * * [progress]: generating series expansions 6.474 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 6.474 * [approximate]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in (t) around 0 6.474 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 6.474 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 6.474 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 6.474 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 6.474 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 6.474 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 6.474 * [taylor]: Taking taylor expansion of 1 in t 6.474 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.474 * [taylor]: Taking taylor expansion of 4.0 in t 6.474 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.474 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.474 * [taylor]: Taking taylor expansion of t in t 6.474 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.474 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.474 * [taylor]: Taking taylor expansion of t in t 6.474 * [taylor]: Taking taylor expansion of 1.0 in t 6.487 * [taylor]: Taking taylor expansion of 1 in t 6.487 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 6.487 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 6.487 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 6.488 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 6.488 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 6.488 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 6.488 * [taylor]: Taking taylor expansion of 1 in t 6.488 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.488 * [taylor]: Taking taylor expansion of 4.0 in t 6.488 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.488 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.488 * [taylor]: Taking taylor expansion of t in t 6.488 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.488 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.488 * [taylor]: Taking taylor expansion of t in t 6.488 * [taylor]: Taking taylor expansion of 1.0 in t 6.496 * [taylor]: Taking taylor expansion of 1 in t 6.559 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in (t) around 0 6.559 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 6.559 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 6.559 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 6.559 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 6.559 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 6.559 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 6.559 * [taylor]: Taking taylor expansion of 1 in t 6.560 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.560 * [taylor]: Taking taylor expansion of 4.0 in t 6.560 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.560 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.560 * [taylor]: Taking taylor expansion of t in t 6.560 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.560 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.560 * [taylor]: Taking taylor expansion of t in t 6.560 * [taylor]: Taking taylor expansion of 1.0 in t 6.562 * [taylor]: Taking taylor expansion of 1 in t 6.562 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 6.562 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 6.562 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 6.562 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 6.562 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 6.562 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 6.562 * [taylor]: Taking taylor expansion of 1 in t 6.562 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.563 * [taylor]: Taking taylor expansion of 4.0 in t 6.563 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.563 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.563 * [taylor]: Taking taylor expansion of t in t 6.563 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.563 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.563 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.563 * [taylor]: Taking taylor expansion of t in t 6.563 * [taylor]: Taking taylor expansion of 1.0 in t 6.565 * [taylor]: Taking taylor expansion of 1 in t 6.613 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in (t) around 0 6.613 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 6.613 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 6.613 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 6.614 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 6.614 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 6.614 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 6.614 * [taylor]: Taking taylor expansion of 1 in t 6.614 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.614 * [taylor]: Taking taylor expansion of 4.0 in t 6.614 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.614 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.614 * [taylor]: Taking taylor expansion of t in t 6.614 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.614 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.614 * [taylor]: Taking taylor expansion of 1.0 in t 6.614 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.614 * [taylor]: Taking taylor expansion of t in t 6.617 * [taylor]: Taking taylor expansion of 1 in t 6.617 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 6.617 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 6.617 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 6.617 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 6.617 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 6.617 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 6.617 * [taylor]: Taking taylor expansion of 1 in t 6.617 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.617 * [taylor]: Taking taylor expansion of 4.0 in t 6.617 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.617 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.617 * [taylor]: Taking taylor expansion of t in t 6.617 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.617 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.617 * [taylor]: Taking taylor expansion of 1.0 in t 6.617 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.617 * [taylor]: Taking taylor expansion of t in t 6.620 * [taylor]: Taking taylor expansion of 1 in t 6.669 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.669 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 6.669 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.669 * [taylor]: Taking taylor expansion of 4.0 in t 6.669 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.669 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.669 * [taylor]: Taking taylor expansion of t in t 6.669 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.669 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.669 * [taylor]: Taking taylor expansion of t in t 6.669 * [taylor]: Taking taylor expansion of 1.0 in t 6.670 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.670 * [taylor]: Taking taylor expansion of 4.0 in t 6.670 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.670 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.670 * [taylor]: Taking taylor expansion of t in t 6.670 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.670 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.671 * [taylor]: Taking taylor expansion of t in t 6.671 * [taylor]: Taking taylor expansion of 1.0 in t 6.683 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 6.683 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.683 * [taylor]: Taking taylor expansion of 4.0 in t 6.683 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.683 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.683 * [taylor]: Taking taylor expansion of t in t 6.683 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.683 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.683 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.683 * [taylor]: Taking taylor expansion of t in t 6.683 * [taylor]: Taking taylor expansion of 1.0 in t 6.685 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.685 * [taylor]: Taking taylor expansion of 4.0 in t 6.685 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.685 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.685 * [taylor]: Taking taylor expansion of t in t 6.685 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.685 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.685 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.685 * [taylor]: Taking taylor expansion of t in t 6.685 * [taylor]: Taking taylor expansion of 1.0 in t 6.699 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 6.699 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.699 * [taylor]: Taking taylor expansion of 4.0 in t 6.699 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.699 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.699 * [taylor]: Taking taylor expansion of t in t 6.699 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.699 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.699 * [taylor]: Taking taylor expansion of 1.0 in t 6.699 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.699 * [taylor]: Taking taylor expansion of t in t 6.701 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.701 * [taylor]: Taking taylor expansion of 4.0 in t 6.701 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.701 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.701 * [taylor]: Taking taylor expansion of t in t 6.701 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.701 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.701 * [taylor]: Taking taylor expansion of 1.0 in t 6.701 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.701 * [taylor]: Taking taylor expansion of t in t 6.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 6.719 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 6.719 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.719 * [taylor]: Taking taylor expansion of 4.0 in t 6.719 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.719 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.719 * [taylor]: Taking taylor expansion of t in t 6.719 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.719 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.719 * [taylor]: Taking taylor expansion of t in t 6.719 * [taylor]: Taking taylor expansion of 1.0 in t 6.720 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 6.721 * [taylor]: Taking taylor expansion of 4.0 in t 6.721 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 6.721 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.721 * [taylor]: Taking taylor expansion of t in t 6.721 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 6.721 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.721 * [taylor]: Taking taylor expansion of t in t 6.721 * [taylor]: Taking taylor expansion of 1.0 in t 6.733 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 6.733 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.733 * [taylor]: Taking taylor expansion of 4.0 in t 6.733 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.733 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.733 * [taylor]: Taking taylor expansion of t in t 6.733 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.733 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.733 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.733 * [taylor]: Taking taylor expansion of t in t 6.734 * [taylor]: Taking taylor expansion of 1.0 in t 6.735 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 6.735 * [taylor]: Taking taylor expansion of 4.0 in t 6.735 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 6.735 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.735 * [taylor]: Taking taylor expansion of t in t 6.735 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 6.735 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.735 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.735 * [taylor]: Taking taylor expansion of t in t 6.735 * [taylor]: Taking taylor expansion of 1.0 in t 6.749 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 6.750 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.750 * [taylor]: Taking taylor expansion of 4.0 in t 6.750 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.750 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.750 * [taylor]: Taking taylor expansion of t in t 6.750 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.750 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.750 * [taylor]: Taking taylor expansion of 1.0 in t 6.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.750 * [taylor]: Taking taylor expansion of t in t 6.751 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 6.751 * [taylor]: Taking taylor expansion of 4.0 in t 6.751 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 6.751 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.751 * [taylor]: Taking taylor expansion of t in t 6.751 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 6.752 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.752 * [taylor]: Taking taylor expansion of 1.0 in t 6.752 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.752 * [taylor]: Taking taylor expansion of t in t 6.767 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 6.767 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 6.767 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.767 * [taylor]: Taking taylor expansion of 2.0 in t 6.767 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.767 * [taylor]: Taking taylor expansion of t in t 6.767 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.767 * [taylor]: Taking taylor expansion of t in t 6.767 * [taylor]: Taking taylor expansion of 1.0 in t 6.768 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 6.768 * [taylor]: Taking taylor expansion of 2.0 in t 6.768 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 6.768 * [taylor]: Taking taylor expansion of t in t 6.768 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 6.768 * [taylor]: Taking taylor expansion of t in t 6.768 * [taylor]: Taking taylor expansion of 1.0 in t 6.777 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 6.777 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.777 * [taylor]: Taking taylor expansion of 2.0 in t 6.777 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.777 * [taylor]: Taking taylor expansion of t in t 6.777 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.777 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.777 * [taylor]: Taking taylor expansion of t in t 6.777 * [taylor]: Taking taylor expansion of 1.0 in t 6.779 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 6.779 * [taylor]: Taking taylor expansion of 2.0 in t 6.779 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 6.779 * [taylor]: Taking taylor expansion of t in t 6.779 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 6.779 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.779 * [taylor]: Taking taylor expansion of t in t 6.780 * [taylor]: Taking taylor expansion of 1.0 in t 6.791 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 6.791 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.791 * [taylor]: Taking taylor expansion of -2.0 in t 6.791 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.791 * [taylor]: Taking taylor expansion of t in t 6.791 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.791 * [taylor]: Taking taylor expansion of 1.0 in t 6.791 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.791 * [taylor]: Taking taylor expansion of t in t 6.793 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 6.793 * [taylor]: Taking taylor expansion of -2.0 in t 6.793 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 6.793 * [taylor]: Taking taylor expansion of t in t 6.793 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 6.793 * [taylor]: Taking taylor expansion of 1.0 in t 6.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.793 * [taylor]: Taking taylor expansion of t in t 6.808 * * * [progress]: simplifying candidates 6.811 * [simplify]: Simplifying using # : (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log1p (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (* (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (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))) 6.818 * * [simplify]: iteration 0 : 172 enodes (cost 3747 ) 6.864 * * [simplify]: iteration 1 : 515 enodes (cost 3281 ) 7.103 * * [simplify]: iteration 2 : 2032 enodes (cost 2547 ) 7.648 * * [simplify]: iteration done : 5000 enodes (cost 2547 ) 7.649 * [simplify]: Simplified to: (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (/ (* (fma 1.0 1.0 (* t (- t 1.0))) (* 2.0 t)) (+ 1.0 t)) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (/ (* (fma 1.0 1.0 (* t (- t 1.0))) (* 2.0 t)) (+ 1.0 t)) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 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 (/ t (/ (+ 1.0 t) 2.0)) 3) (pow (/ t (/ (+ 1.0 t) 2.0)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ t (/ (+ 1.0 t) 2.0)) 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)) (* t (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (sqrt (+ 1.0 t))) 2.0) (* t 2.0) (* t 2.0) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ 4.0 (- (/ 18.400000000000002 (* t t)) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2)))))) (+ 4.0 (- (/ 18.400000000000002 (* t t)) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2)))))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ 4.0 (- (/ 12.0 (* t t)) (/ 8.0 t))) (+ 4.0 (- (/ 12.0 (* t t)) (/ 8.0 t))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ 4.0 (- (/ 12.0 (* t t)) (/ 8.0 t))) (+ 4.0 (- (/ 12.0 (* t t)) (/ 8.0 t))) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) 7.651 * * * [progress]: adding candidates to table 8.025 * * [progress]: iteration 3 / 4 8.025 * * * [progress]: picking best candidate 8.032 * * * * [pick]: Picked # 8.032 * * * [progress]: localizing error 8.044 * * * [progress]: generating rewritten candidates 8.044 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 8.044 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.044 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 8.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 8.115 * * * [progress]: generating series expansions 8.115 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 8.115 * [approximate]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in (t) around 0 8.115 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.115 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 8.115 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.115 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.115 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 8.115 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.115 * [taylor]: Taking taylor expansion of 1 in t 8.115 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.116 * [taylor]: Taking taylor expansion of 4.0 in t 8.116 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.116 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.116 * [taylor]: Taking taylor expansion of t in t 8.116 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.116 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.116 * [taylor]: Taking taylor expansion of t in t 8.116 * [taylor]: Taking taylor expansion of 1.0 in t 8.125 * [taylor]: Taking taylor expansion of 1 in t 8.125 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.125 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 8.125 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.125 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.125 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 8.125 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.125 * [taylor]: Taking taylor expansion of 1 in t 8.125 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.125 * [taylor]: Taking taylor expansion of 4.0 in t 8.125 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.125 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.125 * [taylor]: Taking taylor expansion of t in t 8.125 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.125 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.125 * [taylor]: Taking taylor expansion of t in t 8.125 * [taylor]: Taking taylor expansion of 1.0 in t 8.134 * [taylor]: Taking taylor expansion of 1 in t 8.198 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in (t) around 0 8.198 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.198 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 8.198 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.198 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.198 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 8.198 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.198 * [taylor]: Taking taylor expansion of 1 in t 8.198 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.198 * [taylor]: Taking taylor expansion of 4.0 in t 8.198 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.198 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.198 * [taylor]: Taking taylor expansion of t in t 8.198 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.198 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.198 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.198 * [taylor]: Taking taylor expansion of t in t 8.199 * [taylor]: Taking taylor expansion of 1.0 in t 8.201 * [taylor]: Taking taylor expansion of 1 in t 8.201 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.201 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 8.201 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.201 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.201 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 8.201 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.201 * [taylor]: Taking taylor expansion of 1 in t 8.201 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.201 * [taylor]: Taking taylor expansion of 4.0 in t 8.201 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.201 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.201 * [taylor]: Taking taylor expansion of t in t 8.201 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.201 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.201 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.201 * [taylor]: Taking taylor expansion of t in t 8.202 * [taylor]: Taking taylor expansion of 1.0 in t 8.204 * [taylor]: Taking taylor expansion of 1 in t 8.252 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in (t) around 0 8.252 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.252 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 8.252 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.252 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.253 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 8.253 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.253 * [taylor]: Taking taylor expansion of 1 in t 8.253 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.253 * [taylor]: Taking taylor expansion of 4.0 in t 8.253 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.253 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.253 * [taylor]: Taking taylor expansion of t in t 8.253 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.253 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.253 * [taylor]: Taking taylor expansion of 1.0 in t 8.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.253 * [taylor]: Taking taylor expansion of t in t 8.255 * [taylor]: Taking taylor expansion of 1 in t 8.256 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.256 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 8.256 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.256 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.256 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 8.256 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.256 * [taylor]: Taking taylor expansion of 1 in t 8.256 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.256 * [taylor]: Taking taylor expansion of 4.0 in t 8.256 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.256 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.256 * [taylor]: Taking taylor expansion of t in t 8.256 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.256 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.256 * [taylor]: Taking taylor expansion of 1.0 in t 8.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.256 * [taylor]: Taking taylor expansion of t in t 8.259 * [taylor]: Taking taylor expansion of 1 in t 8.309 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 8.309 * [approximate]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in (t) around 0 8.309 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.309 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 8.309 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.309 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.309 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 8.309 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.309 * [taylor]: Taking taylor expansion of 1 in t 8.309 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.309 * [taylor]: Taking taylor expansion of 4.0 in t 8.309 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.309 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.309 * [taylor]: Taking taylor expansion of t in t 8.309 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.309 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.309 * [taylor]: Taking taylor expansion of t in t 8.309 * [taylor]: Taking taylor expansion of 1.0 in t 8.319 * [taylor]: Taking taylor expansion of 1 in t 8.319 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.319 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 8.319 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 8.319 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.319 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 8.319 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 8.319 * [taylor]: Taking taylor expansion of 1 in t 8.319 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.319 * [taylor]: Taking taylor expansion of 4.0 in t 8.319 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.319 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.319 * [taylor]: Taking taylor expansion of t in t 8.319 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.319 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.319 * [taylor]: Taking taylor expansion of t in t 8.319 * [taylor]: Taking taylor expansion of 1.0 in t 8.328 * [taylor]: Taking taylor expansion of 1 in t 8.391 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in (t) around 0 8.391 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.391 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 8.391 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.391 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.391 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 8.391 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.391 * [taylor]: Taking taylor expansion of 1 in t 8.391 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.391 * [taylor]: Taking taylor expansion of 4.0 in t 8.391 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.391 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.391 * [taylor]: Taking taylor expansion of t in t 8.391 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.391 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.391 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.392 * [taylor]: Taking taylor expansion of t in t 8.392 * [taylor]: Taking taylor expansion of 1.0 in t 8.394 * [taylor]: Taking taylor expansion of 1 in t 8.394 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.394 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 8.394 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 8.394 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.394 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 8.394 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 8.394 * [taylor]: Taking taylor expansion of 1 in t 8.394 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.394 * [taylor]: Taking taylor expansion of 4.0 in t 8.394 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.394 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.394 * [taylor]: Taking taylor expansion of t in t 8.394 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.394 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.394 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.394 * [taylor]: Taking taylor expansion of t in t 8.395 * [taylor]: Taking taylor expansion of 1.0 in t 8.397 * [taylor]: Taking taylor expansion of 1 in t 8.448 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in (t) around 0 8.448 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.449 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 8.449 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.449 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.449 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 8.449 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.449 * [taylor]: Taking taylor expansion of 1 in t 8.449 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.449 * [taylor]: Taking taylor expansion of 4.0 in t 8.449 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.449 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.449 * [taylor]: Taking taylor expansion of t in t 8.449 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.449 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.449 * [taylor]: Taking taylor expansion of 1.0 in t 8.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.449 * [taylor]: Taking taylor expansion of t in t 8.452 * [taylor]: Taking taylor expansion of 1 in t 8.452 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.452 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 8.452 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 8.452 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.452 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 8.452 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 8.452 * [taylor]: Taking taylor expansion of 1 in t 8.452 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.453 * [taylor]: Taking taylor expansion of 4.0 in t 8.453 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.453 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.453 * [taylor]: Taking taylor expansion of t in t 8.453 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.453 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.453 * [taylor]: Taking taylor expansion of 1.0 in t 8.453 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.453 * [taylor]: Taking taylor expansion of t in t 8.455 * [taylor]: Taking taylor expansion of 1 in t 8.508 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 8.508 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 8.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.508 * [taylor]: Taking taylor expansion of 4.0 in t 8.508 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.508 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.508 * [taylor]: Taking taylor expansion of t in t 8.508 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.508 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.508 * [taylor]: Taking taylor expansion of t in t 8.508 * [taylor]: Taking taylor expansion of 1.0 in t 8.509 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.509 * [taylor]: Taking taylor expansion of 4.0 in t 8.509 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.509 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.509 * [taylor]: Taking taylor expansion of t in t 8.509 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.509 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.509 * [taylor]: Taking taylor expansion of t in t 8.509 * [taylor]: Taking taylor expansion of 1.0 in t 8.522 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 8.522 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.522 * [taylor]: Taking taylor expansion of 4.0 in t 8.522 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.522 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.522 * [taylor]: Taking taylor expansion of t in t 8.522 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.522 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.522 * [taylor]: Taking taylor expansion of t in t 8.522 * [taylor]: Taking taylor expansion of 1.0 in t 8.523 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.523 * [taylor]: Taking taylor expansion of 4.0 in t 8.523 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.523 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.523 * [taylor]: Taking taylor expansion of t in t 8.524 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.524 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.524 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.524 * [taylor]: Taking taylor expansion of t in t 8.524 * [taylor]: Taking taylor expansion of 1.0 in t 8.538 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 8.538 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.538 * [taylor]: Taking taylor expansion of 4.0 in t 8.538 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.538 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.538 * [taylor]: Taking taylor expansion of t in t 8.538 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.538 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.538 * [taylor]: Taking taylor expansion of 1.0 in t 8.538 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.538 * [taylor]: Taking taylor expansion of t in t 8.540 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.540 * [taylor]: Taking taylor expansion of 4.0 in t 8.540 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.540 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.540 * [taylor]: Taking taylor expansion of t in t 8.540 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.540 * [taylor]: Taking taylor expansion of 1.0 in t 8.540 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.540 * [taylor]: Taking taylor expansion of t in t 8.556 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 8.556 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 8.556 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.556 * [taylor]: Taking taylor expansion of 4.0 in t 8.556 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.556 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.556 * [taylor]: Taking taylor expansion of t in t 8.556 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.556 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.556 * [taylor]: Taking taylor expansion of t in t 8.556 * [taylor]: Taking taylor expansion of 1.0 in t 8.557 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 8.557 * [taylor]: Taking taylor expansion of 4.0 in t 8.557 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 8.557 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.557 * [taylor]: Taking taylor expansion of t in t 8.557 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 8.557 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 8.558 * [taylor]: Taking taylor expansion of t in t 8.558 * [taylor]: Taking taylor expansion of 1.0 in t 8.570 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 8.570 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.570 * [taylor]: Taking taylor expansion of 4.0 in t 8.570 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.570 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.570 * [taylor]: Taking taylor expansion of t in t 8.570 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.570 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.570 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.570 * [taylor]: Taking taylor expansion of t in t 8.570 * [taylor]: Taking taylor expansion of 1.0 in t 8.571 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 8.571 * [taylor]: Taking taylor expansion of 4.0 in t 8.571 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 8.572 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.572 * [taylor]: Taking taylor expansion of t in t 8.572 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 8.572 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 8.572 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.572 * [taylor]: Taking taylor expansion of t in t 8.572 * [taylor]: Taking taylor expansion of 1.0 in t 8.586 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 8.586 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.586 * [taylor]: Taking taylor expansion of 4.0 in t 8.586 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.586 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.586 * [taylor]: Taking taylor expansion of t in t 8.586 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.586 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.586 * [taylor]: Taking taylor expansion of 1.0 in t 8.586 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.586 * [taylor]: Taking taylor expansion of t in t 8.593 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 8.593 * [taylor]: Taking taylor expansion of 4.0 in t 8.593 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 8.593 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.593 * [taylor]: Taking taylor expansion of t in t 8.593 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 8.593 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 8.593 * [taylor]: Taking taylor expansion of 1.0 in t 8.593 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.593 * [taylor]: Taking taylor expansion of t in t 8.609 * * * [progress]: simplifying candidates 8.612 * [simplify]: Simplifying using # : (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log1p (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (* (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log1p (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (* (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (+ 1 1) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t)))) (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t)))) (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* (/ 2.0 1) (/ 2.0 1)) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 1 1) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t))) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* 2 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1)) (* (/ (* 2.0 t) (+ 1.0 t)) 1) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t)) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) 8.619 * * [simplify]: iteration 0 : 154 enodes (cost 3722 ) 8.659 * * [simplify]: iteration 1 : 463 enodes (cost 3222 ) 8.825 * * [simplify]: iteration 2 : 1860 enodes (cost 2498 ) 9.390 * * [simplify]: iteration done : 5000 enodes (cost 2498 ) 9.391 * [simplify]: Simplified to: (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 2 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 2 (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t)) (* (pow (cbrt (/ (* 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)))) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t)))) (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t)))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) (* 2.0 2.0) (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t))) 1 (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (* 2.0 t) (* 2.0 t)) (/ (/ 1 (+ 1.0 t)) (+ 1.0 t)) (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0)))) (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (- 1.0 t) (- 1.0 t)) (* (/ t (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) 2 (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ (* 2.0 t) (+ 1.0 t)) 2.0) (* (/ t (+ 1.0 t)) 2.0) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3) (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t))) (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ 4.0 (/ 18.400000000000002 (* t t))) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (- (+ 4.0 (/ 18.400000000000002 (* t t))) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ 4.0 (/ 18.400000000000002 (* t t))) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (- (+ 4.0 (/ 18.400000000000002 (* t t))) (+ (/ 8.0 t) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (/ 12.0 (* t t)) 4.0) (/ 8.0 t)) (- (+ (/ 12.0 (* t t)) 4.0) (/ 8.0 t)) (- (fma 4.0 (pow t 2) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (/ 12.0 (* t t)) 4.0) (/ 8.0 t)) (- (+ (/ 12.0 (* t t)) 4.0) (/ 8.0 t)) 9.393 * * * [progress]: adding candidates to table 9.798 * * [progress]: iteration 4 / 4 9.798 * * * [progress]: picking best candidate 9.801 * * * * [pick]: Picked # 9.801 * * * [progress]: localizing error 9.820 * * * [progress]: generating rewritten candidates 9.820 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 9.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 9.822 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 9.822 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 9.824 * * * [progress]: generating series expansions 9.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 9.824 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0 9.824 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 9.824 * [taylor]: Taking taylor expansion of 4.0 in t 9.824 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 9.824 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.824 * [taylor]: Taking taylor expansion of t in t 9.824 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 9.824 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 9.824 * [taylor]: Taking taylor expansion of t in t 9.824 * [taylor]: Taking taylor expansion of 1.0 in t 9.826 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 9.826 * [taylor]: Taking taylor expansion of 4.0 in t 9.826 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 9.826 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.826 * [taylor]: Taking taylor expansion of t in t 9.826 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 9.826 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 9.826 * [taylor]: Taking taylor expansion of t in t 9.826 * [taylor]: Taking taylor expansion of 1.0 in t 9.838 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 9.839 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 9.839 * [taylor]: Taking taylor expansion of 4.0 in t 9.839 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 9.839 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.839 * [taylor]: Taking taylor expansion of t in t 9.839 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 9.839 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 9.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.839 * [taylor]: Taking taylor expansion of t in t 9.839 * [taylor]: Taking taylor expansion of 1.0 in t 9.840 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 9.840 * [taylor]: Taking taylor expansion of 4.0 in t 9.840 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 9.840 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.840 * [taylor]: Taking taylor expansion of t in t 9.840 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 9.840 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 9.840 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.840 * [taylor]: Taking taylor expansion of t in t 9.841 * [taylor]: Taking taylor expansion of 1.0 in t 9.858 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 9.859 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 9.859 * [taylor]: Taking taylor expansion of 4.0 in t 9.859 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 9.859 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.859 * [taylor]: Taking taylor expansion of t in t 9.859 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 9.859 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 9.859 * [taylor]: Taking taylor expansion of 1.0 in t 9.859 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.859 * [taylor]: Taking taylor expansion of t in t 9.860 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 9.860 * [taylor]: Taking taylor expansion of 4.0 in t 9.860 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 9.860 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.860 * [taylor]: Taking taylor expansion of t in t 9.860 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 9.860 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 9.861 * [taylor]: Taking taylor expansion of 1.0 in t 9.861 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.861 * [taylor]: Taking taylor expansion of t in t 9.876 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 9.876 * [approximate]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in (t) around 0 9.876 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 9.876 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 9.876 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 9.876 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 9.876 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 9.876 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 9.876 * [taylor]: Taking taylor expansion of 1 in t 9.876 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 9.876 * [taylor]: Taking taylor expansion of 4.0 in t 9.876 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 9.876 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.876 * [taylor]: Taking taylor expansion of t in t 9.876 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 9.876 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 9.876 * [taylor]: Taking taylor expansion of t in t 9.876 * [taylor]: Taking taylor expansion of 1.0 in t 9.885 * [taylor]: Taking taylor expansion of 1 in t 9.885 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 9.885 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 9.885 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 9.885 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 9.885 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 9.885 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 9.885 * [taylor]: Taking taylor expansion of 1 in t 9.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 9.885 * [taylor]: Taking taylor expansion of 4.0 in t 9.886 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 9.886 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.886 * [taylor]: Taking taylor expansion of t in t 9.886 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 9.886 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 9.886 * [taylor]: Taking taylor expansion of t in t 9.886 * [taylor]: Taking taylor expansion of 1.0 in t 9.895 * [taylor]: Taking taylor expansion of 1 in t 9.959 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in (t) around 0 9.959 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 9.959 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 9.959 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 9.959 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 9.959 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 9.959 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 9.959 * [taylor]: Taking taylor expansion of 1 in t 9.959 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 9.959 * [taylor]: Taking taylor expansion of 4.0 in t 9.959 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 9.959 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.959 * [taylor]: Taking taylor expansion of t in t 9.960 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 9.960 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 9.960 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.960 * [taylor]: Taking taylor expansion of t in t 9.960 * [taylor]: Taking taylor expansion of 1.0 in t 9.962 * [taylor]: Taking taylor expansion of 1 in t 9.962 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 9.962 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 9.962 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 9.962 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 9.962 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 9.962 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 9.962 * [taylor]: Taking taylor expansion of 1 in t 9.962 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 9.962 * [taylor]: Taking taylor expansion of 4.0 in t 9.962 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 9.962 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.962 * [taylor]: Taking taylor expansion of t in t 9.962 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 9.962 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 9.963 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.963 * [taylor]: Taking taylor expansion of t in t 9.963 * [taylor]: Taking taylor expansion of 1.0 in t 9.965 * [taylor]: Taking taylor expansion of 1 in t 10.013 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in (t) around 0 10.013 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.013 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 10.013 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.013 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.013 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 10.013 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.013 * [taylor]: Taking taylor expansion of 1 in t 10.013 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.013 * [taylor]: Taking taylor expansion of 4.0 in t 10.013 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.013 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.013 * [taylor]: Taking taylor expansion of t in t 10.013 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.013 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.013 * [taylor]: Taking taylor expansion of 1.0 in t 10.013 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.013 * [taylor]: Taking taylor expansion of t in t 10.021 * [taylor]: Taking taylor expansion of 1 in t 10.021 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.021 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 10.021 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.021 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.021 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 10.021 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.021 * [taylor]: Taking taylor expansion of 1 in t 10.021 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.021 * [taylor]: Taking taylor expansion of 4.0 in t 10.022 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.022 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.022 * [taylor]: Taking taylor expansion of t in t 10.022 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.022 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.022 * [taylor]: Taking taylor expansion of 1.0 in t 10.022 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.022 * [taylor]: Taking taylor expansion of t in t 10.024 * [taylor]: Taking taylor expansion of 1 in t 10.071 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 10.071 * [approximate]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in (t) around 0 10.071 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 10.071 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 10.071 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 10.071 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.071 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 10.071 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.071 * [taylor]: Taking taylor expansion of 1 in t 10.071 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 10.071 * [taylor]: Taking taylor expansion of 4.0 in t 10.071 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 10.071 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.071 * [taylor]: Taking taylor expansion of t in t 10.071 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 10.071 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 10.071 * [taylor]: Taking taylor expansion of t in t 10.071 * [taylor]: Taking taylor expansion of 1.0 in t 10.080 * [taylor]: Taking taylor expansion of 1 in t 10.080 * [taylor]: Taking taylor expansion of (expm1 (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 10.080 * [taylor]: Rewrote expression to (- (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 1) 10.080 * [taylor]: Taking taylor expansion of (exp (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) in t 10.080 * [taylor]: Taking taylor expansion of (log1p (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.080 * [taylor]: Rewrote expression to (log (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))))) 10.080 * [taylor]: Taking taylor expansion of (+ 1 (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.080 * [taylor]: Taking taylor expansion of 1 in t 10.080 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 10.081 * [taylor]: Taking taylor expansion of 4.0 in t 10.081 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 10.081 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.081 * [taylor]: Taking taylor expansion of t in t 10.081 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 10.081 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 10.081 * [taylor]: Taking taylor expansion of t in t 10.081 * [taylor]: Taking taylor expansion of 1.0 in t 10.090 * [taylor]: Taking taylor expansion of 1 in t 10.155 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in (t) around 0 10.155 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 10.155 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 10.155 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 10.155 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.155 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 10.156 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.156 * [taylor]: Taking taylor expansion of 1 in t 10.156 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 10.156 * [taylor]: Taking taylor expansion of 4.0 in t 10.156 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 10.156 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.156 * [taylor]: Taking taylor expansion of t in t 10.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 10.156 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 10.156 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.156 * [taylor]: Taking taylor expansion of t in t 10.156 * [taylor]: Taking taylor expansion of 1.0 in t 10.158 * [taylor]: Taking taylor expansion of 1 in t 10.158 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 10.158 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 1) 10.158 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) in t 10.158 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.158 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))))) 10.158 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.159 * [taylor]: Taking taylor expansion of 1 in t 10.159 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 10.159 * [taylor]: Taking taylor expansion of 4.0 in t 10.159 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 10.159 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.159 * [taylor]: Taking taylor expansion of t in t 10.159 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 10.159 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 10.159 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.159 * [taylor]: Taking taylor expansion of t in t 10.159 * [taylor]: Taking taylor expansion of 1.0 in t 10.161 * [taylor]: Taking taylor expansion of 1 in t 10.215 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in (t) around 0 10.215 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.215 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 10.215 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.215 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.215 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 10.215 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.215 * [taylor]: Taking taylor expansion of 1 in t 10.215 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.215 * [taylor]: Taking taylor expansion of 4.0 in t 10.215 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.215 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.215 * [taylor]: Taking taylor expansion of t in t 10.215 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.215 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.215 * [taylor]: Taking taylor expansion of 1.0 in t 10.215 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.215 * [taylor]: Taking taylor expansion of t in t 10.218 * [taylor]: Taking taylor expansion of 1 in t 10.218 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.218 * [taylor]: Rewrote expression to (- (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 1) 10.218 * [taylor]: Taking taylor expansion of (exp (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) in t 10.218 * [taylor]: Taking taylor expansion of (log1p (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.218 * [taylor]: Rewrote expression to (log (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))))) 10.218 * [taylor]: Taking taylor expansion of (+ 1 (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.218 * [taylor]: Taking taylor expansion of 1 in t 10.218 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.218 * [taylor]: Taking taylor expansion of 4.0 in t 10.218 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.218 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.218 * [taylor]: Taking taylor expansion of t in t 10.218 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.218 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.218 * [taylor]: Taking taylor expansion of 1.0 in t 10.218 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.218 * [taylor]: Taking taylor expansion of t in t 10.221 * [taylor]: Taking taylor expansion of 1 in t 10.274 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 10.274 * [approximate]: Taking taylor expansion of (exp (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in (t) around 0 10.274 * [taylor]: Taking taylor expansion of (exp (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.274 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 10.274 * [taylor]: Taking taylor expansion of 4.0 in t 10.274 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 10.274 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.274 * [taylor]: Taking taylor expansion of t in t 10.274 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 10.274 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 10.274 * [taylor]: Taking taylor expansion of t in t 10.274 * [taylor]: Taking taylor expansion of 1.0 in t 10.275 * [taylor]: Taking taylor expansion of (exp (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))) in t 10.276 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t 10.276 * [taylor]: Taking taylor expansion of 4.0 in t 10.276 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 10.276 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.276 * [taylor]: Taking taylor expansion of t in t 10.276 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 10.276 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 10.276 * [taylor]: Taking taylor expansion of t in t 10.276 * [taylor]: Taking taylor expansion of 1.0 in t 10.291 * [approximate]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in (t) around 0 10.291 * [taylor]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.291 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 10.291 * [taylor]: Taking taylor expansion of 4.0 in t 10.291 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 10.291 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.291 * [taylor]: Taking taylor expansion of t in t 10.291 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 10.291 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 10.292 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.292 * [taylor]: Taking taylor expansion of t in t 10.292 * [taylor]: Taking taylor expansion of 1.0 in t 10.293 * [taylor]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t 10.293 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 10.293 * [taylor]: Taking taylor expansion of 4.0 in t 10.293 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 10.293 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.293 * [taylor]: Taking taylor expansion of t in t 10.293 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 10.293 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 10.293 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.293 * [taylor]: Taking taylor expansion of t in t 10.294 * [taylor]: Taking taylor expansion of 1.0 in t 10.318 * [approximate]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in (t) around 0 10.318 * [taylor]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.318 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.318 * [taylor]: Taking taylor expansion of 4.0 in t 10.318 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.318 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.318 * [taylor]: Taking taylor expansion of t in t 10.318 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.318 * [taylor]: Taking taylor expansion of 1.0 in t 10.318 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.318 * [taylor]: Taking taylor expansion of t in t 10.320 * [taylor]: Taking taylor expansion of (exp (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t 10.320 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 10.320 * [taylor]: Taking taylor expansion of 4.0 in t 10.320 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 10.320 * [taylor]: Taking taylor expansion of (pow t 2) in t 10.320 * [taylor]: Taking taylor expansion of t in t 10.320 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 10.320 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 10.320 * [taylor]: Taking taylor expansion of 1.0 in t 10.320 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.320 * [taylor]: Taking taylor expansion of t in t 10.351 * * * [progress]: simplifying candidates 10.352 * [simplify]: Simplifying using # : (expm1 (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (* (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (log (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log 1) (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log (exp (/ (* 2.0 t) (+ 1.0 t)))) (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log (exp (/ (* 2.0 t) (+ 1.0 t)))) (log (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (* (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (expm1 (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (log1p (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (log (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (exp (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (* (cbrt (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (cbrt (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))))) (cbrt (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (* (* (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (sqrt (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (sqrt (expm1 (log1p (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))) (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log1p (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (exp (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (cbrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (* (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (expm1 (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (expm1 (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log1p (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (exp (/ (* 2.0 t) (+ 1.0 t))) (log (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (exp (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (* (* (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 18.400000000000002 (/ 1 (pow t 2))) 4.0) (+ (* 8.0 (/ 1 t)) (* 160.0 (/ 1 (* (pow t 2) (pow 5.0 2)))))) (- (+ (* 4.0 (pow t 2)) 1) (* 8.0 (pow t 3))) (- (+ (exp 4.0) (* 44.0 (/ (exp 4.0) (pow t 2)))) (* 8.0 (/ (exp 4.0) t))) (- (+ (exp 4.0) (* 44.0 (/ (exp 4.0) (pow t 2)))) (* 8.0 (/ (exp 4.0) t))) 10.355 * * [simplify]: iteration 0 : 97 enodes (cost 1302 ) 10.370 * * [simplify]: iteration 1 : 186 enodes (cost 1178 ) 10.407 * * [simplify]: iteration 2 : 485 enodes (cost 969 ) 10.583 * * [simplify]: iteration 3 : 1523 enodes (cost 936 ) 11.283 * * [simplify]: iteration done : 5000 enodes (cost 936 ) 11.284 * [simplify]: Simplified to: (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))) (log (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (log (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) 0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (exp (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 2 (log (/ (* 2.0 t) (+ 1.0 t)))) (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3) (fabs (/ (* 2.0 t) (+ 1.0 t))) (fabs (/ (* 2.0 t) (+ 1.0 t))) (expm1 (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log1p (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (exp (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (exp (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (pow (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 3) (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (fma 12.0 (pow t 4) (* (pow t 2) (- 4.0 (* 8.0 t)))) (- (+ (/ 12.0 (pow t 2)) 4.0) (/ 8.0 t)) (- (+ (/ 12.0 (pow t 2)) 4.0) (/ 8.0 t)) (fma 12.0 (pow t 4) (* (pow t 2) (- 4.0 (* 8.0 t)))) (+ (/ 18.400000000000002 (pow t 2)) (- (- 4.0 (/ 8.0 t)) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (+ (/ 18.400000000000002 (pow t 2)) (- (- 4.0 (/ 8.0 t)) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (fma 12.0 (pow t 4) (* (pow t 2) (- 4.0 (* 8.0 t)))) (+ (/ 18.400000000000002 (pow t 2)) (- (- 4.0 (/ 8.0 t)) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (+ (/ 18.400000000000002 (pow t 2)) (- (- 4.0 (/ 8.0 t)) (/ 160.0 (* (pow t 2) (pow 5.0 2))))) (+ 1 (* (pow t 2) (- 4.0 (* 8.0 t)))) (+ (exp 4.0) (* (/ (exp 4.0) t) (- (/ 44.0 t) 8.0))) (+ (exp 4.0) (* (/ (exp 4.0) t) (- (/ 44.0 t) 8.0))) 11.284 * * * [progress]: adding candidates to table 11.486 * [progress]: [Phase 3 of 3] Extracting. 11.486 * * [regime]: Finding splitpoints for: (# #) 11.487 * * * [regime-changes]: Trying 3 branch expressions: ((/ (* 2.0 t) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) t) 11.487 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (# #) 11.501 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (# #) 11.517 * * * * [regimes]: Trying to branch on t from (# #) 11.531 * * * [regime]: Found split indices: #