1540197680.089 * [misc]progress:  [Phase 1 of 3] Setting up.
1540197680.089 * * * [misc]progress:  [1/2] Preparing points
1540197680.089 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540197680.091 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540197680.092 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.093 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.093 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540197680.094 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.095 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.096 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540197680.096 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.098 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.099 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540197680.100 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.101 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.104 * * * * [misc]points:  Computing exacts for 256 points
1540197680.104 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.110 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.116 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197680.117 * * * * [misc]points:  Sampling 48 additional inputs, on iter 1 have 208 / 256
1540197680.117 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1540197680.118 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.118 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.118 * * * * [misc]points:  Computing exacts for 48 points
1540197680.119 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.122 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.124 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197680.124 * * * * [misc]points:  Sampling 4 additional inputs, on iter 2 have 253 / 256
1540197680.124 * * * * [misc]points:  Computing exacts for 4 points
1540197680.126 * * * * [misc]points:  Setting MPFR precision to 64
1540197680.126 * * * * [misc]points:  Setting MPFR precision to 320
1540197680.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197680.126 * * * * [exit]points:  Sampled 257 points with exact outputs
1540197680.126 * * * [misc]progress:  [2/2] Setting up program.
1540197680.132 * [misc]progress:  [Phase 2 of 3] Improving.
1540197680.132 * [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
1540197680.132 * * [misc]simplify:  iters left: 6 (8 enodes)
1540197680.135 * * [misc]simplify:  iters left: 5 (16 enodes)
1540197680.140 * * [misc]simplify:  iters left: 4 (38 enodes)
1540197680.153 * * [misc]simplify:  iters left: 3 (80 enodes)
1540197680.203 * * [misc]simplify:  iters left: 2 (239 enodes)
1540197680.448 * [exit]simplify:  Simplified to (* y (/ x z))
1540197680.455 * * [misc]progress:  iteration 1 / 4
1540197680.455 * * * [misc]progress:  picking best candidate
1540197680.460 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1540197680.460 * * * [misc]progress:  localizing error
1540197680.466 * * * [misc]progress:  generating rewritten candidates
1540197680.466 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540197680.468 * * * [misc]progress:  generating series expansions
1540197680.469 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540197680.469 * [misc]backup-simplify:  Simplify (* y (/ x z)) into (/ (* x y) z)
1540197680.469 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1540197680.469 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540197680.469 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.469 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.469 * [misc]backup-simplify:  Simplify x into x
1540197680.469 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.469 * [misc]backup-simplify:  Simplify y into y
1540197680.469 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.469 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.469 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.469 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.469 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540197680.469 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540197680.469 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.469 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.469 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.469 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.469 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.469 * [misc]backup-simplify:  Simplify y into y
1540197680.469 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.469 * [misc]backup-simplify:  Simplify z into z
1540197680.469 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.469 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.469 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540197680.469 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.470 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.470 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.470 * [misc]backup-simplify:  Simplify x into x
1540197680.470 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.470 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.470 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.470 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.470 * [misc]backup-simplify:  Simplify z into z
1540197680.470 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.470 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.470 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.470 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.470 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.470 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.470 * [misc]backup-simplify:  Simplify x into x
1540197680.470 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.470 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.470 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.470 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.470 * [misc]backup-simplify:  Simplify z into z
1540197680.470 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.470 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.470 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.470 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1540197680.470 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.470 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.470 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.470 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.470 * [misc]backup-simplify:  Simplify z into z
1540197680.470 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1540197680.470 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1540197680.470 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.471 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.471 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.471 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540197680.471 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.471 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.471 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540197680.471 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.471 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.471 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.471 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.471 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1540197680.471 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.471 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.471 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540197680.471 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.472 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.472 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.472 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.472 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.472 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.473 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1540197680.473 * [misc]backup-simplify:  Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1540197680.473 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1540197680.473 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.473 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.473 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.473 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.473 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.473 * [misc]backup-simplify:  Simplify x into x
1540197680.473 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.473 * [misc]backup-simplify:  Simplify y into y
1540197680.473 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.473 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.473 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.473 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.473 * [misc]backup-simplify:  Simplify z into z
1540197680.473 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.473 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.473 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.474 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.474 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.474 * [misc]backup-simplify:  Simplify y into y
1540197680.474 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.474 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.474 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.474 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.474 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.474 * [misc]backup-simplify:  Simplify z into z
1540197680.474 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.474 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.474 * [misc]backup-simplify:  Simplify x into x
1540197680.474 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.474 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.474 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.474 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.474 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.474 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.474 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.474 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.474 * [misc]backup-simplify:  Simplify z into z
1540197680.474 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.474 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.474 * [misc]backup-simplify:  Simplify x into x
1540197680.474 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.474 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.474 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.474 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.474 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.474 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.474 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540197680.475 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.475 * [misc]backup-simplify:  Simplify z into z
1540197680.475 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.475 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.475 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540197680.475 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.475 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.475 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.475 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.475 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.475 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.475 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540197680.475 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.475 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.476 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.476 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.476 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.476 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540197680.477 * [misc]backup-simplify:  Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1540197680.477 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540197680.477 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.477 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.477 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.477 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.477 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.477 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.477 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.477 * [misc]backup-simplify:  Simplify x into x
1540197680.477 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.477 * [misc]backup-simplify:  Simplify y into y
1540197680.477 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.477 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540197680.477 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.477 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.477 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.477 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.477 * [misc]backup-simplify:  Simplify z into z
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.477 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.477 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.477 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.477 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.477 * [misc]backup-simplify:  Simplify y into y
1540197680.477 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.477 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.477 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.477 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.477 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.477 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.477 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.477 * [misc]backup-simplify:  Simplify z into z
1540197680.477 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.477 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.477 * [misc]backup-simplify:  Simplify x into x
1540197680.477 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.477 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.477 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.477 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.478 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.478 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.478 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.478 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.478 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.478 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.478 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.478 * [misc]backup-simplify:  Simplify z into z
1540197680.478 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.478 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.478 * [misc]backup-simplify:  Simplify x into x
1540197680.478 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.478 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.478 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.478 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.478 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.478 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.478 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540197680.478 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1540197680.478 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.478 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.478 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540197680.478 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.478 * [misc]backup-simplify:  Simplify z into z
1540197680.478 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.478 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.478 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.478 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540197680.478 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1540197680.478 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1540197680.478 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.478 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.478 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.478 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.478 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.479 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1540197680.479 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.479 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.479 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.479 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540197680.479 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.479 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.479 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540197680.479 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1540197680.479 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.479 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.479 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.480 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.480 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.480 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.480 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.480 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540197680.480 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.480 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.480 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.480 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.480 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.481 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.481 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1540197680.481 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.481 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.481 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.481 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.481 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.481 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.481 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540197680.481 * * * [misc]progress:  simplifying candidates
1540197680.481 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
1540197680.481 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
1540197680.481 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
1540197680.481 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
1540197680.481 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
1540197680.481 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
1540197680.481 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
1540197680.481 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
1540197680.482 * [enter]simplify:  Simplifying (cbrt (/ x z))
1540197680.482 * * [misc]simplify:  iters left: 3 (4 enodes)
1540197680.482 * [exit]simplify:  Simplified to (cbrt (/ x z))
1540197680.482 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
1540197680.482 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
1540197680.483 * [enter]simplify:  Simplifying (sqrt (/ x z))
1540197680.483 * * [misc]simplify:  iters left: 3 (4 enodes)
1540197680.483 * [exit]simplify:  Simplified to (sqrt (/ x z))
1540197680.483 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
1540197680.483 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
1540197680.484 * [enter]simplify:  Simplifying (/ x z)
1540197680.484 * * [misc]simplify:  iters left: 2 (3 enodes)
1540197680.485 * [exit]simplify:  Simplified to (/ x z)
1540197680.485 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
1540197680.485 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1540197680.485 * [enter]simplify:  Simplifying (/ 1 z)
1540197680.485 * * [misc]simplify:  iters left: 2 (3 enodes)
1540197680.486 * * [misc]simplify:  iters left: 1 (5 enodes)
1540197680.487 * [exit]simplify:  Simplified to (/ 1 z)
1540197680.487 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
1540197680.487 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1540197680.487 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1540197680.487 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.488 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.488 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.489 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.491 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.494 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.498 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.498 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.498 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.499 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.499 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.501 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.503 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.511 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.515 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.515 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.515 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.515 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.515 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.517 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.519 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.523 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.527 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.527 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.527 * * * [misc]progress:  adding candidates to table
1540197680.622 * * [misc]progress:  iteration 2 / 4
1540197680.622 * * * [misc]progress:  picking best candidate
1540197680.635 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* y x) z))>
1540197680.635 * * * [misc]progress:  localizing error
1540197680.645 * * * [misc]progress:  generating rewritten candidates
1540197680.645 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540197680.650 * * * [misc]progress:  generating series expansions
1540197680.650 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540197680.650 * [misc]backup-simplify:  Simplify (/ (* y x) z) into (/ (* x y) z)
1540197680.650 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1540197680.650 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540197680.650 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.650 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.650 * [misc]backup-simplify:  Simplify x into x
1540197680.650 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.650 * [misc]backup-simplify:  Simplify y into y
1540197680.650 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.651 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.651 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.651 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.651 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540197680.651 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540197680.651 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.651 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.651 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.651 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.651 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.651 * [misc]backup-simplify:  Simplify y into y
1540197680.651 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.651 * [misc]backup-simplify:  Simplify z into z
1540197680.651 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.652 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.652 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540197680.652 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.652 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.652 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.652 * [misc]backup-simplify:  Simplify x into x
1540197680.652 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.652 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.652 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.652 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.652 * [misc]backup-simplify:  Simplify z into z
1540197680.652 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.652 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.652 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.652 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.652 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.652 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.652 * [misc]backup-simplify:  Simplify x into x
1540197680.652 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.652 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.652 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.652 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.652 * [misc]backup-simplify:  Simplify z into z
1540197680.652 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.653 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.653 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.653 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1540197680.653 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.653 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.653 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.653 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.653 * [misc]backup-simplify:  Simplify z into z
1540197680.653 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1540197680.653 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1540197680.653 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.653 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.653 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.653 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540197680.653 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.654 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.654 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540197680.654 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.654 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.654 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.654 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.654 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1540197680.654 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.654 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.655 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540197680.655 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.655 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.655 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.655 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.655 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.655 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.655 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.655 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.655 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.656 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.656 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.656 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.656 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.656 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.656 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.656 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.656 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.657 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.657 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.657 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.657 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1540197680.658 * [misc]backup-simplify:  Simplify (/ (* (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ z (* x y))
1540197680.658 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1540197680.658 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.658 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.658 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.658 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.658 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.658 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.658 * [misc]backup-simplify:  Simplify x into x
1540197680.658 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.658 * [misc]backup-simplify:  Simplify y into y
1540197680.658 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.658 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.658 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.658 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.658 * [misc]backup-simplify:  Simplify z into z
1540197680.658 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.658 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.658 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.658 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.658 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.658 * [misc]backup-simplify:  Simplify y into y
1540197680.658 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.659 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.659 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.659 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.659 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.659 * [misc]backup-simplify:  Simplify z into z
1540197680.659 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.659 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.659 * [misc]backup-simplify:  Simplify x into x
1540197680.659 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.659 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.659 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.659 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.659 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.659 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.659 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.659 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.659 * [misc]backup-simplify:  Simplify z into z
1540197680.659 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.659 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.659 * [misc]backup-simplify:  Simplify x into x
1540197680.659 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.659 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.659 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.660 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.660 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.660 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.660 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540197680.660 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.660 * [misc]backup-simplify:  Simplify z into z
1540197680.660 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.660 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.660 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.660 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540197680.660 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.660 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.660 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.660 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.660 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.661 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.661 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.661 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.661 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540197680.661 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.661 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.661 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.661 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.662 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.662 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.662 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.662 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.662 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.662 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.662 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.662 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.662 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.662 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.662 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.663 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.663 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.663 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540197680.663 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
1540197680.663 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1540197680.663 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540197680.663 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.663 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.663 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.663 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.663 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.663 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.663 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.663 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.663 * [misc]backup-simplify:  Simplify x into x
1540197680.663 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.663 * [misc]backup-simplify:  Simplify y into y
1540197680.663 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.663 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.663 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540197680.663 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.663 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.663 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.664 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.664 * [misc]backup-simplify:  Simplify z into z
1540197680.664 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.664 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.664 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.664 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.664 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.664 * [misc]backup-simplify:  Simplify y into y
1540197680.664 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.664 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.664 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.664 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.664 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.664 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.664 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.664 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.664 * [misc]backup-simplify:  Simplify z into z
1540197680.664 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.664 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.664 * [misc]backup-simplify:  Simplify x into x
1540197680.664 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.664 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.664 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.664 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.664 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.665 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.665 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.665 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.665 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.665 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.665 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.665 * [misc]backup-simplify:  Simplify z into z
1540197680.665 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.665 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.665 * [misc]backup-simplify:  Simplify x into x
1540197680.665 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.665 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.665 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.665 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.665 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.665 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.665 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540197680.665 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1540197680.665 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.665 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.665 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540197680.665 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.665 * [misc]backup-simplify:  Simplify z into z
1540197680.665 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.665 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.665 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.665 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540197680.665 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1540197680.665 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1540197680.665 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.665 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.665 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.665 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.665 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.666 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1540197680.666 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.666 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.666 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.666 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540197680.666 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.666 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.666 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540197680.666 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1540197680.666 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.666 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.667 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.667 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.667 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.667 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.667 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.667 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540197680.667 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.667 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.667 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.667 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.667 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.668 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.668 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1540197680.668 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.668 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.668 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.668 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.668 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.668 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.668 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540197680.668 * * * [misc]progress:  simplifying candidates
1540197680.669 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* y x) z) 1))>
1540197680.669 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* y x) z))))>
1540197680.669 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* y x) z))))>
1540197680.669 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z))))>
1540197680.669 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* y x) z) (/ (* y x) z)) (/ (* y x) z))))>
1540197680.669 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))>
1540197680.669 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* y x)) (- z)))>
1540197680.669 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* y x) z)))>
1540197680.669 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1540197680.669 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* y x))))>
1540197680.669 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ y (/ z x)))>
1540197680.669 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.669 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.669 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.670 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.671 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.673 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.675 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.675 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.675 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.675 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.675 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.676 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.677 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.679 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.680 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.680 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.680 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.681 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.681 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.682 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.683 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.684 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.686 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.686 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.686 * * * [misc]progress:  adding candidates to table
1540197680.803 * * [misc]progress:  iteration 3 / 4
1540197680.803 * * * [misc]progress:  picking best candidate
1540197680.814 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ y (/ z x)))>
1540197680.814 * * * [misc]progress:  localizing error
1540197680.819 * * * [misc]progress:  generating rewritten candidates
1540197680.819 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540197680.821 * * * [misc]progress:  generating series expansions
1540197680.821 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540197680.822 * [misc]backup-simplify:  Simplify (/ y (/ z x)) into (/ (* x y) z)
1540197680.822 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
1540197680.822 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540197680.822 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.822 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.822 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.822 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.822 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.822 * [misc]backup-simplify:  Simplify y into y
1540197680.822 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.822 * [misc]backup-simplify:  Simplify z into z
1540197680.822 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.822 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.822 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540197680.822 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540197680.822 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.822 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.822 * [misc]backup-simplify:  Simplify x into x
1540197680.822 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.822 * [misc]backup-simplify:  Simplify y into y
1540197680.822 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.822 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.822 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.822 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.822 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540197680.822 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.822 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.822 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.822 * [misc]backup-simplify:  Simplify x into x
1540197680.822 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.822 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.822 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.822 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.822 * [misc]backup-simplify:  Simplify z into z
1540197680.822 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.823 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.823 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.823 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.823 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.823 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.823 * [misc]backup-simplify:  Simplify x into x
1540197680.823 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.823 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.823 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.823 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.823 * [misc]backup-simplify:  Simplify z into z
1540197680.823 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.823 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.823 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.823 * [misc]taylor:  Taking taylor expansion of (/ x z) in z
1540197680.823 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.823 * [misc]backup-simplify:  Simplify x into x
1540197680.823 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.823 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.823 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.823 * [misc]backup-simplify:  Simplify (/ x 1) into x
1540197680.823 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.823 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.823 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.823 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.823 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.824 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540197680.824 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1540197680.824 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.824 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.824 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.824 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.825 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
1540197680.825 * [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y))
1540197680.825 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
1540197680.825 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.825 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.825 * [misc]backup-simplify:  Simplify z into z
1540197680.825 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.825 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.825 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.825 * [misc]backup-simplify:  Simplify y into y
1540197680.825 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.825 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.825 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.825 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.825 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.825 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.825 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.825 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.825 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.825 * [misc]backup-simplify:  Simplify x into x
1540197680.825 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.825 * [misc]backup-simplify:  Simplify y into y
1540197680.825 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.825 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.825 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.825 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.826 * [misc]backup-simplify:  Simplify z into z
1540197680.826 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.826 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.826 * [misc]backup-simplify:  Simplify x into x
1540197680.826 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.826 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.826 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.826 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.826 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.826 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.826 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.826 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.826 * [misc]backup-simplify:  Simplify z into z
1540197680.826 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.826 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.826 * [misc]backup-simplify:  Simplify x into x
1540197680.826 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.826 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.826 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.826 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.826 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.826 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.826 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540197680.826 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.826 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.826 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.826 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.826 * [misc]backup-simplify:  Simplify x into x
1540197680.826 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540197680.826 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540197680.826 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.826 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.826 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.826 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540197680.827 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.827 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.827 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.827 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.827 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.827 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.827 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.827 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540197680.827 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.827 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.827 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540197680.827 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.827 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.827 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.827 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.828 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.828 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.828 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.829 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540197680.829 * [misc]backup-simplify:  Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y)))
1540197680.829 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
1540197680.829 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540197680.829 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.829 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.829 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.829 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.829 * [misc]backup-simplify:  Simplify z into z
1540197680.829 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.829 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.829 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.829 * [misc]backup-simplify:  Simplify y into y
1540197680.829 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.829 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.829 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.829 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540197680.829 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.829 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.829 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.829 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.829 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.829 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.830 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.830 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.830 * [misc]backup-simplify:  Simplify x into x
1540197680.830 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.830 * [misc]backup-simplify:  Simplify y into y
1540197680.830 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.830 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.830 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.830 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.830 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.830 * [misc]backup-simplify:  Simplify z into z
1540197680.830 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.830 * [misc]backup-simplify:  Simplify x into x
1540197680.830 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.830 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.830 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.830 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.830 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.830 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.830 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.830 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.830 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.830 * [misc]backup-simplify:  Simplify z into z
1540197680.830 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.830 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.830 * [misc]backup-simplify:  Simplify x into x
1540197680.830 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.830 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.830 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.830 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.830 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.830 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.831 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540197680.831 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in z
1540197680.831 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.831 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.831 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540197680.831 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.831 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.831 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.831 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.831 * [misc]backup-simplify:  Simplify x into x
1540197680.831 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540197680.831 * [misc]backup-simplify:  Simplify (* -1 (/ 1 x)) into (/ -1 x)
1540197680.831 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540197680.831 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.831 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.831 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.831 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.831 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.831 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540197680.831 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.831 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.831 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.831 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540197680.831 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.831 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.831 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.831 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.832 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540197680.832 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
1540197680.832 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.832 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.832 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540197680.832 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.832 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.832 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.832 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540197680.832 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.832 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.833 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1540197680.833 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.833 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.833 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.834 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.834 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
1540197680.834 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.834 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.834 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.834 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.834 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.834 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.834 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.834 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.834 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.834 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1540197680.834 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.835 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.835 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.835 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.835 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540197680.835 * * * [misc]progress:  simplifying candidates
1540197680.835 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))>
1540197680.835 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ y (/ z x)))))>
1540197680.835 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ y (/ z x)))))>
1540197680.835 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))))>
1540197680.835 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ y (/ z x)) (/ y (/ z x))) (/ y (/ z x)))))>
1540197680.835 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ y (/ z x))) (sqrt (/ y (/ z x)))))>
1540197680.835 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (- y) (- (/ z x))))>
1540197680.835 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ y (/ z x))))>
1540197680.835 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* y (/ 1 (/ z x))))>
1540197680.835 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>
1540197680.835 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))))>
1540197680.835 * [enter]simplify:  Simplifying (cbrt (/ z x))
1540197680.835 * * [misc]simplify:  iters left: 3 (4 enodes)
1540197680.836 * [exit]simplify:  Simplified to (cbrt (/ z x))
1540197680.836 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))))
1540197680.836 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))))>
1540197680.836 * [enter]simplify:  Simplifying (sqrt (/ z x))
1540197680.836 * * [misc]simplify:  iters left: 3 (4 enodes)
1540197680.837 * [exit]simplify:  Simplified to (sqrt (/ z x))
1540197680.837 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))))
1540197680.837 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y 1) (/ z x)))>
1540197680.837 * [enter]simplify:  Simplifying (/ z x)
1540197680.837 * * [misc]simplify:  iters left: 2 (3 enodes)
1540197680.837 * [exit]simplify:  Simplified to (/ z x)
1540197680.838 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y 1) (/ z x)))
1540197680.838 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))>
1540197680.838 * [enter]simplify:  Simplifying (/ 1 x)
1540197680.838 * * [misc]simplify:  iters left: 2 (3 enodes)
1540197680.838 * * [misc]simplify:  iters left: 1 (5 enodes)
1540197680.839 * [exit]simplify:  Simplified to (/ 1 x)
1540197680.839 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y z) (/ 1 x)))
1540197680.839 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (/ y z) x))>
1540197680.839 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.839 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.839 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.840 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.841 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.843 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.845 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.845 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.845 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.845 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.845 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.846 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.847 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.848 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.850 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.850 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.850 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.850 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.850 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.851 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.852 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.854 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197680.856 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197680.856 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197680.856 * * * [misc]progress:  adding candidates to table
1540197680.960 * * [misc]progress:  iteration 4 / 4
1540197680.960 * * * [misc]progress:  picking best candidate
1540197680.970 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* (/ y z) x))>
1540197680.970 * * * [misc]progress:  localizing error
1540197680.975 * * * [misc]progress:  generating rewritten candidates
1540197680.975 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540197680.977 * * * [misc]progress:  generating series expansions
1540197680.977 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540197680.977 * [misc]backup-simplify:  Simplify (* (/ y z) x) into (/ (* x y) z)
1540197680.977 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
1540197680.977 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540197680.977 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.977 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.977 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.977 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.977 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.977 * [misc]backup-simplify:  Simplify y into y
1540197680.977 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.978 * [misc]backup-simplify:  Simplify z into z
1540197680.978 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.978 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.978 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540197680.978 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540197680.978 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.978 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.978 * [misc]backup-simplify:  Simplify x into x
1540197680.978 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.978 * [misc]backup-simplify:  Simplify y into y
1540197680.978 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.978 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.978 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.978 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.978 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540197680.978 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.978 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.978 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.978 * [misc]backup-simplify:  Simplify x into x
1540197680.978 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.978 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.978 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.978 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.978 * [misc]backup-simplify:  Simplify z into z
1540197680.978 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.978 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.978 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.978 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540197680.978 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.978 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.978 * [misc]backup-simplify:  Simplify x into x
1540197680.978 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.978 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.978 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.979 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.979 * [misc]backup-simplify:  Simplify z into z
1540197680.979 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.979 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.979 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540197680.979 * [misc]taylor:  Taking taylor expansion of (/ x z) in z
1540197680.979 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.979 * [misc]backup-simplify:  Simplify x into x
1540197680.979 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.979 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.979 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.979 * [misc]backup-simplify:  Simplify (/ x 1) into x
1540197680.979 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.979 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.979 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.979 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.979 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.979 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540197680.979 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.979 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1540197680.980 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.980 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540197680.980 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.980 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.980 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.981 * [misc]backup-simplify:  Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
1540197680.981 * [misc]backup-simplify:  Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y))
1540197680.981 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
1540197680.981 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.981 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.981 * [misc]backup-simplify:  Simplify z into z
1540197680.981 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.981 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.981 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.981 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.981 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.981 * [misc]backup-simplify:  Simplify y into y
1540197680.981 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.981 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.981 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.981 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.981 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.981 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.981 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.981 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.981 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.981 * [misc]backup-simplify:  Simplify x into x
1540197680.981 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.981 * [misc]backup-simplify:  Simplify y into y
1540197680.981 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.981 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.981 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.981 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.981 * [misc]backup-simplify:  Simplify z into z
1540197680.981 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.981 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.981 * [misc]backup-simplify:  Simplify x into x
1540197680.981 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.981 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.981 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.981 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.982 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.982 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.982 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.982 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.982 * [misc]backup-simplify:  Simplify z into z
1540197680.982 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.982 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.982 * [misc]backup-simplify:  Simplify x into x
1540197680.982 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.982 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.982 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.982 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.982 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.982 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.982 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540197680.982 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.982 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.982 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.982 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.982 * [misc]backup-simplify:  Simplify x into x
1540197680.982 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540197680.982 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540197680.982 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.982 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.982 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.982 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540197680.982 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.982 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.983 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.983 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.983 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.983 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.983 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.984 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.984 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.984 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.984 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.985 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.985 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540197680.985 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y)))
1540197680.985 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
1540197680.985 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540197680.985 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.985 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.985 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540197680.985 * [misc]taylor:  Taking taylor expansion of z in x
1540197680.985 * [misc]backup-simplify:  Simplify z into z
1540197680.985 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540197680.985 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.985 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.985 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.985 * [misc]taylor:  Taking taylor expansion of y in x
1540197680.985 * [misc]backup-simplify:  Simplify y into y
1540197680.985 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540197680.985 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540197680.985 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540197680.985 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540197680.985 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.985 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.985 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540197680.985 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.985 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.985 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.985 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540197680.985 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.985 * [misc]backup-simplify:  Simplify x into x
1540197680.985 * [misc]taylor:  Taking taylor expansion of y in z
1540197680.985 * [misc]backup-simplify:  Simplify y into y
1540197680.985 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540197680.985 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540197680.985 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.985 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.985 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.985 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.986 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.986 * [misc]backup-simplify:  Simplify z into z
1540197680.986 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.986 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.986 * [misc]backup-simplify:  Simplify x into x
1540197680.986 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.986 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.986 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.986 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.986 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.986 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.986 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540197680.986 * [misc]taylor:  Taking taylor expansion of -1 in y
1540197680.986 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.986 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540197680.986 * [misc]taylor:  Taking taylor expansion of z in y
1540197680.986 * [misc]backup-simplify:  Simplify z into z
1540197680.986 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540197680.986 * [misc]taylor:  Taking taylor expansion of x in y
1540197680.986 * [misc]backup-simplify:  Simplify x into x
1540197680.986 * [misc]taylor:  Taking taylor expansion of y in y
1540197680.986 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.986 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.986 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540197680.986 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540197680.986 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540197680.986 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540197680.986 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in z
1540197680.986 * [misc]taylor:  Taking taylor expansion of -1 in z
1540197680.986 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.986 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540197680.986 * [misc]taylor:  Taking taylor expansion of z in z
1540197680.986 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.986 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.986 * [misc]taylor:  Taking taylor expansion of x in z
1540197680.986 * [misc]backup-simplify:  Simplify x into x
1540197680.986 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540197680.987 * [misc]backup-simplify:  Simplify (* -1 (/ 1 x)) into (/ -1 x)
1540197680.987 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540197680.987 * [misc]taylor:  Taking taylor expansion of -1 in x
1540197680.987 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.987 * [misc]taylor:  Taking taylor expansion of x in x
1540197680.987 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.987 * [misc]backup-simplify:  Simplify 1 into 1
1540197680.987 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540197680.987 * [misc]backup-simplify:  Simplify -1 into -1
1540197680.987 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540197680.987 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540197680.987 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540197680.987 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.987 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.987 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.987 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.987 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540197680.987 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
1540197680.987 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.988 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.988 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540197680.988 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.988 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540197680.988 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.988 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540197680.988 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.988 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.988 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.988 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.988 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.988 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.988 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.989 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1540197680.989 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.989 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.989 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.989 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.989 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540197680.989 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.989 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540197680.989 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.990 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
1540197680.990 * [misc]taylor:  Taking taylor expansion of 0 in z
1540197680.990 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.990 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.990 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.990 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.990 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.990 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.990 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.990 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540197680.990 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1540197680.990 * [misc]taylor:  Taking taylor expansion of 0 in x
1540197680.991 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.991 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.991 * [misc]backup-simplify:  Simplify 0 into 0
1540197680.991 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540197680.991 * * * [misc]progress:  simplifying candidates
1540197680.991 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (/ y z) x) 1))>
1540197680.991 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* (/ y z) x))))>
1540197680.991 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* (/ y z) x))))>
1540197680.991 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x))))>
1540197680.991 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x))))>
1540197680.991 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x))))>
1540197680.991 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (/ y z) x)))>
1540197680.991 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x)))>
1540197680.991 * [enter]simplify:  Simplifying (* (cbrt (/ y z)) (cbrt (/ y z)))
1540197680.991 * * [misc]simplify:  iters left: 5 (5 enodes)
1540197680.992 * [exit]simplify:  Simplified to (* (cbrt (/ y z)) (cbrt (/ y z)))
1540197680.992 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x)))
1540197680.992 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>
1540197680.992 * [enter]simplify:  Simplifying (sqrt (/ y z))
1540197680.992 * * [misc]simplify:  iters left: 3 (4 enodes)
1540197680.993 * [exit]simplify:  Simplified to (sqrt (/ y z))
1540197680.993 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))
1540197680.993 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (/ y z) x)))>
1540197680.993 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* y (* (/ 1 z) x)))>
1540197680.993 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1540197680.993 * [enter]simplify:  Simplifying (* y x)
1540197680.993 * * [misc]simplify:  iters left: 2 (3 enodes)
1540197680.994 * * [misc]simplify:  iters left: 1 (4 enodes)
1540197680.994 * [exit]simplify:  Simplified to (* y x)
1540197680.994 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (/ (* y x) z))
1540197680.994 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* x (/ y z)))>
1540197680.994 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197680.994 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197680.994 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197680.995 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197680.996 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197680.998 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197681.000 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197681.000 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197681.000 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197681.000 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197681.000 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197681.001 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197681.002 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197681.004 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197681.007 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197681.007 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197681.007 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540197681.008 * [enter]simplify:  Simplifying (/ (* x y) z)
1540197681.008 * * [misc]simplify:  iters left: 4 (5 enodes)
1540197681.008 * * [misc]simplify:  iters left: 3 (8 enodes)
1540197681.009 * * [misc]simplify:  iters left: 2 (10 enodes)
1540197681.011 * * [misc]simplify:  iters left: 1 (13 enodes)
1540197681.013 * [exit]simplify:  Simplified to (/ y (/ z x))
1540197681.013 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540197681.013 * * * [misc]progress:  adding candidates to table
1540197681.104 * [misc]progress:  [Phase 3 of 3] Extracting.
1540197681.104 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.105 * * * [misc]regime-changes:  Trying 4 branch expressions: (z y (/ y z) x)
1540197681.105 * * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.159 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.218 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.272 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))>)
1540197681.305 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.356 * * * [misc]regime:  Found split indices: #<option (#s(si 0 9) #s(si 3 92) #s(si 1 162) #s(si 3 256))>
1540197681.357 * [misc]binary-search:  Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.357 * [misc]regimes:  Found splitpoints: (#s(sp 0 (/ y z) -inf.0) #s(sp 3 (/ y z) -2.0989122530775214e-155) #s(sp 1 (/ y z) 8.544848973252619e-242) #s(sp 3 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))> #<alt (λ (x y z t) (/ (* y x) z))>)
1540197681.357 * [enter]simplify:  Simplifying (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) -2.0989122530775214e-155) (* (/ y z) x) (if (<= (/ y z) 8.544848973252619e-242) (* y (/ x z)) (* (/ y z) x))))
1540197681.358 * * [misc]simplify:  iters left: 6 (20 enodes)
1540197681.359 * * [misc]simplify:  iters left: 5 (27 enodes)
1540197681.362 * [exit]simplify:  Simplified to (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) -2.0989122530775214e-155) (* x (/ y z)) (if (<= (/ y z) 8.544848973252619e-242) (* (/ x z) y) (* x (/ y z)))))
1540197681.362 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540197681.491 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540197681.492 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.492 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.493 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540197681.493 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.494 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.495 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540197681.496 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.497 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.499 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540197681.500 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.503 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.506 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540197681.507 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.513 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.532 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540197681.534 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.548 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.568 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540197681.570 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.616 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.713 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540197681.715 * * * * [misc]points:  Setting MPFR precision to 64
1540197681.802 * * * * [misc]points:  Setting MPFR precision to 320
1540197681.911 * * * * [misc]points:  Computing exacts for 8000 points
1540197681.912 * * * * [misc]points:  Setting MPFR precision to 64
1540197682.259 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.010 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.435 * * * * [misc]points:  Sampling 1316 additional inputs, on iter 1 have 6684 / 8000
1540197683.492 * * * * [misc]points:  Computing exacts on every 82 of 1316 points to ramp up precision
1540197683.493 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.494 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.495 * * * * [misc]points:  Computing exacts on every 41 of 1316 points to ramp up precision
1540197683.496 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.501 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.503 * * * * [misc]points:  Computing exacts on every 20 of 1316 points to ramp up precision
1540197683.504 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.507 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.509 * * * * [misc]points:  Computing exacts on every 10 of 1316 points to ramp up precision
1540197683.511 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.516 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.521 * * * * [misc]points:  Computing exacts on every 5 of 1316 points to ramp up precision
1540197683.522 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.531 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.538 * * * * [misc]points:  Computing exacts on every 2 of 1316 points to ramp up precision
1540197683.539 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.550 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.561 * * * * [misc]points:  Computing exacts for 1316 points
1540197683.562 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.623 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.658 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.659 * * * * [misc]points:  Sampling 217 additional inputs, on iter 2 have 7783 / 8000
1540197683.662 * * * * [misc]points:  Computing exacts on every 13 of 217 points to ramp up precision
1540197683.663 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.664 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.665 * * * * [misc]points:  Computing exacts on every 6 of 217 points to ramp up precision
1540197683.666 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.668 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.670 * * * * [misc]points:  Computing exacts on every 3 of 217 points to ramp up precision
1540197683.671 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.673 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.676 * * * * [misc]points:  Computing exacts for 217 points
1540197683.677 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.688 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.693 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.693 * * * * [misc]points:  Sampling 39 additional inputs, on iter 3 have 7961 / 8000
1540197683.693 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1540197683.694 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.726 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.727 * * * * [misc]points:  Computing exacts for 39 points
1540197683.728 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.729 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.730 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.730 * * * * [misc]points:  Sampling 10 additional inputs, on iter 4 have 7990 / 8000
1540197683.730 * * * * [misc]points:  Computing exacts for 10 points
1540197683.731 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.731 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.731 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.731 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7998 / 8000
1540197683.732 * * * * [misc]points:  Computing exacts for 4 points
1540197683.732 * * * * [misc]points:  Setting MPFR precision to 320
1540197683.732 * * * * [misc]points:  Setting MPFR precision to 576
1540197683.733 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540197683.733 * * * * [exit]points:  Sampled 8002 points with exact outputs
1540197684.208 * [misc]regime-testing:  Baseline error score: 6.2493577635098765
1540197684.208 * [misc]regime-testing:  End program error score: 2.0163276580306446
1540197684.209 * [misc]regime-testing:  Oracle error score: 0.013625