17.269 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.413 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.417 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.417 * * * * [points]: Setting MPFR precision to 64 0.417 * * * * [points]: Setting MPFR precision to 320 0.418 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.418 * * * * [points]: Setting MPFR precision to 64 0.418 * * * * [points]: Setting MPFR precision to 320 0.419 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.419 * * * * [points]: Setting MPFR precision to 64 0.420 * * * * [points]: Setting MPFR precision to 320 0.421 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.421 * * * * [points]: Setting MPFR precision to 64 0.423 * * * * [points]: Setting MPFR precision to 320 0.425 * * * * [points]: Computing exacts for 256 points 0.425 * * * * [points]: Setting MPFR precision to 64 0.431 * * * * [points]: Setting MPFR precision to 320 0.437 * * * * [points]: Filtering points with unrepresentable outputs 0.437 * * * * [points]: Sampling 36 additional inputs, on iter 1 have 220 / 256 0.438 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision 0.438 * * * * [points]: Setting MPFR precision to 64 0.438 * * * * [points]: Setting MPFR precision to 320 0.438 * * * * [points]: Computing exacts for 36 points 0.438 * * * * [points]: Setting MPFR precision to 64 0.439 * * * * [points]: Setting MPFR precision to 320 0.440 * * * * [points]: Filtering points with unrepresentable outputs 0.440 * * * * [points]: Sampling 8 additional inputs, on iter 2 have 248 / 256 0.440 * * * * [points]: Computing exacts for 8 points 0.440 * * * * [points]: Setting MPFR precision to 64 0.441 * * * * [points]: Setting MPFR precision to 320 0.441 * * * * [points]: Filtering points with unrepresentable outputs 0.441 * * * * [points]: Sampled 256 points with exact outputs 0.452 * * * [progress]: [2/2] Setting up program. 0.456 * [progress]: [Phase 2 of 3] Improving. 0.456 * [simplify]: Simplifying using # : (/ (* x y) (* (* z z) (+ z 1.0))) 0.509 * * [simplify]: iteration 0 : 5021 enodes (cost 11 ) 0.510 * [simplify]: Simplified to: (* x (/ y (* z (* z (+ z 1.0))))) 0.514 * * [progress]: iteration 1 / 4 0.514 * * * [progress]: picking best candidate 0.521 * * * * [pick]: Picked # 0.521 * * * [progress]: localizing error 0.529 * * * [progress]: generating rewritten candidates 0.529 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.539 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.547 * * * [progress]: generating series expansions 0.547 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.547 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x y z) around 0 0.548 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.548 * [taylor]: Taking taylor expansion of (* x y) in z 0.548 * [taylor]: Taking taylor expansion of x in z 0.548 * [taylor]: Taking taylor expansion of y in z 0.548 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.548 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.548 * [taylor]: Taking taylor expansion of z in z 0.548 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.548 * [taylor]: Taking taylor expansion of z in z 0.548 * [taylor]: Taking taylor expansion of 1.0 in z 0.548 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.548 * [taylor]: Taking taylor expansion of (* x y) in y 0.548 * [taylor]: Taking taylor expansion of x in y 0.548 * [taylor]: Taking taylor expansion of y in y 0.548 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.548 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.548 * [taylor]: Taking taylor expansion of z in y 0.548 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.548 * [taylor]: Taking taylor expansion of z in y 0.548 * [taylor]: Taking taylor expansion of 1.0 in y 0.548 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.548 * [taylor]: Taking taylor expansion of (* x y) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of y in x 0.548 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.548 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.548 * [taylor]: Taking taylor expansion of z in x 0.548 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.548 * [taylor]: Taking taylor expansion of z in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.549 * [taylor]: Taking taylor expansion of (* x y) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of y in x 0.549 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.549 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.549 * [taylor]: Taking taylor expansion of z in x 0.549 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.549 * [taylor]: Taking taylor expansion of z in x 0.549 * [taylor]: Taking taylor expansion of 1.0 in x 0.549 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in y 0.549 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in y 0.549 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.549 * [taylor]: Taking taylor expansion of z in y 0.549 * [taylor]: Taking taylor expansion of 1.0 in y 0.549 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.549 * [taylor]: Taking taylor expansion of z in y 0.549 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ z 1.0))) in z 0.549 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.549 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.549 * [taylor]: Taking taylor expansion of z in z 0.549 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.549 * [taylor]: Taking taylor expansion of z in z 0.549 * [taylor]: Taking taylor expansion of 1.0 in z 0.550 * [taylor]: Taking taylor expansion of 0 in y 0.550 * [taylor]: Taking taylor expansion of 0 in z 0.550 * [taylor]: Taking taylor expansion of 0 in z 0.551 * [taylor]: Taking taylor expansion of 0 in y 0.551 * [taylor]: Taking taylor expansion of 0 in z 0.551 * [taylor]: Taking taylor expansion of 0 in z 0.551 * [taylor]: Taking taylor expansion of 0 in z 0.552 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x y z) around 0 0.552 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.552 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.552 * [taylor]: Taking taylor expansion of x in z 0.552 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.552 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of 1.0 in z 0.552 * [taylor]: Taking taylor expansion of y in z 0.552 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.552 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.552 * [taylor]: Taking taylor expansion of z in y 0.552 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.552 * [taylor]: Taking taylor expansion of x in y 0.552 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.552 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.552 * [taylor]: Taking taylor expansion of z in y 0.552 * [taylor]: Taking taylor expansion of 1.0 in y 0.552 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.553 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.553 * [taylor]: Taking taylor expansion of z in x 0.553 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.553 * [taylor]: Taking taylor expansion of x in x 0.553 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.553 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.553 * [taylor]: Taking taylor expansion of z in x 0.553 * [taylor]: Taking taylor expansion of 1.0 in x 0.553 * [taylor]: Taking taylor expansion of y in x 0.553 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.553 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.553 * [taylor]: Taking taylor expansion of z in x 0.553 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.553 * [taylor]: Taking taylor expansion of x in x 0.553 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.553 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.553 * [taylor]: Taking taylor expansion of z in x 0.553 * [taylor]: Taking taylor expansion of 1.0 in x 0.553 * [taylor]: Taking taylor expansion of y in x 0.554 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in y 0.554 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.554 * [taylor]: Taking taylor expansion of z in y 0.554 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in y 0.554 * [taylor]: Taking taylor expansion of (/ y z) in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.554 * [taylor]: Taking taylor expansion of z in y 0.554 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.554 * [taylor]: Taking taylor expansion of 1.0 in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.554 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ 1 z) 1.0)) in z 0.554 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.554 * [taylor]: Taking taylor expansion of z in z 0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.554 * [taylor]: Taking taylor expansion of z in z 0.554 * [taylor]: Taking taylor expansion of 1.0 in z 0.554 * [taylor]: Taking taylor expansion of 0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in z 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in z 0.556 * [taylor]: Taking taylor expansion of 0 in z 0.556 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x y z) around 0 0.556 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.557 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.557 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.557 * [taylor]: Taking taylor expansion of 1.0 in z 0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of (* x y) in z 0.557 * [taylor]: Taking taylor expansion of x in z 0.557 * [taylor]: Taking taylor expansion of y in z 0.557 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.557 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.557 * [taylor]: Taking taylor expansion of z in y 0.557 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.557 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.557 * [taylor]: Taking taylor expansion of 1.0 in y 0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.557 * [taylor]: Taking taylor expansion of z in y 0.557 * [taylor]: Taking taylor expansion of (* x y) in y 0.557 * [taylor]: Taking taylor expansion of x in y 0.557 * [taylor]: Taking taylor expansion of y in y 0.557 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.557 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.557 * [taylor]: Taking taylor expansion of z in x 0.557 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.557 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.557 * [taylor]: Taking taylor expansion of 1.0 in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.557 * [taylor]: Taking taylor expansion of z in x 0.557 * [taylor]: Taking taylor expansion of (* x y) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of y in x 0.558 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.558 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.558 * [taylor]: Taking taylor expansion of z in x 0.558 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.558 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.558 * [taylor]: Taking taylor expansion of 1.0 in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.558 * [taylor]: Taking taylor expansion of z in x 0.558 * [taylor]: Taking taylor expansion of (* x y) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of y in x 0.558 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in y 0.558 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.558 * [taylor]: Taking taylor expansion of z in y 0.558 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in y 0.558 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.558 * [taylor]: Taking taylor expansion of 1.0 in y 0.558 * [taylor]: Taking taylor expansion of y in y 0.558 * [taylor]: Taking taylor expansion of (/ y z) in y 0.558 * [taylor]: Taking taylor expansion of y in y 0.558 * [taylor]: Taking taylor expansion of z in y 0.559 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- 1.0 (/ 1 z))) in z 0.559 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.559 * [taylor]: Taking taylor expansion of z in z 0.559 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.559 * [taylor]: Taking taylor expansion of 1.0 in z 0.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.559 * [taylor]: Taking taylor expansion of z in z 0.559 * [taylor]: Taking taylor expansion of 0 in y 0.559 * [taylor]: Taking taylor expansion of 0 in z 0.560 * [taylor]: Taking taylor expansion of 0 in y 0.560 * [taylor]: Taking taylor expansion of 0 in z 0.560 * [taylor]: Taking taylor expansion of 0 in z 0.561 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.561 * [approximate]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in (z) around 0 0.561 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.561 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.561 * [taylor]: Taking taylor expansion of z in z 0.561 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.561 * [taylor]: Taking taylor expansion of z in z 0.561 * [taylor]: Taking taylor expansion of 1.0 in z 0.561 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.561 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.561 * [taylor]: Taking taylor expansion of z in z 0.561 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.561 * [taylor]: Taking taylor expansion of z in z 0.561 * [taylor]: Taking taylor expansion of 1.0 in z 0.562 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in (z) around 0 0.562 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.562 * [taylor]: Taking taylor expansion of z in z 0.562 * [taylor]: Taking taylor expansion of 1.0 in z 0.562 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.562 * [taylor]: Taking taylor expansion of z in z 0.563 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) 1.0) (pow z 2)) in z 0.563 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.563 * [taylor]: Taking taylor expansion of z in z 0.563 * [taylor]: Taking taylor expansion of 1.0 in z 0.563 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.563 * [taylor]: Taking taylor expansion of z in z 0.564 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in (z) around 0 0.564 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.564 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.564 * [taylor]: Taking taylor expansion of 1.0 in z 0.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.564 * [taylor]: Taking taylor expansion of z in z 0.564 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.564 * [taylor]: Taking taylor expansion of z in z 0.564 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 z)) (pow z 2)) in z 0.564 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.564 * [taylor]: Taking taylor expansion of 1.0 in z 0.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.564 * [taylor]: Taking taylor expansion of z in z 0.564 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.564 * [taylor]: Taking taylor expansion of z in z 0.566 * * * [progress]: simplifying candidates 0.567 * [simplify]: Simplifying using # : (- (+ (log x) (log y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (+ (log x) (log y)) (log (* (* z z) (+ z 1.0)))) (- (log (* x y)) (+ (+ (log z) (log z)) (log (+ z 1.0)))) (- (log (* x y)) (+ (log (* z z)) (log (+ z 1.0)))) (- (log (* x y)) (log (* (* z z) (+ z 1.0)))) (log (/ (* x y) (* (* z z) (+ z 1.0)))) (exp (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x x) x) (* (* y y) y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)))) (/ (* (* (* x y) (* x y)) (* x y)) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0)))) (* (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0))))) (cbrt (/ (* x y) (* (* z z) (+ z 1.0)))) (* (* (/ (* x y) (* (* z z) (+ z 1.0))) (/ (* x y) (* (* z z) (+ z 1.0)))) (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (sqrt (/ (* x y) (* (* z z) (+ z 1.0)))) (neg (* x y)) (neg (* (* z z) (+ z 1.0))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* (* z z) (+ z 1.0))) (/ (* (* z z) (+ z 1.0)) (* x y)) (/ (* x y) (* z z)) (/ (* (* z z) (+ z 1.0)) y) (/ (* x y) (* (* z z) (+ (pow z 3) (pow 1.0 3)))) (/ (* x y) (* (* z z) (- (* z z) (* 1.0 1.0)))) (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0)) (+ (+ (log z) (log z)) (log (+ z 1.0))) (+ (log (* z z)) (log (+ z 1.0))) (log (* (* z z) (+ z 1.0))) (exp (* (* z z) (+ z 1.0))) (* (* (* (* z z) z) (* (* z z) z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (* (* (* z z) (* z z)) (* z z)) (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0))) (* (cbrt (* (* z z) (+ z 1.0))) (cbrt (* (* z z) (+ z 1.0)))) (cbrt (* (* z z) (+ z 1.0))) (* (* (* (* z z) (+ z 1.0)) (* (* z z) (+ z 1.0))) (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (sqrt (* (* z z) (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (* (* z z) z) (* (* z z) 1.0) (* z (* z z)) (* 1.0 (* z z)) (* (* z z) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* (* z z) (sqrt (+ z 1.0))) (* (* z z) 1) (* (* z z) 1) (* z (+ z 1.0)) (* (* z z) (+ (pow z 3) (pow 1.0 3))) (* (* z z) (- (* z z) (* 1.0 1.0))) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) (+ (pow z 3) (* 1.0 (pow z 2))) 0.586 * * [simplify]: iteration 0 : 5052 enodes (cost 618 ) 0.589 * [simplify]: Simplified to: (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (pow (exp (/ x (* z z))) (/ y (+ z 1.0))) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (* (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0))))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (/ (pow (* x (/ y (+ z 1.0))) 3) (pow z 6)) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (* x (neg y)) (* z (* z (- (neg 1.0) z))) (/ x (* z z)) (/ y (+ z 1.0)) (/ 1 (* z (* z (+ z 1.0)))) (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* x (/ y (* z z))) (* (+ z 1.0) (* z (/ z y))) (* (/ x (* z z)) (/ y (+ (pow z 3) (pow 1.0 3)))) (* (/ x (* z z)) (/ y (- (* z z) (* 1.0 1.0)))) (* z (* z (+ z 1.0))) (* z (* z (+ z 1.0))) (log (* z (* z (+ z 1.0)))) (log (* z (* z (+ z 1.0)))) (log (* z (* z (+ z 1.0)))) (pow (pow (exp z) z) (+ z 1.0)) (* (pow z 6) (pow (+ z 1.0) 3)) (* (pow z 6) (pow (+ z 1.0) 3)) (* (cbrt (* z (* z (+ z 1.0)))) (cbrt (* z (* z (+ z 1.0))))) (cbrt (* z (* z (+ z 1.0)))) (* (pow z 6) (pow (+ z 1.0) 3)) (sqrt (* z (* z (+ z 1.0)))) (sqrt (* z (* z (+ z 1.0)))) (* z (sqrt (+ z 1.0))) (* z (sqrt (+ z 1.0))) (pow z 3) (* z (* z 1.0)) (pow z 3) (* z (* z 1.0)) (* z (* z (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))))) (* z (* z (sqrt (+ z 1.0)))) (* z z) (* z z) (* z (+ z 1.0)) (+ (pow z 5) (* z (* z (pow 1.0 3)))) (* z (* z (- (* z z) (* 1.0 1.0)))) (* 1.0 (+ (* x y) (* (/ x z) (- (/ y z) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (* z (* z (+ z 1.0))) (* z (* z (+ z 1.0))) (* z (* z (+ z 1.0))) 0.589 * * * [progress]: adding candidates to table 0.655 * * [progress]: iteration 2 / 4 0.655 * * * [progress]: picking best candidate 0.683 * * * * [pick]: Picked # 0.683 * * * [progress]: localizing error 0.693 * * * [progress]: generating rewritten candidates 0.693 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 0.729 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.734 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.750 * * * [progress]: generating series expansions 0.750 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.751 * [approximate]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in (z x y) around 0 0.751 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in y 0.751 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.751 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.751 * [taylor]: Taking taylor expansion of z in y 0.751 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.751 * [taylor]: Taking taylor expansion of z in y 0.751 * [taylor]: Taking taylor expansion of 1.0 in y 0.751 * [taylor]: Taking taylor expansion of (* x y) in y 0.751 * [taylor]: Taking taylor expansion of x in y 0.751 * [taylor]: Taking taylor expansion of y in y 0.751 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in x 0.751 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.751 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.751 * [taylor]: Taking taylor expansion of z in x 0.751 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.751 * [taylor]: Taking taylor expansion of z in x 0.751 * [taylor]: Taking taylor expansion of 1.0 in x 0.751 * [taylor]: Taking taylor expansion of (* x y) in x 0.751 * [taylor]: Taking taylor expansion of x in x 0.751 * [taylor]: Taking taylor expansion of y in x 0.751 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in z 0.751 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.751 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.751 * [taylor]: Taking taylor expansion of z in z 0.751 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.751 * [taylor]: Taking taylor expansion of z in z 0.751 * [taylor]: Taking taylor expansion of 1.0 in z 0.751 * [taylor]: Taking taylor expansion of (* x y) in z 0.751 * [taylor]: Taking taylor expansion of x in z 0.751 * [taylor]: Taking taylor expansion of y in z 0.752 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in z 0.752 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.752 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.752 * [taylor]: Taking taylor expansion of z in z 0.752 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.752 * [taylor]: Taking taylor expansion of z in z 0.752 * [taylor]: Taking taylor expansion of 1.0 in z 0.752 * [taylor]: Taking taylor expansion of (* x y) in z 0.752 * [taylor]: Taking taylor expansion of x in z 0.752 * [taylor]: Taking taylor expansion of y in z 0.752 * [taylor]: Taking taylor expansion of (/ 1.0 (* x y)) in x 0.752 * [taylor]: Taking taylor expansion of 1.0 in x 0.752 * [taylor]: Taking taylor expansion of (* x y) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of y in x 0.752 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 0.752 * [taylor]: Taking taylor expansion of 1.0 in y 0.752 * [taylor]: Taking taylor expansion of y in y 0.752 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.752 * [taylor]: Taking taylor expansion of (* x y) in x 0.752 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of y in x 0.752 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.752 * [taylor]: Taking taylor expansion of y in y 0.752 * [taylor]: Taking taylor expansion of 0 in y 0.753 * [taylor]: Taking taylor expansion of 0 in x 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.753 * [taylor]: Taking taylor expansion of 0 in x 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.754 * [taylor]: Taking taylor expansion of 0 in y 0.754 * [approximate]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in (z x y) around 0 0.754 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in y 0.754 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.754 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.754 * [taylor]: Taking taylor expansion of z in y 0.754 * [taylor]: Taking taylor expansion of 1.0 in y 0.754 * [taylor]: Taking taylor expansion of y in y 0.754 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.754 * [taylor]: Taking taylor expansion of z in y 0.755 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in x 0.755 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.755 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [taylor]: Taking taylor expansion of 1.0 in x 0.755 * [taylor]: Taking taylor expansion of y in x 0.755 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.755 * [taylor]: Taking taylor expansion of z in x 0.755 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in z 0.755 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.755 * [taylor]: Taking taylor expansion of x in z 0.755 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of 1.0 in z 0.755 * [taylor]: Taking taylor expansion of y in z 0.755 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in z 0.755 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.755 * [taylor]: Taking taylor expansion of x in z 0.755 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of 1.0 in z 0.755 * [taylor]: Taking taylor expansion of y in z 0.755 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.756 * [taylor]: Taking taylor expansion of z in z 0.756 * [taylor]: Taking taylor expansion of (* x y) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.756 * [taylor]: Taking taylor expansion of y in y 0.756 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.756 * [taylor]: Taking taylor expansion of 1.0 in x 0.756 * [taylor]: Taking taylor expansion of (* x y) in x 0.756 * [taylor]: Taking taylor expansion of x in x 0.756 * [taylor]: Taking taylor expansion of y in x 0.756 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.756 * [taylor]: Taking taylor expansion of 1.0 in y 0.756 * [taylor]: Taking taylor expansion of y in y 0.756 * [taylor]: Taking taylor expansion of 0 in y 0.756 * [taylor]: Taking taylor expansion of 0 in x 0.756 * [taylor]: Taking taylor expansion of 0 in y 0.757 * [taylor]: Taking taylor expansion of 0 in y 0.757 * [taylor]: Taking taylor expansion of 0 in y 0.757 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in (z x y) around 0 0.757 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in y 0.757 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.757 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.757 * [taylor]: Taking taylor expansion of 1.0 in y 0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.757 * [taylor]: Taking taylor expansion of z in y 0.757 * [taylor]: Taking taylor expansion of (* x y) in y 0.757 * [taylor]: Taking taylor expansion of x in y 0.757 * [taylor]: Taking taylor expansion of y in y 0.757 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.757 * [taylor]: Taking taylor expansion of z in y 0.758 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in x 0.758 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.758 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.758 * [taylor]: Taking taylor expansion of 1.0 in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.758 * [taylor]: Taking taylor expansion of z in x 0.758 * [taylor]: Taking taylor expansion of (* x y) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [taylor]: Taking taylor expansion of y in x 0.758 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.758 * [taylor]: Taking taylor expansion of z in x 0.758 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in z 0.758 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.758 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.758 * [taylor]: Taking taylor expansion of 1.0 in z 0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (* x y) in z 0.758 * [taylor]: Taking taylor expansion of x in z 0.758 * [taylor]: Taking taylor expansion of y in z 0.758 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in z 0.758 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.758 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.758 * [taylor]: Taking taylor expansion of 1.0 in z 0.758 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (* x y) in z 0.759 * [taylor]: Taking taylor expansion of x in z 0.759 * [taylor]: Taking taylor expansion of y in z 0.759 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.759 * [taylor]: Taking taylor expansion of z in z 0.759 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 0.759 * [taylor]: Taking taylor expansion of -1 in x 0.759 * [taylor]: Taking taylor expansion of (* x y) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of y in x 0.759 * [taylor]: Taking taylor expansion of (neg y) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.759 * [taylor]: Taking taylor expansion of 1.0 in x 0.759 * [taylor]: Taking taylor expansion of (* x y) in x 0.759 * [taylor]: Taking taylor expansion of x in x 0.759 * [taylor]: Taking taylor expansion of y in x 0.759 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.759 * [taylor]: Taking taylor expansion of 1.0 in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.759 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [taylor]: Taking taylor expansion of 0 in x 0.760 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [taylor]: Taking taylor expansion of 0 in y 0.760 * [taylor]: Taking taylor expansion of 0 in y 0.760 * * * * [progress]: [ 2 / 4 ] generating series at (2) 0.760 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (z x y) around 0 0.760 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 0.760 * [taylor]: Taking taylor expansion of (* x y) in y 0.760 * [taylor]: Taking taylor expansion of x in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 0.760 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.760 * [taylor]: Taking taylor expansion of z in y 0.760 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.761 * [taylor]: Taking taylor expansion of z in y 0.761 * [taylor]: Taking taylor expansion of 1.0 in y 0.761 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 0.761 * [taylor]: Taking taylor expansion of (* x y) in x 0.761 * [taylor]: Taking taylor expansion of x in x 0.761 * [taylor]: Taking taylor expansion of y in x 0.761 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 0.761 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.761 * [taylor]: Taking taylor expansion of z in x 0.761 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 0.761 * [taylor]: Taking taylor expansion of z in x 0.761 * [taylor]: Taking taylor expansion of 1.0 in x 0.761 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.761 * [taylor]: Taking taylor expansion of (* x y) in z 0.761 * [taylor]: Taking taylor expansion of x in z 0.761 * [taylor]: Taking taylor expansion of y in z 0.761 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.761 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of 1.0 in z 0.761 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 0.761 * [taylor]: Taking taylor expansion of (* x y) in z 0.761 * [taylor]: Taking taylor expansion of x in z 0.761 * [taylor]: Taking taylor expansion of y in z 0.761 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 0.761 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.761 * [taylor]: Taking taylor expansion of z in z 0.761 * [taylor]: Taking taylor expansion of 1.0 in z 0.762 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.762 * [taylor]: Taking taylor expansion of 1.0 in x 0.762 * [taylor]: Taking taylor expansion of (* x y) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of y in x 0.762 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.762 * [taylor]: Taking taylor expansion of 1.0 in y 0.762 * [taylor]: Taking taylor expansion of y in y 0.762 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* x y))) in x 0.762 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.762 * [taylor]: Taking taylor expansion of 1.0 in x 0.762 * [taylor]: Taking taylor expansion of (* x y) in x 0.762 * [taylor]: Taking taylor expansion of x in x 0.762 * [taylor]: Taking taylor expansion of y in x 0.762 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 0.762 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.762 * [taylor]: Taking taylor expansion of 1.0 in y 0.762 * [taylor]: Taking taylor expansion of y in y 0.762 * [taylor]: Taking taylor expansion of 0 in y 0.763 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 0.763 * [taylor]: Taking taylor expansion of 1.0 in x 0.763 * [taylor]: Taking taylor expansion of (* x y) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of y in x 0.763 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.763 * [taylor]: Taking taylor expansion of 1.0 in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.763 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (z x y) around 0 0.763 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 0.763 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.763 * [taylor]: Taking taylor expansion of z in y 0.763 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 0.763 * [taylor]: Taking taylor expansion of x in y 0.763 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.763 * [taylor]: Taking taylor expansion of z in y 0.763 * [taylor]: Taking taylor expansion of 1.0 in y 0.763 * [taylor]: Taking taylor expansion of y in y 0.764 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 0.764 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.764 * [taylor]: Taking taylor expansion of z in x 0.764 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 0.764 * [taylor]: Taking taylor expansion of x in x 0.764 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 0.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.764 * [taylor]: Taking taylor expansion of z in x 0.764 * [taylor]: Taking taylor expansion of 1.0 in x 0.764 * [taylor]: Taking taylor expansion of y in x 0.764 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.764 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.764 * [taylor]: Taking taylor expansion of z in z 0.764 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.764 * [taylor]: Taking taylor expansion of x in z 0.764 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.764 * [taylor]: Taking taylor expansion of z in z 0.764 * [taylor]: Taking taylor expansion of 1.0 in z 0.764 * [taylor]: Taking taylor expansion of y in z 0.765 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 0.765 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.765 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 0.765 * [taylor]: Taking taylor expansion of x in z 0.765 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.765 * [taylor]: Taking taylor expansion of z in z 0.765 * [taylor]: Taking taylor expansion of 1.0 in z 0.765 * [taylor]: Taking taylor expansion of y in z 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.765 * [taylor]: Taking taylor expansion of (* x y) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of y in x 0.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 0.765 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.765 * [taylor]: Taking taylor expansion of 1.0 in x 0.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.765 * [taylor]: Taking taylor expansion of (* x y) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of y in x 0.765 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 0.765 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.765 * [taylor]: Taking taylor expansion of 1.0 in y 0.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.766 * [taylor]: Taking taylor expansion of 0 in y 0.766 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.766 * [taylor]: Taking taylor expansion of 1.0 in x 0.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.766 * [taylor]: Taking taylor expansion of (* x y) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 0.766 * [taylor]: Taking taylor expansion of 1.0 in y 0.766 * [taylor]: Taking taylor expansion of y in y 0.767 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (z x y) around 0 0.767 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 0.767 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.767 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 0.767 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.767 * [taylor]: Taking taylor expansion of 1.0 in y 0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.767 * [taylor]: Taking taylor expansion of z in y 0.767 * [taylor]: Taking taylor expansion of (* x y) in y 0.767 * [taylor]: Taking taylor expansion of x in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.767 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 0.767 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.767 * [taylor]: Taking taylor expansion of z in x 0.767 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 0.768 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 0.768 * [taylor]: Taking taylor expansion of 1.0 in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.768 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of (* x y) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.768 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.768 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.768 * [taylor]: Taking taylor expansion of 1.0 in z 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of (* x y) in z 0.768 * [taylor]: Taking taylor expansion of x in z 0.768 * [taylor]: Taking taylor expansion of y in z 0.768 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 0.768 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 0.768 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.768 * [taylor]: Taking taylor expansion of 1.0 in z 0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.768 * [taylor]: Taking taylor expansion of (* x y) in z 0.768 * [taylor]: Taking taylor expansion of x in z 0.768 * [taylor]: Taking taylor expansion of y in z 0.769 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 0.769 * [taylor]: Taking taylor expansion of -1 in x 0.769 * [taylor]: Taking taylor expansion of (* x y) in x 0.769 * [taylor]: Taking taylor expansion of x in x 0.769 * [taylor]: Taking taylor expansion of y in x 0.769 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.769 * [taylor]: Taking taylor expansion of -1 in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.769 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 0.769 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.769 * [taylor]: Taking taylor expansion of 1.0 in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.769 * [taylor]: Taking taylor expansion of (* x y) in x 0.769 * [taylor]: Taking taylor expansion of x in x 0.769 * [taylor]: Taking taylor expansion of y in x 0.769 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 0.769 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.769 * [taylor]: Taking taylor expansion of 1.0 in y 0.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.769 * [taylor]: Taking taylor expansion of 0 in y 0.770 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 0.770 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 0.770 * [taylor]: Taking taylor expansion of 1.0 in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.770 * [taylor]: Taking taylor expansion of (* x y) in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.770 * [taylor]: Taking taylor expansion of y in x 0.770 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 0.770 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.770 * [taylor]: Taking taylor expansion of 1.0 in y 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.770 * [taylor]: Taking taylor expansion of y in y 0.771 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.771 * [approximate]: Taking taylor expansion of (/ (pow z 2) x) in (z x) around 0 0.771 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in x 0.771 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.771 * [taylor]: Taking taylor expansion of z in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.771 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.771 * [taylor]: Taking taylor expansion of z in z 0.771 * [taylor]: Taking taylor expansion of x in z 0.771 * [taylor]: Taking taylor expansion of (/ (pow z 2) x) in z 0.771 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.771 * [taylor]: Taking taylor expansion of z in z 0.771 * [taylor]: Taking taylor expansion of x in z 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of 0 in x 0.771 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [approximate]: Taking taylor expansion of (/ x (pow z 2)) in (z x) around 0 0.772 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.772 * [taylor]: Taking taylor expansion of z in x 0.772 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.772 * [taylor]: Taking taylor expansion of x in z 0.772 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.772 * [taylor]: Taking taylor expansion of x in z 0.772 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of x in x 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.772 * [taylor]: Taking taylor expansion of 0 in x 0.773 * [approximate]: Taking taylor expansion of (* -1 (/ x (pow z 2))) in (z x) around 0 0.773 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow z 2))) in x 0.773 * [taylor]: Taking taylor expansion of -1 in x 0.773 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in x 0.773 * [taylor]: Taking taylor expansion of x in x 0.773 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.773 * [taylor]: Taking taylor expansion of z in x 0.773 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow z 2))) in z 0.773 * [taylor]: Taking taylor expansion of -1 in z 0.773 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.773 * [taylor]: Taking taylor expansion of x in z 0.773 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of (* -1 (/ x (pow z 2))) in z 0.773 * [taylor]: Taking taylor expansion of -1 in z 0.773 * [taylor]: Taking taylor expansion of (/ x (pow z 2)) in z 0.773 * [taylor]: Taking taylor expansion of x in z 0.773 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of (* -1 x) in x 0.773 * [taylor]: Taking taylor expansion of -1 in x 0.773 * [taylor]: Taking taylor expansion of x in x 0.773 * [taylor]: Taking taylor expansion of 0 in x 0.773 * [taylor]: Taking taylor expansion of 0 in x 0.774 * [taylor]: Taking taylor expansion of 0 in x 0.774 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.774 * [approximate]: Taking taylor expansion of (/ (+ z 1.0) y) in (z y) around 0 0.774 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in y 0.774 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of 1.0 in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 0.774 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.774 * [taylor]: Taking taylor expansion of z in z 0.774 * [taylor]: Taking taylor expansion of 1.0 in z 0.774 * [taylor]: Taking taylor expansion of y in z 0.774 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 0.774 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 0.774 * [taylor]: Taking taylor expansion of z in z 0.774 * [taylor]: Taking taylor expansion of 1.0 in z 0.774 * [taylor]: Taking taylor expansion of y in z 0.774 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 0.774 * [taylor]: Taking taylor expansion of 1.0 in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of 0 in y 0.775 * [taylor]: Taking taylor expansion of 0 in y 0.775 * [approximate]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in (z y) around 0 0.775 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.775 * [taylor]: Taking taylor expansion of z in y 0.775 * [taylor]: Taking taylor expansion of 1.0 in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of 1.0 in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 0.775 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.775 * [taylor]: Taking taylor expansion of z in z 0.775 * [taylor]: Taking taylor expansion of 1.0 in z 0.775 * [taylor]: Taking taylor expansion of y in z 0.775 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.775 * [taylor]: Taking taylor expansion of 1.0 in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in (z y) around 0 0.776 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in y 0.776 * [taylor]: Taking taylor expansion of -1 in y 0.776 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 0.776 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 0.776 * [taylor]: Taking taylor expansion of 1.0 in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 0.776 * [taylor]: Taking taylor expansion of -1 in z 0.776 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 0.776 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.776 * [taylor]: Taking taylor expansion of 1.0 in z 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.776 * [taylor]: Taking taylor expansion of z in z 0.776 * [taylor]: Taking taylor expansion of y in z 0.776 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 0.776 * [taylor]: Taking taylor expansion of -1 in z 0.776 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 0.776 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 0.776 * [taylor]: Taking taylor expansion of 1.0 in z 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.777 * [taylor]: Taking taylor expansion of z in z 0.777 * [taylor]: Taking taylor expansion of y in z 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 0.777 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.777 * [taylor]: Taking taylor expansion of 1.0 in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of 0 in y 0.777 * [taylor]: Taking taylor expansion of 0 in y 0.777 * [taylor]: Taking taylor expansion of 0 in y 0.778 * * * [progress]: simplifying candidates 0.781 * [simplify]: Simplifying using # : (* (/ z (/ x z)) (/ (+ z 1.0) y)) (+ (- (log z) (- (log x) (log z))) (- (log (+ z 1.0)) (log y))) (+ (- (log z) (- (log x) (log z))) (log (/ (+ z 1.0) y))) (+ (- (log z) (log (/ x z))) (- (log (+ z 1.0)) (log y))) (+ (- (log z) (log (/ x z))) (log (/ (+ z 1.0) y))) (+ (log (/ z (/ x z))) (- (log (+ z 1.0)) (log y))) (+ (log (/ z (/ x z))) (log (/ (+ z 1.0) y))) (log (* (/ z (/ x z)) (/ (+ z 1.0) y))) (exp (* (/ z (/ x z)) (/ (+ z 1.0) y))) (* (/ (* (* z z) z) (/ (* (* x x) x) (* (* z z) z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))) (* (/ (* (* z z) z) (/ (* (* x x) x) (* (* z z) z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))) (* (/ (* (* z z) z) (* (* (/ x z) (/ x z)) (/ x z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))) (* (/ (* (* z z) z) (* (* (/ x z) (/ x z)) (/ x z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))) (* (* (* (/ z (/ x z)) (/ z (/ x z))) (/ z (/ x z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))) (* (* (* (/ z (/ x z)) (/ z (/ x z))) (/ z (/ x z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))) (* (cbrt (* (/ z (/ x z)) (/ (+ z 1.0) y))) (cbrt (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (cbrt (* (/ z (/ x z)) (/ (+ z 1.0) y))) (* (* (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* (/ z (/ x z)) (/ (+ z 1.0) y))) (* (/ z (/ x z)) (/ (+ z 1.0) y))) (sqrt (* (/ z (/ x z)) (/ (+ z 1.0) y))) (sqrt (* (/ z (/ x z)) (/ (+ z 1.0) y))) (* z (+ z 1.0)) (* (/ x z) y) (* (sqrt (/ z (/ x z))) (sqrt (/ (+ z 1.0) y))) (* (sqrt (/ z (/ x z))) (sqrt (/ (+ z 1.0) y))) (* (sqrt (/ z (/ x z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt (/ z (/ x z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ (sqrt z) (sqrt (/ x z))) (sqrt (/ (+ z 1.0) y))) (* (/ (sqrt z) (sqrt (/ x z))) (sqrt (/ (+ z 1.0) y))) (* (/ (sqrt z) (sqrt (/ x z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ (sqrt z) (sqrt (/ x z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ (sqrt z) (/ (sqrt x) (sqrt z))) (sqrt (/ (+ z 1.0) y))) (* (/ (sqrt z) (/ (sqrt x) (sqrt z))) (sqrt (/ (+ z 1.0) y))) (* (/ (sqrt z) (/ (sqrt x) (sqrt z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ (sqrt z) (/ (sqrt x) (sqrt z))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ z (/ x z)) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* (/ z (/ x z)) (sqrt (/ (+ z 1.0) y))) (* (/ z (/ x z)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y)))) (* (/ z (/ x z)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y))) (* (/ z (/ x z)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1)) (* (/ z (/ x z)) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* (/ z (/ x z)) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (/ z (/ x z)) (/ (sqrt (+ z 1.0)) 1)) (* (/ z (/ x z)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ z (/ x z)) (/ 1 (sqrt y))) (* (/ z (/ x z)) (/ 1 1)) (* (/ z (/ x z)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ z (/ x z)) (/ 1 (sqrt y))) (* (/ z (/ x z)) (/ 1 1)) (* (/ z (/ x z)) 1) (* (/ z (/ x z)) (+ z 1.0)) (* (cbrt (/ z (/ x z))) (/ (+ z 1.0) y)) (* (sqrt (/ z (/ x z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (cbrt (/ x z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (sqrt (/ x z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (cbrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (cbrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (cbrt x) z)) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (sqrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (sqrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ (sqrt x) z)) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ x (cbrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ x (sqrt z))) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ x z)) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ x z)) (/ (+ z 1.0) y)) (* (/ (cbrt z) (/ 1 z)) (/ (+ z 1.0) y)) (* (/ (sqrt z) (cbrt (/ x z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (sqrt (/ x z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (cbrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (cbrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (cbrt x) z)) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (sqrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (sqrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ (sqrt x) z)) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ x (cbrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ x (sqrt z))) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ x z)) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ x z)) (/ (+ z 1.0) y)) (* (/ (sqrt z) (/ 1 z)) (/ (+ z 1.0) y)) (* (/ z (cbrt (/ x z))) (/ (+ z 1.0) y)) (* (/ z (sqrt (/ x z))) (/ (+ z 1.0) y)) (* (/ z (/ (cbrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ z (/ (cbrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ z (/ (cbrt x) z)) (/ (+ z 1.0) y)) (* (/ z (/ (sqrt x) (cbrt z))) (/ (+ z 1.0) y)) (* (/ z (/ (sqrt x) (sqrt z))) (/ (+ z 1.0) y)) (* (/ z (/ (sqrt x) z)) (/ (+ z 1.0) y)) (* (/ z (/ x (cbrt z))) (/ (+ z 1.0) y)) (* (/ z (/ x (sqrt z))) (/ (+ z 1.0) y)) (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* (/ z (/ 1 z)) (/ (+ z 1.0) y)) (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* (/ 1 (/ x z)) (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y)) (* (/ z (/ x z)) (+ z 1.0)) (* z (/ (+ z 1.0) y)) (neg 1) (neg 1) (neg (+ (- (log z) (- (log x) (log z))) (- (log (+ z 1.0)) (log y)))) (neg (+ (- (log z) (- (log x) (log z))) (log (/ (+ z 1.0) y)))) (neg (+ (- (log z) (log (/ x z))) (- (log (+ z 1.0)) (log y)))) (neg (+ (- (log z) (log (/ x z))) (log (/ (+ z 1.0) y)))) (neg (+ (log (/ z (/ x z))) (- (log (+ z 1.0)) (log y)))) (neg (+ (log (/ z (/ x z))) (log (/ (+ z 1.0) y)))) (neg (log (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (- 0 (+ (- (log z) (- (log x) (log z))) (- (log (+ z 1.0)) (log y)))) (- 0 (+ (- (log z) (- (log x) (log z))) (log (/ (+ z 1.0) y)))) (- 0 (+ (- (log z) (log (/ x z))) (- (log (+ z 1.0)) (log y)))) (- 0 (+ (- (log z) (log (/ x z))) (log (/ (+ z 1.0) y)))) (- 0 (+ (log (/ z (/ x z))) (- (log (+ z 1.0)) (log y)))) (- 0 (+ (log (/ z (/ x z))) (log (/ (+ z 1.0) y)))) (- 0 (log (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (- (log 1) (+ (- (log z) (- (log x) (log z))) (- (log (+ z 1.0)) (log y)))) (- (log 1) (+ (- (log z) (- (log x) (log z))) (log (/ (+ z 1.0) y)))) (- (log 1) (+ (- (log z) (log (/ x z))) (- (log (+ z 1.0)) (log y)))) (- (log 1) (+ (- (log z) (log (/ x z))) (log (/ (+ z 1.0) y)))) (- (log 1) (+ (log (/ z (/ x z))) (- (log (+ z 1.0)) (log y)))) (- (log 1) (+ (log (/ z (/ x z))) (log (/ (+ z 1.0) y)))) (- (log 1) (log (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (log (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (exp (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (/ (* (* x x) x) (* (* z z) z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (/ (* (* x x) x) (* (* z z) z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (* (* (/ x z) (/ x z)) (/ x z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (* (* (/ x z) (/ x z)) (/ x z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (/ (* (* 1 1) 1) (* (* (* (/ z (/ x z)) (/ z (/ x z))) (/ z (/ x z))) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (/ (* (* 1 1) 1) (* (* (* (/ z (/ x z)) (/ z (/ x z))) (/ z (/ x z))) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (/ (* (* 1 1) 1) (* (* (* (/ z (/ x z)) (/ (+ z 1.0) y)) (* (/ z (/ x z)) (/ (+ z 1.0) y))) (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (* (cbrt (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (cbrt (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y))))) (cbrt (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (* (* (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y))) (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (sqrt (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (sqrt (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y)))) (neg 1) (neg (* (/ z (/ x z)) (/ (+ z 1.0) y))) (/ (* (cbrt 1) (cbrt 1)) (/ z (/ x z))) (/ (cbrt 1) (/ (+ z 1.0) y)) (/ (sqrt 1) (/ z (/ x z))) (/ (sqrt 1) (/ (+ z 1.0) y)) (/ 1 (/ z (/ x z))) (/ 1 (/ (+ z 1.0) y)) (/ 1 (* (/ z (/ x z)) (/ (+ z 1.0) y))) (/ (* (/ z (/ x z)) (/ (+ z 1.0) y)) 1) (/ 1 (/ z (/ x z))) (/ (* (/ z (/ x z)) (/ (+ z 1.0) y)) (cbrt 1)) (/ (* (/ z (/ x z)) (/ (+ z 1.0) y)) (sqrt 1)) (/ (* (/ z (/ x z)) (/ (+ z 1.0) y)) 1) (/ 1 (* z (+ z 1.0))) (/ 1 (* (/ z (/ x z)) (+ z 1.0))) (/ 1 (* z (/ (+ z 1.0) y))) (- (log z) (- (log x) (log z))) (- (log z) (log (/ x z))) (log (/ z (/ x z))) (exp (/ z (/ x z))) (/ (* (* z z) z) (/ (* (* x x) x) (* (* z z) z))) (/ (* (* z z) z) (* (* (/ x z) (/ x z)) (/ x z))) (* (cbrt (/ z (/ x z))) (cbrt (/ z (/ x z)))) (cbrt (/ z (/ x z))) (* (* (/ z (/ x z)) (/ z (/ x z))) (/ z (/ x z))) (sqrt (/ z (/ x z))) (sqrt (/ z (/ x z))) (neg z) (neg (/ x z)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (cbrt z) (cbrt (/ x z))) (/ (* (cbrt z) (cbrt z)) (sqrt (/ x z))) (/ (cbrt z) (sqrt (/ x z))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (/ (cbrt z) (/ (cbrt x) (cbrt z))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt x) (cbrt x)) (sqrt z))) (/ (cbrt z) (/ (cbrt x) (sqrt z))) (/ (* (cbrt z) (cbrt z)) (/ (* (cbrt x) (cbrt x)) 1)) (/ (cbrt z) (/ (cbrt x) z)) (/ (* (cbrt z) (cbrt z)) (/ (sqrt x) (* (cbrt z) (cbrt z)))) (/ (cbrt z) (/ (sqrt x) (cbrt z))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt x) (sqrt z))) (/ (cbrt z) (/ (sqrt x) (sqrt z))) (/ (* (cbrt z) (cbrt z)) (/ (sqrt x) 1)) (/ (cbrt z) (/ (sqrt x) z)) (/ (* (cbrt z) (cbrt z)) (/ 1 (* (cbrt z) (cbrt z)))) (/ (cbrt z) (/ x (cbrt z))) (/ (* (cbrt z) (cbrt z)) (/ 1 (sqrt z))) (/ (cbrt z) (/ x (sqrt z))) (/ (* (cbrt z) (cbrt z)) (/ 1 1)) (/ (cbrt z) (/ x z)) (/ (* (cbrt z) (cbrt z)) 1) (/ (cbrt z) (/ x z)) (/ (* (cbrt z) (cbrt z)) x) (/ (cbrt z) (/ 1 z)) (/ (sqrt z) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (sqrt z) (cbrt (/ x z))) (/ (sqrt z) (sqrt (/ x z))) (/ (sqrt z) (sqrt (/ x z))) (/ (sqrt z) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (/ (sqrt z) (/ (cbrt x) (cbrt z))) (/ (sqrt z) (/ (* (cbrt x) (cbrt x)) (sqrt z))) (/ (sqrt z) (/ (cbrt x) (sqrt z))) (/ (sqrt z) (/ (* (cbrt x) (cbrt x)) 1)) (/ (sqrt z) (/ (cbrt x) z)) (/ (sqrt z) (/ (sqrt x) (* (cbrt z) (cbrt z)))) (/ (sqrt z) (/ (sqrt x) (cbrt z))) (/ (sqrt z) (/ (sqrt x) (sqrt z))) (/ (sqrt z) (/ (sqrt x) (sqrt z))) (/ (sqrt z) (/ (sqrt x) 1)) (/ (sqrt z) (/ (sqrt x) z)) (/ (sqrt z) (/ 1 (* (cbrt z) (cbrt z)))) (/ (sqrt z) (/ x (cbrt z))) (/ (sqrt z) (/ 1 (sqrt z))) (/ (sqrt z) (/ x (sqrt z))) (/ (sqrt z) (/ 1 1)) (/ (sqrt z) (/ x z)) (/ (sqrt z) 1) (/ (sqrt z) (/ x z)) (/ (sqrt z) x) (/ (sqrt z) (/ 1 z)) (/ 1 (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ z (cbrt (/ x z))) (/ 1 (sqrt (/ x z))) (/ z (sqrt (/ x z))) (/ 1 (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (/ z (/ (cbrt x) (cbrt z))) (/ 1 (/ (* (cbrt x) (cbrt x)) (sqrt z))) (/ z (/ (cbrt x) (sqrt z))) (/ 1 (/ (* (cbrt x) (cbrt x)) 1)) (/ z (/ (cbrt x) z)) (/ 1 (/ (sqrt x) (* (cbrt z) (cbrt z)))) (/ z (/ (sqrt x) (cbrt z))) (/ 1 (/ (sqrt x) (sqrt z))) (/ z (/ (sqrt x) (sqrt z))) (/ 1 (/ (sqrt x) 1)) (/ z (/ (sqrt x) z)) (/ 1 (/ 1 (* (cbrt z) (cbrt z)))) (/ z (/ x (cbrt z))) (/ 1 (/ 1 (sqrt z))) (/ z (/ x (sqrt z))) (/ 1 (/ 1 1)) (/ z (/ x z)) (/ 1 1) (/ z (/ x z)) (/ 1 x) (/ z (/ 1 z)) (/ 1 (/ x z)) (/ (/ x z) z) (/ z (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ z (sqrt (/ x z))) (/ z (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z)))) (/ z (/ (* (cbrt x) (cbrt x)) (sqrt z))) (/ z (/ (* (cbrt x) (cbrt x)) 1)) (/ z (/ (sqrt x) (* (cbrt z) (cbrt z)))) (/ z (/ (sqrt x) (sqrt z))) (/ z (/ (sqrt x) 1)) (/ z (/ 1 (* (cbrt z) (cbrt z)))) (/ z (/ 1 (sqrt z))) (/ z (/ 1 1)) (/ z 1) (/ z x) (/ (/ x z) (cbrt z)) (/ (/ x z) (sqrt z)) (/ (/ x z) z) (/ z x) (- (log (+ z 1.0)) (log y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (neg (+ z 1.0)) (neg y) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y)) (/ (cbrt (+ z 1.0)) (sqrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) 1) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) 1) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (- (* 1.0 1.0) (* z 1.0)))) (* y (- z 1.0)) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (/ (pow z 2) x) (/ (pow z 2) x) (/ (pow z 2) x) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) 0.840 * * [simplify]: iteration 0 : 4967 enodes (cost 2859 ) 0.840 * * [simplify]: iteration 1 : 4967 enodes (cost 2859 ) 0.855 * [simplify]: Simplified to: (* (* z (/ z x)) (/ (+ z 1.0) y)) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (log (* (* z (/ z x)) (/ (+ z 1.0) y))) (pow (pow (exp (/ z x)) z) (/ (+ z 1.0) y)) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (* (cbrt (* (* z (/ z x)) (/ (+ z 1.0) y))) (cbrt (* (* z (/ z x)) (/ (+ z 1.0) y)))) (cbrt (* (* z (/ z x)) (/ (+ z 1.0) y))) (pow (* (* z (/ z x)) (/ (+ z 1.0) y)) 3) (sqrt (* (* z (/ z x)) (/ (+ z 1.0) y))) (sqrt (* (* z (/ z x)) (/ (+ z 1.0) y))) (* z (+ z 1.0)) (* (/ x z) y) (* (sqrt (* z (/ z x))) (sqrt (/ (+ z 1.0) y))) (* (sqrt (* z (/ z x))) (sqrt (/ (+ z 1.0) y))) (* (sqrt (* z (/ z x))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt (* z (/ z x))) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt (/ (+ z 1.0) y)) (/ (sqrt z) (sqrt (/ x z)))) (* (sqrt (/ (+ z 1.0) y)) (/ (sqrt z) (sqrt (/ x z)))) (* (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt z) (sqrt (/ x z)))) (* (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt z) (sqrt (/ x z)))) (* (sqrt (/ (+ z 1.0) y)) (/ z (sqrt x))) (* (sqrt (/ (+ z 1.0) y)) (/ z (sqrt x))) (* (/ (sqrt (+ z 1.0)) (sqrt y)) (/ z (sqrt x))) (* (/ (sqrt (+ z 1.0)) (sqrt y)) (/ z (sqrt x))) (* (* z (/ z x)) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* (* z (/ z x)) (sqrt (/ (+ z 1.0) y))) (* (* z (/ z x)) (* (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (cbrt (+ z 1.0)) (cbrt y)))) (* (* z (/ z x)) (* (/ (cbrt (+ z 1.0)) (sqrt y)) (cbrt (+ z 1.0)))) (* (* z (/ z x)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* (* z (/ z x)) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* (* z (/ z x)) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (* z (/ z x)) (sqrt (+ z 1.0))) (* (/ z x) (/ z (* (cbrt y) (cbrt y)))) (* (/ z x) (/ z (sqrt y))) (* z (/ z x)) (* (/ z x) (/ z (* (cbrt y) (cbrt y)))) (* (/ z x) (/ z (sqrt y))) (* z (/ z x)) (* z (/ z x)) (* z (* (+ z 1.0) (/ z x))) (* (/ (+ z 1.0) y) (cbrt (* z (/ z x)))) (* (/ (+ z 1.0) y) (sqrt (* z (/ z x)))) (* (/ (+ z 1.0) y) (/ (cbrt z) (cbrt (/ x z)))) (* (/ (+ z 1.0) y) (/ (cbrt z) (sqrt (/ x z)))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (cbrt z) (cbrt x)))) (* (/ (+ z 1.0) y) (* (sqrt z) (/ (cbrt z) (cbrt x)))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) (cbrt x)))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (cbrt z) (sqrt x)))) (* (/ (+ z 1.0) y) (* (sqrt z) (/ (cbrt z) (sqrt x)))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) (sqrt x)))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (cbrt z) x))) (* (/ (+ z 1.0) y) (* (sqrt z) (/ (cbrt z) x))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) x))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) x))) (* (/ (+ z 1.0) y) (* z (cbrt z))) (* (/ (+ z 1.0) y) (/ (sqrt z) (cbrt (/ x z)))) (* (/ (+ z 1.0) y) (/ (sqrt z) (sqrt (/ x z)))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (sqrt z) (cbrt x)))) (* (/ (+ z 1.0) y) (/ z (cbrt x))) (* (/ (+ z 1.0) y) (/ (pow z 3/2) (cbrt x))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (sqrt z) (sqrt x)))) (* (/ (+ z 1.0) y) (/ z (sqrt x))) (* (/ (+ z 1.0) y) (/ (pow z 3/2) (sqrt x))) (* (/ (+ z 1.0) y) (* (cbrt z) (/ (sqrt z) x))) (* (/ (+ z 1.0) y) (/ z x)) (* (/ (+ z 1.0) y) (/ (pow z 3/2) x)) (* (/ (+ z 1.0) y) (/ (pow z 3/2) x)) (* (/ (+ z 1.0) y) (pow z 3/2)) (* (/ (+ z 1.0) y) (/ z (cbrt (/ x z)))) (* (/ (+ z 1.0) y) (/ z (sqrt (/ x z)))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) (cbrt x)))) (* (/ (+ z 1.0) y) (/ (pow z 3/2) (cbrt x))) (* (/ (+ z 1.0) y) (* z (/ z (cbrt x)))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) (sqrt x)))) (* (/ (+ z 1.0) y) (/ (pow z 3/2) (sqrt x))) (* (/ (+ z 1.0) y) (* z (/ z (sqrt x)))) (* (/ (+ z 1.0) y) (* z (/ (cbrt z) x))) (* (/ (+ z 1.0) y) (/ (pow z 3/2) x)) (* (* z (/ z x)) (/ (+ z 1.0) y)) (* (* z (/ z x)) (/ (+ z 1.0) y)) (* z (* z (/ (+ z 1.0) y))) (* (* z (/ z x)) (/ (+ z 1.0) y)) (* (/ (+ z 1.0) y) (/ z x)) (* z (/ (+ z 1.0) y)) (* z (* (+ z 1.0) (/ z x))) (* z (/ (+ z 1.0) y)) -1 -1 (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (log (* (/ x (* z z)) (/ y (+ z 1.0)))) (pow (exp (/ x (* z z))) (/ y (+ z 1.0))) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (* (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0))))) (cbrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (pow (* (/ x (* z z)) (/ y (+ z 1.0))) 3) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) (sqrt (* (/ x (* z z)) (/ y (+ z 1.0)))) -1 (* (* z (/ z x)) (/ (- (neg z) 1.0) y)) (* (/ x z) (/ (cbrt 1) (/ z (cbrt 1)))) (* y (/ (cbrt 1) (+ z 1.0))) (/ x (* z z)) (/ y (+ z 1.0)) (/ x (* z z)) (/ y (+ z 1.0)) (* (/ x (* z z)) (/ y (+ z 1.0))) (* (* z (/ z x)) (/ (+ z 1.0) y)) (/ x (* z z)) (* (/ z (* (cbrt 1) (/ x z))) (/ (+ z 1.0) y)) (* (* z (/ z x)) (/ (+ z 1.0) y)) (* (* z (/ z x)) (/ (+ z 1.0) y)) (/ 1 (* z (+ z 1.0))) (/ (/ x (* z z)) (+ z 1.0)) (/ (/ y (+ z 1.0)) z) (log (* z (/ z x))) (log (* z (/ z x))) (log (* z (/ z x))) (pow (exp (/ z x)) z) (/ (pow z 6) (pow x 3)) (/ (pow z 6) (pow x 3)) (* (cbrt (* z (/ z x))) (cbrt (* z (/ z x)))) (cbrt (* z (/ z x))) (/ (pow z 6) (pow x 3)) (sqrt (* z (/ z x))) (sqrt (* z (/ z x))) (neg z) (/ (neg x) z) (* (/ (cbrt z) (cbrt (/ x z))) (/ (cbrt z) (cbrt (/ x z)))) (/ (cbrt z) (cbrt (/ x z))) (* (/ (cbrt z) (sqrt (/ x z))) (cbrt z)) (/ (cbrt z) (sqrt (/ x z))) (/ (pow (cbrt z) 4) (* (cbrt x) (cbrt x))) (* (cbrt z) (/ (cbrt z) (cbrt x))) (* (sqrt z) (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x)))) (* (sqrt z) (/ (cbrt z) (cbrt x))) (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))) (* z (/ (cbrt z) (cbrt x))) (/ (pow (cbrt z) 4) (sqrt x)) (* (cbrt z) (/ (cbrt z) (sqrt x))) (* (sqrt z) (* (cbrt z) (/ (cbrt z) (sqrt x)))) (* (sqrt z) (/ (cbrt z) (sqrt x))) (* (cbrt z) (/ (cbrt z) (sqrt x))) (* z (/ (cbrt z) (sqrt x))) (pow (cbrt z) 4) (* (cbrt z) (/ (cbrt z) x)) (* (sqrt z) (* (cbrt z) (cbrt z))) (* (sqrt z) (/ (cbrt z) x)) (* (cbrt z) (cbrt z)) (* z (/ (cbrt z) x)) (* (cbrt z) (cbrt z)) (* z (/ (cbrt z) x)) (* (cbrt z) (/ (cbrt z) x)) (* z (cbrt z)) (/ (sqrt z) (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ (sqrt z) (cbrt (/ x z))) (/ (sqrt z) (sqrt (/ x z))) (/ (sqrt z) (sqrt (/ x z))) (* (sqrt z) (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x)))) (* (cbrt z) (/ (sqrt z) (cbrt x))) (/ z (* (cbrt x) (cbrt x))) (/ z (cbrt x)) (/ (sqrt z) (* (cbrt x) (cbrt x))) (/ (pow z 3/2) (cbrt x)) (* (sqrt z) (* (cbrt z) (/ (cbrt z) (sqrt x)))) (* (cbrt z) (/ (sqrt z) (sqrt x))) (/ z (sqrt x)) (/ z (sqrt x)) (/ (sqrt z) (sqrt x)) (/ (pow z 3/2) (sqrt x)) (* (sqrt z) (* (cbrt z) (cbrt z))) (* (cbrt z) (/ (sqrt z) x)) z (/ z x) (sqrt z) (/ (pow z 3/2) x) (sqrt z) (/ (pow z 3/2) x) (/ (sqrt z) x) (pow z 3/2) (/ 1 (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ z (cbrt (/ x z))) (/ 1 (sqrt (/ x z))) (/ z (sqrt (/ x z))) (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))) (* z (/ (cbrt z) (cbrt x))) (/ (sqrt z) (* (cbrt x) (cbrt x))) (/ (pow z 3/2) (cbrt x)) (/ 1 (* (cbrt x) (cbrt x))) (* z (/ z (cbrt x))) (* (cbrt z) (/ (cbrt z) (sqrt x))) (* z (/ (cbrt z) (sqrt x))) (/ (sqrt z) (sqrt x)) (/ (pow z 3/2) (sqrt x)) (/ 1 (sqrt x)) (* z (/ z (sqrt x))) (* (cbrt z) (cbrt z)) (* z (/ (cbrt z) x)) (sqrt z) (/ (pow z 3/2) x) 1 (* z (/ z x)) 1 (* z (/ z x)) (/ 1 x) (* z z) (/ z x) (/ x (* z z)) (/ z (* (cbrt (/ x z)) (cbrt (/ x z)))) (/ z (sqrt (/ x z))) (* (/ z (cbrt x)) (* (cbrt z) (/ (cbrt z) (cbrt x)))) (/ (pow z 3/2) (* (cbrt x) (cbrt x))) (/ z (* (cbrt x) (cbrt x))) (* (/ z (sqrt x)) (* (cbrt z) (cbrt z))) (/ (pow z 3/2) (sqrt x)) (/ z (sqrt x)) (* z (* (cbrt z) (cbrt z))) (pow z 3/2) z z (/ z x) (/ x (* z (cbrt z))) (/ x (pow z 3/2)) (/ x (* z z)) (/ z x) (log (/ (+ z 1.0) y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (- (neg z) 1.0) (neg y) (* (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (cbrt (+ z 1.0)) (cbrt y))) (/ (cbrt (+ z 1.0)) (cbrt y)) (* (/ (cbrt (+ z 1.0)) (sqrt y)) (cbrt (+ z 1.0))) (/ (cbrt (+ z 1.0)) (sqrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (sqrt (+ z 1.0)) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (+ z 1.0) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (* 1.0 (- 1.0 z)))) (* y (- z 1.0)) (* (* z (/ z x)) (+ (/ 1.0 y) (/ z y))) (* (* z (/ z x)) (+ (/ 1.0 y) (/ z y))) (* (* z (/ z x)) (+ (/ 1.0 y) (/ z y))) (* 1.0 (+ (* x y) (* (/ x z) (- (/ y z) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (* z (/ z x)) (* z (/ z x)) (* z (/ z x)) (+ (/ 1.0 y) (/ z y)) (+ (/ 1.0 y) (/ z y)) (+ (/ 1.0 y) (/ z y)) 0.856 * * * [progress]: adding candidates to table 1.121 * * [progress]: iteration 3 / 4 1.121 * * * [progress]: picking best candidate 1.145 * * * * [pick]: Picked # 1.145 * * * [progress]: localizing error 1.155 * * * [progress]: generating rewritten candidates 1.155 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.167 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1.179 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.187 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 1.198 * * * [progress]: generating series expansions 1.198 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.198 * [approximate]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in (z x y) around 0 1.198 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in y 1.198 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 1.198 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.199 * [taylor]: Taking taylor expansion of z in y 1.199 * [taylor]: Taking taylor expansion of 1.0 in y 1.199 * [taylor]: Taking taylor expansion of (* x y) in y 1.199 * [taylor]: Taking taylor expansion of x in y 1.199 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in x 1.199 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 1.199 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.199 * [taylor]: Taking taylor expansion of z in x 1.199 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 1.199 * [taylor]: Taking taylor expansion of z in x 1.199 * [taylor]: Taking taylor expansion of 1.0 in x 1.199 * [taylor]: Taking taylor expansion of (* x y) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of y in x 1.199 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in z 1.199 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 1.199 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.199 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.199 * [taylor]: Taking taylor expansion of 1.0 in z 1.199 * [taylor]: Taking taylor expansion of (* x y) in z 1.199 * [taylor]: Taking taylor expansion of x in z 1.199 * [taylor]: Taking taylor expansion of y in z 1.199 * [taylor]: Taking taylor expansion of (/ (* (pow z 2) (+ z 1.0)) (* x y)) in z 1.199 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 1.199 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.200 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of 1.0 in z 1.200 * [taylor]: Taking taylor expansion of (* x y) in z 1.200 * [taylor]: Taking taylor expansion of x in z 1.200 * [taylor]: Taking taylor expansion of y in z 1.200 * [taylor]: Taking taylor expansion of (/ 1.0 (* x y)) in x 1.200 * [taylor]: Taking taylor expansion of 1.0 in x 1.200 * [taylor]: Taking taylor expansion of (* x y) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of y in x 1.200 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.200 * [taylor]: Taking taylor expansion of 1.0 in y 1.200 * [taylor]: Taking taylor expansion of y in y 1.200 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.200 * [taylor]: Taking taylor expansion of (* x y) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of y in x 1.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.200 * [taylor]: Taking taylor expansion of y in y 1.200 * [taylor]: Taking taylor expansion of 0 in y 1.201 * [taylor]: Taking taylor expansion of 0 in x 1.201 * [taylor]: Taking taylor expansion of 0 in y 1.201 * [taylor]: Taking taylor expansion of 0 in y 1.201 * [taylor]: Taking taylor expansion of 0 in x 1.201 * [taylor]: Taking taylor expansion of 0 in y 1.202 * [taylor]: Taking taylor expansion of 0 in y 1.202 * [taylor]: Taking taylor expansion of 0 in y 1.202 * [approximate]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in (z x y) around 0 1.202 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in y 1.202 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 1.202 * [taylor]: Taking taylor expansion of x in y 1.202 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.202 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.202 * [taylor]: Taking taylor expansion of z in y 1.202 * [taylor]: Taking taylor expansion of 1.0 in y 1.202 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.202 * [taylor]: Taking taylor expansion of z in y 1.203 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in x 1.203 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 1.203 * [taylor]: Taking taylor expansion of x in x 1.203 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.203 * [taylor]: Taking taylor expansion of z in x 1.203 * [taylor]: Taking taylor expansion of 1.0 in x 1.203 * [taylor]: Taking taylor expansion of y in x 1.203 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.203 * [taylor]: Taking taylor expansion of z in x 1.203 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in z 1.203 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 1.203 * [taylor]: Taking taylor expansion of x in z 1.203 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.203 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.203 * [taylor]: Taking taylor expansion of z in z 1.203 * [taylor]: Taking taylor expansion of 1.0 in z 1.203 * [taylor]: Taking taylor expansion of y in z 1.203 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.203 * [taylor]: Taking taylor expansion of z in z 1.203 * [taylor]: Taking taylor expansion of (/ (* x (* (+ (/ 1 z) 1.0) y)) (pow z 2)) in z 1.203 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 1.203 * [taylor]: Taking taylor expansion of x in z 1.204 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.204 * [taylor]: Taking taylor expansion of 1.0 in z 1.204 * [taylor]: Taking taylor expansion of y in z 1.204 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.204 * [taylor]: Taking taylor expansion of (* x y) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.204 * [taylor]: Taking taylor expansion of y in x 1.204 * [taylor]: Taking taylor expansion of y in y 1.204 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.204 * [taylor]: Taking taylor expansion of 1.0 in x 1.204 * [taylor]: Taking taylor expansion of (* x y) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.204 * [taylor]: Taking taylor expansion of y in x 1.204 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.204 * [taylor]: Taking taylor expansion of 1.0 in y 1.204 * [taylor]: Taking taylor expansion of y in y 1.204 * [taylor]: Taking taylor expansion of 0 in y 1.205 * [taylor]: Taking taylor expansion of 0 in x 1.205 * [taylor]: Taking taylor expansion of 0 in y 1.205 * [taylor]: Taking taylor expansion of 0 in y 1.205 * [taylor]: Taking taylor expansion of 0 in y 1.205 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in (z x y) around 0 1.205 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in y 1.205 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 1.205 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.205 * [taylor]: Taking taylor expansion of 1.0 in y 1.205 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.205 * [taylor]: Taking taylor expansion of z in y 1.205 * [taylor]: Taking taylor expansion of (* x y) in y 1.205 * [taylor]: Taking taylor expansion of x in y 1.205 * [taylor]: Taking taylor expansion of y in y 1.205 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.205 * [taylor]: Taking taylor expansion of z in y 1.206 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in x 1.206 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 1.206 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 1.206 * [taylor]: Taking taylor expansion of 1.0 in x 1.206 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of (* x y) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.206 * [taylor]: Taking taylor expansion of y in x 1.206 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.206 * [taylor]: Taking taylor expansion of z in x 1.206 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in z 1.206 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 1.206 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.206 * [taylor]: Taking taylor expansion of 1.0 in z 1.206 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.206 * [taylor]: Taking taylor expansion of (* x y) in z 1.206 * [taylor]: Taking taylor expansion of x in z 1.206 * [taylor]: Taking taylor expansion of y in z 1.206 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.206 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) (* x y)) (pow z 2)) in z 1.206 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 1.207 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.207 * [taylor]: Taking taylor expansion of 1.0 in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of (* x y) in z 1.207 * [taylor]: Taking taylor expansion of x in z 1.207 * [taylor]: Taking taylor expansion of y in z 1.207 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x 1.207 * [taylor]: Taking taylor expansion of -1 in x 1.207 * [taylor]: Taking taylor expansion of (* x y) in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of y in x 1.207 * [taylor]: Taking taylor expansion of (neg y) in y 1.207 * [taylor]: Taking taylor expansion of y in y 1.207 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.207 * [taylor]: Taking taylor expansion of 1.0 in x 1.207 * [taylor]: Taking taylor expansion of (* x y) in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of y in x 1.207 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.207 * [taylor]: Taking taylor expansion of 1.0 in y 1.207 * [taylor]: Taking taylor expansion of y in y 1.207 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of 0 in x 1.208 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of 0 in y 1.208 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1.208 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (z x y) around 0 1.208 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 1.208 * [taylor]: Taking taylor expansion of (* x y) in y 1.208 * [taylor]: Taking taylor expansion of x in y 1.209 * [taylor]: Taking taylor expansion of y in y 1.209 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 1.209 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.209 * [taylor]: Taking taylor expansion of z in y 1.209 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.209 * [taylor]: Taking taylor expansion of z in y 1.209 * [taylor]: Taking taylor expansion of 1.0 in y 1.209 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 1.209 * [taylor]: Taking taylor expansion of (* x y) in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of y in x 1.209 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 1.209 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.209 * [taylor]: Taking taylor expansion of z in x 1.209 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 1.209 * [taylor]: Taking taylor expansion of z in x 1.209 * [taylor]: Taking taylor expansion of 1.0 in x 1.209 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 1.209 * [taylor]: Taking taylor expansion of (* x y) in z 1.209 * [taylor]: Taking taylor expansion of x in z 1.209 * [taylor]: Taking taylor expansion of y in z 1.209 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 1.209 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of 1.0 in z 1.209 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 1.209 * [taylor]: Taking taylor expansion of (* x y) in z 1.209 * [taylor]: Taking taylor expansion of x in z 1.209 * [taylor]: Taking taylor expansion of y in z 1.209 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 1.209 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.210 * [taylor]: Taking taylor expansion of 1.0 in z 1.210 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.210 * [taylor]: Taking taylor expansion of 1.0 in x 1.210 * [taylor]: Taking taylor expansion of (* x y) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of y in x 1.210 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.210 * [taylor]: Taking taylor expansion of 1.0 in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of (neg (* 1.0 (* x y))) in x 1.210 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.210 * [taylor]: Taking taylor expansion of 1.0 in x 1.210 * [taylor]: Taking taylor expansion of (* x y) in x 1.210 * [taylor]: Taking taylor expansion of x in x 1.210 * [taylor]: Taking taylor expansion of y in x 1.210 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 1.210 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.210 * [taylor]: Taking taylor expansion of 1.0 in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of 0 in y 1.211 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 1.211 * [taylor]: Taking taylor expansion of 1.0 in x 1.211 * [taylor]: Taking taylor expansion of (* x y) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.211 * [taylor]: Taking taylor expansion of 1.0 in y 1.211 * [taylor]: Taking taylor expansion of y in y 1.211 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (z x y) around 0 1.211 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 1.211 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.211 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 1.211 * [taylor]: Taking taylor expansion of x in y 1.211 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.211 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.211 * [taylor]: Taking taylor expansion of 1.0 in y 1.211 * [taylor]: Taking taylor expansion of y in y 1.212 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 1.212 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.212 * [taylor]: Taking taylor expansion of z in x 1.212 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 1.212 * [taylor]: Taking taylor expansion of x in x 1.212 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 1.212 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.212 * [taylor]: Taking taylor expansion of z in x 1.212 * [taylor]: Taking taylor expansion of 1.0 in x 1.212 * [taylor]: Taking taylor expansion of y in x 1.212 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 1.212 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 1.212 * [taylor]: Taking taylor expansion of x in z 1.212 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of 1.0 in z 1.212 * [taylor]: Taking taylor expansion of y in z 1.213 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 1.213 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.213 * [taylor]: Taking taylor expansion of z in z 1.213 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 1.213 * [taylor]: Taking taylor expansion of x in z 1.213 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.213 * [taylor]: Taking taylor expansion of z in z 1.213 * [taylor]: Taking taylor expansion of 1.0 in z 1.213 * [taylor]: Taking taylor expansion of y in z 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.213 * [taylor]: Taking taylor expansion of (* x y) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.213 * [taylor]: Taking taylor expansion of y in y 1.213 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 1.213 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.213 * [taylor]: Taking taylor expansion of 1.0 in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.213 * [taylor]: Taking taylor expansion of (* x y) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.213 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.213 * [taylor]: Taking taylor expansion of 1.0 in y 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.213 * [taylor]: Taking taylor expansion of y in y 1.214 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.214 * [taylor]: Taking taylor expansion of 1.0 in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.214 * [taylor]: Taking taylor expansion of (* x y) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of y in x 1.214 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.214 * [taylor]: Taking taylor expansion of 1.0 in y 1.214 * [taylor]: Taking taylor expansion of y in y 1.215 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (z x y) around 0 1.215 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 1.215 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 1.215 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.215 * [taylor]: Taking taylor expansion of 1.0 in y 1.215 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of (* x y) in y 1.215 * [taylor]: Taking taylor expansion of x in y 1.215 * [taylor]: Taking taylor expansion of y in y 1.215 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 1.215 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.215 * [taylor]: Taking taylor expansion of z in x 1.215 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 1.215 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 1.215 * [taylor]: Taking taylor expansion of 1.0 in x 1.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.215 * [taylor]: Taking taylor expansion of z in x 1.215 * [taylor]: Taking taylor expansion of (* x y) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of y in x 1.216 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 1.216 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 1.216 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.216 * [taylor]: Taking taylor expansion of 1.0 in z 1.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of (* x y) in z 1.216 * [taylor]: Taking taylor expansion of x in z 1.216 * [taylor]: Taking taylor expansion of y in z 1.216 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 1.216 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 1.216 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.216 * [taylor]: Taking taylor expansion of 1.0 in z 1.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of (* x y) in z 1.216 * [taylor]: Taking taylor expansion of x in z 1.216 * [taylor]: Taking taylor expansion of y in z 1.216 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x 1.216 * [taylor]: Taking taylor expansion of -1 in x 1.216 * [taylor]: Taking taylor expansion of (* x y) in x 1.216 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of y in x 1.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.217 * [taylor]: Taking taylor expansion of -1 in y 1.217 * [taylor]: Taking taylor expansion of y in y 1.217 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 1.217 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.217 * [taylor]: Taking taylor expansion of 1.0 in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.217 * [taylor]: Taking taylor expansion of (* x y) in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of y in x 1.217 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.217 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.217 * [taylor]: Taking taylor expansion of 1.0 in y 1.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.217 * [taylor]: Taking taylor expansion of y in y 1.217 * [taylor]: Taking taylor expansion of 0 in y 1.218 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (* x y)))) in x 1.218 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 1.218 * [taylor]: Taking taylor expansion of 1.0 in x 1.218 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.218 * [taylor]: Taking taylor expansion of (* x y) in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.218 * [taylor]: Taking taylor expansion of y in x 1.218 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.218 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.218 * [taylor]: Taking taylor expansion of 1.0 in y 1.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.218 * [taylor]: Taking taylor expansion of y in y 1.218 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.219 * [approximate]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in (z y) around 0 1.219 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in y 1.219 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of 1.0 in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in z 1.219 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of 1.0 in z 1.219 * [taylor]: Taking taylor expansion of y in z 1.219 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in z 1.219 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of 1.0 in z 1.219 * [taylor]: Taking taylor expansion of y in z 1.219 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.219 * [taylor]: Taking taylor expansion of 1.0 in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.220 * [taylor]: Taking taylor expansion of 0 in y 1.220 * [taylor]: Taking taylor expansion of 0 in y 1.220 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in (z y) around 0 1.220 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in y 1.220 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.220 * [taylor]: Taking taylor expansion of z in y 1.220 * [taylor]: Taking taylor expansion of 1.0 in y 1.220 * [taylor]: Taking taylor expansion of y in y 1.220 * [taylor]: Taking taylor expansion of z in y 1.220 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in z 1.220 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of 1.0 in z 1.221 * [taylor]: Taking taylor expansion of y in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in z 1.221 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.221 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of 1.0 in z 1.221 * [taylor]: Taking taylor expansion of y in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of y in y 1.221 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.221 * [taylor]: Taking taylor expansion of 1.0 in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.221 * [taylor]: Taking taylor expansion of 0 in y 1.221 * [taylor]: Taking taylor expansion of 0 in y 1.222 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in (z y) around 0 1.222 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in y 1.222 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 1.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.222 * [taylor]: Taking taylor expansion of 1.0 in y 1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.222 * [taylor]: Taking taylor expansion of z in y 1.222 * [taylor]: Taking taylor expansion of y in y 1.222 * [taylor]: Taking taylor expansion of z in y 1.222 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in z 1.222 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.222 * [taylor]: Taking taylor expansion of 1.0 in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of y in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in z 1.222 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.222 * [taylor]: Taking taylor expansion of 1.0 in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of y in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (* -1 y) in y 1.222 * [taylor]: Taking taylor expansion of -1 in y 1.223 * [taylor]: Taking taylor expansion of y in y 1.223 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.223 * [taylor]: Taking taylor expansion of 1.0 in y 1.223 * [taylor]: Taking taylor expansion of y in y 1.223 * [taylor]: Taking taylor expansion of 0 in y 1.223 * [taylor]: Taking taylor expansion of 0 in y 1.223 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 1.224 * [approximate]: Taking taylor expansion of (/ (+ z 1.0) y) in (z y) around 0 1.224 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in y 1.224 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.224 * [taylor]: Taking taylor expansion of z in y 1.224 * [taylor]: Taking taylor expansion of 1.0 in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.224 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 1.224 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.224 * [taylor]: Taking taylor expansion of z in z 1.224 * [taylor]: Taking taylor expansion of 1.0 in z 1.224 * [taylor]: Taking taylor expansion of y in z 1.224 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 1.224 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.224 * [taylor]: Taking taylor expansion of z in z 1.224 * [taylor]: Taking taylor expansion of 1.0 in z 1.224 * [taylor]: Taking taylor expansion of y in z 1.224 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.224 * [taylor]: Taking taylor expansion of 1.0 in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.224 * [taylor]: Taking taylor expansion of 0 in y 1.224 * [taylor]: Taking taylor expansion of 0 in y 1.225 * [approximate]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in (z y) around 0 1.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.225 * [taylor]: Taking taylor expansion of z in y 1.225 * [taylor]: Taking taylor expansion of 1.0 in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.225 * [taylor]: Taking taylor expansion of z in z 1.225 * [taylor]: Taking taylor expansion of 1.0 in z 1.225 * [taylor]: Taking taylor expansion of y in z 1.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.225 * [taylor]: Taking taylor expansion of z in z 1.225 * [taylor]: Taking taylor expansion of 1.0 in z 1.225 * [taylor]: Taking taylor expansion of y in z 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.225 * [taylor]: Taking taylor expansion of 1.0 in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of 0 in y 1.225 * [taylor]: Taking taylor expansion of 0 in y 1.226 * [taylor]: Taking taylor expansion of 0 in y 1.226 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in (z y) around 0 1.226 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in y 1.226 * [taylor]: Taking taylor expansion of -1 in y 1.226 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 1.226 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.226 * [taylor]: Taking taylor expansion of 1.0 in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.226 * [taylor]: Taking taylor expansion of z in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.226 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 1.226 * [taylor]: Taking taylor expansion of -1 in z 1.226 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.226 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.226 * [taylor]: Taking taylor expansion of 1.0 in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.226 * [taylor]: Taking taylor expansion of z in z 1.226 * [taylor]: Taking taylor expansion of y in z 1.226 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 1.226 * [taylor]: Taking taylor expansion of -1 in z 1.226 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.226 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.226 * [taylor]: Taking taylor expansion of 1.0 in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.226 * [taylor]: Taking taylor expansion of z in z 1.226 * [taylor]: Taking taylor expansion of y in z 1.226 * [taylor]: Taking taylor expansion of y in y 1.226 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 1.226 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.226 * [taylor]: Taking taylor expansion of 1.0 in y 1.227 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * * * [progress]: simplifying candidates 1.229 * [simplify]: Simplifying using # : (* (/ z x) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (/ (+ z 1.0) y))) (+ (- (log z) (log x)) (+ (log z) (- (log (+ z 1.0)) (log y)))) (+ (- (log z) (log x)) (+ (log z) (log (/ (+ z 1.0) y)))) (+ (- (log z) (log x)) (log (* z (/ (+ z 1.0) y)))) (+ (log (/ z x)) (+ (log z) (- (log (+ z 1.0)) (log y)))) (+ (log (/ z x)) (+ (log z) (log (/ (+ z 1.0) y)))) (+ (log (/ z x)) (log (* z (/ (+ z 1.0) y)))) (log (* (/ z x) (* z (/ (+ z 1.0) y)))) (exp (* (/ z x) (* z (/ (+ z 1.0) y)))) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y)))) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y)))) (* (cbrt (* (/ z x) (* z (/ (+ z 1.0) y)))) (cbrt (* (/ z x) (* z (/ (+ z 1.0) y))))) (cbrt (* (/ z x) (* z (/ (+ z 1.0) y)))) (* (* (* (/ z x) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (/ (+ z 1.0) y)))) (* (/ z x) (* z (/ (+ z 1.0) y)))) (sqrt (* (/ z x) (* z (/ (+ z 1.0) y)))) (sqrt (* (/ z x) (* z (/ (+ z 1.0) y)))) (* z (* z (+ z 1.0))) (* x y) (* (/ z x) z) (* (cbrt (/ z x)) (* z (/ (+ z 1.0) y))) (* (sqrt (/ z x)) (* z (/ (+ z 1.0) y))) (* (/ (cbrt z) (cbrt x)) (* z (/ (+ z 1.0) y))) (* (/ (cbrt z) (sqrt x)) (* z (/ (+ z 1.0) y))) (* (/ (cbrt z) x) (* z (/ (+ z 1.0) y))) (* (/ (sqrt z) (cbrt x)) (* z (/ (+ z 1.0) y))) (* (/ (sqrt z) (sqrt x)) (* z (/ (+ z 1.0) y))) (* (/ (sqrt z) x) (* z (/ (+ z 1.0) y))) (* (/ z (cbrt x)) (* z (/ (+ z 1.0) y))) (* (/ z (sqrt x)) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (/ (+ z 1.0) y))) (* (/ 1 x) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (+ z 1.0))) (* z (* z (/ (+ z 1.0) y))) (neg 1) (neg 1) (neg 1) (neg (+ (- (log z) (log x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (neg (+ (- (log z) (log x)) (+ (log z) (log (/ (+ z 1.0) y))))) (neg (+ (- (log z) (log x)) (log (* z (/ (+ z 1.0) y))))) (neg (+ (log (/ z x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (neg (+ (log (/ z x)) (+ (log z) (log (/ (+ z 1.0) y))))) (neg (+ (log (/ z x)) (log (* z (/ (+ z 1.0) y))))) (neg (log (* (/ z x) (* z (/ (+ z 1.0) y))))) (- 0 (+ (- (log z) (log x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (- 0 (+ (- (log z) (log x)) (+ (log z) (log (/ (+ z 1.0) y))))) (- 0 (+ (- (log z) (log x)) (log (* z (/ (+ z 1.0) y))))) (- 0 (+ (log (/ z x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (- 0 (+ (log (/ z x)) (+ (log z) (log (/ (+ z 1.0) y))))) (- 0 (+ (log (/ z x)) (log (* z (/ (+ z 1.0) y))))) (- 0 (log (* (/ z x) (* z (/ (+ z 1.0) y))))) (- (log 1) (+ (- (log z) (log x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (- (log 1) (+ (- (log z) (log x)) (+ (log z) (log (/ (+ z 1.0) y))))) (- (log 1) (+ (- (log z) (log x)) (log (* z (/ (+ z 1.0) y))))) (- (log 1) (+ (log (/ z x)) (+ (log z) (- (log (+ z 1.0)) (log y))))) (- (log 1) (+ (log (/ z x)) (+ (log z) (log (/ (+ z 1.0) y))))) (- (log 1) (+ (log (/ z x)) (log (* z (/ (+ z 1.0) y))))) (- (log 1) (log (* (/ z x) (* z (/ (+ z 1.0) y))))) (log (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (exp (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))))) (/ (* (* 1 1) 1) (* (/ (* (* z z) z) (* (* x x) x)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y))))) (/ (* (* 1 1) 1) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))))) (/ (* (* 1 1) 1) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))))) (/ (* (* 1 1) 1) (* (* (* (/ z x) (/ z x)) (/ z x)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y))))) (/ (* (* 1 1) 1) (* (* (* (/ z x) (* z (/ (+ z 1.0) y))) (* (/ z x) (* z (/ (+ z 1.0) y)))) (* (/ z x) (* z (/ (+ z 1.0) y))))) (* (cbrt (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (cbrt (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y)))))) (cbrt (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (* (* (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y)))) (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (sqrt (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (sqrt (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y))))) (neg 1) (neg (* (/ z x) (* z (/ (+ z 1.0) y)))) (/ (* (cbrt 1) (cbrt 1)) (/ z x)) (/ (cbrt 1) (* z (/ (+ z 1.0) y))) (/ (sqrt 1) (/ z x)) (/ (sqrt 1) (* z (/ (+ z 1.0) y))) (/ 1 (/ z x)) (/ 1 (* z (/ (+ z 1.0) y))) (/ 1 (* (/ z x) (* z (/ (+ z 1.0) y)))) (/ (* (/ z x) (* z (/ (+ z 1.0) y))) 1) (/ 1 (/ z x)) (/ (* (/ z x) (* z (/ (+ z 1.0) y))) (cbrt 1)) (/ (* (/ z x) (* z (/ (+ z 1.0) y))) (sqrt 1)) (/ (* (/ z x) (* z (/ (+ z 1.0) y))) 1) (/ 1 (* z (* z (+ z 1.0)))) (/ 1 (* (/ z x) (* z (+ z 1.0)))) (/ 1 (* z (* z (/ (+ z 1.0) y)))) (* z (/ (+ z 1.0) y)) (+ (log z) (- (log (+ z 1.0)) (log y))) (+ (log z) (log (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (exp (* z (/ (+ z 1.0) y))) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))) (* (cbrt (* z (/ (+ z 1.0) y))) (cbrt (* z (/ (+ z 1.0) y)))) (cbrt (* z (/ (+ z 1.0) y))) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* z (sqrt (/ (+ z 1.0) y))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y)))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1)) (* z (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* z (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (/ (sqrt (+ z 1.0)) 1)) (* z (/ 1 (* (cbrt y) (cbrt y)))) (* z (/ 1 (sqrt y))) (* z (/ 1 1)) (* z (/ 1 (* (cbrt y) (cbrt y)))) (* z (/ 1 (sqrt y))) (* z (/ 1 1)) (* z 1) (* z (+ z 1.0)) (* (cbrt z) (/ (+ z 1.0) y)) (* (sqrt z) (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y)) (* z (+ z 1.0)) (- (log (+ z 1.0)) (log y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (neg (+ z 1.0)) (neg y) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y)) (/ (cbrt (+ z 1.0)) (sqrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) 1) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) 1) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (- (* 1.0 1.0) (* z 1.0)))) (* y (- z 1.0)) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (+ (/ (pow z 3) (* x y)) (* 1.0 (/ (pow z 2) (* x y)))) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) 1.283 * * [simplify]: iteration 0 : 4975 enodes (cost 1789 ) 1.283 * * [simplify]: iteration 1 : 4975 enodes (cost 1789 ) 1.290 * [simplify]: Simplified to: (* z (* (/ z x) (/ (+ z 1.0) y))) (* z (* (/ z x) (/ (+ z 1.0) y))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (log (* z (* (/ z x) (/ (+ z 1.0) y)))) (pow (pow (exp (/ (+ z 1.0) y)) z) (/ z x)) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (* (cbrt (* z (* (/ z x) (/ (+ z 1.0) y)))) (cbrt (* z (* (/ z x) (/ (+ z 1.0) y))))) (cbrt (* z (* (/ z x) (/ (+ z 1.0) y)))) (pow (* z (* (/ z x) (/ (+ z 1.0) y))) 3) (sqrt (* z (* (/ z x) (/ (+ z 1.0) y)))) (sqrt (* z (* (/ z x) (/ (+ z 1.0) y)))) (* z (* z (+ z 1.0))) (* x y) (* z (/ z x)) (* z (* (/ (+ z 1.0) y) (cbrt (/ z x)))) (* z (* (/ (+ z 1.0) y) (sqrt (/ z x)))) (* z (* (/ (+ z 1.0) y) (/ (cbrt z) (cbrt x)))) (* z (* (/ (+ z 1.0) y) (/ (cbrt z) (sqrt x)))) (* z (* (/ (+ z 1.0) y) (/ (cbrt z) x))) (* z (* (/ (+ z 1.0) y) (/ (sqrt z) (cbrt x)))) (* z (* (/ (+ z 1.0) y) (/ (sqrt z) (sqrt x)))) (* z (* (/ (+ z 1.0) y) (/ (sqrt z) x))) (* z (* (/ (+ z 1.0) y) (/ z (cbrt x)))) (* z (* (/ (+ z 1.0) y) (/ z (sqrt x)))) (* z (* (/ z x) (/ (+ z 1.0) y))) (* z (* (/ z x) (/ (+ z 1.0) y))) (* (/ z x) (/ (+ z 1.0) y)) (* z (* (/ z x) (+ z 1.0))) (* z (* z (/ (+ z 1.0) y))) -1 -1 -1 (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (log (* (/ (/ x z) (* z (+ z 1.0))) y)) (pow (exp (/ (/ x z) (* z (+ z 1.0)))) y) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (* (cbrt (* (/ (/ x z) (* z (+ z 1.0))) y)) (cbrt (* (/ (/ x z) (* z (+ z 1.0))) y))) (cbrt (* (/ (/ x z) (* z (+ z 1.0))) y)) (pow (* (/ (/ x z) (* z (+ z 1.0))) y) 3) (sqrt (* (/ (/ x z) (* z (+ z 1.0))) y)) (sqrt (* (/ (/ x z) (* z (+ z 1.0))) y)) -1 (* z (* (/ (neg z) x) (/ (+ z 1.0) y))) (* x (* (cbrt 1) (/ (cbrt 1) z))) (* (/ (cbrt 1) z) (/ y (+ z 1.0))) (/ x z) (* (/ 1 z) (/ y (+ z 1.0))) (/ x z) (* (/ 1 z) (/ y (+ z 1.0))) (* (/ (/ x z) (* z (+ z 1.0))) y) (* z (* (/ z x) (/ (+ z 1.0) y))) (/ x z) (* (/ z (* (cbrt 1) x)) (* z (/ (+ z 1.0) y))) (* z (* (/ z x) (/ (+ z 1.0) y))) (* z (* (/ z x) (/ (+ z 1.0) y))) (/ 1 (* z (* z (+ z 1.0)))) (/ (/ x z) (* z (+ z 1.0))) (* (/ 1 (* z (* z (+ z 1.0)))) y) (* z (/ (+ z 1.0) y)) (log (* z (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (pow (exp (/ (+ z 1.0) y)) z) (pow (* z (/ (+ z 1.0) y)) 3) (pow (* z (/ (+ z 1.0) y)) 3) (* (cbrt (* z (/ (+ z 1.0) y))) (cbrt (* z (/ (+ z 1.0) y)))) (cbrt (* z (/ (+ z 1.0) y))) (pow (* z (/ (+ z 1.0) y)) 3) (sqrt (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* z (sqrt (/ (+ z 1.0) y))) (* z (* (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (cbrt (+ z 1.0)) (cbrt y)))) (* z (* (/ (cbrt (+ z 1.0)) (sqrt y)) (cbrt (+ z 1.0)))) (* z (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* z (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* z (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (sqrt (+ z 1.0))) (/ z (* (cbrt y) (cbrt y))) (/ z (sqrt y)) z (/ z (* (cbrt y) (cbrt y))) (/ z (sqrt y)) z z (* z (+ z 1.0)) (* (/ (+ z 1.0) y) (cbrt z)) (* (/ (+ z 1.0) y) (sqrt z)) (* z (/ (+ z 1.0) y)) (* z (+ z 1.0)) (log (/ (+ z 1.0) y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (- (neg 1.0) z) (neg y) (* (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (cbrt (+ z 1.0)) (cbrt y))) (/ (cbrt (+ z 1.0)) (cbrt y)) (* (/ (cbrt (+ z 1.0)) (sqrt y)) (cbrt (+ z 1.0))) (/ (cbrt (+ z 1.0)) (sqrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (sqrt (+ z 1.0)) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (+ z 1.0) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (* 1.0 (- 1.0 z)))) (* y (- z 1.0)) (* (* z (/ z x)) (+ (/ z y) (/ 1.0 y))) (* (* z (/ z x)) (+ (/ z y) (/ 1.0 y))) (* (* z (/ z x)) (+ (/ z y) (/ 1.0 y))) (* 1.0 (+ (* x y) (* (/ x z) (- (/ y z) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (+ (* (/ x (pow z 3)) y) (* 1.0 (- (* (/ x (pow z 5)) y) (* (/ x (pow z 4)) y)))) (+ (* (/ z y) z) (* 1.0 (/ z y))) (+ (* (/ z y) z) (* 1.0 (/ z y))) (+ (* (/ z y) z) (* 1.0 (/ z y))) (+ (/ z y) (/ 1.0 y)) (+ (/ z y) (/ 1.0 y)) (+ (/ z y) (/ 1.0 y)) 1.294 * * * [progress]: adding candidates to table 1.440 * * [progress]: iteration 4 / 4 1.440 * * * [progress]: picking best candidate 1.461 * * * * [pick]: Picked # 1.461 * * * [progress]: localizing error 1.470 * * * [progress]: generating rewritten candidates 1.470 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.483 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.492 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1.501 * * * [progress]: generating series expansions 1.501 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.502 * [approximate]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in (x z y) around 0 1.502 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in y 1.502 * [taylor]: Taking taylor expansion of (* x y) in y 1.502 * [taylor]: Taking taylor expansion of x in y 1.502 * [taylor]: Taking taylor expansion of y in y 1.502 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in y 1.502 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.502 * [taylor]: Taking taylor expansion of z in y 1.502 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.502 * [taylor]: Taking taylor expansion of z in y 1.502 * [taylor]: Taking taylor expansion of 1.0 in y 1.502 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in z 1.502 * [taylor]: Taking taylor expansion of (* x y) in z 1.502 * [taylor]: Taking taylor expansion of x in z 1.502 * [taylor]: Taking taylor expansion of y in z 1.502 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in z 1.502 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.502 * [taylor]: Taking taylor expansion of z in z 1.502 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.502 * [taylor]: Taking taylor expansion of z in z 1.502 * [taylor]: Taking taylor expansion of 1.0 in z 1.502 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 1.502 * [taylor]: Taking taylor expansion of (* x y) in x 1.502 * [taylor]: Taking taylor expansion of x in x 1.502 * [taylor]: Taking taylor expansion of y in x 1.502 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 1.502 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.502 * [taylor]: Taking taylor expansion of z in x 1.502 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 1.502 * [taylor]: Taking taylor expansion of z in x 1.502 * [taylor]: Taking taylor expansion of 1.0 in x 1.503 * [taylor]: Taking taylor expansion of (/ (* x y) (* (pow z 2) (+ z 1.0))) in x 1.503 * [taylor]: Taking taylor expansion of (* x y) in x 1.503 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of y in x 1.503 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ z 1.0)) in x 1.503 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.503 * [taylor]: Taking taylor expansion of z in x 1.503 * [taylor]: Taking taylor expansion of (+ z 1.0) in x 1.503 * [taylor]: Taking taylor expansion of z in x 1.503 * [taylor]: Taking taylor expansion of 1.0 in x 1.503 * [taylor]: Taking taylor expansion of (/ y (* (+ z 1.0) (pow z 2))) in z 1.503 * [taylor]: Taking taylor expansion of y in z 1.503 * [taylor]: Taking taylor expansion of (* (+ z 1.0) (pow z 2)) in z 1.503 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.503 * [taylor]: Taking taylor expansion of z in z 1.503 * [taylor]: Taking taylor expansion of 1.0 in z 1.503 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.503 * [taylor]: Taking taylor expansion of z in z 1.503 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.503 * [taylor]: Taking taylor expansion of 1.0 in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of 0 in z 1.504 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 1.504 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.504 * [taylor]: Taking taylor expansion of 1.0 in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of 0 in z 1.505 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.505 * [taylor]: Taking taylor expansion of 1.0 in y 1.505 * [taylor]: Taking taylor expansion of y in y 1.505 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in (x z y) around 0 1.505 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in y 1.505 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.505 * [taylor]: Taking taylor expansion of z in y 1.505 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in y 1.505 * [taylor]: Taking taylor expansion of x in y 1.505 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.505 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.505 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.505 * [taylor]: Taking taylor expansion of z in y 1.505 * [taylor]: Taking taylor expansion of 1.0 in y 1.505 * [taylor]: Taking taylor expansion of y in y 1.506 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in z 1.506 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.506 * [taylor]: Taking taylor expansion of z in z 1.506 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in z 1.506 * [taylor]: Taking taylor expansion of x in z 1.506 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.506 * [taylor]: Taking taylor expansion of z in z 1.506 * [taylor]: Taking taylor expansion of 1.0 in z 1.506 * [taylor]: Taking taylor expansion of y in z 1.506 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 1.506 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.506 * [taylor]: Taking taylor expansion of z in x 1.506 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.506 * [taylor]: Taking taylor expansion of z in x 1.506 * [taylor]: Taking taylor expansion of 1.0 in x 1.506 * [taylor]: Taking taylor expansion of y in x 1.506 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* x (* (+ (/ 1 z) 1.0) y))) in x 1.506 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.506 * [taylor]: Taking taylor expansion of z in x 1.506 * [taylor]: Taking taylor expansion of (* x (* (+ (/ 1 z) 1.0) y)) in x 1.506 * [taylor]: Taking taylor expansion of x in x 1.506 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in x 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in x 1.506 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.506 * [taylor]: Taking taylor expansion of z in x 1.507 * [taylor]: Taking taylor expansion of 1.0 in x 1.507 * [taylor]: Taking taylor expansion of y in x 1.507 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (/ y z) (* 1.0 y))) in z 1.507 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.507 * [taylor]: Taking taylor expansion of z in z 1.507 * [taylor]: Taking taylor expansion of (+ (/ y z) (* 1.0 y)) in z 1.507 * [taylor]: Taking taylor expansion of (/ y z) in z 1.507 * [taylor]: Taking taylor expansion of y in z 1.507 * [taylor]: Taking taylor expansion of z in z 1.507 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 1.507 * [taylor]: Taking taylor expansion of 1.0 in z 1.507 * [taylor]: Taking taylor expansion of y in z 1.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.508 * [taylor]: Taking taylor expansion of 0 in z 1.508 * [taylor]: Taking taylor expansion of 0 in y 1.508 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.508 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.508 * [taylor]: Taking taylor expansion of 1.0 in y 1.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.508 * [taylor]: Taking taylor expansion of y in y 1.508 * [taylor]: Taking taylor expansion of 0 in z 1.508 * [taylor]: Taking taylor expansion of 0 in y 1.508 * [taylor]: Taking taylor expansion of 0 in y 1.509 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.509 * [taylor]: Taking taylor expansion of 1.0 in y 1.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.509 * [taylor]: Taking taylor expansion of y in y 1.509 * [approximate]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in (x z y) around 0 1.509 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in y 1.509 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.509 * [taylor]: Taking taylor expansion of z in y 1.509 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in y 1.509 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.510 * [taylor]: Taking taylor expansion of 1.0 in y 1.510 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.510 * [taylor]: Taking taylor expansion of z in y 1.510 * [taylor]: Taking taylor expansion of (* x y) in y 1.510 * [taylor]: Taking taylor expansion of x in y 1.510 * [taylor]: Taking taylor expansion of y in y 1.510 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in z 1.510 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.510 * [taylor]: Taking taylor expansion of z in z 1.510 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in z 1.510 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.510 * [taylor]: Taking taylor expansion of 1.0 in z 1.510 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.510 * [taylor]: Taking taylor expansion of z in z 1.510 * [taylor]: Taking taylor expansion of (* x y) in z 1.510 * [taylor]: Taking taylor expansion of x in z 1.510 * [taylor]: Taking taylor expansion of y in z 1.510 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 1.510 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.510 * [taylor]: Taking taylor expansion of z in x 1.510 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 1.510 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 1.510 * [taylor]: Taking taylor expansion of 1.0 in x 1.510 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.510 * [taylor]: Taking taylor expansion of z in x 1.510 * [taylor]: Taking taylor expansion of (* x y) in x 1.510 * [taylor]: Taking taylor expansion of x in x 1.510 * [taylor]: Taking taylor expansion of y in x 1.511 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (- 1.0 (/ 1 z)) (* x y))) in x 1.511 * [taylor]: Taking taylor expansion of (pow z 2) in x 1.511 * [taylor]: Taking taylor expansion of z in x 1.511 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) (* x y)) in x 1.511 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in x 1.511 * [taylor]: Taking taylor expansion of 1.0 in x 1.511 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.511 * [taylor]: Taking taylor expansion of z in x 1.511 * [taylor]: Taking taylor expansion of (* x y) in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.511 * [taylor]: Taking taylor expansion of y in x 1.511 * [taylor]: Taking taylor expansion of (/ (pow z 2) (- (* 1.0 y) (/ y z))) in z 1.511 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.511 * [taylor]: Taking taylor expansion of z in z 1.511 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (/ y z)) in z 1.511 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 1.511 * [taylor]: Taking taylor expansion of 1.0 in z 1.511 * [taylor]: Taking taylor expansion of y in z 1.511 * [taylor]: Taking taylor expansion of (/ y z) in z 1.511 * [taylor]: Taking taylor expansion of y in z 1.511 * [taylor]: Taking taylor expansion of z in z 1.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.512 * [taylor]: Taking taylor expansion of -1 in y 1.512 * [taylor]: Taking taylor expansion of y in y 1.512 * [taylor]: Taking taylor expansion of 0 in z 1.512 * [taylor]: Taking taylor expansion of 0 in y 1.512 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.512 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.512 * [taylor]: Taking taylor expansion of 1.0 in y 1.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.512 * [taylor]: Taking taylor expansion of y in y 1.513 * [taylor]: Taking taylor expansion of 0 in z 1.513 * [taylor]: Taking taylor expansion of 0 in y 1.513 * [taylor]: Taking taylor expansion of 0 in y 1.513 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 1.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 1.513 * [taylor]: Taking taylor expansion of 1.0 in y 1.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.513 * [taylor]: Taking taylor expansion of y in y 1.514 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.514 * [approximate]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in (z y) around 0 1.514 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in y 1.514 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in y 1.514 * [taylor]: Taking taylor expansion of z in y 1.514 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.514 * [taylor]: Taking taylor expansion of z in y 1.514 * [taylor]: Taking taylor expansion of 1.0 in y 1.514 * [taylor]: Taking taylor expansion of y in y 1.514 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in z 1.514 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in z 1.514 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.514 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of 1.0 in z 1.514 * [taylor]: Taking taylor expansion of y in z 1.514 * [taylor]: Taking taylor expansion of (/ (* z (+ z 1.0)) y) in z 1.514 * [taylor]: Taking taylor expansion of (* z (+ z 1.0)) in z 1.514 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.514 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of 1.0 in z 1.514 * [taylor]: Taking taylor expansion of y in z 1.514 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.514 * [taylor]: Taking taylor expansion of 1.0 in y 1.514 * [taylor]: Taking taylor expansion of y in y 1.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.515 * [taylor]: Taking taylor expansion of y in y 1.515 * [taylor]: Taking taylor expansion of 0 in y 1.515 * [taylor]: Taking taylor expansion of 0 in y 1.515 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in (z y) around 0 1.515 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in y 1.515 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.515 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.515 * [taylor]: Taking taylor expansion of z in y 1.515 * [taylor]: Taking taylor expansion of 1.0 in y 1.515 * [taylor]: Taking taylor expansion of y in y 1.515 * [taylor]: Taking taylor expansion of z in y 1.516 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in z 1.516 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.516 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of 1.0 in z 1.516 * [taylor]: Taking taylor expansion of y in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 z) 1.0) y) z) in z 1.516 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.516 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.516 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of 1.0 in z 1.516 * [taylor]: Taking taylor expansion of y in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of y in y 1.516 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.516 * [taylor]: Taking taylor expansion of 1.0 in y 1.516 * [taylor]: Taking taylor expansion of y in y 1.516 * [taylor]: Taking taylor expansion of 0 in y 1.517 * [taylor]: Taking taylor expansion of 0 in y 1.517 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in (z y) around 0 1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in y 1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 1.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.517 * [taylor]: Taking taylor expansion of 1.0 in y 1.517 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.517 * [taylor]: Taking taylor expansion of z in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.517 * [taylor]: Taking taylor expansion of z in y 1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in z 1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.517 * [taylor]: Taking taylor expansion of 1.0 in z 1.517 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.517 * [taylor]: Taking taylor expansion of z in z 1.517 * [taylor]: Taking taylor expansion of y in z 1.517 * [taylor]: Taking taylor expansion of z in z 1.517 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 z)) y) z) in z 1.517 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.518 * [taylor]: Taking taylor expansion of 1.0 in z 1.518 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.518 * [taylor]: Taking taylor expansion of z in z 1.518 * [taylor]: Taking taylor expansion of y in z 1.518 * [taylor]: Taking taylor expansion of z in z 1.518 * [taylor]: Taking taylor expansion of (* -1 y) in y 1.518 * [taylor]: Taking taylor expansion of -1 in y 1.518 * [taylor]: Taking taylor expansion of y in y 1.518 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.518 * [taylor]: Taking taylor expansion of 1.0 in y 1.518 * [taylor]: Taking taylor expansion of y in y 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.519 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1.519 * [approximate]: Taking taylor expansion of (/ (+ z 1.0) y) in (z y) around 0 1.519 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in y 1.519 * [taylor]: Taking taylor expansion of (+ z 1.0) in y 1.519 * [taylor]: Taking taylor expansion of z in y 1.519 * [taylor]: Taking taylor expansion of 1.0 in y 1.519 * [taylor]: Taking taylor expansion of y in y 1.519 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 1.519 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.519 * [taylor]: Taking taylor expansion of z in z 1.519 * [taylor]: Taking taylor expansion of 1.0 in z 1.519 * [taylor]: Taking taylor expansion of y in z 1.519 * [taylor]: Taking taylor expansion of (/ (+ z 1.0) y) in z 1.519 * [taylor]: Taking taylor expansion of (+ z 1.0) in z 1.519 * [taylor]: Taking taylor expansion of z in z 1.519 * [taylor]: Taking taylor expansion of 1.0 in z 1.519 * [taylor]: Taking taylor expansion of y in z 1.519 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 1.519 * [taylor]: Taking taylor expansion of 1.0 in y 1.519 * [taylor]: Taking taylor expansion of y in y 1.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.519 * [taylor]: Taking taylor expansion of y in y 1.519 * [taylor]: Taking taylor expansion of 0 in y 1.520 * [taylor]: Taking taylor expansion of 0 in y 1.520 * [approximate]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in (z y) around 0 1.520 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in y 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.520 * [taylor]: Taking taylor expansion of z in y 1.520 * [taylor]: Taking taylor expansion of 1.0 in y 1.520 * [taylor]: Taking taylor expansion of y in y 1.520 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.520 * [taylor]: Taking taylor expansion of z in z 1.520 * [taylor]: Taking taylor expansion of 1.0 in z 1.520 * [taylor]: Taking taylor expansion of y in z 1.520 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) y) in z 1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.520 * [taylor]: Taking taylor expansion of z in z 1.520 * [taylor]: Taking taylor expansion of 1.0 in z 1.520 * [taylor]: Taking taylor expansion of y in z 1.520 * [taylor]: Taking taylor expansion of y in y 1.520 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.520 * [taylor]: Taking taylor expansion of 1.0 in y 1.520 * [taylor]: Taking taylor expansion of y in y 1.521 * [taylor]: Taking taylor expansion of 0 in y 1.521 * [taylor]: Taking taylor expansion of 0 in y 1.521 * [taylor]: Taking taylor expansion of 0 in y 1.521 * [approximate]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in (z y) around 0 1.521 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in y 1.521 * [taylor]: Taking taylor expansion of -1 in y 1.521 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in y 1.521 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in y 1.521 * [taylor]: Taking taylor expansion of 1.0 in y 1.521 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.521 * [taylor]: Taking taylor expansion of z in y 1.521 * [taylor]: Taking taylor expansion of y in y 1.521 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 1.521 * [taylor]: Taking taylor expansion of -1 in z 1.521 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.521 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.521 * [taylor]: Taking taylor expansion of 1.0 in z 1.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.521 * [taylor]: Taking taylor expansion of z in z 1.521 * [taylor]: Taking taylor expansion of y in z 1.521 * [taylor]: Taking taylor expansion of (* -1 (* (- 1.0 (/ 1 z)) y)) in z 1.521 * [taylor]: Taking taylor expansion of -1 in z 1.521 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 z)) y) in z 1.521 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 z)) in z 1.521 * [taylor]: Taking taylor expansion of 1.0 in z 1.521 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.521 * [taylor]: Taking taylor expansion of z in z 1.521 * [taylor]: Taking taylor expansion of y in z 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [taylor]: Taking taylor expansion of (neg (* 1.0 y)) in y 1.522 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 1.522 * [taylor]: Taking taylor expansion of 1.0 in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [taylor]: Taking taylor expansion of 0 in y 1.522 * [taylor]: Taking taylor expansion of 0 in y 1.522 * [taylor]: Taking taylor expansion of 0 in y 1.522 * * * [progress]: simplifying candidates 1.524 * [simplify]: Simplifying using # : (- (- (log x) (log z)) (+ (log z) (- (log (+ z 1.0)) (log y)))) (- (- (log x) (log z)) (+ (log z) (log (/ (+ z 1.0) y)))) (- (- (log x) (log z)) (log (* z (/ (+ z 1.0) y)))) (- (log (/ x z)) (+ (log z) (- (log (+ z 1.0)) (log y)))) (- (log (/ x z)) (+ (log z) (log (/ (+ z 1.0) y)))) (- (log (/ x z)) (log (* z (/ (+ z 1.0) y)))) (log (/ (/ x z) (* z (/ (+ z 1.0) y)))) (exp (/ (/ x z) (* z (/ (+ z 1.0) y)))) (/ (/ (* (* x x) x) (* (* z z) z)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (/ (/ (* (* x x) x) (* (* z z) z)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (/ (/ (* (* x x) x) (* (* z z) z)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y)))) (/ (* (* (/ x z) (/ x z)) (/ x z)) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)))) (/ (* (* (/ x z) (/ x z)) (/ x z)) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)))) (/ (* (* (/ x z) (/ x z)) (/ x z)) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y)))) (* (cbrt (/ (/ x z) (* z (/ (+ z 1.0) y)))) (cbrt (/ (/ x z) (* z (/ (+ z 1.0) y))))) (cbrt (/ (/ x z) (* z (/ (+ z 1.0) y)))) (* (* (/ (/ x z) (* z (/ (+ z 1.0) y))) (/ (/ x z) (* z (/ (+ z 1.0) y)))) (/ (/ x z) (* z (/ (+ z 1.0) y)))) (sqrt (/ (/ x z) (* z (/ (+ z 1.0) y)))) (sqrt (/ (/ x z) (* z (/ (+ z 1.0) y)))) (neg (/ x z)) (neg (* z (/ (+ z 1.0) y))) (/ (* (cbrt (/ x z)) (cbrt (/ x z))) z) (/ (cbrt (/ x z)) (/ (+ z 1.0) y)) (/ (sqrt (/ x z)) z) (/ (sqrt (/ x z)) (/ (+ z 1.0) y)) (/ (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) z) (/ (/ (cbrt x) (cbrt z)) (/ (+ z 1.0) y)) (/ (/ (* (cbrt x) (cbrt x)) (sqrt z)) z) (/ (/ (cbrt x) (sqrt z)) (/ (+ z 1.0) y)) (/ (/ (* (cbrt x) (cbrt x)) 1) z) (/ (/ (cbrt x) z) (/ (+ z 1.0) y)) (/ (/ (sqrt x) (* (cbrt z) (cbrt z))) z) (/ (/ (sqrt x) (cbrt z)) (/ (+ z 1.0) y)) (/ (/ (sqrt x) (sqrt z)) z) (/ (/ (sqrt x) (sqrt z)) (/ (+ z 1.0) y)) (/ (/ (sqrt x) 1) z) (/ (/ (sqrt x) z) (/ (+ z 1.0) y)) (/ (/ 1 (* (cbrt z) (cbrt z))) z) (/ (/ x (cbrt z)) (/ (+ z 1.0) y)) (/ (/ 1 (sqrt z)) z) (/ (/ x (sqrt z)) (/ (+ z 1.0) y)) (/ (/ 1 1) z) (/ (/ x z) (/ (+ z 1.0) y)) (/ 1 z) (/ (/ x z) (/ (+ z 1.0) y)) (/ x z) (/ (/ 1 z) (/ (+ z 1.0) y)) (/ 1 (* z (/ (+ z 1.0) y))) (/ (* z (/ (+ z 1.0) y)) (/ x z)) (/ (/ x z) z) (/ (* z (/ (+ z 1.0) y)) (cbrt (/ x z))) (/ (* z (/ (+ z 1.0) y)) (sqrt (/ x z))) (/ (* z (/ (+ z 1.0) y)) (/ (cbrt x) (cbrt z))) (/ (* z (/ (+ z 1.0) y)) (/ (cbrt x) (sqrt z))) (/ (* z (/ (+ z 1.0) y)) (/ (cbrt x) z)) (/ (* z (/ (+ z 1.0) y)) (/ (sqrt x) (cbrt z))) (/ (* z (/ (+ z 1.0) y)) (/ (sqrt x) (sqrt z))) (/ (* z (/ (+ z 1.0) y)) (/ (sqrt x) z)) (/ (* z (/ (+ z 1.0) y)) (/ x (cbrt z))) (/ (* z (/ (+ z 1.0) y)) (/ x (sqrt z))) (/ (* z (/ (+ z 1.0) y)) (/ x z)) (/ (* z (/ (+ z 1.0) y)) (/ x z)) (/ (* z (/ (+ z 1.0) y)) (/ 1 z)) (/ (/ x z) (* z (+ z 1.0))) (* (* z (/ (+ z 1.0) y)) z) (* z (/ (+ z 1.0) y)) (+ (log z) (- (log (+ z 1.0)) (log y))) (+ (log z) (log (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (exp (* z (/ (+ z 1.0) y))) (* (* (* z z) z) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y))) (* (* (* z z) z) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y))) (* (cbrt (* z (/ (+ z 1.0) y))) (cbrt (* z (/ (+ z 1.0) y)))) (cbrt (* z (/ (+ z 1.0) y))) (* (* (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* z (sqrt (/ (+ z 1.0) y))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y)))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y))) (* z (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1)) (* z (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* z (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (/ (sqrt (+ z 1.0)) 1)) (* z (/ 1 (* (cbrt y) (cbrt y)))) (* z (/ 1 (sqrt y))) (* z (/ 1 1)) (* z (/ 1 (* (cbrt y) (cbrt y)))) (* z (/ 1 (sqrt y))) (* z (/ 1 1)) (* z 1) (* z (+ z 1.0)) (* (cbrt z) (/ (+ z 1.0) y)) (* (sqrt z) (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y)) (* z (+ z 1.0)) (- (log (+ z 1.0)) (log y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (/ (* (* (+ z 1.0) (+ z 1.0)) (+ z 1.0)) (* (* y y) y)) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (* (* (/ (+ z 1.0) y) (/ (+ z 1.0) y)) (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (neg (+ z 1.0)) (neg y) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (* (cbrt y) (cbrt y))) (/ (cbrt (+ z 1.0)) (cbrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (sqrt y)) (/ (cbrt (+ z 1.0)) (sqrt y)) (/ (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) 1) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) 1) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) (/ 1 1) (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (/ (+ z 1.0) 1) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (- (* 1.0 1.0) (* z 1.0)))) (* y (- z 1.0)) (- (+ (* 1.0 (* x y)) (* 1.0 (/ (* x y) (pow z 2)))) (* 1.0 (/ (* x y) z))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (- (+ (* 1.0 (/ (* x y) (pow z 5))) (/ (* x y) (pow z 3))) (* 1.0 (/ (* x y) (pow z 4)))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (/ (pow z 2) y) (* 1.0 (/ z y))) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) (+ (* 1.0 (/ 1 y)) (/ z y)) 1.557 * * [simplify]: iteration 0 : 5387 enodes (cost 1367 ) 1.562 * [simplify]: Simplified to: (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (log (* y (/ x (* z (* z (+ z 1.0)))))) (pow (exp (/ x (* z (* z (+ z 1.0))))) y) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (* (cbrt (* y (/ x (* z (* z (+ z 1.0)))))) (cbrt (* y (/ x (* z (* z (+ z 1.0))))))) (cbrt (* y (/ x (* z (* z (+ z 1.0)))))) (pow (* y (/ x (* z (* z (+ z 1.0))))) 3) (sqrt (* y (/ x (* z (* z (+ z 1.0)))))) (sqrt (* y (/ x (* z (* z (+ z 1.0)))))) (/ (neg x) z) (* z (/ (- (neg 1.0) z) y)) (* (cbrt (/ x z)) (/ (cbrt (/ x z)) z)) (* y (/ (cbrt (/ x z)) (+ z 1.0))) (/ (sqrt (/ x z)) z) (* y (/ (sqrt (/ x z)) (+ z 1.0))) (* (/ (cbrt x) (cbrt z)) (/ (/ (cbrt x) (cbrt z)) z)) (* y (/ (cbrt x) (* (+ z 1.0) (cbrt z)))) (* (/ (cbrt x) (pow z 3/2)) (cbrt x)) (* y (/ (cbrt x) (* (+ z 1.0) (sqrt z)))) (* (cbrt x) (/ (cbrt x) z)) (* y (/ (cbrt x) (* z (+ z 1.0)))) (/ (sqrt x) (* z (* (cbrt z) (cbrt z)))) (* y (/ (sqrt x) (* (+ z 1.0) (cbrt z)))) (/ (sqrt x) (pow z 3/2)) (* y (/ (sqrt x) (* (+ z 1.0) (sqrt z)))) (/ (sqrt x) z) (* y (/ (sqrt x) (* z (+ z 1.0)))) (/ 1 (* z (* (cbrt z) (cbrt z)))) (* y (/ x (* (+ z 1.0) (cbrt z)))) (/ 1 (pow z 3/2)) (* y (/ x (* (+ z 1.0) (sqrt z)))) (/ 1 z) (* y (/ x (* z (+ z 1.0)))) (/ 1 z) (* y (/ x (* z (+ z 1.0)))) (/ x z) (* y (/ 1 (* z (+ z 1.0)))) (* y (/ 1 (* z (+ z 1.0)))) (* z (* (/ z x) (/ (+ z 1.0) y))) (/ x (* z z)) (* (/ (+ z 1.0) y) (/ z (cbrt (/ x z)))) (* (/ (+ z 1.0) y) (/ z (sqrt (/ x z)))) (* (/ (+ z 1.0) y) (* (/ z (cbrt x)) (cbrt z))) (* (/ (+ z 1.0) y) (* (/ z (cbrt x)) (sqrt z))) (* z (* (/ z (cbrt x)) (/ (+ z 1.0) y))) (* (/ (+ z 1.0) y) (* (/ z (sqrt x)) (cbrt z))) (* (/ (/ (+ z 1.0) y) (sqrt x)) (pow z 3/2)) (* z (* (/ z (sqrt x)) (/ (+ z 1.0) y))) (* (/ (+ z 1.0) y) (* (/ z x) (cbrt z))) (* (/ (+ z 1.0) y) (* (/ z x) (sqrt z))) (* z (* (/ z x) (/ (+ z 1.0) y))) (* z (* (/ z x) (/ (+ z 1.0) y))) (* z (* z (/ (+ z 1.0) y))) (/ x (* z (* z (+ z 1.0)))) (* z (* z (/ (+ z 1.0) y))) (* z (/ (+ z 1.0) y)) (log (* z (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (log (* z (/ (+ z 1.0) y))) (pow (exp (/ (+ z 1.0) y)) z) (pow (* z (/ (+ z 1.0) y)) 3) (pow (* z (/ (+ z 1.0) y)) 3) (* (cbrt (* z (/ (+ z 1.0) y))) (cbrt (* z (/ (+ z 1.0) y)))) (cbrt (* z (/ (+ z 1.0) y))) (pow (* z (/ (+ z 1.0) y)) 3) (sqrt (* z (/ (+ z 1.0) y))) (sqrt (* z (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (sqrt (/ (+ z 1.0) y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* (sqrt z) (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y)))) (* z (sqrt (/ (+ z 1.0) y))) (* z (* (cbrt (+ z 1.0)) (/ (cbrt (+ z 1.0)) (* (cbrt y) (cbrt y))))) (* z (* (cbrt (+ z 1.0)) (/ (cbrt (+ z 1.0)) (sqrt y)))) (* z (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0)))) (* z (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (* z (/ (sqrt (+ z 1.0)) (sqrt y))) (* z (sqrt (+ z 1.0))) (/ z (* (cbrt y) (cbrt y))) (/ z (sqrt y)) z (/ z (* (cbrt y) (cbrt y))) (/ z (sqrt y)) z z (* z (+ z 1.0)) (* (/ (+ z 1.0) y) (cbrt z)) (* (/ (+ z 1.0) y) (sqrt z)) (* z (/ (+ z 1.0) y)) (* z (+ z 1.0)) (log (/ (+ z 1.0) y)) (log (/ (+ z 1.0) y)) (exp (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (* (cbrt (/ (+ z 1.0) y)) (cbrt (/ (+ z 1.0) y))) (cbrt (/ (+ z 1.0) y)) (pow (/ (+ z 1.0) y) 3) (sqrt (/ (+ z 1.0) y)) (sqrt (/ (+ z 1.0) y)) (- (neg 1.0) z) (neg y) (* (cbrt (+ z 1.0)) (/ (cbrt (+ z 1.0)) (* (cbrt y) (cbrt y)))) (/ (cbrt (+ z 1.0)) (cbrt y)) (* (cbrt (+ z 1.0)) (/ (cbrt (+ z 1.0)) (sqrt y))) (/ (cbrt (+ z 1.0)) (sqrt y)) (* (cbrt (+ z 1.0)) (cbrt (+ z 1.0))) (/ (cbrt (+ z 1.0)) y) (/ (sqrt (+ z 1.0)) (* (cbrt y) (cbrt y))) (/ (sqrt (+ z 1.0)) (cbrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (/ (sqrt (+ z 1.0)) (sqrt y)) (sqrt (+ z 1.0)) (/ (sqrt (+ z 1.0)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (cbrt y)) (/ 1 (sqrt y)) (/ (+ z 1.0) (sqrt y)) 1 (/ (+ z 1.0) y) (/ 1 y) (/ y (+ z 1.0)) (/ (+ z 1.0) (* (cbrt y) (cbrt y))) (/ (+ z 1.0) (sqrt y)) (+ z 1.0) (/ y (cbrt (+ z 1.0))) (/ y (sqrt (+ z 1.0))) (/ y (+ z 1.0)) (/ y (+ z 1.0)) (* y (+ (* z z) (* 1.0 (- 1.0 z)))) (* y (- z 1.0)) (* 1.0 (+ (* x y) (* (/ x z) (- (/ y z) y)))) (+ (* y (/ x (pow z 3))) (* 1.0 (- (* y (/ x (pow z 5))) (* y (/ x (pow z 4)))))) (+ (* y (/ x (pow z 3))) (* 1.0 (- (* y (/ x (pow z 5))) (* y (/ x (pow z 4)))))) (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y)) (* z (/ (+ z 1.0) y)) (+ (/ z y) (/ 1.0 y)) (+ (/ z y) (/ 1.0 y)) (+ (/ z y) (/ 1.0 y)) 1.562 * * * [progress]: adding candidates to table 1.682 * [progress]: [Phase 3 of 3] Extracting. 1.682 * * [regime]: Finding splitpoints for: (# # # # # # # #) 1.683 * * * [regime-changes]: Trying 4 branch expressions: ((* x y) z y x) 1.683 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # #) 1.768 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 1.853 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 1.937 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 2.034 * * * [regime]: Found split indices: #