* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 46 additional inputs, on iter 1 have 210 / 256
* * * * [misc]points:  Computing exacts on every 2 of 46 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 46 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 2 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (80 enodes)
* * [misc]simplify:  iters left: 2 (239 enodes)
* [exit]simplify:  Simplified to (* y (/ x z))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (* y (/ x z)) in (y x z) around 0
* [misc]taylor:  Taking taylor expansion of (* y (/ x z)) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of (/ x z) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ x 1) into x
* [misc]taylor:  Taking taylor expansion of (* y (/ x z)) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of (/ x z) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (* y (/ x z)) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ x z) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (* y (/ x z)) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ x z) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
* [misc]backup-simplify:  Simplify (* 0 (/ x z)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (/ x z))) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (/ x z) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (/ x z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (/ x z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) in (y x z) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ 1 x) 1) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ 1 z)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 z)) into z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ 1 z)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ 1 z)) into (/ z x)
* [misc]backup-simplify:  Simplify (* 1 (/ z x)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (/ z x) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 z)) (+ (* (/ z x) (/ 0 (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ z x))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 z)) (+ (* (/ z x) (/ 0 (/ 1 z))) (* 0 (/ 0 (/ 1 z))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) in (y x z) around 0
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ -1 x) -1) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ 1 (- z))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 z)) into z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (/ (/ -1 x) (/ -1 z)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (/ (/ -1 x) (/ -1 z)) into (/ z x)
* [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ z x) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
* [misc]taylor:  Taking taylor expansion of (* -1 z) in z
* [misc]taylor:  Taking taylor expansion of -1 in z
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 z)) (+ (* (/ z x) (/ 0 (/ -1 z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))) (* 0 (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 z)) (+ (* (/ z x) (/ 0 (/ -1 z))) (* 0 (/ 0 (/ -1 z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
* * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
* * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
* * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
* * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
* * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
* * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
* * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
* [enter]simplify:  Simplifying (cbrt (/ x z))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (cbrt (/ x z))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
* * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
* [enter]simplify:  Simplifying (sqrt (/ x z))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (/ x z))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
* * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
* [enter]simplify:  Simplifying (/ x z)
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (/ x z)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
* * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
* [enter]simplify:  Simplifying (/ 1 z)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (/ 1 z)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
* * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
* * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
* * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* x y) z))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
* [misc]taylor:  Taking taylor expansion of (* x y) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x y) into (* x y)
* [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
* [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* x 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
* [misc]taylor:  Taking taylor expansion of (* x y) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* 0 y) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
* [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
* [misc]taylor:  Taking taylor expansion of (* x y) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (* 0 y) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
* [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ y z) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) in (x y z) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* (/ 1 x) (/ 1 y)) into (/ 1 (* x y))
* [misc]backup-simplify:  Simplify (/ (/ 1 (* x y)) 1) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* (/ 1 x) 1) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ 1 z)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y)) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ 1 z)) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]backup-simplify:  Simplify (* 1 (/ 1 y)) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ 1 z)) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ z y) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 z)) (+ (* (/ z y) (/ 0 (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 z)) (+ (* (/ z y) (/ 0 (/ 1 z))) (* 0 (/ 0 (/ 1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) in (x y z) around 0
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) in z
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* (/ -1 x) (/ -1 y)) into (/ 1 (* x y))
* [misc]backup-simplify:  Simplify (/ (/ 1 (* x y)) -1) into (/ -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) in y
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* (/ -1 x) -1) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ -1 z)) into (* -1 (/ z x))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y)) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ -1 z)) into (* -1 (/ z y))
* [misc]taylor:  Taking taylor expansion of (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]backup-simplify:  Simplify (* -1 (/ -1 y)) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ -1 z)) into (* -1 (/ z y))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in y
* [misc]taylor:  Taking taylor expansion of -1 in y
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ z y) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
* [misc]taylor:  Taking taylor expansion of (* -1 z) in z
* [misc]taylor:  Taking taylor expansion of -1 in z
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 z)) (+ (* (* -1 (/ z y)) (/ 0 (/ -1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 y)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 z)) (+ (* (* -1 (/ z y)) (/ 0 (/ -1 z))) (* 0 (/ 0 (/ -1 z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
* * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* x y) z))))>
* * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* x y) z))))>
* * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>
* * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))))>
* * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))>
* * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* x y)) (- z)))>
* * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
* * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* x y) (/ 1 z)))>
* * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
* * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ x (/ z y)))>
* * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 3 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ x (/ z y)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ x (/ z y)) in (x z y) around 0
* [misc]taylor:  Taking taylor expansion of (/ x (/ z y)) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of (/ z y) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (/ x (/ z y)) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ x (/ 1 y)) into (* x y)
* [misc]taylor:  Taking taylor expansion of (/ x (/ z y)) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ z y) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
* [misc]backup-simplify:  Simplify (/ 1 (/ z y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ x (/ z y)) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (/ z y) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
* [misc]backup-simplify:  Simplify (/ 1 (/ z y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ y z) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ y 1) into y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ z y)) (+ (* (/ y z) (/ 0 (/ z y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ z y)) (+ (* (/ y z) (/ 0 (/ z y))) (* 0 (/ 0 (/ z y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) in (x z y) around 0
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ 1 z) 1) into (/ 1 z)
* [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ 1 z)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 y)) into y
* [misc]backup-simplify:  Simplify (/ (/ 1 x) y) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 y)) into (/ y z)
* [misc]backup-simplify:  Simplify (/ 1 (/ y z)) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 y)) into (/ y z)
* [misc]backup-simplify:  Simplify (/ 1 (/ y z)) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* (/ y z) (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (/ z y) (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* (/ y z) (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (/ z y) (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* (/ y z) (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (/ z y) (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) in (x z y) around 0
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ -1 z) -1) into (/ 1 z)
* [misc]backup-simplify:  Simplify (/ (/ -1 x) (/ 1 z)) into (* -1 (/ z x))
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 y)) into y
* [misc]backup-simplify:  Simplify (/ (/ -1 x) y) into (/ -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ (/ -1 z) (/ -1 y)) into (/ y z)
* [misc]backup-simplify:  Simplify (/ -1 (/ y z)) into (* -1 (/ z y))
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ (/ -1 z) (/ -1 y)) into (/ y z)
* [misc]backup-simplify:  Simplify (/ -1 (/ y z)) into (* -1 (/ z y))
* [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in z
* [misc]taylor:  Taking taylor expansion of -1 in z
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (* -1 (/ 1 y)) into (/ -1 y)
* [misc]taylor:  Taking taylor expansion of (/ -1 y) in y
* [misc]taylor:  Taking taylor expansion of -1 in y
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* (/ y z) (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (* -1 (/ z y)) (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* (/ y z) (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (* -1 (/ z y)) (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 z) (/ 0 (- z))) (* 0 (/ 0 (- z))) (* 0 (/ 0 (- z))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* (/ y z) (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ y z)) (+ (* (* -1 (/ z y)) (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))) (* 0 (/ 0 (/ y z))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>
* * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ x (/ z y)))))>
* * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ x (/ z y)))))>
* * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y)))) (cbrt (/ x (/ z y)))))>
* * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))))>
* * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ x (/ z y))) (sqrt (/ x (/ z y)))))>
* * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (- x) (- (/ z y))))>
* * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ x (/ z y))))>
* * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* x (/ 1 (/ z y))))>
* * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))>
* * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))>
* [enter]simplify:  Simplifying (cbrt (/ z y))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (cbrt (/ z y))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))
* * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x (sqrt (/ z y))) (sqrt (/ z y))))>
* [enter]simplify:  Simplifying (sqrt (/ z y))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (/ z y))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x (sqrt (/ z y))) (sqrt (/ z y))))
* * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x 1) (/ z y)))>
* [enter]simplify:  Simplifying (/ z y)
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (/ z y)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x 1) (/ z y)))
* * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x z) (/ 1 y)))>
* [enter]simplify:  Simplifying (/ 1 y)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (/ 1 y)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x z) (/ 1 y)))
* * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
* * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 4 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
* [misc]approximate:  Taking taylor expansion of (/ (/ z y) x) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in x
* [misc]taylor:  Taking taylor expansion of (/ z y) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ (/ z y) 1) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in y
* [misc]taylor:  Taking taylor expansion of (/ z y) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in z
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ (/ 1 y) x) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in z
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ (/ 1 y) x) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in y
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 (* x y)) (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 (* x y)) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 (* x y)) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 x) (* (/ 1 y) z))) into (/ z (* x y))
* [misc]approximate:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ y z) 1) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ 1 z) 1) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 x)) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ y (/ 1 x)) into (* x y)
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ y (/ 1 x)) into (* x y)
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* y (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 x)) (+ (* (* x y) (/ 0 (/ 1 x))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* y (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 x)) (+ (* (* x y) (/ 0 (/ 1 x))) (* 0 (/ 0 (/ 1 x))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 x) (* (/ 1 y) (/ 1 (/ 1 z))))) into (/ z (* x y))
* [misc]approximate:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ (/ -1 z) (/ -1 y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ y z) -1) into (* -1 (/ y z))
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ -1 z) -1) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ -1 x)) into (* -1 (/ x z))
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ y (/ -1 x)) into (* -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ y (/ -1 x)) into (* -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (* -1 (* x y)) in y
* [misc]taylor:  Taking taylor expansion of -1 in y
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]backup-simplify:  Simplify (* x 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 x) (* 0 0)) into (- x)
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* y (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 x)) (+ (* (* -1 (* x y)) (/ 0 (/ -1 x))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 x) (* 0 0))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* y (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))) (* 0 (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 x)) (+ (* (* -1 (* x y)) (/ 0 (/ -1 x))) (* 0 (/ 0 (/ -1 x))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (/ 1 (/ (/ z y) x)) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ z y) x)) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in x
* [misc]taylor:  Taking taylor expansion of (/ z y) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ (/ z y) 1) into (/ z y)
* [misc]backup-simplify:  Simplify (/ 1 (/ z y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ z y) x)) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in y
* [misc]taylor:  Taking taylor expansion of (/ z y) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ z 1) into z
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
* [misc]backup-simplify:  Simplify (/ 1 (/ z x)) into (/ x z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ z y) x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in z
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ (/ 1 y) x) into (/ 1 (* x y))
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 (* x y))) into (* x y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ z y) x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ z y) x) in z
* [misc]taylor:  Taking taylor expansion of (/ z y) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ (/ 1 y) x) into (/ 1 (* x y))
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 (* x y))) into (* x y)
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 (* x y)) (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (* x y) (/ 0 (/ 1 (* x y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 (* x y)) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (* x y) (/ 0 (/ 1 (* x y)))) (* 0 (/ 0 (/ 1 (* x y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* x (* y (/ 1 z)))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ y z) 1) into (/ y z)
* [misc]backup-simplify:  Simplify (/ 1 (/ y z)) into (/ z y)
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (/ (/ 1 z) 1) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ 1 x)) into (/ x z)
* [misc]backup-simplify:  Simplify (/ 1 (/ x z)) into (/ z x)
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ y (/ 1 x)) into (* x y)
* [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 z) (/ 1 y)) (/ 1 x)) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 z) (/ 1 y)) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
* [misc]backup-simplify:  Simplify (/ 1 (/ 1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]backup-simplify:  Simplify (/ y (/ 1 x)) into (* x y)
* [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in y
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* y (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 x)) (+ (* (* x y) (/ 0 (/ 1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* y (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 x)) (+ (* (* x y) (/ 0 (/ 1 x))) (* 0 (/ 0 (/ 1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 y)) (+ (* y (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))) (* 0 (/ 0 (/ 1 y))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ 1 x)) (+ (* (* x y) (/ 0 (/ 1 x))) (* 0 (/ 0 (/ 1 x))) (* 0 (/ 0 (/ 1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) (/ 1 z)))) into (/ (* x y) z)
* [misc]approximate:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) in (z y x) around 0
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in x
* [misc]taylor:  Taking taylor expansion of (- z) in x
* [misc]taylor:  Taking taylor expansion of z in x
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in x
* [misc]taylor:  Taking taylor expansion of (- y) in x
* [misc]taylor:  Taking taylor expansion of y in x
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ (/ -1 z) (/ -1 y)) into (/ y z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ y z) -1) into (* -1 (/ y z))
* [misc]backup-simplify:  Simplify (/ 1 (* -1 (/ y z))) into (* -1 (/ z y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in y
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in y
* [misc]taylor:  Taking taylor expansion of (- z) in y
* [misc]taylor:  Taking taylor expansion of z in y
* [misc]backup-simplify:  Simplify z into z
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (- z) into (- z)
* [misc]backup-simplify:  Simplify (/ 1 (- z)) into (/ -1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in y
* [misc]taylor:  Taking taylor expansion of (- y) in y
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (/ (/ -1 z) -1) into (/ 1 z)
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in y
* [misc]taylor:  Taking taylor expansion of (- x) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ (/ 1 z) (/ -1 x)) into (* -1 (/ x z))
* [misc]backup-simplify:  Simplify (/ 1 (* -1 (/ x z))) into (* -1 (/ z x))
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ y (/ -1 x)) into (* -1 (* x y))
* [misc]backup-simplify:  Simplify (/ 1 (* -1 (* x y))) into (/ -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x)))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- x))) in z
* [misc]taylor:  Taking taylor expansion of (/ (/ 1 (- z)) (/ 1 (- y))) in z
* [misc]taylor:  Taking taylor expansion of (/ 1 (- z)) in z
* [misc]taylor:  Taking taylor expansion of (- z) in z
* [misc]taylor:  Taking taylor expansion of z in z
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- y)) in z
* [misc]taylor:  Taking taylor expansion of (- y) in z
* [misc]taylor:  Taking taylor expansion of y in z
* [misc]backup-simplify:  Simplify y into y
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (/ 1 (- y)) into (/ -1 y)
* [misc]backup-simplify:  Simplify (/ -1 (/ -1 y)) into y
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in z
* [misc]taylor:  Taking taylor expansion of (- x) in z
* [misc]taylor:  Taking taylor expansion of x in z
* [misc]backup-simplify:  Simplify x into x
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (/ 1 (- x)) into (/ -1 x)
* [misc]backup-simplify:  Simplify (/ y (/ -1 x)) into (* -1 (* x y))
* [misc]backup-simplify:  Simplify (/ 1 (* -1 (* x y))) into (/ -1 (* x y))
* [misc]taylor:  Taking taylor expansion of (/ -1 (* x y)) in y
* [misc]taylor:  Taking taylor expansion of -1 in y
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of (* x y) in y
* [misc]taylor:  Taking taylor expansion of x in y
* [misc]backup-simplify:  Simplify x into x
* [misc]taylor:  Taking taylor expansion of y in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* x 0) into 0
* [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
* [misc]backup-simplify:  Simplify (/ -1 x) into (/ -1 x)
* [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
* [misc]taylor:  Taking taylor expansion of -1 in x
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ -1 1) into -1
* [misc]backup-simplify:  Simplify -1 into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* y (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 x)) (+ (* (* -1 (* x y)) (/ 0 (/ -1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (* x y)) (/ 0 (* -1 (* x y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* y (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))) (* 0 (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 x)) (+ (* (* -1 (* x y)) (/ 0 (/ -1 x))) (* 0 (/ 0 (/ -1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (* x y)) (/ 0 (* -1 (* x y)))) (* 0 (/ 0 (* -1 (* x y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- y) into (- y)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 y) (/ 0 (- y))) (* 0 (/ 0 (- y))) (* 0 (/ 0 (- y))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 y)) (+ (* y (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))) (* 0 (/ 0 (/ -1 y))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- x) into (- x)
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 x) (/ 0 (- x))) (* 0 (/ 0 (- x))) (* 0 (/ 0 (- x))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (/ -1 x)) (+ (* (* -1 (* x y)) (/ 0 (/ -1 x))) (* 0 (/ 0 (/ -1 x))) (* 0 (/ 0 (/ -1 x))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (* x y)) (/ 0 (* -1 (* x y)))) (* 0 (/ 0 (* -1 (* x y)))) (* 0 (/ 0 (* -1 (* x y)))))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in y
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
* [misc]taylor:  Taking taylor expansion of 0 in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) (/ 1 (- z))))) into (/ (* x y) z)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (pow (/ (/ z y) x) 1)))>
* * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (exp (log (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (log (exp (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 4 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x))) (cbrt (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 5 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (cbrt (* (* (/ (/ z y) x) (/ (/ z y) x)) (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (sqrt (/ (/ z y) x)) (sqrt (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (- (/ z y)) (- x))))>
* * * * [misc]progress:  [ 8 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* 1 (/ (/ z y) x))))>
* * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (/ z y) (/ 1 x))))>
* * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ 1 (/ x (/ z y)))))>
* * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (/ x (cbrt (/ z y))))))>
* [enter]simplify:  Simplifying (* (cbrt (/ z y)) (cbrt (/ z y)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* [exit]simplify:  Simplified to (* (cbrt (/ z y)) (cbrt (/ z y)))
* [misc]simplify:  Simplified (2 2 1) to (λ (x y z t) (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (/ x (cbrt (/ z y))))))
* * * * [misc]progress:  [ 12 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (sqrt (/ z y)) (/ x (sqrt (/ z y))))))>
* [enter]simplify:  Simplifying (sqrt (/ z y))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (/ z y))
* [misc]simplify:  Simplified (2 2 1) to (λ (x y z t) (/ 1 (/ (sqrt (/ z y)) (/ x (sqrt (/ z y))))))
* * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ 1 (/ x (/ z y)))))>
* * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))>
* * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
* * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ z y) x) -1))>
* * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ z y) x) (- 1)))>
* [enter]simplify:  Simplifying (- 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to -1
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (pow (/ (/ z y) x) -1))
* * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ 1 (/ (/ z y) x)) 1))>
* * * * [misc]progress:  [ 19 / 39 ] simplifiying candidate #<alt (λ (x y z t) (exp (- (log (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 20 / 39 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ 1 (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ 1 (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ 1 (/ (/ z y) x))) (cbrt (/ 1 (/ (/ z y) x)))) (cbrt (/ 1 (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ 1 (/ (/ z y) x)) (/ 1 (/ (/ z y) x))) (/ 1 (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ 1 (/ (/ z y) x))) (sqrt (/ 1 (/ (/ z y) x)))))>
* * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (- 1) (- (/ (/ z y) x))))>
* * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))>
* * * * [misc]progress:  [ 27 / 39 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ (/ z y) x))))>
* * * * [misc]progress:  [ 28 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ (/ z y) x) 1)))>
* * * * [misc]progress:  [ 29 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x)))) (cbrt (/ (/ z y) x))))>
* [enter]simplify:  Simplifying (cbrt (/ (/ z y) x))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (/ z y) x))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x)))) (cbrt (/ (/ z y) x))))
* * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (sqrt (/ (/ z y) x))) (sqrt (/ (/ z y) x))))>
* [enter]simplify:  Simplifying (sqrt (/ (/ z y) x))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (/ z y) x))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (sqrt (/ (/ z y) x))) (sqrt (/ (/ z y) x))))
* * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 1) (/ (/ z y) x)))>
* [enter]simplify:  Simplifying (/ (/ z y) x)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* [exit]simplify:  Simplified to (/ (/ z y) x)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 1) (/ (/ z y) x)))
* * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (/ z y)) (/ 1 x)))>
* [enter]simplify:  Simplifying (/ 1 x)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (5 enodes)
* [exit]simplify:  Simplified to (/ 1 x)
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (/ z y)) (/ 1 x)))
* * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (x y z t) (* (/ 1 (/ z y)) x))>
* * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
* [enter]simplify:  Simplifying (/ z (* x y))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (/ z (* y x))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
* * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
* [enter]simplify:  Simplifying (/ z (* x y))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (/ z (* y x))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
* * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
* [enter]simplify:  Simplifying (/ z (* x y))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (/ z (* y x))
* [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
* * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
* [enter]simplify:  Simplifying (/ (* x y) z)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (/ y (/ z x))
* [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* * * [misc]regime-changes:  Trying 3 branch expressions: (z y x)
* * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* * * [misc]regime:  Found split indices: #<option (#s(si 2 130) #s(si 5 256))>
* [misc]binary-search:  Improving bounds with binary search for y and (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 16 points with exact outputs
* [misc]regimes:  Found splitpoints: (#s(sp 2 y 2.441393482817533e-302) #s(sp 5 y +nan.0)) , with alts (#<alt (λ (x y z t) (* (/ 1 (/ z y)) x))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (/ 1 (/ z (/ x (/ 1 y)))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
* [enter]simplify:  Simplifying (if (<= y 2.441393482817533e-302) (/ x (/ z y)) (/ (* x y) z))
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (if (<= y 2.441393482817533e-302) (/ x (/ z y)) (/ (* x y) z))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1324 additional inputs, on iter 1 have 6676 / 8000
* * * * [misc]points:  Computing exacts on every 82 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 41 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 20 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 10 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 5 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 2 of 1324 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1324 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 199 additional inputs, on iter 2 have 7801 / 8000
* * * * [misc]points:  Computing exacts on every 12 of 199 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 6 of 199 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 199 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 199 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 49 additional inputs, on iter 3 have 7951 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 49 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 4 have 7992 / 8000
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8002 points with exact outputs