7.294 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.222 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.225 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.225 * * * * [points]: Setting MPFR precision to 64 0.225 * * * * [points]: Setting MPFR precision to 320 0.226 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.226 * * * * [points]: Setting MPFR precision to 64 0.226 * * * * [points]: Setting MPFR precision to 320 0.226 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.226 * * * * [points]: Setting MPFR precision to 64 0.227 * * * * [points]: Setting MPFR precision to 320 0.228 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.228 * * * * [points]: Setting MPFR precision to 64 0.229 * * * * [points]: Setting MPFR precision to 320 0.230 * * * * [points]: Computing exacts for 256 points 0.230 * * * * [points]: Setting MPFR precision to 64 0.234 * * * * [points]: Setting MPFR precision to 320 0.237 * * * * [points]: Filtering points with unrepresentable outputs 0.238 * * * * [points]: Sampling 10 additional inputs, on iter 1 have 246 / 256 0.238 * * * * [points]: Computing exacts for 10 points 0.238 * * * * [points]: Setting MPFR precision to 64 0.238 * * * * [points]: Setting MPFR precision to 320 0.238 * * * * [points]: Filtering points with unrepresentable outputs 0.238 * * * * [points]: Sampled 256 points with exact outputs 0.242 * * * [progress]: [2/2] Setting up program. 0.245 * [progress]: [Phase 2 of 3] Improving. 0.246 * [simplify]: Simplifying using # : (- x (* y z)) 0.251 * * [simplify]: iteration 0 : 112 enodes (cost 5 ) 0.251 * * [simplify]: iteration 1 : 112 enodes (cost 5 ) 0.252 * [simplify]: Simplified to: (- x (* y z)) 0.252 * * [progress]: iteration 1 / 4 0.252 * * * [progress]: picking best candidate 0.257 * * * * [pick]: Picked # 0.257 * * * [progress]: localizing error 0.261 * * * [progress]: generating rewritten candidates 0.261 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.264 * * * [progress]: generating series expansions 0.264 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.264 * [approximate]: Taking taylor expansion of (- x (* z y)) in (x y z) around 0 0.264 * [taylor]: Taking taylor expansion of (- x (* z y)) in z 0.264 * [taylor]: Taking taylor expansion of x in z 0.264 * [taylor]: Taking taylor expansion of (* z y) in z 0.264 * [taylor]: Taking taylor expansion of z in z 0.264 * [taylor]: Taking taylor expansion of y in z 0.264 * [taylor]: Taking taylor expansion of (- x (* z y)) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (* z y) in y 0.264 * [taylor]: Taking taylor expansion of z in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of (- x (* z y)) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (* z y) in x 0.264 * [taylor]: Taking taylor expansion of z in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of (- x (* z y)) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (* z y) in x 0.264 * [taylor]: Taking taylor expansion of z in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of (neg (* z y)) in y 0.264 * [taylor]: Taking taylor expansion of (* z y) in y 0.264 * [taylor]: Taking taylor expansion of z in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of 0 in z 0.265 * [taylor]: Taking taylor expansion of 1 in y 0.265 * [taylor]: Taking taylor expansion of 1 in z 0.265 * [taylor]: Taking taylor expansion of (neg z) in z 0.265 * [taylor]: Taking taylor expansion of z in z 0.265 * [taylor]: Taking taylor expansion of 0 in y 0.265 * [taylor]: Taking taylor expansion of 0 in z 0.265 * [taylor]: Taking taylor expansion of 0 in z 0.265 * [taylor]: Taking taylor expansion of 0 in z 0.265 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in (x y z) around 0 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.265 * [taylor]: Taking taylor expansion of x in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.265 * [taylor]: Taking taylor expansion of (* z y) in z 0.265 * [taylor]: Taking taylor expansion of z in z 0.265 * [taylor]: Taking taylor expansion of y in z 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.265 * [taylor]: Taking taylor expansion of (* z y) in y 0.265 * [taylor]: Taking taylor expansion of z in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.266 * [taylor]: Taking taylor expansion of (* z y) in x 0.266 * [taylor]: Taking taylor expansion of z in x 0.266 * [taylor]: Taking taylor expansion of y in x 0.266 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* z y))) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.266 * [taylor]: Taking taylor expansion of (* z y) in x 0.266 * [taylor]: Taking taylor expansion of z in x 0.266 * [taylor]: Taking taylor expansion of y in x 0.266 * [taylor]: Taking taylor expansion of 1 in y 0.266 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.266 * [taylor]: Taking taylor expansion of (* z y) in y 0.266 * [taylor]: Taking taylor expansion of z in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.266 * [taylor]: Taking taylor expansion of z in z 0.266 * [taylor]: Taking taylor expansion of 1 in z 0.266 * [taylor]: Taking taylor expansion of 0 in y 0.266 * [taylor]: Taking taylor expansion of 0 in z 0.266 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in y 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in y 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.268 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0 0.268 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 x))) in z 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.268 * [taylor]: Taking taylor expansion of (* z y) in z 0.268 * [taylor]: Taking taylor expansion of z in z 0.268 * [taylor]: Taking taylor expansion of y in z 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.268 * [taylor]: Taking taylor expansion of x in z 0.268 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 x))) in y 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.268 * [taylor]: Taking taylor expansion of (* z y) in y 0.268 * [taylor]: Taking taylor expansion of z in y 0.268 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.268 * [taylor]: Taking taylor expansion of x in y 0.268 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 x))) in x 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.268 * [taylor]: Taking taylor expansion of (* z y) in x 0.268 * [taylor]: Taking taylor expansion of z in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (/ 1 x))) in x 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.268 * [taylor]: Taking taylor expansion of (* z y) in x 0.268 * [taylor]: Taking taylor expansion of z in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.269 * [taylor]: Taking taylor expansion of x in x 0.269 * [taylor]: Taking taylor expansion of (neg 1) in y 0.269 * [taylor]: Taking taylor expansion of 1 in y 0.269 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in y 0.269 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.269 * [taylor]: Taking taylor expansion of (* z y) in y 0.269 * [taylor]: Taking taylor expansion of z in y 0.269 * [taylor]: Taking taylor expansion of y in y 0.269 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.269 * [taylor]: Taking taylor expansion of z in z 0.269 * [taylor]: Taking taylor expansion of (neg 1) in z 0.269 * [taylor]: Taking taylor expansion of 1 in z 0.269 * [taylor]: Taking taylor expansion of 0 in y 0.269 * [taylor]: Taking taylor expansion of 0 in z 0.269 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * * * [progress]: simplifying candidates 0.271 * [simplify]: Simplifying using # : (/ (exp x) (exp (* y z))) (log (- x (* y z))) (exp (- x (* y z))) (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (cbrt (- x (* y z))) (* (* (- x (* y z)) (- x (* y z))) (- x (* y z))) (sqrt (- x (* y z))) (sqrt (- x (* y z))) (- (pow x 3) (pow (* y z) 3)) (+ (* x x) (+ (* (* y z) (* y z)) (* x (* y z)))) (neg (* y z)) (- (* x x) (* (* y z) (* y z))) (+ x (* y z)) x (- x (* z y)) (- x (* z y)) 0.314 * * [simplify]: iteration 0 : 4972 enodes (cost 109 ) 0.314 * * [simplify]: iteration 1 : 4972 enodes (cost 109 ) 0.315 * [simplify]: Simplified to: (exp (- x (* y z))) (log (- x (* y z))) (exp (- x (* y z))) (* (cbrt (- x (* y z))) (cbrt (- x (* y z)))) (cbrt (- x (* y z))) (pow (- x (* y z)) 3) (sqrt (- x (* y z))) (sqrt (- x (* y z))) (- (pow x 3) (pow (* y z) 3)) (+ (* x x) (* y (* z (+ x (* y z))))) (* y (neg z)) (- (* x x) (* y (* y (* z z)))) (+ x (* y z)) x (- x (* y z)) (- x (* y z)) 0.315 * * * [progress]: adding candidates to table 0.331 * * [progress]: iteration 2 / 4 0.331 * * * [progress]: picking best candidate 0.333 * * * * [pick]: Picked # 0.333 * * * [progress]: localizing error 0.344 * * * [progress]: generating rewritten candidates 0.344 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.351 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.356 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.363 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.370 * * * [progress]: generating series expansions 0.370 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.370 * [approximate]: Taking taylor expansion of (/ (- (pow x 2) (* (pow z 2) (pow y 2))) (+ (* z y) x)) in (x y z) around 0 0.370 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* (pow z 2) (pow y 2))) (+ (* z y) x)) in z 0.370 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in z 0.370 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.370 * [taylor]: Taking taylor expansion of x in z 0.370 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.370 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.370 * [taylor]: Taking taylor expansion of z in z 0.370 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.370 * [taylor]: Taking taylor expansion of y in z 0.370 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.370 * [taylor]: Taking taylor expansion of (* z y) in z 0.370 * [taylor]: Taking taylor expansion of z in z 0.370 * [taylor]: Taking taylor expansion of y in z 0.370 * [taylor]: Taking taylor expansion of x in z 0.370 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* (pow z 2) (pow y 2))) (+ (* z y) x)) in y 0.370 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in y 0.370 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.370 * [taylor]: Taking taylor expansion of x in y 0.370 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.370 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.370 * [taylor]: Taking taylor expansion of z in y 0.370 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.371 * [taylor]: Taking taylor expansion of (* z y) in y 0.371 * [taylor]: Taking taylor expansion of z in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.371 * [taylor]: Taking taylor expansion of x in y 0.371 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* (pow z 2) (pow y 2))) (+ (* z y) x)) in x 0.371 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in x 0.371 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.371 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.371 * [taylor]: Taking taylor expansion of z in x 0.371 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.371 * [taylor]: Taking taylor expansion of y in x 0.371 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.371 * [taylor]: Taking taylor expansion of (* z y) in x 0.371 * [taylor]: Taking taylor expansion of z in x 0.371 * [taylor]: Taking taylor expansion of y in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (/ (- (pow x 2) (* (pow z 2) (pow y 2))) (+ (* z y) x)) in x 0.372 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in x 0.372 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.372 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.372 * [taylor]: Taking taylor expansion of z in x 0.372 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.372 * [taylor]: Taking taylor expansion of y in x 0.372 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.372 * [taylor]: Taking taylor expansion of (* z y) in x 0.372 * [taylor]: Taking taylor expansion of z in x 0.372 * [taylor]: Taking taylor expansion of y in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (* -1 (* z y)) in y 0.372 * [taylor]: Taking taylor expansion of -1 in y 0.372 * [taylor]: Taking taylor expansion of (* z y) in y 0.372 * [taylor]: Taking taylor expansion of z in y 0.372 * [taylor]: Taking taylor expansion of y in y 0.372 * [taylor]: Taking taylor expansion of 0 in z 0.373 * [taylor]: Taking taylor expansion of 1 in y 0.373 * [taylor]: Taking taylor expansion of 1 in z 0.373 * [taylor]: Taking taylor expansion of (neg z) in z 0.373 * [taylor]: Taking taylor expansion of z in z 0.373 * [taylor]: Taking taylor expansion of 0 in y 0.373 * [taylor]: Taking taylor expansion of 0 in z 0.373 * [taylor]: Taking taylor expansion of 0 in z 0.373 * [taylor]: Taking taylor expansion of 0 in z 0.374 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (+ (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0 0.374 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (+ (/ 1 (* z y)) (/ 1 x))) in z 0.374 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in z 0.374 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.374 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.374 * [taylor]: Taking taylor expansion of x in z 0.374 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.374 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.374 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.374 * [taylor]: Taking taylor expansion of z in z 0.374 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.374 * [taylor]: Taking taylor expansion of y in z 0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.374 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.374 * [taylor]: Taking taylor expansion of (* z y) in z 0.374 * [taylor]: Taking taylor expansion of z in z 0.374 * [taylor]: Taking taylor expansion of y in z 0.374 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.374 * [taylor]: Taking taylor expansion of x in z 0.375 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (+ (/ 1 (* z y)) (/ 1 x))) in y 0.375 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in y 0.375 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.375 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.375 * [taylor]: Taking taylor expansion of x in y 0.375 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.375 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.375 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.375 * [taylor]: Taking taylor expansion of z in y 0.375 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.375 * [taylor]: Taking taylor expansion of y in y 0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.375 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.375 * [taylor]: Taking taylor expansion of (* z y) in y 0.375 * [taylor]: Taking taylor expansion of z in y 0.375 * [taylor]: Taking taylor expansion of y in y 0.375 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.375 * [taylor]: Taking taylor expansion of x in y 0.375 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (+ (/ 1 (* z y)) (/ 1 x))) in x 0.375 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.375 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.375 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.375 * [taylor]: Taking taylor expansion of x in x 0.375 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.375 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.375 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.375 * [taylor]: Taking taylor expansion of z in x 0.376 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.376 * [taylor]: Taking taylor expansion of y in x 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.376 * [taylor]: Taking taylor expansion of (* z y) in x 0.376 * [taylor]: Taking taylor expansion of z in x 0.376 * [taylor]: Taking taylor expansion of y in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (+ (/ 1 (* z y)) (/ 1 x))) in x 0.376 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.376 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.376 * [taylor]: Taking taylor expansion of x in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.376 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.376 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.376 * [taylor]: Taking taylor expansion of z in x 0.376 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.376 * [taylor]: Taking taylor expansion of y in x 0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.376 * [taylor]: Taking taylor expansion of (* z y) in x 0.376 * [taylor]: Taking taylor expansion of z in x 0.376 * [taylor]: Taking taylor expansion of y in x 0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.377 * [taylor]: Taking taylor expansion of x in x 0.377 * [taylor]: Taking taylor expansion of 1 in y 0.377 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in y 0.377 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.377 * [taylor]: Taking taylor expansion of (* z y) in y 0.377 * [taylor]: Taking taylor expansion of z in y 0.377 * [taylor]: Taking taylor expansion of y in y 0.377 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.377 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.377 * [taylor]: Taking taylor expansion of z in z 0.377 * [taylor]: Taking taylor expansion of 1 in z 0.378 * [taylor]: Taking taylor expansion of 0 in y 0.380 * [taylor]: Taking taylor expansion of 0 in z 0.380 * [taylor]: Taking taylor expansion of 0 in z 0.381 * [taylor]: Taking taylor expansion of 0 in y 0.381 * [taylor]: Taking taylor expansion of 0 in z 0.381 * [taylor]: Taking taylor expansion of 0 in z 0.381 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [taylor]: Taking taylor expansion of 0 in y 0.382 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [taylor]: Taking taylor expansion of 0 in z 0.382 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (- (/ 1 (* z y)) (/ 1 x))) in (x y z) around 0 0.383 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (- (/ 1 (* z y)) (/ 1 x))) in z 0.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in z 0.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.383 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.383 * [taylor]: Taking taylor expansion of x in z 0.383 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.383 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.383 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.383 * [taylor]: Taking taylor expansion of z in z 0.383 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.383 * [taylor]: Taking taylor expansion of y in z 0.383 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z 0.383 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.383 * [taylor]: Taking taylor expansion of (* z y) in z 0.383 * [taylor]: Taking taylor expansion of z in z 0.383 * [taylor]: Taking taylor expansion of y in z 0.383 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.383 * [taylor]: Taking taylor expansion of x in z 0.383 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (- (/ 1 (* z y)) (/ 1 x))) in y 0.383 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in y 0.383 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.383 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.383 * [taylor]: Taking taylor expansion of x in y 0.384 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.384 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.384 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.384 * [taylor]: Taking taylor expansion of z in y 0.384 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.384 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.384 * [taylor]: Taking taylor expansion of (* z y) in y 0.384 * [taylor]: Taking taylor expansion of z in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.384 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.384 * [taylor]: Taking taylor expansion of x in y 0.384 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (- (/ 1 (* z y)) (/ 1 x))) in x 0.384 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.384 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.384 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.384 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.384 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.384 * [taylor]: Taking taylor expansion of z in x 0.384 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.384 * [taylor]: Taking taylor expansion of y in x 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.385 * [taylor]: Taking taylor expansion of (* z y) in x 0.385 * [taylor]: Taking taylor expansion of z in x 0.385 * [taylor]: Taking taylor expansion of y in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) (- (/ 1 (* z y)) (/ 1 x))) in x 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.385 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.385 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.385 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.385 * [taylor]: Taking taylor expansion of z in x 0.385 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.385 * [taylor]: Taking taylor expansion of y in x 0.385 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.385 * [taylor]: Taking taylor expansion of (* z y) in x 0.385 * [taylor]: Taking taylor expansion of z in x 0.385 * [taylor]: Taking taylor expansion of y in x 0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.385 * [taylor]: Taking taylor expansion of x in x 0.385 * [taylor]: Taking taylor expansion of -1 in y 0.386 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in y 0.386 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.386 * [taylor]: Taking taylor expansion of (* z y) in y 0.386 * [taylor]: Taking taylor expansion of z in y 0.386 * [taylor]: Taking taylor expansion of y in y 0.386 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.386 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.386 * [taylor]: Taking taylor expansion of z in z 0.386 * [taylor]: Taking taylor expansion of -1 in z 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.387 * [taylor]: Taking taylor expansion of 0 in z 0.387 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in y 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.388 * [taylor]: Taking taylor expansion of 0 in z 0.389 * [taylor]: Taking taylor expansion of 0 in y 0.389 * [taylor]: Taking taylor expansion of 0 in z 0.389 * [taylor]: Taking taylor expansion of 0 in z 0.389 * [taylor]: Taking taylor expansion of 0 in z 0.389 * [taylor]: Taking taylor expansion of 0 in z 0.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.389 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.389 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.389 * [taylor]: Taking taylor expansion of z in z 0.389 * [taylor]: Taking taylor expansion of y in z 0.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.389 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.389 * [taylor]: Taking taylor expansion of z in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.389 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.389 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.389 * [taylor]: Taking taylor expansion of z in y 0.389 * [taylor]: Taking taylor expansion of y in y 0.390 * [taylor]: Taking taylor expansion of 0 in z 0.390 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.390 * [taylor]: Taking taylor expansion of z in z 0.390 * [taylor]: Taking taylor expansion of 0 in z 0.390 * [taylor]: Taking taylor expansion of 0 in z 0.390 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.390 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.390 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.390 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.390 * [taylor]: Taking taylor expansion of z in z 0.390 * [taylor]: Taking taylor expansion of y in z 0.390 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.390 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.390 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.390 * [taylor]: Taking taylor expansion of z in y 0.390 * [taylor]: Taking taylor expansion of y in y 0.391 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.391 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.391 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.391 * [taylor]: Taking taylor expansion of z in y 0.391 * [taylor]: Taking taylor expansion of y in y 0.391 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.391 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.391 * [taylor]: Taking taylor expansion of z in z 0.391 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.393 * [taylor]: Taking taylor expansion of 0 in z 0.393 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.393 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.393 * [taylor]: Taking taylor expansion of -1 in z 0.393 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.393 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.393 * [taylor]: Taking taylor expansion of z in z 0.393 * [taylor]: Taking taylor expansion of y in z 0.393 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.393 * [taylor]: Taking taylor expansion of -1 in y 0.393 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.393 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.393 * [taylor]: Taking taylor expansion of z in y 0.393 * [taylor]: Taking taylor expansion of y in y 0.393 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.393 * [taylor]: Taking taylor expansion of -1 in y 0.393 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.393 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.393 * [taylor]: Taking taylor expansion of z in y 0.393 * [taylor]: Taking taylor expansion of y in y 0.394 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.394 * [taylor]: Taking taylor expansion of -1 in z 0.394 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.394 * [taylor]: Taking taylor expansion of z in z 0.394 * [taylor]: Taking taylor expansion of 0 in z 0.394 * [taylor]: Taking taylor expansion of 0 in z 0.395 * [taylor]: Taking taylor expansion of 0 in z 0.396 * [taylor]: Taking taylor expansion of 0 in z 0.396 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.396 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in (y z) around 0 0.396 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.396 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.396 * [taylor]: Taking taylor expansion of z in z 0.396 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.396 * [taylor]: Taking taylor expansion of y in z 0.396 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.396 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.396 * [taylor]: Taking taylor expansion of z in y 0.396 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.396 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.396 * [taylor]: Taking taylor expansion of z in y 0.396 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.396 * [taylor]: Taking taylor expansion of y in y 0.396 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.396 * [taylor]: Taking taylor expansion of z in z 0.396 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in (y z) around 0 0.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.397 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.397 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.397 * [taylor]: Taking taylor expansion of z in z 0.397 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.397 * [taylor]: Taking taylor expansion of y in z 0.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.397 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.397 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.397 * [taylor]: Taking taylor expansion of z in y 0.397 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.397 * [taylor]: Taking taylor expansion of y in y 0.397 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.397 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.397 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.397 * [taylor]: Taking taylor expansion of z in y 0.398 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.398 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.398 * [taylor]: Taking taylor expansion of z in z 0.398 * [taylor]: Taking taylor expansion of 0 in z 0.398 * [taylor]: Taking taylor expansion of 0 in z 0.399 * [taylor]: Taking taylor expansion of 0 in z 0.399 * [taylor]: Taking taylor expansion of 0 in z 0.400 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in (y z) around 0 0.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.400 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.400 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.400 * [taylor]: Taking taylor expansion of z in z 0.400 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.400 * [taylor]: Taking taylor expansion of y in z 0.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.400 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.400 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.400 * [taylor]: Taking taylor expansion of z in y 0.400 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.400 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.400 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.400 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.400 * [taylor]: Taking taylor expansion of z in y 0.400 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.400 * [taylor]: Taking taylor expansion of y in y 0.400 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.400 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.400 * [taylor]: Taking taylor expansion of z in z 0.401 * [taylor]: Taking taylor expansion of 0 in z 0.401 * [taylor]: Taking taylor expansion of 0 in z 0.401 * [taylor]: Taking taylor expansion of 0 in z 0.402 * [taylor]: Taking taylor expansion of 0 in z 0.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.402 * [approximate]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in (x y z) around 0 0.402 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in z 0.402 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.402 * [taylor]: Taking taylor expansion of x in z 0.402 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.402 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.402 * [taylor]: Taking taylor expansion of z in z 0.402 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.403 * [taylor]: Taking taylor expansion of y in z 0.403 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in y 0.403 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.403 * [taylor]: Taking taylor expansion of x in y 0.403 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.403 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.403 * [taylor]: Taking taylor expansion of z in y 0.403 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.403 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in x 0.403 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.403 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.403 * [taylor]: Taking taylor expansion of z in x 0.403 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.403 * [taylor]: Taking taylor expansion of (- (pow x 2) (* (pow z 2) (pow y 2))) in x 0.403 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.403 * [taylor]: Taking taylor expansion of x in x 0.403 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.403 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.403 * [taylor]: Taking taylor expansion of z in x 0.403 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.403 * [taylor]: Taking taylor expansion of y in x 0.403 * [taylor]: Taking taylor expansion of (neg (* (pow z 2) (pow y 2))) in y 0.403 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.403 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.403 * [taylor]: Taking taylor expansion of z in y 0.403 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.403 * [taylor]: Taking taylor expansion of y in y 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of 1 in y 0.404 * [taylor]: Taking taylor expansion of 1 in z 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of (neg (pow z 2)) in z 0.404 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.404 * [taylor]: Taking taylor expansion of z in z 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.404 * [taylor]: Taking taylor expansion of 0 in z 0.405 * [taylor]: Taking taylor expansion of 0 in z 0.405 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in (x y z) around 0 0.405 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in z 0.405 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.405 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.405 * [taylor]: Taking taylor expansion of x in z 0.405 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.405 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.405 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.405 * [taylor]: Taking taylor expansion of z in z 0.405 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.405 * [taylor]: Taking taylor expansion of y in z 0.405 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in y 0.405 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.405 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.405 * [taylor]: Taking taylor expansion of x in y 0.405 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.405 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.405 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.405 * [taylor]: Taking taylor expansion of z in y 0.405 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.405 * [taylor]: Taking taylor expansion of y in y 0.406 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.406 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.406 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.406 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.406 * [taylor]: Taking taylor expansion of z in x 0.406 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.406 * [taylor]: Taking taylor expansion of y in x 0.406 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.406 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.406 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.406 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.406 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.406 * [taylor]: Taking taylor expansion of z in x 0.406 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.406 * [taylor]: Taking taylor expansion of y in x 0.406 * [taylor]: Taking taylor expansion of 1 in y 0.407 * [taylor]: Taking taylor expansion of 0 in y 0.407 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) (pow y 2)))) in y 0.407 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.407 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.407 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.407 * [taylor]: Taking taylor expansion of z in y 0.407 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.407 * [taylor]: Taking taylor expansion of y in y 0.407 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 0.407 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.407 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.407 * [taylor]: Taking taylor expansion of z in z 0.407 * [taylor]: Taking taylor expansion of 1 in z 0.408 * [taylor]: Taking taylor expansion of 0 in y 0.408 * [taylor]: Taking taylor expansion of 0 in z 0.408 * [taylor]: Taking taylor expansion of 0 in z 0.408 * [taylor]: Taking taylor expansion of 0 in z 0.409 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of 0 in z 0.409 * [taylor]: Taking taylor expansion of 0 in z 0.409 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in y 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in y 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.413 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in (x y z) around 0 0.413 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in z 0.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 0.413 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.413 * [taylor]: Taking taylor expansion of x in z 0.413 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 0.413 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.413 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.413 * [taylor]: Taking taylor expansion of z in z 0.413 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.413 * [taylor]: Taking taylor expansion of y in z 0.413 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in y 0.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.413 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.413 * [taylor]: Taking taylor expansion of x in y 0.413 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.413 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.413 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.413 * [taylor]: Taking taylor expansion of z in y 0.413 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.413 * [taylor]: Taking taylor expansion of y in y 0.413 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.413 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.413 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.413 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.413 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.414 * [taylor]: Taking taylor expansion of z in x 0.414 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* (pow z 2) (pow y 2)))) in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.414 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.414 * [taylor]: Taking taylor expansion of x in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 0.414 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.414 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.414 * [taylor]: Taking taylor expansion of z in x 0.414 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.414 * [taylor]: Taking taylor expansion of y in x 0.414 * [taylor]: Taking taylor expansion of 1 in y 0.414 * [taylor]: Taking taylor expansion of 0 in y 0.415 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) (pow y 2)))) in y 0.415 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.415 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.415 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.415 * [taylor]: Taking taylor expansion of z in y 0.415 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 0.415 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.415 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.415 * [taylor]: Taking taylor expansion of z in z 0.415 * [taylor]: Taking taylor expansion of 1 in z 0.416 * [taylor]: Taking taylor expansion of 0 in y 0.416 * [taylor]: Taking taylor expansion of 0 in z 0.416 * [taylor]: Taking taylor expansion of 0 in z 0.416 * [taylor]: Taking taylor expansion of 0 in z 0.417 * [taylor]: Taking taylor expansion of 0 in y 0.417 * [taylor]: Taking taylor expansion of 0 in z 0.417 * [taylor]: Taking taylor expansion of 0 in z 0.417 * [taylor]: Taking taylor expansion of 0 in z 0.418 * [taylor]: Taking taylor expansion of 0 in y 0.418 * [taylor]: Taking taylor expansion of 0 in z 0.418 * [taylor]: Taking taylor expansion of 0 in z 0.418 * [taylor]: Taking taylor expansion of 0 in z 0.418 * [taylor]: Taking taylor expansion of 0 in z 0.419 * [taylor]: Taking taylor expansion of 0 in y 0.419 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.420 * * * [progress]: simplifying candidates 0.422 * [simplify]: Simplifying using # : (- (log (- (* x x) (* y (* y (* z z))))) (log (+ x (* y z)))) (log (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (exp (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (/ (* (* (- (* x x) (* y (* y (* z z)))) (- (* x x) (* y (* y (* z z))))) (- (* x x) (* y (* y (* z z))))) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z)))) (* (cbrt (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (cbrt (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z))))) (cbrt (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (* (* (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z))) (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (sqrt (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (sqrt (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z)))) (neg (- (* x x) (* y (* y (* z z))))) (neg (+ x (* y z))) (/ (* x x) (+ x (* y z))) (/ (* y (* y (* z z))) (+ x (* y z))) (/ (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (+ x (* y z)))) (/ (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) (sqrt (+ x (* y z)))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (/ (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) 1) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (+ x (* y z))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (cbrt (+ x (* y z)))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) 1) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (- (* x x) (* y (* y (* z z)))) (cbrt (+ x (* y z)))) (/ 1 (sqrt (+ x (* y z)))) (/ (- (* x x) (* y (* y (* z z)))) (sqrt (+ x (* y z)))) (/ 1 1) (/ (- (* x x) (* y (* y (* z z)))) (+ x (* y z))) (/ 1 (+ x (* y z))) (/ (+ x (* y z)) (- (* x x) (* y (* y (* z z))))) (/ (- (* x x) (* y (* y (* z z)))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (- (* x x) (* y (* y (* z z)))) (sqrt (+ x (* y z)))) (/ (- (* x x) (* y (* y (* z z)))) 1) (/ (+ x (* y z)) (cbrt (- (* x x) (* y (* y (* z z)))))) (/ (+ x (* y z)) (sqrt (- (* x x) (* y (* y (* z z)))))) (/ (+ x (* y z)) (- (* x x) (* y (* y (* z z))))) (/ (- (* x x) (* y (* y (* z z)))) (+ (pow x 3) (pow (* y z) 3))) (/ (- (* x x) (* y (* y (* z z)))) (- (* x x) (* (* y z) (* y z)))) (* (+ x (* y z)) (+ (* (* x x) (* x x)) (+ (* (* y (* y (* z z))) (* y (* y (* z z)))) (* (* x x) (* y (* y (* z z))))))) (* (+ x (* y z)) (+ (* x x) (* y (* y (* z z))))) (* y (* z z)) (* y (* z z)) (+ (log y) (+ (log z) (log z))) (+ (log y) (log (* z z))) (log (* y (* z z))) (exp (* y (* z z))) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* y (* z z)) (* y (* y (* z z))) (* y (* y (* z z))) (* y (* y (* z z))) (+ (log y) (+ (log y) (+ (log z) (log z)))) (+ (log y) (+ (log y) (log (* z z)))) (+ (log y) (log (* y (* z z)))) (log (* y (* y (* z z)))) (exp (* y (* y (* z z)))) (* (* (* y y) y) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z)))) (* (* (* y y) y) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z)))) (* (* (* y y) y) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z)))) (* (cbrt (* y (* y (* z z)))) (cbrt (* y (* y (* z z))))) (cbrt (* y (* y (* z z)))) (* (* (* y (* y (* z z))) (* y (* y (* z z)))) (* y (* y (* z z)))) (sqrt (* y (* y (* z z)))) (sqrt (* y (* y (* z z)))) (* y y) (* (cbrt y) (* y (* z z))) (* (sqrt y) (* y (* z z))) (* y (* y (* z z))) (/ (exp (* x x)) (exp (* y (* y (* z z))))) (log (- (* x x) (* y (* y (* z z))))) (exp (- (* x x) (* y (* y (* z z))))) (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) (cbrt (- (* x x) (* y (* y (* z z))))) (* (* (- (* x x) (* y (* y (* z z)))) (- (* x x) (* y (* y (* z z))))) (- (* x x) (* y (* y (* z z))))) (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (- (* x x) (* y (* y (* z z))))) (- (pow (* x x) 3) (pow (* y (* y (* z z))) 3)) (+ (* (* x x) (* x x)) (+ (* (* y (* y (* z z))) (* y (* y (* z z)))) (* (* x x) (* y (* y (* z z)))))) (neg (* y (* y (* z z)))) (- (* (* x x) (* x x)) (* (* y (* y (* z z))) (* y (* y (* z z))))) (+ (* x x) (* y (* y (* z z)))) x (- x (* z y)) (- x (* z y)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) (pow y 2)) (* (pow z 2) (pow y 2)) (* (pow z 2) (pow y 2)) (pow x 2) (- (pow x 2) (* (pow z 2) (pow y 2))) (- (pow x 2) (* (pow z 2) (pow y 2))) 0.456 * * [simplify]: iteration 0 : 5406 enodes (cost 1114 ) 0.460 * [simplify]: Simplified to: (log (* 1 (- x (* y z)))) (log (* 1 (- x (* y z)))) (pow (exp 1) (- x (* y z))) (* 1 (pow (- x (* y z)) 3)) (* (cbrt (* 1 (- x (* y z)))) (cbrt (* 1 (- x (* y z))))) (cbrt (* 1 (- x (* y z)))) (* 1 (pow (- x (* y z)) 3)) (sqrt (* 1 (- x (* y z)))) (sqrt (* 1 (- x (* y z)))) (- (* y (* y (* z z))) (* x x)) (- (* y (neg z)) x) (* x (/ x (+ x (* y z)))) (* (* y (* z z)) (/ y (+ x (* y z)))) (* (cbrt (- (* x x) (* y (* y (* z z))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (+ x (* y z)))) (* (cbrt (- (* x x) (* y (* y (* z z))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) (/ (cbrt (- (* x x) (* y (* y (* z z))))) (+ x (* y z))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (cbrt (+ x (* y z)))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (+ x (* y z)))) (sqrt (- (* x x) (* y (* y (* z z))))) (/ (sqrt (- (* x x) (* y (* y (* z z))))) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (* (/ (+ x (* y z)) (cbrt (+ x (* y z)))) (- x (* y z))) (/ 1 (sqrt (+ x (* y z)))) (* (/ (+ x (* y z)) (sqrt (+ x (* y z)))) (- x (* y z))) 1 (* 1 (- x (* y z))) (/ 1 (+ x (* y z))) (/ 1 (- x (* y z))) (* (/ (+ x (* y z)) (cbrt (+ x (* y z)))) (/ (- x (* y z)) (cbrt (+ x (* y z))))) (* (/ (+ x (* y z)) (sqrt (+ x (* y z)))) (- x (* y z))) (- (* x x) (* y (* y (* z z)))) (/ (+ x (* y z)) (cbrt (- (* x x) (* y (* y (* z z)))))) (/ (+ x (* y z)) (sqrt (- (* x x) (* y (* y (* z z)))))) (/ 1 (- x (* y z))) (* (/ (+ x (* y z)) (+ (pow x 3) (pow (* y z) 3))) (- x (* y z))) 1 (* (+ x (* y z)) (+ (pow x 4) (+ (pow (* y z) 4) (* x (* x (* y (* y (* z z)))))))) (* (+ x (* y z)) (+ (* x x) (* y (* y (* z z))))) (* y (* z z)) (* y (* z z)) (log (* y (* z z))) (log (* y (* z z))) (log (* y (* z z))) (pow (exp y) (* z z)) (* (pow y 3) (pow z 6)) (* (pow y 3) (pow z 6)) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (pow y 3) (pow z 6)) (fabs (* z (sqrt y))) (fabs (* z (sqrt y))) (* z (sqrt y)) (* z (sqrt y)) (* y z) (* z (* z (cbrt y))) (* z (* z (sqrt y))) (* y (* z z)) (* y (* y (* z z))) (* y (* y (* z z))) (* y (* y (* z z))) (* 2 (log (* y z))) (* 2 (log (* y z))) (* 2 (log (* y z))) (* 2 (log (* y z))) (pow (pow (exp y) (* z z)) y) (pow (* y z) 6) (pow (* y z) 6) (pow (* y z) 6) (* (cbrt (* y (* y (* z z)))) (cbrt (* y (* y (* z z))))) (cbrt (* y (* y (* z z)))) (pow (* y z) 6) (fabs (* y z)) (fabs (* y z)) (* y y) (* y (* z (* z (cbrt y)))) (* z (* z (pow y 3/2))) (* y (* y (* z z))) (pow (exp (+ x (* y z))) (- x (* y z))) (log (- (* x x) (* y (* y (* z z))))) (pow (exp (+ x (* y z))) (- x (* y z))) (* (cbrt (- (* x x) (* y (* y (* z z))))) (cbrt (- (* x x) (* y (* y (* z z)))))) (cbrt (- (* x x) (* y (* y (* z z))))) (pow (- (* x x) (* y (* y (* z z)))) 3) (sqrt (- (* x x) (* y (* y (* z z))))) (sqrt (- (* x x) (* y (* y (* z z))))) (- (pow x 6) (pow (* y z) 6)) (+ (pow x 4) (+ (pow (* y z) 4) (* x (* x (* y (* y (* z z))))))) (* y (* y (* z (neg z)))) (- (pow x 4) (pow (* y z) 4)) (+ (* x x) (* y (* y (* z z)))) x (- x (* y z)) (- x (* y z)) (* y (* z z)) (* y (* z z)) (* y (* z z)) (* y (* y (* z z))) (* y (* y (* z z))) (* y (* y (* z z))) (* x x) (- (* x x) (* y (* y (* z z)))) (- (* x x) (* y (* y (* z z)))) 0.461 * * * [progress]: adding candidates to table 0.537 * * [progress]: iteration 3 / 4 0.537 * * * [progress]: picking best candidate 0.540 * * * * [pick]: Picked # 0.540 * * * [progress]: localizing error 0.555 * * * [progress]: generating rewritten candidates 0.555 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.568 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.577 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.585 * * * [progress]: generating series expansions 0.585 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.586 * [approximate]: Taking taylor expansion of (/ (* (pow z 2) (pow y 2)) (+ (* z y) x)) in (y z x) around 0 0.586 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (pow y 2)) (+ (* z y) x)) in x 0.586 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.586 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.586 * [taylor]: Taking taylor expansion of z in x 0.586 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.586 * [taylor]: Taking taylor expansion of (* z y) in x 0.586 * [taylor]: Taking taylor expansion of z in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (pow y 2)) (+ (* z y) x)) in z 0.586 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.586 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.586 * [taylor]: Taking taylor expansion of z in z 0.586 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.586 * [taylor]: Taking taylor expansion of y in z 0.586 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.586 * [taylor]: Taking taylor expansion of (* z y) in z 0.586 * [taylor]: Taking taylor expansion of z in z 0.586 * [taylor]: Taking taylor expansion of y in z 0.586 * [taylor]: Taking taylor expansion of x in z 0.586 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (pow y 2)) (+ (* z y) x)) in y 0.586 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.586 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.586 * [taylor]: Taking taylor expansion of z in y 0.586 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.586 * [taylor]: Taking taylor expansion of y in y 0.586 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.587 * [taylor]: Taking taylor expansion of (* z y) in y 0.587 * [taylor]: Taking taylor expansion of z in y 0.587 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of x in y 0.587 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (pow y 2)) (+ (* z y) x)) in y 0.587 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.587 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.587 * [taylor]: Taking taylor expansion of z in y 0.587 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.587 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.587 * [taylor]: Taking taylor expansion of (* z y) in y 0.587 * [taylor]: Taking taylor expansion of z in y 0.587 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of x in y 0.587 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.587 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.587 * [taylor]: Taking taylor expansion of z in z 0.587 * [taylor]: Taking taylor expansion of x in z 0.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of (neg (/ (pow z 3) (pow x 2))) in z 0.588 * [taylor]: Taking taylor expansion of (/ (pow z 3) (pow x 2)) in z 0.588 * [taylor]: Taking taylor expansion of (pow z 3) in z 0.588 * [taylor]: Taking taylor expansion of z in z 0.588 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.588 * [taylor]: Taking taylor expansion of x in z 0.588 * [taylor]: Taking taylor expansion of 0 in x 0.588 * [taylor]: Taking taylor expansion of (/ (pow z 4) (pow x 3)) in z 0.588 * [taylor]: Taking taylor expansion of (pow z 4) in z 0.588 * [taylor]: Taking taylor expansion of z in z 0.588 * [taylor]: Taking taylor expansion of (pow x 3) in z 0.588 * [taylor]: Taking taylor expansion of x in z 0.589 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow x 2))) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of 0 in x 0.589 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in (y z x) around 0 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in x 0.589 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in x 0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.589 * [taylor]: Taking taylor expansion of (* z y) in x 0.589 * [taylor]: Taking taylor expansion of z in x 0.589 * [taylor]: Taking taylor expansion of y in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.589 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.590 * [taylor]: Taking taylor expansion of z in x 0.590 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.590 * [taylor]: Taking taylor expansion of y in x 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in z 0.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in z 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.590 * [taylor]: Taking taylor expansion of (* z y) in z 0.590 * [taylor]: Taking taylor expansion of z in z 0.590 * [taylor]: Taking taylor expansion of y in z 0.590 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.590 * [taylor]: Taking taylor expansion of x in z 0.590 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.590 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.590 * [taylor]: Taking taylor expansion of z in z 0.590 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.590 * [taylor]: Taking taylor expansion of y in z 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in y 0.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in y 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.590 * [taylor]: Taking taylor expansion of (* z y) in y 0.590 * [taylor]: Taking taylor expansion of z in y 0.590 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.591 * [taylor]: Taking taylor expansion of x in y 0.591 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.591 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in y 0.591 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in y 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.591 * [taylor]: Taking taylor expansion of (* z y) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.591 * [taylor]: Taking taylor expansion of x in y 0.591 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.591 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.591 * [taylor]: Taking taylor expansion of z in y 0.591 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.591 * [taylor]: Taking taylor expansion of y in y 0.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.591 * [taylor]: Taking taylor expansion of z in z 0.591 * [taylor]: Taking taylor expansion of 1 in x 0.592 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in z 0.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.592 * [taylor]: Taking taylor expansion of x in z 0.592 * [taylor]: Taking taylor expansion of 0 in x 0.593 * [taylor]: Taking taylor expansion of (/ z (pow x 2)) in z 0.593 * [taylor]: Taking taylor expansion of z in z 0.593 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.593 * [taylor]: Taking taylor expansion of x in z 0.593 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of 0 in x 0.593 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in (y z x) around 0 0.593 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in x 0.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in x 0.593 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.593 * [taylor]: Taking taylor expansion of (* z y) in x 0.593 * [taylor]: Taking taylor expansion of z in x 0.593 * [taylor]: Taking taylor expansion of y in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 0.593 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.593 * [taylor]: Taking taylor expansion of z in x 0.593 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.593 * [taylor]: Taking taylor expansion of y in x 0.594 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in z 0.594 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in z 0.594 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z 0.594 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.594 * [taylor]: Taking taylor expansion of (* z y) in z 0.594 * [taylor]: Taking taylor expansion of z in z 0.594 * [taylor]: Taking taylor expansion of y in z 0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.594 * [taylor]: Taking taylor expansion of x in z 0.594 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 0.594 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.594 * [taylor]: Taking taylor expansion of z in z 0.594 * [taylor]: Taking taylor expansion of (pow y 2) in z 0.594 * [taylor]: Taking taylor expansion of y in z 0.594 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in y 0.594 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in y 0.594 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.594 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.594 * [taylor]: Taking taylor expansion of (* z y) in y 0.594 * [taylor]: Taking taylor expansion of z in y 0.594 * [taylor]: Taking taylor expansion of y in y 0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.594 * [taylor]: Taking taylor expansion of x in y 0.595 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.595 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.595 * [taylor]: Taking taylor expansion of z in y 0.595 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.595 * [taylor]: Taking taylor expansion of y in y 0.595 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2)))) in y 0.595 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) (* (pow z 2) (pow y 2))) in y 0.595 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.595 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.595 * [taylor]: Taking taylor expansion of (* z y) in y 0.595 * [taylor]: Taking taylor expansion of z in y 0.595 * [taylor]: Taking taylor expansion of y in y 0.595 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.595 * [taylor]: Taking taylor expansion of x in y 0.595 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.595 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.595 * [taylor]: Taking taylor expansion of z in y 0.595 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.595 * [taylor]: Taking taylor expansion of y in y 0.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.595 * [taylor]: Taking taylor expansion of z in z 0.595 * [taylor]: Taking taylor expansion of 1 in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.596 * [taylor]: Taking taylor expansion of x in z 0.596 * [taylor]: Taking taylor expansion of 0 in x 0.596 * [taylor]: Taking taylor expansion of (/ z (pow x 2)) in z 0.596 * [taylor]: Taking taylor expansion of z in z 0.597 * [taylor]: Taking taylor expansion of (pow x 2) in z 0.597 * [taylor]: Taking taylor expansion of x in z 0.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of 0 in x 0.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.597 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.597 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.597 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.597 * [taylor]: Taking taylor expansion of z in z 0.597 * [taylor]: Taking taylor expansion of y in z 0.597 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.597 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.597 * [taylor]: Taking taylor expansion of z in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.597 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.597 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.597 * [taylor]: Taking taylor expansion of z in y 0.597 * [taylor]: Taking taylor expansion of y in y 0.597 * [taylor]: Taking taylor expansion of 0 in z 0.597 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.597 * [taylor]: Taking taylor expansion of z in z 0.598 * [taylor]: Taking taylor expansion of 0 in z 0.598 * [taylor]: Taking taylor expansion of 0 in z 0.598 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.598 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.598 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.598 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.598 * [taylor]: Taking taylor expansion of z in z 0.598 * [taylor]: Taking taylor expansion of y in z 0.598 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.598 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.598 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.598 * [taylor]: Taking taylor expansion of z in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.598 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.598 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.598 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.598 * [taylor]: Taking taylor expansion of z in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.599 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.599 * [taylor]: Taking taylor expansion of z in z 0.599 * [taylor]: Taking taylor expansion of 0 in z 0.599 * [taylor]: Taking taylor expansion of 0 in z 0.600 * [taylor]: Taking taylor expansion of 0 in z 0.600 * [taylor]: Taking taylor expansion of 0 in z 0.601 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.601 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.601 * [taylor]: Taking taylor expansion of -1 in z 0.601 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.601 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.601 * [taylor]: Taking taylor expansion of z in z 0.601 * [taylor]: Taking taylor expansion of y in z 0.601 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.601 * [taylor]: Taking taylor expansion of -1 in y 0.601 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.601 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.601 * [taylor]: Taking taylor expansion of z in y 0.601 * [taylor]: Taking taylor expansion of y in y 0.601 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.601 * [taylor]: Taking taylor expansion of -1 in y 0.601 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.601 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.601 * [taylor]: Taking taylor expansion of z in y 0.601 * [taylor]: Taking taylor expansion of y in y 0.601 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.601 * [taylor]: Taking taylor expansion of -1 in z 0.601 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.601 * [taylor]: Taking taylor expansion of z in z 0.602 * [taylor]: Taking taylor expansion of 0 in z 0.602 * [taylor]: Taking taylor expansion of 0 in z 0.603 * [taylor]: Taking taylor expansion of 0 in z 0.603 * [taylor]: Taking taylor expansion of 0 in z 0.603 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.603 * [approximate]: Taking taylor expansion of (/ x (+ (* z y) x)) in (x y z) around 0 0.603 * [taylor]: Taking taylor expansion of (/ x (+ (* z y) x)) in z 0.603 * [taylor]: Taking taylor expansion of x in z 0.604 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.604 * [taylor]: Taking taylor expansion of (* z y) in z 0.604 * [taylor]: Taking taylor expansion of z in z 0.604 * [taylor]: Taking taylor expansion of y in z 0.604 * [taylor]: Taking taylor expansion of x in z 0.604 * [taylor]: Taking taylor expansion of (/ x (+ (* z y) x)) in y 0.604 * [taylor]: Taking taylor expansion of x in y 0.604 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.604 * [taylor]: Taking taylor expansion of (* z y) in y 0.604 * [taylor]: Taking taylor expansion of z in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of x in y 0.604 * [taylor]: Taking taylor expansion of (/ x (+ (* z y) x)) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.604 * [taylor]: Taking taylor expansion of (* z y) in x 0.604 * [taylor]: Taking taylor expansion of z in x 0.604 * [taylor]: Taking taylor expansion of y in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (/ x (+ (* z y) x)) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.604 * [taylor]: Taking taylor expansion of (* z y) in x 0.604 * [taylor]: Taking taylor expansion of z in x 0.604 * [taylor]: Taking taylor expansion of y in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.604 * [taylor]: Taking taylor expansion of (* z y) in y 0.604 * [taylor]: Taking taylor expansion of z in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of 0 in z 0.605 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) (pow y 2)))) in y 0.605 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.605 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.605 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.605 * [taylor]: Taking taylor expansion of z in y 0.605 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.605 * [taylor]: Taking taylor expansion of y in y 0.605 * [taylor]: Taking taylor expansion of 0 in z 0.605 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 3) (pow y 3))) in y 0.606 * [taylor]: Taking taylor expansion of (* (pow z 3) (pow y 3)) in y 0.606 * [taylor]: Taking taylor expansion of (pow z 3) in y 0.606 * [taylor]: Taking taylor expansion of z in y 0.606 * [taylor]: Taking taylor expansion of (pow y 3) in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.607 * [taylor]: Taking taylor expansion of 0 in z 0.608 * [taylor]: Taking taylor expansion of 0 in z 0.608 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (* z y)) (/ 1 x)))) in (x y z) around 0 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (* z y)) (/ 1 x)))) in z 0.608 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* z y)) (/ 1 x))) in z 0.608 * [taylor]: Taking taylor expansion of x in z 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.608 * [taylor]: Taking taylor expansion of (* z y) in z 0.608 * [taylor]: Taking taylor expansion of z in z 0.608 * [taylor]: Taking taylor expansion of y in z 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.608 * [taylor]: Taking taylor expansion of x in z 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (* z y)) (/ 1 x)))) in y 0.608 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* z y)) (/ 1 x))) in y 0.608 * [taylor]: Taking taylor expansion of x in y 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.608 * [taylor]: Taking taylor expansion of (* z y) in y 0.608 * [taylor]: Taking taylor expansion of z in y 0.608 * [taylor]: Taking taylor expansion of y in y 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.608 * [taylor]: Taking taylor expansion of x in y 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (* z y)) (/ 1 x)))) in x 0.608 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* z y)) (/ 1 x))) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.608 * [taylor]: Taking taylor expansion of (* z y) in x 0.608 * [taylor]: Taking taylor expansion of z in x 0.608 * [taylor]: Taking taylor expansion of y in x 0.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 (* z y)) (/ 1 x)))) in x 0.609 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* z y)) (/ 1 x))) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.609 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.609 * [taylor]: Taking taylor expansion of (* z y) in x 0.609 * [taylor]: Taking taylor expansion of z in x 0.609 * [taylor]: Taking taylor expansion of y in x 0.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of 1 in y 0.609 * [taylor]: Taking taylor expansion of 0 in z 0.609 * [taylor]: Taking taylor expansion of (neg (/ 1 (* z y))) in y 0.609 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.609 * [taylor]: Taking taylor expansion of (* z y) in y 0.609 * [taylor]: Taking taylor expansion of z in y 0.609 * [taylor]: Taking taylor expansion of y in y 0.610 * [taylor]: Taking taylor expansion of 0 in z 0.610 * [taylor]: Taking taylor expansion of 0 in z 0.610 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.610 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.610 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.610 * [taylor]: Taking taylor expansion of z in y 0.610 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.610 * [taylor]: Taking taylor expansion of y in y 0.611 * [taylor]: Taking taylor expansion of 0 in z 0.611 * [taylor]: Taking taylor expansion of 0 in z 0.611 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) x)) in (x y z) around 0 0.611 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) x)) in z 0.611 * [taylor]: Taking taylor expansion of -1 in z 0.611 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) x) in z 0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z 0.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.612 * [taylor]: Taking taylor expansion of (* z y) in z 0.612 * [taylor]: Taking taylor expansion of z in z 0.612 * [taylor]: Taking taylor expansion of y in z 0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.612 * [taylor]: Taking taylor expansion of x in z 0.612 * [taylor]: Taking taylor expansion of x in z 0.612 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) x)) in y 0.612 * [taylor]: Taking taylor expansion of -1 in y 0.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) x) in y 0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.612 * [taylor]: Taking taylor expansion of (* z y) in y 0.612 * [taylor]: Taking taylor expansion of z in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.612 * [taylor]: Taking taylor expansion of x in y 0.612 * [taylor]: Taking taylor expansion of x in y 0.612 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) x)) in x 0.612 * [taylor]: Taking taylor expansion of -1 in x 0.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) x) in x 0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.612 * [taylor]: Taking taylor expansion of (* z y) in x 0.612 * [taylor]: Taking taylor expansion of z in x 0.612 * [taylor]: Taking taylor expansion of y in x 0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.612 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) x)) in x 0.613 * [taylor]: Taking taylor expansion of -1 in x 0.613 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) x) in x 0.613 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.613 * [taylor]: Taking taylor expansion of (* z y) in x 0.613 * [taylor]: Taking taylor expansion of z in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of 1 in y 0.613 * [taylor]: Taking taylor expansion of 0 in z 0.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.613 * [taylor]: Taking taylor expansion of (* z y) in y 0.613 * [taylor]: Taking taylor expansion of z in y 0.613 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of 0 in z 0.614 * [taylor]: Taking taylor expansion of 0 in z 0.614 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 0.614 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 0.614 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.614 * [taylor]: Taking taylor expansion of z in y 0.614 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.615 * [taylor]: Taking taylor expansion of 0 in z 0.615 * [taylor]: Taking taylor expansion of 0 in z 0.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.615 * [approximate]: Taking taylor expansion of (/ y (+ (* z y) x)) in (y x z) around 0 0.615 * [taylor]: Taking taylor expansion of (/ y (+ (* z y) x)) in z 0.616 * [taylor]: Taking taylor expansion of y in z 0.616 * [taylor]: Taking taylor expansion of (+ (* z y) x) in z 0.616 * [taylor]: Taking taylor expansion of (* z y) in z 0.616 * [taylor]: Taking taylor expansion of z in z 0.616 * [taylor]: Taking taylor expansion of y in z 0.616 * [taylor]: Taking taylor expansion of x in z 0.616 * [taylor]: Taking taylor expansion of (/ y (+ (* z y) x)) in x 0.616 * [taylor]: Taking taylor expansion of y in x 0.616 * [taylor]: Taking taylor expansion of (+ (* z y) x) in x 0.616 * [taylor]: Taking taylor expansion of (* z y) in x 0.616 * [taylor]: Taking taylor expansion of z in x 0.616 * [taylor]: Taking taylor expansion of y in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [taylor]: Taking taylor expansion of (/ y (+ (* z y) x)) in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.616 * [taylor]: Taking taylor expansion of (* z y) in y 0.616 * [taylor]: Taking taylor expansion of z in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of x in y 0.616 * [taylor]: Taking taylor expansion of (/ y (+ (* z y) x)) in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of (+ (* z y) x) in y 0.616 * [taylor]: Taking taylor expansion of (* z y) in y 0.616 * [taylor]: Taking taylor expansion of z in y 0.616 * [taylor]: Taking taylor expansion of y in y 0.616 * [taylor]: Taking taylor expansion of x in y 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of 0 in z 0.617 * [taylor]: Taking taylor expansion of (neg (/ z (pow x 2))) in x 0.617 * [taylor]: Taking taylor expansion of (/ z (pow x 2)) in x 0.617 * [taylor]: Taking taylor expansion of z in x 0.617 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [taylor]: Taking taylor expansion of 0 in z 0.617 * [taylor]: Taking taylor expansion of 0 in z 0.618 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow x 3)) in x 0.618 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.618 * [taylor]: Taking taylor expansion of z in x 0.618 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of 0 in z 0.618 * [taylor]: Taking taylor expansion of 0 in z 0.618 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) y)) in (y x z) around 0 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) y)) in z 0.619 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) y) in z 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in z 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.619 * [taylor]: Taking taylor expansion of (* z y) in z 0.619 * [taylor]: Taking taylor expansion of z in z 0.619 * [taylor]: Taking taylor expansion of y in z 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.619 * [taylor]: Taking taylor expansion of x in z 0.619 * [taylor]: Taking taylor expansion of y in z 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) y)) in x 0.619 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) y) in x 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.619 * [taylor]: Taking taylor expansion of (* z y) in x 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [taylor]: Taking taylor expansion of y in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of y in x 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) y)) in y 0.619 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) y) in y 0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.619 * [taylor]: Taking taylor expansion of (* z y) in y 0.619 * [taylor]: Taking taylor expansion of z in y 0.619 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.619 * [taylor]: Taking taylor expansion of x in y 0.619 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (* z y)) (/ 1 x)) y)) in y 0.620 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* z y)) (/ 1 x)) y) in y 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 x)) in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.620 * [taylor]: Taking taylor expansion of (* z y) in y 0.620 * [taylor]: Taking taylor expansion of z in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.620 * [taylor]: Taking taylor expansion of x in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.620 * [taylor]: Taking taylor expansion of z in x 0.620 * [taylor]: Taking taylor expansion of 0 in z 0.620 * [taylor]: Taking taylor expansion of (neg (/ (pow z 2) x)) in x 0.620 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.620 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.620 * [taylor]: Taking taylor expansion of z in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of (/ (pow z 3) (pow x 2)) in x 0.621 * [taylor]: Taking taylor expansion of (pow z 3) in x 0.621 * [taylor]: Taking taylor expansion of z in x 0.621 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.621 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [taylor]: Taking taylor expansion of 0 in z 0.622 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) y)) in (y x z) around 0 0.622 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) y)) in z 0.622 * [taylor]: Taking taylor expansion of -1 in z 0.622 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) y) in z 0.622 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.623 * [taylor]: Taking taylor expansion of (* z y) in z 0.623 * [taylor]: Taking taylor expansion of z in z 0.623 * [taylor]: Taking taylor expansion of y in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.623 * [taylor]: Taking taylor expansion of x in z 0.623 * [taylor]: Taking taylor expansion of y in z 0.623 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) y)) in x 0.623 * [taylor]: Taking taylor expansion of -1 in x 0.623 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) y) in x 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.623 * [taylor]: Taking taylor expansion of (* z y) in x 0.623 * [taylor]: Taking taylor expansion of z in x 0.623 * [taylor]: Taking taylor expansion of y in x 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.623 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of y in x 0.623 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) y)) in y 0.623 * [taylor]: Taking taylor expansion of -1 in y 0.623 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) y) in y 0.623 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.623 * [taylor]: Taking taylor expansion of (* z y) in y 0.623 * [taylor]: Taking taylor expansion of z in y 0.623 * [taylor]: Taking taylor expansion of y in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.623 * [taylor]: Taking taylor expansion of x in y 0.623 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 (* z y)) (/ 1 x)) y)) in y 0.624 * [taylor]: Taking taylor expansion of -1 in y 0.624 * [taylor]: Taking taylor expansion of (* (- (/ 1 (* z y)) (/ 1 x)) y) in y 0.624 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 x)) in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.624 * [taylor]: Taking taylor expansion of (* z y) in y 0.624 * [taylor]: Taking taylor expansion of z in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of (* -1 z) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of z in x 0.624 * [taylor]: Taking taylor expansion of 0 in z 0.624 * [taylor]: Taking taylor expansion of (neg (/ (pow z 2) x)) in x 0.625 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.625 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of 0 in z 0.625 * [taylor]: Taking taylor expansion of 0 in z 0.625 * [taylor]: Taking taylor expansion of (neg (/ (pow z 3) (pow x 2))) in x 0.625 * [taylor]: Taking taylor expansion of (/ (pow z 3) (pow x 2)) in x 0.626 * [taylor]: Taking taylor expansion of (pow z 3) in x 0.626 * [taylor]: Taking taylor expansion of z in x 0.626 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.627 * [taylor]: Taking taylor expansion of 0 in z 0.627 * * * [progress]: simplifying candidates 0.628 * [simplify]: Simplifying using # : (* (* y (* z z)) (/ y (+ x (* y z)))) (* (* y (* z z)) (/ y (+ x (* y z)))) (* (* y (* z z)) (/ y (+ x (* y z)))) (+ (+ (log y) (+ (log z) (log z))) (- (log y) (log (+ x (* y z))))) (+ (+ (log y) (+ (log z) (log z))) (log (/ y (+ x (* y z))))) (+ (+ (log y) (log (* z z))) (- (log y) (log (+ x (* y z))))) (+ (+ (log y) (log (* z z))) (log (/ y (+ x (* y z))))) (+ (log (* y (* z z))) (- (log y) (log (+ x (* y z))))) (+ (log (* y (* z z))) (log (/ y (+ x (* y z))))) (log (* (* y (* z z)) (/ y (+ x (* y z))))) (exp (* (* y (* z z)) (/ y (+ x (* y z))))) (* (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (/ (* (* y y) y) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z))))) (* (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (/ y (+ x (* y z))) (/ y (+ x (* y z)))) (/ y (+ x (* y z))))) (* (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (/ (* (* y y) y) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z))))) (* (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (* (/ y (+ x (* y z))) (/ y (+ x (* y z)))) (/ y (+ x (* y z))))) (* (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (/ (* (* y y) y) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z))))) (* (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (* (* (/ y (+ x (* y z))) (/ y (+ x (* y z)))) (/ y (+ x (* y z))))) (* (cbrt (* (* y (* z z)) (/ y (+ x (* y z))))) (cbrt (* (* y (* z z)) (/ y (+ x (* y z)))))) (cbrt (* (* y (* z z)) (/ y (+ x (* y z))))) (* (* (* (* y (* z z)) (/ y (+ x (* y z)))) (* (* y (* z z)) (/ y (+ x (* y z))))) (* (* y (* z z)) (/ y (+ x (* y z))))) (sqrt (* (* y (* z z)) (/ y (+ x (* y z))))) (sqrt (* (* y (* z z)) (/ y (+ x (* y z))))) (* (* y (* z z)) (* (cbrt (/ y (+ x (* y z)))) (cbrt (/ y (+ x (* y z)))))) (* (* y (* z z)) (sqrt (/ y (+ x (* y z))))) (* (* y (* z z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (* (* y (* z z)) (/ (* (cbrt y) (cbrt y)) (sqrt (+ x (* y z))))) (* (* y (* z z)) (/ (* (cbrt y) (cbrt y)) 1)) (* (* y (* z z)) (/ (sqrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (* (* y (* z z)) (/ (sqrt y) (sqrt (+ x (* y z))))) (* (* y (* z z)) (/ (sqrt y) 1)) (* (* y (* z z)) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (* (* y (* z z)) (/ 1 (sqrt (+ x (* y z))))) (* (* y (* z z)) (/ 1 1)) (* (* y (* z z)) 1) (* (* y (* z z)) y) (* (* y (* z z)) (/ y (+ (pow x 3) (pow (* y z) 3)))) (* (* y (* z z)) (/ y (- (* x x) (* (* y z) (* y z))))) (* (* z z) (/ y (+ x (* y z)))) (* (* y (* z z)) y) (* y (* z z)) (* y (* z z)) (+ (log y) (+ (log z) (log z))) (+ (log y) (log (* z z))) (log (* y (* z z))) (exp (* y (* z z))) (* (* (* y y) y) (* (* (* z z) z) (* (* z z) z))) (* (* (* y y) y) (* (* (* z z) (* z z)) (* z z))) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (* (* y (* z z)) (* y (* z z))) (* y (* z z))) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* (sqrt y) z) (* (sqrt y) z) (* y z) (* (cbrt y) (* z z)) (* (sqrt y) (* z z)) (* y (* z z)) (- (log x) (log (+ x (* y z)))) (log (/ x (+ x (* y z)))) (exp (/ x (+ x (* y z)))) (/ (* (* x x) x) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z)))) (* (cbrt (/ x (+ x (* y z)))) (cbrt (/ x (+ x (* y z))))) (cbrt (/ x (+ x (* y z)))) (* (* (/ x (+ x (* y z))) (/ x (+ x (* y z)))) (/ x (+ x (* y z)))) (sqrt (/ x (+ x (* y z)))) (sqrt (/ x (+ x (* y z)))) (neg x) (neg (+ x (* y z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (cbrt x) (cbrt (+ x (* y z)))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x (* y z)))) (/ (cbrt x) (sqrt (+ x (* y z)))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (+ x (* y z))) (/ (sqrt x) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt x) (cbrt (+ x (* y z)))) (/ (sqrt x) (sqrt (+ x (* y z)))) (/ (sqrt x) (sqrt (+ x (* y z)))) (/ (sqrt x) 1) (/ (sqrt x) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ x (cbrt (+ x (* y z)))) (/ 1 (sqrt (+ x (* y z)))) (/ x (sqrt (+ x (* y z)))) (/ 1 1) (/ x (+ x (* y z))) (/ 1 (+ x (* y z))) (/ (+ x (* y z)) x) (/ x (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ x (sqrt (+ x (* y z)))) (/ x 1) (/ (+ x (* y z)) (cbrt x)) (/ (+ x (* y z)) (sqrt x)) (/ (+ x (* y z)) x) (/ x (+ (pow x 3) (pow (* y z) 3))) (/ x (- (* x x) (* (* y z) (* y z)))) (- (log y) (log (+ x (* y z)))) (log (/ y (+ x (* y z)))) (exp (/ y (+ x (* y z)))) (/ (* (* y y) y) (* (* (+ x (* y z)) (+ x (* y z))) (+ x (* y z)))) (* (cbrt (/ y (+ x (* y z)))) (cbrt (/ y (+ x (* y z))))) (cbrt (/ y (+ x (* y z)))) (* (* (/ y (+ x (* y z))) (/ y (+ x (* y z)))) (/ y (+ x (* y z)))) (sqrt (/ y (+ x (* y z)))) (sqrt (/ y (+ x (* y z)))) (neg y) (neg (+ x (* y z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (cbrt y) (cbrt (+ x (* y z)))) (/ (* (cbrt y) (cbrt y)) (sqrt (+ x (* y z)))) (/ (cbrt y) (sqrt (+ x (* y z)))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (+ x (* y z))) (/ (sqrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt y) (cbrt (+ x (* y z)))) (/ (sqrt y) (sqrt (+ x (* y z)))) (/ (sqrt y) (sqrt (+ x (* y z)))) (/ (sqrt y) 1) (/ (sqrt y) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ y (cbrt (+ x (* y z)))) (/ 1 (sqrt (+ x (* y z)))) (/ y (sqrt (+ x (* y z)))) (/ 1 1) (/ y (+ x (* y z))) (/ 1 (+ x (* y z))) (/ (+ x (* y z)) y) (/ y (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ y (sqrt (+ x (* y z)))) (/ y 1) (/ (+ x (* y z)) (cbrt y)) (/ (+ x (* y z)) (sqrt y)) (/ (+ x (* y z)) y) (/ y (+ (pow x 3) (pow (* y z) 3))) (/ y (- (* x x) (* (* y z) (* y z)))) 0 0 0 (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) 0 0 0 0 0 0 0.678 * * [simplify]: iteration 0 : 4978 enodes (cost 1358 ) 0.678 * * [simplify]: iteration 1 : 4978 enodes (cost 1358 ) 0.683 * [simplify]: Simplified to: (* y (* z (* z (/ y (+ x (* y z)))))) (* y (* z (* z (/ y (+ x (* y z)))))) (* y (* z (* z (/ y (+ x (* y z)))))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (- (* 2 (log (* y z))) (log (+ x (* y z)))) (pow (pow (exp y) (* z z)) (/ y (+ x (* y z)))) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (* (cbrt (* y (* z (* z (/ y (+ x (* y z))))))) (cbrt (* y (* z (* z (/ y (+ x (* y z)))))))) (cbrt (* y (* z (* z (/ y (+ x (* y z))))))) (/ (pow (* y z) 6) (pow (+ x (* y z)) 3)) (sqrt (* y (* z (* z (/ y (+ x (* y z))))))) (sqrt (* y (* z (* z (/ y (+ x (* y z))))))) (* y (* z (* z (* (cbrt (/ y (+ x (* y z)))) (cbrt (/ y (+ x (* y z)))))))) (* y (* z (* z (sqrt (/ y (+ x (* y z))))))) (* y (* z (* z (* (cbrt y) (/ (cbrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))))))) (* y (* z (* z (* (cbrt y) (/ (cbrt y) (sqrt (+ x (* y z)))))))) (* y (* z (* z (* (cbrt y) (cbrt y))))) (* y (* z (* z (/ (sqrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))))) (* y (* z (* z (/ (sqrt y) (sqrt (+ x (* y z))))))) (* y (* z (* z (sqrt y)))) (* y (* z (/ z (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))))) (* y (* z (/ z (sqrt (+ x (* y z)))))) (* y (* z z)) (* y (* z z)) (* y (* y (* z z))) (* y (* z (* z (/ y (+ (pow x 3) (pow (* y z) 3)))))) (* y (* z (* z (/ y (- (* x x) (* y (* y (* z z)))))))) (* z (* z (/ y (+ x (* y z))))) (* y (* y (* z z))) (* y (* z z)) (* y (* z z)) (log (* y (* z z))) (log (* y (* z z))) (log (* y (* z z))) (pow (exp y) (* z z)) (* (pow y 3) (pow z 6)) (* (pow y 3) (pow z 6)) (* (cbrt (* y (* z z))) (cbrt (* y (* z z)))) (cbrt (* y (* z z))) (* (pow y 3) (pow z 6)) (sqrt (* y (* z z))) (sqrt (* y (* z z))) (* z (sqrt y)) (* z (sqrt y)) (* y z) (* z (* z (cbrt y))) (* z (* z (sqrt y))) (* y (* z z)) (log (/ x (+ x (* y z)))) (log (/ x (+ x (* y z)))) (exp (/ x (+ x (* y z)))) (pow (/ x (+ x (* y z))) 3) (* (cbrt (/ x (+ x (* y z)))) (cbrt (/ x (+ x (* y z))))) (cbrt (/ x (+ x (* y z)))) (pow (/ x (+ x (* y z))) 3) (sqrt (/ x (+ x (* y z)))) (sqrt (/ x (+ x (* y z)))) (neg x) (- (neg x) (* y z)) (* (cbrt x) (/ (cbrt x) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (/ (cbrt x) (cbrt (+ x (* y z)))) (* (cbrt x) (/ (cbrt x) (sqrt (+ x (* y z))))) (/ (cbrt x) (sqrt (+ x (* y z)))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x (* y z))) (/ (sqrt x) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt x) (cbrt (+ x (* y z)))) (/ (sqrt x) (sqrt (+ x (* y z)))) (/ (sqrt x) (sqrt (+ x (* y z)))) (sqrt x) (/ (sqrt x) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ x (cbrt (+ x (* y z)))) (/ 1 (sqrt (+ x (* y z)))) (/ x (sqrt (+ x (* y z)))) 1 (/ x (+ x (* y z))) (/ 1 (+ x (* y z))) (/ (+ x (* y z)) x) (/ x (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ x (sqrt (+ x (* y z)))) x (/ (+ x (* y z)) (cbrt x)) (/ (+ x (* y z)) (sqrt x)) (/ (+ x (* y z)) x) (/ x (+ (pow x 3) (pow (* y z) 3))) (/ x (- (* x x) (* y (* y (* z z))))) (log (/ y (+ x (* y z)))) (log (/ y (+ x (* y z)))) (exp (/ y (+ x (* y z)))) (pow (/ y (+ x (* y z))) 3) (* (cbrt (/ y (+ x (* y z)))) (cbrt (/ y (+ x (* y z))))) (cbrt (/ y (+ x (* y z)))) (pow (/ y (+ x (* y z))) 3) (sqrt (/ y (+ x (* y z)))) (sqrt (/ y (+ x (* y z)))) (neg y) (- (neg x) (* y z)) (* (cbrt y) (/ (cbrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z)))))) (/ (cbrt y) (cbrt (+ x (* y z)))) (* (cbrt y) (/ (cbrt y) (sqrt (+ x (* y z))))) (/ (cbrt y) (sqrt (+ x (* y z)))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ x (* y z))) (/ (sqrt y) (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ (sqrt y) (cbrt (+ x (* y z)))) (/ (sqrt y) (sqrt (+ x (* y z)))) (/ (sqrt y) (sqrt (+ x (* y z)))) (sqrt y) (/ (sqrt y) (+ x (* y z))) (/ 1 (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ y (cbrt (+ x (* y z)))) (/ 1 (sqrt (+ x (* y z)))) (/ y (sqrt (+ x (* y z)))) 1 (/ y (+ x (* y z))) (/ 1 (+ x (* y z))) (/ (+ x (* y z)) y) (/ y (* (cbrt (+ x (* y z))) (cbrt (+ x (* y z))))) (/ y (sqrt (+ x (* y z)))) y (/ (+ x (* y z)) (cbrt y)) (/ (+ x (* y z)) (sqrt y)) (/ (+ x (* y z)) y) (/ y (+ (pow x 3) (pow (* y z) 3))) (/ y (- (* x x) (* y (* y (* z z))))) 0 0 0 (* y (* z z)) (* y (* z z)) (* y (* z z)) 0 0 0 0 0 0 0.684 * * * [progress]: adding candidates to table 0.782 * [progress]: [Phase 3 of 3] Extracting. 0.782 * * [regime]: Finding splitpoints for: (# #) 0.783 * * * [regime-changes]: Trying 5 branch expressions: ((* y z) (- x (* y z)) z y x) 0.783 * * * * [regimes]: Trying to branch on (* y z) from (# #) 0.826 * * * * [regimes]: Trying to branch on (- x (* y z)) from (# #) 0.868 * * * * [regimes]: Trying to branch on z from (# #) 0.907 * * * * [regimes]: Trying to branch on y from (# #) 0.949 * * * * [regimes]: Trying to branch on x from (# #) 0.990 * * * [regime]: Found split indices: #