32.639 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* x (- 1.0 (* (- 1.0 y) z))) 0.019 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.020 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.021 * * [simplify]: iteration 2 : 34 enodes (cost 9 ) 0.026 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 0.041 * * [simplify]: iteration 4 : 174 enodes (cost 9 ) 0.073 * * [simplify]: iteration 5 : 258 enodes (cost 9 ) 0.136 * * [simplify]: iteration 6 : 343 enodes (cost 9 ) 0.250 * * [simplify]: iteration 7 : 421 enodes (cost 9 ) 0.426 * * [simplify]: iteration 8 : 616 enodes (cost 9 ) 0.720 * * [simplify]: iteration 9 : 859 enodes (cost 9 ) 1.216 * * [simplify]: iteration 10 : 1391 enodes (cost 9 ) 2.201 * * [simplify]: iteration 11 : 1983 enodes (cost 9 ) 3.844 * * [simplify]: iteration 12 : 2237 enodes (cost 9 ) 6.217 * * [simplify]: iteration 13 : 2765 enodes (cost 9 ) 9.129 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 9.129 * [simplify]: Simplified to: (* x (- 1.0 (* (- 1.0 y) z))) 9.130 * * [progress]: iteration 1 / 4 9.130 * * * [progress]: picking best candidate 9.132 * * * * [pick]: Picked # 9.132 * * * [progress]: localizing error 9.138 * * * [progress]: generating rewritten candidates 9.138 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 9.146 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 9.158 * * * [progress]: generating series expansions 9.158 * * * * [progress]: [ 1 / 2 ] generating series at (2) 9.158 * [approximate]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0 9.158 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z 9.158 * [taylor]: Taking taylor expansion of x in z 9.158 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 9.158 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 9.158 * [taylor]: Taking taylor expansion of (* z y) in z 9.158 * [taylor]: Taking taylor expansion of z in z 9.158 * [taylor]: Taking taylor expansion of y in z 9.158 * [taylor]: Taking taylor expansion of 1.0 in z 9.158 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 9.158 * [taylor]: Taking taylor expansion of 1.0 in z 9.158 * [taylor]: Taking taylor expansion of z in z 9.158 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y 9.158 * [taylor]: Taking taylor expansion of x in y 9.158 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 9.158 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 9.158 * [taylor]: Taking taylor expansion of (* z y) in y 9.158 * [taylor]: Taking taylor expansion of z in y 9.158 * [taylor]: Taking taylor expansion of y in y 9.158 * [taylor]: Taking taylor expansion of 1.0 in y 9.158 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 9.158 * [taylor]: Taking taylor expansion of 1.0 in y 9.158 * [taylor]: Taking taylor expansion of z in y 9.158 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x 9.158 * [taylor]: Taking taylor expansion of x in x 9.158 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x 9.158 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 9.159 * [taylor]: Taking taylor expansion of (* z y) in x 9.159 * [taylor]: Taking taylor expansion of z in x 9.159 * [taylor]: Taking taylor expansion of y in x 9.159 * [taylor]: Taking taylor expansion of 1.0 in x 9.159 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 9.159 * [taylor]: Taking taylor expansion of 1.0 in x 9.159 * [taylor]: Taking taylor expansion of z in x 9.159 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x 9.159 * [taylor]: Taking taylor expansion of x in x 9.159 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x 9.159 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 9.159 * [taylor]: Taking taylor expansion of (* z y) in x 9.159 * [taylor]: Taking taylor expansion of z in x 9.159 * [taylor]: Taking taylor expansion of y in x 9.159 * [taylor]: Taking taylor expansion of 1.0 in x 9.159 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 9.159 * [taylor]: Taking taylor expansion of 1.0 in x 9.159 * [taylor]: Taking taylor expansion of z in x 9.159 * [taylor]: Taking taylor expansion of 0 in y 9.159 * [taylor]: Taking taylor expansion of 0 in z 9.161 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 9.161 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 9.161 * [taylor]: Taking taylor expansion of (* z y) in y 9.161 * [taylor]: Taking taylor expansion of z in y 9.161 * [taylor]: Taking taylor expansion of y in y 9.161 * [taylor]: Taking taylor expansion of 1.0 in y 9.161 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 9.161 * [taylor]: Taking taylor expansion of 1.0 in y 9.161 * [taylor]: Taking taylor expansion of z in y 9.162 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z 9.162 * [taylor]: Taking taylor expansion of 1.0 in z 9.162 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 9.162 * [taylor]: Taking taylor expansion of 1.0 in z 9.162 * [taylor]: Taking taylor expansion of z in z 9.163 * [taylor]: Taking taylor expansion of 0 in z 9.165 * [taylor]: Taking taylor expansion of 0 in y 9.165 * [taylor]: Taking taylor expansion of 0 in z 9.166 * [taylor]: Taking taylor expansion of z in z 9.166 * [taylor]: Taking taylor expansion of 0 in z 9.170 * [taylor]: Taking taylor expansion of 0 in y 9.171 * [taylor]: Taking taylor expansion of 0 in z 9.171 * [taylor]: Taking taylor expansion of 0 in z 9.172 * [taylor]: Taking taylor expansion of 0 in z 9.172 * [taylor]: Taking taylor expansion of 0 in z 9.173 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0 9.173 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z 9.173 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 9.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 9.173 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.173 * [taylor]: Taking taylor expansion of (* z y) in z 9.173 * [taylor]: Taking taylor expansion of z in z 9.173 * [taylor]: Taking taylor expansion of y in z 9.173 * [taylor]: Taking taylor expansion of 1.0 in z 9.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.173 * [taylor]: Taking taylor expansion of 1.0 in z 9.173 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.173 * [taylor]: Taking taylor expansion of z in z 9.174 * [taylor]: Taking taylor expansion of x in z 9.175 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y 9.175 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 9.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 9.175 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.175 * [taylor]: Taking taylor expansion of (* z y) in y 9.175 * [taylor]: Taking taylor expansion of z in y 9.175 * [taylor]: Taking taylor expansion of y in y 9.175 * [taylor]: Taking taylor expansion of 1.0 in y 9.175 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 9.175 * [taylor]: Taking taylor expansion of 1.0 in y 9.175 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.175 * [taylor]: Taking taylor expansion of z in y 9.175 * [taylor]: Taking taylor expansion of x in y 9.175 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x 9.175 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x 9.175 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 9.175 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.175 * [taylor]: Taking taylor expansion of (* z y) in x 9.175 * [taylor]: Taking taylor expansion of z in x 9.175 * [taylor]: Taking taylor expansion of y in x 9.175 * [taylor]: Taking taylor expansion of 1.0 in x 9.175 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 9.175 * [taylor]: Taking taylor expansion of 1.0 in x 9.175 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.175 * [taylor]: Taking taylor expansion of z in x 9.176 * [taylor]: Taking taylor expansion of x in x 9.176 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x 9.176 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x 9.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 9.176 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.176 * [taylor]: Taking taylor expansion of (* z y) in x 9.176 * [taylor]: Taking taylor expansion of z in x 9.176 * [taylor]: Taking taylor expansion of y in x 9.176 * [taylor]: Taking taylor expansion of 1.0 in x 9.176 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 9.176 * [taylor]: Taking taylor expansion of 1.0 in x 9.176 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.176 * [taylor]: Taking taylor expansion of z in x 9.176 * [taylor]: Taking taylor expansion of x in x 9.177 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 9.177 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 9.177 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.177 * [taylor]: Taking taylor expansion of (* z y) in y 9.177 * [taylor]: Taking taylor expansion of z in y 9.177 * [taylor]: Taking taylor expansion of y in y 9.177 * [taylor]: Taking taylor expansion of 1.0 in y 9.177 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 9.177 * [taylor]: Taking taylor expansion of 1.0 in y 9.177 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.177 * [taylor]: Taking taylor expansion of z in y 9.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.177 * [taylor]: Taking taylor expansion of z in z 9.179 * [taylor]: Taking taylor expansion of 0 in y 9.181 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z 9.181 * [taylor]: Taking taylor expansion of 1.0 in z 9.181 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.181 * [taylor]: Taking taylor expansion of 1.0 in z 9.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.181 * [taylor]: Taking taylor expansion of z in z 9.186 * [taylor]: Taking taylor expansion of 0 in y 9.186 * [taylor]: Taking taylor expansion of 0 in z 9.187 * [taylor]: Taking taylor expansion of 0 in z 9.189 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0 9.189 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z 9.190 * [taylor]: Taking taylor expansion of -1 in z 9.190 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in z 9.190 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 9.190 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 9.190 * [taylor]: Taking taylor expansion of (* z y) in z 9.190 * [taylor]: Taking taylor expansion of z in z 9.190 * [taylor]: Taking taylor expansion of y in z 9.190 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 9.190 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.190 * [taylor]: Taking taylor expansion of 1.0 in z 9.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.190 * [taylor]: Taking taylor expansion of z in z 9.190 * [taylor]: Taking taylor expansion of 1.0 in z 9.190 * [taylor]: Taking taylor expansion of x in z 9.191 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y 9.191 * [taylor]: Taking taylor expansion of -1 in y 9.191 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in y 9.191 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 9.191 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.191 * [taylor]: Taking taylor expansion of (* z y) in y 9.191 * [taylor]: Taking taylor expansion of z in y 9.191 * [taylor]: Taking taylor expansion of y in y 9.191 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 9.192 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 9.192 * [taylor]: Taking taylor expansion of 1.0 in y 9.192 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.192 * [taylor]: Taking taylor expansion of z in y 9.192 * [taylor]: Taking taylor expansion of 1.0 in y 9.192 * [taylor]: Taking taylor expansion of x in y 9.192 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x 9.192 * [taylor]: Taking taylor expansion of -1 in x 9.192 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x 9.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x 9.192 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.192 * [taylor]: Taking taylor expansion of (* z y) in x 9.192 * [taylor]: Taking taylor expansion of z in x 9.192 * [taylor]: Taking taylor expansion of y in x 9.192 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x 9.192 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 9.192 * [taylor]: Taking taylor expansion of 1.0 in x 9.192 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.192 * [taylor]: Taking taylor expansion of z in x 9.192 * [taylor]: Taking taylor expansion of 1.0 in x 9.192 * [taylor]: Taking taylor expansion of x in x 9.192 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x 9.192 * [taylor]: Taking taylor expansion of -1 in x 9.192 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x 9.192 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x 9.192 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 9.192 * [taylor]: Taking taylor expansion of (* z y) in x 9.192 * [taylor]: Taking taylor expansion of z in x 9.193 * [taylor]: Taking taylor expansion of y in x 9.193 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x 9.193 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 9.193 * [taylor]: Taking taylor expansion of 1.0 in x 9.193 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.193 * [taylor]: Taking taylor expansion of z in x 9.193 * [taylor]: Taking taylor expansion of 1.0 in x 9.193 * [taylor]: Taking taylor expansion of x in x 9.193 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y 9.193 * [taylor]: Taking taylor expansion of -1 in y 9.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 9.193 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 9.193 * [taylor]: Taking taylor expansion of (* z y) in y 9.193 * [taylor]: Taking taylor expansion of z in y 9.193 * [taylor]: Taking taylor expansion of y in y 9.194 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 9.194 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 9.194 * [taylor]: Taking taylor expansion of 1.0 in y 9.194 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.194 * [taylor]: Taking taylor expansion of z in y 9.194 * [taylor]: Taking taylor expansion of 1.0 in y 9.194 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.194 * [taylor]: Taking taylor expansion of -1 in z 9.194 * [taylor]: Taking taylor expansion of z in z 9.197 * [taylor]: Taking taylor expansion of 0 in y 9.197 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z 9.197 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 9.197 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.197 * [taylor]: Taking taylor expansion of 1.0 in z 9.197 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.197 * [taylor]: Taking taylor expansion of z in z 9.198 * [taylor]: Taking taylor expansion of 1.0 in z 9.203 * [taylor]: Taking taylor expansion of 0 in y 9.203 * [taylor]: Taking taylor expansion of 0 in z 9.209 * [taylor]: Taking taylor expansion of 0 in z 9.212 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 9.212 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (y z) around 0 9.212 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z 9.212 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 9.212 * [taylor]: Taking taylor expansion of 1.0 in z 9.212 * [taylor]: Taking taylor expansion of y in z 9.212 * [taylor]: Taking taylor expansion of z in z 9.212 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 9.212 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.212 * [taylor]: Taking taylor expansion of 1.0 in y 9.212 * [taylor]: Taking taylor expansion of y in y 9.212 * [taylor]: Taking taylor expansion of z in y 9.213 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 9.213 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.213 * [taylor]: Taking taylor expansion of 1.0 in y 9.213 * [taylor]: Taking taylor expansion of y in y 9.213 * [taylor]: Taking taylor expansion of z in y 9.213 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 9.213 * [taylor]: Taking taylor expansion of 1.0 in z 9.213 * [taylor]: Taking taylor expansion of z in z 9.214 * [taylor]: Taking taylor expansion of (- z) in z 9.214 * [taylor]: Taking taylor expansion of z in z 9.217 * [taylor]: Taking taylor expansion of 0 in z 9.219 * [taylor]: Taking taylor expansion of 0 in z 9.221 * [taylor]: Taking taylor expansion of 0 in z 9.221 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (y z) around 0 9.221 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z 9.221 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 9.221 * [taylor]: Taking taylor expansion of 1.0 in z 9.221 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.221 * [taylor]: Taking taylor expansion of y in z 9.221 * [taylor]: Taking taylor expansion of z in z 9.221 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y 9.221 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.222 * [taylor]: Taking taylor expansion of 1.0 in y 9.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.222 * [taylor]: Taking taylor expansion of y in y 9.222 * [taylor]: Taking taylor expansion of z in y 9.222 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y 9.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.222 * [taylor]: Taking taylor expansion of 1.0 in y 9.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.222 * [taylor]: Taking taylor expansion of y in y 9.223 * [taylor]: Taking taylor expansion of z in y 9.223 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.223 * [taylor]: Taking taylor expansion of -1 in z 9.223 * [taylor]: Taking taylor expansion of z in z 9.225 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.225 * [taylor]: Taking taylor expansion of 1.0 in z 9.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.225 * [taylor]: Taking taylor expansion of z in z 9.227 * [taylor]: Taking taylor expansion of 0 in z 9.229 * [taylor]: Taking taylor expansion of 0 in z 9.232 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in (y z) around 0 9.232 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z 9.232 * [taylor]: Taking taylor expansion of -1 in z 9.232 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 9.232 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 9.232 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.232 * [taylor]: Taking taylor expansion of y in z 9.232 * [taylor]: Taking taylor expansion of 1.0 in z 9.232 * [taylor]: Taking taylor expansion of z in z 9.232 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 9.232 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.233 * [taylor]: Taking taylor expansion of 1.0 in y 9.233 * [taylor]: Taking taylor expansion of z in y 9.233 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y 9.233 * [taylor]: Taking taylor expansion of -1 in y 9.233 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 9.233 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.233 * [taylor]: Taking taylor expansion of y in y 9.233 * [taylor]: Taking taylor expansion of 1.0 in y 9.234 * [taylor]: Taking taylor expansion of z in y 9.234 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.234 * [taylor]: Taking taylor expansion of -1 in z 9.234 * [taylor]: Taking taylor expansion of z in z 9.235 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 9.235 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 9.235 * [taylor]: Taking taylor expansion of 1.0 in z 9.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.235 * [taylor]: Taking taylor expansion of z in z 9.238 * [taylor]: Taking taylor expansion of 0 in z 9.241 * [taylor]: Taking taylor expansion of 0 in z 9.243 * * * [progress]: simplifying candidates 9.244 * [simplify]: Simplifying using # : (* x (- 1.0 (* (- 1.0 y) z))) (+ (log x) (log (- 1.0 (* (- 1.0 y) z)))) (log (* x (- 1.0 (* (- 1.0 y) z)))) (exp (* x (- 1.0 (* (- 1.0 y) z)))) (* (* (* x x) x) (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z)))) (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z))))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (* (* (* x (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z)))) (* x (- 1.0 (* (- 1.0 y) z)))) (sqrt (* x (- 1.0 (* (- 1.0 y) z)))) (sqrt (* x (- 1.0 (* (- 1.0 y) z)))) (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z)))) (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z)))) (* x 1.0) (* x (- (* (- 1.0 y) z))) (* x 1.0) (* x (- (* (- 1.0 y) z))) (* 1.0 x) (* (- (* (- 1.0 y) z)) x) (* 1.0 x) (* (- (* (- 1.0 y) z)) x) (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z))))) (* x (sqrt (- 1.0 (* (- 1.0 y) z)))) (* x 1) (* (cbrt x) (- 1.0 (* (- 1.0 y) z))) (* (sqrt x) (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z))) (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (* (- 1.0 y) z) (+ (log (- 1.0 y)) (log z)) (log (* (- 1.0 y) z)) (exp (* (- 1.0 y) z)) (* (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)) (* (* z z) z)) (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z))) (cbrt (* (- 1.0 y) z)) (* (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* (- 1.0 y) z)) (sqrt (* (- 1.0 y) z)) (sqrt (* (- 1.0 y) z)) (* (sqrt (- 1.0 y)) (sqrt z)) (* (sqrt (- 1.0 y)) (sqrt z)) (* (- 1.0 y) (* (cbrt z) (cbrt z))) (* (- 1.0 y) (sqrt z)) (* (- 1.0 y) 1) (* (cbrt (- 1.0 y)) z) (* (sqrt (- 1.0 y)) z) (* (- 1.0 y) z) (* (- (sqrt 1.0) (sqrt y)) z) (* (- 1.0 y) z) (* (- (pow 1.0 3) (pow y 3)) z) (* (- (* 1.0 1.0) (* y y)) z) (- (* 1.0 x) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) (- (* 1.0 z) (* z y)) (- (* 1.0 z) (* z y)) (- (* 1.0 z) (* z y)) 9.247 * * [simplify]: iteration 0 : 93 enodes (cost 536 ) 9.262 * * [simplify]: iteration 1 : 212 enodes (cost 518 ) 9.312 * * [simplify]: iteration 2 : 720 enodes (cost 458 ) 9.723 * * [simplify]: iteration 3 : 2781 enodes (cost 450 ) 10.746 * * [simplify]: iteration done : 5000 enodes (cost 450 ) 10.746 * [simplify]: Simplified to: (* x (- 1.0 (* (- 1.0 y) z))) (log (* x (- 1.0 (* (- 1.0 y) z)))) (log (* x (- 1.0 (* (- 1.0 y) z)))) (exp (* x (- 1.0 (* (- 1.0 y) z)))) (pow (* x (- 1.0 (* (- 1.0 y) z))) 3) (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z))))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (pow (* x (- 1.0 (* (- 1.0 y) z))) 3) (sqrt (* x (- 1.0 (* (- 1.0 y) z)))) (sqrt (* x (- 1.0 (* (- 1.0 y) z)))) (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z)))) (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z)))) (* x 1.0) (* (* x z) (- y 1.0)) (* x 1.0) (* (* x z) (- y 1.0)) (* x 1.0) (* (* x z) (- y 1.0)) (* x 1.0) (* (* x z) (- y 1.0)) (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z))))) (* x (sqrt (- 1.0 (* (- 1.0 y) z)))) x (* (cbrt x) (- 1.0 (* (- 1.0 y) z))) (* (sqrt x) (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z))) (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3))) (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z)))) (* (- 1.0 y) z) (log (* (- 1.0 y) z)) (log (* (- 1.0 y) z)) (exp (* (- 1.0 y) z)) (pow (* (- 1.0 y) z) 3) (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z))) (cbrt (* (- 1.0 y) z)) (pow (* (- 1.0 y) z) 3) (sqrt (* (- 1.0 y) z)) (sqrt (* (- 1.0 y) z)) (* (sqrt (- 1.0 y)) (sqrt z)) (* (sqrt (- 1.0 y)) (sqrt z)) (* (- 1.0 y) (* (cbrt z) (cbrt z))) (* (- 1.0 y) (sqrt z)) (- 1.0 y) (* (cbrt (- 1.0 y)) z) (* (sqrt (- 1.0 y)) z) (* (- 1.0 y) z) (* (- (sqrt 1.0) (sqrt y)) z) (* (- 1.0 y) z) (* (- (pow 1.0 3) (pow y 3)) z) (* (- (* 1.0 1.0) (* y y)) z) (* 1.0 (- x (* x z))) (* x (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z))) (* (- 1.0 y) z) (* (- 1.0 y) z) (* (- 1.0 y) z) 10.746 * * * [progress]: adding candidates to table 10.842 * * [progress]: iteration 2 / 4 10.842 * * * [progress]: picking best candidate 10.851 * * * * [pick]: Picked # 10.851 * * * [progress]: localizing error 10.859 * * * [progress]: generating rewritten candidates 10.859 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 10.872 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.877 * * * [progress]: generating series expansions 10.877 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 10.877 * [approximate]: Taking taylor expansion of (* x (* z (- y 1.0))) in (x z y) around 0 10.877 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y 10.877 * [taylor]: Taking taylor expansion of x in y 10.877 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 10.877 * [taylor]: Taking taylor expansion of z in y 10.877 * [taylor]: Taking taylor expansion of (- y 1.0) in y 10.877 * [taylor]: Taking taylor expansion of y in y 10.877 * [taylor]: Taking taylor expansion of 1.0 in y 10.877 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z 10.877 * [taylor]: Taking taylor expansion of x in z 10.877 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 10.877 * [taylor]: Taking taylor expansion of z in z 10.877 * [taylor]: Taking taylor expansion of (- y 1.0) in z 10.877 * [taylor]: Taking taylor expansion of y in z 10.877 * [taylor]: Taking taylor expansion of 1.0 in z 10.877 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.877 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x 10.877 * [taylor]: Taking taylor expansion of z in x 10.877 * [taylor]: Taking taylor expansion of (- y 1.0) in x 10.877 * [taylor]: Taking taylor expansion of y in x 10.877 * [taylor]: Taking taylor expansion of 1.0 in x 10.877 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.877 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x 10.877 * [taylor]: Taking taylor expansion of z in x 10.878 * [taylor]: Taking taylor expansion of (- y 1.0) in x 10.878 * [taylor]: Taking taylor expansion of y in x 10.878 * [taylor]: Taking taylor expansion of 1.0 in x 10.879 * [taylor]: Taking taylor expansion of 0 in z 10.879 * [taylor]: Taking taylor expansion of 0 in y 10.880 * [taylor]: Taking taylor expansion of (- (* z y) (* 1.0 z)) in z 10.880 * [taylor]: Taking taylor expansion of (* z y) in z 10.880 * [taylor]: Taking taylor expansion of z in z 10.880 * [taylor]: Taking taylor expansion of y in z 10.880 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 10.880 * [taylor]: Taking taylor expansion of 1.0 in z 10.880 * [taylor]: Taking taylor expansion of z in z 10.881 * [taylor]: Taking taylor expansion of 0 in y 10.881 * [taylor]: Taking taylor expansion of 0 in y 10.882 * [taylor]: Taking taylor expansion of 0 in z 10.882 * [taylor]: Taking taylor expansion of 0 in y 10.884 * [taylor]: Taking taylor expansion of (- y 1.0) in y 10.884 * [taylor]: Taking taylor expansion of y in y 10.884 * [taylor]: Taking taylor expansion of 1.0 in y 10.885 * [taylor]: Taking taylor expansion of 0 in y 10.887 * [taylor]: Taking taylor expansion of 0 in z 10.887 * [taylor]: Taking taylor expansion of 0 in y 10.887 * [taylor]: Taking taylor expansion of 0 in y 10.887 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0 10.887 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y 10.887 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 10.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.887 * [taylor]: Taking taylor expansion of y in y 10.887 * [taylor]: Taking taylor expansion of 1.0 in y 10.888 * [taylor]: Taking taylor expansion of (* x z) in y 10.888 * [taylor]: Taking taylor expansion of x in y 10.888 * [taylor]: Taking taylor expansion of z in y 10.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z 10.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 10.888 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.888 * [taylor]: Taking taylor expansion of y in z 10.888 * [taylor]: Taking taylor expansion of 1.0 in z 10.888 * [taylor]: Taking taylor expansion of (* x z) in z 10.888 * [taylor]: Taking taylor expansion of x in z 10.888 * [taylor]: Taking taylor expansion of z in z 10.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x 10.889 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 10.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.889 * [taylor]: Taking taylor expansion of y in x 10.889 * [taylor]: Taking taylor expansion of 1.0 in x 10.889 * [taylor]: Taking taylor expansion of (* x z) in x 10.889 * [taylor]: Taking taylor expansion of x in x 10.889 * [taylor]: Taking taylor expansion of z in x 10.890 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x 10.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 10.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.890 * [taylor]: Taking taylor expansion of y in x 10.890 * [taylor]: Taking taylor expansion of 1.0 in x 10.890 * [taylor]: Taking taylor expansion of (* x z) in x 10.890 * [taylor]: Taking taylor expansion of x in x 10.890 * [taylor]: Taking taylor expansion of z in x 10.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 10.891 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 10.891 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.891 * [taylor]: Taking taylor expansion of y in z 10.891 * [taylor]: Taking taylor expansion of 1.0 in z 10.891 * [taylor]: Taking taylor expansion of z in z 10.892 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 10.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.892 * [taylor]: Taking taylor expansion of y in y 10.892 * [taylor]: Taking taylor expansion of 1.0 in y 10.893 * [taylor]: Taking taylor expansion of 0 in z 10.895 * [taylor]: Taking taylor expansion of 0 in y 10.897 * [taylor]: Taking taylor expansion of 0 in z 10.897 * [taylor]: Taking taylor expansion of 0 in y 10.899 * [taylor]: Taking taylor expansion of 0 in y 10.904 * [taylor]: Taking taylor expansion of 0 in z 10.905 * [taylor]: Taking taylor expansion of 0 in y 10.905 * [taylor]: Taking taylor expansion of 0 in y 10.906 * [taylor]: Taking taylor expansion of 0 in y 10.908 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0 10.908 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y 10.908 * [taylor]: Taking taylor expansion of -1 in y 10.908 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in y 10.908 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 10.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.908 * [taylor]: Taking taylor expansion of y in y 10.909 * [taylor]: Taking taylor expansion of 1.0 in y 10.909 * [taylor]: Taking taylor expansion of (* x z) in y 10.909 * [taylor]: Taking taylor expansion of x in y 10.909 * [taylor]: Taking taylor expansion of z in y 10.909 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z 10.909 * [taylor]: Taking taylor expansion of -1 in z 10.909 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z 10.909 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 10.909 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.909 * [taylor]: Taking taylor expansion of y in z 10.909 * [taylor]: Taking taylor expansion of 1.0 in z 10.909 * [taylor]: Taking taylor expansion of (* x z) in z 10.909 * [taylor]: Taking taylor expansion of x in z 10.909 * [taylor]: Taking taylor expansion of z in z 10.910 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x 10.910 * [taylor]: Taking taylor expansion of -1 in x 10.910 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x 10.910 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 10.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.910 * [taylor]: Taking taylor expansion of y in x 10.910 * [taylor]: Taking taylor expansion of 1.0 in x 10.910 * [taylor]: Taking taylor expansion of (* x z) in x 10.910 * [taylor]: Taking taylor expansion of x in x 10.910 * [taylor]: Taking taylor expansion of z in x 10.911 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x 10.911 * [taylor]: Taking taylor expansion of -1 in x 10.911 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x 10.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 10.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.911 * [taylor]: Taking taylor expansion of y in x 10.911 * [taylor]: Taking taylor expansion of 1.0 in x 10.911 * [taylor]: Taking taylor expansion of (* x z) in x 10.911 * [taylor]: Taking taylor expansion of x in x 10.911 * [taylor]: Taking taylor expansion of z in x 10.911 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z 10.911 * [taylor]: Taking taylor expansion of -1 in z 10.911 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 10.911 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 10.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.911 * [taylor]: Taking taylor expansion of y in z 10.912 * [taylor]: Taking taylor expansion of 1.0 in z 10.912 * [taylor]: Taking taylor expansion of z in z 10.912 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y 10.912 * [taylor]: Taking taylor expansion of -1 in y 10.912 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 10.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.912 * [taylor]: Taking taylor expansion of y in y 10.912 * [taylor]: Taking taylor expansion of 1.0 in y 10.914 * [taylor]: Taking taylor expansion of 0 in z 10.916 * [taylor]: Taking taylor expansion of 0 in y 10.919 * [taylor]: Taking taylor expansion of 0 in z 10.919 * [taylor]: Taking taylor expansion of 0 in y 10.921 * [taylor]: Taking taylor expansion of 0 in y 10.925 * [taylor]: Taking taylor expansion of 0 in z 10.925 * [taylor]: Taking taylor expansion of 0 in y 10.925 * [taylor]: Taking taylor expansion of 0 in y 10.927 * [taylor]: Taking taylor expansion of 0 in y 10.930 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.930 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0 10.930 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y 10.930 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y 10.930 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 10.930 * [taylor]: Taking taylor expansion of 1.0 in y 10.930 * [taylor]: Taking taylor expansion of x in y 10.930 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.930 * [taylor]: Taking taylor expansion of x in y 10.930 * [taylor]: Taking taylor expansion of (* z y) in y 10.930 * [taylor]: Taking taylor expansion of z in y 10.930 * [taylor]: Taking taylor expansion of y in y 10.930 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 10.930 * [taylor]: Taking taylor expansion of 1.0 in y 10.930 * [taylor]: Taking taylor expansion of (* x z) in y 10.930 * [taylor]: Taking taylor expansion of x in y 10.930 * [taylor]: Taking taylor expansion of z in y 10.930 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z 10.930 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z 10.930 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 10.930 * [taylor]: Taking taylor expansion of 1.0 in z 10.930 * [taylor]: Taking taylor expansion of x in z 10.930 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.930 * [taylor]: Taking taylor expansion of x in z 10.930 * [taylor]: Taking taylor expansion of (* z y) in z 10.930 * [taylor]: Taking taylor expansion of z in z 10.930 * [taylor]: Taking taylor expansion of y in z 10.930 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z 10.930 * [taylor]: Taking taylor expansion of 1.0 in z 10.930 * [taylor]: Taking taylor expansion of (* x z) in z 10.930 * [taylor]: Taking taylor expansion of x in z 10.931 * [taylor]: Taking taylor expansion of z in z 10.931 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 10.931 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 10.931 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (* z y) in x 10.931 * [taylor]: Taking taylor expansion of z in x 10.931 * [taylor]: Taking taylor expansion of y in x 10.931 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.931 * [taylor]: Taking taylor expansion of (* x z) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of z in x 10.931 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 10.931 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 10.931 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (* z y) in x 10.931 * [taylor]: Taking taylor expansion of z in x 10.931 * [taylor]: Taking taylor expansion of y in x 10.931 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.931 * [taylor]: Taking taylor expansion of (* x z) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of z in x 10.933 * [taylor]: Taking taylor expansion of 0 in z 10.933 * [taylor]: Taking taylor expansion of 0 in y 10.935 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 10.935 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 10.935 * [taylor]: Taking taylor expansion of (* z y) in z 10.935 * [taylor]: Taking taylor expansion of z in z 10.935 * [taylor]: Taking taylor expansion of y in z 10.935 * [taylor]: Taking taylor expansion of 1.0 in z 10.935 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 10.935 * [taylor]: Taking taylor expansion of 1.0 in z 10.935 * [taylor]: Taking taylor expansion of z in z 10.936 * [taylor]: Taking taylor expansion of 1.0 in y 10.936 * [taylor]: Taking taylor expansion of 0 in y 10.939 * [taylor]: Taking taylor expansion of 0 in z 10.939 * [taylor]: Taking taylor expansion of 0 in y 10.941 * [taylor]: Taking taylor expansion of (- y 1.0) in y 10.941 * [taylor]: Taking taylor expansion of y in y 10.941 * [taylor]: Taking taylor expansion of 1.0 in y 10.942 * [taylor]: Taking taylor expansion of 0 in y 10.946 * [taylor]: Taking taylor expansion of 0 in z 10.946 * [taylor]: Taking taylor expansion of 0 in y 10.946 * [taylor]: Taking taylor expansion of 0 in y 10.946 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0 10.946 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y 10.946 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 10.947 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 10.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.947 * [taylor]: Taking taylor expansion of x in y 10.947 * [taylor]: Taking taylor expansion of (* z y) in y 10.947 * [taylor]: Taking taylor expansion of z in y 10.947 * [taylor]: Taking taylor expansion of y in y 10.947 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 10.947 * [taylor]: Taking taylor expansion of 1.0 in y 10.947 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.947 * [taylor]: Taking taylor expansion of x in y 10.947 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 10.947 * [taylor]: Taking taylor expansion of 1.0 in y 10.947 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.947 * [taylor]: Taking taylor expansion of (* x z) in y 10.947 * [taylor]: Taking taylor expansion of x in y 10.947 * [taylor]: Taking taylor expansion of z in y 10.948 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z 10.948 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 10.948 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 10.948 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.948 * [taylor]: Taking taylor expansion of x in z 10.948 * [taylor]: Taking taylor expansion of (* z y) in z 10.948 * [taylor]: Taking taylor expansion of z in z 10.948 * [taylor]: Taking taylor expansion of y in z 10.948 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 10.948 * [taylor]: Taking taylor expansion of 1.0 in z 10.948 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.948 * [taylor]: Taking taylor expansion of x in z 10.948 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 10.948 * [taylor]: Taking taylor expansion of 1.0 in z 10.948 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.948 * [taylor]: Taking taylor expansion of (* x z) in z 10.948 * [taylor]: Taking taylor expansion of x in z 10.948 * [taylor]: Taking taylor expansion of z in z 10.949 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 10.949 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 10.949 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.949 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.949 * [taylor]: Taking taylor expansion of x in x 10.949 * [taylor]: Taking taylor expansion of (* z y) in x 10.949 * [taylor]: Taking taylor expansion of z in x 10.949 * [taylor]: Taking taylor expansion of y in x 10.950 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 10.950 * [taylor]: Taking taylor expansion of 1.0 in x 10.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.950 * [taylor]: Taking taylor expansion of x in x 10.950 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 10.950 * [taylor]: Taking taylor expansion of 1.0 in x 10.950 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.950 * [taylor]: Taking taylor expansion of (* x z) in x 10.950 * [taylor]: Taking taylor expansion of x in x 10.950 * [taylor]: Taking taylor expansion of z in x 10.950 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 10.950 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 10.950 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.950 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.950 * [taylor]: Taking taylor expansion of x in x 10.950 * [taylor]: Taking taylor expansion of (* z y) in x 10.950 * [taylor]: Taking taylor expansion of z in x 10.950 * [taylor]: Taking taylor expansion of y in x 10.951 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 10.951 * [taylor]: Taking taylor expansion of 1.0 in x 10.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.951 * [taylor]: Taking taylor expansion of x in x 10.951 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 10.951 * [taylor]: Taking taylor expansion of 1.0 in x 10.951 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.951 * [taylor]: Taking taylor expansion of (* x z) in x 10.951 * [taylor]: Taking taylor expansion of x in x 10.951 * [taylor]: Taking taylor expansion of z in x 10.952 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 10.952 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 10.952 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.952 * [taylor]: Taking taylor expansion of (* z y) in z 10.952 * [taylor]: Taking taylor expansion of z in z 10.952 * [taylor]: Taking taylor expansion of y in z 10.953 * [taylor]: Taking taylor expansion of 1.0 in z 10.953 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 10.953 * [taylor]: Taking taylor expansion of 1.0 in z 10.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.953 * [taylor]: Taking taylor expansion of z in z 10.954 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 10.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.954 * [taylor]: Taking taylor expansion of y in y 10.954 * [taylor]: Taking taylor expansion of 1.0 in y 10.958 * [taylor]: Taking taylor expansion of 0 in z 10.960 * [taylor]: Taking taylor expansion of 1.0 in y 10.966 * [taylor]: Taking taylor expansion of 0 in z 10.966 * [taylor]: Taking taylor expansion of 0 in y 10.969 * [taylor]: Taking taylor expansion of 0 in y 10.970 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0 10.970 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y 10.970 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y 10.970 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 10.970 * [taylor]: Taking taylor expansion of 1.0 in y 10.970 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 10.970 * [taylor]: Taking taylor expansion of (* x z) in y 10.970 * [taylor]: Taking taylor expansion of x in y 10.970 * [taylor]: Taking taylor expansion of z in y 10.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 10.970 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 10.970 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 10.970 * [taylor]: Taking taylor expansion of x in y 10.970 * [taylor]: Taking taylor expansion of (* z y) in y 10.970 * [taylor]: Taking taylor expansion of z in y 10.970 * [taylor]: Taking taylor expansion of y in y 10.971 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 10.971 * [taylor]: Taking taylor expansion of 1.0 in y 10.971 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.971 * [taylor]: Taking taylor expansion of x in y 10.971 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z 10.971 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z 10.971 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 10.971 * [taylor]: Taking taylor expansion of 1.0 in z 10.971 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 10.971 * [taylor]: Taking taylor expansion of (* x z) in z 10.971 * [taylor]: Taking taylor expansion of x in z 10.971 * [taylor]: Taking taylor expansion of z in z 10.971 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 10.971 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 10.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 10.971 * [taylor]: Taking taylor expansion of x in z 10.971 * [taylor]: Taking taylor expansion of (* z y) in z 10.971 * [taylor]: Taking taylor expansion of z in z 10.971 * [taylor]: Taking taylor expansion of y in z 10.972 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 10.972 * [taylor]: Taking taylor expansion of 1.0 in z 10.972 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.972 * [taylor]: Taking taylor expansion of x in z 10.972 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 10.972 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 10.972 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 10.972 * [taylor]: Taking taylor expansion of 1.0 in x 10.972 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.972 * [taylor]: Taking taylor expansion of (* x z) in x 10.972 * [taylor]: Taking taylor expansion of x in x 10.972 * [taylor]: Taking taylor expansion of z in x 10.973 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 10.973 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.973 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of (* z y) in x 10.973 * [taylor]: Taking taylor expansion of z in x 10.973 * [taylor]: Taking taylor expansion of y in x 10.973 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 10.973 * [taylor]: Taking taylor expansion of 1.0 in x 10.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 10.973 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 10.973 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 10.973 * [taylor]: Taking taylor expansion of 1.0 in x 10.974 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 10.974 * [taylor]: Taking taylor expansion of (* x z) in x 10.974 * [taylor]: Taking taylor expansion of x in x 10.974 * [taylor]: Taking taylor expansion of z in x 10.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 10.974 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 10.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 10.974 * [taylor]: Taking taylor expansion of x in x 10.974 * [taylor]: Taking taylor expansion of (* z y) in x 10.974 * [taylor]: Taking taylor expansion of z in x 10.974 * [taylor]: Taking taylor expansion of y in x 10.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 10.974 * [taylor]: Taking taylor expansion of 1.0 in x 10.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.974 * [taylor]: Taking taylor expansion of x in x 10.975 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in z 10.975 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 10.975 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 10.975 * [taylor]: Taking taylor expansion of (* z y) in z 10.975 * [taylor]: Taking taylor expansion of z in z 10.975 * [taylor]: Taking taylor expansion of y in z 10.976 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 10.976 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 10.976 * [taylor]: Taking taylor expansion of 1.0 in z 10.976 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.976 * [taylor]: Taking taylor expansion of z in z 10.976 * [taylor]: Taking taylor expansion of 1.0 in z 10.977 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 10.977 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 10.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.977 * [taylor]: Taking taylor expansion of y in y 10.977 * [taylor]: Taking taylor expansion of 1.0 in y 10.981 * [taylor]: Taking taylor expansion of 0 in z 10.983 * [taylor]: Taking taylor expansion of (- 1.0) in y 10.983 * [taylor]: Taking taylor expansion of 1.0 in y 10.990 * [taylor]: Taking taylor expansion of 0 in z 10.990 * [taylor]: Taking taylor expansion of 0 in y 10.995 * [taylor]: Taking taylor expansion of 0 in y 10.997 * * * [progress]: simplifying candidates 10.998 * [simplify]: Simplifying using # : (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)) (+ (+ (log x) (log z)) (log (- y 1.0))) (+ (log (* x z)) (log (- y 1.0))) (log (* (* x z) (- y 1.0))) (exp (* (* x z) (- y 1.0))) (* (* (* (* x x) x) (* (* z z) z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0))) (* (* (* (* x z) (* x z)) (* x z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0))) (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))) (* (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x z) (- y 1.0))) (sqrt (* (* x z) (- y 1.0))) (sqrt (* (* x z) (- y 1.0))) (* (* x z) y) (* (* x z) (- 1.0)) (* (* x z) y) (* (* x z) (- 1.0)) (* y (* x z)) (* (- 1.0) (* x z)) (* y (* x z)) (* (- 1.0) (* x z)) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* x z) (sqrt (- y 1.0))) (* (* x z) 1) (* (* x z) (+ (sqrt y) (sqrt 1.0))) (* (* x z) 1) (* z (- y 1.0)) (* (* x z) (- (pow y 3) (pow 1.0 3))) (* (* x z) (- (* y y) (* 1.0 1.0))) (* (exp (* x 1.0)) (exp (* (* x z) (- y 1.0)))) (log (+ (* x 1.0) (* (* x z) (- y 1.0)))) (exp (+ (* x 1.0) (* (* x z) (- y 1.0)))) (* (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0))))) (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (* (* (+ (* x 1.0) (* (* x z) (- y 1.0))) (+ (* x 1.0) (* (* x z) (- y 1.0)))) (+ (* x 1.0) (* (* x z) (- y 1.0)))) (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3)) (+ (* (* x 1.0) (* x 1.0)) (- (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x 1.0) (* (* x z) (- y 1.0))))) (- (* (* x 1.0) (* x 1.0)) (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)))) (- (* x 1.0) (* (* x z) (- y 1.0))) (+ (* x 1.0) (* (* x z) y)) (+ (* x 1.0) (* (* x z) y)) (+ (* x 1.0) (* y (* x z))) (+ (* x 1.0) (* y (* x z))) (* -1.0 (* x z)) (- (* x (* z y)) (* 1.0 (* x z))) (- (* x (* z y)) (* 1.0 (* x z))) (- (* 1.0 x) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) 11.000 * * [simplify]: iteration 0 : 90 enodes (cost 589 ) 11.016 * * [simplify]: iteration 1 : 255 enodes (cost 557 ) 11.109 * * [simplify]: iteration 2 : 1009 enodes (cost 453 ) 12.045 * * [simplify]: iteration 3 : 4867 enodes (cost 451 ) 13.995 * * [simplify]: iteration done : 5000 enodes (cost 451 ) 13.996 * [simplify]: Simplified to: (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)) (log (* (* x z) (- y 1.0))) (log (* (* x z) (- y 1.0))) (log (* (* x z) (- y 1.0))) (exp (* (* x z) (- y 1.0))) (pow (* (* x z) (- y 1.0)) 3) (pow (* (* x z) (- y 1.0)) 3) (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0)))) (cbrt (* (* x z) (- y 1.0))) (pow (* (* x z) (- y 1.0)) 3) (sqrt (* (* x z) (- y 1.0))) (sqrt (* (* x z) (- y 1.0))) (* y (* x z)) (* (- 1.0) (* x z)) (* y (* x z)) (* (- 1.0) (* x z)) (* y (* x z)) (* (- 1.0) (* x z)) (* y (* x z)) (* (- 1.0) (* x z)) (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* (* x z) (sqrt (- y 1.0))) (* x z) (* (* x z) (+ (sqrt y) (sqrt 1.0))) (* x z) (* z (- y 1.0)) (* (* x z) (- (pow y 3) (pow 1.0 3))) (* (* x z) (- (* y y) (* 1.0 1.0))) (exp (* x (+ (* z (- y 1.0)) 1.0))) (log (* x (+ (* z (- y 1.0)) 1.0))) (exp (* x (+ (* z (- y 1.0)) 1.0))) (* (cbrt (* x (+ (* z (- y 1.0)) 1.0))) (cbrt (* x (+ (* z (- y 1.0)) 1.0)))) (cbrt (* x (+ (* z (- y 1.0)) 1.0))) (pow (* x (+ (* z (- y 1.0)) 1.0)) 3) (sqrt (* x (+ (* z (- y 1.0)) 1.0))) (sqrt (* x (+ (* z (- y 1.0)) 1.0))) (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3)) (* x (+ (* (* z (- y 1.0)) (* x (- (* z (- y 1.0)) 1.0))) (* x (* 1.0 1.0)))) (* (* x (+ (* z (- y 1.0)) 1.0)) (* x (- 1.0 (* z (- y 1.0))))) (* x (- 1.0 (* z (- y 1.0)))) (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y))) (* -1.0 (* x z)) (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)) (* 1.0 (- x (* x z))) (* x (+ (* z (- y 1.0)) 1.0)) (* x (+ (* z (- y 1.0)) 1.0)) 13.996 * * * [progress]: adding candidates to table 14.079 * * [progress]: iteration 3 / 4 14.079 * * * [progress]: picking best candidate 14.091 * * * * [pick]: Picked # 14.091 * * * [progress]: localizing error 14.101 * * * [progress]: generating rewritten candidates 14.101 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 14.111 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 14.117 * * * [progress]: generating series expansions 14.117 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 14.117 * [approximate]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in (x z y) around 0 14.117 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in y 14.117 * [taylor]: Taking taylor expansion of x in y 14.117 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 14.117 * [taylor]: Taking taylor expansion of (* z y) in y 14.117 * [taylor]: Taking taylor expansion of z in y 14.117 * [taylor]: Taking taylor expansion of y in y 14.117 * [taylor]: Taking taylor expansion of 1.0 in y 14.117 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in z 14.117 * [taylor]: Taking taylor expansion of x in z 14.117 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 14.117 * [taylor]: Taking taylor expansion of (* z y) in z 14.117 * [taylor]: Taking taylor expansion of z in z 14.117 * [taylor]: Taking taylor expansion of y in z 14.117 * [taylor]: Taking taylor expansion of 1.0 in z 14.117 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in x 14.117 * [taylor]: Taking taylor expansion of x in x 14.117 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 14.117 * [taylor]: Taking taylor expansion of (* z y) in x 14.117 * [taylor]: Taking taylor expansion of z in x 14.117 * [taylor]: Taking taylor expansion of y in x 14.117 * [taylor]: Taking taylor expansion of 1.0 in x 14.117 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in x 14.117 * [taylor]: Taking taylor expansion of x in x 14.118 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 14.118 * [taylor]: Taking taylor expansion of (* z y) in x 14.118 * [taylor]: Taking taylor expansion of z in x 14.118 * [taylor]: Taking taylor expansion of y in x 14.118 * [taylor]: Taking taylor expansion of 1.0 in x 14.118 * [taylor]: Taking taylor expansion of 0 in z 14.118 * [taylor]: Taking taylor expansion of 0 in y 14.119 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 14.119 * [taylor]: Taking taylor expansion of (* z y) in z 14.119 * [taylor]: Taking taylor expansion of z in z 14.119 * [taylor]: Taking taylor expansion of y in z 14.119 * [taylor]: Taking taylor expansion of 1.0 in z 14.119 * [taylor]: Taking taylor expansion of 1.0 in y 14.119 * [taylor]: Taking taylor expansion of 0 in y 14.121 * [taylor]: Taking taylor expansion of 0 in z 14.121 * [taylor]: Taking taylor expansion of 0 in y 14.121 * [taylor]: Taking taylor expansion of y in y 14.121 * [taylor]: Taking taylor expansion of 0 in y 14.121 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in (x z y) around 0 14.121 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in y 14.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 14.121 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.121 * [taylor]: Taking taylor expansion of (* z y) in y 14.121 * [taylor]: Taking taylor expansion of z in y 14.121 * [taylor]: Taking taylor expansion of y in y 14.122 * [taylor]: Taking taylor expansion of 1.0 in y 14.122 * [taylor]: Taking taylor expansion of x in y 14.122 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in z 14.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 14.122 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.122 * [taylor]: Taking taylor expansion of (* z y) in z 14.122 * [taylor]: Taking taylor expansion of z in z 14.122 * [taylor]: Taking taylor expansion of y in z 14.122 * [taylor]: Taking taylor expansion of 1.0 in z 14.122 * [taylor]: Taking taylor expansion of x in z 14.122 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x 14.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 14.122 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.122 * [taylor]: Taking taylor expansion of (* z y) in x 14.122 * [taylor]: Taking taylor expansion of z in x 14.122 * [taylor]: Taking taylor expansion of y in x 14.123 * [taylor]: Taking taylor expansion of 1.0 in x 14.123 * [taylor]: Taking taylor expansion of x in x 14.123 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x 14.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 14.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.123 * [taylor]: Taking taylor expansion of (* z y) in x 14.123 * [taylor]: Taking taylor expansion of z in x 14.123 * [taylor]: Taking taylor expansion of y in x 14.123 * [taylor]: Taking taylor expansion of 1.0 in x 14.123 * [taylor]: Taking taylor expansion of x in x 14.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 14.123 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.123 * [taylor]: Taking taylor expansion of (* z y) in z 14.123 * [taylor]: Taking taylor expansion of z in z 14.123 * [taylor]: Taking taylor expansion of y in z 14.123 * [taylor]: Taking taylor expansion of 1.0 in z 14.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.124 * [taylor]: Taking taylor expansion of y in y 14.125 * [taylor]: Taking taylor expansion of 0 in z 14.126 * [taylor]: Taking taylor expansion of 1.0 in y 14.128 * [taylor]: Taking taylor expansion of 0 in z 14.128 * [taylor]: Taking taylor expansion of 0 in y 14.129 * [taylor]: Taking taylor expansion of 0 in y 14.132 * [taylor]: Taking taylor expansion of 0 in z 14.132 * [taylor]: Taking taylor expansion of 0 in y 14.132 * [taylor]: Taking taylor expansion of 0 in y 14.133 * [taylor]: Taking taylor expansion of 0 in y 14.137 * [taylor]: Taking taylor expansion of 0 in z 14.137 * [taylor]: Taking taylor expansion of 0 in y 14.137 * [taylor]: Taking taylor expansion of 0 in y 14.137 * [taylor]: Taking taylor expansion of 0 in y 14.139 * [taylor]: Taking taylor expansion of 0 in y 14.139 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in (x z y) around 0 14.139 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in y 14.139 * [taylor]: Taking taylor expansion of -1 in y 14.139 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in y 14.139 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 14.139 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.139 * [taylor]: Taking taylor expansion of (* z y) in y 14.139 * [taylor]: Taking taylor expansion of z in y 14.139 * [taylor]: Taking taylor expansion of y in y 14.139 * [taylor]: Taking taylor expansion of 1.0 in y 14.140 * [taylor]: Taking taylor expansion of x in y 14.140 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in z 14.140 * [taylor]: Taking taylor expansion of -1 in z 14.140 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in z 14.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 14.140 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.140 * [taylor]: Taking taylor expansion of (* z y) in z 14.140 * [taylor]: Taking taylor expansion of z in z 14.140 * [taylor]: Taking taylor expansion of y in z 14.140 * [taylor]: Taking taylor expansion of 1.0 in z 14.140 * [taylor]: Taking taylor expansion of x in z 14.140 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in x 14.140 * [taylor]: Taking taylor expansion of -1 in x 14.140 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x 14.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 14.140 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.140 * [taylor]: Taking taylor expansion of (* z y) in x 14.140 * [taylor]: Taking taylor expansion of z in x 14.140 * [taylor]: Taking taylor expansion of y in x 14.140 * [taylor]: Taking taylor expansion of 1.0 in x 14.140 * [taylor]: Taking taylor expansion of x in x 14.141 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in x 14.141 * [taylor]: Taking taylor expansion of -1 in x 14.141 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x 14.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 14.141 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.141 * [taylor]: Taking taylor expansion of (* z y) in x 14.141 * [taylor]: Taking taylor expansion of z in x 14.141 * [taylor]: Taking taylor expansion of y in x 14.141 * [taylor]: Taking taylor expansion of 1.0 in x 14.141 * [taylor]: Taking taylor expansion of x in x 14.141 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) 1.0)) in z 14.141 * [taylor]: Taking taylor expansion of -1 in z 14.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 14.141 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.141 * [taylor]: Taking taylor expansion of (* z y) in z 14.141 * [taylor]: Taking taylor expansion of z in z 14.141 * [taylor]: Taking taylor expansion of y in z 14.141 * [taylor]: Taking taylor expansion of 1.0 in z 14.142 * [taylor]: Taking taylor expansion of (/ -1 y) in y 14.142 * [taylor]: Taking taylor expansion of -1 in y 14.142 * [taylor]: Taking taylor expansion of y in y 14.143 * [taylor]: Taking taylor expansion of 0 in z 14.144 * [taylor]: Taking taylor expansion of (- 1.0) in y 14.144 * [taylor]: Taking taylor expansion of 1.0 in y 14.147 * [taylor]: Taking taylor expansion of 0 in z 14.147 * [taylor]: Taking taylor expansion of 0 in y 14.149 * [taylor]: Taking taylor expansion of 0 in y 14.153 * [taylor]: Taking taylor expansion of 0 in z 14.153 * [taylor]: Taking taylor expansion of 0 in y 14.153 * [taylor]: Taking taylor expansion of 0 in y 14.155 * [taylor]: Taking taylor expansion of 0 in y 14.159 * [taylor]: Taking taylor expansion of 0 in z 14.160 * [taylor]: Taking taylor expansion of 0 in y 14.160 * [taylor]: Taking taylor expansion of 0 in y 14.160 * [taylor]: Taking taylor expansion of 0 in y 14.162 * [taylor]: Taking taylor expansion of 0 in y 14.163 * * * * [progress]: [ 2 / 2 ] generating series at (2) 14.163 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0 14.163 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y 14.163 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y 14.163 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 14.163 * [taylor]: Taking taylor expansion of 1.0 in y 14.163 * [taylor]: Taking taylor expansion of x in y 14.163 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 14.163 * [taylor]: Taking taylor expansion of x in y 14.163 * [taylor]: Taking taylor expansion of (* z y) in y 14.164 * [taylor]: Taking taylor expansion of z in y 14.164 * [taylor]: Taking taylor expansion of y in y 14.164 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 14.164 * [taylor]: Taking taylor expansion of 1.0 in y 14.164 * [taylor]: Taking taylor expansion of (* x z) in y 14.164 * [taylor]: Taking taylor expansion of x in y 14.164 * [taylor]: Taking taylor expansion of z in y 14.164 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z 14.164 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z 14.164 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 14.164 * [taylor]: Taking taylor expansion of 1.0 in z 14.164 * [taylor]: Taking taylor expansion of x in z 14.164 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 14.164 * [taylor]: Taking taylor expansion of x in z 14.164 * [taylor]: Taking taylor expansion of (* z y) in z 14.164 * [taylor]: Taking taylor expansion of z in z 14.164 * [taylor]: Taking taylor expansion of y in z 14.164 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z 14.164 * [taylor]: Taking taylor expansion of 1.0 in z 14.164 * [taylor]: Taking taylor expansion of (* x z) in z 14.164 * [taylor]: Taking taylor expansion of x in z 14.164 * [taylor]: Taking taylor expansion of z in z 14.164 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 14.164 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 14.164 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.164 * [taylor]: Taking taylor expansion of 1.0 in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of (* z y) in x 14.164 * [taylor]: Taking taylor expansion of z in x 14.164 * [taylor]: Taking taylor expansion of y in x 14.164 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 14.164 * [taylor]: Taking taylor expansion of 1.0 in x 14.164 * [taylor]: Taking taylor expansion of (* x z) in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of z in x 14.164 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 14.164 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 14.164 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 14.164 * [taylor]: Taking taylor expansion of 1.0 in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of (* z y) in x 14.164 * [taylor]: Taking taylor expansion of z in x 14.164 * [taylor]: Taking taylor expansion of y in x 14.164 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 14.164 * [taylor]: Taking taylor expansion of 1.0 in x 14.164 * [taylor]: Taking taylor expansion of (* x z) in x 14.164 * [taylor]: Taking taylor expansion of x in x 14.164 * [taylor]: Taking taylor expansion of z in x 14.166 * [taylor]: Taking taylor expansion of 0 in z 14.166 * [taylor]: Taking taylor expansion of 0 in y 14.168 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 14.168 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 14.168 * [taylor]: Taking taylor expansion of (* z y) in z 14.168 * [taylor]: Taking taylor expansion of z in z 14.168 * [taylor]: Taking taylor expansion of y in z 14.168 * [taylor]: Taking taylor expansion of 1.0 in z 14.168 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 14.168 * [taylor]: Taking taylor expansion of 1.0 in z 14.168 * [taylor]: Taking taylor expansion of z in z 14.169 * [taylor]: Taking taylor expansion of 1.0 in y 14.169 * [taylor]: Taking taylor expansion of 0 in y 14.173 * [taylor]: Taking taylor expansion of 0 in z 14.173 * [taylor]: Taking taylor expansion of 0 in y 14.174 * [taylor]: Taking taylor expansion of (- y 1.0) in y 14.174 * [taylor]: Taking taylor expansion of y in y 14.174 * [taylor]: Taking taylor expansion of 1.0 in y 14.175 * [taylor]: Taking taylor expansion of 0 in y 14.180 * [taylor]: Taking taylor expansion of 0 in z 14.180 * [taylor]: Taking taylor expansion of 0 in y 14.180 * [taylor]: Taking taylor expansion of 0 in y 14.181 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0 14.181 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y 14.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 14.181 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 14.181 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 14.181 * [taylor]: Taking taylor expansion of x in y 14.181 * [taylor]: Taking taylor expansion of (* z y) in y 14.181 * [taylor]: Taking taylor expansion of z in y 14.181 * [taylor]: Taking taylor expansion of y in y 14.181 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 14.181 * [taylor]: Taking taylor expansion of 1.0 in y 14.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.181 * [taylor]: Taking taylor expansion of x in y 14.182 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 14.182 * [taylor]: Taking taylor expansion of 1.0 in y 14.182 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.182 * [taylor]: Taking taylor expansion of (* x z) in y 14.182 * [taylor]: Taking taylor expansion of x in y 14.182 * [taylor]: Taking taylor expansion of z in y 14.182 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z 14.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 14.182 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 14.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 14.182 * [taylor]: Taking taylor expansion of x in z 14.182 * [taylor]: Taking taylor expansion of (* z y) in z 14.182 * [taylor]: Taking taylor expansion of z in z 14.182 * [taylor]: Taking taylor expansion of y in z 14.182 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 14.182 * [taylor]: Taking taylor expansion of 1.0 in z 14.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.182 * [taylor]: Taking taylor expansion of x in z 14.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 14.183 * [taylor]: Taking taylor expansion of 1.0 in z 14.183 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.183 * [taylor]: Taking taylor expansion of (* x z) in z 14.183 * [taylor]: Taking taylor expansion of x in z 14.183 * [taylor]: Taking taylor expansion of z in z 14.183 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 14.183 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 14.183 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 14.183 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.183 * [taylor]: Taking taylor expansion of x in x 14.183 * [taylor]: Taking taylor expansion of (* z y) in x 14.183 * [taylor]: Taking taylor expansion of z in x 14.183 * [taylor]: Taking taylor expansion of y in x 14.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.184 * [taylor]: Taking taylor expansion of 1.0 in x 14.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.184 * [taylor]: Taking taylor expansion of x in x 14.184 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 14.184 * [taylor]: Taking taylor expansion of 1.0 in x 14.184 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.184 * [taylor]: Taking taylor expansion of (* x z) in x 14.184 * [taylor]: Taking taylor expansion of x in x 14.184 * [taylor]: Taking taylor expansion of z in x 14.184 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 14.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 14.184 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 14.184 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.184 * [taylor]: Taking taylor expansion of x in x 14.184 * [taylor]: Taking taylor expansion of (* z y) in x 14.184 * [taylor]: Taking taylor expansion of z in x 14.184 * [taylor]: Taking taylor expansion of y in x 14.185 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.185 * [taylor]: Taking taylor expansion of 1.0 in x 14.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.185 * [taylor]: Taking taylor expansion of x in x 14.185 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 14.185 * [taylor]: Taking taylor expansion of 1.0 in x 14.185 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.185 * [taylor]: Taking taylor expansion of (* x z) in x 14.185 * [taylor]: Taking taylor expansion of x in x 14.185 * [taylor]: Taking taylor expansion of z in x 14.186 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 14.186 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 14.186 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.186 * [taylor]: Taking taylor expansion of (* z y) in z 14.186 * [taylor]: Taking taylor expansion of z in z 14.186 * [taylor]: Taking taylor expansion of y in z 14.187 * [taylor]: Taking taylor expansion of 1.0 in z 14.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 14.187 * [taylor]: Taking taylor expansion of 1.0 in z 14.187 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.187 * [taylor]: Taking taylor expansion of z in z 14.188 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 14.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.188 * [taylor]: Taking taylor expansion of y in y 14.188 * [taylor]: Taking taylor expansion of 1.0 in y 14.191 * [taylor]: Taking taylor expansion of 0 in z 14.194 * [taylor]: Taking taylor expansion of 1.0 in y 14.203 * [taylor]: Taking taylor expansion of 0 in z 14.203 * [taylor]: Taking taylor expansion of 0 in y 14.205 * [taylor]: Taking taylor expansion of 0 in y 14.207 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0 14.207 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y 14.207 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y 14.207 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 14.207 * [taylor]: Taking taylor expansion of 1.0 in y 14.207 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.207 * [taylor]: Taking taylor expansion of (* x z) in y 14.207 * [taylor]: Taking taylor expansion of x in y 14.207 * [taylor]: Taking taylor expansion of z in y 14.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 14.207 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 14.207 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 14.207 * [taylor]: Taking taylor expansion of x in y 14.207 * [taylor]: Taking taylor expansion of (* z y) in y 14.207 * [taylor]: Taking taylor expansion of z in y 14.207 * [taylor]: Taking taylor expansion of y in y 14.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 14.208 * [taylor]: Taking taylor expansion of 1.0 in y 14.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.208 * [taylor]: Taking taylor expansion of x in y 14.208 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z 14.208 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z 14.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 14.208 * [taylor]: Taking taylor expansion of 1.0 in z 14.208 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.208 * [taylor]: Taking taylor expansion of (* x z) in z 14.208 * [taylor]: Taking taylor expansion of x in z 14.208 * [taylor]: Taking taylor expansion of z in z 14.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 14.208 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 14.208 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 14.208 * [taylor]: Taking taylor expansion of x in z 14.208 * [taylor]: Taking taylor expansion of (* z y) in z 14.208 * [taylor]: Taking taylor expansion of z in z 14.208 * [taylor]: Taking taylor expansion of y in z 14.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 14.209 * [taylor]: Taking taylor expansion of 1.0 in z 14.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.209 * [taylor]: Taking taylor expansion of x in z 14.209 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 14.209 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 14.209 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 14.209 * [taylor]: Taking taylor expansion of 1.0 in x 14.209 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.209 * [taylor]: Taking taylor expansion of (* x z) in x 14.209 * [taylor]: Taking taylor expansion of x in x 14.209 * [taylor]: Taking taylor expansion of z in x 14.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 14.210 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 14.210 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.210 * [taylor]: Taking taylor expansion of x in x 14.210 * [taylor]: Taking taylor expansion of (* z y) in x 14.210 * [taylor]: Taking taylor expansion of z in x 14.210 * [taylor]: Taking taylor expansion of y in x 14.210 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.210 * [taylor]: Taking taylor expansion of 1.0 in x 14.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.210 * [taylor]: Taking taylor expansion of x in x 14.210 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 14.210 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 14.211 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 14.211 * [taylor]: Taking taylor expansion of 1.0 in x 14.211 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.211 * [taylor]: Taking taylor expansion of (* x z) in x 14.211 * [taylor]: Taking taylor expansion of x in x 14.211 * [taylor]: Taking taylor expansion of z in x 14.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 14.211 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 14.211 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 14.211 * [taylor]: Taking taylor expansion of x in x 14.211 * [taylor]: Taking taylor expansion of (* z y) in x 14.211 * [taylor]: Taking taylor expansion of z in x 14.211 * [taylor]: Taking taylor expansion of y in x 14.212 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 14.212 * [taylor]: Taking taylor expansion of 1.0 in x 14.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.212 * [taylor]: Taking taylor expansion of x in x 14.213 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in z 14.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 14.213 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.213 * [taylor]: Taking taylor expansion of (* z y) in z 14.213 * [taylor]: Taking taylor expansion of z in z 14.213 * [taylor]: Taking taylor expansion of y in z 14.213 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 14.213 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 14.213 * [taylor]: Taking taylor expansion of 1.0 in z 14.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.213 * [taylor]: Taking taylor expansion of z in z 14.213 * [taylor]: Taking taylor expansion of 1.0 in z 14.214 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 14.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 14.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.214 * [taylor]: Taking taylor expansion of y in y 14.214 * [taylor]: Taking taylor expansion of 1.0 in y 14.218 * [taylor]: Taking taylor expansion of 0 in z 14.220 * [taylor]: Taking taylor expansion of (- 1.0) in y 14.220 * [taylor]: Taking taylor expansion of 1.0 in y 14.226 * [taylor]: Taking taylor expansion of 0 in z 14.226 * [taylor]: Taking taylor expansion of 0 in y 14.228 * [taylor]: Taking taylor expansion of 0 in y 14.230 * * * [progress]: simplifying candidates 14.230 * [simplify]: Simplifying using # : (* x (+ 1.0 (* z y))) (+ (log x) (log (+ 1.0 (* z y)))) (log (* x (+ 1.0 (* z y)))) (exp (* x (+ 1.0 (* z y)))) (* (* (* x x) x) (* (* (+ 1.0 (* z y)) (+ 1.0 (* z y))) (+ 1.0 (* z y)))) (* (cbrt (* x (+ 1.0 (* z y)))) (cbrt (* x (+ 1.0 (* z y))))) (cbrt (* x (+ 1.0 (* z y)))) (* (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (* x (+ 1.0 (* z y)))) (sqrt (* x (+ 1.0 (* z y)))) (sqrt (* x (+ 1.0 (* z y)))) (* (sqrt x) (sqrt (+ 1.0 (* z y)))) (* (sqrt x) (sqrt (+ 1.0 (* z y)))) (* x 1.0) (* x (* z y)) (* 1.0 x) (* (* z y) x) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (sqrt (+ 1.0 (* z y)))) (* x 1) (* (cbrt x) (+ 1.0 (* z y))) (* (sqrt x) (+ 1.0 (* z y))) (* x (+ 1.0 (* z y))) (* x (+ (pow 1.0 3) (pow (* z y) 3))) (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (* (exp (* x (+ 1.0 (* z y)))) (exp (* (- 1.0) (* x z)))) (log (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (exp (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (* (cbrt (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (cbrt (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z))))) (cbrt (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (* (* (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z))) (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (sqrt (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (sqrt (+ (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z)))) (+ (pow (* x (+ 1.0 (* z y))) 3) (pow (* (- 1.0) (* x z)) 3)) (+ (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (- (* (* (- 1.0) (* x z)) (* (- 1.0) (* x z))) (* (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z))))) (- (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (* (* (- 1.0) (* x z)) (* (- 1.0) (* x z)))) (- (* x (+ 1.0 (* z y))) (* (- 1.0) (* x z))) (+ (* x (* z y)) (* (- 1.0) (* x z))) (+ (* (* z y) x) (* (- 1.0) (* x z))) (* 1.0 x) (+ (* 1.0 x) (* x (* z y))) (+ (* 1.0 x) (* x (* z y))) (- (* 1.0 x) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) 14.233 * * [simplify]: iteration 0 : 75 enodes (cost 581 ) 14.246 * * [simplify]: iteration 1 : 236 enodes (cost 534 ) 14.309 * * [simplify]: iteration 2 : 985 enodes (cost 458 ) 14.768 * * [simplify]: iteration done : 5000 enodes (cost 447 ) 14.769 * [simplify]: Simplified to: (* (+ 1.0 (* z y)) x) (log (* x (+ 1.0 (* z y)))) (log (* x (+ 1.0 (* z y)))) (exp (* x (+ 1.0 (* z y)))) (pow (* (+ 1.0 (* z y)) x) 3) (* (cbrt (* x (+ 1.0 (* z y)))) (cbrt (* x (+ 1.0 (* z y))))) (cbrt (* x (+ 1.0 (* z y)))) (pow (* (+ 1.0 (* z y)) x) 3) (sqrt (* x (+ 1.0 (* z y)))) (sqrt (* x (+ 1.0 (* z y)))) (* (sqrt x) (sqrt (+ 1.0 (* z y)))) (* (sqrt x) (sqrt (+ 1.0 (* z y)))) (* 1.0 x) (* x (* z y)) (* 1.0 x) (* x (* z y)) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (sqrt (+ 1.0 (* z y)))) x (* (cbrt x) (+ 1.0 (* z y))) (* (sqrt x) (+ 1.0 (* z y))) (* (+ 1.0 (* z y)) x) (* x (+ (pow 1.0 3) (pow (* z y) 3))) (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (exp (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (log (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (exp (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (* (cbrt (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (cbrt (+ (* 1.0 x) (* (* x z) (- y 1.0))))) (cbrt (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (pow (+ (* 1.0 x) (* (* x z) (- y 1.0))) 3) (sqrt (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (sqrt (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (- (pow (* (+ 1.0 (* z y)) x) 3) (pow (* 1.0 (* x z)) 3)) (+ (* (* (+ 1.0 (* z y)) x) (+ (* 1.0 x) (* (* x z) (+ y 1.0)))) (* (* 1.0 (* x z)) (* 1.0 (* x z)))) (* (+ (* 1.0 x) (* (* x z) (+ y 1.0))) (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (+ (* 1.0 x) (* (* x z) (+ y 1.0))) (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)) (* 1.0 x) (* (+ 1.0 (* z y)) x) (* (+ 1.0 (* z y)) x) (* 1.0 (- x (* x z))) (+ (* 1.0 x) (* (* x z) (- y 1.0))) (+ (* 1.0 x) (* (* x z) (- y 1.0))) 14.769 * * * [progress]: adding candidates to table 15.071 * * [progress]: iteration 4 / 4 15.071 * * * [progress]: picking best candidate 15.082 * * * * [pick]: Picked # 15.082 * * * [progress]: localizing error 15.095 * * * [progress]: generating rewritten candidates 15.095 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 15.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 15.098 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 15.100 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 15.126 * * * [progress]: generating series expansions 15.126 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 15.126 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0 15.126 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y 15.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y 15.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y 15.126 * [taylor]: Taking taylor expansion of 1/3 in y 15.126 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y 15.126 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 15.126 * [taylor]: Taking taylor expansion of (* z y) in y 15.126 * [taylor]: Taking taylor expansion of z in y 15.126 * [taylor]: Taking taylor expansion of y in y 15.126 * [taylor]: Taking taylor expansion of 1.0 in y 15.129 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.129 * [taylor]: Taking taylor expansion of 1/3 in z 15.129 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.129 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.129 * [taylor]: Taking taylor expansion of (* z y) in z 15.129 * [taylor]: Taking taylor expansion of z in z 15.129 * [taylor]: Taking taylor expansion of y in z 15.129 * [taylor]: Taking taylor expansion of 1.0 in z 15.131 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.131 * [taylor]: Taking taylor expansion of 1/3 in z 15.131 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.131 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.131 * [taylor]: Taking taylor expansion of (* z y) in z 15.131 * [taylor]: Taking taylor expansion of z in z 15.131 * [taylor]: Taking taylor expansion of y in z 15.131 * [taylor]: Taking taylor expansion of 1.0 in z 15.133 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.133 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.134 * [taylor]: Taking taylor expansion of 1/3 in y 15.134 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.134 * [taylor]: Taking taylor expansion of 1.0 in y 15.138 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y 15.138 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.138 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y 15.138 * [taylor]: Taking taylor expansion of y in y 15.138 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.138 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.138 * [taylor]: Taking taylor expansion of 1/3 in y 15.138 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.138 * [taylor]: Taking taylor expansion of 1.0 in y 15.148 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.148 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y 15.148 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y 15.148 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.148 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.148 * [taylor]: Taking taylor expansion of y in y 15.148 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y 15.148 * [taylor]: Taking taylor expansion of 1/6 in y 15.148 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y 15.148 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.148 * [taylor]: Taking taylor expansion of y in y 15.148 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.148 * [taylor]: Taking taylor expansion of 1.0 in y 15.149 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.149 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.149 * [taylor]: Taking taylor expansion of 1/3 in y 15.149 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.149 * [taylor]: Taking taylor expansion of 1.0 in y 15.167 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.167 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y 15.167 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y 15.167 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y 15.167 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y 15.167 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.167 * [taylor]: Taking taylor expansion of y in y 15.167 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y 15.167 * [taylor]: Taking taylor expansion of 1/9 in y 15.167 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y 15.167 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.167 * [taylor]: Taking taylor expansion of y in y 15.167 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.167 * [taylor]: Taking taylor expansion of 1.0 in y 15.169 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y 15.169 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.169 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y 15.169 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.169 * [taylor]: Taking taylor expansion of y in y 15.169 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.169 * [taylor]: Taking taylor expansion of 1.0 in y 15.170 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.170 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.170 * [taylor]: Taking taylor expansion of 1/3 in y 15.170 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.170 * [taylor]: Taking taylor expansion of 1.0 in y 15.191 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y 15.192 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y 15.192 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y 15.192 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y 15.192 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 15.192 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y 15.192 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.192 * [taylor]: Taking taylor expansion of y in y 15.192 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.192 * [taylor]: Taking taylor expansion of 1.0 in y 15.193 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y 15.193 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y 15.193 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.193 * [taylor]: Taking taylor expansion of y in y 15.193 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y 15.193 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y 15.193 * [taylor]: Taking taylor expansion of 5/72 in y 15.193 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y 15.193 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.193 * [taylor]: Taking taylor expansion of y in y 15.193 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y 15.193 * [taylor]: Taking taylor expansion of 1.0 in y 15.194 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y 15.194 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y 15.194 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y 15.195 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.195 * [taylor]: Taking taylor expansion of y in y 15.195 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.195 * [taylor]: Taking taylor expansion of 1.0 in y 15.196 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.196 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.196 * [taylor]: Taking taylor expansion of 1/3 in y 15.196 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.196 * [taylor]: Taking taylor expansion of 1.0 in y 15.210 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.210 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.210 * [taylor]: Taking taylor expansion of 1/3 in y 15.210 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.210 * [taylor]: Taking taylor expansion of (* z y) in y 15.210 * [taylor]: Taking taylor expansion of z in y 15.210 * [taylor]: Taking taylor expansion of y in y 15.210 * [taylor]: Taking taylor expansion of 1.0 in y 15.211 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.211 * [taylor]: Taking taylor expansion of 1/3 in z 15.211 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.211 * [taylor]: Taking taylor expansion of (* z y) in z 15.211 * [taylor]: Taking taylor expansion of z in z 15.211 * [taylor]: Taking taylor expansion of y in z 15.211 * [taylor]: Taking taylor expansion of 1.0 in z 15.212 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.212 * [taylor]: Taking taylor expansion of 1/3 in z 15.212 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.212 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.212 * [taylor]: Taking taylor expansion of (* z y) in z 15.212 * [taylor]: Taking taylor expansion of z in z 15.212 * [taylor]: Taking taylor expansion of y in z 15.212 * [taylor]: Taking taylor expansion of 1.0 in z 15.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.213 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.213 * [taylor]: Taking taylor expansion of 1/3 in y 15.213 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.213 * [taylor]: Taking taylor expansion of y in y 15.214 * [taylor]: Taking taylor expansion of (log z) in y 15.214 * [taylor]: Taking taylor expansion of z in y 15.217 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.217 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.217 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.217 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.217 * [taylor]: Taking taylor expansion of 1/3 in y 15.217 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.217 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.217 * [taylor]: Taking taylor expansion of y in y 15.218 * [taylor]: Taking taylor expansion of (log z) in y 15.218 * [taylor]: Taking taylor expansion of z in y 15.219 * [taylor]: Taking taylor expansion of y in y 15.226 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.226 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.226 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.226 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.226 * [taylor]: Taking taylor expansion of 1/3 in y 15.226 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.226 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.226 * [taylor]: Taking taylor expansion of y in y 15.227 * [taylor]: Taking taylor expansion of (log z) in y 15.227 * [taylor]: Taking taylor expansion of z in y 15.227 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.228 * [taylor]: Taking taylor expansion of y in y 15.241 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.241 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.241 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.241 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.241 * [taylor]: Taking taylor expansion of 1/3 in y 15.241 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.241 * [taylor]: Taking taylor expansion of y in y 15.242 * [taylor]: Taking taylor expansion of (log z) in y 15.242 * [taylor]: Taking taylor expansion of z in y 15.242 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.242 * [taylor]: Taking taylor expansion of y in y 15.264 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.264 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.264 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.264 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.264 * [taylor]: Taking taylor expansion of 1/3 in y 15.264 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.264 * [taylor]: Taking taylor expansion of y in y 15.265 * [taylor]: Taking taylor expansion of (log z) in y 15.265 * [taylor]: Taking taylor expansion of z in y 15.265 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.265 * [taylor]: Taking taylor expansion of y in y 15.267 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.267 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.267 * [taylor]: Taking taylor expansion of 1/3 in y 15.267 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.267 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.267 * [taylor]: Taking taylor expansion of (* z y) in y 15.267 * [taylor]: Taking taylor expansion of z in y 15.267 * [taylor]: Taking taylor expansion of y in y 15.267 * [taylor]: Taking taylor expansion of 1.0 in y 15.268 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.268 * [taylor]: Taking taylor expansion of 1/3 in z 15.268 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.268 * [taylor]: Taking taylor expansion of (* z y) in z 15.268 * [taylor]: Taking taylor expansion of z in z 15.268 * [taylor]: Taking taylor expansion of y in z 15.268 * [taylor]: Taking taylor expansion of 1.0 in z 15.269 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.269 * [taylor]: Taking taylor expansion of 1/3 in z 15.269 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.269 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.269 * [taylor]: Taking taylor expansion of (* z y) in z 15.269 * [taylor]: Taking taylor expansion of z in z 15.269 * [taylor]: Taking taylor expansion of y in z 15.269 * [taylor]: Taking taylor expansion of 1.0 in z 15.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.270 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.270 * [taylor]: Taking taylor expansion of 1/3 in y 15.270 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.270 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.270 * [taylor]: Taking taylor expansion of y in y 15.271 * [taylor]: Taking taylor expansion of (log z) in y 15.271 * [taylor]: Taking taylor expansion of z in y 15.274 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.274 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.274 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.274 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.274 * [taylor]: Taking taylor expansion of 1/3 in y 15.274 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.274 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.274 * [taylor]: Taking taylor expansion of y in y 15.275 * [taylor]: Taking taylor expansion of (log z) in y 15.275 * [taylor]: Taking taylor expansion of z in y 15.275 * [taylor]: Taking taylor expansion of y in y 15.283 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.283 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.283 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.283 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.283 * [taylor]: Taking taylor expansion of 1/3 in y 15.283 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.283 * [taylor]: Taking taylor expansion of y in y 15.283 * [taylor]: Taking taylor expansion of (log z) in y 15.283 * [taylor]: Taking taylor expansion of z in y 15.284 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.284 * [taylor]: Taking taylor expansion of y in y 15.298 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.298 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.298 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.298 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.298 * [taylor]: Taking taylor expansion of 1/3 in y 15.298 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.298 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.298 * [taylor]: Taking taylor expansion of y in y 15.299 * [taylor]: Taking taylor expansion of (log z) in y 15.299 * [taylor]: Taking taylor expansion of z in y 15.299 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.299 * [taylor]: Taking taylor expansion of y in y 15.326 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.326 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.326 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.326 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.326 * [taylor]: Taking taylor expansion of 1/3 in y 15.326 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.326 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.326 * [taylor]: Taking taylor expansion of y in y 15.327 * [taylor]: Taking taylor expansion of (log z) in y 15.327 * [taylor]: Taking taylor expansion of z in y 15.327 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.327 * [taylor]: Taking taylor expansion of y in y 15.329 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 15.329 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0 15.329 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y 15.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y 15.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y 15.329 * [taylor]: Taking taylor expansion of 1/3 in y 15.329 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y 15.329 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 15.329 * [taylor]: Taking taylor expansion of (* z y) in y 15.329 * [taylor]: Taking taylor expansion of z in y 15.329 * [taylor]: Taking taylor expansion of y in y 15.329 * [taylor]: Taking taylor expansion of 1.0 in y 15.331 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.331 * [taylor]: Taking taylor expansion of 1/3 in z 15.331 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.331 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.331 * [taylor]: Taking taylor expansion of (* z y) in z 15.331 * [taylor]: Taking taylor expansion of z in z 15.331 * [taylor]: Taking taylor expansion of y in z 15.331 * [taylor]: Taking taylor expansion of 1.0 in z 15.333 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.334 * [taylor]: Taking taylor expansion of 1/3 in z 15.334 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.334 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.334 * [taylor]: Taking taylor expansion of (* z y) in z 15.334 * [taylor]: Taking taylor expansion of z in z 15.334 * [taylor]: Taking taylor expansion of y in z 15.334 * [taylor]: Taking taylor expansion of 1.0 in z 15.336 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.336 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.336 * [taylor]: Taking taylor expansion of 1/3 in y 15.336 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.336 * [taylor]: Taking taylor expansion of 1.0 in y 15.340 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y 15.341 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.341 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y 15.341 * [taylor]: Taking taylor expansion of y in y 15.341 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.341 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.341 * [taylor]: Taking taylor expansion of 1/3 in y 15.341 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.341 * [taylor]: Taking taylor expansion of 1.0 in y 15.350 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.350 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y 15.350 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y 15.350 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.350 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.350 * [taylor]: Taking taylor expansion of y in y 15.350 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y 15.350 * [taylor]: Taking taylor expansion of 1/6 in y 15.350 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y 15.350 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.350 * [taylor]: Taking taylor expansion of y in y 15.350 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.350 * [taylor]: Taking taylor expansion of 1.0 in y 15.351 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.351 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.351 * [taylor]: Taking taylor expansion of 1/3 in y 15.351 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.351 * [taylor]: Taking taylor expansion of 1.0 in y 15.369 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.369 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y 15.369 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y 15.369 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y 15.369 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y 15.369 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.369 * [taylor]: Taking taylor expansion of y in y 15.369 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y 15.369 * [taylor]: Taking taylor expansion of 1/9 in y 15.369 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y 15.369 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.369 * [taylor]: Taking taylor expansion of y in y 15.369 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.369 * [taylor]: Taking taylor expansion of 1.0 in y 15.370 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y 15.370 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.370 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y 15.370 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.370 * [taylor]: Taking taylor expansion of y in y 15.370 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.370 * [taylor]: Taking taylor expansion of 1.0 in y 15.372 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.372 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.372 * [taylor]: Taking taylor expansion of 1/3 in y 15.372 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.372 * [taylor]: Taking taylor expansion of 1.0 in y 15.400 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y 15.400 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y 15.400 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y 15.401 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y 15.401 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 15.401 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y 15.401 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.401 * [taylor]: Taking taylor expansion of y in y 15.401 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.401 * [taylor]: Taking taylor expansion of 1.0 in y 15.402 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y 15.402 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y 15.402 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.402 * [taylor]: Taking taylor expansion of y in y 15.402 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y 15.402 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y 15.402 * [taylor]: Taking taylor expansion of 5/72 in y 15.402 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y 15.402 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.402 * [taylor]: Taking taylor expansion of y in y 15.402 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y 15.402 * [taylor]: Taking taylor expansion of 1.0 in y 15.404 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y 15.404 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y 15.404 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y 15.404 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.404 * [taylor]: Taking taylor expansion of y in y 15.404 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.404 * [taylor]: Taking taylor expansion of 1.0 in y 15.405 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.405 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.405 * [taylor]: Taking taylor expansion of 1/3 in y 15.405 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.405 * [taylor]: Taking taylor expansion of 1.0 in y 15.412 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.412 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.412 * [taylor]: Taking taylor expansion of 1/3 in y 15.412 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.412 * [taylor]: Taking taylor expansion of (* z y) in y 15.412 * [taylor]: Taking taylor expansion of z in y 15.412 * [taylor]: Taking taylor expansion of y in y 15.413 * [taylor]: Taking taylor expansion of 1.0 in y 15.414 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.414 * [taylor]: Taking taylor expansion of 1/3 in z 15.414 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.414 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.414 * [taylor]: Taking taylor expansion of (* z y) in z 15.414 * [taylor]: Taking taylor expansion of z in z 15.414 * [taylor]: Taking taylor expansion of y in z 15.414 * [taylor]: Taking taylor expansion of 1.0 in z 15.415 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.415 * [taylor]: Taking taylor expansion of 1/3 in z 15.415 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.415 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.415 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.415 * [taylor]: Taking taylor expansion of (* z y) in z 15.415 * [taylor]: Taking taylor expansion of z in z 15.415 * [taylor]: Taking taylor expansion of y in z 15.415 * [taylor]: Taking taylor expansion of 1.0 in z 15.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.416 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.416 * [taylor]: Taking taylor expansion of 1/3 in y 15.416 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.416 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.416 * [taylor]: Taking taylor expansion of y in y 15.416 * [taylor]: Taking taylor expansion of (log z) in y 15.416 * [taylor]: Taking taylor expansion of z in y 15.420 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.420 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.420 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.420 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.420 * [taylor]: Taking taylor expansion of 1/3 in y 15.420 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.420 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.420 * [taylor]: Taking taylor expansion of y in y 15.420 * [taylor]: Taking taylor expansion of (log z) in y 15.420 * [taylor]: Taking taylor expansion of z in y 15.421 * [taylor]: Taking taylor expansion of y in y 15.428 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.428 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.428 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.428 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.428 * [taylor]: Taking taylor expansion of 1/3 in y 15.428 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.428 * [taylor]: Taking taylor expansion of y in y 15.429 * [taylor]: Taking taylor expansion of (log z) in y 15.429 * [taylor]: Taking taylor expansion of z in y 15.429 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.430 * [taylor]: Taking taylor expansion of y in y 15.444 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.444 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.444 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.444 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.444 * [taylor]: Taking taylor expansion of 1/3 in y 15.444 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.444 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.444 * [taylor]: Taking taylor expansion of y in y 15.445 * [taylor]: Taking taylor expansion of (log z) in y 15.445 * [taylor]: Taking taylor expansion of z in y 15.445 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.445 * [taylor]: Taking taylor expansion of y in y 15.466 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.467 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.467 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.467 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.467 * [taylor]: Taking taylor expansion of 1/3 in y 15.467 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.467 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.467 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.467 * [taylor]: Taking taylor expansion of y in y 15.467 * [taylor]: Taking taylor expansion of (log z) in y 15.467 * [taylor]: Taking taylor expansion of z in y 15.468 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.468 * [taylor]: Taking taylor expansion of y in y 15.469 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.469 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.469 * [taylor]: Taking taylor expansion of 1/3 in y 15.469 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.469 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.469 * [taylor]: Taking taylor expansion of (* z y) in y 15.469 * [taylor]: Taking taylor expansion of z in y 15.469 * [taylor]: Taking taylor expansion of y in y 15.470 * [taylor]: Taking taylor expansion of 1.0 in y 15.470 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.470 * [taylor]: Taking taylor expansion of 1/3 in z 15.470 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.470 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.470 * [taylor]: Taking taylor expansion of (* z y) in z 15.470 * [taylor]: Taking taylor expansion of z in z 15.470 * [taylor]: Taking taylor expansion of y in z 15.471 * [taylor]: Taking taylor expansion of 1.0 in z 15.471 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.471 * [taylor]: Taking taylor expansion of 1/3 in z 15.471 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.471 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.471 * [taylor]: Taking taylor expansion of (* z y) in z 15.471 * [taylor]: Taking taylor expansion of z in z 15.472 * [taylor]: Taking taylor expansion of y in z 15.472 * [taylor]: Taking taylor expansion of 1.0 in z 15.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.472 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.473 * [taylor]: Taking taylor expansion of 1/3 in y 15.473 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.473 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.473 * [taylor]: Taking taylor expansion of y in y 15.473 * [taylor]: Taking taylor expansion of (log z) in y 15.473 * [taylor]: Taking taylor expansion of z in y 15.476 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.476 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.476 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.477 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.477 * [taylor]: Taking taylor expansion of 1/3 in y 15.477 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.477 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.477 * [taylor]: Taking taylor expansion of y in y 15.477 * [taylor]: Taking taylor expansion of (log z) in y 15.477 * [taylor]: Taking taylor expansion of z in y 15.478 * [taylor]: Taking taylor expansion of y in y 15.485 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.485 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.485 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.485 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.485 * [taylor]: Taking taylor expansion of 1/3 in y 15.485 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.485 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.485 * [taylor]: Taking taylor expansion of y in y 15.486 * [taylor]: Taking taylor expansion of (log z) in y 15.486 * [taylor]: Taking taylor expansion of z in y 15.486 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.487 * [taylor]: Taking taylor expansion of y in y 15.506 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.506 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.506 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.506 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.506 * [taylor]: Taking taylor expansion of 1/3 in y 15.506 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.506 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.506 * [taylor]: Taking taylor expansion of y in y 15.507 * [taylor]: Taking taylor expansion of (log z) in y 15.507 * [taylor]: Taking taylor expansion of z in y 15.507 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.507 * [taylor]: Taking taylor expansion of y in y 15.527 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.527 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.527 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.527 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.527 * [taylor]: Taking taylor expansion of 1/3 in y 15.527 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.528 * [taylor]: Taking taylor expansion of y in y 15.528 * [taylor]: Taking taylor expansion of (log z) in y 15.528 * [taylor]: Taking taylor expansion of z in y 15.529 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.529 * [taylor]: Taking taylor expansion of y in y 15.530 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 15.530 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0 15.530 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y 15.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y 15.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y 15.530 * [taylor]: Taking taylor expansion of 1/3 in y 15.530 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y 15.530 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 15.530 * [taylor]: Taking taylor expansion of (* z y) in y 15.530 * [taylor]: Taking taylor expansion of z in y 15.530 * [taylor]: Taking taylor expansion of y in y 15.530 * [taylor]: Taking taylor expansion of 1.0 in y 15.532 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.532 * [taylor]: Taking taylor expansion of 1/3 in z 15.532 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.532 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.532 * [taylor]: Taking taylor expansion of (* z y) in z 15.533 * [taylor]: Taking taylor expansion of z in z 15.533 * [taylor]: Taking taylor expansion of y in z 15.533 * [taylor]: Taking taylor expansion of 1.0 in z 15.535 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z 15.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z 15.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z 15.535 * [taylor]: Taking taylor expansion of 1/3 in z 15.535 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z 15.535 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.535 * [taylor]: Taking taylor expansion of (* z y) in z 15.535 * [taylor]: Taking taylor expansion of z in z 15.535 * [taylor]: Taking taylor expansion of y in z 15.535 * [taylor]: Taking taylor expansion of 1.0 in z 15.537 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.537 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.537 * [taylor]: Taking taylor expansion of 1/3 in y 15.537 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.537 * [taylor]: Taking taylor expansion of 1.0 in y 15.541 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y 15.541 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.541 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y 15.541 * [taylor]: Taking taylor expansion of y in y 15.541 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.542 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.542 * [taylor]: Taking taylor expansion of 1/3 in y 15.542 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.542 * [taylor]: Taking taylor expansion of 1.0 in y 15.550 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.550 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y 15.550 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y 15.551 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.551 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.551 * [taylor]: Taking taylor expansion of y in y 15.551 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y 15.551 * [taylor]: Taking taylor expansion of 1/6 in y 15.551 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y 15.551 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.551 * [taylor]: Taking taylor expansion of y in y 15.551 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.551 * [taylor]: Taking taylor expansion of 1.0 in y 15.551 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.552 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.552 * [taylor]: Taking taylor expansion of 1/3 in y 15.552 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.552 * [taylor]: Taking taylor expansion of 1.0 in y 15.569 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y 15.569 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y 15.569 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y 15.569 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y 15.569 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y 15.569 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.569 * [taylor]: Taking taylor expansion of y in y 15.569 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y 15.569 * [taylor]: Taking taylor expansion of 1/9 in y 15.569 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y 15.569 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.569 * [taylor]: Taking taylor expansion of y in y 15.569 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.569 * [taylor]: Taking taylor expansion of 1.0 in y 15.571 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y 15.571 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 15.571 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y 15.571 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.571 * [taylor]: Taking taylor expansion of y in y 15.571 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.571 * [taylor]: Taking taylor expansion of 1.0 in y 15.572 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.572 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.572 * [taylor]: Taking taylor expansion of 1/3 in y 15.572 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.572 * [taylor]: Taking taylor expansion of 1.0 in y 15.599 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y 15.599 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y 15.599 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y 15.599 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y 15.599 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 15.599 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y 15.599 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.599 * [taylor]: Taking taylor expansion of y in y 15.599 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y 15.599 * [taylor]: Taking taylor expansion of 1.0 in y 15.600 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y 15.600 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y 15.600 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.600 * [taylor]: Taking taylor expansion of y in y 15.600 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y 15.600 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y 15.600 * [taylor]: Taking taylor expansion of 5/72 in y 15.600 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y 15.600 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.600 * [taylor]: Taking taylor expansion of y in y 15.600 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y 15.600 * [taylor]: Taking taylor expansion of 1.0 in y 15.602 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y 15.602 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y 15.602 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y 15.602 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.602 * [taylor]: Taking taylor expansion of y in y 15.602 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 15.602 * [taylor]: Taking taylor expansion of 1.0 in y 15.603 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.603 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.603 * [taylor]: Taking taylor expansion of 1/3 in y 15.603 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.603 * [taylor]: Taking taylor expansion of 1.0 in y 15.610 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.610 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.610 * [taylor]: Taking taylor expansion of 1/3 in y 15.610 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.610 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.610 * [taylor]: Taking taylor expansion of (* z y) in y 15.610 * [taylor]: Taking taylor expansion of z in y 15.610 * [taylor]: Taking taylor expansion of y in y 15.611 * [taylor]: Taking taylor expansion of 1.0 in y 15.611 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.611 * [taylor]: Taking taylor expansion of 1/3 in z 15.611 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.611 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.611 * [taylor]: Taking taylor expansion of (* z y) in z 15.611 * [taylor]: Taking taylor expansion of z in z 15.611 * [taylor]: Taking taylor expansion of y in z 15.612 * [taylor]: Taking taylor expansion of 1.0 in z 15.612 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.612 * [taylor]: Taking taylor expansion of 1/3 in z 15.612 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.612 * [taylor]: Taking taylor expansion of (* z y) in z 15.612 * [taylor]: Taking taylor expansion of z in z 15.612 * [taylor]: Taking taylor expansion of y in z 15.613 * [taylor]: Taking taylor expansion of 1.0 in z 15.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.613 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.613 * [taylor]: Taking taylor expansion of 1/3 in y 15.613 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.613 * [taylor]: Taking taylor expansion of y in y 15.614 * [taylor]: Taking taylor expansion of (log z) in y 15.614 * [taylor]: Taking taylor expansion of z in y 15.617 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.617 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.617 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.618 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.618 * [taylor]: Taking taylor expansion of 1/3 in y 15.618 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.618 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.618 * [taylor]: Taking taylor expansion of y in y 15.618 * [taylor]: Taking taylor expansion of (log z) in y 15.618 * [taylor]: Taking taylor expansion of z in y 15.619 * [taylor]: Taking taylor expansion of y in y 15.626 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.626 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.626 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.626 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.626 * [taylor]: Taking taylor expansion of 1/3 in y 15.626 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.626 * [taylor]: Taking taylor expansion of y in y 15.627 * [taylor]: Taking taylor expansion of (log z) in y 15.627 * [taylor]: Taking taylor expansion of z in y 15.627 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.627 * [taylor]: Taking taylor expansion of y in y 15.642 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.642 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.642 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.642 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.642 * [taylor]: Taking taylor expansion of 1/3 in y 15.642 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.642 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.642 * [taylor]: Taking taylor expansion of y in y 15.642 * [taylor]: Taking taylor expansion of (log z) in y 15.642 * [taylor]: Taking taylor expansion of z in y 15.643 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.643 * [taylor]: Taking taylor expansion of y in y 15.663 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.663 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.663 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.663 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.663 * [taylor]: Taking taylor expansion of 1/3 in y 15.663 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.663 * [taylor]: Taking taylor expansion of y in y 15.663 * [taylor]: Taking taylor expansion of (log z) in y 15.663 * [taylor]: Taking taylor expansion of z in y 15.664 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.664 * [taylor]: Taking taylor expansion of y in y 15.665 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0 15.666 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y 15.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y 15.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y 15.666 * [taylor]: Taking taylor expansion of 1/3 in y 15.666 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y 15.666 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.666 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.666 * [taylor]: Taking taylor expansion of (* z y) in y 15.666 * [taylor]: Taking taylor expansion of z in y 15.666 * [taylor]: Taking taylor expansion of y in y 15.666 * [taylor]: Taking taylor expansion of 1.0 in y 15.667 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.667 * [taylor]: Taking taylor expansion of 1/3 in z 15.667 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.667 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.667 * [taylor]: Taking taylor expansion of (* z y) in z 15.667 * [taylor]: Taking taylor expansion of z in z 15.667 * [taylor]: Taking taylor expansion of y in z 15.667 * [taylor]: Taking taylor expansion of 1.0 in z 15.668 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z 15.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z 15.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z 15.668 * [taylor]: Taking taylor expansion of 1/3 in z 15.668 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z 15.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.668 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.668 * [taylor]: Taking taylor expansion of (* z y) in z 15.668 * [taylor]: Taking taylor expansion of z in z 15.668 * [taylor]: Taking taylor expansion of y in z 15.668 * [taylor]: Taking taylor expansion of 1.0 in z 15.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.669 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.669 * [taylor]: Taking taylor expansion of 1/3 in y 15.669 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.669 * [taylor]: Taking taylor expansion of y in y 15.669 * [taylor]: Taking taylor expansion of (log z) in y 15.669 * [taylor]: Taking taylor expansion of z in y 15.673 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y 15.673 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 15.673 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y 15.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.673 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.673 * [taylor]: Taking taylor expansion of 1/3 in y 15.673 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.673 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.673 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.673 * [taylor]: Taking taylor expansion of y in y 15.680 * [taylor]: Taking taylor expansion of (log z) in y 15.680 * [taylor]: Taking taylor expansion of z in y 15.681 * [taylor]: Taking taylor expansion of y in y 15.688 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y 15.689 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.689 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y 15.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.689 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.689 * [taylor]: Taking taylor expansion of 1/3 in y 15.689 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.689 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.689 * [taylor]: Taking taylor expansion of y in y 15.689 * [taylor]: Taking taylor expansion of (log z) in y 15.689 * [taylor]: Taking taylor expansion of z in y 15.690 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.690 * [taylor]: Taking taylor expansion of y in y 15.703 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y 15.703 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y 15.703 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y 15.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.703 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.703 * [taylor]: Taking taylor expansion of 1/3 in y 15.703 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.703 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.703 * [taylor]: Taking taylor expansion of y in y 15.704 * [taylor]: Taking taylor expansion of (log z) in y 15.704 * [taylor]: Taking taylor expansion of z in y 15.705 * [taylor]: Taking taylor expansion of (pow y 3) in y 15.705 * [taylor]: Taking taylor expansion of y in y 15.725 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y 15.725 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y 15.725 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y 15.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y 15.725 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y 15.725 * [taylor]: Taking taylor expansion of 1/3 in y 15.725 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y 15.725 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.726 * [taylor]: Taking taylor expansion of y in y 15.726 * [taylor]: Taking taylor expansion of (log z) in y 15.726 * [taylor]: Taking taylor expansion of z in y 15.727 * [taylor]: Taking taylor expansion of (pow y 4) in y 15.727 * [taylor]: Taking taylor expansion of y in y 15.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 15.728 * [approximate]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in (x z y) around 0 15.728 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in y 15.728 * [taylor]: Taking taylor expansion of x in y 15.728 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in y 15.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in y 15.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in y 15.728 * [taylor]: Taking taylor expansion of 1/3 in y 15.728 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in y 15.728 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in y 15.728 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 15.728 * [taylor]: Taking taylor expansion of (* z y) in y 15.728 * [taylor]: Taking taylor expansion of z in y 15.728 * [taylor]: Taking taylor expansion of y in y 15.728 * [taylor]: Taking taylor expansion of 1.0 in y 15.731 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in z 15.731 * [taylor]: Taking taylor expansion of x in z 15.731 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in z 15.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in z 15.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in z 15.731 * [taylor]: Taking taylor expansion of 1/3 in z 15.731 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in z 15.731 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in z 15.731 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.731 * [taylor]: Taking taylor expansion of (* z y) in z 15.731 * [taylor]: Taking taylor expansion of z in z 15.731 * [taylor]: Taking taylor expansion of y in z 15.731 * [taylor]: Taking taylor expansion of 1.0 in z 15.734 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in x 15.734 * [taylor]: Taking taylor expansion of x in x 15.734 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in x 15.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in x 15.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in x 15.734 * [taylor]: Taking taylor expansion of 1/3 in x 15.734 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in x 15.734 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in x 15.734 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 15.734 * [taylor]: Taking taylor expansion of (* z y) in x 15.734 * [taylor]: Taking taylor expansion of z in x 15.734 * [taylor]: Taking taylor expansion of y in x 15.734 * [taylor]: Taking taylor expansion of 1.0 in x 15.735 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in x 15.735 * [taylor]: Taking taylor expansion of x in x 15.735 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in x 15.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in x 15.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in x 15.735 * [taylor]: Taking taylor expansion of 1/3 in x 15.735 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in x 15.735 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in x 15.735 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 15.735 * [taylor]: Taking taylor expansion of (* z y) in x 15.735 * [taylor]: Taking taylor expansion of z in x 15.735 * [taylor]: Taking taylor expansion of y in x 15.735 * [taylor]: Taking taylor expansion of 1.0 in x 15.735 * [taylor]: Taking taylor expansion of 0 in z 15.736 * [taylor]: Taking taylor expansion of 0 in y 15.738 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in z 15.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in z 15.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in z 15.738 * [taylor]: Taking taylor expansion of 1/3 in z 15.738 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in z 15.738 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in z 15.738 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 15.738 * [taylor]: Taking taylor expansion of (* z y) in z 15.738 * [taylor]: Taking taylor expansion of z in z 15.738 * [taylor]: Taking taylor expansion of y in z 15.738 * [taylor]: Taking taylor expansion of 1.0 in z 15.740 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.740 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.740 * [taylor]: Taking taylor expansion of 1/3 in y 15.740 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.740 * [taylor]: Taking taylor expansion of 1.0 in y 15.743 * [taylor]: Taking taylor expansion of 0 in y 15.747 * [taylor]: Taking taylor expansion of 0 in z 15.747 * [taylor]: Taking taylor expansion of 0 in y 15.749 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* y (pow 1.0 1/3))) in y 15.749 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 15.749 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y 15.749 * [taylor]: Taking taylor expansion of y in y 15.749 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y 15.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y 15.749 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y 15.749 * [taylor]: Taking taylor expansion of 1/3 in y 15.750 * [taylor]: Taking taylor expansion of (log 1.0) in y 15.750 * [taylor]: Taking taylor expansion of 1.0 in y 15.752 * [taylor]: Taking taylor expansion of 0 in y 15.755 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in (x z y) around 0 15.755 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in y 15.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.755 * [taylor]: Taking taylor expansion of x in y 15.755 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in y 15.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in y 15.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in y 15.755 * [taylor]: Taking taylor expansion of 1/3 in y 15.755 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in y 15.755 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in y 15.755 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.755 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.755 * [taylor]: Taking taylor expansion of (* z y) in y 15.755 * [taylor]: Taking taylor expansion of z in y 15.755 * [taylor]: Taking taylor expansion of y in y 15.756 * [taylor]: Taking taylor expansion of 1.0 in y 15.757 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z 15.757 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.757 * [taylor]: Taking taylor expansion of x in z 15.757 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z 15.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z 15.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z 15.757 * [taylor]: Taking taylor expansion of 1/3 in z 15.757 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z 15.757 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z 15.757 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.757 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.757 * [taylor]: Taking taylor expansion of (* z y) in z 15.757 * [taylor]: Taking taylor expansion of z in z 15.757 * [taylor]: Taking taylor expansion of y in z 15.757 * [taylor]: Taking taylor expansion of 1.0 in z 15.758 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x 15.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.758 * [taylor]: Taking taylor expansion of x in x 15.758 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x 15.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x 15.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x 15.759 * [taylor]: Taking taylor expansion of 1/3 in x 15.759 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x 15.759 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x 15.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 15.759 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 15.759 * [taylor]: Taking taylor expansion of (* z y) in x 15.759 * [taylor]: Taking taylor expansion of z in x 15.759 * [taylor]: Taking taylor expansion of y in x 15.759 * [taylor]: Taking taylor expansion of 1.0 in x 15.759 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x 15.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.759 * [taylor]: Taking taylor expansion of x in x 15.760 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x 15.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x 15.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x 15.760 * [taylor]: Taking taylor expansion of 1/3 in x 15.760 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x 15.760 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x 15.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 15.760 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 15.760 * [taylor]: Taking taylor expansion of (* z y) in x 15.760 * [taylor]: Taking taylor expansion of z in x 15.760 * [taylor]: Taking taylor expansion of y in x 15.760 * [taylor]: Taking taylor expansion of 1.0 in x 15.761 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z 15.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z 15.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z 15.761 * [taylor]: Taking taylor expansion of 1/3 in z 15.761 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z 15.761 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z 15.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.761 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.761 * [taylor]: Taking taylor expansion of (* z y) in z 15.761 * [taylor]: Taking taylor expansion of z in z 15.761 * [taylor]: Taking taylor expansion of y in z 15.761 * [taylor]: Taking taylor expansion of 1.0 in z 15.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.762 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.762 * [taylor]: Taking taylor expansion of 1/3 in y 15.762 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.762 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.762 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.762 * [taylor]: Taking taylor expansion of y in y 15.763 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.763 * [taylor]: Taking taylor expansion of 2 in y 15.763 * [taylor]: Taking taylor expansion of (log z) in y 15.763 * [taylor]: Taking taylor expansion of z in y 15.767 * [taylor]: Taking taylor expansion of 0 in z 15.767 * [taylor]: Taking taylor expansion of 0 in y 15.769 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y)) in y 15.769 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 15.769 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y) in y 15.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.769 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.769 * [taylor]: Taking taylor expansion of 1/3 in y 15.769 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.769 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.769 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.769 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.769 * [taylor]: Taking taylor expansion of y in y 15.770 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.770 * [taylor]: Taking taylor expansion of 2 in y 15.770 * [taylor]: Taking taylor expansion of (log z) in y 15.770 * [taylor]: Taking taylor expansion of z in y 15.776 * [taylor]: Taking taylor expansion of y in y 15.786 * [taylor]: Taking taylor expansion of 0 in z 15.786 * [taylor]: Taking taylor expansion of 0 in y 15.786 * [taylor]: Taking taylor expansion of 0 in y 15.790 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2))) in y 15.791 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y 15.791 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2)) in y 15.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.791 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.791 * [taylor]: Taking taylor expansion of 1/3 in y 15.791 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.791 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.791 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.791 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.791 * [taylor]: Taking taylor expansion of y in y 15.791 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.792 * [taylor]: Taking taylor expansion of 2 in y 15.792 * [taylor]: Taking taylor expansion of (log z) in y 15.792 * [taylor]: Taking taylor expansion of z in y 15.792 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.792 * [taylor]: Taking taylor expansion of y in y 15.793 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in (x z y) around 0 15.793 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in y 15.793 * [taylor]: Taking taylor expansion of -1 in y 15.793 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in y 15.793 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.793 * [taylor]: Taking taylor expansion of x in y 15.793 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in y 15.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in y 15.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in y 15.793 * [taylor]: Taking taylor expansion of 1/3 in y 15.793 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in y 15.793 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in y 15.793 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 15.793 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 15.793 * [taylor]: Taking taylor expansion of (* z y) in y 15.793 * [taylor]: Taking taylor expansion of z in y 15.793 * [taylor]: Taking taylor expansion of y in y 15.794 * [taylor]: Taking taylor expansion of 1.0 in y 15.795 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in z 15.795 * [taylor]: Taking taylor expansion of -1 in z 15.795 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z 15.795 * [taylor]: Taking taylor expansion of (/ 1 x) in z 15.795 * [taylor]: Taking taylor expansion of x in z 15.795 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z 15.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z 15.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z 15.795 * [taylor]: Taking taylor expansion of 1/3 in z 15.795 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z 15.795 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z 15.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.795 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.795 * [taylor]: Taking taylor expansion of (* z y) in z 15.795 * [taylor]: Taking taylor expansion of z in z 15.795 * [taylor]: Taking taylor expansion of y in z 15.795 * [taylor]: Taking taylor expansion of 1.0 in z 15.796 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in x 15.796 * [taylor]: Taking taylor expansion of -1 in x 15.796 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x 15.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.796 * [taylor]: Taking taylor expansion of x in x 15.796 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x 15.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x 15.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x 15.797 * [taylor]: Taking taylor expansion of 1/3 in x 15.797 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x 15.797 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x 15.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 15.797 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 15.797 * [taylor]: Taking taylor expansion of (* z y) in x 15.797 * [taylor]: Taking taylor expansion of z in x 15.797 * [taylor]: Taking taylor expansion of y in x 15.797 * [taylor]: Taking taylor expansion of 1.0 in x 15.797 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in x 15.797 * [taylor]: Taking taylor expansion of -1 in x 15.797 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x 15.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.797 * [taylor]: Taking taylor expansion of x in x 15.798 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x 15.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x 15.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x 15.798 * [taylor]: Taking taylor expansion of 1/3 in x 15.798 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x 15.798 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x 15.798 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 15.798 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 15.798 * [taylor]: Taking taylor expansion of (* z y) in x 15.798 * [taylor]: Taking taylor expansion of z in x 15.798 * [taylor]: Taking taylor expansion of y in x 15.798 * [taylor]: Taking taylor expansion of 1.0 in x 15.799 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z 15.799 * [taylor]: Taking taylor expansion of -1 in z 15.799 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z 15.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z 15.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z 15.799 * [taylor]: Taking taylor expansion of 1/3 in z 15.799 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z 15.799 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z 15.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 15.799 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 15.799 * [taylor]: Taking taylor expansion of (* z y) in z 15.799 * [taylor]: Taking taylor expansion of z in z 15.799 * [taylor]: Taking taylor expansion of y in z 15.799 * [taylor]: Taking taylor expansion of 1.0 in z 15.800 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))))) in y 15.800 * [taylor]: Taking taylor expansion of -1 in y 15.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.800 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.800 * [taylor]: Taking taylor expansion of 1/3 in y 15.800 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.800 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.800 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.801 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.801 * [taylor]: Taking taylor expansion of y in y 15.801 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.801 * [taylor]: Taking taylor expansion of 2 in y 15.801 * [taylor]: Taking taylor expansion of (log z) in y 15.801 * [taylor]: Taking taylor expansion of z in y 15.806 * [taylor]: Taking taylor expansion of 0 in z 15.806 * [taylor]: Taking taylor expansion of 0 in y 15.808 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y))) in y 15.808 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y)) in y 15.808 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y 15.808 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y) in y 15.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.808 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.808 * [taylor]: Taking taylor expansion of 1/3 in y 15.808 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.808 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.808 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.808 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.808 * [taylor]: Taking taylor expansion of y in y 15.809 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.809 * [taylor]: Taking taylor expansion of 2 in y 15.809 * [taylor]: Taking taylor expansion of (log z) in y 15.809 * [taylor]: Taking taylor expansion of z in y 15.810 * [taylor]: Taking taylor expansion of y in y 15.820 * [taylor]: Taking taylor expansion of 0 in z 15.820 * [taylor]: Taking taylor expansion of 0 in y 15.821 * [taylor]: Taking taylor expansion of 0 in y 15.826 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2))) in y 15.826 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y 15.826 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2)) in y 15.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y 15.826 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y 15.826 * [taylor]: Taking taylor expansion of 1/3 in y 15.826 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y 15.826 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 15.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 15.826 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.826 * [taylor]: Taking taylor expansion of y in y 15.827 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 15.827 * [taylor]: Taking taylor expansion of 2 in y 15.827 * [taylor]: Taking taylor expansion of (log z) in y 15.827 * [taylor]: Taking taylor expansion of z in y 15.828 * [taylor]: Taking taylor expansion of (pow y 2) in y 15.828 * [taylor]: Taking taylor expansion of y in y 15.828 * * * [progress]: simplifying candidates 15.830 * [simplify]: Simplifying using # : (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt 1) (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y))))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt 1) (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y))))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt 1) (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y))))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (+ (log x) (+ (log (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y)))))) (+ (log x) (log (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (log (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (exp (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (* (* x x) x) (* (+ 1.0 (* z y)) (+ 1.0 (* z y)))) (* (* (* x x) x) (* (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (sqrt x) (cbrt (+ 1.0 (* z y)))) (* (sqrt x) (cbrt (+ 1.0 (* z y)))) (* x (cbrt (+ 1.0 (* z y)))) (* (cbrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* (sqrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y))))) (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3)))) (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2))))) (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2))))) (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3)))) (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2))))) (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2))))) (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3)))) (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2))))) (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2))))) (* x (pow 1.0 1/3)) (* x (exp (* -1/3 (+ (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y))))))) (* x (exp (* -1/3 (+ (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y))))))) 15.835 * * [simplify]: iteration 0 : 133 enodes (cost 1465 ) 15.864 * * [simplify]: iteration 1 : 348 enodes (cost 1401 ) 15.934 * * [simplify]: iteration 2 : 1009 enodes (cost 1286 ) 16.259 * * [simplify]: iteration 3 : 4122 enodes (cost 1155 ) 17.124 * * [simplify]: iteration done : 5001 enodes (cost 1155 ) 17.124 * [simplify]: Simplified to: (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) 1 (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (+ 1.0 (* z y)) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) 1 (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (+ 1.0 (* z y)) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y)))) (exp (cbrt (+ 1.0 (* z y)))) (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) (cbrt (sqrt (+ 1.0 (* z y)))) 1 (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- 1.0 (* z y))) (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y))))) (cbrt (cbrt (+ 1.0 (* z y)))) (+ 1.0 (* z y)) (sqrt (cbrt (+ 1.0 (* z y)))) (sqrt (cbrt (+ 1.0 (* z y)))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x)) (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x)) (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x)) (exp (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3)) (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3)) (* (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3)) (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* (sqrt x) (cbrt (+ 1.0 (* z y)))) (* (sqrt x) (cbrt (+ 1.0 (* z y)))) (* x (cbrt (+ 1.0 (* z y)))) (* (cbrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* (sqrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y))))) (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y))))) (+ (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))) (pow (exp -1/3) (- (- (log z)) (log y)))) (+ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) (* (/ (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y))))) (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y))))) (+ (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))) (pow (exp -1/3) (- (- (log z)) (log y)))) (+ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) (* (/ (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y))))) (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y))))) (+ (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))) (pow (exp -1/3) (- (- (log z)) (log y)))) (+ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) (* (/ (/ (* (pow (/ -1 y) -1/3) (pow (/ -1 z) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y))))) (* (cbrt 1.0) x) (* x (exp (* -2/3 (- (- (log z)) (log y))))) (* (pow (/ -1 z) -2/3) (* (pow (/ -1 y) -2/3) x)) 17.125 * * * [progress]: adding candidates to table 17.396 * [progress]: [Phase 3 of 3] Extracting. 17.396 * * [regime]: Finding splitpoints for: (# # # # # # #) 17.397 * * * [regime-changes]: Trying 4 branch expressions: ((- 1.0 y) z y x) 17.397 * * * * [regimes]: Trying to branch on (- 1.0 y) from (# # # # # # #) 17.426 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 17.468 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 17.496 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 17.524 * * * [regime]: Found split indices: #