22.397 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [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.043 * * [simplify]: iteration 4 : 174 enodes (cost 9 ) 0.076 * * [simplify]: iteration 5 : 258 enodes (cost 9 ) 0.138 * * [simplify]: iteration 6 : 351 enodes (cost 9 ) 0.204 * * [simplify]: iteration 7 : 413 enodes (cost 9 ) 0.497 * * [simplify]: iteration 8 : 585 enodes (cost 9 ) 0.622 * * [simplify]: iteration 9 : 664 enodes (cost 9 ) 0.781 * * [simplify]: iteration 10 : 775 enodes (cost 9 ) 1.044 * * [simplify]: iteration 11 : 1052 enodes (cost 9 ) 1.894 * * [simplify]: iteration 12 : 1867 enodes (cost 9 ) 2.315 * * [simplify]: iteration 13 : 2105 enodes (cost 9 ) 2.785 * * [simplify]: iteration 14 : 2264 enodes (cost 9 ) 3.179 * * [simplify]: iteration done : 2264 enodes (cost 9 ) 3.179 * [simplify]: Simplified to: (* x (- 1.0 (* (- 1.0 y) z))) 3.179 * * [progress]: iteration 1 / 4 3.179 * * * [progress]: picking best candidate 3.181 * * * * [pick]: Picked # 3.181 * * * [progress]: localizing error 3.188 * * * [progress]: generating rewritten candidates 3.188 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 3.195 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 3.210 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 3.214 * * * [progress]: generating series expansions 3.214 * * * * [progress]: [ 1 / 3 ] generating series at (2) 3.214 * [approximate]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0 3.214 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z 3.214 * [taylor]: Taking taylor expansion of x in z 3.214 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 3.214 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 3.214 * [taylor]: Taking taylor expansion of (* z y) in z 3.214 * [taylor]: Taking taylor expansion of z in z 3.214 * [taylor]: Taking taylor expansion of y in z 3.214 * [taylor]: Taking taylor expansion of 1.0 in z 3.214 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.214 * [taylor]: Taking taylor expansion of 1.0 in z 3.214 * [taylor]: Taking taylor expansion of z in z 3.214 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y 3.214 * [taylor]: Taking taylor expansion of x in y 3.214 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 3.214 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 3.214 * [taylor]: Taking taylor expansion of (* z y) in y 3.214 * [taylor]: Taking taylor expansion of z in y 3.214 * [taylor]: Taking taylor expansion of y in y 3.214 * [taylor]: Taking taylor expansion of 1.0 in y 3.214 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 3.214 * [taylor]: Taking taylor expansion of 1.0 in y 3.214 * [taylor]: Taking taylor expansion of z in y 3.214 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x 3.214 * [taylor]: Taking taylor expansion of x in x 3.214 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x 3.214 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 3.214 * [taylor]: Taking taylor expansion of (* z y) in x 3.214 * [taylor]: Taking taylor expansion of z in x 3.214 * [taylor]: Taking taylor expansion of y in x 3.214 * [taylor]: Taking taylor expansion of 1.0 in x 3.214 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 3.214 * [taylor]: Taking taylor expansion of 1.0 in x 3.214 * [taylor]: Taking taylor expansion of z in x 3.214 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x 3.215 * [taylor]: Taking taylor expansion of x in x 3.215 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x 3.215 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x 3.215 * [taylor]: Taking taylor expansion of (* z y) in x 3.215 * [taylor]: Taking taylor expansion of z in x 3.215 * [taylor]: Taking taylor expansion of y in x 3.215 * [taylor]: Taking taylor expansion of 1.0 in x 3.215 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 3.215 * [taylor]: Taking taylor expansion of 1.0 in x 3.215 * [taylor]: Taking taylor expansion of z in x 3.215 * [taylor]: Taking taylor expansion of 0 in y 3.215 * [taylor]: Taking taylor expansion of 0 in z 3.217 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 3.217 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 3.217 * [taylor]: Taking taylor expansion of (* z y) in y 3.217 * [taylor]: Taking taylor expansion of z in y 3.217 * [taylor]: Taking taylor expansion of y in y 3.217 * [taylor]: Taking taylor expansion of 1.0 in y 3.217 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 3.217 * [taylor]: Taking taylor expansion of 1.0 in y 3.217 * [taylor]: Taking taylor expansion of z in y 3.218 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z 3.218 * [taylor]: Taking taylor expansion of 1.0 in z 3.218 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.218 * [taylor]: Taking taylor expansion of 1.0 in z 3.218 * [taylor]: Taking taylor expansion of z in z 3.218 * [taylor]: Taking taylor expansion of 0 in z 3.221 * [taylor]: Taking taylor expansion of 0 in y 3.221 * [taylor]: Taking taylor expansion of 0 in z 3.221 * [taylor]: Taking taylor expansion of z in z 3.221 * [taylor]: Taking taylor expansion of 0 in z 3.226 * [taylor]: Taking taylor expansion of 0 in y 3.226 * [taylor]: Taking taylor expansion of 0 in z 3.226 * [taylor]: Taking taylor expansion of 0 in z 3.228 * [taylor]: Taking taylor expansion of 0 in z 3.228 * [taylor]: Taking taylor expansion of 0 in z 3.228 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0 3.228 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z 3.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 3.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 3.228 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.228 * [taylor]: Taking taylor expansion of (* z y) in z 3.228 * [taylor]: Taking taylor expansion of z in z 3.229 * [taylor]: Taking taylor expansion of y in z 3.229 * [taylor]: Taking taylor expansion of 1.0 in z 3.229 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.229 * [taylor]: Taking taylor expansion of 1.0 in z 3.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.229 * [taylor]: Taking taylor expansion of z in z 3.229 * [taylor]: Taking taylor expansion of x in z 3.230 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y 3.230 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 3.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 3.230 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.230 * [taylor]: Taking taylor expansion of (* z y) in y 3.230 * [taylor]: Taking taylor expansion of z in y 3.230 * [taylor]: Taking taylor expansion of y in y 3.230 * [taylor]: Taking taylor expansion of 1.0 in y 3.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.231 * [taylor]: Taking taylor expansion of 1.0 in y 3.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.231 * [taylor]: Taking taylor expansion of z in y 3.231 * [taylor]: Taking taylor expansion of x in y 3.231 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x 3.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x 3.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 3.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.231 * [taylor]: Taking taylor expansion of (* z y) in x 3.231 * [taylor]: Taking taylor expansion of z in x 3.231 * [taylor]: Taking taylor expansion of y in x 3.231 * [taylor]: Taking taylor expansion of 1.0 in x 3.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 3.231 * [taylor]: Taking taylor expansion of 1.0 in x 3.231 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.231 * [taylor]: Taking taylor expansion of z in x 3.231 * [taylor]: Taking taylor expansion of x in x 3.231 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x 3.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x 3.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x 3.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.231 * [taylor]: Taking taylor expansion of (* z y) in x 3.231 * [taylor]: Taking taylor expansion of z in x 3.231 * [taylor]: Taking taylor expansion of y in x 3.231 * [taylor]: Taking taylor expansion of 1.0 in x 3.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 3.232 * [taylor]: Taking taylor expansion of 1.0 in x 3.232 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.232 * [taylor]: Taking taylor expansion of z in x 3.232 * [taylor]: Taking taylor expansion of x in x 3.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 3.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 3.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.232 * [taylor]: Taking taylor expansion of (* z y) in y 3.232 * [taylor]: Taking taylor expansion of z in y 3.232 * [taylor]: Taking taylor expansion of y in y 3.232 * [taylor]: Taking taylor expansion of 1.0 in y 3.232 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.232 * [taylor]: Taking taylor expansion of 1.0 in y 3.232 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.232 * [taylor]: Taking taylor expansion of z in y 3.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.233 * [taylor]: Taking taylor expansion of z in z 3.235 * [taylor]: Taking taylor expansion of 0 in y 3.235 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z 3.236 * [taylor]: Taking taylor expansion of 1.0 in z 3.236 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.236 * [taylor]: Taking taylor expansion of 1.0 in z 3.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.236 * [taylor]: Taking taylor expansion of z in z 3.240 * [taylor]: Taking taylor expansion of 0 in y 3.241 * [taylor]: Taking taylor expansion of 0 in z 3.242 * [taylor]: Taking taylor expansion of 0 in z 3.245 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0 3.245 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z 3.245 * [taylor]: Taking taylor expansion of -1 in z 3.245 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in z 3.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 3.245 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.245 * [taylor]: Taking taylor expansion of (* z y) in z 3.245 * [taylor]: Taking taylor expansion of z in z 3.245 * [taylor]: Taking taylor expansion of y in z 3.245 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 3.245 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.245 * [taylor]: Taking taylor expansion of 1.0 in z 3.245 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.245 * [taylor]: Taking taylor expansion of z in z 3.245 * [taylor]: Taking taylor expansion of 1.0 in z 3.246 * [taylor]: Taking taylor expansion of x in z 3.246 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y 3.246 * [taylor]: Taking taylor expansion of -1 in y 3.246 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in y 3.246 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 3.246 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.246 * [taylor]: Taking taylor expansion of (* z y) in y 3.246 * [taylor]: Taking taylor expansion of z in y 3.246 * [taylor]: Taking taylor expansion of y in y 3.247 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 3.247 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.247 * [taylor]: Taking taylor expansion of 1.0 in y 3.247 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.247 * [taylor]: Taking taylor expansion of z in y 3.247 * [taylor]: Taking taylor expansion of 1.0 in y 3.247 * [taylor]: Taking taylor expansion of x in y 3.247 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x 3.247 * [taylor]: Taking taylor expansion of -1 in x 3.247 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x 3.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.247 * [taylor]: Taking taylor expansion of (* z y) in x 3.247 * [taylor]: Taking taylor expansion of z in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x 3.247 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 3.247 * [taylor]: Taking taylor expansion of 1.0 in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.247 * [taylor]: Taking taylor expansion of z in x 3.247 * [taylor]: Taking taylor expansion of 1.0 in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.247 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x 3.248 * [taylor]: Taking taylor expansion of -1 in x 3.248 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x 3.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.248 * [taylor]: Taking taylor expansion of (* z y) in x 3.248 * [taylor]: Taking taylor expansion of z in x 3.248 * [taylor]: Taking taylor expansion of y in x 3.248 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x 3.248 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 3.248 * [taylor]: Taking taylor expansion of 1.0 in x 3.248 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.248 * [taylor]: Taking taylor expansion of z in x 3.248 * [taylor]: Taking taylor expansion of 1.0 in x 3.248 * [taylor]: Taking taylor expansion of x in x 3.248 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y 3.248 * [taylor]: Taking taylor expansion of -1 in y 3.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 3.248 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.248 * [taylor]: Taking taylor expansion of (* z y) in y 3.248 * [taylor]: Taking taylor expansion of z in y 3.248 * [taylor]: Taking taylor expansion of y in y 3.249 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 3.249 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.249 * [taylor]: Taking taylor expansion of 1.0 in y 3.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.249 * [taylor]: Taking taylor expansion of z in y 3.249 * [taylor]: Taking taylor expansion of 1.0 in y 3.249 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.249 * [taylor]: Taking taylor expansion of -1 in z 3.249 * [taylor]: Taking taylor expansion of z in z 3.251 * [taylor]: Taking taylor expansion of 0 in y 3.252 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z 3.252 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 3.252 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.252 * [taylor]: Taking taylor expansion of 1.0 in z 3.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.252 * [taylor]: Taking taylor expansion of z in z 3.253 * [taylor]: Taking taylor expansion of 1.0 in z 3.258 * [taylor]: Taking taylor expansion of 0 in y 3.258 * [taylor]: Taking taylor expansion of 0 in z 3.260 * [taylor]: Taking taylor expansion of 0 in z 3.262 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 3.263 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (y z) around 0 3.263 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z 3.263 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 3.263 * [taylor]: Taking taylor expansion of 1.0 in z 3.263 * [taylor]: Taking taylor expansion of y in z 3.263 * [taylor]: Taking taylor expansion of z in z 3.263 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 3.263 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 3.263 * [taylor]: Taking taylor expansion of 1.0 in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of z in y 3.263 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 3.263 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 3.263 * [taylor]: Taking taylor expansion of 1.0 in y 3.263 * [taylor]: Taking taylor expansion of y in y 3.263 * [taylor]: Taking taylor expansion of z in y 3.263 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.263 * [taylor]: Taking taylor expansion of 1.0 in z 3.263 * [taylor]: Taking taylor expansion of z in z 3.265 * [taylor]: Taking taylor expansion of (- z) in z 3.265 * [taylor]: Taking taylor expansion of z in z 3.267 * [taylor]: Taking taylor expansion of 0 in z 3.269 * [taylor]: Taking taylor expansion of 0 in z 3.271 * [taylor]: Taking taylor expansion of 0 in z 3.271 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (y z) around 0 3.271 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z 3.271 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 3.271 * [taylor]: Taking taylor expansion of 1.0 in z 3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.271 * [taylor]: Taking taylor expansion of y in z 3.271 * [taylor]: Taking taylor expansion of z in z 3.272 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y 3.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 3.272 * [taylor]: Taking taylor expansion of 1.0 in y 3.272 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.272 * [taylor]: Taking taylor expansion of y in y 3.272 * [taylor]: Taking taylor expansion of z in y 3.273 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y 3.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 3.273 * [taylor]: Taking taylor expansion of 1.0 in y 3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.273 * [taylor]: Taking taylor expansion of y in y 3.273 * [taylor]: Taking taylor expansion of z in y 3.274 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.274 * [taylor]: Taking taylor expansion of -1 in z 3.274 * [taylor]: Taking taylor expansion of z in z 3.275 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.275 * [taylor]: Taking taylor expansion of 1.0 in z 3.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.275 * [taylor]: Taking taylor expansion of z in z 3.277 * [taylor]: Taking taylor expansion of 0 in z 3.280 * [taylor]: Taking taylor expansion of 0 in z 3.281 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in (y z) around 0 3.282 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z 3.282 * [taylor]: Taking taylor expansion of -1 in z 3.282 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 3.282 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 3.282 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.282 * [taylor]: Taking taylor expansion of y in z 3.282 * [taylor]: Taking taylor expansion of 1.0 in z 3.282 * [taylor]: Taking taylor expansion of z in z 3.282 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y 3.282 * [taylor]: Taking taylor expansion of -1 in y 3.282 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 3.282 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.282 * [taylor]: Taking taylor expansion of y in y 3.282 * [taylor]: Taking taylor expansion of 1.0 in y 3.282 * [taylor]: Taking taylor expansion of z in y 3.282 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y 3.282 * [taylor]: Taking taylor expansion of -1 in y 3.282 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 3.283 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 3.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.283 * [taylor]: Taking taylor expansion of y in y 3.283 * [taylor]: Taking taylor expansion of 1.0 in y 3.283 * [taylor]: Taking taylor expansion of z in y 3.283 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.283 * [taylor]: Taking taylor expansion of -1 in z 3.283 * [taylor]: Taking taylor expansion of z in z 3.284 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 3.284 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.284 * [taylor]: Taking taylor expansion of 1.0 in z 3.284 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.284 * [taylor]: Taking taylor expansion of z in z 3.287 * [taylor]: Taking taylor expansion of 0 in z 3.293 * [taylor]: Taking taylor expansion of 0 in z 3.295 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 3.295 * [approximate]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in (y z) around 0 3.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 3.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 3.295 * [taylor]: Taking taylor expansion of (* z y) in z 3.295 * [taylor]: Taking taylor expansion of z in z 3.295 * [taylor]: Taking taylor expansion of y in z 3.295 * [taylor]: Taking taylor expansion of 1.0 in z 3.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.295 * [taylor]: Taking taylor expansion of 1.0 in z 3.295 * [taylor]: Taking taylor expansion of z in z 3.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 3.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 3.295 * [taylor]: Taking taylor expansion of (* z y) in y 3.295 * [taylor]: Taking taylor expansion of z in y 3.295 * [taylor]: Taking taylor expansion of y in y 3.295 * [taylor]: Taking taylor expansion of 1.0 in y 3.295 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 3.295 * [taylor]: Taking taylor expansion of 1.0 in y 3.295 * [taylor]: Taking taylor expansion of z in y 3.295 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 3.295 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 3.296 * [taylor]: Taking taylor expansion of (* z y) in y 3.296 * [taylor]: Taking taylor expansion of z in y 3.296 * [taylor]: Taking taylor expansion of y in y 3.296 * [taylor]: Taking taylor expansion of 1.0 in y 3.296 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 3.296 * [taylor]: Taking taylor expansion of 1.0 in y 3.296 * [taylor]: Taking taylor expansion of z in y 3.296 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z 3.296 * [taylor]: Taking taylor expansion of 1.0 in z 3.296 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 3.296 * [taylor]: Taking taylor expansion of 1.0 in z 3.296 * [taylor]: Taking taylor expansion of z in z 3.298 * [taylor]: Taking taylor expansion of z in z 3.301 * [taylor]: Taking taylor expansion of 0 in z 3.302 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in (y z) around 0 3.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 3.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 3.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.302 * [taylor]: Taking taylor expansion of (* z y) in z 3.302 * [taylor]: Taking taylor expansion of z in z 3.302 * [taylor]: Taking taylor expansion of y in z 3.302 * [taylor]: Taking taylor expansion of 1.0 in z 3.302 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.302 * [taylor]: Taking taylor expansion of 1.0 in z 3.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.302 * [taylor]: Taking taylor expansion of z in z 3.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 3.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 3.302 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.302 * [taylor]: Taking taylor expansion of (* z y) in y 3.302 * [taylor]: Taking taylor expansion of z in y 3.302 * [taylor]: Taking taylor expansion of y in y 3.303 * [taylor]: Taking taylor expansion of 1.0 in y 3.303 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.303 * [taylor]: Taking taylor expansion of 1.0 in y 3.303 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.303 * [taylor]: Taking taylor expansion of z in y 3.303 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 3.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 3.303 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.303 * [taylor]: Taking taylor expansion of (* z y) in y 3.303 * [taylor]: Taking taylor expansion of z in y 3.303 * [taylor]: Taking taylor expansion of y in y 3.303 * [taylor]: Taking taylor expansion of 1.0 in y 3.303 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.303 * [taylor]: Taking taylor expansion of 1.0 in y 3.303 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.303 * [taylor]: Taking taylor expansion of z in y 3.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.304 * [taylor]: Taking taylor expansion of z in z 3.305 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z 3.305 * [taylor]: Taking taylor expansion of 1.0 in z 3.305 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.305 * [taylor]: Taking taylor expansion of 1.0 in z 3.305 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.305 * [taylor]: Taking taylor expansion of z in z 3.308 * [taylor]: Taking taylor expansion of 0 in z 3.310 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in (y z) around 0 3.310 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 3.310 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.310 * [taylor]: Taking taylor expansion of (* z y) in z 3.310 * [taylor]: Taking taylor expansion of z in z 3.310 * [taylor]: Taking taylor expansion of y in z 3.311 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 3.311 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.311 * [taylor]: Taking taylor expansion of 1.0 in z 3.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.311 * [taylor]: Taking taylor expansion of z in z 3.311 * [taylor]: Taking taylor expansion of 1.0 in z 3.311 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 3.311 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.311 * [taylor]: Taking taylor expansion of (* z y) in y 3.311 * [taylor]: Taking taylor expansion of z in y 3.311 * [taylor]: Taking taylor expansion of y in y 3.312 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 3.312 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.312 * [taylor]: Taking taylor expansion of 1.0 in y 3.312 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.312 * [taylor]: Taking taylor expansion of z in y 3.312 * [taylor]: Taking taylor expansion of 1.0 in y 3.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 3.312 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.312 * [taylor]: Taking taylor expansion of (* z y) in y 3.312 * [taylor]: Taking taylor expansion of z in y 3.312 * [taylor]: Taking taylor expansion of y in y 3.312 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 3.312 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 3.312 * [taylor]: Taking taylor expansion of 1.0 in y 3.312 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.312 * [taylor]: Taking taylor expansion of z in y 3.312 * [taylor]: Taking taylor expansion of 1.0 in y 3.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.312 * [taylor]: Taking taylor expansion of z in z 3.313 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 3.313 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 3.313 * [taylor]: Taking taylor expansion of 1.0 in z 3.313 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.313 * [taylor]: Taking taylor expansion of z in z 3.314 * [taylor]: Taking taylor expansion of 1.0 in z 3.316 * [taylor]: Taking taylor expansion of 0 in z 3.318 * * * [progress]: simplifying candidates 3.319 * [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) (/ (exp 1.0) (exp (* (- 1.0 y) z))) (log (- 1.0 (* (- 1.0 y) z))) (exp (- 1.0 (* (- 1.0 y) z))) (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))) (cbrt (- 1.0 (* (- 1.0 y) z))) (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z))) (sqrt (- 1.0 (* (- 1.0 y) z))) (sqrt (- 1.0 (* (- 1.0 y) z))) (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)) (+ (* 1.0 1.0) (+ (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* 1.0 (* (- 1.0 y) z)))) (- (* (- 1.0 y) z)) (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))) (+ 1.0 (* (- 1.0 y) z)) (- (* (- 1.0 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)) (- (+ (* z y) 1.0) (* 1.0 z)) (- (+ (* z y) 1.0) (* 1.0 z)) (- (+ (* z y) 1.0) (* 1.0 z)) 3.321 * * [simplify]: iteration 0 : 102 enodes (cost 720 ) 3.340 * * [simplify]: iteration 1 : 234 enodes (cost 695 ) 3.389 * * [simplify]: iteration 2 : 689 enodes (cost 621 ) 3.877 * * [simplify]: iteration 3 : 2518 enodes (cost 605 ) 4.834 * * [simplify]: iteration done : 5000 enodes (cost 605 ) 4.835 * [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) (exp (- 1.0 (* (- 1.0 y) z))) (log (- 1.0 (* (- 1.0 y) z))) (exp (- 1.0 (* (- 1.0 y) z))) (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))) (cbrt (- 1.0 (* (- 1.0 y) z))) (pow (- 1.0 (* (- 1.0 y) z)) 3) (sqrt (- 1.0 (* (- 1.0 y) z))) (sqrt (- 1.0 (* (- 1.0 y) z))) (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)) (+ (* (* (- 1.0 y) z) (+ 1.0 (* (- 1.0 y) z))) (* 1.0 1.0)) (* z (- y 1.0)) (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))) (+ 1.0 (* (- 1.0 y) z)) (* z (- y 1.0)) (* 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) (+ 1.0 (* z (- y 1.0))) (+ 1.0 (* z (- y 1.0))) (+ 1.0 (* z (- y 1.0))) 4.835 * * * [progress]: adding candidates to table 4.948 * * [progress]: iteration 2 / 4 4.948 * * * [progress]: picking best candidate 4.963 * * * * [pick]: Picked # 4.963 * * * [progress]: localizing error 4.971 * * * [progress]: generating rewritten candidates 4.971 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.982 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.987 * * * [progress]: generating series expansions 4.987 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.987 * [approximate]: Taking taylor expansion of (* x (* z (- y 1.0))) in (x z y) around 0 4.987 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y 4.987 * [taylor]: Taking taylor expansion of x in y 4.987 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 4.987 * [taylor]: Taking taylor expansion of z in y 4.987 * [taylor]: Taking taylor expansion of (- y 1.0) in y 4.987 * [taylor]: Taking taylor expansion of y in y 4.987 * [taylor]: Taking taylor expansion of 1.0 in y 4.987 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z 4.987 * [taylor]: Taking taylor expansion of x in z 4.987 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 4.987 * [taylor]: Taking taylor expansion of z in z 4.987 * [taylor]: Taking taylor expansion of (- y 1.0) in z 4.987 * [taylor]: Taking taylor expansion of y in z 4.987 * [taylor]: Taking taylor expansion of 1.0 in z 4.987 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x 4.987 * [taylor]: Taking taylor expansion of x in x 4.987 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x 4.987 * [taylor]: Taking taylor expansion of z in x 4.987 * [taylor]: Taking taylor expansion of (- y 1.0) in x 4.987 * [taylor]: Taking taylor expansion of y in x 4.987 * [taylor]: Taking taylor expansion of 1.0 in x 4.987 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x 4.987 * [taylor]: Taking taylor expansion of x in x 4.987 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x 4.987 * [taylor]: Taking taylor expansion of z in x 4.987 * [taylor]: Taking taylor expansion of (- y 1.0) in x 4.987 * [taylor]: Taking taylor expansion of y in x 4.988 * [taylor]: Taking taylor expansion of 1.0 in x 4.988 * [taylor]: Taking taylor expansion of 0 in z 4.988 * [taylor]: Taking taylor expansion of 0 in y 4.992 * [taylor]: Taking taylor expansion of (- (* z y) (* 1.0 z)) in z 4.992 * [taylor]: Taking taylor expansion of (* z y) in z 4.992 * [taylor]: Taking taylor expansion of z in z 4.992 * [taylor]: Taking taylor expansion of y in z 4.992 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 4.992 * [taylor]: Taking taylor expansion of 1.0 in z 4.992 * [taylor]: Taking taylor expansion of z in z 4.993 * [taylor]: Taking taylor expansion of 0 in y 4.993 * [taylor]: Taking taylor expansion of 0 in y 4.994 * [taylor]: Taking taylor expansion of 0 in z 4.994 * [taylor]: Taking taylor expansion of 0 in y 4.996 * [taylor]: Taking taylor expansion of (- y 1.0) in y 4.996 * [taylor]: Taking taylor expansion of y in y 4.996 * [taylor]: Taking taylor expansion of 1.0 in y 4.997 * [taylor]: Taking taylor expansion of 0 in y 4.999 * [taylor]: Taking taylor expansion of 0 in z 4.999 * [taylor]: Taking taylor expansion of 0 in y 4.999 * [taylor]: Taking taylor expansion of 0 in y 4.999 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0 4.999 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y 4.999 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 4.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.999 * [taylor]: Taking taylor expansion of y in y 5.000 * [taylor]: Taking taylor expansion of 1.0 in y 5.000 * [taylor]: Taking taylor expansion of (* x z) in y 5.000 * [taylor]: Taking taylor expansion of x in y 5.000 * [taylor]: Taking taylor expansion of z in y 5.000 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z 5.000 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 5.000 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.000 * [taylor]: Taking taylor expansion of y in z 5.000 * [taylor]: Taking taylor expansion of 1.0 in z 5.000 * [taylor]: Taking taylor expansion of (* x z) in z 5.000 * [taylor]: Taking taylor expansion of x in z 5.000 * [taylor]: Taking taylor expansion of z in z 5.001 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x 5.001 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.001 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.001 * [taylor]: Taking taylor expansion of y in x 5.001 * [taylor]: Taking taylor expansion of 1.0 in x 5.001 * [taylor]: Taking taylor expansion of (* x z) in x 5.001 * [taylor]: Taking taylor expansion of x in x 5.001 * [taylor]: Taking taylor expansion of z in x 5.002 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x 5.002 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 5.002 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.002 * [taylor]: Taking taylor expansion of y in x 5.002 * [taylor]: Taking taylor expansion of 1.0 in x 5.002 * [taylor]: Taking taylor expansion of (* x z) in x 5.002 * [taylor]: Taking taylor expansion of x in x 5.002 * [taylor]: Taking taylor expansion of z in x 5.003 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 5.003 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 5.003 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.003 * [taylor]: Taking taylor expansion of y in z 5.003 * [taylor]: Taking taylor expansion of 1.0 in z 5.003 * [taylor]: Taking taylor expansion of z in z 5.004 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.004 * [taylor]: Taking taylor expansion of y in y 5.004 * [taylor]: Taking taylor expansion of 1.0 in y 5.006 * [taylor]: Taking taylor expansion of 0 in z 5.007 * [taylor]: Taking taylor expansion of 0 in y 5.010 * [taylor]: Taking taylor expansion of 0 in z 5.010 * [taylor]: Taking taylor expansion of 0 in y 5.011 * [taylor]: Taking taylor expansion of 0 in y 5.014 * [taylor]: Taking taylor expansion of 0 in z 5.014 * [taylor]: Taking taylor expansion of 0 in y 5.014 * [taylor]: Taking taylor expansion of 0 in y 5.016 * [taylor]: Taking taylor expansion of 0 in y 5.018 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0 5.018 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y 5.018 * [taylor]: Taking taylor expansion of -1 in y 5.018 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in y 5.018 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.018 * [taylor]: Taking taylor expansion of y in y 5.018 * [taylor]: Taking taylor expansion of 1.0 in y 5.018 * [taylor]: Taking taylor expansion of (* x z) in y 5.018 * [taylor]: Taking taylor expansion of x in y 5.018 * [taylor]: Taking taylor expansion of z in y 5.018 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z 5.018 * [taylor]: Taking taylor expansion of -1 in z 5.018 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z 5.018 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 5.018 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.018 * [taylor]: Taking taylor expansion of y in z 5.018 * [taylor]: Taking taylor expansion of 1.0 in z 5.018 * [taylor]: Taking taylor expansion of (* x z) in z 5.018 * [taylor]: Taking taylor expansion of x in z 5.018 * [taylor]: Taking taylor expansion of z in z 5.019 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x 5.019 * [taylor]: Taking taylor expansion of -1 in x 5.019 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x 5.019 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.019 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.019 * [taylor]: Taking taylor expansion of y in x 5.019 * [taylor]: Taking taylor expansion of 1.0 in x 5.019 * [taylor]: Taking taylor expansion of (* x z) in x 5.019 * [taylor]: Taking taylor expansion of x in x 5.019 * [taylor]: Taking taylor expansion of z in x 5.019 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x 5.019 * [taylor]: Taking taylor expansion of -1 in x 5.019 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x 5.020 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.020 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.020 * [taylor]: Taking taylor expansion of y in x 5.020 * [taylor]: Taking taylor expansion of 1.0 in x 5.020 * [taylor]: Taking taylor expansion of (* x z) in x 5.020 * [taylor]: Taking taylor expansion of x in x 5.020 * [taylor]: Taking taylor expansion of z in x 5.020 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z 5.020 * [taylor]: Taking taylor expansion of -1 in z 5.020 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 5.020 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 5.020 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.020 * [taylor]: Taking taylor expansion of y in z 5.020 * [taylor]: Taking taylor expansion of 1.0 in z 5.020 * [taylor]: Taking taylor expansion of z in z 5.020 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y 5.020 * [taylor]: Taking taylor expansion of -1 in y 5.020 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.020 * [taylor]: Taking taylor expansion of y in y 5.021 * [taylor]: Taking taylor expansion of 1.0 in y 5.022 * [taylor]: Taking taylor expansion of 0 in z 5.024 * [taylor]: Taking taylor expansion of 0 in y 5.027 * [taylor]: Taking taylor expansion of 0 in z 5.027 * [taylor]: Taking taylor expansion of 0 in y 5.029 * [taylor]: Taking taylor expansion of 0 in y 5.033 * [taylor]: Taking taylor expansion of 0 in z 5.033 * [taylor]: Taking taylor expansion of 0 in y 5.033 * [taylor]: Taking taylor expansion of 0 in y 5.035 * [taylor]: Taking taylor expansion of 0 in y 5.037 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.037 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0 5.037 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y 5.037 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y 5.037 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 5.037 * [taylor]: Taking taylor expansion of 1.0 in y 5.037 * [taylor]: Taking taylor expansion of x in y 5.037 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 5.037 * [taylor]: Taking taylor expansion of x in y 5.037 * [taylor]: Taking taylor expansion of (* z y) in y 5.037 * [taylor]: Taking taylor expansion of z in y 5.037 * [taylor]: Taking taylor expansion of y in y 5.037 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 5.037 * [taylor]: Taking taylor expansion of 1.0 in y 5.037 * [taylor]: Taking taylor expansion of (* x z) in y 5.037 * [taylor]: Taking taylor expansion of x in y 5.037 * [taylor]: Taking taylor expansion of z in y 5.037 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z 5.037 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z 5.037 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 5.037 * [taylor]: Taking taylor expansion of 1.0 in z 5.037 * [taylor]: Taking taylor expansion of x in z 5.038 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 5.038 * [taylor]: Taking taylor expansion of x in z 5.038 * [taylor]: Taking taylor expansion of (* z y) in z 5.038 * [taylor]: Taking taylor expansion of z in z 5.038 * [taylor]: Taking taylor expansion of y in z 5.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z 5.038 * [taylor]: Taking taylor expansion of 1.0 in z 5.038 * [taylor]: Taking taylor expansion of (* x z) in z 5.038 * [taylor]: Taking taylor expansion of x in z 5.038 * [taylor]: Taking taylor expansion of z in z 5.038 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 5.038 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 5.038 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.038 * [taylor]: Taking taylor expansion of 1.0 in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of (* z y) in x 5.038 * [taylor]: Taking taylor expansion of z in x 5.038 * [taylor]: Taking taylor expansion of y in x 5.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 5.038 * [taylor]: Taking taylor expansion of 1.0 in x 5.038 * [taylor]: Taking taylor expansion of (* x z) in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of z in x 5.038 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 5.038 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 5.038 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 5.038 * [taylor]: Taking taylor expansion of 1.0 in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of (* z y) in x 5.038 * [taylor]: Taking taylor expansion of z in x 5.038 * [taylor]: Taking taylor expansion of y in x 5.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 5.038 * [taylor]: Taking taylor expansion of 1.0 in x 5.038 * [taylor]: Taking taylor expansion of (* x z) in x 5.038 * [taylor]: Taking taylor expansion of x in x 5.038 * [taylor]: Taking taylor expansion of z in x 5.039 * [taylor]: Taking taylor expansion of 0 in z 5.039 * [taylor]: Taking taylor expansion of 0 in y 5.041 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z 5.041 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z 5.041 * [taylor]: Taking taylor expansion of (* z y) in z 5.041 * [taylor]: Taking taylor expansion of z in z 5.041 * [taylor]: Taking taylor expansion of y in z 5.041 * [taylor]: Taking taylor expansion of 1.0 in z 5.041 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 5.041 * [taylor]: Taking taylor expansion of 1.0 in z 5.041 * [taylor]: Taking taylor expansion of z in z 5.042 * [taylor]: Taking taylor expansion of 1.0 in y 5.043 * [taylor]: Taking taylor expansion of 0 in y 5.046 * [taylor]: Taking taylor expansion of 0 in z 5.046 * [taylor]: Taking taylor expansion of 0 in y 5.047 * [taylor]: Taking taylor expansion of (- y 1.0) in y 5.047 * [taylor]: Taking taylor expansion of y in y 5.047 * [taylor]: Taking taylor expansion of 1.0 in y 5.048 * [taylor]: Taking taylor expansion of 0 in y 5.052 * [taylor]: Taking taylor expansion of 0 in z 5.052 * [taylor]: Taking taylor expansion of 0 in y 5.052 * [taylor]: Taking taylor expansion of 0 in y 5.053 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0 5.053 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y 5.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 5.053 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 5.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 5.053 * [taylor]: Taking taylor expansion of x in y 5.053 * [taylor]: Taking taylor expansion of (* z y) in y 5.053 * [taylor]: Taking taylor expansion of z in y 5.053 * [taylor]: Taking taylor expansion of y in y 5.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.054 * [taylor]: Taking taylor expansion of 1.0 in y 5.054 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.054 * [taylor]: Taking taylor expansion of x in y 5.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 5.054 * [taylor]: Taking taylor expansion of 1.0 in y 5.054 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.054 * [taylor]: Taking taylor expansion of (* x z) in y 5.054 * [taylor]: Taking taylor expansion of x in y 5.054 * [taylor]: Taking taylor expansion of z in y 5.054 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z 5.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 5.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 5.054 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 5.054 * [taylor]: Taking taylor expansion of x in z 5.054 * [taylor]: Taking taylor expansion of (* z y) in z 5.054 * [taylor]: Taking taylor expansion of z in z 5.054 * [taylor]: Taking taylor expansion of y in z 5.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 5.055 * [taylor]: Taking taylor expansion of 1.0 in z 5.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.055 * [taylor]: Taking taylor expansion of x in z 5.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 5.055 * [taylor]: Taking taylor expansion of 1.0 in z 5.055 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.055 * [taylor]: Taking taylor expansion of (* x z) in z 5.055 * [taylor]: Taking taylor expansion of x in z 5.055 * [taylor]: Taking taylor expansion of z in z 5.055 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 5.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 5.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 5.055 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.055 * [taylor]: Taking taylor expansion of x in x 5.055 * [taylor]: Taking taylor expansion of (* z y) in x 5.055 * [taylor]: Taking taylor expansion of z in x 5.055 * [taylor]: Taking taylor expansion of y in x 5.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.056 * [taylor]: Taking taylor expansion of 1.0 in x 5.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.056 * [taylor]: Taking taylor expansion of x in x 5.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 5.056 * [taylor]: Taking taylor expansion of 1.0 in x 5.056 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.056 * [taylor]: Taking taylor expansion of (* x z) in x 5.056 * [taylor]: Taking taylor expansion of x in x 5.056 * [taylor]: Taking taylor expansion of z in x 5.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 5.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 5.057 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 5.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.057 * [taylor]: Taking taylor expansion of (* z y) in x 5.057 * [taylor]: Taking taylor expansion of z in x 5.057 * [taylor]: Taking taylor expansion of y in x 5.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.057 * [taylor]: Taking taylor expansion of 1.0 in x 5.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 5.057 * [taylor]: Taking taylor expansion of 1.0 in x 5.057 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.057 * [taylor]: Taking taylor expansion of (* x z) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.058 * [taylor]: Taking taylor expansion of z in x 5.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z 5.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z 5.058 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.058 * [taylor]: Taking taylor expansion of (* z y) in z 5.058 * [taylor]: Taking taylor expansion of z in z 5.058 * [taylor]: Taking taylor expansion of y in z 5.059 * [taylor]: Taking taylor expansion of 1.0 in z 5.059 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.059 * [taylor]: Taking taylor expansion of 1.0 in z 5.059 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.059 * [taylor]: Taking taylor expansion of z in z 5.060 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 5.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.060 * [taylor]: Taking taylor expansion of y in y 5.060 * [taylor]: Taking taylor expansion of 1.0 in y 5.064 * [taylor]: Taking taylor expansion of 0 in z 5.066 * [taylor]: Taking taylor expansion of 1.0 in y 5.071 * [taylor]: Taking taylor expansion of 0 in z 5.071 * [taylor]: Taking taylor expansion of 0 in y 5.074 * [taylor]: Taking taylor expansion of 0 in y 5.075 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0 5.075 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y 5.075 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y 5.075 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 5.075 * [taylor]: Taking taylor expansion of 1.0 in y 5.075 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 5.075 * [taylor]: Taking taylor expansion of (* x z) in y 5.075 * [taylor]: Taking taylor expansion of x in y 5.075 * [taylor]: Taking taylor expansion of z in y 5.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 5.075 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 5.075 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 5.075 * [taylor]: Taking taylor expansion of x in y 5.075 * [taylor]: Taking taylor expansion of (* z y) in y 5.075 * [taylor]: Taking taylor expansion of z in y 5.075 * [taylor]: Taking taylor expansion of y in y 5.078 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 5.078 * [taylor]: Taking taylor expansion of 1.0 in y 5.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.078 * [taylor]: Taking taylor expansion of x in y 5.078 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z 5.078 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z 5.078 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 5.078 * [taylor]: Taking taylor expansion of 1.0 in z 5.078 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 5.078 * [taylor]: Taking taylor expansion of (* x z) in z 5.078 * [taylor]: Taking taylor expansion of x in z 5.078 * [taylor]: Taking taylor expansion of z in z 5.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 5.079 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 5.079 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 5.079 * [taylor]: Taking taylor expansion of x in z 5.079 * [taylor]: Taking taylor expansion of (* z y) in z 5.079 * [taylor]: Taking taylor expansion of z in z 5.079 * [taylor]: Taking taylor expansion of y in z 5.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 5.079 * [taylor]: Taking taylor expansion of 1.0 in z 5.079 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.079 * [taylor]: Taking taylor expansion of x in z 5.079 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 5.079 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 5.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 5.079 * [taylor]: Taking taylor expansion of 1.0 in x 5.079 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.079 * [taylor]: Taking taylor expansion of (* x z) in x 5.079 * [taylor]: Taking taylor expansion of x in x 5.079 * [taylor]: Taking taylor expansion of z in x 5.080 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 5.080 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 5.080 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.080 * [taylor]: Taking taylor expansion of x in x 5.080 * [taylor]: Taking taylor expansion of (* z y) in x 5.080 * [taylor]: Taking taylor expansion of z in x 5.080 * [taylor]: Taking taylor expansion of y in x 5.080 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.080 * [taylor]: Taking taylor expansion of 1.0 in x 5.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.080 * [taylor]: Taking taylor expansion of x in x 5.081 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 5.081 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 5.081 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 5.081 * [taylor]: Taking taylor expansion of 1.0 in x 5.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 5.081 * [taylor]: Taking taylor expansion of (* x z) in x 5.081 * [taylor]: Taking taylor expansion of x in x 5.081 * [taylor]: Taking taylor expansion of z in x 5.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 5.081 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 5.081 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 5.081 * [taylor]: Taking taylor expansion of x in x 5.081 * [taylor]: Taking taylor expansion of (* z y) in x 5.081 * [taylor]: Taking taylor expansion of z in x 5.081 * [taylor]: Taking taylor expansion of y in x 5.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 5.082 * [taylor]: Taking taylor expansion of 1.0 in x 5.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.082 * [taylor]: Taking taylor expansion of x in x 5.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in z 5.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z 5.083 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.083 * [taylor]: Taking taylor expansion of (* z y) in z 5.083 * [taylor]: Taking taylor expansion of z in z 5.083 * [taylor]: Taking taylor expansion of y in z 5.083 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 5.083 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.083 * [taylor]: Taking taylor expansion of 1.0 in z 5.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.083 * [taylor]: Taking taylor expansion of z in z 5.083 * [taylor]: Taking taylor expansion of 1.0 in z 5.084 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y 5.084 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.084 * [taylor]: Taking taylor expansion of y in y 5.084 * [taylor]: Taking taylor expansion of 1.0 in y 5.088 * [taylor]: Taking taylor expansion of 0 in z 5.090 * [taylor]: Taking taylor expansion of (- 1.0) in y 5.090 * [taylor]: Taking taylor expansion of 1.0 in y 5.095 * [taylor]: Taking taylor expansion of 0 in z 5.095 * [taylor]: Taking taylor expansion of 0 in y 5.098 * [taylor]: Taking taylor expansion of 0 in y 5.099 * * * [progress]: simplifying candidates 5.100 * [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))) 5.102 * * [simplify]: iteration 0 : 90 enodes (cost 589 ) 5.118 * * [simplify]: iteration 1 : 255 enodes (cost 557 ) 5.221 * * [simplify]: iteration 2 : 1009 enodes (cost 453 ) 6.677 * * [simplify]: iteration 3 : 4848 enodes (cost 451 ) 7.810 * * [simplify]: iteration done : 5000 enodes (cost 451 ) 7.811 * [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 (+ (* x (* 1.0 1.0)) (* (* z (- y 1.0)) (* x (- (* z (- y 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)) 7.811 * * * [progress]: adding candidates to table 7.884 * * [progress]: iteration 3 / 4 7.885 * * * [progress]: picking best candidate 7.900 * * * * [pick]: Picked # 7.900 * * * [progress]: localizing error 7.910 * * * [progress]: generating rewritten candidates 7.910 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 7.915 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 7.921 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.936 * * * [progress]: generating series expansions 7.936 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 7.936 * [approximate]: Taking taylor expansion of (* x (* z y)) in (y x z) around 0 7.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.936 * [taylor]: Taking taylor expansion of x in z 7.936 * [taylor]: Taking taylor expansion of (* z y) in z 7.936 * [taylor]: Taking taylor expansion of z in z 7.936 * [taylor]: Taking taylor expansion of y in z 7.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.936 * [taylor]: Taking taylor expansion of x in x 7.936 * [taylor]: Taking taylor expansion of (* z y) in x 7.936 * [taylor]: Taking taylor expansion of z in x 7.936 * [taylor]: Taking taylor expansion of y in x 7.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.936 * [taylor]: Taking taylor expansion of x in y 7.936 * [taylor]: Taking taylor expansion of (* z y) in y 7.936 * [taylor]: Taking taylor expansion of z in y 7.936 * [taylor]: Taking taylor expansion of y in y 7.936 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.936 * [taylor]: Taking taylor expansion of x in y 7.936 * [taylor]: Taking taylor expansion of (* z y) in y 7.936 * [taylor]: Taking taylor expansion of z in y 7.936 * [taylor]: Taking taylor expansion of y in y 7.936 * [taylor]: Taking taylor expansion of 0 in x 7.936 * [taylor]: Taking taylor expansion of 0 in z 7.937 * [taylor]: Taking taylor expansion of (* x z) in x 7.937 * [taylor]: Taking taylor expansion of x in x 7.937 * [taylor]: Taking taylor expansion of z in x 7.937 * [taylor]: Taking taylor expansion of 0 in z 7.937 * [taylor]: Taking taylor expansion of 0 in z 7.938 * [taylor]: Taking taylor expansion of 0 in x 7.938 * [taylor]: Taking taylor expansion of 0 in z 7.938 * [taylor]: Taking taylor expansion of z in z 7.938 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (y x z) around 0 7.938 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 7.939 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.939 * [taylor]: Taking taylor expansion of x in z 7.939 * [taylor]: Taking taylor expansion of (* z y) in z 7.939 * [taylor]: Taking taylor expansion of z in z 7.939 * [taylor]: Taking taylor expansion of y in z 7.939 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 7.939 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.939 * [taylor]: Taking taylor expansion of x in x 7.939 * [taylor]: Taking taylor expansion of (* z y) in x 7.939 * [taylor]: Taking taylor expansion of z in x 7.939 * [taylor]: Taking taylor expansion of y in x 7.940 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.940 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.940 * [taylor]: Taking taylor expansion of x in y 7.940 * [taylor]: Taking taylor expansion of (* z y) in y 7.940 * [taylor]: Taking taylor expansion of z in y 7.940 * [taylor]: Taking taylor expansion of y in y 7.940 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.940 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.940 * [taylor]: Taking taylor expansion of x in y 7.940 * [taylor]: Taking taylor expansion of (* z y) in y 7.940 * [taylor]: Taking taylor expansion of z in y 7.940 * [taylor]: Taking taylor expansion of y in y 7.941 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.941 * [taylor]: Taking taylor expansion of (* x z) in x 7.941 * [taylor]: Taking taylor expansion of x in x 7.941 * [taylor]: Taking taylor expansion of z in x 7.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.941 * [taylor]: Taking taylor expansion of z in z 7.942 * [taylor]: Taking taylor expansion of 0 in x 7.943 * [taylor]: Taking taylor expansion of 0 in z 7.945 * [taylor]: Taking taylor expansion of 0 in x 7.945 * [taylor]: Taking taylor expansion of 0 in z 7.945 * [taylor]: Taking taylor expansion of 0 in z 7.947 * [taylor]: Taking taylor expansion of 0 in x 7.947 * [taylor]: Taking taylor expansion of 0 in z 7.947 * [taylor]: Taking taylor expansion of 0 in z 7.948 * [taylor]: Taking taylor expansion of 0 in z 7.949 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (y x z) around 0 7.949 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 7.949 * [taylor]: Taking taylor expansion of -1 in z 7.949 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.949 * [taylor]: Taking taylor expansion of x in z 7.949 * [taylor]: Taking taylor expansion of (* z y) in z 7.949 * [taylor]: Taking taylor expansion of z in z 7.949 * [taylor]: Taking taylor expansion of y in z 7.949 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 7.949 * [taylor]: Taking taylor expansion of -1 in x 7.949 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.950 * [taylor]: Taking taylor expansion of x in x 7.950 * [taylor]: Taking taylor expansion of (* z y) in x 7.950 * [taylor]: Taking taylor expansion of z in x 7.950 * [taylor]: Taking taylor expansion of y in x 7.950 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 7.950 * [taylor]: Taking taylor expansion of -1 in y 7.950 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.950 * [taylor]: Taking taylor expansion of x in y 7.950 * [taylor]: Taking taylor expansion of (* z y) in y 7.950 * [taylor]: Taking taylor expansion of z in y 7.950 * [taylor]: Taking taylor expansion of y in y 7.951 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 7.951 * [taylor]: Taking taylor expansion of -1 in y 7.951 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.951 * [taylor]: Taking taylor expansion of x in y 7.951 * [taylor]: Taking taylor expansion of (* z y) in y 7.951 * [taylor]: Taking taylor expansion of z in y 7.951 * [taylor]: Taking taylor expansion of y in y 7.951 * [taylor]: Taking taylor expansion of (/ -1 (* x z)) in x 7.951 * [taylor]: Taking taylor expansion of -1 in x 7.951 * [taylor]: Taking taylor expansion of (* x z) in x 7.951 * [taylor]: Taking taylor expansion of x in x 7.951 * [taylor]: Taking taylor expansion of z in x 7.952 * [taylor]: Taking taylor expansion of (/ -1 z) in z 7.952 * [taylor]: Taking taylor expansion of -1 in z 7.952 * [taylor]: Taking taylor expansion of z in z 7.953 * [taylor]: Taking taylor expansion of 0 in x 7.953 * [taylor]: Taking taylor expansion of 0 in z 7.955 * [taylor]: Taking taylor expansion of 0 in x 7.955 * [taylor]: Taking taylor expansion of 0 in z 7.956 * [taylor]: Taking taylor expansion of 0 in z 7.958 * [taylor]: Taking taylor expansion of 0 in x 7.958 * [taylor]: Taking taylor expansion of 0 in z 7.958 * [taylor]: Taking taylor expansion of 0 in z 7.959 * [taylor]: Taking taylor expansion of 0 in z 7.960 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 7.960 * [approximate]: Taking taylor expansion of (- (* x (* z y)) (* 1.0 (* x z))) in (y x z) around 0 7.960 * [taylor]: Taking taylor expansion of (- (* x (* z y)) (* 1.0 (* x z))) in z 7.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.960 * [taylor]: Taking taylor expansion of x in z 7.960 * [taylor]: Taking taylor expansion of (* z y) in z 7.960 * [taylor]: Taking taylor expansion of z in z 7.960 * [taylor]: Taking taylor expansion of y in z 7.960 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z 7.960 * [taylor]: Taking taylor expansion of 1.0 in z 7.960 * [taylor]: Taking taylor expansion of (* x z) in z 7.960 * [taylor]: Taking taylor expansion of x in z 7.960 * [taylor]: Taking taylor expansion of z in z 7.960 * [taylor]: Taking taylor expansion of (- (* x (* z y)) (* 1.0 (* x z))) in x 7.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.960 * [taylor]: Taking taylor expansion of x in x 7.960 * [taylor]: Taking taylor expansion of (* z y) in x 7.960 * [taylor]: Taking taylor expansion of z in x 7.960 * [taylor]: Taking taylor expansion of y in x 7.960 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 7.960 * [taylor]: Taking taylor expansion of 1.0 in x 7.960 * [taylor]: Taking taylor expansion of (* x z) in x 7.960 * [taylor]: Taking taylor expansion of x in x 7.960 * [taylor]: Taking taylor expansion of z in x 7.960 * [taylor]: Taking taylor expansion of (- (* x (* z y)) (* 1.0 (* x z))) in y 7.960 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.960 * [taylor]: Taking taylor expansion of x in y 7.960 * [taylor]: Taking taylor expansion of (* z y) in y 7.960 * [taylor]: Taking taylor expansion of z in y 7.960 * [taylor]: Taking taylor expansion of y in y 7.960 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 7.960 * [taylor]: Taking taylor expansion of 1.0 in y 7.960 * [taylor]: Taking taylor expansion of (* x z) in y 7.960 * [taylor]: Taking taylor expansion of x in y 7.960 * [taylor]: Taking taylor expansion of z in y 7.960 * [taylor]: Taking taylor expansion of (- (* x (* z y)) (* 1.0 (* x z))) in y 7.961 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.961 * [taylor]: Taking taylor expansion of x in y 7.961 * [taylor]: Taking taylor expansion of (* z y) in y 7.961 * [taylor]: Taking taylor expansion of z in y 7.961 * [taylor]: Taking taylor expansion of y in y 7.961 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 7.961 * [taylor]: Taking taylor expansion of 1.0 in y 7.961 * [taylor]: Taking taylor expansion of (* x z) in y 7.961 * [taylor]: Taking taylor expansion of x in y 7.961 * [taylor]: Taking taylor expansion of z in y 7.961 * [taylor]: Taking taylor expansion of (- (* 1.0 (* x z))) in x 7.961 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 7.961 * [taylor]: Taking taylor expansion of 1.0 in x 7.961 * [taylor]: Taking taylor expansion of (* x z) in x 7.961 * [taylor]: Taking taylor expansion of x in x 7.961 * [taylor]: Taking taylor expansion of z in x 7.961 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of (* x z) in x 7.963 * [taylor]: Taking taylor expansion of x in x 7.963 * [taylor]: Taking taylor expansion of z in x 7.963 * [taylor]: Taking taylor expansion of 0 in z 7.963 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in z 7.963 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 7.963 * [taylor]: Taking taylor expansion of 1.0 in z 7.963 * [taylor]: Taking taylor expansion of z in z 7.966 * [taylor]: Taking taylor expansion of 0 in x 7.966 * [taylor]: Taking taylor expansion of 0 in z 7.966 * [taylor]: Taking taylor expansion of z in z 7.966 * [approximate]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 (* x z)))) in (y x z) around 0 7.966 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 (* x z)))) in z 7.966 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 7.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.966 * [taylor]: Taking taylor expansion of x in z 7.967 * [taylor]: Taking taylor expansion of (* z y) in z 7.967 * [taylor]: Taking taylor expansion of z in z 7.967 * [taylor]: Taking taylor expansion of y in z 7.967 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 7.967 * [taylor]: Taking taylor expansion of 1.0 in z 7.967 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.967 * [taylor]: Taking taylor expansion of (* x z) in z 7.967 * [taylor]: Taking taylor expansion of x in z 7.967 * [taylor]: Taking taylor expansion of z in z 7.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 (* x z)))) in x 7.968 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 7.968 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.968 * [taylor]: Taking taylor expansion of x in x 7.968 * [taylor]: Taking taylor expansion of (* z y) in x 7.968 * [taylor]: Taking taylor expansion of z in x 7.968 * [taylor]: Taking taylor expansion of y in x 7.968 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 7.968 * [taylor]: Taking taylor expansion of 1.0 in x 7.968 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.968 * [taylor]: Taking taylor expansion of (* x z) in x 7.968 * [taylor]: Taking taylor expansion of x in x 7.968 * [taylor]: Taking taylor expansion of z in x 7.968 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 (* x z)))) in y 7.968 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.969 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.969 * [taylor]: Taking taylor expansion of x in y 7.969 * [taylor]: Taking taylor expansion of (* z y) in y 7.969 * [taylor]: Taking taylor expansion of z in y 7.969 * [taylor]: Taking taylor expansion of y in y 7.969 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 7.969 * [taylor]: Taking taylor expansion of 1.0 in y 7.969 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.969 * [taylor]: Taking taylor expansion of (* x z) in y 7.969 * [taylor]: Taking taylor expansion of x in y 7.969 * [taylor]: Taking taylor expansion of z in y 7.969 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* z y))) (* 1.0 (/ 1 (* x z)))) in y 7.969 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.969 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.969 * [taylor]: Taking taylor expansion of x in y 7.969 * [taylor]: Taking taylor expansion of (* z y) in y 7.969 * [taylor]: Taking taylor expansion of z in y 7.969 * [taylor]: Taking taylor expansion of y in y 7.970 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 7.970 * [taylor]: Taking taylor expansion of 1.0 in y 7.970 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.970 * [taylor]: Taking taylor expansion of (* x z) in y 7.970 * [taylor]: Taking taylor expansion of x in y 7.970 * [taylor]: Taking taylor expansion of z in y 7.970 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.970 * [taylor]: Taking taylor expansion of (* x z) in x 7.970 * [taylor]: Taking taylor expansion of x in x 7.970 * [taylor]: Taking taylor expansion of z in x 7.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.971 * [taylor]: Taking taylor expansion of z in z 7.972 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x z)))) in x 7.972 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 7.972 * [taylor]: Taking taylor expansion of 1.0 in x 7.972 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.972 * [taylor]: Taking taylor expansion of (* x z) in x 7.972 * [taylor]: Taking taylor expansion of x in x 7.972 * [taylor]: Taking taylor expansion of z in x 7.972 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 7.972 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 7.972 * [taylor]: Taking taylor expansion of 1.0 in z 7.972 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.972 * [taylor]: Taking taylor expansion of z in z 7.974 * [taylor]: Taking taylor expansion of 0 in z 7.976 * [taylor]: Taking taylor expansion of 0 in x 7.980 * [taylor]: Taking taylor expansion of 0 in z 7.980 * [taylor]: Taking taylor expansion of 0 in z 7.985 * [taylor]: Taking taylor expansion of 0 in x 7.985 * [taylor]: Taking taylor expansion of 0 in z 7.986 * [taylor]: Taking taylor expansion of 0 in z 7.987 * [taylor]: Taking taylor expansion of 0 in z 7.988 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y))))) in (y x z) around 0 7.988 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y))))) in z 7.988 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y)))) in z 7.989 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 7.989 * [taylor]: Taking taylor expansion of 1.0 in z 7.989 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.989 * [taylor]: Taking taylor expansion of (* x z) in z 7.989 * [taylor]: Taking taylor expansion of x in z 7.989 * [taylor]: Taking taylor expansion of z in z 7.989 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 7.989 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.989 * [taylor]: Taking taylor expansion of x in z 7.989 * [taylor]: Taking taylor expansion of (* z y) in z 7.989 * [taylor]: Taking taylor expansion of z in z 7.989 * [taylor]: Taking taylor expansion of y in z 7.990 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y))))) in x 7.990 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y)))) in x 7.990 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 7.990 * [taylor]: Taking taylor expansion of 1.0 in x 7.990 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.990 * [taylor]: Taking taylor expansion of (* x z) in x 7.990 * [taylor]: Taking taylor expansion of x in x 7.990 * [taylor]: Taking taylor expansion of z in x 7.990 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 7.990 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.990 * [taylor]: Taking taylor expansion of x in x 7.990 * [taylor]: Taking taylor expansion of (* z y) in x 7.990 * [taylor]: Taking taylor expansion of z in x 7.990 * [taylor]: Taking taylor expansion of y in x 7.991 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y))))) in y 7.991 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y)))) in y 7.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 7.991 * [taylor]: Taking taylor expansion of 1.0 in y 7.991 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.991 * [taylor]: Taking taylor expansion of (* x z) in y 7.991 * [taylor]: Taking taylor expansion of x in y 7.991 * [taylor]: Taking taylor expansion of z in y 7.991 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.991 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.991 * [taylor]: Taking taylor expansion of x in y 7.991 * [taylor]: Taking taylor expansion of (* z y) in y 7.991 * [taylor]: Taking taylor expansion of z in y 7.991 * [taylor]: Taking taylor expansion of y in y 7.991 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y))))) in y 7.991 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (/ 1 (* x (* z y)))) in y 7.991 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 7.991 * [taylor]: Taking taylor expansion of 1.0 in y 7.991 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.992 * [taylor]: Taking taylor expansion of (* x z) in y 7.992 * [taylor]: Taking taylor expansion of x in y 7.992 * [taylor]: Taking taylor expansion of z in y 7.992 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.992 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.992 * [taylor]: Taking taylor expansion of x in y 7.992 * [taylor]: Taking taylor expansion of (* z y) in y 7.992 * [taylor]: Taking taylor expansion of z in y 7.992 * [taylor]: Taking taylor expansion of y in y 7.992 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 7.992 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.992 * [taylor]: Taking taylor expansion of (* x z) in x 7.992 * [taylor]: Taking taylor expansion of x in x 7.992 * [taylor]: Taking taylor expansion of z in x 7.993 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 7.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.993 * [taylor]: Taking taylor expansion of z in z 7.994 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x z)))) in x 7.994 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 7.994 * [taylor]: Taking taylor expansion of 1.0 in x 7.994 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.994 * [taylor]: Taking taylor expansion of (* x z) in x 7.994 * [taylor]: Taking taylor expansion of x in x 7.994 * [taylor]: Taking taylor expansion of z in x 7.995 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 7.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 7.995 * [taylor]: Taking taylor expansion of 1.0 in z 7.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.995 * [taylor]: Taking taylor expansion of z in z 7.997 * [taylor]: Taking taylor expansion of 0 in z 7.999 * [taylor]: Taking taylor expansion of 0 in x 8.000 * [taylor]: Taking taylor expansion of 0 in z 8.001 * [taylor]: Taking taylor expansion of 0 in z 8.006 * [taylor]: Taking taylor expansion of 0 in x 8.006 * [taylor]: Taking taylor expansion of 0 in z 8.008 * [taylor]: Taking taylor expansion of 0 in z 8.009 * [taylor]: Taking taylor expansion of 0 in z 8.009 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.010 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x y z) around 0 8.010 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z 8.010 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z 8.010 * [taylor]: Taking taylor expansion of (* 1.0 x) in z 8.010 * [taylor]: Taking taylor expansion of 1.0 in z 8.010 * [taylor]: Taking taylor expansion of x in z 8.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 8.010 * [taylor]: Taking taylor expansion of x in z 8.010 * [taylor]: Taking taylor expansion of (* z y) in z 8.010 * [taylor]: Taking taylor expansion of z in z 8.010 * [taylor]: Taking taylor expansion of y in z 8.010 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z 8.010 * [taylor]: Taking taylor expansion of 1.0 in z 8.010 * [taylor]: Taking taylor expansion of (* x z) in z 8.010 * [taylor]: Taking taylor expansion of x in z 8.010 * [taylor]: Taking taylor expansion of z in z 8.010 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y 8.010 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y 8.010 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 8.010 * [taylor]: Taking taylor expansion of 1.0 in y 8.010 * [taylor]: Taking taylor expansion of x in y 8.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 8.010 * [taylor]: Taking taylor expansion of x in y 8.010 * [taylor]: Taking taylor expansion of (* z y) in y 8.010 * [taylor]: Taking taylor expansion of z in y 8.010 * [taylor]: Taking taylor expansion of y in y 8.010 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y 8.010 * [taylor]: Taking taylor expansion of 1.0 in y 8.010 * [taylor]: Taking taylor expansion of (* x z) in y 8.010 * [taylor]: Taking taylor expansion of x in y 8.010 * [taylor]: Taking taylor expansion of z in y 8.010 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 8.010 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 8.010 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 8.010 * [taylor]: Taking taylor expansion of 1.0 in x 8.010 * [taylor]: Taking taylor expansion of x in x 8.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.010 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of (* z y) in x 8.011 * [taylor]: Taking taylor expansion of z in x 8.011 * [taylor]: Taking taylor expansion of y in x 8.011 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 8.011 * [taylor]: Taking taylor expansion of 1.0 in x 8.011 * [taylor]: Taking taylor expansion of (* x z) in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of z in x 8.011 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x 8.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x 8.011 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 8.011 * [taylor]: Taking taylor expansion of 1.0 in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of (* z y) in x 8.011 * [taylor]: Taking taylor expansion of z in x 8.011 * [taylor]: Taking taylor expansion of y in x 8.011 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x 8.011 * [taylor]: Taking taylor expansion of 1.0 in x 8.011 * [taylor]: Taking taylor expansion of (* x z) in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of z in x 8.012 * [taylor]: Taking taylor expansion of 0 in y 8.012 * [taylor]: Taking taylor expansion of 0 in z 8.014 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y 8.014 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y 8.014 * [taylor]: Taking taylor expansion of (* z y) in y 8.014 * [taylor]: Taking taylor expansion of z in y 8.014 * [taylor]: Taking taylor expansion of y in y 8.014 * [taylor]: Taking taylor expansion of 1.0 in y 8.014 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 8.014 * [taylor]: Taking taylor expansion of 1.0 in y 8.014 * [taylor]: Taking taylor expansion of z in y 8.015 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z 8.015 * [taylor]: Taking taylor expansion of 1.0 in z 8.015 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 8.015 * [taylor]: Taking taylor expansion of 1.0 in z 8.015 * [taylor]: Taking taylor expansion of z in z 8.015 * [taylor]: Taking taylor expansion of 0 in z 8.018 * [taylor]: Taking taylor expansion of 0 in y 8.018 * [taylor]: Taking taylor expansion of 0 in z 8.019 * [taylor]: Taking taylor expansion of z in z 8.019 * [taylor]: Taking taylor expansion of 0 in z 8.025 * [taylor]: Taking taylor expansion of 0 in y 8.025 * [taylor]: Taking taylor expansion of 0 in z 8.025 * [taylor]: Taking taylor expansion of 0 in z 8.027 * [taylor]: Taking taylor expansion of 0 in z 8.027 * [taylor]: Taking taylor expansion of 0 in z 8.027 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x y z) around 0 8.028 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z 8.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 8.028 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 8.028 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 8.028 * [taylor]: Taking taylor expansion of x in z 8.028 * [taylor]: Taking taylor expansion of (* z y) in z 8.028 * [taylor]: Taking taylor expansion of z in z 8.028 * [taylor]: Taking taylor expansion of y in z 8.028 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 8.028 * [taylor]: Taking taylor expansion of 1.0 in z 8.028 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.028 * [taylor]: Taking taylor expansion of x in z 8.028 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 8.028 * [taylor]: Taking taylor expansion of 1.0 in z 8.028 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 8.028 * [taylor]: Taking taylor expansion of (* x z) in z 8.028 * [taylor]: Taking taylor expansion of x in z 8.028 * [taylor]: Taking taylor expansion of z in z 8.029 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y 8.029 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 8.029 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 8.029 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 8.029 * [taylor]: Taking taylor expansion of x in y 8.029 * [taylor]: Taking taylor expansion of (* z y) in y 8.029 * [taylor]: Taking taylor expansion of z in y 8.029 * [taylor]: Taking taylor expansion of y in y 8.029 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 8.029 * [taylor]: Taking taylor expansion of 1.0 in y 8.030 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.030 * [taylor]: Taking taylor expansion of x in y 8.030 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 8.030 * [taylor]: Taking taylor expansion of 1.0 in y 8.030 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 8.030 * [taylor]: Taking taylor expansion of (* x z) in y 8.030 * [taylor]: Taking taylor expansion of x in y 8.030 * [taylor]: Taking taylor expansion of z in y 8.030 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 8.030 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 8.030 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 8.030 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.030 * [taylor]: Taking taylor expansion of x in x 8.030 * [taylor]: Taking taylor expansion of (* z y) in x 8.030 * [taylor]: Taking taylor expansion of z in x 8.030 * [taylor]: Taking taylor expansion of y in x 8.030 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.030 * [taylor]: Taking taylor expansion of 1.0 in x 8.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.030 * [taylor]: Taking taylor expansion of x in x 8.031 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 8.031 * [taylor]: Taking taylor expansion of 1.0 in x 8.031 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.031 * [taylor]: Taking taylor expansion of (* x z) in x 8.031 * [taylor]: Taking taylor expansion of x in x 8.031 * [taylor]: Taking taylor expansion of z in x 8.031 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x 8.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 8.031 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 8.031 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.031 * [taylor]: Taking taylor expansion of x in x 8.031 * [taylor]: Taking taylor expansion of (* z y) in x 8.031 * [taylor]: Taking taylor expansion of z in x 8.031 * [taylor]: Taking taylor expansion of y in x 8.032 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.032 * [taylor]: Taking taylor expansion of 1.0 in x 8.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.032 * [taylor]: Taking taylor expansion of x in x 8.032 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 8.032 * [taylor]: Taking taylor expansion of 1.0 in x 8.032 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.032 * [taylor]: Taking taylor expansion of (* x z) in x 8.032 * [taylor]: Taking taylor expansion of x in x 8.032 * [taylor]: Taking taylor expansion of z in x 8.033 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y 8.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y 8.033 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.033 * [taylor]: Taking taylor expansion of (* z y) in y 8.033 * [taylor]: Taking taylor expansion of z in y 8.033 * [taylor]: Taking taylor expansion of y in y 8.033 * [taylor]: Taking taylor expansion of 1.0 in y 8.033 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 8.033 * [taylor]: Taking taylor expansion of 1.0 in y 8.033 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.033 * [taylor]: Taking taylor expansion of z in y 8.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.033 * [taylor]: Taking taylor expansion of z in z 8.037 * [taylor]: Taking taylor expansion of 0 in y 8.038 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z 8.038 * [taylor]: Taking taylor expansion of 1.0 in z 8.038 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 8.038 * [taylor]: Taking taylor expansion of 1.0 in z 8.038 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.038 * [taylor]: Taking taylor expansion of z in z 8.044 * [taylor]: Taking taylor expansion of 0 in y 8.044 * [taylor]: Taking taylor expansion of 0 in z 8.045 * [taylor]: Taking taylor expansion of 0 in z 8.048 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x y z) around 0 8.048 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z 8.048 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z 8.048 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z 8.048 * [taylor]: Taking taylor expansion of 1.0 in z 8.048 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 8.048 * [taylor]: Taking taylor expansion of (* x z) in z 8.048 * [taylor]: Taking taylor expansion of x in z 8.048 * [taylor]: Taking taylor expansion of z in z 8.048 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z 8.048 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 8.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 8.048 * [taylor]: Taking taylor expansion of x in z 8.048 * [taylor]: Taking taylor expansion of (* z y) in z 8.048 * [taylor]: Taking taylor expansion of z in z 8.048 * [taylor]: Taking taylor expansion of y in z 8.049 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z 8.049 * [taylor]: Taking taylor expansion of 1.0 in z 8.049 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.049 * [taylor]: Taking taylor expansion of x in z 8.049 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y 8.049 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y 8.049 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y 8.049 * [taylor]: Taking taylor expansion of 1.0 in y 8.049 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 8.049 * [taylor]: Taking taylor expansion of (* x z) in y 8.049 * [taylor]: Taking taylor expansion of x in y 8.049 * [taylor]: Taking taylor expansion of z in y 8.049 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y 8.049 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 8.049 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 8.049 * [taylor]: Taking taylor expansion of x in y 8.049 * [taylor]: Taking taylor expansion of (* z y) in y 8.049 * [taylor]: Taking taylor expansion of z in y 8.049 * [taylor]: Taking taylor expansion of y in y 8.050 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 8.050 * [taylor]: Taking taylor expansion of 1.0 in y 8.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.050 * [taylor]: Taking taylor expansion of x in y 8.050 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 8.050 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 8.050 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 8.050 * [taylor]: Taking taylor expansion of 1.0 in x 8.050 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.050 * [taylor]: Taking taylor expansion of (* x z) in x 8.050 * [taylor]: Taking taylor expansion of x in x 8.050 * [taylor]: Taking taylor expansion of z in x 8.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 8.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.051 * [taylor]: Taking taylor expansion of (* z y) in x 8.051 * [taylor]: Taking taylor expansion of z in x 8.051 * [taylor]: Taking taylor expansion of y in x 8.051 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.051 * [taylor]: Taking taylor expansion of 1.0 in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.051 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x 8.051 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x 8.051 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x 8.051 * [taylor]: Taking taylor expansion of 1.0 in x 8.051 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.051 * [taylor]: Taking taylor expansion of (* x z) in x 8.051 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of z in x 8.052 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x 8.052 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 8.052 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 8.052 * [taylor]: Taking taylor expansion of x in x 8.052 * [taylor]: Taking taylor expansion of (* z y) in x 8.052 * [taylor]: Taking taylor expansion of z in x 8.052 * [taylor]: Taking taylor expansion of y in x 8.052 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 8.052 * [taylor]: Taking taylor expansion of 1.0 in x 8.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.052 * [taylor]: Taking taylor expansion of x in x 8.053 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y 8.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y 8.053 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.053 * [taylor]: Taking taylor expansion of (* z y) in y 8.053 * [taylor]: Taking taylor expansion of z in y 8.053 * [taylor]: Taking taylor expansion of y in y 8.054 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y 8.054 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 8.054 * [taylor]: Taking taylor expansion of 1.0 in y 8.054 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.054 * [taylor]: Taking taylor expansion of z in y 8.054 * [taylor]: Taking taylor expansion of 1.0 in y 8.054 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.054 * [taylor]: Taking taylor expansion of z in z 8.058 * [taylor]: Taking taylor expansion of 0 in y 8.058 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z 8.058 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 8.058 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 8.058 * [taylor]: Taking taylor expansion of 1.0 in z 8.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.058 * [taylor]: Taking taylor expansion of z in z 8.059 * [taylor]: Taking taylor expansion of 1.0 in z 8.067 * [taylor]: Taking taylor expansion of 0 in y 8.067 * [taylor]: Taking taylor expansion of 0 in z 8.068 * [taylor]: Taking taylor expansion of 0 in z 8.071 * * * [progress]: simplifying candidates 8.072 * [simplify]: Simplifying using # : (* y (* x z)) (* y (* x z)) (+ (log y) (+ (log x) (log z))) (+ (log y) (log (* x z))) (log (* y (* x z))) (exp (* y (* x z))) (* (* (* y y) y) (* (* (* x x) x) (* (* z z) z))) (* (* (* y y) y) (* (* (* x z) (* x z)) (* x z))) (* (cbrt (* y (* x z))) (cbrt (* y (* x z)))) (cbrt (* y (* x z))) (* (* (* y (* x z)) (* y (* x z))) (* y (* x z))) (sqrt (* y (* x z))) (sqrt (* y (* x z))) (* y x) (* (cbrt y) (* x z)) (* (sqrt y) (* x z)) (* y (* x z)) (* (exp (* y (* x z))) (exp (* (- 1.0) (* x z)))) (log (+ (* y (* x z)) (* (- 1.0) (* x z)))) (exp (+ (* y (* x z)) (* (- 1.0) (* x z)))) (* (cbrt (+ (* y (* x z)) (* (- 1.0) (* x z)))) (cbrt (+ (* y (* x z)) (* (- 1.0) (* x z))))) (cbrt (+ (* 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)))) (sqrt (+ (* y (* x z)) (* (- 1.0) (* x z)))) (sqrt (+ (* y (* x z)) (* (- 1.0) (* x z)))) (+ (pow (* y (* x z)) 3) (pow (* (- 1.0) (* x z)) 3)) (+ (* (* y (* x z)) (* y (* x z))) (- (* (* (- 1.0) (* x z)) (* (- 1.0) (* x z))) (* (* y (* x z)) (* (- 1.0) (* x z))))) (- (* (* y (* x z)) (* y (* x z))) (* (* (- 1.0) (* x z)) (* (- 1.0) (* x z)))) (- (* y (* x z)) (* (- 1.0) (* x z))) (+ y (- 1.0)) (* (exp (* x 1.0)) (* (exp (* y (* x z))) (exp (* (- 1.0) (* x z))))) (* (exp (* x 1.0)) (exp (+ (* y (* x z)) (* (- 1.0) (* x z))))) (log (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (exp (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (* (cbrt (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (cbrt (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z)))))) (cbrt (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (* (* (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z)))) (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (sqrt (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (sqrt (+ (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (+ (pow (* x 1.0) 3) (pow (+ (* y (* x z)) (* (- 1.0) (* x z))) 3)) (+ (* (* x 1.0) (* x 1.0)) (- (* (+ (* y (* x z)) (* (- 1.0) (* x z))) (+ (* y (* x z)) (* (- 1.0) (* x z)))) (* (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z)))))) (- (* (* x 1.0) (* x 1.0)) (* (+ (* y (* x z)) (* (- 1.0) (* x z))) (+ (* y (* x z)) (* (- 1.0) (* x z))))) (- (* x 1.0) (+ (* y (* x z)) (* (- 1.0) (* x z)))) (+ (* x 1.0) (* y (* x z))) (+ (* x 1.0) (* y (* x z))) (+ (* x 1.0) (* y (* x z))) 0 (* x (* z y)) (* x (* z y)) 0 (- (* 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))) 8.074 * * [simplify]: iteration 0 : 90 enodes (cost 804 ) 8.089 * * [simplify]: iteration 1 : 276 enodes (cost 576 ) 8.168 * * [simplify]: iteration 2 : 1138 enodes (cost 521 ) 8.883 * * [simplify]: iteration done : 5000 enodes (cost 509 ) 8.883 * [simplify]: Simplified to: (* y (* x z)) (* y (* x z)) (log (* y (* x z))) (log (* y (* x z))) (log (* y (* x z))) (exp (* y (* x z))) (pow (* y (* x z)) 3) (pow (* y (* x z)) 3) (* (cbrt (* y (* x z))) (cbrt (* y (* x z)))) (cbrt (* y (* x z))) (pow (* y (* x z)) 3) (sqrt (* y (* x z))) (sqrt (* y (* x z))) (* y x) (* (cbrt y) (* x z)) (* (sqrt y) (* x z)) (* y (* x z)) (exp (* (* x z) (- y 1.0))) (log (* (* x z) (- y 1.0))) (exp (* (* x z) (- y 1.0))) (* (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))) (* (pow (* x z) 3) (- (pow y 3) (pow 1.0 3))) (* (* x z) (+ (* (* y y) (* x z)) (* (- 1.0) (* (* x z) (- (- 1.0) y))))) (* (* (* x z) (* x z)) (- (* y y) (* 1.0 1.0))) (* (* x z) (+ y 1.0)) (- y 1.0) (exp (+ (* 1.0 x) (* (* x z) (- y 1.0)))) (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 (* 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) (* x 1.0))) (* (+ (* 1.0 x) (* (* x z) (- y 1.0))) (* x (- 1.0 (* z (- y 1.0))))) (* x (- 1.0 (* z (- y 1.0)))) (* x (+ (* z y) 1.0)) (* x (+ (* z y) 1.0)) (* x (+ (* z y) 1.0)) 0 (* y (* x z)) (* y (* x z)) 0 (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0)) (* 1.0 (- x (* x z))) (+ (* 1.0 x) (* (* x z) (- y 1.0))) (+ (* 1.0 x) (* (* x z) (- y 1.0))) 8.883 * * * [progress]: adding candidates to table 8.983 * * [progress]: iteration 4 / 4 8.983 * * * [progress]: picking best candidate 8.996 * * * * [pick]: Picked # 8.996 * * * [progress]: localizing error 9.009 * * * [progress]: generating rewritten candidates 9.009 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 9.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 9.043 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 9.044 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 9.046 * * * [progress]: generating series expansions 9.046 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 9.047 * [approximate]: Taking taylor expansion of (* x (* z y)) in (y x z) around 0 9.047 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.047 * [taylor]: Taking taylor expansion of x in z 9.047 * [taylor]: Taking taylor expansion of (* z y) in z 9.047 * [taylor]: Taking taylor expansion of z in z 9.047 * [taylor]: Taking taylor expansion of y in z 9.047 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.047 * [taylor]: Taking taylor expansion of x in x 9.047 * [taylor]: Taking taylor expansion of (* z y) in x 9.047 * [taylor]: Taking taylor expansion of z in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.047 * [taylor]: Taking taylor expansion of x in y 9.047 * [taylor]: Taking taylor expansion of (* z y) in y 9.047 * [taylor]: Taking taylor expansion of z in y 9.047 * [taylor]: Taking taylor expansion of y in y 9.047 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.047 * [taylor]: Taking taylor expansion of x in y 9.047 * [taylor]: Taking taylor expansion of (* z y) in y 9.047 * [taylor]: Taking taylor expansion of z in y 9.047 * [taylor]: Taking taylor expansion of y in y 9.047 * [taylor]: Taking taylor expansion of 0 in x 9.047 * [taylor]: Taking taylor expansion of 0 in z 9.048 * [taylor]: Taking taylor expansion of (* x z) in x 9.048 * [taylor]: Taking taylor expansion of x in x 9.048 * [taylor]: Taking taylor expansion of z in x 9.048 * [taylor]: Taking taylor expansion of 0 in z 9.048 * [taylor]: Taking taylor expansion of 0 in z 9.049 * [taylor]: Taking taylor expansion of 0 in x 9.049 * [taylor]: Taking taylor expansion of 0 in z 9.049 * [taylor]: Taking taylor expansion of z in z 9.049 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (y x z) around 0 9.049 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 9.049 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.049 * [taylor]: Taking taylor expansion of x in z 9.049 * [taylor]: Taking taylor expansion of (* z y) in z 9.049 * [taylor]: Taking taylor expansion of z in z 9.049 * [taylor]: Taking taylor expansion of y in z 9.050 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 9.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.050 * [taylor]: Taking taylor expansion of x in x 9.050 * [taylor]: Taking taylor expansion of (* z y) in x 9.050 * [taylor]: Taking taylor expansion of z in x 9.050 * [taylor]: Taking taylor expansion of y in x 9.050 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 9.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.050 * [taylor]: Taking taylor expansion of x in y 9.050 * [taylor]: Taking taylor expansion of (* z y) in y 9.050 * [taylor]: Taking taylor expansion of z in y 9.050 * [taylor]: Taking taylor expansion of y in y 9.051 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 9.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.051 * [taylor]: Taking taylor expansion of x in y 9.051 * [taylor]: Taking taylor expansion of (* z y) in y 9.051 * [taylor]: Taking taylor expansion of z in y 9.051 * [taylor]: Taking taylor expansion of y in y 9.052 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.052 * [taylor]: Taking taylor expansion of (* x z) in x 9.052 * [taylor]: Taking taylor expansion of x in x 9.052 * [taylor]: Taking taylor expansion of z in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.052 * [taylor]: Taking taylor expansion of z in z 9.053 * [taylor]: Taking taylor expansion of 0 in x 9.054 * [taylor]: Taking taylor expansion of 0 in z 9.055 * [taylor]: Taking taylor expansion of 0 in x 9.055 * [taylor]: Taking taylor expansion of 0 in z 9.056 * [taylor]: Taking taylor expansion of 0 in z 9.058 * [taylor]: Taking taylor expansion of 0 in x 9.058 * [taylor]: Taking taylor expansion of 0 in z 9.058 * [taylor]: Taking taylor expansion of 0 in z 9.059 * [taylor]: Taking taylor expansion of 0 in z 9.060 * [approximate]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in (y x z) around 0 9.060 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in z 9.060 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 9.060 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.060 * [taylor]: Taking taylor expansion of -1 in z 9.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.061 * [taylor]: Taking taylor expansion of x in z 9.061 * [taylor]: Taking taylor expansion of (* z y) in z 9.061 * [taylor]: Taking taylor expansion of z in z 9.061 * [taylor]: Taking taylor expansion of y in z 9.064 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in x 9.064 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 9.064 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.064 * [taylor]: Taking taylor expansion of -1 in x 9.065 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.065 * [taylor]: Taking taylor expansion of x in x 9.065 * [taylor]: Taking taylor expansion of (* z y) in x 9.065 * [taylor]: Taking taylor expansion of z in x 9.065 * [taylor]: Taking taylor expansion of y in x 9.068 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in y 9.068 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.068 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.068 * [taylor]: Taking taylor expansion of -1 in y 9.069 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.069 * [taylor]: Taking taylor expansion of x in y 9.069 * [taylor]: Taking taylor expansion of (* z y) in y 9.069 * [taylor]: Taking taylor expansion of z in y 9.069 * [taylor]: Taking taylor expansion of y in y 9.072 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (* z y))) in y 9.072 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 9.072 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.072 * [taylor]: Taking taylor expansion of -1 in y 9.073 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.073 * [taylor]: Taking taylor expansion of x in y 9.073 * [taylor]: Taking taylor expansion of (* z y) in y 9.073 * [taylor]: Taking taylor expansion of z in y 9.073 * [taylor]: Taking taylor expansion of y in y 9.076 * [taylor]: Taking taylor expansion of (/ -1 (* x z)) in x 9.076 * [taylor]: Taking taylor expansion of -1 in x 9.076 * [taylor]: Taking taylor expansion of (* x z) in x 9.076 * [taylor]: Taking taylor expansion of x in x 9.076 * [taylor]: Taking taylor expansion of z in x 9.077 * [taylor]: Taking taylor expansion of (/ -1 z) in z 9.077 * [taylor]: Taking taylor expansion of -1 in z 9.077 * [taylor]: Taking taylor expansion of z in z 9.079 * [taylor]: Taking taylor expansion of 0 in x 9.079 * [taylor]: Taking taylor expansion of 0 in z 9.083 * [taylor]: Taking taylor expansion of 0 in x 9.083 * [taylor]: Taking taylor expansion of 0 in z 9.084 * [taylor]: Taking taylor expansion of 0 in z 9.088 * [taylor]: Taking taylor expansion of 0 in x 9.088 * [taylor]: Taking taylor expansion of 0 in z 9.088 * [taylor]: Taking taylor expansion of 0 in z 9.089 * [taylor]: Taking taylor expansion of 0 in z 9.089 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 9.089 * [approximate]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in (y x z) around 0 9.089 * [taylor]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in z 9.089 * [taylor]: Taking taylor expansion of (* x z) in z 9.089 * [taylor]: Taking taylor expansion of x in z 9.089 * [taylor]: Taking taylor expansion of z in z 9.089 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 9.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 9.089 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 9.089 * [taylor]: Taking taylor expansion of 1/3 in z 9.089 * [taylor]: Taking taylor expansion of (log y) in z 9.089 * [taylor]: Taking taylor expansion of y in z 9.089 * [taylor]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in x 9.089 * [taylor]: Taking taylor expansion of (* x z) in x 9.089 * [taylor]: Taking taylor expansion of x in x 9.089 * [taylor]: Taking taylor expansion of z in x 9.090 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 9.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 9.090 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 9.090 * [taylor]: Taking taylor expansion of 1/3 in x 9.090 * [taylor]: Taking taylor expansion of (log y) in x 9.090 * [taylor]: Taking taylor expansion of y in x 9.090 * [taylor]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in y 9.090 * [taylor]: Taking taylor expansion of (* x z) in y 9.090 * [taylor]: Taking taylor expansion of x in y 9.090 * [taylor]: Taking taylor expansion of z in y 9.090 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.090 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.090 * [taylor]: Taking taylor expansion of 1/3 in y 9.090 * [taylor]: Taking taylor expansion of (log y) in y 9.090 * [taylor]: Taking taylor expansion of y in y 9.090 * [taylor]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in y 9.090 * [taylor]: Taking taylor expansion of (* x z) in y 9.090 * [taylor]: Taking taylor expansion of x in y 9.090 * [taylor]: Taking taylor expansion of z in y 9.090 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.091 * [taylor]: Taking taylor expansion of 1/3 in y 9.091 * [taylor]: Taking taylor expansion of (log y) in y 9.091 * [taylor]: Taking taylor expansion of y in y 9.091 * [taylor]: Taking taylor expansion of (* (* x z) (pow y 1/3)) in x 9.091 * [taylor]: Taking taylor expansion of (* x z) in x 9.091 * [taylor]: Taking taylor expansion of x in x 9.091 * [taylor]: Taking taylor expansion of z in x 9.091 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 9.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 9.091 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 9.091 * [taylor]: Taking taylor expansion of 1/3 in x 9.091 * [taylor]: Taking taylor expansion of (log y) in x 9.091 * [taylor]: Taking taylor expansion of y in x 9.092 * [taylor]: Taking taylor expansion of 0 in z 9.093 * [taylor]: Taking taylor expansion of 0 in x 9.093 * [taylor]: Taking taylor expansion of 0 in z 9.095 * [taylor]: Taking taylor expansion of (* z (pow y 1/3)) in z 9.095 * [taylor]: Taking taylor expansion of z in z 9.095 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 9.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 9.095 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 9.095 * [taylor]: Taking taylor expansion of 1/3 in z 9.095 * [taylor]: Taking taylor expansion of (log y) in z 9.095 * [taylor]: Taking taylor expansion of y in z 9.099 * [taylor]: Taking taylor expansion of 0 in x 9.099 * [taylor]: Taking taylor expansion of 0 in z 9.099 * [taylor]: Taking taylor expansion of 0 in z 9.099 * [approximate]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in (y x z) around 0 9.099 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in z 9.099 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.099 * [taylor]: Taking taylor expansion of (* x z) in z 9.099 * [taylor]: Taking taylor expansion of x in z 9.099 * [taylor]: Taking taylor expansion of z in z 9.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.100 * [taylor]: Taking taylor expansion of 1/3 in z 9.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.100 * [taylor]: Taking taylor expansion of y in z 9.100 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in x 9.100 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.100 * [taylor]: Taking taylor expansion of (* x z) in x 9.100 * [taylor]: Taking taylor expansion of x in x 9.100 * [taylor]: Taking taylor expansion of z in x 9.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.100 * [taylor]: Taking taylor expansion of 1/3 in x 9.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.100 * [taylor]: Taking taylor expansion of y in x 9.101 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in y 9.101 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.101 * [taylor]: Taking taylor expansion of (* x z) in y 9.101 * [taylor]: Taking taylor expansion of x in y 9.101 * [taylor]: Taking taylor expansion of z in y 9.101 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.101 * [taylor]: Taking taylor expansion of 1/3 in y 9.101 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.101 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 9.102 * [taylor]: Taking taylor expansion of (* x z) in y 9.102 * [taylor]: Taking taylor expansion of x in y 9.102 * [taylor]: Taking taylor expansion of z in y 9.102 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.102 * [taylor]: Taking taylor expansion of 1/3 in y 9.102 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of (* (/ 1 (* x z)) (pow (/ 1 y) 1/3)) in x 9.103 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 9.103 * [taylor]: Taking taylor expansion of (* x z) in x 9.103 * [taylor]: Taking taylor expansion of x in x 9.103 * [taylor]: Taking taylor expansion of z in x 9.103 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.103 * [taylor]: Taking taylor expansion of 1/3 in x 9.103 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.103 * [taylor]: Taking taylor expansion of y in x 9.104 * [taylor]: Taking taylor expansion of (* (/ 1 z) (pow (/ 1 y) 1/3)) in z 9.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.104 * [taylor]: Taking taylor expansion of z in z 9.104 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.104 * [taylor]: Taking taylor expansion of 1/3 in z 9.104 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.104 * [taylor]: Taking taylor expansion of y in z 9.107 * [taylor]: Taking taylor expansion of 0 in x 9.109 * [taylor]: Taking taylor expansion of 0 in z 9.115 * [taylor]: Taking taylor expansion of 0 in x 9.115 * [taylor]: Taking taylor expansion of 0 in z 9.118 * [taylor]: Taking taylor expansion of 0 in z 9.131 * [taylor]: Taking taylor expansion of 0 in x 9.131 * [taylor]: Taking taylor expansion of 0 in z 9.131 * [taylor]: Taking taylor expansion of 0 in z 9.136 * [taylor]: Taking taylor expansion of 0 in z 9.136 * [approximate]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in (y x z) around 0 9.136 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in z 9.136 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x z)) in z 9.136 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.136 * [taylor]: Taking taylor expansion of -1 in z 9.137 * [taylor]: Taking taylor expansion of (* x z) in z 9.137 * [taylor]: Taking taylor expansion of x in z 9.137 * [taylor]: Taking taylor expansion of z in z 9.138 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.138 * [taylor]: Taking taylor expansion of 1/3 in z 9.138 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.138 * [taylor]: Taking taylor expansion of y in z 9.138 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in x 9.138 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x z)) in x 9.138 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.138 * [taylor]: Taking taylor expansion of -1 in x 9.139 * [taylor]: Taking taylor expansion of (* x z) in x 9.139 * [taylor]: Taking taylor expansion of x in x 9.139 * [taylor]: Taking taylor expansion of z in x 9.139 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.139 * [taylor]: Taking taylor expansion of 1/3 in x 9.139 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.139 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.139 * [taylor]: Taking taylor expansion of y in x 9.139 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in y 9.139 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x z)) in y 9.139 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.139 * [taylor]: Taking taylor expansion of -1 in y 9.140 * [taylor]: Taking taylor expansion of (* x z) in y 9.140 * [taylor]: Taking taylor expansion of x in y 9.140 * [taylor]: Taking taylor expansion of z in y 9.141 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.141 * [taylor]: Taking taylor expansion of 1/3 in y 9.141 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.141 * [taylor]: Taking taylor expansion of y in y 9.141 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in y 9.142 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x z)) in y 9.142 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.142 * [taylor]: Taking taylor expansion of -1 in y 9.142 * [taylor]: Taking taylor expansion of (* x z) in y 9.142 * [taylor]: Taking taylor expansion of x in y 9.142 * [taylor]: Taking taylor expansion of z in y 9.143 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.143 * [taylor]: Taking taylor expansion of 1/3 in y 9.143 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.143 * [taylor]: Taking taylor expansion of y in y 9.144 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x z)) (pow (/ 1 y) 1/3)) in x 9.144 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x z)) in x 9.144 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.144 * [taylor]: Taking taylor expansion of -1 in x 9.145 * [taylor]: Taking taylor expansion of (* x z) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.145 * [taylor]: Taking taylor expansion of z in x 9.145 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.145 * [taylor]: Taking taylor expansion of 1/3 in x 9.145 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.146 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) z) (pow (/ 1 y) 1/3)) in z 9.146 * [taylor]: Taking taylor expansion of (/ (cbrt -1) z) in z 9.146 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.146 * [taylor]: Taking taylor expansion of -1 in z 9.147 * [taylor]: Taking taylor expansion of z in z 9.147 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.147 * [taylor]: Taking taylor expansion of 1/3 in z 9.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.147 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.147 * [taylor]: Taking taylor expansion of y in z 9.151 * [taylor]: Taking taylor expansion of 0 in x 9.154 * [taylor]: Taking taylor expansion of 0 in z 9.162 * [taylor]: Taking taylor expansion of 0 in x 9.162 * [taylor]: Taking taylor expansion of 0 in z 9.167 * [taylor]: Taking taylor expansion of 0 in z 9.178 * [taylor]: Taking taylor expansion of 0 in x 9.178 * [taylor]: Taking taylor expansion of 0 in z 9.178 * [taylor]: Taking taylor expansion of 0 in z 9.184 * [taylor]: Taking taylor expansion of 0 in z 9.185 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 9.185 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 9.185 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.185 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.185 * [taylor]: Taking taylor expansion of 1/3 in y 9.185 * [taylor]: Taking taylor expansion of (log y) in y 9.185 * [taylor]: Taking taylor expansion of y in y 9.186 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.186 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.186 * [taylor]: Taking taylor expansion of 1/3 in y 9.186 * [taylor]: Taking taylor expansion of (log y) in y 9.186 * [taylor]: Taking taylor expansion of y in y 9.235 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 9.235 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.235 * [taylor]: Taking taylor expansion of 1/3 in y 9.235 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.235 * [taylor]: Taking taylor expansion of y in y 9.236 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.236 * [taylor]: Taking taylor expansion of 1/3 in y 9.236 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.236 * [taylor]: Taking taylor expansion of y in y 9.289 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 9.289 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.289 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.289 * [taylor]: Taking taylor expansion of -1 in y 9.290 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.290 * [taylor]: Taking taylor expansion of 1/3 in y 9.290 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.290 * [taylor]: Taking taylor expansion of y in y 9.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.290 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.290 * [taylor]: Taking taylor expansion of -1 in y 9.291 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.291 * [taylor]: Taking taylor expansion of 1/3 in y 9.291 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.291 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.291 * [taylor]: Taking taylor expansion of y in y 9.354 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2) 9.354 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 9.354 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.354 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.354 * [taylor]: Taking taylor expansion of 1/3 in y 9.354 * [taylor]: Taking taylor expansion of (log y) in y 9.354 * [taylor]: Taking taylor expansion of y in y 9.355 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.355 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.355 * [taylor]: Taking taylor expansion of 1/3 in y 9.355 * [taylor]: Taking taylor expansion of (log y) in y 9.355 * [taylor]: Taking taylor expansion of y in y 9.402 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 9.402 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.402 * [taylor]: Taking taylor expansion of 1/3 in y 9.402 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.402 * [taylor]: Taking taylor expansion of y in y 9.403 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.403 * [taylor]: Taking taylor expansion of 1/3 in y 9.403 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.403 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.403 * [taylor]: Taking taylor expansion of y in y 9.456 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 9.457 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.457 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.457 * [taylor]: Taking taylor expansion of -1 in y 9.457 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.457 * [taylor]: Taking taylor expansion of 1/3 in y 9.457 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.457 * [taylor]: Taking taylor expansion of y in y 9.458 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.458 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.458 * [taylor]: Taking taylor expansion of -1 in y 9.459 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.459 * [taylor]: Taking taylor expansion of 1/3 in y 9.459 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.459 * [taylor]: Taking taylor expansion of y in y 9.522 * * * [progress]: simplifying candidates 9.523 * [simplify]: Simplifying using # : (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (+ (log x) (log z)))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (log (* x z)))) (+ (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (* x z)))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (+ (log x) (log z)))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (log (* x z)))) (+ (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (* x z)))) (log (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (* (* y y) (* y (* (* (* x x) x) (* (* z z) z)))) (* (* y y) (* y (* (* (* x z) (* x z)) (* x z)))) (* (* y y) (* (* (* (cbrt y) (* x z)) (* (cbrt y) (* x z))) (* (cbrt y) (* x z)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* x x) x) (* (* z z) z)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* x z) (* x z)) (* x z)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (* x z)) (* (cbrt y) (* x z))) (* (cbrt y) (* x z)))) (* (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* x z)))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (cbrt y) (* (cbrt y) (* x z))) (* (cbrt y) (* x z)) (* (cbrt y) (* x z)) (+ (log (cbrt y)) (+ (log x) (log z))) (+ (log (cbrt y)) (log (* x z))) (log (* (cbrt y) (* x z))) (exp (* (cbrt y) (* x z))) (* y (* (* (* x x) x) (* (* z z) z))) (* y (* (* (* x z) (* x z)) (* x z))) (* (cbrt (* (cbrt y) (* x z))) (cbrt (* (cbrt y) (* x z)))) (cbrt (* (cbrt y) (* x z))) (* (* (* (cbrt y) (* x z)) (* (cbrt y) (* x z))) (* (cbrt y) (* x z))) (sqrt (* (cbrt y) (* x z))) (sqrt (* (cbrt y) (* x z))) (* (cbrt y) x) (* (cbrt (cbrt y)) (* x z)) (* (cbrt (sqrt y)) (* x z)) (* (cbrt y) (* x z)) (* (cbrt (cbrt y)) (* x z)) (* (sqrt (cbrt y)) (* x z)) (* (cbrt y) (* x z)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) 0 (* x (* z y)) (* x (* z y)) 0 (* (* x z) (pow y 1/3)) (* (pow (* -1 y) 1/3) (* (cbrt -1) (* x z))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 9.526 * * [simplify]: iteration 0 : 86 enodes (cost 800 ) 9.541 * * [simplify]: iteration 1 : 229 enodes (cost 771 ) 9.595 * * [simplify]: iteration 2 : 854 enodes (cost 537 ) 10.983 * * [simplify]: iteration done : 5000 enodes (cost 439 ) 10.983 * [simplify]: Simplified to: (* x (* z y)) (* x (* z y)) (* x (* z y)) (* x (* z y)) (* x (* z y)) (* x (* z y)) (log (* x (* z y))) (log (* x (* z y))) (log (* x (* z y))) (log (* x (* z y))) (log (* x (* z y))) (log (* x (* z y))) (log (* x (* z y))) (exp (* x (* z y))) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (* (cbrt (* x (* z y))) (cbrt (* x (* z y)))) (cbrt (* x (* z y))) (pow (* x (* z y)) 3) (sqrt (* x (* z y))) (sqrt (* x (* z y))) y (* (* (pow y 2/3) z) x) (* (cbrt y) (* x z)) (* (cbrt y) (* x z)) (log (* (cbrt y) (* x z))) (log (* (cbrt y) (* x z))) (log (* (cbrt y) (* x z))) (exp (* (cbrt y) (* x z))) (* y (pow (* x z) 3)) (* y (pow (* x z) 3)) (* (cbrt (* (cbrt y) (* x z))) (cbrt (* (cbrt y) (* x z)))) (cbrt (* (cbrt y) (* x z))) (* y (pow (* x z) 3)) (sqrt (* (cbrt y) (* x z))) (sqrt (* (cbrt y) (* x z))) (* (cbrt y) x) (* (cbrt (cbrt y)) (* x z)) (* (cbrt (sqrt y)) (* x z)) (* (cbrt y) (* x z)) (* (cbrt (cbrt y)) (* x z)) (* (sqrt (cbrt y)) (* x z)) (* (cbrt y) (* x z)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) 0 (* x (* z y)) (* x (* z y)) 0 (* (cbrt y) (* x z)) (* (cbrt (- y)) (* (cbrt -1) (* x z))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 10.984 * * * [progress]: adding candidates to table 11.161 * [progress]: [Phase 3 of 3] Extracting. 11.161 * * [regime]: Finding splitpoints for: (# # # # # # # #) 11.163 * * * [regime-changes]: Trying 6 branch expressions: ((- 1.0 y) (* (- 1.0 y) z) (- 1.0 (* (- 1.0 y) z)) z y x) 11.163 * * * * [regimes]: Trying to branch on (- 1.0 y) from (# # # # # # # #) 11.193 * * * * [regimes]: Trying to branch on (- 1.0 y) from (# # # #) 11.213 * * * * [regimes]: Trying to branch on (* (- 1.0 y) z) from (# # # # # # # #) 11.244 * * * * [regimes]: Trying to branch on (* (- 1.0 y) z) from (# # #) 11.260 * * * * [regimes]: Trying to branch on (- 1.0 (* (- 1.0 y) z)) from (# # # # # # # #) 11.289 * * * * [regimes]: Trying to branch on (- 1.0 (* (- 1.0 y) z)) from (# #) 11.302 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 11.332 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 11.362 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 11.404 * * * [regime]: Found split indices: #