1544093297.758 * [misc]progress:  [Phase 1 of 3] Setting up.
1544093297.758 * * * [misc]progress:  [1/2] Preparing points
1544093297.758 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544093297.762 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544093297.764 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.765 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.766 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544093297.768 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.770 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.771 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544093297.772 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.774 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.775 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544093297.776 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.779 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.781 * * * * [misc]points:  Computing exacts for 256 points
1544093297.782 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.790 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093297.797 * * * * [misc]points:  Sampling 48 additional inputs, on iter 1 have 208 / 256
1544093297.797 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1544093297.798 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.799 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.799 * * * * [misc]points:  Computing exacts for 48 points
1544093297.800 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.802 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.803 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093297.803 * * * * [misc]points:  Sampling 8 additional inputs, on iter 2 have 248 / 256
1544093297.803 * * * * [misc]points:  Computing exacts for 8 points
1544093297.805 * * * * [misc]points:  Setting MPFR precision to 64
1544093297.805 * * * * [misc]points:  Setting MPFR precision to 320
1544093297.806 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093297.806 * * * * [exit]points:  Sampled 256 points with exact outputs
1544093297.806 * * * [misc]progress:  [2/2] Setting up program.
1544093297.809 * [misc]progress:  [Phase 2 of 3] Improving.
1544093297.809 * [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
1544093297.809 * * [misc]simplify:  iters left: 6 (8 enodes)
1544093297.811 * * [misc]simplify:  iters left: 5 (16 enodes)
1544093297.814 * * [misc]simplify:  iters left: 4 (38 enodes)
1544093297.821 * * [misc]simplify:  iters left: 3 (80 enodes)
1544093297.874 * * [misc]simplify:  iters left: 2 (239 enodes)
1544093298.249 * [exit]simplify:  Simplified to (* y (/ x z))
1544093298.255 * * [misc]progress:  iteration 1 / 4
1544093298.255 * * * [misc]progress:  picking best candidate
1544093298.260 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1544093298.260 * * * [misc]progress:  localizing error
1544093298.267 * * * [misc]progress:  generating rewritten candidates
1544093298.268 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544093298.270 * * * [misc]progress:  generating series expansions
1544093298.270 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544093298.270 * [misc]backup-simplify:  Simplify (* y (/ x z)) into (/ (* x y) z)
1544093298.270 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1544093298.270 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544093298.270 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.270 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.270 * [misc]backup-simplify:  Simplify x into x
1544093298.270 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.270 * [misc]backup-simplify:  Simplify y into y
1544093298.270 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.270 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.271 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.271 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.271 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544093298.271 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093298.271 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.271 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.271 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.271 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.271 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.271 * [misc]backup-simplify:  Simplify y into y
1544093298.271 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.271 * [misc]backup-simplify:  Simplify z into z
1544093298.271 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.271 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.271 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093298.271 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093298.271 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.271 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.271 * [misc]backup-simplify:  Simplify x into x
1544093298.271 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.271 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.271 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.271 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.271 * [misc]backup-simplify:  Simplify z into z
1544093298.271 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.271 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.271 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093298.271 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093298.272 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.272 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.272 * [misc]backup-simplify:  Simplify x into x
1544093298.272 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.272 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.272 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.272 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.272 * [misc]backup-simplify:  Simplify z into z
1544093298.272 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.272 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.272 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093298.272 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1544093298.272 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.272 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.272 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.272 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.272 * [misc]backup-simplify:  Simplify z into z
1544093298.272 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544093298.272 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544093298.272 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.272 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.272 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.272 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544093298.272 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.272 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.273 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.273 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.273 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.273 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.274 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544093298.274 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.274 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.274 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.274 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.275 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.275 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1544093298.275 * [misc]backup-simplify:  Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1544093298.275 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1544093298.275 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.275 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.275 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.275 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.275 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.275 * [misc]backup-simplify:  Simplify x into x
1544093298.275 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.275 * [misc]backup-simplify:  Simplify y into y
1544093298.275 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.275 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.275 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.275 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.275 * [misc]backup-simplify:  Simplify z into z
1544093298.275 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.275 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.275 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.275 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.275 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.275 * [misc]backup-simplify:  Simplify y into y
1544093298.275 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.276 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.276 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.276 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.276 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.276 * [misc]backup-simplify:  Simplify z into z
1544093298.276 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.276 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.276 * [misc]backup-simplify:  Simplify x into x
1544093298.276 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.276 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.276 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.276 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.276 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.276 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.276 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.276 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.276 * [misc]backup-simplify:  Simplify z into z
1544093298.276 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.276 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.276 * [misc]backup-simplify:  Simplify x into x
1544093298.276 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.276 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.276 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.276 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.276 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.276 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.276 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544093298.276 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.276 * [misc]backup-simplify:  Simplify z into z
1544093298.277 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.277 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.277 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.277 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.277 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.277 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.277 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.277 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544093298.277 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.277 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.277 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.277 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.278 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093298.278 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.278 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.278 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1544093298.278 * [misc]backup-simplify:  Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1544093298.278 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1544093298.278 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544093298.279 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.279 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.279 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.279 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.279 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.279 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.279 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.279 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.279 * [misc]backup-simplify:  Simplify x into x
1544093298.279 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.279 * [misc]backup-simplify:  Simplify y into y
1544093298.279 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.279 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.279 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093298.279 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.279 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.279 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.279 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.279 * [misc]backup-simplify:  Simplify z into z
1544093298.279 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.279 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.279 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.279 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.279 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.279 * [misc]backup-simplify:  Simplify y into y
1544093298.279 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.279 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.279 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.279 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093298.279 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.279 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.279 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.279 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.279 * [misc]backup-simplify:  Simplify z into z
1544093298.279 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.279 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.279 * [misc]backup-simplify:  Simplify x into x
1544093298.279 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.279 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.279 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.279 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.280 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.280 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.280 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093298.280 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.280 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.280 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.280 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.280 * [misc]backup-simplify:  Simplify z into z
1544093298.280 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.280 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.280 * [misc]backup-simplify:  Simplify x into x
1544093298.280 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.280 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.280 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.280 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.280 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.280 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.280 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1544093298.280 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1544093298.280 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.280 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.280 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544093298.280 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.280 * [misc]backup-simplify:  Simplify z into z
1544093298.280 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.280 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.280 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.280 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.280 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544093298.280 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544093298.280 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.280 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.280 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.280 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.281 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.281 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544093298.281 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.281 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.281 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544093298.281 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1544093298.281 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.281 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.281 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.282 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544093298.282 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.282 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.282 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.282 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093298.282 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1544093298.282 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.282 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.282 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.283 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.283 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544093298.283 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.283 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.283 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.283 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.283 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.284 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.284 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1544093298.284 * * * [misc]progress:  simplifying candidates
1544093298.284 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
1544093298.284 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
1544093298.284 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
1544093298.284 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
1544093298.285 * [enter]simplify:  Simplifying (cbrt (/ x z))
1544093298.285 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093298.286 * [exit]simplify:  Simplified to (cbrt (/ x z))
1544093298.286 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
1544093298.286 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
1544093298.287 * [enter]simplify:  Simplifying (sqrt (/ x z))
1544093298.287 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093298.288 * [exit]simplify:  Simplified to (sqrt (/ x z))
1544093298.288 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
1544093298.288 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
1544093298.288 * [enter]simplify:  Simplifying (/ x z)
1544093298.289 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093298.290 * [exit]simplify:  Simplified to (/ x z)
1544093298.290 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
1544093298.290 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1544093298.290 * [enter]simplify:  Simplifying (/ 1 z)
1544093298.290 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093298.291 * * [misc]simplify:  iters left: 1 (5 enodes)
1544093298.293 * [exit]simplify:  Simplified to (/ 1 z)
1544093298.293 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
1544093298.293 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1544093298.293 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1544093298.293 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.293 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.293 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.296 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.298 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.301 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.305 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.305 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.305 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.306 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.306 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.308 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.310 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.313 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.317 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.317 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.317 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.318 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.318 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.320 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.327 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.330 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.334 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.334 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.334 * * * [misc]progress:  adding candidates to table
1544093298.528 * * [misc]progress:  iteration 2 / 4
1544093298.528 * * * [misc]progress:  picking best candidate
1544093298.564 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.564 * * * [misc]progress:  localizing error
1544093298.576 * * * [misc]progress:  generating rewritten candidates
1544093298.576 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544093298.580 * * * [misc]progress:  generating series expansions
1544093298.580 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544093298.580 * [misc]backup-simplify:  Simplify (/ (* x y) z) into (/ (* x y) z)
1544093298.580 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
1544093298.580 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544093298.580 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.580 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.580 * [misc]backup-simplify:  Simplify x into x
1544093298.580 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.580 * [misc]backup-simplify:  Simplify y into y
1544093298.580 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.580 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.580 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.580 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.580 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544093298.580 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093298.580 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.580 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.581 * [misc]backup-simplify:  Simplify x into x
1544093298.581 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.581 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.581 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.581 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.581 * [misc]backup-simplify:  Simplify z into z
1544093298.581 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.581 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.581 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093298.581 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093298.581 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.581 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.581 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.581 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.581 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.581 * [misc]backup-simplify:  Simplify y into y
1544093298.581 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.581 * [misc]backup-simplify:  Simplify z into z
1544093298.582 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.582 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.582 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093298.582 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093298.582 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.582 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.582 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.582 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.582 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.582 * [misc]backup-simplify:  Simplify y into y
1544093298.582 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.582 * [misc]backup-simplify:  Simplify z into z
1544093298.582 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.582 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.582 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093298.583 * [misc]taylor:  Taking taylor expansion of (/ y z) in y
1544093298.583 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.583 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.583 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.583 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.583 * [misc]backup-simplify:  Simplify z into z
1544093298.583 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544093298.583 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544093298.583 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.583 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.583 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.583 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544093298.583 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.584 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.584 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1544093298.584 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.584 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.584 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.584 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.584 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544093298.584 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.584 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.584 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544093298.584 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.585 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.585 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.585 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.585 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.585 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.585 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.585 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.585 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.586 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.586 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.586 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.586 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.586 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.586 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.586 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.587 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544093298.587 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.587 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.587 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.587 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.587 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.587 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.587 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.588 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.588 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.588 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
1544093298.588 * [misc]backup-simplify:  Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
1544093298.588 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
1544093298.588 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.588 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.588 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.588 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.588 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.588 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.589 * [misc]backup-simplify:  Simplify x into x
1544093298.589 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.589 * [misc]backup-simplify:  Simplify y into y
1544093298.589 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.589 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.589 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.589 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.589 * [misc]backup-simplify:  Simplify z into z
1544093298.589 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.589 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.589 * [misc]backup-simplify:  Simplify x into x
1544093298.589 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.589 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.589 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.589 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.589 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.589 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.590 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.590 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.590 * [misc]backup-simplify:  Simplify z into z
1544093298.590 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.590 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.590 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.590 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.590 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.590 * [misc]backup-simplify:  Simplify y into y
1544093298.590 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.590 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.590 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.590 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.590 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.590 * [misc]backup-simplify:  Simplify z into z
1544093298.590 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.590 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.590 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.590 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.590 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.590 * [misc]backup-simplify:  Simplify y into y
1544093298.590 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.591 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.591 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.591 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544093298.591 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.591 * [misc]backup-simplify:  Simplify z into z
1544093298.591 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.591 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.591 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.591 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.591 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.591 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.591 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.591 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.592 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.592 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544093298.592 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.592 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.592 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.592 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.592 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.592 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.592 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.593 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.593 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544093298.593 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.593 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.593 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.593 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.593 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.594 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.594 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.594 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.594 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.594 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.594 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.594 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
1544093298.595 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
1544093298.595 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
1544093298.595 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544093298.595 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.595 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.595 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.595 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.595 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.595 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.595 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.595 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.595 * [misc]backup-simplify:  Simplify x into x
1544093298.595 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.595 * [misc]backup-simplify:  Simplify y into y
1544093298.595 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.595 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.595 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093298.595 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.595 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.595 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.595 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.595 * [misc]backup-simplify:  Simplify z into z
1544093298.595 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.595 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.595 * [misc]backup-simplify:  Simplify x into x
1544093298.595 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.595 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.595 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.596 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.596 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.596 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.596 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093298.596 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.596 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.596 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.596 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.596 * [misc]backup-simplify:  Simplify z into z
1544093298.596 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.596 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.596 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.596 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.596 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.596 * [misc]backup-simplify:  Simplify y into y
1544093298.596 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.597 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.597 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.597 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093298.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.597 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.597 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.597 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.597 * [misc]backup-simplify:  Simplify z into z
1544093298.597 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.597 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.597 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.597 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.597 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.597 * [misc]backup-simplify:  Simplify y into y
1544093298.597 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.597 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.598 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.598 * [misc]backup-simplify:  Simplify (* -1 (/ z y)) into (* -1 (/ z y))
1544093298.598 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in y
1544093298.598 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.598 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.598 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544093298.598 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.598 * [misc]backup-simplify:  Simplify z into z
1544093298.598 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.598 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.598 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.598 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.598 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544093298.598 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544093298.598 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.598 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.598 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.598 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.599 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.599 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544093298.599 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.599 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.600 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544093298.600 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
1544093298.600 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.600 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.600 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.601 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544093298.601 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.601 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.601 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.601 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.601 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.601 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.602 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544093298.602 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
1544093298.602 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.602 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.602 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.602 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.602 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.603 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.603 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544093298.603 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.603 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.603 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.603 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.604 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.604 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.604 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
1544093298.604 * * * [misc]progress:  simplifying candidates
1544093298.604 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1544093298.604 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))>
1544093298.604 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* x y)) (- z)))>
1544093298.605 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
1544093298.605 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* x y) (/ 1 z)))>
1544093298.605 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544093298.605 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ x (/ z y)))>
1544093298.605 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.605 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.605 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.607 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.609 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.612 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.616 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.616 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.616 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.616 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.617 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.618 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.621 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.624 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.628 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.628 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.628 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093298.628 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093298.628 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093298.630 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093298.632 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093298.636 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093298.640 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.640 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093298.640 * * * [misc]progress:  adding candidates to table
1544093298.808 * * [misc]progress:  iteration 3 / 4
1544093298.808 * * * [misc]progress:  picking best candidate
1544093298.828 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* (* x y) (/ 1 z)))>
1544093298.828 * * * [misc]progress:  localizing error
1544093298.833 * * * [misc]progress:  generating rewritten candidates
1544093298.834 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544093298.841 * * * [misc]progress:  generating series expansions
1544093298.841 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544093298.841 * [misc]backup-simplify:  Simplify (* (* x y) (/ 1 z)) into (/ (* x y) z)
1544093298.841 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
1544093298.841 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544093298.841 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.841 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.841 * [misc]backup-simplify:  Simplify x into x
1544093298.841 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.842 * [misc]backup-simplify:  Simplify y into y
1544093298.842 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.842 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.842 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.842 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.842 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544093298.842 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093298.842 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.842 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.842 * [misc]backup-simplify:  Simplify x into x
1544093298.842 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.842 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.842 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.842 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.842 * [misc]backup-simplify:  Simplify z into z
1544093298.842 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.842 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.842 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093298.843 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093298.843 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.843 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.843 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.843 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.843 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.843 * [misc]backup-simplify:  Simplify y into y
1544093298.843 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.843 * [misc]backup-simplify:  Simplify z into z
1544093298.843 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.843 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.843 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093298.843 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093298.843 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.843 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.843 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.843 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.843 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.843 * [misc]backup-simplify:  Simplify y into y
1544093298.843 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.843 * [misc]backup-simplify:  Simplify z into z
1544093298.843 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.844 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.844 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093298.844 * [misc]taylor:  Taking taylor expansion of (/ y z) in y
1544093298.844 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.844 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.844 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.844 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.844 * [misc]backup-simplify:  Simplify z into z
1544093298.844 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544093298.844 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544093298.844 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.844 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.844 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.844 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544093298.845 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.845 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.845 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1544093298.845 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.845 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.845 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.845 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.845 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544093298.845 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.845 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.846 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544093298.846 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.846 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.846 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.847 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.847 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.847 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.847 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.848 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544093298.848 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.848 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.848 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093298.849 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.849 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
1544093298.849 * [misc]backup-simplify:  Simplify (* (* (/ 1 x) (/ 1 y)) (/ 1 (/ 1 z))) into (/ z (* x y))
1544093298.850 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
1544093298.850 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.850 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.850 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.850 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.850 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.850 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.850 * [misc]backup-simplify:  Simplify x into x
1544093298.850 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.850 * [misc]backup-simplify:  Simplify y into y
1544093298.850 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.850 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.850 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.850 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.850 * [misc]backup-simplify:  Simplify z into z
1544093298.850 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.850 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.850 * [misc]backup-simplify:  Simplify x into x
1544093298.850 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.850 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.850 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.850 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.851 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.851 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.851 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.851 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.851 * [misc]backup-simplify:  Simplify z into z
1544093298.851 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.851 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.851 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.851 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.851 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.851 * [misc]backup-simplify:  Simplify y into y
1544093298.851 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.851 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.851 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.851 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.851 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.852 * [misc]backup-simplify:  Simplify z into z
1544093298.852 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.852 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.852 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.852 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.852 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.852 * [misc]backup-simplify:  Simplify y into y
1544093298.852 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.852 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.852 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.852 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544093298.852 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.852 * [misc]backup-simplify:  Simplify z into z
1544093298.852 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.852 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.852 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.852 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.852 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.852 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.852 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.853 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.853 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.853 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544093298.853 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.853 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.854 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.854 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.854 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.854 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.854 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.854 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.855 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544093298.855 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.855 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.855 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.855 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.855 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.855 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.855 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.855 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.856 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.856 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.856 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.856 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
1544093298.856 * [misc]backup-simplify:  Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1544093298.856 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
1544093298.856 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544093298.856 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.856 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.856 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093298.856 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.856 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.856 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.856 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093298.856 * [misc]taylor:  Taking taylor expansion of x in z
1544093298.856 * [misc]backup-simplify:  Simplify x into x
1544093298.856 * [misc]taylor:  Taking taylor expansion of y in z
1544093298.856 * [misc]backup-simplify:  Simplify y into y
1544093298.857 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093298.857 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093298.857 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093298.857 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.857 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.857 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093298.857 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.857 * [misc]backup-simplify:  Simplify z into z
1544093298.857 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093298.857 * [misc]taylor:  Taking taylor expansion of x in y
1544093298.857 * [misc]backup-simplify:  Simplify x into x
1544093298.857 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.857 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.857 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.857 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093298.857 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093298.857 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093298.858 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.858 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.858 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.858 * [misc]backup-simplify:  Simplify z into z
1544093298.858 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.858 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.858 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.858 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.858 * [misc]backup-simplify:  Simplify y into y
1544093298.858 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.858 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.858 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.858 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093298.858 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.858 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of z in x
1544093298.858 * [misc]backup-simplify:  Simplify z into z
1544093298.858 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093298.858 * [misc]taylor:  Taking taylor expansion of x in x
1544093298.859 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.859 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.859 * [misc]taylor:  Taking taylor expansion of y in x
1544093298.859 * [misc]backup-simplify:  Simplify y into y
1544093298.859 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093298.859 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093298.859 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093298.859 * [misc]backup-simplify:  Simplify (* -1 (/ z y)) into (* -1 (/ z y))
1544093298.859 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in y
1544093298.859 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093298.859 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.859 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544093298.859 * [misc]taylor:  Taking taylor expansion of z in y
1544093298.859 * [misc]backup-simplify:  Simplify z into z
1544093298.859 * [misc]taylor:  Taking taylor expansion of y in y
1544093298.859 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.859 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.859 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544093298.860 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544093298.860 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544093298.860 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093298.860 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.860 * [misc]taylor:  Taking taylor expansion of z in z
1544093298.860 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.860 * [misc]backup-simplify:  Simplify 1 into 1
1544093298.860 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544093298.860 * [misc]backup-simplify:  Simplify -1 into -1
1544093298.861 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544093298.861 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544093298.861 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
1544093298.861 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.861 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.861 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544093298.862 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544093298.862 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.862 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.862 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.862 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544093298.862 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.863 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544093298.863 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544093298.863 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
1544093298.863 * [misc]taylor:  Taking taylor expansion of 0 in y
1544093298.863 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.863 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.863 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.863 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.864 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093298.865 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544093298.865 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093298.865 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.865 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.865 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.865 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093298.865 * [misc]backup-simplify:  Simplify 0 into 0
1544093298.865 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
1544093298.865 * * * [misc]progress:  simplifying candidates
1544093298.865 * * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (* (* x y) (/ 1 z)))))>
1544093298.865 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (* (* x y) (/ 1 z)))))>
1544093298.866 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))>
1544093298.866 * [enter]simplify:  Simplifying (* (* x y) (/ 1 z))
1544093298.866 * * [misc]simplify:  iters left: 4 (7 enodes)
1544093298.868 * * [misc]simplify:  iters left: 3 (15 enodes)
1544093298.873 * * [misc]simplify:  iters left: 2 (30 enodes)
1544093298.886 * * [misc]simplify:  iters left: 1 (49 enodes)
1544093298.901 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093298.901 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (pow (/ y (/ z x)) 1))
1544093298.901 * * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (* x y) (/ 1 z)) 1))>
1544093298.901 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (x y z t) (exp (+ (log (* x y)) (log (/ 1 z)))))>
1544093298.901 * [enter]simplify:  Simplifying (+ (log (* x y)) (log (/ 1 z)))
1544093298.901 * * [misc]simplify:  iters left: 5 (9 enodes)
1544093298.903 * * [misc]simplify:  iters left: 4 (20 enodes)
1544093298.906 * * [misc]simplify:  iters left: 3 (26 enodes)
1544093298.910 * * [misc]simplify:  iters left: 2 (43 enodes)
1544093298.916 * * [misc]simplify:  iters left: 1 (72 enodes)
1544093298.935 * [exit]simplify:  Simplified to (- (log (* x y)) (log z))
1544093298.935 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (exp (- (log (* x y)) (log z))))
1544093298.935 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* (* x y) (/ 1 z)))))>
1544093298.935 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* (* x y) (/ 1 z)))))>
1544093298.935 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))))>
1544093298.936 * [enter]simplify:  Simplifying (* (* (* (* x y) (* x y)) (* x y)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
1544093298.936 * * [misc]simplify:  iters left: 6 (11 enodes)
1544093298.938 * * [misc]simplify:  iters left: 5 (33 enodes)
1544093298.946 * * [misc]simplify:  iters left: 4 (102 enodes)
1544093298.989 * * [misc]simplify:  iters left: 3 (337 enodes)
1544093299.460 * [exit]simplify:  Simplified to (* (* (* x y) (* x y)) (/ (* x y) (pow z 3)))
1544093299.460 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (cbrt (* (* (* x y) (* x y)) (/ (* x y) (pow z 3)))))
1544093299.460 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* (* x y) (/ 1 z))) (cbrt (* (* x y) (/ 1 z)))) (cbrt (* (* x y) (/ 1 z)))))>
1544093299.460 * * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (* x y) (/ 1 z)) (* (* x y) (/ 1 z))) (* (* x y) (/ 1 z)))))>
1544093299.460 * * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* (* x y) (/ 1 z))) (sqrt (* (* x y) (/ 1 z)))))>
1544093299.460 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (* x y) (/ 1 z))))>
1544093299.460 * * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093299.460 * * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z))))>
1544093299.460 * [enter]simplify:  Simplifying (cbrt (/ 1 z))
1544093299.461 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093299.461 * * [misc]simplify:  iters left: 2 (6 enodes)
1544093299.462 * [exit]simplify:  Simplified to (cbrt (/ 1 z))
1544093299.462 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* x y) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z))))
1544093299.462 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* x y) (sqrt (/ 1 z))) (sqrt (/ 1 z))))>
1544093299.462 * [enter]simplify:  Simplifying (sqrt (/ 1 z))
1544093299.462 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093299.463 * * [misc]simplify:  iters left: 2 (6 enodes)
1544093299.464 * [exit]simplify:  Simplified to (sqrt (/ 1 z))
1544093299.464 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* x y) (sqrt (/ 1 z))) (sqrt (/ 1 z))))
1544093299.464 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* x y) 1) (/ 1 z)))>
1544093299.464 * [enter]simplify:  Simplifying (/ 1 z)
1544093299.464 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093299.465 * * [misc]simplify:  iters left: 1 (5 enodes)
1544093299.465 * [exit]simplify:  Simplified to (/ 1 z)
1544093299.465 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* x y) 1) (/ 1 z)))
1544093299.465 * * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* x y) 1) (/ 1 z)))>
1544093299.466 * [enter]simplify:  Simplifying (/ 1 z)
1544093299.466 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093299.466 * * [misc]simplify:  iters left: 1 (5 enodes)
1544093299.467 * [exit]simplify:  Simplified to (/ 1 z)
1544093299.467 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* x y) 1) (/ 1 z)))
1544093299.467 * * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* x (* y (/ 1 z))))>
1544093299.467 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (x y z t) (/ (* (* x y) 1) z))>
1544093299.467 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (x y z t) (* (/ 1 z) (* x y)))>
1544093299.467 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093299.467 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.467 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.468 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.469 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.471 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.475 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.475 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093299.475 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093299.475 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.475 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.477 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.479 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.482 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.486 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.486 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093299.486 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544093299.486 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.486 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.488 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.490 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.493 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.497 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.497 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544093299.498 * * * [misc]progress:  adding candidates to table
1544093299.682 * * [misc]progress:  iteration 4 / 4
1544093299.683 * * * [misc]progress:  picking best candidate
1544093299.693 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))>
1544093299.693 * * * [misc]progress:  localizing error
1544093299.701 * * * [misc]progress:  generating rewritten candidates
1544093299.701 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1544093299.704 * * * [misc]progress:  generating series expansions
1544093299.704 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1544093299.704 * [misc]backup-simplify:  Simplify (/ y (/ z x)) into (/ (* x y) z)
1544093299.704 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
1544093299.704 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544093299.704 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093299.704 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.704 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.704 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.704 * [misc]taylor:  Taking taylor expansion of y in x
1544093299.704 * [misc]backup-simplify:  Simplify y into y
1544093299.704 * [misc]taylor:  Taking taylor expansion of z in x
1544093299.704 * [misc]backup-simplify:  Simplify z into z
1544093299.704 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093299.704 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093299.705 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544093299.705 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544093299.705 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093299.705 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.705 * [misc]backup-simplify:  Simplify x into x
1544093299.705 * [misc]taylor:  Taking taylor expansion of y in z
1544093299.705 * [misc]backup-simplify:  Simplify y into y
1544093299.705 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.705 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.705 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.705 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093299.705 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544093299.705 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093299.705 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.705 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.705 * [misc]backup-simplify:  Simplify x into x
1544093299.705 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.705 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.705 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.705 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.705 * [misc]backup-simplify:  Simplify z into z
1544093299.705 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.705 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.705 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093299.705 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544093299.705 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.705 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.705 * [misc]backup-simplify:  Simplify x into x
1544093299.705 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.705 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.705 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.705 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.705 * [misc]backup-simplify:  Simplify z into z
1544093299.705 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.705 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.706 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544093299.706 * [misc]taylor:  Taking taylor expansion of (/ x z) in z
1544093299.706 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.706 * [misc]backup-simplify:  Simplify x into x
1544093299.706 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.706 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.706 * [misc]backup-simplify:  Simplify (/ x 1) into x
1544093299.706 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.706 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.706 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.706 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093299.706 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1544093299.706 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.706 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1544093299.706 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.706 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093299.707 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544093299.707 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093299.707 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.707 * [misc]backup-simplify:  Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
1544093299.708 * [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y))
1544093299.708 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
1544093299.708 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093299.708 * [misc]taylor:  Taking taylor expansion of z in x
1544093299.708 * [misc]backup-simplify:  Simplify z into z
1544093299.708 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093299.708 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.708 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.708 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.708 * [misc]taylor:  Taking taylor expansion of y in x
1544093299.708 * [misc]backup-simplify:  Simplify y into y
1544093299.708 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093299.708 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093299.708 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093299.708 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093299.708 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.708 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.708 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.708 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093299.708 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.708 * [misc]backup-simplify:  Simplify x into x
1544093299.708 * [misc]taylor:  Taking taylor expansion of y in z
1544093299.708 * [misc]backup-simplify:  Simplify y into y
1544093299.708 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093299.708 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093299.708 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093299.708 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.708 * [misc]backup-simplify:  Simplify z into z
1544093299.708 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.708 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.708 * [misc]backup-simplify:  Simplify x into x
1544093299.708 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.708 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.708 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.708 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.709 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.709 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093299.709 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093299.709 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.709 * [misc]backup-simplify:  Simplify z into z
1544093299.709 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.709 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.709 * [misc]backup-simplify:  Simplify x into x
1544093299.709 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.709 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.709 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.709 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.709 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.709 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093299.709 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1544093299.709 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.709 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.709 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.709 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.709 * [misc]backup-simplify:  Simplify x into x
1544093299.709 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1544093299.709 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1544093299.709 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.709 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.709 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.709 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544093299.709 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.710 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093299.710 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093299.710 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.710 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.710 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.711 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.711 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.711 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.711 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.711 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.711 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.711 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093299.711 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544093299.712 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.712 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.712 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.712 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.713 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.713 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1544093299.713 * [misc]backup-simplify:  Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y)))
1544093299.713 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
1544093299.713 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544093299.713 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093299.713 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.713 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544093299.713 * [misc]taylor:  Taking taylor expansion of z in x
1544093299.713 * [misc]backup-simplify:  Simplify z into z
1544093299.713 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544093299.713 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.713 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.713 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.713 * [misc]taylor:  Taking taylor expansion of y in x
1544093299.713 * [misc]backup-simplify:  Simplify y into y
1544093299.713 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544093299.714 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544093299.714 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544093299.714 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544093299.714 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093299.714 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.714 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544093299.714 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.714 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.714 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.714 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544093299.714 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.714 * [misc]backup-simplify:  Simplify x into x
1544093299.714 * [misc]taylor:  Taking taylor expansion of y in z
1544093299.714 * [misc]backup-simplify:  Simplify y into y
1544093299.714 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544093299.714 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544093299.714 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093299.714 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093299.715 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.715 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093299.715 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.715 * [misc]backup-simplify:  Simplify z into z
1544093299.715 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.715 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.715 * [misc]backup-simplify:  Simplify x into x
1544093299.715 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.715 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.715 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.715 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.715 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.715 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093299.715 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544093299.715 * [misc]taylor:  Taking taylor expansion of -1 in y
1544093299.715 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.715 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544093299.715 * [misc]taylor:  Taking taylor expansion of z in y
1544093299.716 * [misc]backup-simplify:  Simplify z into z
1544093299.716 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544093299.716 * [misc]taylor:  Taking taylor expansion of x in y
1544093299.716 * [misc]backup-simplify:  Simplify x into x
1544093299.716 * [misc]taylor:  Taking taylor expansion of y in y
1544093299.716 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.716 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.716 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544093299.716 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544093299.716 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544093299.716 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1544093299.716 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in z
1544093299.716 * [misc]taylor:  Taking taylor expansion of -1 in z
1544093299.716 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.716 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1544093299.716 * [misc]taylor:  Taking taylor expansion of z in z
1544093299.716 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.716 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.717 * [misc]taylor:  Taking taylor expansion of x in z
1544093299.717 * [misc]backup-simplify:  Simplify x into x
1544093299.717 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1544093299.717 * [misc]backup-simplify:  Simplify (* -1 (/ 1 x)) into (/ -1 x)
1544093299.717 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1544093299.717 * [misc]taylor:  Taking taylor expansion of -1 in x
1544093299.717 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.717 * [misc]taylor:  Taking taylor expansion of x in x
1544093299.717 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.717 * [misc]backup-simplify:  Simplify 1 into 1
1544093299.717 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544093299.717 * [misc]backup-simplify:  Simplify -1 into -1
1544093299.718 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544093299.718 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544093299.718 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1544093299.718 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.718 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.718 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.718 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.718 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1544093299.718 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
1544093299.719 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.719 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.719 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1544093299.719 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.719 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544093299.719 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.720 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1544093299.720 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.720 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.720 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.720 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.720 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.720 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.720 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.721 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1544093299.721 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.721 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.721 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.721 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.721 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544093299.721 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.722 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544093299.722 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.722 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
1544093299.722 * [misc]taylor:  Taking taylor expansion of 0 in z
1544093299.723 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.723 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.723 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.723 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.723 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.723 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.723 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.723 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544093299.724 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1544093299.724 * [misc]taylor:  Taking taylor expansion of 0 in x
1544093299.724 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.724 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.724 * [misc]backup-simplify:  Simplify 0 into 0
1544093299.724 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1544093299.724 * * * [misc]progress:  simplifying candidates
1544093299.724 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (log1p (expm1 (/ y (/ z x)))) 1))>
1544093299.724 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (expm1 (log1p (/ y (/ z x)))) 1))>
1544093299.724 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (pow (/ y (/ z x)) 1) 1))>
1544093299.724 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (exp (log (/ y (/ z x)))) 1))>
1544093299.724 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (log (exp (/ y (/ z x)))) 1))>
1544093299.724 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))>
1544093299.724 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (cbrt (* (* (/ y (/ z x)) (/ y (/ z x))) (/ y (/ z x)))) 1))>
1544093299.725 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (sqrt (/ y (/ z x))) (sqrt (/ y (/ z x)))) 1))>
1544093299.725 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (- y) (- (/ z x))) 1))>
1544093299.725 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (* 1 (/ y (/ z x))) 1))>
1544093299.725 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ 1 (/ z x))) 1))>
1544093299.725 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ 1 (/ (/ z x) y)) 1))>
1544093299.725 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))) 1))>
1544093299.725 * [enter]simplify:  Simplifying (cbrt (/ z x))
1544093299.725 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093299.726 * [exit]simplify:  Simplified to (cbrt (/ z x))
1544093299.727 * [misc]simplify:  Simplified (2 1 2) to (λ (x y z t) (pow (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))) 1))
1544093299.727 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))) 1))>
1544093299.727 * [enter]simplify:  Simplifying (sqrt (/ z x))
1544093299.727 * * [misc]simplify:  iters left: 3 (4 enodes)
1544093299.728 * [exit]simplify:  Simplified to (sqrt (/ z x))
1544093299.728 * [misc]simplify:  Simplified (2 1 2) to (λ (x y z t) (pow (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))) 1))
1544093299.728 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ y 1) (/ z x)) 1))>
1544093299.729 * [enter]simplify:  Simplifying (/ z x)
1544093299.729 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093299.730 * [exit]simplify:  Simplified to (/ z x)
1544093299.730 * [misc]simplify:  Simplified (2 1 2) to (λ (x y z t) (pow (/ (/ y 1) (/ z x)) 1))
1544093299.730 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (/ y z) (/ 1 x)) 1))>
1544093299.730 * [enter]simplify:  Simplifying (/ 1 x)
1544093299.730 * * [misc]simplify:  iters left: 2 (3 enodes)
1544093299.731 * * [misc]simplify:  iters left: 1 (5 enodes)
1544093299.733 * [exit]simplify:  Simplified to (/ 1 x)
1544093299.733 * [misc]simplify:  Simplified (2 1 2) to (λ (x y z t) (pow (/ (/ y z) (/ 1 x)) 1))
1544093299.733 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (/ y z) x) 1))>
1544093299.733 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1544093299.733 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.733 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.735 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.737 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.740 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.747 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.747 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (pow (/ y (/ z x)) 1))
1544093299.748 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1544093299.748 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.748 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.750 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.752 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.755 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.759 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.759 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (pow (/ y (/ z x)) 1))
1544093299.759 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1544093299.760 * [enter]simplify:  Simplifying (/ (* x y) z)
1544093299.760 * * [misc]simplify:  iters left: 4 (5 enodes)
1544093299.761 * * [misc]simplify:  iters left: 3 (8 enodes)
1544093299.764 * * [misc]simplify:  iters left: 2 (10 enodes)
1544093299.767 * * [misc]simplify:  iters left: 1 (13 enodes)
1544093299.771 * [exit]simplify:  Simplified to (/ y (/ z x))
1544093299.771 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (pow (/ y (/ z x)) 1))
1544093299.771 * * * [misc]progress:  adding candidates to table
1544093300.012 * [misc]progress:  [Phase 3 of 3] Extracting.
1544093300.013 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.013 * * * [misc]regime-changes:  Trying 4 branch expressions: (z y (/ y z) x)
1544093300.013 * * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.141 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.240 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.339 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.389 * * * [misc]regime:  Found split indices: #<option (#s(si 1 6) #s(si 2 113) #s(si 1 153) #s(si 4 248) #s(si 1 256))>
1544093300.390 * [misc]binary-search:  Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.390 * [misc]regimes:  Found splitpoints: (#s(sp 1 (/ y z) -inf.0) #s(sp 2 (/ y z) -6.003458830815731e-264) #s(sp 1 (/ y z) -0.0) #s(sp 4 (/ y z) 1.434781732036167e+288) #s(sp 1 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (pow (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))) 1))> #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))> #<alt (λ (x y z t) (pow (* (/ y z) x) 1))> #<alt (λ (x y z t) (* (* x y) (/ 1 z)))> #<alt (λ (x y z t) (/ x (/ z y)))>)
1544093300.391 * [enter]simplify:  Simplifying (if (<= (/ y z) -inf.0) (pow (/ y (/ z x)) 1) (if (<= (/ y z) -6.003458830815731e-264) (pow (* (/ y z) x) 1) (if (<= (/ y z) -0.0) (pow (/ y (/ z x)) 1) (if (<= (/ y z) 1.434781732036167e+288) (/ x (/ z y)) (pow (/ y (/ z x)) 1)))))
1544093300.391 * * [misc]simplify:  iters left: 6 (24 enodes)
1544093300.392 * * [misc]simplify:  iters left: 5 (30 enodes)
1544093300.393 * [exit]simplify:  Simplified to (if (<= (/ y z) -inf.0) (/ y (/ z x)) (if (<= (/ y z) -6.003458830815731e-264) (* (/ y z) x) (if (<= (/ y z) -0.0) (/ y (/ z x)) (if (<= (/ y z) 1.434781732036167e+288) (/ x (/ z y)) (/ y (/ z x))))))
1544093300.394 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544093300.497 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544093300.498 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.498 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.499 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544093300.500 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.501 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.502 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544093300.503 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.505 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.507 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544093300.508 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.515 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.521 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544093300.523 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.537 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.549 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544093300.551 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.566 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.579 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544093300.580 * * * * [misc]points:  Setting MPFR precision to 64
1544093300.650 * * * * [misc]points:  Setting MPFR precision to 320
1544093300.679 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544093300.680 * * * * [misc]points:  Setting MPFR precision to 64
1544093301.134 * * * * [misc]points:  Setting MPFR precision to 320
1544093301.195 * * * * [misc]points:  Setting MPFR precision to 576
1544093301.322 * * * * [misc]points:  Computing exacts for 8000 points
1544093301.324 * * * * [misc]points:  Setting MPFR precision to 320
1544093301.780 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.308 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.312 * * * * [misc]points:  Sampling 1334 additional inputs, on iter 1 have 6666 / 8000
1544093302.333 * * * * [misc]points:  Computing exacts on every 83 of 1334 points to ramp up precision
1544093302.335 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.336 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.337 * * * * [misc]points:  Computing exacts on every 41 of 1334 points to ramp up precision
1544093302.339 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.340 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.342 * * * * [misc]points:  Computing exacts on every 20 of 1334 points to ramp up precision
1544093302.344 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.347 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.350 * * * * [misc]points:  Computing exacts on every 10 of 1334 points to ramp up precision
1544093302.352 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.358 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.364 * * * * [misc]points:  Computing exacts on every 5 of 1334 points to ramp up precision
1544093302.365 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.376 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.421 * * * * [misc]points:  Computing exacts on every 2 of 1334 points to ramp up precision
1544093302.422 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.443 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.455 * * * * [misc]points:  Computing exacts for 1334 points
1544093302.456 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.502 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.591 * * * * [misc]points:  Sampling 201 additional inputs, on iter 2 have 7799 / 8000
1544093302.594 * * * * [misc]points:  Computing exacts on every 12 of 201 points to ramp up precision
1544093302.596 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.597 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.598 * * * * [misc]points:  Computing exacts on every 6 of 201 points to ramp up precision
1544093302.599 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.601 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.602 * * * * [misc]points:  Computing exacts on every 3 of 201 points to ramp up precision
1544093302.604 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.607 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.610 * * * * [misc]points:  Computing exacts for 201 points
1544093302.611 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.617 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.622 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.623 * * * * [misc]points:  Sampling 39 additional inputs, on iter 3 have 7961 / 8000
1544093302.623 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1544093302.624 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.625 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.625 * * * * [misc]points:  Computing exacts for 39 points
1544093302.626 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.627 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.628 * * * * [misc]points:  Sampling 5 additional inputs, on iter 4 have 7995 / 8000
1544093302.628 * * * * [misc]points:  Computing exacts for 5 points
1544093302.629 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.629 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.630 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.630 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7998 / 8000
1544093302.630 * * * * [misc]points:  Computing exacts for 4 points
1544093302.631 * * * * [misc]points:  Setting MPFR precision to 320
1544093302.631 * * * * [misc]points:  Setting MPFR precision to 576
1544093302.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544093302.631 * * * * [exit]points:  Sampled 8002 points with exact outputs
1544093303.258 * [misc]regime-testing:  Baseline error score: 5.872944373274156
1544093303.258 * [misc]regime-testing:  End program error score: 0.456562925731
1544093303.260 * [misc]regime-testing:  Oracle error score: 0.02275