4.372 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [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.072 * * [simplify]: iteration 0 : 5007 enodes (cost 35 ) 0.072 * [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.076 * * [progress]: iteration 1 / 4 0.076 * * * [progress]: picking best candidate 0.080 * * * * [pick]: Picked # 0.080 * * * [progress]: localizing error 0.090 * * * [progress]: generating rewritten candidates 0.090 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.104 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.111 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.121 * * * [progress]: generating series expansions 0.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.121 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.121 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.121 * [taylor]: Taking taylor expansion of 2.0 in t 0.121 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.121 * [taylor]: Taking taylor expansion of t in t 0.121 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.121 * [taylor]: Taking taylor expansion of t in t 0.121 * [taylor]: Taking taylor expansion of 1.0 in t 0.121 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.121 * [taylor]: Taking taylor expansion of 2.0 in t 0.121 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.121 * [taylor]: Taking taylor expansion of t in t 0.121 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.121 * [taylor]: Taking taylor expansion of t in t 0.121 * [taylor]: Taking taylor expansion of 1.0 in t 0.122 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in (t) around 0 0.122 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.122 * [taylor]: Taking taylor expansion of 2.0 in t 0.122 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.122 * [taylor]: Taking taylor expansion of t in t 0.122 * [taylor]: Taking taylor expansion of 1.0 in t 0.122 * [taylor]: Taking taylor expansion of t in t 0.122 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.122 * [taylor]: Taking taylor expansion of 2.0 in t 0.122 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.122 * [taylor]: Taking taylor expansion of t in t 0.122 * [taylor]: Taking taylor expansion of 1.0 in t 0.122 * [taylor]: Taking taylor expansion of t in t 0.123 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.123 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.123 * [taylor]: Taking taylor expansion of -2.0 in t 0.123 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.123 * [taylor]: Taking taylor expansion of t in t 0.123 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.123 * [taylor]: Taking taylor expansion of 1.0 in t 0.123 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.123 * [taylor]: Taking taylor expansion of t in t 0.123 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.123 * [taylor]: Taking taylor expansion of -2.0 in t 0.123 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.123 * [taylor]: Taking taylor expansion of t in t 0.123 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.123 * [taylor]: Taking taylor expansion of 1.0 in t 0.124 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.124 * [taylor]: Taking taylor expansion of t in t 0.124 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.124 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.124 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.124 * [taylor]: Taking taylor expansion of 2.0 in t 0.124 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.124 * [taylor]: Taking taylor expansion of t in t 0.124 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.124 * [taylor]: Taking taylor expansion of t in t 0.124 * [taylor]: Taking taylor expansion of 1.0 in t 0.124 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.124 * [taylor]: Taking taylor expansion of 2.0 in t 0.125 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.125 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.125 * [taylor]: Taking taylor expansion of 1.0 in t 0.125 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in (t) around 0 0.125 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.125 * [taylor]: Taking taylor expansion of 2.0 in t 0.125 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.125 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.125 * [taylor]: Taking taylor expansion of 1.0 in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.125 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.125 * [taylor]: Taking taylor expansion of 2.0 in t 0.125 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.125 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.125 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.126 * [taylor]: Taking taylor expansion of 1.0 in t 0.126 * [taylor]: Taking taylor expansion of t in t 0.126 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.126 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.126 * [taylor]: Taking taylor expansion of -2.0 in t 0.126 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.126 * [taylor]: Taking taylor expansion of t in t 0.126 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.126 * [taylor]: Taking taylor expansion of 1.0 in t 0.126 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.126 * [taylor]: Taking taylor expansion of t in t 0.127 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.127 * [taylor]: Taking taylor expansion of -2.0 in t 0.127 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.127 * [taylor]: Taking taylor expansion of t in t 0.127 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.127 * [taylor]: Taking taylor expansion of 1.0 in t 0.127 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.127 * [taylor]: Taking taylor expansion of t in t 0.127 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.127 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.127 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.127 * [taylor]: Taking taylor expansion of 2.0 in t 0.127 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.127 * [taylor]: Taking taylor expansion of t in t 0.127 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.127 * [taylor]: Taking taylor expansion of t in t 0.128 * [taylor]: Taking taylor expansion of 1.0 in t 0.128 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.128 * [taylor]: Taking taylor expansion of 2.0 in t 0.128 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.128 * [taylor]: Taking taylor expansion of t in t 0.128 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.128 * [taylor]: Taking taylor expansion of t in t 0.128 * [taylor]: Taking taylor expansion of 1.0 in t 0.128 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in (t) around 0 0.128 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.128 * [taylor]: Taking taylor expansion of 2.0 in t 0.128 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.128 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.128 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.128 * [taylor]: Taking taylor expansion of t in t 0.128 * [taylor]: Taking taylor expansion of 1.0 in t 0.128 * [taylor]: Taking taylor expansion of t in t 0.128 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.129 * [taylor]: Taking taylor expansion of 2.0 in t 0.129 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.129 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.129 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.129 * [taylor]: Taking taylor expansion of t in t 0.129 * [taylor]: Taking taylor expansion of 1.0 in t 0.129 * [taylor]: Taking taylor expansion of t in t 0.129 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.129 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.129 * [taylor]: Taking taylor expansion of -2.0 in t 0.129 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.129 * [taylor]: Taking taylor expansion of t in t 0.129 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.129 * [taylor]: Taking taylor expansion of 1.0 in t 0.129 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.129 * [taylor]: Taking taylor expansion of t in t 0.130 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.130 * [taylor]: Taking taylor expansion of -2.0 in t 0.130 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.130 * [taylor]: Taking taylor expansion of t in t 0.130 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.130 * [taylor]: Taking taylor expansion of 1.0 in t 0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.130 * [taylor]: Taking taylor expansion of t in t 0.130 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.130 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 0.130 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.131 * [taylor]: Taking taylor expansion of 2.0 in t 0.131 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of 1.0 in t 0.131 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 0.131 * [taylor]: Taking taylor expansion of 2.0 in t 0.131 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of 1.0 in t 0.131 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in (t) around 0 0.131 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.131 * [taylor]: Taking taylor expansion of 2.0 in t 0.131 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of 1.0 in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.132 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ 1 t) 1.0) t)) in t 0.132 * [taylor]: Taking taylor expansion of 2.0 in t 0.132 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) t) in t 0.132 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.132 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.132 * [taylor]: Taking taylor expansion of t in t 0.132 * [taylor]: Taking taylor expansion of 1.0 in t 0.132 * [taylor]: Taking taylor expansion of t in t 0.132 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 0.132 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.132 * [taylor]: Taking taylor expansion of -2.0 in t 0.132 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.132 * [taylor]: Taking taylor expansion of t in t 0.132 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.133 * [taylor]: Taking taylor expansion of 1.0 in t 0.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.133 * [taylor]: Taking taylor expansion of t in t 0.133 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 0.133 * [taylor]: Taking taylor expansion of -2.0 in t 0.133 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 0.133 * [taylor]: Taking taylor expansion of t in t 0.133 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.133 * [taylor]: Taking taylor expansion of 1.0 in t 0.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.133 * [taylor]: Taking taylor expansion of t in t 0.133 * * * [progress]: simplifying candidates 0.138 * [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 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.181 * * [simplify]: iteration 0 : 5408 enodes (cost 984 ) 0.185 * [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.185 * * * [progress]: adding candidates to table 0.375 * * [progress]: iteration 2 / 4 0.375 * * * [progress]: picking best candidate 0.381 * * * * [pick]: Picked # 0.381 * * * [progress]: localizing error 0.393 * * * [progress]: generating rewritten candidates 0.393 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2) 0.404 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2) 0.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 0.430 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 0.454 * * * [progress]: generating series expansions 0.455 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2) 0.455 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.455 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.455 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of 1.0 in t 0.455 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.455 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.455 * [taylor]: Taking taylor expansion of t in t 0.455 * [taylor]: Taking taylor expansion of 1.0 in t 0.456 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.456 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.456 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.456 * [taylor]: Taking taylor expansion of t in t 0.456 * [taylor]: Taking taylor expansion of 1.0 in t 0.456 * [taylor]: Taking taylor expansion of t in t 0.456 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.456 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.456 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.456 * [taylor]: Taking taylor expansion of t in t 0.456 * [taylor]: Taking taylor expansion of 1.0 in t 0.456 * [taylor]: Taking taylor expansion of t in t 0.457 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.457 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.457 * [taylor]: Taking taylor expansion of -1 in t 0.457 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.457 * [taylor]: Taking taylor expansion of t in t 0.457 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.457 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.457 * [taylor]: Taking taylor expansion of 1.0 in t 0.457 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.457 * [taylor]: Taking taylor expansion of t in t 0.457 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.457 * [taylor]: Taking taylor expansion of -1 in t 0.457 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.457 * [taylor]: Taking taylor expansion of t in t 0.457 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.457 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.458 * [taylor]: Taking taylor expansion of 1.0 in t 0.458 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.458 * [taylor]: Taking taylor expansion of t in t 0.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2) 0.459 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.459 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.459 * [taylor]: Taking taylor expansion of t in t 0.459 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.459 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.459 * [taylor]: Taking taylor expansion of t in t 0.459 * [taylor]: Taking taylor expansion of 1.0 in t 0.459 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.459 * [taylor]: Taking taylor expansion of t in t 0.459 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.459 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.459 * [taylor]: Taking taylor expansion of t in t 0.459 * [taylor]: Taking taylor expansion of 1.0 in t 0.459 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.459 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.459 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.459 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.459 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.460 * [taylor]: Taking taylor expansion of t in t 0.460 * [taylor]: Taking taylor expansion of 1.0 in t 0.460 * [taylor]: Taking taylor expansion of t in t 0.460 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.460 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.460 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.460 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.460 * [taylor]: Taking taylor expansion of t in t 0.460 * [taylor]: Taking taylor expansion of 1.0 in t 0.460 * [taylor]: Taking taylor expansion of t in t 0.461 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.461 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.461 * [taylor]: Taking taylor expansion of -1 in t 0.461 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.461 * [taylor]: Taking taylor expansion of t in t 0.461 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.461 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.461 * [taylor]: Taking taylor expansion of 1.0 in t 0.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.461 * [taylor]: Taking taylor expansion of t in t 0.461 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.461 * [taylor]: Taking taylor expansion of -1 in t 0.461 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.461 * [taylor]: Taking taylor expansion of t in t 0.461 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.461 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.461 * [taylor]: Taking taylor expansion of 1.0 in t 0.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.461 * [taylor]: Taking taylor expansion of t in t 0.462 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 0.462 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in (t) around 0 0.462 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.462 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.462 * [taylor]: Taking taylor expansion of t in t 0.462 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.462 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.462 * [taylor]: Taking taylor expansion of t in t 0.462 * [taylor]: Taking taylor expansion of 1.0 in t 0.463 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.463 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.463 * [taylor]: Taking taylor expansion of t in t 0.463 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.463 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.463 * [taylor]: Taking taylor expansion of t in t 0.463 * [taylor]: Taking taylor expansion of 1.0 in t 0.463 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in (t) around 0 0.463 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in t 0.463 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2)) in t 0.464 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.464 * [taylor]: Taking taylor expansion of t in t 0.464 * [taylor]: Taking taylor expansion of 1.0 in t 0.464 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.464 * [taylor]: Taking taylor expansion of t in t 0.464 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in t 0.464 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2)) in t 0.464 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.464 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.464 * [taylor]: Taking taylor expansion of t in t 0.464 * [taylor]: Taking taylor expansion of 1.0 in t 0.464 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.464 * [taylor]: Taking taylor expansion of t in t 0.465 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.465 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.465 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.465 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.465 * [taylor]: Taking taylor expansion of t in t 0.465 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.465 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.465 * [taylor]: Taking taylor expansion of 1.0 in t 0.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.465 * [taylor]: Taking taylor expansion of t in t 0.465 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.465 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.465 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.465 * [taylor]: Taking taylor expansion of t in t 0.465 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.465 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.465 * [taylor]: Taking taylor expansion of 1.0 in t 0.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.465 * [taylor]: Taking taylor expansion of t in t 0.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 0.466 * [approximate]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in (t) around 0 0.466 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.466 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.466 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [taylor]: Taking taylor expansion of 1.0 in t 0.466 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t 0.466 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.466 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [taylor]: Taking taylor expansion of 1.0 in t 0.467 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in (t) around 0 0.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in t 0.467 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2)) in t 0.467 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of 1.0 in t 0.467 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2))) in t 0.467 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) (pow t 2)) in t 0.467 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.467 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of 1.0 in t 0.467 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.468 * [approximate]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.468 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.468 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.468 * [taylor]: Taking taylor expansion of t in t 0.468 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.468 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.468 * [taylor]: Taking taylor expansion of 1.0 in t 0.468 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.468 * [taylor]: Taking taylor expansion of t in t 0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t 0.468 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t 0.468 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.468 * [taylor]: Taking taylor expansion of t in t 0.468 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.468 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.469 * [taylor]: Taking taylor expansion of 1.0 in t 0.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.469 * [taylor]: Taking taylor expansion of t in t 0.469 * * * [progress]: simplifying candidates 0.471 * [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) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 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.516 * * [simplify]: iteration 0 : 4966 enodes (cost 1620 ) 0.516 * * [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) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 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.791 * * [progress]: iteration 3 / 4 0.791 * * * [progress]: picking best candidate 0.798 * * * * [pick]: Picked # 0.799 * * * [progress]: localizing error 0.824 * * * [progress]: generating rewritten candidates 0.824 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 2) 0.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 0.846 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1) 0.854 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2) 0.864 * * * [progress]: generating series expansions 0.864 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 2) 0.864 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.864 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.864 * [taylor]: Taking taylor expansion of t in t 0.864 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.864 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.864 * [taylor]: Taking taylor expansion of t in t 0.864 * [taylor]: Taking taylor expansion of 1.0 in t 0.864 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.865 * [taylor]: Taking taylor expansion of t in t 0.865 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.865 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.865 * [taylor]: Taking taylor expansion of t in t 0.865 * [taylor]: Taking taylor expansion of 1.0 in t 0.865 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 0.865 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.865 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.865 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.865 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.865 * [taylor]: Taking taylor expansion of t in t 0.865 * [taylor]: Taking taylor expansion of 1.0 in t 0.865 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.866 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.866 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of 1.0 in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.867 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.867 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.867 * [taylor]: Taking taylor expansion of -1 in t 0.867 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.867 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.867 * [taylor]: Taking taylor expansion of -1 in t 0.867 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.867 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1 1) 0.868 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 0.868 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.868 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of 1.0 in t 0.869 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.869 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.869 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.869 * [taylor]: Taking taylor expansion of 1.0 in t 0.869 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 0.869 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.869 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.869 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.869 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.869 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.869 * [taylor]: Taking taylor expansion of 1.0 in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.870 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.870 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.870 * [taylor]: Taking taylor expansion of t in t 0.870 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [taylor]: Taking taylor expansion of t in t 0.871 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 0.871 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.871 * [taylor]: Taking taylor expansion of -1 in t 0.871 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.871 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.871 * [taylor]: Taking taylor expansion of 1.0 in t 0.871 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.871 * [taylor]: Taking taylor expansion of -1 in t 0.871 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.871 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.871 * [taylor]: Taking taylor expansion of 1.0 in t 0.871 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.872 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1) 0.872 * [approximate]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in (t) around 0 0.872 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.872 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.872 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.872 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.872 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.872 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.873 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.873 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.873 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.873 * [taylor]: Taking taylor expansion of t in t 0.873 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.873 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.873 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.873 * [taylor]: Taking taylor expansion of t in t 0.873 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.873 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.873 * [taylor]: Taking taylor expansion of t in t 0.873 * [taylor]: Taking taylor expansion of 1.0 in t 0.874 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in (t) around 0 0.874 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 0.874 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 0.875 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 0.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 0.875 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 0.875 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.875 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.875 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.875 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of 1.0 in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 0.875 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 0.875 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 0.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.875 * [taylor]: Taking taylor expansion of t in t 0.875 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 0.875 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 0.875 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.875 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.875 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.875 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.876 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.876 * [taylor]: Taking taylor expansion of t in t 0.876 * [taylor]: Taking taylor expansion of 1.0 in t 0.876 * [taylor]: Taking taylor expansion of t in t 0.877 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in (t) around 0 0.877 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.877 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.877 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.877 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.877 * [taylor]: Taking taylor expansion of -1 in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.877 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.877 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.877 * [taylor]: Taking taylor expansion of -1 in t 0.877 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.877 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.877 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.877 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.877 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.877 * [taylor]: Taking taylor expansion of -1 in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.878 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.878 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.878 * [taylor]: Taking taylor expansion of -1 in t 0.878 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.878 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.878 * [taylor]: Taking taylor expansion of 1.0 in t 0.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.878 * [taylor]: Taking taylor expansion of t in t 0.879 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2) 0.879 * [approximate]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in (t) around 0 0.879 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 0.879 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.879 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.879 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.879 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.879 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.879 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 0.879 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 0.879 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 0.879 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 0.879 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 0.879 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 0.880 * [taylor]: Taking taylor expansion of t in t 0.880 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 0.880 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 0.880 * [taylor]: Taking taylor expansion of t in t 0.880 * [taylor]: Taking taylor expansion of 1.0 in t 0.881 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in (t) around 0 0.881 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in t 0.881 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 0.881 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 0.881 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 0.881 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.882 * [taylor]: Taking taylor expansion of t in t 0.882 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 0.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.882 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.882 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.882 * [taylor]: Taking taylor expansion of t in t 0.882 * [taylor]: Taking taylor expansion of 1.0 in t 0.882 * [taylor]: Taking taylor expansion of t in t 0.882 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in t 0.882 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 0.882 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 0.882 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.882 * [taylor]: Taking taylor expansion of t in t 0.882 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 0.882 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 0.883 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 0.883 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.883 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of 1.0 in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.891 * [approximate]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in (t) around 0 0.891 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 0.891 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.891 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.891 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.891 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.891 * [taylor]: Taking taylor expansion of -1 in t 0.891 * [taylor]: Taking taylor expansion of t in t 0.891 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.892 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.892 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.892 * [taylor]: Taking taylor expansion of -1 in t 0.892 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.892 * [taylor]: Taking taylor expansion of t in t 0.892 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.892 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.892 * [taylor]: Taking taylor expansion of 1.0 in t 0.892 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.892 * [taylor]: Taking taylor expansion of t in t 0.892 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 0.892 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 0.892 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 0.892 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 0.892 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.892 * [taylor]: Taking taylor expansion of -1 in t 0.892 * [taylor]: Taking taylor expansion of t in t 0.892 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 0.892 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 0.892 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 0.893 * [taylor]: Taking taylor expansion of -1 in t 0.893 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 0.893 * [taylor]: Taking taylor expansion of t in t 0.893 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 0.893 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 0.893 * [taylor]: Taking taylor expansion of 1.0 in t 0.893 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.893 * [taylor]: Taking taylor expansion of t in t 0.901 * * * [progress]: simplifying candidates 0.903 * [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))) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (+ (* 1/2 (* (pow t 2) (pow (log 1) 2))) (+ (* t (log 1)) (+ (* 1.0 (pow t 2)) 1))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (+ (* t (log 1)) (+ (log 1) (* 1.0 (pow t 2)))) (/ (pow t 2) (pow (+ t 1.0) 2)) (/ (pow t 2) (pow (+ t 1.0) 2)) 0.937 * * [simplify]: iteration 0 : 5024 enodes (cost 1356 ) 0.942 * [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))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 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.943 * * * [progress]: adding candidates to table 1.268 * * [progress]: iteration 4 / 4 1.268 * * * [progress]: picking best candidate 1.272 * * * * [pick]: Picked # 1.272 * * * [progress]: localizing error 1.294 * * * [progress]: generating rewritten candidates 1.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2) 1.305 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1 1 1) 1.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 1) 1.325 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 2) 1.336 * * * [progress]: generating series expansions 1.336 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2) 1.336 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 1.336 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.336 * [taylor]: Taking taylor expansion of t in t 1.336 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.336 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.336 * [taylor]: Taking taylor expansion of t in t 1.336 * [taylor]: Taking taylor expansion of 1.0 in t 1.336 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.336 * [taylor]: Taking taylor expansion of t in t 1.336 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.336 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.336 * [taylor]: Taking taylor expansion of t in t 1.336 * [taylor]: Taking taylor expansion of 1.0 in t 1.337 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 1.337 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.337 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.337 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.337 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.337 * [taylor]: Taking taylor expansion of t in t 1.337 * [taylor]: Taking taylor expansion of 1.0 in t 1.337 * [taylor]: Taking taylor expansion of t in t 1.337 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.337 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.337 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.337 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.337 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.337 * [taylor]: Taking taylor expansion of t in t 1.337 * [taylor]: Taking taylor expansion of 1.0 in t 1.337 * [taylor]: Taking taylor expansion of t in t 1.338 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 1.338 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.338 * [taylor]: Taking taylor expansion of -1 in t 1.338 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.338 * [taylor]: Taking taylor expansion of t in t 1.338 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.338 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.338 * [taylor]: Taking taylor expansion of 1.0 in t 1.338 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.338 * [taylor]: Taking taylor expansion of t in t 1.339 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.339 * [taylor]: Taking taylor expansion of -1 in t 1.339 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.339 * [taylor]: Taking taylor expansion of t in t 1.339 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.339 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.339 * [taylor]: Taking taylor expansion of 1.0 in t 1.339 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.339 * [taylor]: Taking taylor expansion of t in t 1.340 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1 1 1) 1.340 * [approximate]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in (t) around 0 1.340 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.340 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.340 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.340 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of 1.0 in t 1.340 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.340 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.340 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.340 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [approximate]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in (t) around 0 1.341 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.341 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.341 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.341 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.341 * [taylor]: Taking taylor expansion of t in t 1.341 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [taylor]: Taking taylor expansion of t in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.341 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.341 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.341 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.342 * [taylor]: Taking taylor expansion of t in t 1.342 * [taylor]: Taking taylor expansion of 1.0 in t 1.342 * [taylor]: Taking taylor expansion of t in t 1.343 * [approximate]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0 1.343 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.343 * [taylor]: Taking taylor expansion of -1 in t 1.343 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.343 * [taylor]: Taking taylor expansion of t in t 1.343 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.343 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.343 * [taylor]: Taking taylor expansion of 1.0 in t 1.343 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.343 * [taylor]: Taking taylor expansion of t in t 1.343 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.343 * [taylor]: Taking taylor expansion of -1 in t 1.343 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.343 * [taylor]: Taking taylor expansion of t in t 1.343 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.343 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.343 * [taylor]: Taking taylor expansion of 1.0 in t 1.343 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.343 * [taylor]: Taking taylor expansion of t in t 1.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 1) 1.344 * [approximate]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in (t) around 0 1.344 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 1.344 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 1.344 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 1.344 * [taylor]: Taking taylor expansion of t in t 1.344 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 1.344 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 1.344 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.344 * [taylor]: Taking taylor expansion of t in t 1.344 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.344 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.344 * [taylor]: Taking taylor expansion of t in t 1.344 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 1.345 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 1.345 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 1.345 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 1.345 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.345 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in (t) around 0 1.347 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 1.347 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 1.347 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 1.347 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.347 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.347 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 1.347 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 1.347 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 1.347 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.347 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.347 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.348 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.348 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.348 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.349 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in (t) around 0 1.349 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 1.349 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 1.349 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 1.349 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.349 * [taylor]: Taking taylor expansion of -1 in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 1.349 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 1.349 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.349 * [taylor]: Taking taylor expansion of -1 in t 1.349 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.349 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.349 * [taylor]: Taking taylor expansion of 1.0 in t 1.349 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 1.349 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 1.349 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 1.349 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.349 * [taylor]: Taking taylor expansion of -1 in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 1.350 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 1.350 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.350 * [taylor]: Taking taylor expansion of -1 in t 1.350 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.350 * [taylor]: Taking taylor expansion of t in t 1.350 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.350 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.350 * [taylor]: Taking taylor expansion of 1.0 in t 1.350 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.350 * [taylor]: Taking taylor expansion of t in t 1.351 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 2) 1.351 * [approximate]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in (t) around 0 1.351 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 1.351 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 1.351 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 1.351 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 1.351 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 1.351 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.351 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of 1.0 in t 1.351 * [taylor]: Taking taylor expansion of (log (pow (exp (/ t (pow (+ t 1.0) 2))) t)) in t 1.351 * [taylor]: Taking taylor expansion of (pow (exp (/ t (pow (+ t 1.0) 2))) t) in t 1.351 * [taylor]: Taking taylor expansion of (exp (* t (log (exp (/ t (pow (+ t 1.0) 2)))))) in t 1.351 * [taylor]: Taking taylor expansion of (* t (log (exp (/ t (pow (+ t 1.0) 2))))) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of (log (exp (/ t (pow (+ t 1.0) 2)))) in t 1.351 * [taylor]: Taking taylor expansion of (exp (/ t (pow (+ t 1.0) 2))) in t 1.351 * [taylor]: Taking taylor expansion of (/ t (pow (+ t 1.0) 2)) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t 1.351 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.352 * [taylor]: Taking taylor expansion of 1.0 in t 1.353 * [approximate]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in (t) around 0 1.353 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in t 1.353 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 1.353 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 1.353 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 1.353 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.354 * [taylor]: Taking taylor expansion of t in t 1.354 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 1.354 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 1.354 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.354 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.354 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.354 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.354 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.354 * [taylor]: Taking taylor expansion of t in t 1.354 * [taylor]: Taking taylor expansion of 1.0 in t 1.354 * [taylor]: Taking taylor expansion of t in t 1.354 * [taylor]: Taking taylor expansion of (log (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t))) in t 1.354 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) (/ 1 t)) in t 1.354 * [taylor]: Taking taylor expansion of (exp (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))))) in t 1.354 * [taylor]: Taking taylor expansion of (* (/ 1 t) (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))))) in t 1.354 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.354 * [taylor]: Taking taylor expansion of t in t 1.354 * [taylor]: Taking taylor expansion of (log (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)))) in t 1.354 * [taylor]: Taking taylor expansion of (exp (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t))) in t 1.354 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (+ (/ 1 t) 1.0) 2) t)) in t 1.354 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 t) 1.0) 2) t) in t 1.355 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t 1.355 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.355 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.355 * [taylor]: Taking taylor expansion of t in t 1.355 * [taylor]: Taking taylor expansion of 1.0 in t 1.355 * [taylor]: Taking taylor expansion of t in t 1.363 * [approximate]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in (t) around 0 1.363 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 1.363 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 1.363 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 1.363 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 1.363 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.363 * [taylor]: Taking taylor expansion of -1 in t 1.363 * [taylor]: Taking taylor expansion of t in t 1.363 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 1.363 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 1.363 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.364 * [taylor]: Taking taylor expansion of -1 in t 1.364 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.364 * [taylor]: Taking taylor expansion of t in t 1.364 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.364 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.364 * [taylor]: Taking taylor expansion of 1.0 in t 1.364 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.364 * [taylor]: Taking taylor expansion of t in t 1.364 * [taylor]: Taking taylor expansion of (log (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t))) in t 1.364 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) (/ -1 t)) in t 1.364 * [taylor]: Taking taylor expansion of (exp (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))))) in t 1.364 * [taylor]: Taking taylor expansion of (* (/ -1 t) (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))))) in t 1.364 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.364 * [taylor]: Taking taylor expansion of -1 in t 1.364 * [taylor]: Taking taylor expansion of t in t 1.364 * [taylor]: Taking taylor expansion of (log (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))))) in t 1.364 * [taylor]: Taking taylor expansion of (exp (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2)))) in t 1.364 * [taylor]: Taking taylor expansion of (/ -1 (* t (pow (- 1.0 (/ 1 t)) 2))) in t 1.364 * [taylor]: Taking taylor expansion of -1 in t 1.364 * [taylor]: Taking taylor expansion of (* t (pow (- 1.0 (/ 1 t)) 2)) in t 1.365 * [taylor]: Taking taylor expansion of t in t 1.365 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t 1.365 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 1.365 * [taylor]: Taking taylor expansion of 1.0 in t 1.365 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.365 * [taylor]: Taking taylor expansion of t in t 1.373 * * * [progress]: simplifying candidates 1.375 * [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))) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (* 1.0 t) (* 3.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (- (+ (/ 1 t) (* 3.0 (/ 1 (pow t 3)))) (* 2.0 (/ 1 (pow t 2)))) (+ (* 1/2 (* (pow t 2) (pow (log 1) 2))) (+ (* t (log 1)) (+ (* 1.0 (pow t 2)) 1))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (exp (/ (pow t 2) (pow (+ t 1.0) 2))) (+ (* t (log 1)) (+ (log 1) (* 1.0 (pow t 2)))) (/ (pow t 2) (pow (+ t 1.0) 2)) (/ (pow t 2) (pow (+ t 1.0) 2)) 1.408 * * [simplify]: iteration 0 : 5024 enodes (cost 1356 ) 1.414 * [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))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (* t 1.0) (* (* t t) (- (* t 3.0) 2.0))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 2.0 (* t t)))) (+ (/ 1 t) (- (/ 3.0 (pow t 3)) (/ 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))) 1.414 * * * [progress]: adding candidates to table 1.733 * [progress]: [Phase 3 of 3] Extracting. 1.733 * * [regime]: Finding splitpoints for: (# # #) 1.735 * * * [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.735 * * * * [regimes]: Trying to branch on (/ (* 2.0 t) (+ 1.0 t)) from (# # #) 1.766 * * * * [regimes]: Trying to branch on (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) from (# # #) 1.800 * * * * [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.838 * * * * [regimes]: Trying to branch on t from (# # #) 1.869 * * * [regime]: Found split indices: #