17.530 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.108 * * [simplify]: iteration 0 : 4977 enodes (cost 21 ) 0.108 * * [simplify]: iteration 1 : 4977 enodes (cost 21 ) 0.108 * [simplify]: Simplified to: (+ x (+ (* (+ y (- t 2.0)) b) (+ (* z (- 1.0 y)) (* a (- 1.0 t))))) 0.113 * * [progress]: iteration 1 / 4 0.113 * * * [progress]: picking best candidate 0.117 * * * * [pick]: Picked # 0.117 * * * [progress]: localizing error 0.132 * * * [progress]: generating rewritten candidates 0.132 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 0.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.149 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.157 * * * [progress]: generating series expansions 0.157 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.157 * [approximate]: Taking taylor expansion of (* z (- y 1.0)) in (y z) around 0 0.157 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.157 * [taylor]: Taking taylor expansion of z in z 0.157 * [taylor]: Taking taylor expansion of (- y 1.0) in z 0.157 * [taylor]: Taking taylor expansion of y in z 0.157 * [taylor]: Taking taylor expansion of 1.0 in z 0.157 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 0.157 * [taylor]: Taking taylor expansion of z in y 0.157 * [taylor]: Taking taylor expansion of (- y 1.0) in y 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [taylor]: Taking taylor expansion of 1.0 in y 0.157 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 0.157 * [taylor]: Taking taylor expansion of z in y 0.157 * [taylor]: Taking taylor expansion of (- y 1.0) in y 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [taylor]: Taking taylor expansion of 1.0 in y 0.158 * [taylor]: Taking taylor expansion of (* -1.0 z) in z 0.158 * [taylor]: Taking taylor expansion of -1.0 in z 0.158 * [taylor]: Taking taylor expansion of z in z 0.158 * [taylor]: Taking taylor expansion of z in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in (y z) around 0 0.158 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 0.158 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.158 * [taylor]: Taking taylor expansion of y in z 0.158 * [taylor]: Taking taylor expansion of 1.0 in z 0.158 * [taylor]: Taking taylor expansion of z in z 0.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 0.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 1.0 in y 0.159 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 0.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 1.0 in y 0.159 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.159 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 0.159 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.159 * [taylor]: Taking taylor expansion of 1.0 in z 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.159 * [taylor]: Taking taylor expansion of 0 in z 0.160 * [taylor]: Taking taylor expansion of 0 in z 0.160 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in (y z) around 0 0.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of 1.0 in z 0.160 * [taylor]: Taking taylor expansion of z in z 0.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of 1.0 in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of 1.0 in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.160 * [taylor]: Taking taylor expansion of z in z 0.161 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.161 * [taylor]: Taking taylor expansion of 1.0 in z 0.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.161 * [taylor]: Taking taylor expansion of z in z 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.161 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 0.162 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 0.162 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.162 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.162 * [taylor]: Taking taylor expansion of (+ t y) in b 0.162 * [taylor]: Taking taylor expansion of t in b 0.162 * [taylor]: Taking taylor expansion of y in b 0.162 * [taylor]: Taking taylor expansion of 2.0 in b 0.162 * [taylor]: Taking taylor expansion of b in b 0.162 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.162 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.162 * [taylor]: Taking taylor expansion of (+ t y) in t 0.162 * [taylor]: Taking taylor expansion of t in t 0.162 * [taylor]: Taking taylor expansion of y in t 0.162 * [taylor]: Taking taylor expansion of 2.0 in t 0.162 * [taylor]: Taking taylor expansion of b in t 0.162 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.162 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.162 * [taylor]: Taking taylor expansion of (+ t y) in y 0.162 * [taylor]: Taking taylor expansion of t in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of 2.0 in y 0.162 * [taylor]: Taking taylor expansion of b in y 0.162 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.162 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.162 * [taylor]: Taking taylor expansion of (+ t y) in y 0.162 * [taylor]: Taking taylor expansion of t in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of 2.0 in y 0.162 * [taylor]: Taking taylor expansion of b in y 0.162 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 0.162 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.162 * [taylor]: Taking taylor expansion of t in t 0.162 * [taylor]: Taking taylor expansion of 2.0 in t 0.162 * [taylor]: Taking taylor expansion of b in t 0.162 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 0.162 * [taylor]: Taking taylor expansion of -2.0 in b 0.162 * [taylor]: Taking taylor expansion of b in b 0.162 * [taylor]: Taking taylor expansion of b in t 0.162 * [taylor]: Taking taylor expansion of b in b 0.162 * [taylor]: Taking taylor expansion of b in b 0.163 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [taylor]: Taking taylor expansion of 0 in b 0.163 * [taylor]: Taking taylor expansion of 0 in b 0.163 * [taylor]: Taking taylor expansion of 0 in b 0.163 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 0.163 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.163 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.163 * [taylor]: Taking taylor expansion of y in b 0.163 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.163 * [taylor]: Taking taylor expansion of t in b 0.163 * [taylor]: Taking taylor expansion of 2.0 in b 0.163 * [taylor]: Taking taylor expansion of b in b 0.163 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.163 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.163 * [taylor]: Taking taylor expansion of y in t 0.163 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.163 * [taylor]: Taking taylor expansion of t in t 0.163 * [taylor]: Taking taylor expansion of 2.0 in t 0.163 * [taylor]: Taking taylor expansion of b in t 0.164 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.164 * [taylor]: Taking taylor expansion of t in y 0.164 * [taylor]: Taking taylor expansion of 2.0 in y 0.164 * [taylor]: Taking taylor expansion of b in y 0.164 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.164 * [taylor]: Taking taylor expansion of t in y 0.164 * [taylor]: Taking taylor expansion of 2.0 in y 0.164 * [taylor]: Taking taylor expansion of b in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.164 * [taylor]: Taking taylor expansion of b in t 0.164 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.164 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.164 * [taylor]: Taking taylor expansion of (* t b) in t 0.164 * [taylor]: Taking taylor expansion of t in t 0.164 * [taylor]: Taking taylor expansion of b in t 0.164 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.164 * [taylor]: Taking taylor expansion of 2.0 in t 0.164 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.164 * [taylor]: Taking taylor expansion of b in t 0.164 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.164 * [taylor]: Taking taylor expansion of b in b 0.165 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.165 * [taylor]: Taking taylor expansion of b in b 0.165 * [taylor]: Taking taylor expansion of 0 in t 0.165 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 0.165 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.165 * [taylor]: Taking taylor expansion of 2.0 in b 0.165 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.165 * [taylor]: Taking taylor expansion of b in b 0.165 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 0.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.165 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.165 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.165 * [taylor]: Taking taylor expansion of y in b 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.166 * [taylor]: Taking taylor expansion of t in b 0.166 * [taylor]: Taking taylor expansion of 2.0 in b 0.166 * [taylor]: Taking taylor expansion of b in b 0.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.166 * [taylor]: Taking taylor expansion of y in t 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.166 * [taylor]: Taking taylor expansion of t in t 0.166 * [taylor]: Taking taylor expansion of 2.0 in t 0.166 * [taylor]: Taking taylor expansion of b in t 0.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.166 * [taylor]: Taking taylor expansion of t in y 0.166 * [taylor]: Taking taylor expansion of 2.0 in y 0.166 * [taylor]: Taking taylor expansion of b in y 0.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.166 * [taylor]: Taking taylor expansion of t in y 0.166 * [taylor]: Taking taylor expansion of 2.0 in y 0.166 * [taylor]: Taking taylor expansion of b in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.166 * [taylor]: Taking taylor expansion of b in t 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.167 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.167 * [taylor]: Taking taylor expansion of (* t b) in t 0.167 * [taylor]: Taking taylor expansion of t in t 0.167 * [taylor]: Taking taylor expansion of b in t 0.167 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.167 * [taylor]: Taking taylor expansion of 2.0 in t 0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.167 * [taylor]: Taking taylor expansion of b in t 0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.167 * [taylor]: Taking taylor expansion of b in b 0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.167 * [taylor]: Taking taylor expansion of b in b 0.167 * [taylor]: Taking taylor expansion of 0 in t 0.167 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.167 * [taylor]: Taking taylor expansion of 2.0 in b 0.167 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.167 * [taylor]: Taking taylor expansion of b in b 0.168 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.168 * [approximate]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in (x y z) around 0 0.168 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.168 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z 0.168 * [taylor]: Taking taylor expansion of x in z 0.168 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.168 * [taylor]: Taking taylor expansion of 1.0 in z 0.168 * [taylor]: Taking taylor expansion of z in z 0.168 * [taylor]: Taking taylor expansion of (* z y) in z 0.168 * [taylor]: Taking taylor expansion of z in z 0.168 * [taylor]: Taking taylor expansion of y in z 0.168 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 0.168 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in y 0.168 * [taylor]: Taking taylor expansion of x in y 0.168 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.168 * [taylor]: Taking taylor expansion of 1.0 in y 0.168 * [taylor]: Taking taylor expansion of z in y 0.168 * [taylor]: Taking taylor expansion of (* z y) in y 0.168 * [taylor]: Taking taylor expansion of z in y 0.168 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 0.168 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.168 * [taylor]: Taking taylor expansion of 1.0 in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (* z y) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 0.168 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.168 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [taylor]: Taking taylor expansion of z in x 0.169 * [taylor]: Taking taylor expansion of (* z y) in x 0.169 * [taylor]: Taking taylor expansion of z in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y 0.169 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.169 * [taylor]: Taking taylor expansion of 1.0 in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of (* z y) in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.169 * [taylor]: Taking taylor expansion of 1.0 in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [taylor]: Taking taylor expansion of 1 in y 0.169 * [taylor]: Taking taylor expansion of 1 in z 0.169 * [taylor]: Taking taylor expansion of (neg z) in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [taylor]: Taking taylor expansion of 0 in y 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in (x y z) around 0 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 0.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.170 * [taylor]: Taking taylor expansion of 1.0 in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.170 * [taylor]: Taking taylor expansion of x in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.170 * [taylor]: Taking taylor expansion of (* z y) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of y in z 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 0.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 0.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.170 * [taylor]: Taking taylor expansion of 1.0 in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.170 * [taylor]: Taking taylor expansion of z in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.170 * [taylor]: Taking taylor expansion of x in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.170 * [taylor]: Taking taylor expansion of (* z y) in y 0.170 * [taylor]: Taking taylor expansion of z in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 0.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.170 * [taylor]: Taking taylor expansion of 1.0 in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.170 * [taylor]: Taking taylor expansion of z in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.170 * [taylor]: Taking taylor expansion of (* z y) in x 0.171 * [taylor]: Taking taylor expansion of z in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 0.171 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.171 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.171 * [taylor]: Taking taylor expansion of 1.0 in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.171 * [taylor]: Taking taylor expansion of z in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.171 * [taylor]: Taking taylor expansion of (* z y) in x 0.171 * [taylor]: Taking taylor expansion of z in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of 1 in y 0.171 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y 0.171 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.171 * [taylor]: Taking taylor expansion of 1.0 in y 0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.171 * [taylor]: Taking taylor expansion of z in y 0.171 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.171 * [taylor]: Taking taylor expansion of (* z y) in y 0.171 * [taylor]: Taking taylor expansion of z in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.171 * [taylor]: Taking taylor expansion of z in z 0.171 * [taylor]: Taking taylor expansion of 1 in z 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.172 * [taylor]: Taking taylor expansion of 1.0 in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in (x y z) around 0 0.172 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.172 * [taylor]: Taking taylor expansion of (* z y) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of y in z 0.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 0.172 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.172 * [taylor]: Taking taylor expansion of 1.0 in z 0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.173 * [taylor]: Taking taylor expansion of z in z 0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.173 * [taylor]: Taking taylor expansion of x in z 0.173 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in y 0.173 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.173 * [taylor]: Taking taylor expansion of (* z y) in y 0.173 * [taylor]: Taking taylor expansion of z in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 0.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.173 * [taylor]: Taking taylor expansion of 1.0 in y 0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.173 * [taylor]: Taking taylor expansion of z in y 0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.173 * [taylor]: Taking taylor expansion of x in y 0.173 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.173 * [taylor]: Taking taylor expansion of (* z y) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.173 * [taylor]: Taking taylor expansion of 1.0 in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.173 * [taylor]: Taking taylor expansion of (* z y) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.173 * [taylor]: Taking taylor expansion of 1.0 in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (neg 1) in y 0.174 * [taylor]: Taking taylor expansion of 1 in y 0.174 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.174 * [taylor]: Taking taylor expansion of (* z y) in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.174 * [taylor]: Taking taylor expansion of 1.0 in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.174 * [taylor]: Taking taylor expansion of (neg 1) in z 0.174 * [taylor]: Taking taylor expansion of 1 in z 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 0.175 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.175 * [taylor]: Taking taylor expansion of 1.0 in z 0.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.175 * [taylor]: Taking taylor expansion of z in z 0.175 * [taylor]: Taking taylor expansion of 0 in z 0.175 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.175 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 0.175 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.175 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.175 * [taylor]: Taking taylor expansion of t in a 0.175 * [taylor]: Taking taylor expansion of 1.0 in a 0.175 * [taylor]: Taking taylor expansion of a in a 0.175 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.175 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.175 * [taylor]: Taking taylor expansion of t in t 0.175 * [taylor]: Taking taylor expansion of 1.0 in t 0.175 * [taylor]: Taking taylor expansion of a in t 0.175 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.175 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.175 * [taylor]: Taking taylor expansion of t in t 0.175 * [taylor]: Taking taylor expansion of 1.0 in t 0.175 * [taylor]: Taking taylor expansion of a in t 0.175 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.175 * [taylor]: Taking taylor expansion of -1.0 in a 0.175 * [taylor]: Taking taylor expansion of a in a 0.175 * [taylor]: Taking taylor expansion of a in a 0.176 * [taylor]: Taking taylor expansion of 0 in a 0.176 * [taylor]: Taking taylor expansion of 0 in a 0.176 * [taylor]: Taking taylor expansion of 0 in a 0.176 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.176 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.176 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.176 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.176 * [taylor]: Taking taylor expansion of t in a 0.176 * [taylor]: Taking taylor expansion of 1.0 in a 0.176 * [taylor]: Taking taylor expansion of a in a 0.176 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.176 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.176 * [taylor]: Taking taylor expansion of t in t 0.176 * [taylor]: Taking taylor expansion of 1.0 in t 0.176 * [taylor]: Taking taylor expansion of a in t 0.176 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.176 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.176 * [taylor]: Taking taylor expansion of t in t 0.176 * [taylor]: Taking taylor expansion of 1.0 in t 0.176 * [taylor]: Taking taylor expansion of a in t 0.177 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.177 * [taylor]: Taking taylor expansion of a in a 0.177 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a 0.177 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.177 * [taylor]: Taking taylor expansion of 1.0 in a 0.177 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.177 * [taylor]: Taking taylor expansion of a in a 0.177 * [taylor]: Taking taylor expansion of 0 in a 0.177 * [taylor]: Taking taylor expansion of 0 in a 0.178 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.178 * [taylor]: Taking taylor expansion of t in a 0.178 * [taylor]: Taking taylor expansion of 1.0 in a 0.178 * [taylor]: Taking taylor expansion of a in a 0.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.178 * [taylor]: Taking taylor expansion of t in t 0.178 * [taylor]: Taking taylor expansion of 1.0 in t 0.178 * [taylor]: Taking taylor expansion of a in t 0.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.178 * [taylor]: Taking taylor expansion of t in t 0.178 * [taylor]: Taking taylor expansion of 1.0 in t 0.178 * [taylor]: Taking taylor expansion of a in t 0.178 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.178 * [taylor]: Taking taylor expansion of a in a 0.178 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.178 * [taylor]: Taking taylor expansion of 1.0 in a 0.178 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.178 * [taylor]: Taking taylor expansion of a in a 0.179 * [taylor]: Taking taylor expansion of 0 in a 0.179 * [taylor]: Taking taylor expansion of 0 in a 0.179 * * * [progress]: simplifying candidates 0.180 * [simplify]: Simplifying using # : (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z)) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (/ (exp x) (exp (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (* (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (neg (* (- y 1.0) z)) (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ x (* (- y 1.0) z)) (neg (* (- y 1.0) z)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 0.218 * * [simplify]: iteration 0 : 4964 enodes (cost 702 ) 0.218 * * [simplify]: iteration 1 : 4964 enodes (cost 702 ) 0.223 * [simplify]: Simplified to: (* (- y 1.0) z) (log (* (- y 1.0) z)) (log (* (- y 1.0) z)) (pow (exp (- y 1.0)) z) (pow (* (- y 1.0) z) 3) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (- y 1.0) (* z (cbrt (- y 1.0))) (* z (sqrt (- y 1.0))) (* (- y 1.0) z) (* z (- (sqrt y) (sqrt 1.0))) (* (- y 1.0) z) (* z (- (pow y 3) (pow 1.0 3))) (* (- y 1.0) (* z (+ y 1.0))) (* (+ y (- t 2.0)) b) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b))) (* (+ y (- t 2.0)) (sqrt b)) (+ y (- t 2.0)) (* b (cbrt (+ y (- t 2.0)))) (* b (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) b) (* b (- (sqrt (+ y t)) (sqrt 2.0))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* b (- (pow (+ y t) 3) (pow 2.0 3))) (* (+ y (- t 2.0)) (* b (+ y (+ t 2.0)))) (exp (+ x (* z (- 1.0 y)))) (log (+ x (* z (- 1.0 y)))) (exp (+ x (* z (- 1.0 y)))) (* (cbrt (+ x (* z (- 1.0 y)))) (cbrt (+ x (* z (- 1.0 y))))) (cbrt (+ x (* z (- 1.0 y)))) (pow (+ x (* z (- 1.0 y))) 3) (sqrt (+ x (* z (- 1.0 y)))) (sqrt (+ x (* z (- 1.0 y)))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (* z (- 1.0 y)) (+ (* x x) (* (- y 1.0) (* z (* z (- 1.0 y))))) (+ (* (- y 1.0) z) x) (* z (- 1.0 y)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (pow (exp (- t 1.0)) a) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* a (cbrt (- t 1.0))) (* a (sqrt (- t 1.0))) (* (- t 1.0) a) (* a (- (sqrt t) (sqrt 1.0))) (* (- t 1.0) a) (* a (- (pow t 3) (pow 1.0 3))) (* (- t 1.0) (* a (+ 1.0 t))) (* (- y 1.0) z) (* (- y 1.0) z) (* (- y 1.0) z) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (+ x (* z (- 1.0 y))) (+ x (* z (- 1.0 y))) (+ x (* z (- 1.0 y))) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 0.223 * * * [progress]: adding candidates to table 0.330 * * [progress]: iteration 2 / 4 0.330 * * * [progress]: picking best candidate 0.345 * * * * [pick]: Picked # 0.345 * * * [progress]: localizing error 0.369 * * * [progress]: generating rewritten candidates 0.370 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 0.409 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.417 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 0.427 * * * [progress]: generating series expansions 0.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.427 * [approximate]: Taking taylor expansion of (/ (* (- (pow y 3) 1.0) z) (+ (pow y 2) (+ (* 1.0 y) 1.0))) in (z y) around 0 0.427 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) 1.0) z) (+ (pow y 2) (+ (* 1.0 y) 1.0))) in y 0.427 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in y 0.427 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in y 0.427 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.427 * [taylor]: Taking taylor expansion of y in y 0.427 * [taylor]: Taking taylor expansion of 1.0 in y 0.427 * [taylor]: Taking taylor expansion of z in y 0.427 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in y 0.427 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.428 * [taylor]: Taking taylor expansion of y in y 0.428 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in y 0.428 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.428 * [taylor]: Taking taylor expansion of 1.0 in y 0.428 * [taylor]: Taking taylor expansion of y in y 0.428 * [taylor]: Taking taylor expansion of 1.0 in y 0.428 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) 1.0) z) (+ (pow y 2) (+ (* 1.0 y) 1.0))) in z 0.428 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in z 0.428 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in z 0.428 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.428 * [taylor]: Taking taylor expansion of y in z 0.428 * [taylor]: Taking taylor expansion of 1.0 in z 0.428 * [taylor]: Taking taylor expansion of z in z 0.428 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in z 0.428 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.428 * [taylor]: Taking taylor expansion of y in z 0.428 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in z 0.428 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 0.428 * [taylor]: Taking taylor expansion of 1.0 in z 0.428 * [taylor]: Taking taylor expansion of y in z 0.428 * [taylor]: Taking taylor expansion of 1.0 in z 0.429 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 3) 1.0) z) (+ (pow y 2) (+ (* 1.0 y) 1.0))) in z 0.429 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in z 0.429 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in z 0.429 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.429 * [taylor]: Taking taylor expansion of y in z 0.429 * [taylor]: Taking taylor expansion of 1.0 in z 0.429 * [taylor]: Taking taylor expansion of z in z 0.429 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in z 0.429 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.429 * [taylor]: Taking taylor expansion of y in z 0.429 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in z 0.429 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 0.429 * [taylor]: Taking taylor expansion of 1.0 in z 0.429 * [taylor]: Taking taylor expansion of y in z 0.429 * [taylor]: Taking taylor expansion of 1.0 in z 0.430 * [taylor]: Taking taylor expansion of (/ (- (pow y 3) 1.0) (+ (pow y 2) (+ (* 1.0 y) 1.0))) in y 0.430 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in y 0.430 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of 1.0 in y 0.430 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in y 0.430 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in y 0.430 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.430 * [taylor]: Taking taylor expansion of 1.0 in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of 1.0 in y 0.431 * [taylor]: Taking taylor expansion of 0 in y 0.432 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [taylor]: Taking taylor expansion of 0 in y 0.433 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z)) in (z y) around 0 0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z)) in y 0.433 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in y 0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.433 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of 1.0 in y 0.433 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z) in y 0.433 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in y 0.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.433 * [taylor]: Taking taylor expansion of 1.0 in y 0.433 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.433 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.433 * [taylor]: Taking taylor expansion of y in y 0.433 * [taylor]: Taking taylor expansion of 1.0 in y 0.433 * [taylor]: Taking taylor expansion of z in y 0.433 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z)) in z 0.433 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in z 0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.433 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.433 * [taylor]: Taking taylor expansion of y in z 0.434 * [taylor]: Taking taylor expansion of 1.0 in z 0.434 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z) in z 0.434 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in z 0.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 0.434 * [taylor]: Taking taylor expansion of 1.0 in z 0.434 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.434 * [taylor]: Taking taylor expansion of y in z 0.434 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in z 0.434 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 0.434 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.434 * [taylor]: Taking taylor expansion of y in z 0.434 * [taylor]: Taking taylor expansion of 1.0 in z 0.434 * [taylor]: Taking taylor expansion of z in z 0.435 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z)) in z 0.435 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in z 0.435 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.435 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.435 * [taylor]: Taking taylor expansion of y in z 0.435 * [taylor]: Taking taylor expansion of 1.0 in z 0.435 * [taylor]: Taking taylor expansion of (* (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) z) in z 0.435 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in z 0.435 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 0.435 * [taylor]: Taking taylor expansion of 1.0 in z 0.435 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.435 * [taylor]: Taking taylor expansion of y in z 0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in z 0.435 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 0.435 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.435 * [taylor]: Taking taylor expansion of y in z 0.435 * [taylor]: Taking taylor expansion of 1.0 in z 0.435 * [taylor]: Taking taylor expansion of z in z 0.436 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0))) in y 0.436 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.436 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.436 * [taylor]: Taking taylor expansion of 1.0 in y 0.436 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in y 0.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.436 * [taylor]: Taking taylor expansion of 1.0 in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.436 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.436 * [taylor]: Taking taylor expansion of y in y 0.437 * [taylor]: Taking taylor expansion of 1.0 in y 0.438 * [taylor]: Taking taylor expansion of 0 in y 0.439 * [taylor]: Taking taylor expansion of 0 in y 0.441 * [taylor]: Taking taylor expansion of 0 in y 0.443 * [taylor]: Taking taylor expansion of 0 in y 0.444 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))))) in (z y) around 0 0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))))) in y 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.444 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of 1.0 in y 0.444 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y)))) in y 0.444 * [taylor]: Taking taylor expansion of z in y 0.444 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in y 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.444 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of 1.0 in y 0.444 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.444 * [taylor]: Taking taylor expansion of 1.0 in y 0.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))))) in z 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in z 0.444 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.444 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.444 * [taylor]: Taking taylor expansion of y in z 0.444 * [taylor]: Taking taylor expansion of 1.0 in z 0.444 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y)))) in z 0.444 * [taylor]: Taking taylor expansion of z in z 0.444 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in z 0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in z 0.444 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 0.444 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.444 * [taylor]: Taking taylor expansion of y in z 0.445 * [taylor]: Taking taylor expansion of 1.0 in z 0.445 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 0.445 * [taylor]: Taking taylor expansion of 1.0 in z 0.445 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.445 * [taylor]: Taking taylor expansion of y in z 0.446 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))))) in z 0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in z 0.446 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.446 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.446 * [taylor]: Taking taylor expansion of y in z 0.446 * [taylor]: Taking taylor expansion of 1.0 in z 0.446 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y)))) in z 0.446 * [taylor]: Taking taylor expansion of z in z 0.446 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in z 0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in z 0.446 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 0.446 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.446 * [taylor]: Taking taylor expansion of y in z 0.446 * [taylor]: Taking taylor expansion of 1.0 in z 0.446 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 0.446 * [taylor]: Taking taylor expansion of 1.0 in z 0.446 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.446 * [taylor]: Taking taylor expansion of y in z 0.447 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y)))) in y 0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in y 0.447 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.447 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of 1.0 in y 0.447 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in y 0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.447 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.447 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of 1.0 in y 0.447 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.447 * [taylor]: Taking taylor expansion of 1.0 in y 0.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of 0 in y 0.450 * [taylor]: Taking taylor expansion of 0 in y 0.452 * [taylor]: Taking taylor expansion of 0 in y 0.454 * [taylor]: Taking taylor expansion of 0 in y 0.454 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 0.454 * [approximate]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in (z y) around 0 0.454 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in y 0.454 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in y 0.454 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.454 * [taylor]: Taking taylor expansion of y in y 0.454 * [taylor]: Taking taylor expansion of 1.0 in y 0.454 * [taylor]: Taking taylor expansion of z in y 0.454 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in z 0.454 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in z 0.454 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.454 * [taylor]: Taking taylor expansion of y in z 0.454 * [taylor]: Taking taylor expansion of 1.0 in z 0.455 * [taylor]: Taking taylor expansion of z in z 0.455 * [taylor]: Taking taylor expansion of (* (- (pow y 3) 1.0) z) in z 0.455 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in z 0.455 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.455 * [taylor]: Taking taylor expansion of y in z 0.455 * [taylor]: Taking taylor expansion of 1.0 in z 0.455 * [taylor]: Taking taylor expansion of z in z 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [taylor]: Taking taylor expansion of (- (pow y 3) 1.0) in y 0.455 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.455 * [taylor]: Taking taylor expansion of y in y 0.455 * [taylor]: Taking taylor expansion of 1.0 in y 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.456 * [taylor]: Taking taylor expansion of 0 in y 0.456 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) z) in (z y) around 0 0.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) z) in y 0.456 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in y 0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.456 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.456 * [taylor]: Taking taylor expansion of 1.0 in y 0.456 * [taylor]: Taking taylor expansion of z in y 0.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) z) in z 0.456 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in z 0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.456 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.456 * [taylor]: Taking taylor expansion of y in z 0.456 * [taylor]: Taking taylor expansion of 1.0 in z 0.456 * [taylor]: Taking taylor expansion of z in z 0.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 3)) 1.0) z) in z 0.457 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in z 0.457 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.457 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.457 * [taylor]: Taking taylor expansion of y in z 0.457 * [taylor]: Taking taylor expansion of 1.0 in z 0.457 * [taylor]: Taking taylor expansion of z in z 0.457 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3)) 1.0) in y 0.457 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.457 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.457 * [taylor]: Taking taylor expansion of y in y 0.457 * [taylor]: Taking taylor expansion of 1.0 in y 0.457 * [taylor]: Taking taylor expansion of 0 in y 0.458 * [taylor]: Taking taylor expansion of 0 in y 0.458 * [taylor]: Taking taylor expansion of 0 in y 0.459 * [taylor]: Taking taylor expansion of 0 in y 0.460 * [taylor]: Taking taylor expansion of 0 in y 0.461 * [taylor]: Taking taylor expansion of 0 in y 0.461 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) z) in (z y) around 0 0.461 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) z) in y 0.461 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in y 0.461 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.461 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.461 * [taylor]: Taking taylor expansion of y in y 0.461 * [taylor]: Taking taylor expansion of 1.0 in y 0.462 * [taylor]: Taking taylor expansion of z in y 0.462 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) z) in z 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in z 0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.462 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.462 * [taylor]: Taking taylor expansion of y in z 0.462 * [taylor]: Taking taylor expansion of 1.0 in z 0.462 * [taylor]: Taking taylor expansion of z in z 0.462 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 3)) 1.0) z) in z 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in z 0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 0.462 * [taylor]: Taking taylor expansion of (pow y 3) in z 0.462 * [taylor]: Taking taylor expansion of y in z 0.462 * [taylor]: Taking taylor expansion of 1.0 in z 0.462 * [taylor]: Taking taylor expansion of z in z 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 3)) 1.0) in y 0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 0.462 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.462 * [taylor]: Taking taylor expansion of y in y 0.462 * [taylor]: Taking taylor expansion of 1.0 in y 0.463 * [taylor]: Taking taylor expansion of 0 in y 0.463 * [taylor]: Taking taylor expansion of 0 in y 0.464 * [taylor]: Taking taylor expansion of 0 in y 0.465 * [taylor]: Taking taylor expansion of 0 in y 0.465 * [taylor]: Taking taylor expansion of 0 in y 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.467 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.467 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 0.467 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.467 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.467 * [taylor]: Taking taylor expansion of (+ t y) in b 0.467 * [taylor]: Taking taylor expansion of t in b 0.467 * [taylor]: Taking taylor expansion of y in b 0.467 * [taylor]: Taking taylor expansion of 2.0 in b 0.467 * [taylor]: Taking taylor expansion of b in b 0.467 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.467 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.467 * [taylor]: Taking taylor expansion of (+ t y) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of y in t 0.467 * [taylor]: Taking taylor expansion of 2.0 in t 0.467 * [taylor]: Taking taylor expansion of b in t 0.467 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.467 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.467 * [taylor]: Taking taylor expansion of (+ t y) in y 0.467 * [taylor]: Taking taylor expansion of t in y 0.467 * [taylor]: Taking taylor expansion of y in y 0.467 * [taylor]: Taking taylor expansion of 2.0 in y 0.467 * [taylor]: Taking taylor expansion of b in y 0.467 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.467 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.467 * [taylor]: Taking taylor expansion of (+ t y) in y 0.467 * [taylor]: Taking taylor expansion of t in y 0.467 * [taylor]: Taking taylor expansion of y in y 0.467 * [taylor]: Taking taylor expansion of 2.0 in y 0.467 * [taylor]: Taking taylor expansion of b in y 0.467 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 0.467 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.467 * [taylor]: Taking taylor expansion of t in t 0.467 * [taylor]: Taking taylor expansion of 2.0 in t 0.467 * [taylor]: Taking taylor expansion of b in t 0.467 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 0.467 * [taylor]: Taking taylor expansion of -2.0 in b 0.467 * [taylor]: Taking taylor expansion of b in b 0.467 * [taylor]: Taking taylor expansion of b in t 0.467 * [taylor]: Taking taylor expansion of b in b 0.468 * [taylor]: Taking taylor expansion of b in b 0.468 * [taylor]: Taking taylor expansion of 0 in t 0.468 * [taylor]: Taking taylor expansion of 0 in b 0.468 * [taylor]: Taking taylor expansion of 0 in b 0.468 * [taylor]: Taking taylor expansion of 0 in b 0.468 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 0.468 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.468 * [taylor]: Taking taylor expansion of y in b 0.468 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.468 * [taylor]: Taking taylor expansion of t in b 0.468 * [taylor]: Taking taylor expansion of 2.0 in b 0.468 * [taylor]: Taking taylor expansion of b in b 0.468 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.468 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.468 * [taylor]: Taking taylor expansion of y 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 * [taylor]: Taking taylor expansion of 2.0 in t 0.469 * [taylor]: Taking taylor expansion of b in t 0.469 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.469 * [taylor]: Taking taylor expansion of y in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.469 * [taylor]: Taking taylor expansion of t in y 0.469 * [taylor]: Taking taylor expansion of 2.0 in y 0.469 * [taylor]: Taking taylor expansion of b in y 0.469 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.469 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.469 * [taylor]: Taking taylor expansion of y in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.469 * [taylor]: Taking taylor expansion of t in y 0.469 * [taylor]: Taking taylor expansion of 2.0 in y 0.469 * [taylor]: Taking taylor expansion of b in y 0.469 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.469 * [taylor]: Taking taylor expansion of b in t 0.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.469 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.469 * [taylor]: Taking taylor expansion of (* t b) in t 0.469 * [taylor]: Taking taylor expansion of t in t 0.469 * [taylor]: Taking taylor expansion of b in t 0.469 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.469 * [taylor]: Taking taylor expansion of 2.0 in t 0.469 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.470 * [taylor]: Taking taylor expansion of b in t 0.470 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.470 * [taylor]: Taking taylor expansion of b in b 0.470 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.470 * [taylor]: Taking taylor expansion of b in b 0.470 * [taylor]: Taking taylor expansion of 0 in t 0.470 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 0.470 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.470 * [taylor]: Taking taylor expansion of 2.0 in b 0.470 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.470 * [taylor]: Taking taylor expansion of b in b 0.471 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 0.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.471 * [taylor]: Taking taylor expansion of y in b 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.471 * [taylor]: Taking taylor expansion of t in b 0.471 * [taylor]: Taking taylor expansion of 2.0 in b 0.471 * [taylor]: Taking taylor expansion of b in b 0.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.471 * [taylor]: Taking taylor expansion of y in t 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.471 * [taylor]: Taking taylor expansion of t in t 0.471 * [taylor]: Taking taylor expansion of 2.0 in t 0.471 * [taylor]: Taking taylor expansion of b in t 0.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.471 * [taylor]: Taking taylor expansion of y in y 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.471 * [taylor]: Taking taylor expansion of t in y 0.471 * [taylor]: Taking taylor expansion of 2.0 in y 0.471 * [taylor]: Taking taylor expansion of b in y 0.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.471 * [taylor]: Taking taylor expansion of y in y 0.471 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.471 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.471 * [taylor]: Taking taylor expansion of t in y 0.471 * [taylor]: Taking taylor expansion of 2.0 in y 0.471 * [taylor]: Taking taylor expansion of b in y 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.472 * [taylor]: Taking taylor expansion of b in t 0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.472 * [taylor]: Taking taylor expansion of (* t b) in t 0.472 * [taylor]: Taking taylor expansion of t in t 0.472 * [taylor]: Taking taylor expansion of b in t 0.472 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.472 * [taylor]: Taking taylor expansion of 2.0 in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.472 * [taylor]: Taking taylor expansion of b in t 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.472 * [taylor]: Taking taylor expansion of b in b 0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.472 * [taylor]: Taking taylor expansion of b in b 0.472 * [taylor]: Taking taylor expansion of 0 in t 0.472 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.473 * [taylor]: Taking taylor expansion of 2.0 in b 0.473 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.473 * [taylor]: Taking taylor expansion of b in b 0.473 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 0.473 * [approximate]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in (y) around 0 0.473 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in y 0.473 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in y 0.473 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.473 * [taylor]: Taking taylor expansion of 1.0 in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of 1.0 in y 0.473 * [taylor]: Taking taylor expansion of (+ (pow y 2) (+ (* 1.0 y) 1.0)) in y 0.473 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) 1.0) in y 0.473 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.473 * [taylor]: Taking taylor expansion of 1.0 in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in (y) around 0 0.474 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in y 0.474 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (/ 1 (pow y 2)) 1.0)) in y 0.474 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.474 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.474 * [taylor]: Taking taylor expansion of y in y 0.474 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in (y) around 0 0.475 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in y 0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.475 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.475 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) 1.0) (* 1.0 (/ 1 y))) in y 0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) 1.0) in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.475 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.475 * [taylor]: Taking taylor expansion of 1.0 in y 0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.475 * [taylor]: Taking taylor expansion of y in y 0.475 * * * [progress]: simplifying candidates 0.477 * [simplify]: Simplifying using # : (- (+ (log z) (log (- (pow y 3) (pow 1.0 3)))) (log (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (- (log (* z (- (pow y 3) (pow 1.0 3)))) (log (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (log (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (exp (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ (* (* (* z z) z) (* (* (- (pow y 3) (pow 1.0 3)) (- (pow y 3) (pow 1.0 3))) (- (pow y 3) (pow 1.0 3)))) (* (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ (* (* (* z (- (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3)))) (* z (- (pow y 3) (pow 1.0 3)))) (* (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (cbrt (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))) (cbrt (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (* (* (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (sqrt (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (sqrt (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (neg (* z (- (pow y 3) (pow 1.0 3)))) (neg (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (/ z (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))) (/ (- (pow y 3) (pow 1.0 3)) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ z (sqrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ (- (pow y 3) (pow 1.0 3)) (sqrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ z 1) (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (/ 1 (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (/ (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (* z (- (pow y 3) (pow 1.0 3)))) (/ (* z (- (pow y 3) (pow 1.0 3))) (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))))) (/ (* z (- (pow y 3) (pow 1.0 3))) (sqrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (/ (* z (- (pow y 3) (pow 1.0 3))) 1) (/ (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (- (pow y 3) (pow 1.0 3))) (/ (* z (- (pow y 3) (pow 1.0 3))) (+ (pow (* y y) 3) (pow (+ (* 1.0 1.0) (* y 1.0)) 3))) (/ (* z (- (pow y 3) (pow 1.0 3))) (- (* (* y y) (* y y)) (* (+ (* 1.0 1.0) (* y 1.0)) (+ (* 1.0 1.0) (* y 1.0))))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* (pow y 3) (pow y 3)) (+ (* (pow 1.0 3) (pow 1.0 3)) (* (pow y 3) (pow 1.0 3))))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3))) (+ (log z) (log (- (pow y 3) (pow 1.0 3)))) (log (* z (- (pow y 3) (pow 1.0 3)))) (exp (* z (- (pow y 3) (pow 1.0 3)))) (* (* (* z z) z) (* (* (- (pow y 3) (pow 1.0 3)) (- (pow y 3) (pow 1.0 3))) (- (pow y 3) (pow 1.0 3)))) (* (cbrt (* z (- (pow y 3) (pow 1.0 3)))) (cbrt (* z (- (pow y 3) (pow 1.0 3))))) (cbrt (* z (- (pow y 3) (pow 1.0 3)))) (* (* (* z (- (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3)))) (* z (- (pow y 3) (pow 1.0 3)))) (sqrt (* z (- (pow y 3) (pow 1.0 3)))) (sqrt (* z (- (pow y 3) (pow 1.0 3)))) (* (sqrt z) (sqrt (- (pow y 3) (pow 1.0 3)))) (* (sqrt z) (sqrt (- (pow y 3) (pow 1.0 3)))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* (pow y 3) z) (* (neg (pow 1.0 3)) z) (* (pow y 3) z) (* (neg (pow 1.0 3)) z) (* z (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (* z (sqrt (- (pow y 3) (pow 1.0 3)))) (* z (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* z 1) (* z (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3))) (* z (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3))) (* z (+ (pow (sqrt y) 3) (sqrt (pow 1.0 3)))) (* z (+ (pow (sqrt y) 3) (pow 1.0 (/ 3 2)))) (* z (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3))) (* z (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3))) (* z (+ (pow (sqrt y) 3) (sqrt (pow 1.0 3)))) (* z (+ (pow (sqrt y) 3) (pow 1.0 (/ 3 2)))) (* z (+ (sqrt (pow y 3)) (pow (sqrt 1.0) 3))) (* z (+ (sqrt (pow y 3)) (pow (sqrt 1.0) 3))) (* z (+ (sqrt (pow y 3)) (sqrt (pow 1.0 3)))) (* z (+ (sqrt (pow y 3)) (pow 1.0 (/ 3 2)))) (* z (+ (pow y (/ 3 2)) (pow (sqrt 1.0) 3))) (* z (+ (pow y (/ 3 2)) (pow (sqrt 1.0) 3))) (* z (+ (pow y (/ 3 2)) (sqrt (pow 1.0 3)))) (* z (+ (pow y (/ 3 2)) (pow 1.0 (/ 3 2)))) (* z (pow 1 3)) (* z (pow 1 3)) (* z (pow 1 3)) (* z (pow 1 3)) (* z 1) (* (cbrt z) (- (pow y 3) (pow 1.0 3))) (* (sqrt z) (- (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3))) (* z (- (pow (pow y 3) 3) (pow (pow 1.0 3) 3))) (* z (- (* (pow y 3) (pow y 3)) (* (pow 1.0 3) (pow 1.0 3)))) (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (exp (* y y)) (* (exp (* 1.0 1.0)) (exp (* y 1.0)))) (* (exp (* y y)) (exp (+ (* 1.0 1.0) (* y 1.0)))) (log (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (exp (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (cbrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (* (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (sqrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (sqrt (+ (* y y) (+ (* 1.0 1.0) (* y 1.0)))) (+ (pow (* y y) 3) (pow (+ (* 1.0 1.0) (* y 1.0)) 3)) (+ (* (* y y) (* y y)) (- (* (+ (* 1.0 1.0) (* y 1.0)) (+ (* 1.0 1.0) (* y 1.0))) (* (* y y) (+ (* 1.0 1.0) (* y 1.0))))) (- (* (* y y) (* y y)) (* (+ (* 1.0 1.0) (* y 1.0)) (+ (* 1.0 1.0) (* y 1.0)))) (- (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* y y) (* 1.0 1.0)) (- (* 1.0 (* z y)) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (* -1.0 z) (- (* z (pow y 3)) (* 1.0 z)) (- (* z (pow y 3)) (* 1.0 z)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (+ (pow y 2) (+ (* 1.0 y) 1.0)) (+ (pow y 2) (+ (* 1.0 y) 1.0)) (+ (pow y 2) (+ (* 1.0 y) 1.0)) 0.528 * * [simplify]: iteration 0 : 5039 enodes (cost 1423 ) 0.533 * [simplify]: Simplified to: (log (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (log (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (log (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (pow (exp (/ z (+ (* y y) (* 1.0 (+ y 1.0))))) (- (pow y 3) (pow 1.0 3))) (pow (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z) 3) (pow (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z) 3) (* (cbrt (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (cbrt (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z))) (cbrt (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (pow (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z) 3) (sqrt (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (sqrt (* (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) z)) (* z (- (pow 1.0 3) (pow y 3))) (- (* 1.0 (neg (+ y 1.0))) (* y y)) (/ z (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))))) (/ (- (pow y 3) (pow 1.0 3)) (cbrt (+ (* y y) (* 1.0 (+ y 1.0))))) (/ z (sqrt (+ (* y y) (* 1.0 (+ y 1.0))))) (/ (- (pow y 3) (pow 1.0 3)) (sqrt (+ (* y y) (* 1.0 (+ y 1.0))))) z (/ (- (pow y 3) (pow 1.0 3)) (+ (* y y) (* 1.0 (+ y 1.0)))) (/ 1 (+ (* y y) (* 1.0 (+ y 1.0)))) (/ (+ (* y y) (* 1.0 (+ y 1.0))) (* z (- (pow y 3) (pow 1.0 3)))) (* (/ z (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))))) (- (pow y 3) (pow 1.0 3))) (* (/ z (sqrt (+ (* y y) (* 1.0 (+ y 1.0))))) (- (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3))) (/ (+ (* y y) (* 1.0 (+ y 1.0))) (- (pow y 3) (pow 1.0 3))) (* (/ z (+ (pow y 6) (pow (* 1.0 (+ y 1.0)) 3))) (- (pow y 3) (pow 1.0 3))) (* (/ z (- (pow y 4) (* 1.0 (* (+ y 1.0) (* 1.0 (+ y 1.0)))))) (- (pow y 3) (pow 1.0 3))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (+ (pow y 6) (+ (pow 1.0 6) (* (pow y 3) (pow 1.0 3))))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (+ (pow y 3) (pow 1.0 3))) (* z (- (pow y 3) (pow 1.0 3))) (log (* z (- (pow y 3) (pow 1.0 3)))) (log (* z (- (pow y 3) (pow 1.0 3)))) (pow (exp z) (- (pow y 3) (pow 1.0 3))) (pow (* z (- (pow y 3) (pow 1.0 3))) 3) (* (cbrt (* z (- (pow y 3) (pow 1.0 3)))) (cbrt (* z (- (pow y 3) (pow 1.0 3))))) (cbrt (* z (- (pow y 3) (pow 1.0 3)))) (pow (* z (- (pow y 3) (pow 1.0 3))) 3) (sqrt (* z (- (pow y 3) (pow 1.0 3)))) (sqrt (* z (- (pow y 3) (pow 1.0 3)))) (* (sqrt z) (sqrt (- (pow y 3) (pow 1.0 3)))) (* (sqrt z) (sqrt (- (pow y 3) (pow 1.0 3)))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* z (pow y 3)) (* z (neg (pow 1.0 3))) (* z (* (cbrt (- (pow y 3) (pow 1.0 3))) (cbrt (- (pow y 3) (pow 1.0 3))))) (* z (sqrt (- (pow y 3) (pow 1.0 3)))) (* z (+ (* y y) (* 1.0 (+ y 1.0)))) z (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (sqrt (pow 1.0 3)))) (* z (+ (pow y 3/2) (pow 1.0 3/2))) (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (sqrt (pow 1.0 3)))) (* z (+ (pow y 3/2) (pow 1.0 3/2))) (* z (+ (* 1.0 (sqrt 1.0)) (sqrt (pow y 3)))) (* z (+ (* 1.0 (sqrt 1.0)) (sqrt (pow y 3)))) (* z (+ (sqrt (pow 1.0 3)) (sqrt (pow y 3)))) (* z (+ (pow 1.0 3/2) (sqrt (pow y 3)))) (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (+ (pow y 3/2) (sqrt (pow 1.0 3)))) (* z (+ (pow y 3/2) (pow 1.0 3/2))) z z z z z (* (- (pow y 3) (pow 1.0 3)) (cbrt z)) (* (- (pow y 3) (pow 1.0 3)) (sqrt z)) (* z (- (pow y 3) (pow 1.0 3))) (* z (- (pow (pow y 3) 3) (pow (pow 1.0 3) 3))) (* z (- (pow y 6) (pow 1.0 6))) (* (+ y (- t 2.0)) b) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b))) (* (+ y (- t 2.0)) (sqrt b)) (+ y (- t 2.0)) (* b (cbrt (+ y (- t 2.0)))) (* b (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) b) (* b (- (sqrt (+ y t)) (sqrt 2.0))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* b (- (pow (+ y t) 3) (pow 2.0 3))) (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (exp (+ (* y y) (* 1.0 (+ y 1.0)))) (exp (+ (* y y) (* 1.0 (+ y 1.0)))) (log (+ (* y y) (* 1.0 (+ y 1.0)))) (exp (+ (* y y) (* 1.0 (+ y 1.0)))) (* (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (cbrt (+ (* y y) (* 1.0 (+ y 1.0))))) (cbrt (+ (* y y) (* 1.0 (+ y 1.0)))) (pow (+ (* y y) (* 1.0 (+ y 1.0))) 3) (sqrt (+ (* y y) (* 1.0 (+ y 1.0)))) (sqrt (+ (* y y) (* 1.0 (+ y 1.0)))) (+ (pow y 6) (pow (* 1.0 (+ y 1.0)) 3)) (+ (pow y 4) (* 1.0 (* (+ y 1.0) (+ (* 1.0 1.0) (* y (- 1.0 y)))))) (- (pow y 4) (* 1.0 (* (+ y 1.0) (* 1.0 (+ y 1.0))))) (- (* y y) (* 1.0 (+ y 1.0))) (+ (* y y) (* 1.0 1.0)) (* z (- (* y 1.0) 1.0)) (* z (- y 1.0)) (* z (- y 1.0)) (* z -1.0) (* z (- (pow y 3) 1.0)) (* z (- (pow y 3) 1.0)) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (+ 1.0 (* y (+ y 1.0))) (+ 1.0 (* y (+ y 1.0))) (+ 1.0 (* y (+ y 1.0))) 0.533 * * * [progress]: adding candidates to table 0.768 * * [progress]: iteration 3 / 4 0.768 * * * [progress]: picking best candidate 0.779 * * * * [pick]: Picked # 0.779 * * * [progress]: localizing error 0.798 * * * [progress]: generating rewritten candidates 0.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 0.813 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 0.822 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.831 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.843 * * * [progress]: generating series expansions 0.843 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 0.844 * [approximate]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in (y z) around 0 0.844 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in z 0.844 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z 0.844 * [taylor]: Taking taylor expansion of (sqrt y) in z 0.844 * [taylor]: Taking taylor expansion of y in z 0.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.844 * [taylor]: Taking taylor expansion of 1.0 in z 0.844 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in z 0.844 * [taylor]: Taking taylor expansion of z in z 0.844 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in z 0.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.844 * [taylor]: Taking taylor expansion of 1.0 in z 0.844 * [taylor]: Taking taylor expansion of (sqrt y) in z 0.844 * [taylor]: Taking taylor expansion of y in z 0.844 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in y 0.844 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y 0.844 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.844 * [taylor]: Taking taylor expansion of y in y 0.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.844 * [taylor]: Taking taylor expansion of 1.0 in y 0.844 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in y 0.844 * [taylor]: Taking taylor expansion of z in y 0.844 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y 0.844 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.844 * [taylor]: Taking taylor expansion of 1.0 in y 0.844 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.844 * [taylor]: Taking taylor expansion of y in y 0.844 * [taylor]: Taking taylor expansion of (* (- (sqrt y) (sqrt 1.0)) (* z (+ (sqrt 1.0) (sqrt y)))) in y 0.844 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y 0.844 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.845 * [taylor]: Taking taylor expansion of y in y 0.845 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.845 * [taylor]: Taking taylor expansion of 1.0 in y 0.845 * [taylor]: Taking taylor expansion of (* z (+ (sqrt 1.0) (sqrt y))) in y 0.845 * [taylor]: Taking taylor expansion of z in y 0.845 * [taylor]: Taking taylor expansion of (+ (sqrt 1.0) (sqrt y)) in y 0.845 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.845 * [taylor]: Taking taylor expansion of 1.0 in y 0.845 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.845 * [taylor]: Taking taylor expansion of y in y 0.845 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 1.0) 2) z)) in z 0.845 * [taylor]: Taking taylor expansion of -1 in z 0.845 * [taylor]: Taking taylor expansion of (* (pow (sqrt 1.0) 2) z) in z 0.845 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z 0.845 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.845 * [taylor]: Taking taylor expansion of 1.0 in z 0.845 * [taylor]: Taking taylor expansion of z in z 0.845 * [taylor]: Taking taylor expansion of 0 in z 0.847 * [taylor]: Taking taylor expansion of (- (+ (* (pow NAN 2) z) (* z (* (pow NAN 3) (sqrt 1.0)))) (* (pow NAN 3) (* z (sqrt 1.0)))) in z 0.847 * [taylor]: Taking taylor expansion of (+ (* (pow NAN 2) z) (* z (* (pow NAN 3) (sqrt 1.0)))) in z 0.847 * [taylor]: Taking taylor expansion of (* (pow NAN 2) z) in z 0.847 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 0.847 * [taylor]: Taking taylor expansion of NAN in z 0.847 * [taylor]: Taking taylor expansion of z in z 0.847 * [taylor]: Taking taylor expansion of (* z (* (pow NAN 3) (sqrt 1.0))) in z 0.847 * [taylor]: Taking taylor expansion of z in z 0.847 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (sqrt 1.0)) in z 0.847 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 0.847 * [taylor]: Taking taylor expansion of NAN in z 0.847 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.847 * [taylor]: Taking taylor expansion of 1.0 in z 0.847 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (* z (sqrt 1.0))) in z 0.847 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 0.847 * [taylor]: Taking taylor expansion of NAN in z 0.847 * [taylor]: Taking taylor expansion of (* z (sqrt 1.0)) in z 0.847 * [taylor]: Taking taylor expansion of z in z 0.847 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.847 * [taylor]: Taking taylor expansion of 1.0 in z 0.849 * [taylor]: Taking taylor expansion of (* 2 (* (pow NAN 4) z)) in z 0.849 * [taylor]: Taking taylor expansion of 2 in z 0.849 * [taylor]: Taking taylor expansion of (* (pow NAN 4) z) in z 0.849 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 0.849 * [taylor]: Taking taylor expansion of NAN in z 0.849 * [taylor]: Taking taylor expansion of z in z 0.852 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* (pow NAN 6) z)) (* z (* (pow NAN 7) (sqrt 1.0)))) (* (pow NAN 7) (* z (sqrt 1.0)))) in z 0.852 * [taylor]: Taking taylor expansion of (+ (* 3 (* (pow NAN 6) z)) (* z (* (pow NAN 7) (sqrt 1.0)))) in z 0.852 * [taylor]: Taking taylor expansion of (* 3 (* (pow NAN 6) z)) in z 0.852 * [taylor]: Taking taylor expansion of 3 in z 0.852 * [taylor]: Taking taylor expansion of (* (pow NAN 6) z) in z 0.852 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 0.852 * [taylor]: Taking taylor expansion of NAN in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.852 * [taylor]: Taking taylor expansion of (* z (* (pow NAN 7) (sqrt 1.0))) in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.852 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (sqrt 1.0)) in z 0.852 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 0.852 * [taylor]: Taking taylor expansion of NAN in z 0.852 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.852 * [taylor]: Taking taylor expansion of 1.0 in z 0.852 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (* z (sqrt 1.0))) in z 0.852 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 0.852 * [taylor]: Taking taylor expansion of NAN in z 0.852 * [taylor]: Taking taylor expansion of (* z (sqrt 1.0)) in z 0.852 * [taylor]: Taking taylor expansion of z in z 0.852 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.852 * [taylor]: Taking taylor expansion of 1.0 in z 0.854 * [approximate]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in (y z) around 0 0.854 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in z 0.854 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in z 0.854 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z 0.854 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 0.854 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.854 * [taylor]: Taking taylor expansion of y in z 0.854 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.854 * [taylor]: Taking taylor expansion of 1.0 in z 0.854 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in z 0.854 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 0.854 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.854 * [taylor]: Taking taylor expansion of y in z 0.854 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.854 * [taylor]: Taking taylor expansion of 1.0 in z 0.855 * [taylor]: Taking taylor expansion of z in z 0.855 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y 0.855 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y 0.855 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.855 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.855 * [taylor]: Taking taylor expansion of y in y 0.855 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.855 * [taylor]: Taking taylor expansion of 1.0 in y 0.855 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.855 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.855 * [taylor]: Taking taylor expansion of y in y 0.855 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.855 * [taylor]: Taking taylor expansion of 1.0 in y 0.855 * [taylor]: Taking taylor expansion of z in y 0.856 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) z) in y 0.856 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ 1 y)) (sqrt 1.0)) (+ (sqrt (/ 1 y)) (sqrt 1.0))) in y 0.856 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.856 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.856 * [taylor]: Taking taylor expansion of y in y 0.856 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.856 * [taylor]: Taking taylor expansion of 1.0 in y 0.856 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.856 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.856 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.856 * [taylor]: Taking taylor expansion of y in y 0.856 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.856 * [taylor]: Taking taylor expansion of 1.0 in y 0.857 * [taylor]: Taking taylor expansion of z in y 0.857 * [taylor]: Taking taylor expansion of (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z) in z 0.857 * [taylor]: Taking taylor expansion of (- (pow NAN 2) (pow (sqrt 1.0) 2)) in z 0.857 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 0.857 * [taylor]: Taking taylor expansion of NAN in z 0.857 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z 0.857 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.857 * [taylor]: Taking taylor expansion of 1.0 in z 0.857 * [taylor]: Taking taylor expansion of z in z 0.859 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) z)) in z 0.859 * [taylor]: Taking taylor expansion of 2 in z 0.859 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) z) in z 0.859 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 0.859 * [taylor]: Taking taylor expansion of NAN in z 0.859 * [taylor]: Taking taylor expansion of z in z 0.861 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z 0.861 * [taylor]: Taking taylor expansion of 3 in z 0.861 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z 0.861 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 0.861 * [taylor]: Taking taylor expansion of NAN in z 0.861 * [taylor]: Taking taylor expansion of z in z 0.862 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in (y z) around 0 0.862 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in z 0.862 * [taylor]: Taking taylor expansion of -1 in z 0.862 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in z 0.862 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in z 0.862 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z 0.862 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 0.862 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.862 * [taylor]: Taking taylor expansion of -1 in z 0.862 * [taylor]: Taking taylor expansion of y in z 0.863 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.863 * [taylor]: Taking taylor expansion of 1.0 in z 0.863 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in z 0.863 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 0.863 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.863 * [taylor]: Taking taylor expansion of -1 in z 0.863 * [taylor]: Taking taylor expansion of y in z 0.863 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.863 * [taylor]: Taking taylor expansion of 1.0 in z 0.863 * [taylor]: Taking taylor expansion of z in z 0.863 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in y 0.863 * [taylor]: Taking taylor expansion of -1 in y 0.863 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y 0.863 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y 0.863 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.863 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.863 * [taylor]: Taking taylor expansion of -1 in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.863 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.863 * [taylor]: Taking taylor expansion of 1.0 in y 0.863 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.863 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.863 * [taylor]: Taking taylor expansion of -1 in y 0.863 * [taylor]: Taking taylor expansion of y in y 0.864 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.864 * [taylor]: Taking taylor expansion of 1.0 in y 0.864 * [taylor]: Taking taylor expansion of z in y 0.864 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z)) in y 0.864 * [taylor]: Taking taylor expansion of -1 in y 0.864 * [taylor]: Taking taylor expansion of (/ (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) z) in y 0.864 * [taylor]: Taking taylor expansion of (* (- (sqrt (/ -1 y)) (sqrt 1.0)) (+ (sqrt (/ -1 y)) (sqrt 1.0))) in y 0.864 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.864 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.865 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.865 * [taylor]: Taking taylor expansion of -1 in y 0.865 * [taylor]: Taking taylor expansion of y in y 0.865 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.865 * [taylor]: Taking taylor expansion of 1.0 in y 0.865 * [taylor]: Taking taylor expansion of (+ (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.865 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.865 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.865 * [taylor]: Taking taylor expansion of -1 in y 0.865 * [taylor]: Taking taylor expansion of y in y 0.865 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.865 * [taylor]: Taking taylor expansion of 1.0 in y 0.865 * [taylor]: Taking taylor expansion of z in y 0.866 * [taylor]: Taking taylor expansion of (* -1 (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z)) in z 0.866 * [taylor]: Taking taylor expansion of -1 in z 0.866 * [taylor]: Taking taylor expansion of (/ (- (pow NAN 2) (pow (sqrt 1.0) 2)) z) in z 0.866 * [taylor]: Taking taylor expansion of (- (pow NAN 2) (pow (sqrt 1.0) 2)) in z 0.866 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 0.866 * [taylor]: Taking taylor expansion of NAN in z 0.866 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in z 0.866 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.866 * [taylor]: Taking taylor expansion of 1.0 in z 0.866 * [taylor]: Taking taylor expansion of z in z 0.868 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (pow NAN 4) z))) in z 0.868 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) z)) in z 0.868 * [taylor]: Taking taylor expansion of 2 in z 0.868 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) z) in z 0.868 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 0.868 * [taylor]: Taking taylor expansion of NAN in z 0.868 * [taylor]: Taking taylor expansion of z in z 0.871 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (pow NAN 6) z))) in z 0.871 * [taylor]: Taking taylor expansion of (* 3 (/ (pow NAN 6) z)) in z 0.871 * [taylor]: Taking taylor expansion of 3 in z 0.871 * [taylor]: Taking taylor expansion of (/ (pow NAN 6) z) in z 0.871 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 0.871 * [taylor]: Taking taylor expansion of NAN in z 0.871 * [taylor]: Taking taylor expansion of z in z 0.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 0.872 * [approximate]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in (z y) around 0 0.872 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in y 0.872 * [taylor]: Taking taylor expansion of z in y 0.872 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y 0.872 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.872 * [taylor]: Taking taylor expansion of y in y 0.872 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.872 * [taylor]: Taking taylor expansion of 1.0 in y 0.872 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in z 0.872 * [taylor]: Taking taylor expansion of z in z 0.872 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z 0.872 * [taylor]: Taking taylor expansion of (sqrt y) in z 0.872 * [taylor]: Taking taylor expansion of y in z 0.872 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.872 * [taylor]: Taking taylor expansion of 1.0 in z 0.872 * [taylor]: Taking taylor expansion of (* z (- (sqrt y) (sqrt 1.0))) in z 0.872 * [taylor]: Taking taylor expansion of z in z 0.872 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in z 0.872 * [taylor]: Taking taylor expansion of (sqrt y) in z 0.872 * [taylor]: Taking taylor expansion of y in z 0.872 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.872 * [taylor]: Taking taylor expansion of 1.0 in z 0.873 * [taylor]: Taking taylor expansion of 0 in y 0.873 * [taylor]: Taking taylor expansion of (- (sqrt y) (sqrt 1.0)) in y 0.873 * [taylor]: Taking taylor expansion of (sqrt y) in y 0.873 * [taylor]: Taking taylor expansion of y in y 0.873 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.873 * [taylor]: Taking taylor expansion of 1.0 in y 0.873 * [taylor]: Taking taylor expansion of 0 in y 0.873 * [taylor]: Taking taylor expansion of 0 in y 0.874 * [approximate]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in (z y) around 0 0.874 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in y 0.874 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.874 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.874 * [taylor]: Taking taylor expansion of y in y 0.874 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.874 * [taylor]: Taking taylor expansion of 1.0 in y 0.874 * [taylor]: Taking taylor expansion of z in y 0.874 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in z 0.874 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z 0.874 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 0.874 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.874 * [taylor]: Taking taylor expansion of y in z 0.875 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.875 * [taylor]: Taking taylor expansion of 1.0 in z 0.875 * [taylor]: Taking taylor expansion of z in z 0.875 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ 1 y)) (sqrt 1.0)) z) in z 0.875 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in z 0.875 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.875 * [taylor]: Taking taylor expansion of y in z 0.875 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.875 * [taylor]: Taking taylor expansion of 1.0 in z 0.875 * [taylor]: Taking taylor expansion of z in z 0.875 * [taylor]: Taking taylor expansion of (- (sqrt (/ 1 y)) (sqrt 1.0)) in y 0.875 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.875 * [taylor]: Taking taylor expansion of y in y 0.875 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.875 * [taylor]: Taking taylor expansion of 1.0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.877 * [approximate]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in (z y) around 0 0.877 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in y 0.877 * [taylor]: Taking taylor expansion of -1 in y 0.877 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in y 0.877 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.877 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.877 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.877 * [taylor]: Taking taylor expansion of -1 in y 0.877 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.877 * [taylor]: Taking taylor expansion of 1.0 in y 0.877 * [taylor]: Taking taylor expansion of z in y 0.877 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in z 0.877 * [taylor]: Taking taylor expansion of -1 in z 0.877 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in z 0.877 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z 0.877 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 0.877 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.877 * [taylor]: Taking taylor expansion of -1 in z 0.877 * [taylor]: Taking taylor expansion of y in z 0.878 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.878 * [taylor]: Taking taylor expansion of 1.0 in z 0.878 * [taylor]: Taking taylor expansion of z in z 0.878 * [taylor]: Taking taylor expansion of (* -1 (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z)) in z 0.878 * [taylor]: Taking taylor expansion of -1 in z 0.878 * [taylor]: Taking taylor expansion of (/ (- (sqrt (/ -1 y)) (sqrt 1.0)) z) in z 0.878 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in z 0.878 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 0.878 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.878 * [taylor]: Taking taylor expansion of -1 in z 0.878 * [taylor]: Taking taylor expansion of y in z 0.878 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 0.878 * [taylor]: Taking taylor expansion of 1.0 in z 0.878 * [taylor]: Taking taylor expansion of z in z 0.878 * [taylor]: Taking taylor expansion of (* -1 (- (sqrt (/ -1 y)) (sqrt 1.0))) in y 0.878 * [taylor]: Taking taylor expansion of -1 in y 0.878 * [taylor]: Taking taylor expansion of (- (sqrt (/ -1 y)) (sqrt 1.0)) in y 0.878 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 0.878 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.878 * [taylor]: Taking taylor expansion of -1 in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.878 * [taylor]: Taking taylor expansion of 1.0 in y 0.879 * [taylor]: Taking taylor expansion of 0 in y 0.879 * [taylor]: Taking taylor expansion of 0 in y 0.880 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.881 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 0.881 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.881 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.881 * [taylor]: Taking taylor expansion of (+ t y) in b 0.881 * [taylor]: Taking taylor expansion of t in b 0.881 * [taylor]: Taking taylor expansion of y in b 0.881 * [taylor]: Taking taylor expansion of 2.0 in b 0.881 * [taylor]: Taking taylor expansion of b in b 0.881 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.881 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.881 * [taylor]: Taking taylor expansion of (+ t y) in t 0.881 * [taylor]: Taking taylor expansion of t in t 0.881 * [taylor]: Taking taylor expansion of y in t 0.881 * [taylor]: Taking taylor expansion of 2.0 in t 0.881 * [taylor]: Taking taylor expansion of b in t 0.881 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.881 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.881 * [taylor]: Taking taylor expansion of (+ t y) in y 0.881 * [taylor]: Taking taylor expansion of t in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.881 * [taylor]: Taking taylor expansion of 2.0 in y 0.881 * [taylor]: Taking taylor expansion of b in y 0.881 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.881 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.881 * [taylor]: Taking taylor expansion of (+ t y) in y 0.881 * [taylor]: Taking taylor expansion of t in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.881 * [taylor]: Taking taylor expansion of 2.0 in y 0.881 * [taylor]: Taking taylor expansion of b in y 0.881 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 0.881 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.881 * [taylor]: Taking taylor expansion of t in t 0.881 * [taylor]: Taking taylor expansion of 2.0 in t 0.881 * [taylor]: Taking taylor expansion of b in t 0.881 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 0.881 * [taylor]: Taking taylor expansion of -2.0 in b 0.881 * [taylor]: Taking taylor expansion of b in b 0.881 * [taylor]: Taking taylor expansion of b in t 0.881 * [taylor]: Taking taylor expansion of b in b 0.881 * [taylor]: Taking taylor expansion of b in b 0.882 * [taylor]: Taking taylor expansion of 0 in t 0.882 * [taylor]: Taking taylor expansion of 0 in b 0.882 * [taylor]: Taking taylor expansion of 0 in b 0.882 * [taylor]: Taking taylor expansion of 0 in b 0.882 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 0.882 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.882 * [taylor]: Taking taylor expansion of y in b 0.882 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.882 * [taylor]: Taking taylor expansion of t in b 0.882 * [taylor]: Taking taylor expansion of 2.0 in b 0.882 * [taylor]: Taking taylor expansion of b in b 0.882 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.882 * [taylor]: Taking taylor expansion of y in t 0.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.882 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of 2.0 in t 0.883 * [taylor]: Taking taylor expansion of b in t 0.883 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.883 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.883 * [taylor]: Taking taylor expansion of t in y 0.883 * [taylor]: Taking taylor expansion of 2.0 in y 0.883 * [taylor]: Taking taylor expansion of b in y 0.883 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.883 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.883 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.883 * [taylor]: Taking taylor expansion of t in y 0.883 * [taylor]: Taking taylor expansion of 2.0 in y 0.883 * [taylor]: Taking taylor expansion of b in y 0.883 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.883 * [taylor]: Taking taylor expansion of b in t 0.883 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.883 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.883 * [taylor]: Taking taylor expansion of (* t b) in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.883 * [taylor]: Taking taylor expansion of b in t 0.883 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.883 * [taylor]: Taking taylor expansion of 2.0 in t 0.883 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.883 * [taylor]: Taking taylor expansion of b in t 0.884 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.884 * [taylor]: Taking taylor expansion of b in b 0.884 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.884 * [taylor]: Taking taylor expansion of b in b 0.884 * [taylor]: Taking taylor expansion of 0 in t 0.884 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 0.884 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.884 * [taylor]: Taking taylor expansion of 2.0 in b 0.884 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.884 * [taylor]: Taking taylor expansion of b in b 0.885 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 0.885 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.885 * [taylor]: Taking taylor expansion of y in b 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.885 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.885 * [taylor]: Taking taylor expansion of t in b 0.885 * [taylor]: Taking taylor expansion of 2.0 in b 0.885 * [taylor]: Taking taylor expansion of b in b 0.885 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.885 * [taylor]: Taking taylor expansion of y in t 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.885 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.885 * [taylor]: Taking taylor expansion of t in t 0.885 * [taylor]: Taking taylor expansion of 2.0 in t 0.885 * [taylor]: Taking taylor expansion of b in t 0.885 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.885 * [taylor]: Taking taylor expansion of t in y 0.885 * [taylor]: Taking taylor expansion of 2.0 in y 0.885 * [taylor]: Taking taylor expansion of b in y 0.885 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.885 * [taylor]: Taking taylor expansion of y in y 0.885 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.885 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.885 * [taylor]: Taking taylor expansion of t in y 0.885 * [taylor]: Taking taylor expansion of 2.0 in y 0.885 * [taylor]: Taking taylor expansion of b in y 0.886 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.886 * [taylor]: Taking taylor expansion of b in t 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.886 * [taylor]: Taking taylor expansion of (* t b) in t 0.886 * [taylor]: Taking taylor expansion of t in t 0.886 * [taylor]: Taking taylor expansion of b in t 0.886 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.886 * [taylor]: Taking taylor expansion of 2.0 in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.886 * [taylor]: Taking taylor expansion of b in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.886 * [taylor]: Taking taylor expansion of b in b 0.886 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.886 * [taylor]: Taking taylor expansion of b in b 0.886 * [taylor]: Taking taylor expansion of 0 in t 0.887 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.887 * [taylor]: Taking taylor expansion of 2.0 in b 0.887 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.887 * [taylor]: Taking taylor expansion of b in b 0.887 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.887 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 0.887 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.887 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.887 * [taylor]: Taking taylor expansion of t in a 0.887 * [taylor]: Taking taylor expansion of 1.0 in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.887 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.887 * [taylor]: Taking taylor expansion of t in t 0.887 * [taylor]: Taking taylor expansion of 1.0 in t 0.887 * [taylor]: Taking taylor expansion of a in t 0.887 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.887 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.887 * [taylor]: Taking taylor expansion of t in t 0.887 * [taylor]: Taking taylor expansion of 1.0 in t 0.887 * [taylor]: Taking taylor expansion of a in t 0.887 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.887 * [taylor]: Taking taylor expansion of -1.0 in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.888 * [taylor]: Taking taylor expansion of 0 in a 0.888 * [taylor]: Taking taylor expansion of 0 in a 0.888 * [taylor]: Taking taylor expansion of 0 in a 0.888 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.888 * [taylor]: Taking taylor expansion of t in a 0.888 * [taylor]: Taking taylor expansion of 1.0 in a 0.888 * [taylor]: Taking taylor expansion of a in a 0.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.888 * [taylor]: Taking taylor expansion of t in t 0.888 * [taylor]: Taking taylor expansion of 1.0 in t 0.888 * [taylor]: Taking taylor expansion of a in t 0.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.888 * [taylor]: Taking taylor expansion of t in t 0.888 * [taylor]: Taking taylor expansion of 1.0 in t 0.888 * [taylor]: Taking taylor expansion of a in t 0.888 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.889 * [taylor]: Taking taylor expansion of a in a 0.889 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a 0.889 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.889 * [taylor]: Taking taylor expansion of 1.0 in a 0.889 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.889 * [taylor]: Taking taylor expansion of a in a 0.889 * [taylor]: Taking taylor expansion of 0 in a 0.889 * [taylor]: Taking taylor expansion of 0 in a 0.890 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.890 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.890 * [taylor]: Taking taylor expansion of t in a 0.890 * [taylor]: Taking taylor expansion of 1.0 in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.890 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.890 * [taylor]: Taking taylor expansion of t in t 0.890 * [taylor]: Taking taylor expansion of 1.0 in t 0.890 * [taylor]: Taking taylor expansion of a in t 0.890 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.890 * [taylor]: Taking taylor expansion of t in t 0.890 * [taylor]: Taking taylor expansion of 1.0 in t 0.890 * [taylor]: Taking taylor expansion of a in t 0.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.890 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.890 * [taylor]: Taking taylor expansion of 1.0 in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.891 * [taylor]: Taking taylor expansion of 0 in a 0.891 * [taylor]: Taking taylor expansion of 0 in a 0.891 * * * [progress]: simplifying candidates 0.893 * [simplify]: Simplifying using # : (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (+ (log (+ (sqrt y) (sqrt 1.0))) (+ (log z) (log (- (sqrt y) (sqrt 1.0))))) (+ (log (+ (sqrt y) (sqrt 1.0))) (log (* z (- (sqrt y) (sqrt 1.0))))) (log (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (exp (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (* (* (+ (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* (* z z) z) (* (* (- (sqrt y) (sqrt 1.0)) (- (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0))))) (* (* (* (+ (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* (* z (- (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0))))) (* (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))))) (cbrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (* (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (sqrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (sqrt (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0))))) (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3)))) (* (+ (* (sqrt y) (sqrt y)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))) (+ (* (sqrt y) (sqrt y)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0))))) (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))))) (* (+ (* (sqrt y) (sqrt y)) (- (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0)))) (+ (sqrt y) (sqrt 1.0))) (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3)))) (* (- (sqrt y) (sqrt 1.0)) (+ (* (sqrt y) (sqrt y)) (+ (* (sqrt 1.0) (sqrt 1.0)) (* (sqrt y) (sqrt 1.0))))) (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))))) (* (- (sqrt y) (sqrt 1.0)) (+ (sqrt y) (sqrt 1.0))) (* (+ (sqrt y) (sqrt 1.0)) (* z (sqrt y))) (* (+ (sqrt y) (sqrt 1.0)) (* z (neg (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (sqrt y))) (* (+ (sqrt y) (sqrt 1.0)) (* z (neg (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* (sqrt y) z)) (* (+ (sqrt y) (sqrt 1.0)) (* (neg (sqrt 1.0)) z)) (* (+ (sqrt y) (sqrt 1.0)) (* (sqrt y) z)) (* (+ (sqrt y) (sqrt 1.0)) (* (neg (sqrt 1.0)) z)) (* (* z (sqrt y)) (+ (sqrt y) (sqrt 1.0))) (* (* z (neg (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* z (sqrt y)) (+ (sqrt y) (sqrt 1.0))) (* (* z (neg (sqrt 1.0))) (+ (sqrt y) (sqrt 1.0))) (* (* (sqrt y) z) (+ (sqrt y) (sqrt 1.0))) (* (* (neg (sqrt 1.0)) z) (+ (sqrt y) (sqrt 1.0))) (* (* (sqrt y) z) (+ (sqrt y) (sqrt 1.0))) (* (* (neg (sqrt 1.0)) z) (+ (sqrt y) (sqrt 1.0))) (* (+ (sqrt y) (sqrt 1.0)) z) (* (cbrt (+ (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* (sqrt (+ (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (sqrt y) (sqrt 1.0)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3)))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))))) (* (+ (pow (sqrt y) 3) (pow (sqrt 1.0) 3)) (* z (- (sqrt y) (sqrt 1.0)))) (* (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0))) (+ (log z) (log (- (sqrt y) (sqrt 1.0)))) (log (* z (- (sqrt y) (sqrt 1.0)))) (exp (* z (- (sqrt y) (sqrt 1.0)))) (* (* (* z z) z) (* (* (- (sqrt y) (sqrt 1.0)) (- (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))) (* (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (cbrt (* z (- (sqrt y) (sqrt 1.0))))) (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (* (* (* z (- (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0)))) (sqrt (* z (- (sqrt y) (sqrt 1.0)))) (sqrt (* z (- (sqrt y) (sqrt 1.0)))) (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0)))) (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0)))) (* z (sqrt y)) (* z (neg (sqrt 1.0))) (* z (sqrt y)) (* z (neg (sqrt 1.0))) (* (sqrt y) z) (* (neg (sqrt 1.0)) z) (* (sqrt y) z) (* (neg (sqrt 1.0)) z) (* z (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))) (* z (sqrt (- (sqrt y) (sqrt 1.0)))) (* z 1) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (sqrt 1)) (* z 1) (* (cbrt z) (- (sqrt y) (sqrt 1.0))) (* (sqrt z) (- (sqrt y) (sqrt 1.0))) (* z (- (sqrt y) (sqrt 1.0))) (* z (- (pow (sqrt y) 3) (pow (sqrt 1.0) 3))) (* z (- (* (sqrt y) (sqrt y)) (* (sqrt 1.0) (sqrt 1.0)))) (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (+ (* 2 (* (pow NAN 4) (* z (pow y 3)))) (* (pow NAN 2) (* z (pow y 2)))) (* (pow (sqrt 1.0) 2) z)) (- (+ (* (pow NAN 2) z) (+ (* 3 (/ (* (pow NAN 6) z) (pow y 2))) (* 2 (/ (* (pow NAN 4) z) y)))) (* (pow (sqrt 1.0) 2) z)) (- (+ (* (pow NAN 2) z) (* 3 (/ (* (pow NAN 6) z) (pow y 2)))) (+ (* 2 (/ (* (pow NAN 4) z) y)) (* (pow (sqrt 1.0) 2) z))) (- (+ (* (pow NAN 3) (* z (pow y 2))) (* NAN (* z y))) (* (sqrt 1.0) z)) (- (+ (/ (* (pow NAN 5) z) (pow y 2)) (+ (/ (* (pow NAN 3) z) y) (* NAN z))) (* (sqrt 1.0) z)) (- (+ (/ (* (pow NAN 5) z) (pow y 2)) (* NAN z)) (+ (/ (* (pow NAN 3) z) y) (* (sqrt 1.0) z))) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 0.930 * * [simplify]: iteration 0 : 5049 enodes (cost 1221 ) 0.935 * [simplify]: Simplified to: (* z (- y 1.0)) (* z (- y 1.0)) (log (* z (- y 1.0))) (log (* z (- y 1.0))) (log (* z (- y 1.0))) (pow (exp z) (- y 1.0)) (pow (* z (- y 1.0)) 3) (pow (* z (- y 1.0)) 3) (* (cbrt (* z (- y 1.0))) (cbrt (* z (- y 1.0)))) (cbrt (* z (- y 1.0))) (pow (* z (- y 1.0)) 3) (sqrt (* z (- y 1.0))) (sqrt (* z (- y 1.0))) (* z (* (- (pow y 3/2) (* 1.0 (sqrt 1.0))) (+ (pow y 3/2) (* 1.0 (sqrt 1.0))))) (* (+ y (- 1.0 (* (sqrt y) (sqrt 1.0)))) (+ y (+ 1.0 (* (sqrt y) (sqrt 1.0))))) (* z (* (- y 1.0) (+ (pow y 3/2) (* 1.0 (sqrt 1.0))))) (* (+ (sqrt y) (sqrt 1.0)) (+ y (- 1.0 (* (sqrt y) (sqrt 1.0))))) (* z (* (- y 1.0) (- (pow y 3/2) (* 1.0 (sqrt 1.0))))) (+ (* y (- (sqrt y) (sqrt 1.0))) (* (sqrt 1.0) (- y 1.0))) (* z (* (- y 1.0) (- y 1.0))) (- y 1.0) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* z (+ y (* (sqrt y) (sqrt 1.0)))) (* z (- (* (sqrt y) (neg (sqrt 1.0))) 1.0)) (* (+ (sqrt y) (sqrt 1.0)) z) (* z (* (- (sqrt y) (sqrt 1.0)) (cbrt (+ (sqrt y) (sqrt 1.0))))) (* z (* (- (sqrt y) (sqrt 1.0)) (sqrt (+ (sqrt y) (sqrt 1.0))))) (* z (- y 1.0)) (* z (- y 1.0)) (* z (- y 1.0)) (* (+ (sqrt y) (sqrt 1.0)) (* z (- (pow y 3/2) (* 1.0 (sqrt 1.0))))) (* (+ (sqrt y) (sqrt 1.0)) (* z (- y 1.0))) (* z (* (- (sqrt y) (sqrt 1.0)) (+ (pow y 3/2) (* 1.0 (sqrt 1.0))))) (* z (* (- y 1.0) (- (sqrt y) (sqrt 1.0)))) (* z (- (sqrt y) (sqrt 1.0))) (log (* z (- (sqrt y) (sqrt 1.0)))) (log (* z (- (sqrt y) (sqrt 1.0)))) (pow (exp z) (- (sqrt y) (sqrt 1.0))) (pow (* z (- (sqrt y) (sqrt 1.0))) 3) (* (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (cbrt (* z (- (sqrt y) (sqrt 1.0))))) (cbrt (* z (- (sqrt y) (sqrt 1.0)))) (pow (* z (- (sqrt y) (sqrt 1.0))) 3) (sqrt (* z (- (sqrt y) (sqrt 1.0)))) (sqrt (* z (- (sqrt y) (sqrt 1.0)))) (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0)))) (* (sqrt z) (sqrt (- (sqrt y) (sqrt 1.0)))) (* (sqrt y) z) (* (sqrt 1.0) (neg z)) (* (sqrt y) z) (* (sqrt 1.0) (neg z)) (* (sqrt y) z) (* (sqrt 1.0) (neg z)) (* (sqrt y) z) (* (sqrt 1.0) (neg z)) (* z (* (cbrt (- (sqrt y) (sqrt 1.0))) (cbrt (- (sqrt y) (sqrt 1.0))))) (* z (sqrt (- (sqrt y) (sqrt 1.0)))) z (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) (* z (+ (sqrt (sqrt y)) (sqrt (sqrt 1.0)))) z z (* (- (sqrt y) (sqrt 1.0)) (cbrt z)) (* (- (sqrt y) (sqrt 1.0)) (sqrt z)) (* z (- (sqrt y) (sqrt 1.0))) (* z (- (pow y 3/2) (* 1.0 (sqrt 1.0)))) (* z (- y 1.0)) (* (+ y (- t 2.0)) b) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b))) (* (+ y (- t 2.0)) (sqrt b)) (+ y (- t 2.0)) (* b (cbrt (+ y (- t 2.0)))) (* b (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) b) (* b (- (sqrt (+ y t)) (sqrt 2.0))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* b (- (pow (+ y t) 3) (pow 2.0 3))) (* b (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (pow (exp (- t 1.0)) a) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* a (cbrt (- t 1.0))) (* a (sqrt (- t 1.0))) (* (- t 1.0) a) (* a (- (sqrt t) (sqrt 1.0))) (* (- t 1.0) a) (* a (- (pow t 3) (pow 1.0 3))) (* a (- (* t t) (* 1.0 1.0))) (+ (* 2 (* z (* (pow NAN 4) (pow y 3)))) (* z (- (* (* NAN NAN) (* y y)) 1.0))) (+ (* 3 (* (/ z y) (/ (pow NAN 6) y))) (+ (* 2 (* (/ z y) (pow NAN 4))) (* z (- (* NAN NAN) 1.0)))) (+ (* 3 (* (/ z y) (/ (pow NAN 6) y))) (+ (* z (- (* NAN NAN) 1.0)) (* (* (/ z y) (pow NAN 4)) -2))) (+ (* z (* (pow NAN 3) (* y y))) (* z (- (* NAN y) (sqrt 1.0)))) (+ (* z (+ (/ (pow NAN 3) y) NAN)) (* z (- (/ (pow NAN 5) (* y y)) (sqrt 1.0)))) (- (* z (+ (/ (pow NAN 5) (* y y)) NAN)) (* z (+ (sqrt 1.0) (/ (pow NAN 3) y)))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 0.935 * * * [progress]: adding candidates to table 1.122 * * [progress]: iteration 4 / 4 1.122 * * * [progress]: picking best candidate 1.127 * * * * [pick]: Picked # 1.127 * * * [progress]: localizing error 1.145 * * * [progress]: generating rewritten candidates 1.145 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.156 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.171 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.177 * * * [progress]: generating series expansions 1.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.177 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 1.177 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.177 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.177 * [taylor]: Taking taylor expansion of (+ t y) in b 1.177 * [taylor]: Taking taylor expansion of t in b 1.177 * [taylor]: Taking taylor expansion of y in b 1.177 * [taylor]: Taking taylor expansion of 2.0 in b 1.177 * [taylor]: Taking taylor expansion of b in b 1.177 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.177 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.177 * [taylor]: Taking taylor expansion of (+ t y) in t 1.177 * [taylor]: Taking taylor expansion of t in t 1.177 * [taylor]: Taking taylor expansion of y in t 1.177 * [taylor]: Taking taylor expansion of 2.0 in t 1.177 * [taylor]: Taking taylor expansion of b in t 1.177 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.177 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.177 * [taylor]: Taking taylor expansion of (+ t y) in y 1.177 * [taylor]: Taking taylor expansion of t in y 1.177 * [taylor]: Taking taylor expansion of y in y 1.177 * [taylor]: Taking taylor expansion of 2.0 in y 1.177 * [taylor]: Taking taylor expansion of b in y 1.177 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.177 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.177 * [taylor]: Taking taylor expansion of (+ t y) in y 1.177 * [taylor]: Taking taylor expansion of t in y 1.177 * [taylor]: Taking taylor expansion of y in y 1.177 * [taylor]: Taking taylor expansion of 2.0 in y 1.178 * [taylor]: Taking taylor expansion of b in y 1.178 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 1.178 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.178 * [taylor]: Taking taylor expansion of t in t 1.178 * [taylor]: Taking taylor expansion of 2.0 in t 1.178 * [taylor]: Taking taylor expansion of b in t 1.178 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.178 * [taylor]: Taking taylor expansion of -2.0 in b 1.178 * [taylor]: Taking taylor expansion of b in b 1.178 * [taylor]: Taking taylor expansion of b in t 1.178 * [taylor]: Taking taylor expansion of b in b 1.178 * [taylor]: Taking taylor expansion of b in b 1.178 * [taylor]: Taking taylor expansion of 0 in t 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.178 * [taylor]: Taking taylor expansion of 0 in b 1.179 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 1.179 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.179 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.179 * [taylor]: Taking taylor expansion of y in b 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.179 * [taylor]: Taking taylor expansion of t in b 1.179 * [taylor]: Taking taylor expansion of 2.0 in b 1.179 * [taylor]: Taking taylor expansion of b in b 1.179 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.179 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.179 * [taylor]: Taking taylor expansion of y in t 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.179 * [taylor]: Taking taylor expansion of t in t 1.179 * [taylor]: Taking taylor expansion of 2.0 in t 1.179 * [taylor]: Taking taylor expansion of b in t 1.179 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.179 * [taylor]: Taking taylor expansion of y in y 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.179 * [taylor]: Taking taylor expansion of t in y 1.179 * [taylor]: Taking taylor expansion of 2.0 in y 1.179 * [taylor]: Taking taylor expansion of b in y 1.179 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.179 * [taylor]: Taking taylor expansion of y in y 1.179 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.180 * [taylor]: Taking taylor expansion of t in y 1.180 * [taylor]: Taking taylor expansion of 2.0 in y 1.180 * [taylor]: Taking taylor expansion of b in y 1.180 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.180 * [taylor]: Taking taylor expansion of b in t 1.180 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 1.180 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.180 * [taylor]: Taking taylor expansion of (* t b) in t 1.180 * [taylor]: Taking taylor expansion of t in t 1.180 * [taylor]: Taking taylor expansion of b in t 1.180 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.180 * [taylor]: Taking taylor expansion of 2.0 in t 1.180 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.180 * [taylor]: Taking taylor expansion of b in t 1.180 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.180 * [taylor]: Taking taylor expansion of b in b 1.180 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.180 * [taylor]: Taking taylor expansion of b in b 1.180 * [taylor]: Taking taylor expansion of 0 in t 1.181 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 1.181 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.181 * [taylor]: Taking taylor expansion of 2.0 in b 1.181 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.181 * [taylor]: Taking taylor expansion of b in b 1.181 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2))) in (y t b) around 0 1.181 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2))) in b 1.181 * [taylor]: Taking taylor expansion of -1 in b 1.181 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2)) in b 1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.181 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.181 * [taylor]: Taking taylor expansion of y in b 1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.181 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.181 * [taylor]: Taking taylor expansion of t in b 1.182 * [taylor]: Taking taylor expansion of 2.0 in b 1.182 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.182 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.182 * [taylor]: Taking taylor expansion of -1 in b 1.182 * [taylor]: Taking taylor expansion of b in b 1.182 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2))) in t 1.182 * [taylor]: Taking taylor expansion of -1 in t 1.182 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2)) in t 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.182 * [taylor]: Taking taylor expansion of y in t 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.182 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.182 * [taylor]: Taking taylor expansion of t in t 1.182 * [taylor]: Taking taylor expansion of 2.0 in t 1.182 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.182 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.182 * [taylor]: Taking taylor expansion of -1 in t 1.182 * [taylor]: Taking taylor expansion of b in t 1.182 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2))) in y 1.182 * [taylor]: Taking taylor expansion of -1 in y 1.182 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2)) in y 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.182 * [taylor]: Taking taylor expansion of t in y 1.182 * [taylor]: Taking taylor expansion of 2.0 in y 1.182 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in y 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.182 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.182 * [taylor]: Taking taylor expansion of -1 in y 1.182 * [taylor]: Taking taylor expansion of b in y 1.182 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2))) in y 1.182 * [taylor]: Taking taylor expansion of -1 in y 1.183 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (pow (sqrt (/ -1 b)) 2)) in y 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.183 * [taylor]: Taking taylor expansion of y in y 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.183 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.183 * [taylor]: Taking taylor expansion of t in y 1.183 * [taylor]: Taking taylor expansion of 2.0 in y 1.183 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in y 1.183 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.183 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.183 * [taylor]: Taking taylor expansion of -1 in y 1.183 * [taylor]: Taking taylor expansion of b in y 1.183 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 b)) 2)) in t 1.183 * [taylor]: Taking taylor expansion of -1 in t 1.183 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.183 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.183 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.183 * [taylor]: Taking taylor expansion of -1 in t 1.183 * [taylor]: Taking taylor expansion of b in t 1.184 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow (sqrt (/ -1 b)) 2) t) (* 2.0 (pow (sqrt (/ -1 b)) 2)))) in t 1.184 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt (/ -1 b)) 2) t) (* 2.0 (pow (sqrt (/ -1 b)) 2))) in t 1.184 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (/ -1 b)) 2) t) in t 1.184 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.184 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.184 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.184 * [taylor]: Taking taylor expansion of -1 in t 1.184 * [taylor]: Taking taylor expansion of b in t 1.184 * [taylor]: Taking taylor expansion of t in t 1.184 * [taylor]: Taking taylor expansion of (* 2.0 (pow (sqrt (/ -1 b)) 2)) in t 1.184 * [taylor]: Taking taylor expansion of 2.0 in t 1.184 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.184 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.184 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.184 * [taylor]: Taking taylor expansion of -1 in t 1.184 * [taylor]: Taking taylor expansion of b in t 1.185 * [taylor]: Taking taylor expansion of (neg (pow (sqrt (/ -1 b)) 2)) in b 1.185 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.185 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.185 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.185 * [taylor]: Taking taylor expansion of -1 in b 1.185 * [taylor]: Taking taylor expansion of b in b 1.185 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 b)) 2)) in b 1.185 * [taylor]: Taking taylor expansion of -1 in b 1.185 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.185 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.185 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.185 * [taylor]: Taking taylor expansion of -1 in b 1.185 * [taylor]: Taking taylor expansion of b in b 1.186 * [taylor]: Taking taylor expansion of 0 in t 1.187 * [taylor]: Taking taylor expansion of (neg (* 2.0 (pow (sqrt (/ -1 b)) 2))) in b 1.187 * [taylor]: Taking taylor expansion of (* 2.0 (pow (sqrt (/ -1 b)) 2)) in b 1.187 * [taylor]: Taking taylor expansion of 2.0 in b 1.187 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.187 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.187 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.187 * [taylor]: Taking taylor expansion of -1 in b 1.187 * [taylor]: Taking taylor expansion of b in b 1.187 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.187 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) (sqrt b)) in (y t b) around 0 1.187 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) (sqrt b)) in b 1.187 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.187 * [taylor]: Taking taylor expansion of (+ t y) in b 1.187 * [taylor]: Taking taylor expansion of t in b 1.187 * [taylor]: Taking taylor expansion of y in b 1.187 * [taylor]: Taking taylor expansion of 2.0 in b 1.187 * [taylor]: Taking taylor expansion of (sqrt b) in b 1.187 * [taylor]: Taking taylor expansion of b in b 1.188 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) (sqrt b)) in t 1.188 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.188 * [taylor]: Taking taylor expansion of (+ t y) in t 1.188 * [taylor]: Taking taylor expansion of t in t 1.188 * [taylor]: Taking taylor expansion of y in t 1.188 * [taylor]: Taking taylor expansion of 2.0 in t 1.188 * [taylor]: Taking taylor expansion of (sqrt b) in t 1.188 * [taylor]: Taking taylor expansion of b in t 1.188 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) (sqrt b)) in y 1.188 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.188 * [taylor]: Taking taylor expansion of (+ t y) in y 1.188 * [taylor]: Taking taylor expansion of t in y 1.188 * [taylor]: Taking taylor expansion of y in y 1.188 * [taylor]: Taking taylor expansion of 2.0 in y 1.188 * [taylor]: Taking taylor expansion of (sqrt b) in y 1.188 * [taylor]: Taking taylor expansion of b in y 1.188 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) (sqrt b)) in y 1.188 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.188 * [taylor]: Taking taylor expansion of (+ t y) in y 1.188 * [taylor]: Taking taylor expansion of t in y 1.188 * [taylor]: Taking taylor expansion of y in y 1.188 * [taylor]: Taking taylor expansion of 2.0 in y 1.188 * [taylor]: Taking taylor expansion of (sqrt b) in y 1.188 * [taylor]: Taking taylor expansion of b in y 1.188 * [taylor]: Taking taylor expansion of (* (- t 2.0) (sqrt b)) in t 1.188 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.188 * [taylor]: Taking taylor expansion of t in t 1.188 * [taylor]: Taking taylor expansion of 2.0 in t 1.188 * [taylor]: Taking taylor expansion of (sqrt b) in t 1.188 * [taylor]: Taking taylor expansion of b in t 1.188 * [taylor]: Taking taylor expansion of (* -2.0 (sqrt b)) in b 1.188 * [taylor]: Taking taylor expansion of -2.0 in b 1.188 * [taylor]: Taking taylor expansion of (sqrt b) in b 1.188 * [taylor]: Taking taylor expansion of b in b 1.189 * [taylor]: Taking taylor expansion of (sqrt b) in t 1.189 * [taylor]: Taking taylor expansion of b in t 1.189 * [taylor]: Taking taylor expansion of (sqrt b) in b 1.189 * [taylor]: Taking taylor expansion of b in b 1.189 * [taylor]: Taking taylor expansion of (sqrt b) in b 1.189 * [taylor]: Taking taylor expansion of b in b 1.189 * [taylor]: Taking taylor expansion of 0 in t 1.189 * [taylor]: Taking taylor expansion of 0 in b 1.189 * [taylor]: Taking taylor expansion of 0 in b 1.189 * [taylor]: Taking taylor expansion of 0 in b 1.190 * [approximate]: Taking taylor expansion of (* (- (+ (/ 1 y) (/ 1 t)) 2.0) (sqrt (/ 1 b))) in (y t b) around 0 1.190 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) (/ 1 t)) 2.0) (sqrt (/ 1 b))) in b 1.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.190 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.190 * [taylor]: Taking taylor expansion of y in b 1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.190 * [taylor]: Taking taylor expansion of t in b 1.190 * [taylor]: Taking taylor expansion of 2.0 in b 1.190 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in b 1.190 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.190 * [taylor]: Taking taylor expansion of b in b 1.190 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) (/ 1 t)) 2.0) (sqrt (/ 1 b))) in t 1.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.190 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.190 * [taylor]: Taking taylor expansion of y in t 1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.190 * [taylor]: Taking taylor expansion of t in t 1.190 * [taylor]: Taking taylor expansion of 2.0 in t 1.190 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in t 1.190 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.190 * [taylor]: Taking taylor expansion of b in t 1.190 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) (/ 1 t)) 2.0) (sqrt (/ 1 b))) in y 1.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.190 * [taylor]: Taking taylor expansion of y in y 1.190 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.190 * [taylor]: Taking taylor expansion of t in y 1.190 * [taylor]: Taking taylor expansion of 2.0 in y 1.190 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in y 1.190 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.190 * [taylor]: Taking taylor expansion of b in y 1.190 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 y) (/ 1 t)) 2.0) (sqrt (/ 1 b))) in y 1.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.191 * [taylor]: Taking taylor expansion of y in y 1.191 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.191 * [taylor]: Taking taylor expansion of t in y 1.191 * [taylor]: Taking taylor expansion of 2.0 in y 1.191 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in y 1.191 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.191 * [taylor]: Taking taylor expansion of b in y 1.191 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in t 1.191 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.191 * [taylor]: Taking taylor expansion of b in t 1.191 * [taylor]: Taking taylor expansion of (- (* (/ 1 t) (sqrt (/ 1 b))) (* 2.0 (sqrt (/ 1 b)))) in t 1.191 * [taylor]: Taking taylor expansion of (* (/ 1 t) (sqrt (/ 1 b))) in t 1.191 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.191 * [taylor]: Taking taylor expansion of t in t 1.191 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in t 1.191 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.191 * [taylor]: Taking taylor expansion of b in t 1.191 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 b))) in t 1.191 * [taylor]: Taking taylor expansion of 2.0 in t 1.191 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in t 1.191 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.191 * [taylor]: Taking taylor expansion of b in t 1.192 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in b 1.192 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.192 * [taylor]: Taking taylor expansion of b in b 1.192 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in b 1.192 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.192 * [taylor]: Taking taylor expansion of b in b 1.192 * [taylor]: Taking taylor expansion of 0 in t 1.192 * [taylor]: Taking taylor expansion of (neg (* 2.0 (sqrt (/ 1 b)))) in b 1.192 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ 1 b))) in b 1.192 * [taylor]: Taking taylor expansion of 2.0 in b 1.192 * [taylor]: Taking taylor expansion of (sqrt (/ 1 b)) in b 1.192 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.192 * [taylor]: Taking taylor expansion of b in b 1.193 * [taylor]: Taking taylor expansion of 0 in b 1.193 * [taylor]: Taking taylor expansion of 0 in t 1.193 * [taylor]: Taking taylor expansion of 0 in b 1.193 * [taylor]: Taking taylor expansion of 0 in b 1.193 * [taylor]: Taking taylor expansion of 0 in b 1.194 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b)))) in (y t b) around 0 1.194 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b)))) in b 1.194 * [taylor]: Taking taylor expansion of -1 in b 1.194 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b))) in b 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.194 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.194 * [taylor]: Taking taylor expansion of y in b 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.194 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.194 * [taylor]: Taking taylor expansion of t in b 1.194 * [taylor]: Taking taylor expansion of 2.0 in b 1.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.194 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.194 * [taylor]: Taking taylor expansion of -1 in b 1.194 * [taylor]: Taking taylor expansion of b in b 1.194 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b)))) in t 1.194 * [taylor]: Taking taylor expansion of -1 in t 1.194 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b))) in t 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.194 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.194 * [taylor]: Taking taylor expansion of y in t 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.194 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.194 * [taylor]: Taking taylor expansion of t in t 1.194 * [taylor]: Taking taylor expansion of 2.0 in t 1.194 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.194 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.194 * [taylor]: Taking taylor expansion of -1 in t 1.194 * [taylor]: Taking taylor expansion of b in t 1.195 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b)))) in y 1.195 * [taylor]: Taking taylor expansion of -1 in y 1.195 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b))) in y 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.195 * [taylor]: Taking taylor expansion of y in y 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.195 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.195 * [taylor]: Taking taylor expansion of t in y 1.195 * [taylor]: Taking taylor expansion of 2.0 in y 1.195 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.195 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.195 * [taylor]: Taking taylor expansion of -1 in y 1.195 * [taylor]: Taking taylor expansion of b in y 1.195 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b)))) in y 1.195 * [taylor]: Taking taylor expansion of -1 in y 1.195 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) (sqrt (/ -1 b))) in y 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.195 * [taylor]: Taking taylor expansion of y in y 1.195 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.195 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.195 * [taylor]: Taking taylor expansion of t in y 1.195 * [taylor]: Taking taylor expansion of 2.0 in y 1.195 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.195 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.195 * [taylor]: Taking taylor expansion of -1 in y 1.195 * [taylor]: Taking taylor expansion of b in y 1.195 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 b))) in t 1.195 * [taylor]: Taking taylor expansion of -1 in t 1.195 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.195 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.196 * [taylor]: Taking taylor expansion of -1 in t 1.196 * [taylor]: Taking taylor expansion of b in t 1.196 * [taylor]: Taking taylor expansion of (neg (+ (* 2.0 (sqrt (/ -1 b))) (/ (sqrt (/ -1 b)) t))) in t 1.196 * [taylor]: Taking taylor expansion of (+ (* 2.0 (sqrt (/ -1 b))) (/ (sqrt (/ -1 b)) t)) in t 1.196 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ -1 b))) in t 1.196 * [taylor]: Taking taylor expansion of 2.0 in t 1.196 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.196 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.196 * [taylor]: Taking taylor expansion of -1 in t 1.196 * [taylor]: Taking taylor expansion of b in t 1.196 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 b)) t) in t 1.196 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.196 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.196 * [taylor]: Taking taylor expansion of -1 in t 1.196 * [taylor]: Taking taylor expansion of b in t 1.196 * [taylor]: Taking taylor expansion of t in t 1.197 * [taylor]: Taking taylor expansion of (neg (sqrt (/ -1 b))) in b 1.197 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.197 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.197 * [taylor]: Taking taylor expansion of -1 in b 1.197 * [taylor]: Taking taylor expansion of b in b 1.197 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 b))) in b 1.197 * [taylor]: Taking taylor expansion of -1 in b 1.197 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.197 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.197 * [taylor]: Taking taylor expansion of -1 in b 1.197 * [taylor]: Taking taylor expansion of b in b 1.197 * [taylor]: Taking taylor expansion of 0 in t 1.197 * [taylor]: Taking taylor expansion of (neg (* 2.0 (sqrt (/ -1 b)))) in b 1.198 * [taylor]: Taking taylor expansion of (* 2.0 (sqrt (/ -1 b))) in b 1.198 * [taylor]: Taking taylor expansion of 2.0 in b 1.198 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.198 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.198 * [taylor]: Taking taylor expansion of -1 in b 1.198 * [taylor]: Taking taylor expansion of b in b 1.198 * [taylor]: Taking taylor expansion of 0 in b 1.198 * [taylor]: Taking taylor expansion of 0 in t 1.198 * [taylor]: Taking taylor expansion of 0 in b 1.199 * [taylor]: Taking taylor expansion of 0 in b 1.199 * [taylor]: Taking taylor expansion of 0 in b 1.199 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.199 * [approximate]: Taking taylor expansion of (* z (- y 1.0)) in (y z) around 0 1.199 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.199 * [taylor]: Taking taylor expansion of (- y 1.0) in z 1.199 * [taylor]: Taking taylor expansion of y in z 1.199 * [taylor]: Taking taylor expansion of 1.0 in z 1.199 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of 1.0 in y 1.199 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of 1.0 in y 1.199 * [taylor]: Taking taylor expansion of (* -1.0 z) in z 1.200 * [taylor]: Taking taylor expansion of -1.0 in z 1.200 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of 0 in z 1.200 * [taylor]: Taking taylor expansion of 0 in z 1.200 * [taylor]: Taking taylor expansion of 0 in z 1.200 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in (y z) around 0 1.200 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.200 * [taylor]: Taking taylor expansion of y in z 1.200 * [taylor]: Taking taylor expansion of 1.0 in z 1.200 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.200 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.200 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of 1.0 in y 1.202 * [taylor]: Taking taylor expansion of z in y 1.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.202 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.202 * [taylor]: Taking taylor expansion of y in y 1.203 * [taylor]: Taking taylor expansion of 1.0 in y 1.203 * [taylor]: Taking taylor expansion of z in y 1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.203 * [taylor]: Taking taylor expansion of z in z 1.203 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 1.203 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.203 * [taylor]: Taking taylor expansion of 1.0 in z 1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.203 * [taylor]: Taking taylor expansion of z in z 1.203 * [taylor]: Taking taylor expansion of 0 in z 1.203 * [taylor]: Taking taylor expansion of 0 in z 1.204 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in (y z) around 0 1.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.204 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.204 * [taylor]: Taking taylor expansion of y in z 1.204 * [taylor]: Taking taylor expansion of 1.0 in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.204 * [taylor]: Taking taylor expansion of y in y 1.204 * [taylor]: Taking taylor expansion of 1.0 in y 1.204 * [taylor]: Taking taylor expansion of z in y 1.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.204 * [taylor]: Taking taylor expansion of y in y 1.204 * [taylor]: Taking taylor expansion of 1.0 in y 1.204 * [taylor]: Taking taylor expansion of z in y 1.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.204 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.204 * [taylor]: Taking taylor expansion of 1.0 in z 1.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.205 * [taylor]: Taking taylor expansion of 0 in z 1.205 * [taylor]: Taking taylor expansion of 0 in z 1.205 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.205 * [approximate]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in (x y z) around 0 1.205 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 1.205 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z 1.205 * [taylor]: Taking taylor expansion of x in z 1.205 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.205 * [taylor]: Taking taylor expansion of 1.0 in z 1.205 * [taylor]: Taking taylor expansion of z in z 1.205 * [taylor]: Taking taylor expansion of (* z y) in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.206 * [taylor]: Taking taylor expansion of y in z 1.206 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 1.206 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in y 1.206 * [taylor]: Taking taylor expansion of x in y 1.206 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.206 * [taylor]: Taking taylor expansion of 1.0 in y 1.206 * [taylor]: Taking taylor expansion of z in y 1.206 * [taylor]: Taking taylor expansion of (* z y) in y 1.206 * [taylor]: Taking taylor expansion of z in y 1.206 * [taylor]: Taking taylor expansion of y in y 1.206 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 1.206 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.206 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 1.206 * [taylor]: Taking taylor expansion of 1.0 in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of (* z y) in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of y in x 1.206 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 1.206 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.206 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 1.206 * [taylor]: Taking taylor expansion of 1.0 in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of (* z y) in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of y in x 1.206 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y 1.206 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.206 * [taylor]: Taking taylor expansion of 1.0 in y 1.206 * [taylor]: Taking taylor expansion of z in y 1.206 * [taylor]: Taking taylor expansion of (* z y) in y 1.206 * [taylor]: Taking taylor expansion of z in y 1.206 * [taylor]: Taking taylor expansion of y in y 1.206 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.206 * [taylor]: Taking taylor expansion of 1.0 in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.206 * [taylor]: Taking taylor expansion of 1 in y 1.206 * [taylor]: Taking taylor expansion of 1 in z 1.207 * [taylor]: Taking taylor expansion of (neg z) in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of 0 in y 1.207 * [taylor]: Taking taylor expansion of 0 in z 1.207 * [taylor]: Taking taylor expansion of 0 in z 1.207 * [taylor]: Taking taylor expansion of 0 in z 1.207 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in (x y z) around 0 1.207 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 1.207 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.207 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.207 * [taylor]: Taking taylor expansion of 1.0 in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.207 * [taylor]: Taking taylor expansion of x in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.207 * [taylor]: Taking taylor expansion of (* z y) in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of y in z 1.207 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 1.207 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 1.207 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.208 * [taylor]: Taking taylor expansion of 1.0 in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.208 * [taylor]: Taking taylor expansion of z in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.208 * [taylor]: Taking taylor expansion of x in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.208 * [taylor]: Taking taylor expansion of (* z y) in y 1.208 * [taylor]: Taking taylor expansion of z in y 1.208 * [taylor]: Taking taylor expansion of y in y 1.208 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 1.208 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 1.208 * [taylor]: Taking taylor expansion of 1.0 in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.208 * [taylor]: Taking taylor expansion of (* z y) in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of y in x 1.208 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 1.208 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 1.208 * [taylor]: Taking taylor expansion of 1.0 in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.208 * [taylor]: Taking taylor expansion of (* z y) in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of y in x 1.208 * [taylor]: Taking taylor expansion of 1 in y 1.209 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y 1.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.209 * [taylor]: Taking taylor expansion of 1.0 in y 1.209 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.209 * [taylor]: Taking taylor expansion of z in y 1.209 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.209 * [taylor]: Taking taylor expansion of (* z y) in y 1.209 * [taylor]: Taking taylor expansion of z in y 1.209 * [taylor]: Taking taylor expansion of y in y 1.209 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of 1 in z 1.209 * [taylor]: Taking taylor expansion of 0 in y 1.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.209 * [taylor]: Taking taylor expansion of 1.0 in z 1.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of 0 in z 1.210 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in (x y z) around 0 1.210 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in z 1.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.210 * [taylor]: Taking taylor expansion of (* z y) in z 1.210 * [taylor]: Taking taylor expansion of z in z 1.210 * [taylor]: Taking taylor expansion of y in z 1.210 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.210 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.210 * [taylor]: Taking taylor expansion of 1.0 in z 1.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.210 * [taylor]: Taking taylor expansion of z in z 1.210 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.210 * [taylor]: Taking taylor expansion of x in z 1.210 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in y 1.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.210 * [taylor]: Taking taylor expansion of (* z y) in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 1.210 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.210 * [taylor]: Taking taylor expansion of 1.0 in y 1.210 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.210 * [taylor]: Taking taylor expansion of x in y 1.210 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 1.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 1.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.210 * [taylor]: Taking taylor expansion of (* z y) in x 1.210 * [taylor]: Taking taylor expansion of z in x 1.210 * [taylor]: Taking taylor expansion of y in x 1.210 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 1.210 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 1.211 * [taylor]: Taking taylor expansion of 1.0 in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.211 * [taylor]: Taking taylor expansion of z in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 1.211 * [taylor]: Taking taylor expansion of (* z y) in x 1.211 * [taylor]: Taking taylor expansion of z in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 1.211 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 1.211 * [taylor]: Taking taylor expansion of 1.0 in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.211 * [taylor]: Taking taylor expansion of z in x 1.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of (neg 1) in y 1.211 * [taylor]: Taking taylor expansion of 1 in y 1.211 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y 1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y 1.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.211 * [taylor]: Taking taylor expansion of (* z y) in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.211 * [taylor]: Taking taylor expansion of y in y 1.211 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.211 * [taylor]: Taking taylor expansion of 1.0 in y 1.211 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.212 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (neg 1) in z 1.212 * [taylor]: Taking taylor expansion of 1 in z 1.212 * [taylor]: Taking taylor expansion of 0 in y 1.212 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 1.212 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.212 * [taylor]: Taking taylor expansion of 1.0 in z 1.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.212 * * * [progress]: simplifying candidates 1.214 * [simplify]: Simplifying using # : (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b)) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b)) (+ (+ (log (+ y (- t 2.0))) (log (sqrt b))) (log (sqrt b))) (+ (log (* (+ y (- t 2.0)) (sqrt b))) (log (sqrt b))) (log (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (exp (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (* (* (* (* (+ y (- t 2.0)) (+ y (- t 2.0))) (+ y (- t 2.0))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (* (* (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b))) (* (+ y (- t 2.0)) (sqrt b))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (cbrt (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (cbrt (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b)))) (cbrt (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (* (* (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b)) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (sqrt (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (sqrt (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt b))) (* (* (+ y (- t 2.0)) (sqrt b)) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt (* (cbrt b) (cbrt b)))) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt (sqrt b))) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt 1)) (* (* (+ y (- t 2.0)) (sqrt b)) (sqrt (sqrt b))) (* (* (+ y (- t 2.0)) (sqrt b)) 1) (* (sqrt b) (sqrt b)) (* (* (+ (pow y 3) (pow (- t 2.0) 3)) (sqrt b)) (sqrt b)) (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) (sqrt b)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (+ (log (+ y (- t 2.0))) (log (sqrt b))) (log (* (+ y (- t 2.0)) (sqrt b))) (exp (* (+ y (- t 2.0)) (sqrt b))) (* (* (* (+ y (- t 2.0)) (+ y (- t 2.0))) (+ y (- t 2.0))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (cbrt (* (+ y (- t 2.0)) (sqrt b))) (cbrt (* (+ y (- t 2.0)) (sqrt b)))) (cbrt (* (+ y (- t 2.0)) (sqrt b))) (* (* (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b))) (* (+ y (- t 2.0)) (sqrt b))) (sqrt (* (+ y (- t 2.0)) (sqrt b))) (sqrt (* (+ y (- t 2.0)) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (+ y (- t 2.0)) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (+ y (- t 2.0)) (sqrt (* (cbrt b) (cbrt b)))) (* (+ y (- t 2.0)) (sqrt (sqrt b))) (* (+ y (- t 2.0)) (sqrt 1)) (* (+ y (- t 2.0)) (sqrt (sqrt b))) (* (+ y (- t 2.0)) 1) (* (cbrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (* (+ (pow y 3) (pow (- t 2.0) 3)) (sqrt b)) (* (- (* y y) (* (- t 2.0) (- t 2.0))) (sqrt b)) (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z)) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (/ (exp x) (exp (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (* (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (neg (* (- y 1.0) z)) (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ x (* (- y 1.0) z)) (neg (* (- y 1.0) z)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* (pow NAN 2) y) (* t (pow NAN 2))) (* 2.0 (pow NAN 2))) (- (+ (* t (* NAN b)) (* NAN (* y b))) (* 2.0 (* NAN b))) (- (+ (* t NAN) (* NAN y)) (* 2.0 NAN)) (- (+ (* t NAN) (* NAN y)) (* 2.0 NAN)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) 1.254 * * [simplify]: iteration 0 : 5049 enodes (cost 829 ) 1.257 * [simplify]: Simplified to: (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (+ y (- t 2.0)) (* (sqrt b) (* (cbrt (sqrt b)) (cbrt (sqrt b))))) (* (+ y (- t 2.0)) (* (sqrt b) (fabs (cbrt b)))) (* (+ y (- t 2.0)) (* (sqrt b) (sqrt (sqrt b)))) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (* (sqrt b) (sqrt (sqrt b)))) (* (+ y (- t 2.0)) (sqrt b)) b (* b (+ (pow y 3) (pow (- t 2.0) 3))) (* (+ y (- t 2.0)) (* b (+ y (- 2.0 t)))) (* (+ y (- t 2.0)) (sqrt b)) (log (* (+ y (- t 2.0)) (sqrt b))) (log (* (+ y (- t 2.0)) (sqrt b))) (pow (exp (+ y (- t 2.0))) (sqrt b)) (pow (* (+ y (- t 2.0)) (sqrt b)) 3) (* (cbrt (* (+ y (- t 2.0)) (sqrt b))) (cbrt (* (+ y (- t 2.0)) (sqrt b)))) (cbrt (* (+ y (- t 2.0)) (sqrt b))) (pow (* (+ y (- t 2.0)) (sqrt b)) 3) (sqrt (* (+ y (- t 2.0)) (sqrt b))) (sqrt (* (+ y (- t 2.0)) (sqrt b))) (* (sqrt (sqrt b)) (sqrt (+ y (- t 2.0)))) (* (sqrt (sqrt b)) (sqrt (+ y (- t 2.0)))) (* (sqrt (sqrt b)) (sqrt (+ y (- t 2.0)))) (* (sqrt (sqrt b)) (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (+ y (- t 2.0)) (fabs (cbrt b))) (* (+ y (- t 2.0)) (sqrt (sqrt b))) (+ y (- t 2.0)) (* (+ y (- t 2.0)) (sqrt (sqrt b))) (+ y (- t 2.0)) (* (sqrt b) (cbrt (+ y (- t 2.0)))) (* (sqrt b) (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) (sqrt b)) (* (sqrt b) (+ (pow y 3) (pow (- t 2.0) 3))) (* (+ y (- t 2.0)) (* (sqrt b) (+ y (- 2.0 t)))) (* (- y 1.0) z) (log (* (- y 1.0) z)) (log (* (- y 1.0) z)) (pow (exp (- y 1.0)) z) (pow (* (- y 1.0) z) 3) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (- y 1.0) (* z (cbrt (- y 1.0))) (* z (sqrt (- y 1.0))) (* (- y 1.0) z) (* z (- (sqrt y) (sqrt 1.0))) (* (- y 1.0) z) (* z (- (pow y 3) (pow 1.0 3))) (* (- y 1.0) (* z (+ y 1.0))) (exp (+ x (* z (- 1.0 y)))) (log (+ x (* z (- 1.0 y)))) (exp (+ x (* z (- 1.0 y)))) (* (cbrt (+ x (* z (- 1.0 y)))) (cbrt (+ x (* z (- 1.0 y))))) (cbrt (+ x (* z (- 1.0 y)))) (pow (+ x (* z (- 1.0 y))) 3) (sqrt (+ x (* z (- 1.0 y)))) (sqrt (+ x (* z (- 1.0 y)))) (+ (pow x 3) (pow (* z (- 1.0 y)) 3)) (+ (* x x) (* (- y 1.0) (* z (+ (* (- y 1.0) z) x)))) (* z (- 1.0 y)) (+ (* x x) (* (- y 1.0) (* z (* z (- 1.0 y))))) (+ (* (- y 1.0) z) x) (* z (- 1.0 y)) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (* NAN NAN) (+ y (- t 2.0))) (* b (* NAN (+ y (- t 2.0)))) (* NAN (+ y (- t 2.0))) (* NAN (+ y (- t 2.0))) (* (- y 1.0) z) (* (- y 1.0) z) (* (- y 1.0) z) (+ x (* z (- 1.0 y))) (+ x (* z (- 1.0 y))) (+ x (* z (- 1.0 y))) 1.257 * * * [progress]: adding candidates to table 1.358 * [progress]: [Phase 3 of 3] Extracting. 1.359 * * [regime]: Finding splitpoints for: (# # # #) 1.361 * * * [regime-changes]: Trying 7 branch expressions: ((+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) b a t z y x) 1.361 * * * * [regimes]: Trying to branch on (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) from (# # # #) 1.442 * * * * [regimes]: Trying to branch on b from (# # # #) 1.520 * * * * [regimes]: Trying to branch on a from (# # # #) 1.596 * * * * [regimes]: Trying to branch on t from (# # # #) 1.670 * * * * [regimes]: Trying to branch on z from (# # # #) 1.748 * * * * [regimes]: Trying to branch on y from (# # # #) 1.823 * * * * [regimes]: Trying to branch on x from (# # # #) 1.899 * * * [regime]: Found split indices: #