6.694 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * [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.100 * * [simplify]: iteration 0 : 5007 enodes (cost 35 ) 0.100 * [simplify]: Simplified to: (/ (+ 1.0 (* 2.0 (* 2.0 (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))))) (+ 2.0 (* 2.0 (* 2.0 (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))))))) 0.104 * * [progress]: iteration 1 / 4 0.104 * * * [progress]: picking best candidate 0.108 * * * * [pick]: Picked # 0.108 * * * [progress]: localizing error 0.116 * * * [progress]: generating rewritten candidates 0.116 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.126 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.132 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.147 * * * [progress]: generating series expansions 0.147 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.148 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.148 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.148 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of 1.0 in t 0.149 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.149 * [taylor]: Taking taylor expansion of 2.0 in t 0.149 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of 1.0 in t 0.149 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.149 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.149 * [taylor]: Taking taylor expansion of -2.0 in t 0.149 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.149 * [taylor]: Taking taylor expansion of 1.0 in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.150 * [taylor]: Taking taylor expansion of t in t 0.150 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.150 * [taylor]: Taking taylor expansion of -2.0 in t 0.150 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.150 * [taylor]: Taking taylor expansion of t in t 0.150 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.150 * [taylor]: Taking taylor expansion of 1.0 in t 0.150 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.150 * [taylor]: Taking taylor expansion of t in t 0.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.151 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.151 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.151 * [taylor]: Taking taylor expansion of 2.0 in t 0.151 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.151 * [taylor]: Taking taylor expansion of t in t 0.151 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.151 * [taylor]: Taking taylor expansion of t in t 0.151 * [taylor]: Taking taylor expansion of 1.0 in t 0.151 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.151 * [taylor]: Taking taylor expansion of 2.0 in t 0.151 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.151 * [taylor]: Taking taylor expansion of t in t 0.151 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.151 * [taylor]: Taking taylor expansion of t in t 0.151 * [taylor]: Taking taylor expansion of 1.0 in t 0.151 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.151 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.152 * [taylor]: Taking taylor expansion of 2.0 in t 0.152 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.152 * [taylor]: Taking taylor expansion of t in t 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.152 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.152 * [taylor]: Taking taylor expansion of t in t 0.152 * [taylor]: Taking taylor expansion of 1.0 in t 0.152 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.152 * [taylor]: Taking taylor expansion of 2.0 in t 0.152 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.152 * [taylor]: Taking taylor expansion of t in t 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.152 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.152 * [taylor]: Taking taylor expansion of t in t 0.152 * [taylor]: Taking taylor expansion of 1.0 in t 0.152 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.152 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.152 * [taylor]: Taking taylor expansion of -2.0 in t 0.152 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.153 * [taylor]: Taking taylor expansion of t in t 0.153 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.153 * [taylor]: Taking taylor expansion of 1.0 in t 0.153 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.153 * [taylor]: Taking taylor expansion of t in t 0.153 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.153 * [taylor]: Taking taylor expansion of -2.0 in t 0.153 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.153 * [taylor]: Taking taylor expansion of t in t 0.153 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.153 * [taylor]: Taking taylor expansion of 1.0 in t 0.153 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.153 * [taylor]: Taking taylor expansion of t in t 0.153 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.153 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.153 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.153 * [taylor]: Taking taylor expansion of 2.0 in t 0.154 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of 1.0 in t 0.154 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.154 * [taylor]: Taking taylor expansion of 2.0 in t 0.154 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of 1.0 in t 0.154 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.154 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.154 * [taylor]: Taking taylor expansion of 2.0 in t 0.154 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.154 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of 1.0 in t 0.154 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.154 * [taylor]: Taking taylor expansion of 2.0 in t 0.154 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.155 * [taylor]: Taking taylor expansion of t in t 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.155 * [taylor]: Taking taylor expansion of t in t 0.155 * [taylor]: Taking taylor expansion of 1.0 in t 0.155 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.155 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.155 * [taylor]: Taking taylor expansion of -2.0 in t 0.155 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.155 * [taylor]: Taking taylor expansion of t in t 0.155 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.155 * [taylor]: Taking taylor expansion of 1.0 in t 0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.155 * [taylor]: Taking taylor expansion of t in t 0.155 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.155 * [taylor]: Taking taylor expansion of -2.0 in t 0.155 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.155 * [taylor]: Taking taylor expansion of t in t 0.156 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.156 * [taylor]: Taking taylor expansion of 1.0 in t 0.156 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.156 * [taylor]: Taking taylor expansion of t in t 0.156 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.156 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.156 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.156 * [taylor]: Taking taylor expansion of 2.0 in t 0.156 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.156 * [taylor]: Taking taylor expansion of t in t 0.156 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.156 * [taylor]: Taking taylor expansion of t in t 0.156 * [taylor]: Taking taylor expansion of 1.0 in t 0.156 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.156 * [taylor]: Taking taylor expansion of 2.0 in t 0.156 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.156 * [taylor]: Taking taylor expansion of t in t 0.156 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.156 * [taylor]: Taking taylor expansion of t in t 0.156 * [taylor]: Taking taylor expansion of 1.0 in t 0.157 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 0.157 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.157 * [taylor]: Taking taylor expansion of 2.0 in t 0.157 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.157 * [taylor]: Taking taylor expansion of t in t 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.157 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.157 * [taylor]: Taking taylor expansion of t in t 0.157 * [taylor]: Taking taylor expansion of 1.0 in t 0.157 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 0.157 * [taylor]: Taking taylor expansion of 2.0 in t 0.157 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 0.157 * [taylor]: Taking taylor expansion of t in t 0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.157 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.157 * [taylor]: Taking taylor expansion of t in t 0.157 * [taylor]: Taking taylor expansion of 1.0 in t 0.158 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.158 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.158 * [taylor]: Taking taylor expansion of -2.0 in t 0.158 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.158 * [taylor]: Taking taylor expansion of 1.0 in t 0.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.158 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.158 * [taylor]: Taking taylor expansion of -2.0 in t 0.158 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.158 * [taylor]: Taking taylor expansion of 1.0 in t 0.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.159 * * * [progress]: simplifying candidates 0.160 * [simplify]: Simplifying using # : (- (+ (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))) (neg (* 2.0 t)) (neg (+ 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))) (- (+ (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))) (neg (* 2.0 t)) (neg (+ 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))) (- (+ (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))) (neg (* 2.0 t)) (neg (+ 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))) (- (+ (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))) (neg (* 2.0 t)) (neg (+ 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))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.209 * * [simplify]: iteration 0 : 5818 enodes (cost 984 ) 0.213 * [simplify]: Simplified to: (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (pow (exp (/ 2.0 (+ t 1.0))) t) (pow (* t (/ 2.0 (+ t 1.0))) 3) (pow (* t (/ 2.0 (+ t 1.0))) 3) (* (cbrt (* t (/ 2.0 (+ t 1.0)))) (cbrt (* t (/ 2.0 (+ t 1.0))))) (cbrt (* t (/ 2.0 (+ t 1.0)))) (pow (* t (/ 2.0 (+ t 1.0))) 3) (sqrt (* t (/ 2.0 (+ t 1.0)))) (sqrt (* t (/ 2.0 (+ t 1.0)))) (* 2.0 (neg t)) (- (neg t) 1.0) (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (/ t (cbrt (+ t 1.0))) (/ 2.0 (sqrt (+ t 1.0))) (/ t (sqrt (+ t 1.0))) 2.0 (/ t (+ t 1.0)) 2.0 (/ t (+ t 1.0)) (/ 1 (+ t 1.0)) (/ (+ t 1.0) (* 2.0 t)) (* t (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))) (* t (/ 2.0 (sqrt (+ t 1.0)))) (* 2.0 t) (* 2.0 t) (/ (+ t 1.0) t) (* t (/ 2.0 (+ (pow t 3) (pow 1.0 3)))) (/ 2.0 (- (/ 1.0 (/ t 1.0)) t)) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (pow (exp (/ 2.0 (+ t 1.0))) t) (pow (* t (/ 2.0 (+ t 1.0))) 3) (pow (* t (/ 2.0 (+ t 1.0))) 3) (* (cbrt (* t (/ 2.0 (+ t 1.0)))) (cbrt (* t (/ 2.0 (+ t 1.0))))) (cbrt (* t (/ 2.0 (+ t 1.0)))) (pow (* t (/ 2.0 (+ t 1.0))) 3) (sqrt (* t (/ 2.0 (+ t 1.0)))) (sqrt (* t (/ 2.0 (+ t 1.0)))) (* 2.0 (neg t)) (- (neg t) 1.0) (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (/ t (cbrt (+ t 1.0))) (/ 2.0 (sqrt (+ t 1.0))) (/ t (sqrt (+ t 1.0))) 2.0 (/ t (+ t 1.0)) 2.0 (/ t (+ t 1.0)) (/ 1 (+ t 1.0)) (/ (+ t 1.0) (* 2.0 t)) (* t (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))) (* t (/ 2.0 (sqrt (+ t 1.0)))) (* 2.0 t) (* 2.0 t) (/ (+ t 1.0) t) (* t (/ 2.0 (+ (pow t 3) (pow 1.0 3)))) (/ 2.0 (- (/ 1.0 (/ t 1.0)) t)) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (pow (exp (/ 2.0 (+ t 1.0))) t) (pow (* t (/ 2.0 (+ t 1.0))) 3) (pow (* t (/ 2.0 (+ t 1.0))) 3) (* (cbrt (* t (/ 2.0 (+ t 1.0)))) (cbrt (* t (/ 2.0 (+ t 1.0))))) (cbrt (* t (/ 2.0 (+ t 1.0)))) (pow (* t (/ 2.0 (+ t 1.0))) 3) (sqrt (* t (/ 2.0 (+ t 1.0)))) (sqrt (* t (/ 2.0 (+ t 1.0)))) (* 2.0 (neg t)) (- (neg t) 1.0) (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (/ t (cbrt (+ t 1.0))) (/ 2.0 (sqrt (+ t 1.0))) (/ t (sqrt (+ t 1.0))) 2.0 (/ t (+ t 1.0)) 2.0 (/ t (+ t 1.0)) (/ 1 (+ t 1.0)) (/ (+ t 1.0) (* 2.0 t)) (* t (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))) (* t (/ 2.0 (sqrt (+ t 1.0)))) (* 2.0 t) (* 2.0 t) (/ (+ t 1.0) t) (* t (/ 2.0 (+ (pow t 3) (pow 1.0 3)))) (/ 2.0 (- (/ 1.0 (/ t 1.0)) t)) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (log (* t (/ 2.0 (+ t 1.0)))) (pow (exp (/ 2.0 (+ t 1.0))) t) (pow (* t (/ 2.0 (+ t 1.0))) 3) (pow (* t (/ 2.0 (+ t 1.0))) 3) (* (cbrt (* t (/ 2.0 (+ t 1.0)))) (cbrt (* t (/ 2.0 (+ t 1.0))))) (cbrt (* t (/ 2.0 (+ t 1.0)))) (pow (* t (/ 2.0 (+ t 1.0))) 3) (sqrt (* t (/ 2.0 (+ t 1.0)))) (sqrt (* t (/ 2.0 (+ t 1.0)))) (* 2.0 (neg t)) (- (neg t) 1.0) (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0)))) (/ t (cbrt (+ t 1.0))) (/ 2.0 (sqrt (+ t 1.0))) (/ t (sqrt (+ t 1.0))) 2.0 (/ t (+ t 1.0)) 2.0 (/ t (+ t 1.0)) (/ 1 (+ t 1.0)) (/ (+ t 1.0) (* 2.0 t)) (* t (/ 2.0 (* (cbrt (+ t 1.0)) (cbrt (+ t 1.0))))) (* t (/ 2.0 (sqrt (+ t 1.0)))) (* 2.0 t) (* 2.0 t) (/ (+ t 1.0) t) (* t (/ 2.0 (+ (pow t 3) (pow 1.0 3)))) (/ 2.0 (- (/ 1.0 (/ t 1.0)) t)) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) 0.213 * * * [progress]: adding candidates to table 0.377 * * [progress]: iteration 2 / 4 0.377 * * * [progress]: picking best candidate 0.380 * * * * [pick]: Picked # 0.380 * * * [progress]: localizing error 0.391 * * * [progress]: generating rewritten candidates 0.391 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2) 0.402 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2) 0.411 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 0.424 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 0.443 * * * [progress]: generating series expansions 0.443 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2) 0.443 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.443 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.443 * [taylor]: Taking taylor expansion of t in t 0.443 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.443 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.443 * [taylor]: Taking taylor expansion of t in t 0.443 * [taylor]: Taking taylor expansion of 1.0 in t 0.443 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.443 * [taylor]: Taking taylor expansion of t in t 0.443 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.443 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.443 * [taylor]: Taking taylor expansion of t in t 0.443 * [taylor]: Taking taylor expansion of 1.0 in t 0.444 * [approximate]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.444 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.444 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.444 * [taylor]: Taking taylor expansion of t in t 0.444 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.444 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.444 * [taylor]: Taking taylor expansion of t in t 0.444 * [taylor]: Taking taylor expansion of 1.0 in t 0.444 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.444 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.444 * [taylor]: Taking taylor expansion of t in t 0.444 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.444 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.444 * [taylor]: Taking taylor expansion of t in t 0.444 * [taylor]: Taking taylor expansion of 1.0 in t 0.445 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.445 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.445 * [taylor]: Taking taylor expansion of -1 in t 0.445 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.445 * [taylor]: Taking taylor expansion of t in t 0.445 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.445 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.445 * [taylor]: Taking taylor expansion of 1.0 in t 0.445 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.445 * [taylor]: Taking taylor expansion of t in t 0.445 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.445 * [taylor]: Taking taylor expansion of -1 in t 0.445 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.445 * [taylor]: Taking taylor expansion of t in t 0.445 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.445 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.445 * [taylor]: Taking taylor expansion of 1.0 in t 0.445 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.445 * [taylor]: Taking taylor expansion of t in t 0.446 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2) 0.446 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.446 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.446 * [taylor]: Taking taylor expansion of t in t 0.446 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.446 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.446 * [taylor]: Taking taylor expansion of t in t 0.446 * [taylor]: Taking taylor expansion of 1.0 in t 0.446 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.446 * [taylor]: Taking taylor expansion of t in t 0.446 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.446 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [taylor]: Taking taylor expansion of 1.0 in t 0.447 * [approximate]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.447 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.447 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.447 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [taylor]: Taking taylor expansion of 1.0 in t 0.447 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.447 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.447 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [taylor]: Taking taylor expansion of 1.0 in t 0.448 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.448 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.448 * [taylor]: Taking taylor expansion of -1 in t 0.448 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.448 * [taylor]: Taking taylor expansion of t in t 0.448 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.448 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.448 * [taylor]: Taking taylor expansion of 1.0 in t 0.448 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.448 * [taylor]: Taking taylor expansion of t in t 0.449 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.449 * [taylor]: Taking taylor expansion of -1 in t 0.449 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.449 * [taylor]: Taking taylor expansion of t in t 0.449 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.449 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.449 * [taylor]: Taking taylor expansion of 1.0 in t 0.449 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.449 * [taylor]: Taking taylor expansion of t in t 0.449 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 0.450 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in (t) around 0 0.450 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.450 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.450 * [taylor]: Taking taylor expansion of t in t 0.450 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.450 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.450 * [taylor]: Taking taylor expansion of t in t 0.450 * [taylor]: Taking taylor expansion of 1.0 in t 0.450 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.450 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.450 * [taylor]: Taking taylor expansion of t in t 0.450 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.450 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.450 * [taylor]: Taking taylor expansion of t in t 0.450 * [taylor]: Taking taylor expansion of 1.0 in t 0.450 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.450 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.450 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.451 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.451 * [taylor]: Taking taylor expansion of t in t 0.451 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.451 * [taylor]: Taking taylor expansion of t in t 0.451 * [taylor]: Taking taylor expansion of 1.0 in t 0.451 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.451 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.451 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.451 * [taylor]: Taking taylor expansion of t in t 0.451 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.451 * [taylor]: Taking taylor expansion of t in t 0.451 * [taylor]: Taking taylor expansion of 1.0 in t 0.451 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.451 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.452 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.452 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.452 * [taylor]: Taking taylor expansion of t in t 0.452 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.452 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.452 * [taylor]: Taking taylor expansion of 1.0 in t 0.452 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.452 * [taylor]: Taking taylor expansion of t in t 0.452 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.452 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.452 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.452 * [taylor]: Taking taylor expansion of t in t 0.452 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.452 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.452 * [taylor]: Taking taylor expansion of 1.0 in t 0.452 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.452 * [taylor]: Taking taylor expansion of t in t 0.452 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 0.453 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in (t) around 0 0.453 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.453 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.453 * [taylor]: Taking taylor expansion of t in t 0.453 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.453 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.453 * [taylor]: Taking taylor expansion of t in t 0.453 * [taylor]: Taking taylor expansion of 1.0 in t 0.453 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.453 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.453 * [taylor]: Taking taylor expansion of t in t 0.453 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.453 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.453 * [taylor]: Taking taylor expansion of t in t 0.453 * [taylor]: Taking taylor expansion of 1.0 in t 0.453 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.453 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.454 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.454 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.454 * [taylor]: Taking taylor expansion of t in t 0.454 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.454 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.454 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.454 * [taylor]: Taking taylor expansion of t in t 0.454 * [taylor]: Taking taylor expansion of 1.0 in t 0.454 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t 0.454 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t 0.454 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.454 * [taylor]: Taking taylor expansion of t in t 0.454 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.454 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.454 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.454 * [taylor]: Taking taylor expansion of t in t 0.454 * [taylor]: Taking taylor expansion of 1.0 in t 0.454 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.454 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.455 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.455 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.455 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.455 * [taylor]: Taking taylor expansion of 1.0 in t 0.455 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.455 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.455 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.455 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.455 * [taylor]: Taking taylor expansion of 1.0 in t 0.455 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * * * [progress]: simplifying candidates 0.457 * [simplify]: Simplifying using # : (- (log t) (+ (log (+ 1.0 t)) (log (+ 1.0 t)))) (- (log t) (log (* (+ 1.0 t) (+ 1.0 t)))) (log (/ t (* (+ 1.0 t) (+ 1.0 t)))) (exp (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (+ 1.0 t) (+ 1.0 t)))) (* (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* (* (/ t (* (+ 1.0 t) (+ 1.0 t))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (neg t) (neg (* (+ 1.0 t) (+ 1.0 t))) (/ (* (cbrt t) (cbrt t)) (+ 1.0 t)) (/ (cbrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ t (+ 1.0 t)) (/ 1 (* (+ 1.0 t) (+ 1.0 t))) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (+ 1.0 t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (cbrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (sqrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (- (* 1.0 1.0) (* t t)))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (- (* 1.0 1.0) (* t t)) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ 1.0 t) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ 1.0 t) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ 1.0 t))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ 1.0 t))) (- (log t) (+ (log (+ 1.0 t)) (log (+ 1.0 t)))) (- (log t) (log (* (+ 1.0 t) (+ 1.0 t)))) (log (/ t (* (+ 1.0 t) (+ 1.0 t)))) (exp (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (+ 1.0 t) (+ 1.0 t)))) (* (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* (* (/ t (* (+ 1.0 t) (+ 1.0 t))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (neg t) (neg (* (+ 1.0 t) (+ 1.0 t))) (/ (* (cbrt t) (cbrt t)) (+ 1.0 t)) (/ (cbrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ t (+ 1.0 t)) (/ 1 (* (+ 1.0 t) (+ 1.0 t))) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (+ 1.0 t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (cbrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (sqrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (- (* 1.0 1.0) (* t t)))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (- (* 1.0 1.0) (* t t)) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ 1.0 t) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ 1.0 t) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ 1.0 t))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ 1.0 t))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (+ (log t) (- (log t) (+ (log (+ 1.0 t)) (log (+ 1.0 t))))) (+ (log t) (- (log t) (log (* (+ 1.0 t) (+ 1.0 t))))) (+ (log t) (log (/ t (* (+ 1.0 t) (+ 1.0 t))))) (log (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (exp (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t t) t) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))) (* (* (* t t) t) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t t) t) (* (* (/ t (* (+ 1.0 t) (+ 1.0 t))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))))) (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (sqrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (sqrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (/ (sqrt t) (+ 1.0 t))) (* (sqrt t) (/ (sqrt t) (+ 1.0 t))) (* t (* (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))))) (* t (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* t (/ (* (cbrt t) (cbrt t)) (+ 1.0 t))) (* t (/ (sqrt t) (+ 1.0 t))) (* t (/ 1 (+ 1.0 t))) (* t 1) (* t t) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ 1.0 t) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (+ 1.0 t) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ 1.0 t)))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (+ 1.0 t)))) (* (cbrt t) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* (sqrt t) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t t) (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (+ (log t) (- (log t) (+ (log (+ 1.0 t)) (log (+ 1.0 t))))) (+ (log t) (- (log t) (log (* (+ 1.0 t) (+ 1.0 t))))) (+ (log t) (log (/ t (* (+ 1.0 t) (+ 1.0 t))))) (log (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (exp (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t t) t) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))) (* (* (* t t) t) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t t) t) (* (* (/ t (* (+ 1.0 t) (+ 1.0 t))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))))) (cbrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (* (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (sqrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (sqrt (* t (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* (sqrt t) (/ (sqrt t) (+ 1.0 t))) (* (sqrt t) (/ (sqrt t) (+ 1.0 t))) (* t (* (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))))) (* t (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (* t (/ (* (cbrt t) (cbrt t)) (+ 1.0 t))) (* t (/ (sqrt t) (+ 1.0 t))) (* t (/ 1 (+ 1.0 t))) (* t 1) (* t t) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ 1.0 t) (+ (pow 1.0 3) (pow t 3))))) (* t (/ t (* (+ 1.0 t) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ 1.0 t)))) (* t (/ t (* (- (* 1.0 1.0) (* t t)) (+ 1.0 t)))) (* (cbrt t) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* (sqrt t) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* t t) (- (+ (* 3.0 (pow t 3)) (* 1.0 t)) (* 2.0 (pow t 2))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (pow t 3)) (* 1.0 t)) (* 2.0 (pow t 2))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 1.0 (pow t 2)) (* 3.0 (pow t 4))) (* 2.0 (pow t 3))) (- (+ (* 3.0 (/ 1 (pow t 2))) 1) (* 2.0 (/ 1 t))) (- (+ (* 3.0 (/ 1 (pow t 2))) 1) (* 2.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) (* 3.0 (pow t 4))) (* 2.0 (pow t 3))) (- (+ (* 3.0 (/ 1 (pow t 2))) 1) (* 2.0 (/ 1 t))) (- (+ (* 3.0 (/ 1 (pow t 2))) 1) (* 2.0 (/ 1 t))) 0.512 * * [simplify]: iteration 0 : 4966 enodes (cost 1620 ) 0.513 * * [simplify]: iteration 1 : 4966 enodes (cost 1620 ) 0.522 * [simplify]: Simplified to: (+ (log t) (* (log (+ t 1.0)) -2)) (+ (log t) (* (log (+ t 1.0)) -2)) (+ (log t) (* (log (+ t 1.0)) -2)) (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ (pow t 3) (pow (+ t 1.0) 6)) (/ (pow t 3) (pow (+ t 1.0) 6)) (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (/ (pow t 3) (pow (+ t 1.0) 6)) (fabs (/ (sqrt t) (+ t 1.0))) (fabs (/ (sqrt t) (+ t 1.0))) (neg t) (* (+ t 1.0) (neg (+ t 1.0))) (* (/ (cbrt t) (+ t 1.0)) (cbrt t)) (/ (cbrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ 1 (+ t 1.0)) (/ t (+ t 1.0)) (/ 1 (* (+ t 1.0) (+ t 1.0))) (* (+ t 1.0) (/ (+ t 1.0) t)) (/ t (+ t 1.0)) (* (/ (+ t 1.0) (cbrt t)) (+ t 1.0)) (* (/ (+ t 1.0) (sqrt t)) (+ t 1.0)) (* (+ t 1.0) (/ (+ t 1.0) t)) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- 1.0 t) (- (* 1.0 1.0) (* t t))))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t)))) (+ (log t) (* (log (+ t 1.0)) -2)) (+ (log t) (* (log (+ t 1.0)) -2)) (+ (log t) (* (log (+ t 1.0)) -2)) (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ (pow t 3) (pow (+ t 1.0) 6)) (/ (pow t 3) (pow (+ t 1.0) 6)) (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (/ (pow t 3) (pow (+ t 1.0) 6)) (fabs (/ (sqrt t) (+ t 1.0))) (fabs (/ (sqrt t) (+ t 1.0))) (neg t) (* (+ t 1.0) (neg (+ t 1.0))) (* (/ (cbrt t) (+ t 1.0)) (cbrt t)) (/ (cbrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ 1 (+ t 1.0)) (/ t (+ t 1.0)) (/ 1 (* (+ t 1.0) (+ t 1.0))) (* (+ t 1.0) (/ (+ t 1.0) t)) (/ t (+ t 1.0)) (* (/ (+ t 1.0) (cbrt t)) (+ t 1.0)) (* (/ (+ t 1.0) (sqrt t)) (+ t 1.0)) (* (+ t 1.0) (/ (+ t 1.0) t)) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- 1.0 t) (- (* 1.0 1.0) (* t t))))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t)))) (* t (/ t (* (+ t 1.0) (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t) (/ (pow t 6) (pow (+ t 1.0) 6)) (/ (pow t 6) (pow (+ t 1.0) 6)) (/ (pow t 6) (pow (+ t 1.0) 6)) (* (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0)))))) (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0))))) (/ (pow t 6) (pow (+ t 1.0) 6)) (fabs (/ t (+ t 1.0))) (fabs (/ t (+ t 1.0))) (* (fabs (/ (sqrt t) (+ t 1.0))) (sqrt t)) (* (fabs (/ (sqrt t) (+ t 1.0))) (sqrt t)) (/ t (+ t 1.0)) (/ t (+ t 1.0)) (* t (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))))) (* t (fabs (/ (sqrt t) (+ t 1.0)))) (* t (* (/ (cbrt t) (+ t 1.0)) (cbrt t))) (/ (pow t 3/2) (+ t 1.0)) (/ t (+ t 1.0)) t (* t t) (* t (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3)))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3)))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (- (* 1.0 1.0) (* t t)))))) (* t (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t))))) (* (/ t (* (+ t 1.0) (+ t 1.0))) (cbrt t)) (/ (/ (pow t 3/2) (+ t 1.0)) (+ t 1.0)) (* t (/ t (* (+ t 1.0) (+ t 1.0)))) (* t t) (* t (/ t (* (+ t 1.0) (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (* 2 (log (/ t (+ t 1.0)))) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t) (/ (pow t 6) (pow (+ t 1.0) 6)) (/ (pow t 6) (pow (+ t 1.0) 6)) (/ (pow t 6) (pow (+ t 1.0) 6)) (* (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0)))))) (cbrt (* t (/ t (* (+ t 1.0) (+ t 1.0))))) (/ (pow t 6) (pow (+ t 1.0) 6)) (fabs (/ t (+ t 1.0))) (fabs (/ t (+ t 1.0))) (* (fabs (/ (sqrt t) (+ t 1.0))) (sqrt t)) (* (fabs (/ (sqrt t) (+ t 1.0))) (sqrt t)) (/ t (+ t 1.0)) (/ t (+ t 1.0)) (* t (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))))) (* t (fabs (/ (sqrt t) (+ t 1.0)))) (* t (* (/ (cbrt t) (+ t 1.0)) (cbrt t))) (/ (pow t 3/2) (+ t 1.0)) (/ t (+ t 1.0)) t (* t t) (* t (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3)))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3)))))) (* t (/ t (* (+ t 1.0) (* (- 1.0 t) (- (* 1.0 1.0) (* t t)))))) (* t (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t))))) (* t (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3))))) (* t (/ t (* (+ t 1.0) (- (* 1.0 1.0) (* t t))))) (* (/ t (* (+ t 1.0) (+ t 1.0))) (cbrt t)) (/ (/ (pow t 3/2) (+ t 1.0)) (+ t 1.0)) (* t (/ t (* (+ t 1.0) (+ t 1.0)))) (* t t) (+ (* (pow t 3) 3.0) (* t (- 1.0 (* t 2.0)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (* (pow t 3) 3.0) (* t (- 1.0 (* t 2.0)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (* 3.0 (pow t 4)) (* t (* t (- 1.0 (* t 2.0))))) (+ 1 (- (/ 3.0 (* t t)) (/ 2.0 t))) (+ 1 (- (/ 3.0 (* t t)) (/ 2.0 t))) (+ (* 3.0 (pow t 4)) (* t (* t (- 1.0 (* t 2.0))))) (+ 1 (- (/ 3.0 (* t t)) (/ 2.0 t))) (+ 1 (- (/ 3.0 (* t t)) (/ 2.0 t))) 0.523 * * * [progress]: adding candidates to table 0.775 * * [progress]: iteration 3 / 4 0.775 * * * [progress]: picking best candidate 0.778 * * * * [pick]: Picked # 0.778 * * * [progress]: localizing error 0.798 * * * [progress]: generating rewritten candidates 0.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2) 0.807 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1) 0.816 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 0.824 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 0.832 * * * [progress]: generating series expansions 0.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2) 0.833 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.833 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.833 * [taylor]: Taking taylor expansion of t in t 0.833 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.833 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.833 * [taylor]: Taking taylor expansion of t in t 0.833 * [taylor]: Taking taylor expansion of 1.0 in t 0.833 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.833 * [taylor]: Taking taylor expansion of t in t 0.833 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.833 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.833 * [taylor]: Taking taylor expansion of t in t 0.833 * [taylor]: Taking taylor expansion of 1.0 in t 0.833 * [approximate]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.834 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.834 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.834 * [taylor]: Taking taylor expansion of t in t 0.834 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.834 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.834 * [taylor]: Taking taylor expansion of t in t 0.834 * [taylor]: Taking taylor expansion of 1.0 in t 0.834 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.834 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.834 * [taylor]: Taking taylor expansion of t in t 0.834 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.834 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.834 * [taylor]: Taking taylor expansion of t in t 0.834 * [taylor]: Taking taylor expansion of 1.0 in t 0.835 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.835 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.835 * [taylor]: Taking taylor expansion of -1 in t 0.835 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.835 * [taylor]: Taking taylor expansion of t in t 0.835 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.835 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.835 * [taylor]: Taking taylor expansion of 1.0 in t 0.835 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.835 * [taylor]: Taking taylor expansion of t in t 0.835 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.835 * [taylor]: Taking taylor expansion of -1 in t 0.835 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.835 * [taylor]: Taking taylor expansion of t in t 0.835 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.835 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.835 * [taylor]: Taking taylor expansion of 1.0 in t 0.835 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.835 * [taylor]: Taking taylor expansion of t in t 0.836 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1) 0.836 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.836 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.836 * [taylor]: Taking taylor expansion of t in t 0.836 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.836 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.836 * [taylor]: Taking taylor expansion of t in t 0.836 * [taylor]: Taking taylor expansion of 1.0 in t 0.836 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.836 * [taylor]: Taking taylor expansion of t in t 0.836 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.836 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.836 * [taylor]: Taking taylor expansion of t in t 0.836 * [taylor]: Taking taylor expansion of 1.0 in t 0.837 * [approximate]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0 0.837 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.837 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.837 * [taylor]: Taking taylor expansion of t in t 0.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.837 * [taylor]: Taking taylor expansion of t in t 0.837 * [taylor]: Taking taylor expansion of 1.0 in t 0.837 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.837 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.837 * [taylor]: Taking taylor expansion of t in t 0.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.837 * [taylor]: Taking taylor expansion of t in t 0.837 * [taylor]: Taking taylor expansion of 1.0 in t 0.838 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.838 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.838 * [taylor]: Taking taylor expansion of -1 in t 0.838 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.838 * [taylor]: Taking taylor expansion of t in t 0.838 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.838 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.838 * [taylor]: Taking taylor expansion of 1.0 in t 0.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.838 * [taylor]: Taking taylor expansion of t in t 0.838 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.838 * [taylor]: Taking taylor expansion of -1 in t 0.838 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.838 * [taylor]: Taking taylor expansion of t in t 0.838 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.838 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.838 * [taylor]: Taking taylor expansion of 1.0 in t 0.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.838 * [taylor]: Taking taylor expansion of t in t 0.839 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 0.839 * [approximate]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in (t) around 0 0.839 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.839 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.839 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.839 * [taylor]: Taking taylor expansion of t in t 0.839 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.839 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.839 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.840 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of 1.0 in t 0.840 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.840 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.840 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.840 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.840 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.840 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.840 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of 1.0 in t 0.842 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t)) in (t) around 0 0.842 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t)) in t 0.842 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))))) in t 0.842 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))))) in t 0.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.842 * [taylor]: Taking taylor expansion of t in t 0.842 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))) in t 0.842 * [taylor]: Taking taylor expansion of (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) in t 0.842 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.842 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.842 * [taylor]: Taking taylor expansion of t in t 0.842 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.842 * [taylor]: Taking taylor expansion of t in t 0.842 * [taylor]: Taking taylor expansion of 1.0 in t 0.842 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t)) in t 0.842 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))))) in t 0.842 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))))) in t 0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.843 * [taylor]: Taking taylor expansion of t in t 0.843 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))) in t 0.843 * [taylor]: Taking taylor expansion of (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) in t 0.843 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.843 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.843 * [taylor]: Taking taylor expansion of t in t 0.843 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.843 * [taylor]: Taking taylor expansion of t in t 0.843 * [taylor]: Taking taylor expansion of 1.0 in t 0.844 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in (t) around 0 0.844 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.844 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.844 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.844 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.844 * [taylor]: Taking taylor expansion of -1 in t 0.844 * [taylor]: Taking taylor expansion of t in t 0.844 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.844 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.844 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.844 * [taylor]: Taking taylor expansion of -1 in t 0.844 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.844 * [taylor]: Taking taylor expansion of t in t 0.844 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.844 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.844 * [taylor]: Taking taylor expansion of 1.0 in t 0.844 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.844 * [taylor]: Taking taylor expansion of t in t 0.844 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.844 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.844 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.844 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.845 * [taylor]: Taking taylor expansion of -1 in t 0.845 * [taylor]: Taking taylor expansion of t in t 0.845 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.845 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.845 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.845 * [taylor]: Taking taylor expansion of -1 in t 0.845 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.845 * [taylor]: Taking taylor expansion of t in t 0.845 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.845 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.845 * [taylor]: Taking taylor expansion of 1.0 in t 0.845 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.845 * [taylor]: Taking taylor expansion of t in t 0.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 0.846 * [approximate]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in (t) around 0 0.846 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 0.846 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.846 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.846 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.846 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.846 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.846 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of 1.0 in t 0.846 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 0.846 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.846 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.846 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.846 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.846 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.846 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.846 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of 1.0 in t 0.848 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t))) in (t) around 0 0.848 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t))) in t 0.848 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t)) in t 0.848 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))))) in t 0.848 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))))) in t 0.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.848 * [taylor]: Taking taylor expansion of t in t 0.848 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))) in t 0.848 * [taylor]: Taking taylor expansion of (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) in t 0.848 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.848 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.848 * [taylor]: Taking taylor expansion of t in t 0.848 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.848 * [taylor]: Taking taylor expansion of t in t 0.848 * [taylor]: Taking taylor expansion of 1.0 in t 0.849 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t))) in t 0.849 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) (/ 1 t)) in t 0.849 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))))) in t 0.849 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))))) in t 0.849 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.849 * [taylor]: Taking taylor expansion of t in t 0.849 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))))) in t 0.849 * [taylor]: Taking taylor expansion of (exp (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2)))) in t 0.849 * [taylor]: Taking taylor expansion of (/ 1 (* t (pow (+ (/ 1 t) 1.0) 2))) in t 0.849 * [taylor]: Taking taylor expansion of (* t (pow (+ (/ 1 t) 1.0) 2)) in t 0.849 * [taylor]: Taking taylor expansion of t in t 0.849 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.849 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.849 * [taylor]: Taking taylor expansion of t in t 0.849 * [taylor]: Taking taylor expansion of 1.0 in t 0.859 * [approximate]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in (t) around 0 0.860 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 0.860 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.860 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.860 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.860 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.860 * [taylor]: Taking taylor expansion of -1 in t 0.860 * [taylor]: Taking taylor expansion of t in t 0.860 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.860 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.860 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.860 * [taylor]: Taking taylor expansion of -1 in t 0.860 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.860 * [taylor]: Taking taylor expansion of t in t 0.860 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.860 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.860 * [taylor]: Taking taylor expansion of 1.0 in t 0.860 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.860 * [taylor]: Taking taylor expansion of t in t 0.860 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 0.860 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.860 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.860 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.860 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.861 * [taylor]: Taking taylor expansion of -1 in t 0.861 * [taylor]: Taking taylor expansion of t in t 0.861 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.861 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.861 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.861 * [taylor]: Taking taylor expansion of -1 in t 0.861 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.861 * [taylor]: Taking taylor expansion of t in t 0.861 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.861 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.861 * [taylor]: Taking taylor expansion of 1.0 in t 0.861 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.861 * [taylor]: Taking taylor expansion of t in t 0.868 * * * [progress]: simplifying candidates 0.870 * [simplify]: Simplifying using # : (- (log t) (+ (log (+ 1.0 t)) (log (+ 1.0 t)))) (- (log t) (log (* (+ 1.0 t) (+ 1.0 t)))) (log (/ t (* (+ 1.0 t) (+ 1.0 t)))) (exp (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))) (/ (* (* t t) t) (* (* (* (+ 1.0 t) (+ 1.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (* (+ 1.0 t) (+ 1.0 t)))) (* (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t))))) (cbrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (* (* (/ t (* (+ 1.0 t) (+ 1.0 t))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (sqrt (/ t (* (+ 1.0 t) (+ 1.0 t)))) (neg t) (neg (* (+ 1.0 t) (+ 1.0 t))) (/ (* (cbrt t) (cbrt t)) (+ 1.0 t)) (/ (cbrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ (sqrt t) (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ t (+ 1.0 t)) (/ 1 (* (+ 1.0 t) (+ 1.0 t))) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (+ 1.0 t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (cbrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) (sqrt t)) (/ (* (+ 1.0 t) (+ 1.0 t)) t) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (- (* 1.0 1.0) (* t t)))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (- (* 1.0 1.0) (* t t)) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ 1.0 t) (+ (pow 1.0 3) (pow t 3)))) (/ t (* (+ 1.0 t) (- (* 1.0 1.0) (* t t)))) (/ t (* (+ (pow 1.0 3) (pow t 3)) (+ 1.0 t))) (/ t (* (- (* 1.0 1.0) (* t t)) (+ 1.0 t))) (- (log t) (+ (log (+ t 1.0)) (log (+ t 1.0)))) (- (log t) (log (* (+ t 1.0) (+ t 1.0)))) (log (/ t (* (+ t 1.0) (+ t 1.0)))) (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ (* (* t t) t) (* (* (* (+ t 1.0) (+ t 1.0)) (+ t 1.0)) (* (* (+ t 1.0) (+ t 1.0)) (+ t 1.0)))) (/ (* (* t t) t) (* (* (* (+ t 1.0) (+ t 1.0)) (* (+ t 1.0) (+ t 1.0))) (* (+ t 1.0) (+ t 1.0)))) (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) (* (* (/ t (* (+ t 1.0) (+ t 1.0))) (/ t (* (+ t 1.0) (+ t 1.0)))) (/ t (* (+ t 1.0) (+ t 1.0)))) (sqrt (/ t (* (+ t 1.0) (+ t 1.0)))) (sqrt (/ t (* (+ t 1.0) (+ t 1.0)))) (neg t) (neg (* (+ t 1.0) (+ t 1.0))) (/ (* (cbrt t) (cbrt t)) (+ t 1.0)) (/ (cbrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ 1 (+ t 1.0)) (/ t (+ t 1.0)) (/ 1 (* (+ t 1.0) (+ t 1.0))) (/ (* (+ t 1.0) (+ t 1.0)) t) (/ t (+ t 1.0)) (/ (* (+ t 1.0) (+ t 1.0)) (cbrt t)) (/ (* (+ t 1.0) (+ t 1.0)) (sqrt t)) (/ (* (+ t 1.0) (+ t 1.0)) t) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ (pow t 3) (pow 1.0 3)) (- (* t t) (* 1.0 1.0)))) (/ t (* (- (* t t) (* 1.0 1.0)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (- (* t t) (* 1.0 1.0)) (- (* t t) (* 1.0 1.0)))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (- (* t t) (* 1.0 1.0)))) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ t 1.0))) (/ t (* (- (* t t) (* 1.0 1.0)) (+ t 1.0))) (* (/ t (* (+ t 1.0) (+ t 1.0))) t) (* (log (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t) (* 1 t) (* (cbrt (/ t (* (+ t 1.0) (+ t 1.0)))) t) (* (sqrt (/ t (* (+ t 1.0) (+ t 1.0)))) t) (* (/ (cbrt t) (+ t 1.0)) t) (* (/ (sqrt t) (+ t 1.0)) t) (* (/ t (+ t 1.0)) t) (* (/ t (* (+ t 1.0) (+ t 1.0))) t) (* (/ 1 (* (+ t 1.0) (+ t 1.0))) t) (* (* (+ (* t t) (- (* 1.0 1.0) (* t 1.0))) (+ (* t t) (- (* 1.0 1.0) (* t 1.0)))) t) (* (* (+ (* t t) (- (* 1.0 1.0) (* t 1.0))) (- t 1.0)) t) (* (* (- t 1.0) (+ (* t t) (- (* 1.0 1.0) (* t 1.0)))) t) (* (* (- t 1.0) (- t 1.0)) t) (* (+ (* t t) (- (* 1.0 1.0) (* t 1.0))) t) (* (- t 1.0) t) (* (+ (* t t) (- (* 1.0 1.0) (* t 1.0))) t) (* (- t 1.0) t) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (* (cbrt t) (cbrt t))) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (sqrt t)) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) 1) (pow (* (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0)))))) t) (pow (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t) (pow (sqrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t) (pow (sqrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t) (pow 1 t) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (exp (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (* (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (* (* (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (sqrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (sqrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ t 2)) (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ t 2)) (log (pow (* (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0)))))) t)) (log (pow (cbrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t)) (log (pow (sqrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t)) (log (pow (sqrt (exp (/ t (* (+ t 1.0) (+ t 1.0))))) t)) (log (pow 1 t)) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (log (* (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)))) (log (cbrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (log (sqrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (log (sqrt (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (log 1) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ t 2))) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) (/ t 2))) (log (exp (/ t (* (+ t 1.0) (+ t 1.0))))) (log (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (exp (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (* (cbrt (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (cbrt (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)))) (cbrt (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (* (* (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t)) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (sqrt (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (sqrt (log (pow (exp (/ t (* (+ t 1.0) (+ t 1.0)))) t))) (- (+ (* 3.0 (pow t 3)) (* 1.0 t)) (* 2.0 (pow t 2))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (pow t 3)) (* 1.0 t)) (* 2.0 (pow t 2))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 3.0 (/ 1 (pow t 3))) (/ 1 t)) (* 2.0 (/ 1 (pow t 2)))) (+ (* (log 1) t) (+ (* 1/2 (* (pow (log 1) 2) (pow t 2))) (+ (* 1.0 (pow t 2)) 1))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (+ (* (log 1) t) (+ (log 1) (* 1.0 (pow t 2)))) (/ (pow t 2) (pow (+ t 1.0) 2)) (/ (pow t 2) (pow (+ t 1.0) 2)) 0.908 * * [simplify]: iteration 0 : 5040 enodes (cost 1356 ) 0.913 * [simplify]: Simplified to: (log (/ t (pow (+ t 1.0) 2))) (log (/ t (pow (+ t 1.0) 2))) (log (/ t (pow (+ t 1.0) 2))) (exp (/ t (pow (+ t 1.0) 2))) (/ (pow t 3) (pow (+ t 1.0) 6)) (/ (pow t 3) (pow (+ t 1.0) 6)) (* (cbrt (/ t (pow (+ t 1.0) 2))) (cbrt (/ t (pow (+ t 1.0) 2)))) (cbrt (/ t (pow (+ t 1.0) 2))) (/ (pow t 3) (pow (+ t 1.0) 6)) (sqrt (/ t (pow (+ t 1.0) 2))) (sqrt (/ t (pow (+ t 1.0) 2))) (neg t) (neg (pow (+ t 1.0) 2)) (* (/ (cbrt t) (+ t 1.0)) (cbrt t)) (/ (cbrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ 1 (+ t 1.0)) (/ t (+ t 1.0)) (/ 1 (pow (+ t 1.0) 2)) (/ (pow (+ t 1.0) 2) t) (/ t (+ t 1.0)) (/ (pow (+ t 1.0) 2) (cbrt t)) (/ (pow (+ t 1.0) 2) (sqrt t)) (/ (pow (+ t 1.0) 2) t) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- 1.0 t) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (pow (+ t 1.0) 2) (* (- 1.0 t) (- 1.0 t)))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (pow (+ t 1.0) 2) (- 1.0 t))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (pow (+ t 1.0) 2) (- 1.0 t))) (log (/ t (pow (+ t 1.0) 2))) (log (/ t (pow (+ t 1.0) 2))) (log (/ t (pow (+ t 1.0) 2))) (exp (/ t (pow (+ t 1.0) 2))) (/ (pow t 3) (pow (+ t 1.0) 6)) (/ (pow t 3) (pow (+ t 1.0) 6)) (* (cbrt (/ t (pow (+ t 1.0) 2))) (cbrt (/ t (pow (+ t 1.0) 2)))) (cbrt (/ t (pow (+ t 1.0) 2))) (/ (pow t 3) (pow (+ t 1.0) 6)) (sqrt (/ t (pow (+ t 1.0) 2))) (sqrt (/ t (pow (+ t 1.0) 2))) (neg t) (neg (pow (+ t 1.0) 2)) (* (/ (cbrt t) (+ t 1.0)) (cbrt t)) (/ (cbrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ (sqrt t) (+ t 1.0)) (/ 1 (+ t 1.0)) (/ t (+ t 1.0)) (/ 1 (pow (+ t 1.0) 2)) (/ (pow (+ t 1.0) 2) t) (/ t (+ t 1.0)) (/ (pow (+ t 1.0) 2) (cbrt t)) (/ (pow (+ t 1.0) 2) (sqrt t)) (/ (pow (+ t 1.0) 2) t) (/ t (* (+ (pow t 3) (pow 1.0 3)) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (+ t 1.0) (* (- t 1.0) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (+ t 1.0) (* (- t 1.0) (+ (pow t 3) (pow 1.0 3))))) (/ t (* (pow (+ t 1.0) 2) (* (- t 1.0) (- t 1.0)))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (pow (+ t 1.0) 2) (- t 1.0))) (/ t (* (+ t 1.0) (+ (pow t 3) (pow 1.0 3)))) (/ t (* (pow (+ t 1.0) 2) (- t 1.0))) (* t (/ t (pow (+ t 1.0) 2))) (* t (/ t (pow (+ t 1.0) 2))) t (* t (cbrt (/ t (pow (+ t 1.0) 2)))) (* t (sqrt (/ t (pow (+ t 1.0) 2)))) (* t (/ (cbrt t) (+ t 1.0))) (* t (/ (sqrt t) (+ t 1.0))) (* t (/ t (+ t 1.0))) (* t (/ t (pow (+ t 1.0) 2))) (/ t (pow (+ t 1.0) 2)) (* t (* (+ (* t t) (* 1.0 (- 1.0 t))) (+ (* t t) (* 1.0 (- 1.0 t))))) (* t (* (+ (* t t) (* 1.0 (- 1.0 t))) (- t 1.0))) (* t (* (+ (* t t) (* 1.0 (- 1.0 t))) (- t 1.0))) (* t (* (- t 1.0) (- t 1.0))) (+ (pow t 3) (* t (* 1.0 (- 1.0 t)))) (* t (- t 1.0)) (+ (pow t 3) (* t (* 1.0 (- 1.0 t)))) (* t (- t 1.0)) (pow (exp (/ t (pow (+ t 1.0) 2))) (* (cbrt t) (cbrt t))) (pow (exp (/ t (pow (+ t 1.0) 2))) (sqrt t)) (exp (/ t (pow (+ t 1.0) 2))) (pow (* (cbrt (exp (/ t (pow (+ t 1.0) 2)))) (cbrt (exp (/ t (pow (+ t 1.0) 2))))) t) (pow (cbrt (exp (/ t (pow (+ t 1.0) 2)))) t) (pow (sqrt (exp (/ t (pow (+ t 1.0) 2)))) t) (pow (sqrt (exp (/ t (pow (+ t 1.0) 2)))) t) 1 (pow (exp (/ t (pow (+ t 1.0) 2))) t) (* t (/ t (pow (+ t 1.0) 2))) (exp (pow (exp (/ t (pow (+ t 1.0) 2))) t)) (* (cbrt (pow (exp (/ t (pow (+ t 1.0) 2))) t)) (cbrt (pow (exp (/ t (pow (+ t 1.0) 2))) t))) (cbrt (pow (exp (/ t (pow (+ t 1.0) 2))) t)) (pow (pow (exp (/ t (pow (+ t 1.0) 2))) t) 3) (sqrt (pow (exp (/ t (pow (+ t 1.0) 2))) t)) (sqrt (pow (exp (/ t (pow (+ t 1.0) 2))) t)) (pow (exp (/ t (pow (+ t 1.0) 2))) (/ t 2)) (pow (exp (/ t (pow (+ t 1.0) 2))) (/ t 2)) (* t (* 2 (log (cbrt (exp (/ t (pow (+ t 1.0) 2))))))) (* t (log (cbrt (exp (/ t (pow (+ t 1.0) 2)))))) (* t (* 1/2 (/ t (pow (+ t 1.0) 2)))) (* t (* 1/2 (/ t (pow (+ t 1.0) 2)))) (log 1) (* t (/ t (pow (+ t 1.0) 2))) (* 2 (log (cbrt (pow (exp (/ t (pow (+ t 1.0) 2))) t)))) (log (cbrt (pow (exp (/ t (pow (+ t 1.0) 2))) t))) (log (sqrt (pow (exp (/ t (pow (+ t 1.0) 2))) t))) (log (sqrt (pow (exp (/ t (pow (+ t 1.0) 2))) t))) (log 1) (* t (/ t (pow (+ t 1.0) 2))) (* t (* 1/2 (/ t (pow (+ t 1.0) 2)))) (* t (* 1/2 (/ t (pow (+ t 1.0) 2)))) (/ t (pow (+ t 1.0) 2)) (log (* t (/ t (pow (+ t 1.0) 2)))) (pow (exp (/ t (pow (+ t 1.0) 2))) t) (* (cbrt (* t (/ t (pow (+ t 1.0) 2)))) (cbrt (* t (/ t (pow (+ t 1.0) 2))))) (cbrt (* t (/ t (pow (+ t 1.0) 2)))) (/ (pow (* t t) 3) (pow (+ t 1.0) 6)) (fabs (/ t (+ t 1.0))) (fabs (/ t (+ t 1.0))) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ (/ 3.0 (pow t 3)) (- (/ 1 t) (/ 2.0 (* t t)))) (+ 1 (+ (* t (* t 1.0)) (+ (log 1) (* 1/2 (pow (log 1) 2))))) (pow (exp (/ t (pow (+ t 1.0) 2))) t) (pow (exp (/ t (pow (+ t 1.0) 2))) t) (+ (* t (* t 1.0)) (* 2 (log 1))) (* t (/ t (pow (+ t 1.0) 2))) (* t (/ t (pow (+ t 1.0) 2))) 0.913 * * * [progress]: adding candidates to table 1.204 * [progress]: [Phase 3 of 3] Extracting. 1.204 * * [regime]: Finding splitpoints for: (# #) 1.205 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* 2.0 t) (+ 1.0 t)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) t) 1.205 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (# #) 1.229 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (# #) 1.255 * * * * [regimes]: Trying to branch on (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) from (# #) 1.282 * * * * [regimes]: Trying to branch on t from (# #) 1.307 * * * [regime]: Found split indices: #