1540374525.878 * [misc]progress:  [Phase 1 of 3] Setting up.
1540374525.878 * * * [misc]progress:  [1/2] Preparing points
1540374525.878 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540374525.881 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540374525.882 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.883 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.884 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540374525.887 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.888 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.890 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540374525.891 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.894 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.897 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540374525.898 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.902 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.905 * * * * [misc]points:  Computing exacts for 256 points
1540374525.906 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.913 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.920 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374525.921 * * * * [misc]points:  Sampling 53 additional inputs, on iter 1 have 203 / 256
1540374525.921 * * * * [misc]points:  Computing exacts on every 3 of 53 points to ramp up precision
1540374525.922 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.922 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.923 * * * * [misc]points:  Computing exacts for 53 points
1540374525.924 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.925 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.927 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374525.927 * * * * [misc]points:  Sampling 9 additional inputs, on iter 2 have 247 / 256
1540374525.927 * * * * [misc]points:  Computing exacts for 9 points
1540374525.928 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.928 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.928 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374525.929 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1540374525.929 * * * * [misc]points:  Computing exacts for 4 points
1540374525.929 * * * * [misc]points:  Setting MPFR precision to 64
1540374525.930 * * * * [misc]points:  Setting MPFR precision to 320
1540374525.930 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374525.930 * * * * [exit]points:  Sampled 257 points with exact outputs
1540374525.930 * * * [misc]progress:  [2/2] Setting up program.
1540374525.933 * [misc]progress:  [Phase 2 of 3] Improving.
1540374525.933 * [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
1540374525.933 * * [misc]simplify:  iters left: 6 (8 enodes)
1540374525.934 * * [misc]simplify:  iters left: 5 (16 enodes)
1540374525.937 * * [misc]simplify:  iters left: 4 (38 enodes)
1540374525.943 * * [misc]simplify:  iters left: 3 (80 enodes)
1540374525.982 * * [misc]simplify:  iters left: 2 (239 enodes)
1540374526.273 * [exit]simplify:  Simplified to (* y (/ x z))
1540374526.282 * * [misc]progress:  iteration 1 / 4
1540374526.282 * * * [misc]progress:  picking best candidate
1540374526.287 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1540374526.287 * * * [misc]progress:  localizing error
1540374526.294 * * * [misc]progress:  generating rewritten candidates
1540374526.295 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540374526.297 * * * [misc]progress:  generating series expansions
1540374526.297 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540374526.297 * [misc]backup-simplify:  Simplify (* y (/ x z)) into (/ (* x y) z)
1540374526.297 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1540374526.297 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540374526.297 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.297 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.298 * [misc]backup-simplify:  Simplify x into x
1540374526.298 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.298 * [misc]backup-simplify:  Simplify y into y
1540374526.298 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.298 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.298 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.298 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.298 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540374526.298 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540374526.298 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.298 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.298 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.298 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.298 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.298 * [misc]backup-simplify:  Simplify y into y
1540374526.298 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.298 * [misc]backup-simplify:  Simplify z into z
1540374526.298 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.298 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.298 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540374526.298 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.298 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.298 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.298 * [misc]backup-simplify:  Simplify x into x
1540374526.298 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.298 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.298 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.298 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.298 * [misc]backup-simplify:  Simplify z into z
1540374526.298 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.298 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.298 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.298 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.298 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.299 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.299 * [misc]backup-simplify:  Simplify x into x
1540374526.299 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.299 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.299 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.299 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.299 * [misc]backup-simplify:  Simplify z into z
1540374526.299 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.299 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.299 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.299 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1540374526.299 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.299 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.299 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.299 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.299 * [misc]backup-simplify:  Simplify z into z
1540374526.299 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1540374526.299 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1540374526.299 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.299 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.299 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.299 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540374526.299 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.299 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.300 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540374526.300 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.300 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.300 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.300 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.300 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1540374526.300 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.300 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.300 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540374526.300 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.301 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.301 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.301 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.301 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.302 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.302 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.302 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374526.302 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.302 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.302 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.302 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.302 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.302 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.302 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.303 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.303 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.303 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1540374526.303 * [misc]backup-simplify:  Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1540374526.303 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1540374526.303 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.303 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.303 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.303 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.303 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.303 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.303 * [misc]backup-simplify:  Simplify x into x
1540374526.303 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.303 * [misc]backup-simplify:  Simplify y into y
1540374526.304 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.304 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.304 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.304 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.304 * [misc]backup-simplify:  Simplify z into z
1540374526.304 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.304 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.304 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.304 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.304 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.304 * [misc]backup-simplify:  Simplify y into y
1540374526.304 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.304 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.304 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.304 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.304 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.304 * [misc]backup-simplify:  Simplify z into z
1540374526.304 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.304 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.304 * [misc]backup-simplify:  Simplify x into x
1540374526.304 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.304 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.304 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.304 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.305 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.305 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.305 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.305 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.305 * [misc]backup-simplify:  Simplify z into z
1540374526.305 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.305 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.305 * [misc]backup-simplify:  Simplify x into x
1540374526.305 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.305 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.305 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.305 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.305 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.305 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.305 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540374526.305 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.305 * [misc]backup-simplify:  Simplify z into z
1540374526.305 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.305 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.305 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.306 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540374526.306 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.306 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.306 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.306 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.306 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.306 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.306 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.306 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.306 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540374526.306 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.307 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.307 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.307 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.307 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.307 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.308 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.308 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.308 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.308 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.308 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.308 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.308 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540374526.308 * [misc]backup-simplify:  Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1540374526.308 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1540374526.308 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540374526.308 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.308 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.309 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.309 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.309 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.309 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.309 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.309 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.309 * [misc]backup-simplify:  Simplify x into x
1540374526.309 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.309 * [misc]backup-simplify:  Simplify y into y
1540374526.309 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.309 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.309 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540374526.309 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.309 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.309 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.309 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.309 * [misc]backup-simplify:  Simplify z into z
1540374526.309 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.309 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.309 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.309 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.309 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.309 * [misc]backup-simplify:  Simplify y into y
1540374526.309 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.309 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.309 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.309 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.310 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.310 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.310 * [misc]backup-simplify:  Simplify z into z
1540374526.310 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.310 * [misc]backup-simplify:  Simplify x into x
1540374526.310 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.310 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.310 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.310 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.310 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.310 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.310 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.310 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.310 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.310 * [misc]backup-simplify:  Simplify z into z
1540374526.310 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.310 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.310 * [misc]backup-simplify:  Simplify x into x
1540374526.310 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.310 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.310 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.310 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.311 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.311 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.311 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540374526.311 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1540374526.311 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.311 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.311 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540374526.311 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.311 * [misc]backup-simplify:  Simplify z into z
1540374526.311 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.311 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.311 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.311 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540374526.311 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1540374526.311 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1540374526.311 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.311 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.311 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.311 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.311 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.312 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1540374526.312 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.312 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.312 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.312 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540374526.312 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.312 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.313 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540374526.313 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1540374526.313 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.313 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.313 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.313 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.314 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.314 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.314 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.314 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540374526.314 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.314 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.314 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.314 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.314 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.315 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.315 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1540374526.315 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.315 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.315 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.315 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.316 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.316 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.316 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540374526.316 * * * [misc]progress:  simplifying candidates
1540374526.316 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
1540374526.316 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
1540374526.316 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
1540374526.317 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
1540374526.317 * [enter]simplify:  Simplifying (cbrt (/ x z))
1540374526.317 * * [misc]simplify:  iters left: 3 (4 enodes)
1540374526.318 * [exit]simplify:  Simplified to (cbrt (/ x z))
1540374526.318 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
1540374526.318 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
1540374526.318 * [enter]simplify:  Simplifying (sqrt (/ x z))
1540374526.318 * * [misc]simplify:  iters left: 3 (4 enodes)
1540374526.319 * [exit]simplify:  Simplified to (sqrt (/ x z))
1540374526.319 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
1540374526.319 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
1540374526.320 * [enter]simplify:  Simplifying (/ x z)
1540374526.320 * * [misc]simplify:  iters left: 2 (3 enodes)
1540374526.321 * [exit]simplify:  Simplified to (/ x z)
1540374526.321 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
1540374526.321 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1540374526.321 * [enter]simplify:  Simplifying (/ 1 z)
1540374526.321 * * [misc]simplify:  iters left: 2 (3 enodes)
1540374526.322 * * [misc]simplify:  iters left: 1 (5 enodes)
1540374526.323 * [exit]simplify:  Simplified to (/ 1 z)
1540374526.323 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
1540374526.323 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1540374526.323 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1540374526.323 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.323 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.323 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.325 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.328 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.330 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.333 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.333 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.334 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.334 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.334 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.335 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.337 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.344 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.347 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.347 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.347 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.348 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.348 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.349 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.351 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.354 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.357 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.357 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.357 * * * [misc]progress:  adding candidates to table
1540374526.559 * * [misc]progress:  iteration 2 / 4
1540374526.559 * * * [misc]progress:  picking best candidate
1540374526.574 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* y x) z))>
1540374526.574 * * * [misc]progress:  localizing error
1540374526.581 * * * [misc]progress:  generating rewritten candidates
1540374526.581 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540374526.583 * * * [misc]progress:  generating series expansions
1540374526.583 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540374526.584 * [misc]backup-simplify:  Simplify (/ (* y x) z) into (/ (* x y) z)
1540374526.584 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1540374526.584 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540374526.584 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.584 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.584 * [misc]backup-simplify:  Simplify x into x
1540374526.584 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.584 * [misc]backup-simplify:  Simplify y into y
1540374526.584 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.584 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.584 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.584 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.584 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540374526.584 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540374526.584 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.584 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.584 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.584 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.584 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.584 * [misc]backup-simplify:  Simplify y into y
1540374526.584 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.584 * [misc]backup-simplify:  Simplify z into z
1540374526.584 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.585 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.585 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540374526.585 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.585 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.585 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.585 * [misc]backup-simplify:  Simplify x into x
1540374526.585 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.585 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.585 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.585 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.585 * [misc]backup-simplify:  Simplify z into z
1540374526.585 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.585 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.585 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.585 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.585 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.585 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.585 * [misc]backup-simplify:  Simplify x into x
1540374526.585 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.585 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.585 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.585 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.586 * [misc]backup-simplify:  Simplify z into z
1540374526.586 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.586 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.586 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.586 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1540374526.586 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.586 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.586 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.586 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.586 * [misc]backup-simplify:  Simplify z into z
1540374526.586 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1540374526.586 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1540374526.586 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.586 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.586 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.586 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540374526.587 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.587 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.587 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540374526.587 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.587 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.587 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.587 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.587 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1540374526.587 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.587 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.588 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540374526.588 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.588 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.588 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.588 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.588 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.588 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.588 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.588 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.588 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.589 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.589 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.589 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.589 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.589 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.589 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.589 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.590 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374526.590 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.590 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.590 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.590 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.590 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.590 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.590 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.590 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.590 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.590 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.590 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.590 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.591 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.591 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.591 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1540374526.591 * [misc]backup-simplify:  Simplify (/ (* (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ z (* x y))
1540374526.591 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1540374526.591 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.591 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.591 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.591 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.591 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.591 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.591 * [misc]backup-simplify:  Simplify x into x
1540374526.591 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.591 * [misc]backup-simplify:  Simplify y into y
1540374526.591 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.591 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.591 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.591 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.591 * [misc]backup-simplify:  Simplify z into z
1540374526.591 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.591 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.591 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.591 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.592 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.592 * [misc]backup-simplify:  Simplify y into y
1540374526.592 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.592 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.592 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.592 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.592 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.592 * [misc]backup-simplify:  Simplify z into z
1540374526.592 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.592 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.592 * [misc]backup-simplify:  Simplify x into x
1540374526.592 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.592 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.592 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.592 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.592 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.593 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.593 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.593 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.593 * [misc]backup-simplify:  Simplify z into z
1540374526.593 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.593 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.593 * [misc]backup-simplify:  Simplify x into x
1540374526.593 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.593 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.593 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.593 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.593 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.593 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.593 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540374526.593 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.593 * [misc]backup-simplify:  Simplify z into z
1540374526.593 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.593 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.593 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.594 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540374526.594 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.594 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.594 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.594 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.594 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.594 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.594 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.594 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.594 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540374526.595 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.595 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.595 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.595 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.595 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.595 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.596 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.596 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.596 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.596 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.596 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.596 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.596 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540374526.596 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
1540374526.596 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1540374526.597 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540374526.597 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.597 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.597 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.597 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.597 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.597 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.597 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.597 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.597 * [misc]backup-simplify:  Simplify x into x
1540374526.597 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.597 * [misc]backup-simplify:  Simplify y into y
1540374526.597 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.597 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.597 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540374526.597 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.597 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.597 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.597 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.597 * [misc]backup-simplify:  Simplify z into z
1540374526.597 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.597 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.597 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.597 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.597 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.597 * [misc]backup-simplify:  Simplify y into y
1540374526.597 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.598 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.598 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.598 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.598 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.598 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.598 * [misc]backup-simplify:  Simplify z into z
1540374526.598 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.598 * [misc]backup-simplify:  Simplify x into x
1540374526.598 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.598 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.598 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.598 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.598 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.598 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.598 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.598 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.598 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.598 * [misc]backup-simplify:  Simplify z into z
1540374526.598 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.598 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.599 * [misc]backup-simplify:  Simplify x into x
1540374526.599 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.599 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.599 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.599 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.599 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.599 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.599 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540374526.599 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1540374526.599 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.599 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.599 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1540374526.599 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.599 * [misc]backup-simplify:  Simplify z into z
1540374526.599 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.599 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.599 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.599 * [misc]backup-simplify:  Simplify (/ z 1) into z
1540374526.599 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1540374526.599 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1540374526.600 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.600 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.600 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.600 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.600 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.600 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1540374526.600 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.600 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.600 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.601 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540374526.601 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.601 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.601 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1540374526.601 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1540374526.601 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.601 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.601 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.602 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.602 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.602 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.602 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.603 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540374526.603 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.603 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.603 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.603 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.603 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.603 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.604 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1540374526.604 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.604 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.604 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.604 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.604 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.604 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.605 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540374526.605 * * * [misc]progress:  simplifying candidates
1540374526.605 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* y x) z) 1))>
1540374526.605 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* y x) z) (/ (* y x) z)) (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z))))>
1540374526.605 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* y x)) (- z)))>
1540374526.605 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* y x) z)))>
1540374526.605 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1540374526.605 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* y x))))>
1540374526.605 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ y (/ z x)))>
1540374526.606 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.606 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.606 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.608 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.610 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.612 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.616 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.616 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.616 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.617 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.617 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.618 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.620 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.623 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.627 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.627 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.627 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.627 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.627 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.629 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.631 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.634 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.637 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.637 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.637 * * * [misc]progress:  adding candidates to table
1540374526.802 * * [misc]progress:  iteration 3 / 4
1540374526.802 * * * [misc]progress:  picking best candidate
1540374526.821 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ y (/ z x)))>
1540374526.821 * * * [misc]progress:  localizing error
1540374526.832 * * * [misc]progress:  generating rewritten candidates
1540374526.832 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540374526.837 * * * [misc]progress:  generating series expansions
1540374526.837 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540374526.837 * [misc]backup-simplify:  Simplify (/ y (/ z x)) into (/ (* x y) z)
1540374526.837 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
1540374526.837 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540374526.837 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.837 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.837 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.837 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.838 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.838 * [misc]backup-simplify:  Simplify y into y
1540374526.838 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.838 * [misc]backup-simplify:  Simplify z into z
1540374526.838 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.838 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.838 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540374526.838 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540374526.838 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.838 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.838 * [misc]backup-simplify:  Simplify x into x
1540374526.838 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.838 * [misc]backup-simplify:  Simplify y into y
1540374526.838 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.838 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.838 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.838 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.838 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540374526.839 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.839 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.839 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.839 * [misc]backup-simplify:  Simplify x into x
1540374526.839 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.839 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.839 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.839 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.839 * [misc]backup-simplify:  Simplify z into z
1540374526.839 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.839 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.839 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.839 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374526.839 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.839 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.839 * [misc]backup-simplify:  Simplify x into x
1540374526.839 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.839 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.839 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.839 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.839 * [misc]backup-simplify:  Simplify z into z
1540374526.839 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.840 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.840 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374526.840 * [misc]taylor:  Taking taylor expansion of (/ x z) in z
1540374526.840 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.840 * [misc]backup-simplify:  Simplify x into x
1540374526.840 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.840 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.840 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.840 * [misc]backup-simplify:  Simplify (/ x 1) into x
1540374526.840 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.840 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.840 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.840 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.840 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.841 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540374526.841 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.841 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.841 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1540374526.841 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.841 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.841 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.841 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.842 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.842 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374526.842 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.842 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.842 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.842 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.842 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.842 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.842 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.843 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.843 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.843 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.843 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.843 * [misc]backup-simplify:  Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
1540374526.843 * [misc]backup-simplify:  Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y))
1540374526.843 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
1540374526.843 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.843 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.843 * [misc]backup-simplify:  Simplify z into z
1540374526.843 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.843 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.843 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.843 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.843 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.843 * [misc]backup-simplify:  Simplify y into y
1540374526.844 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.844 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.844 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.844 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.844 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.844 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.844 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.844 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.844 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.844 * [misc]backup-simplify:  Simplify x into x
1540374526.844 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.844 * [misc]backup-simplify:  Simplify y into y
1540374526.844 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.844 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.844 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.844 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.844 * [misc]backup-simplify:  Simplify z into z
1540374526.844 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.844 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.844 * [misc]backup-simplify:  Simplify x into x
1540374526.844 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.844 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.844 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.844 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.845 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.845 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.845 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.845 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.845 * [misc]backup-simplify:  Simplify z into z
1540374526.845 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.845 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.845 * [misc]backup-simplify:  Simplify x into x
1540374526.845 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.845 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.845 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.845 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.845 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.845 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.845 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540374526.845 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.845 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.846 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.846 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.846 * [misc]backup-simplify:  Simplify x into x
1540374526.846 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540374526.846 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540374526.846 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.846 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.846 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.846 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540374526.846 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.846 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.846 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.846 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.846 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.846 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.847 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.847 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540374526.847 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.847 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.847 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540374526.847 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.847 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.848 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.848 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.848 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.848 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.848 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.849 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374526.849 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.849 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.849 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.849 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.849 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.849 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.849 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.849 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.849 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.850 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.850 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.850 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.850 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.850 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.850 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540374526.850 * [misc]backup-simplify:  Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y)))
1540374526.850 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
1540374526.850 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540374526.850 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.850 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.850 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374526.850 * [misc]taylor:  Taking taylor expansion of z in x
1540374526.850 * [misc]backup-simplify:  Simplify z into z
1540374526.850 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374526.850 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.850 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.851 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.851 * [misc]taylor:  Taking taylor expansion of y in x
1540374526.851 * [misc]backup-simplify:  Simplify y into y
1540374526.851 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374526.851 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374526.851 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374526.851 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540374526.851 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.851 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.851 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374526.851 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.851 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.851 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.851 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374526.851 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.851 * [misc]backup-simplify:  Simplify x into x
1540374526.851 * [misc]taylor:  Taking taylor expansion of y in z
1540374526.851 * [misc]backup-simplify:  Simplify y into y
1540374526.851 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374526.851 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374526.851 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.851 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.851 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.852 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.852 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.852 * [misc]backup-simplify:  Simplify z into z
1540374526.852 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.852 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.852 * [misc]backup-simplify:  Simplify x into x
1540374526.852 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.852 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.852 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.852 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.852 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.852 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.852 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374526.852 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374526.852 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.852 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374526.852 * [misc]taylor:  Taking taylor expansion of z in y
1540374526.852 * [misc]backup-simplify:  Simplify z into z
1540374526.852 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374526.852 * [misc]taylor:  Taking taylor expansion of x in y
1540374526.852 * [misc]backup-simplify:  Simplify x into x
1540374526.852 * [misc]taylor:  Taking taylor expansion of y in y
1540374526.852 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.852 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.852 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374526.853 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374526.853 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374526.853 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540374526.853 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in z
1540374526.853 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374526.853 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.853 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540374526.853 * [misc]taylor:  Taking taylor expansion of z in z
1540374526.853 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.853 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.853 * [misc]taylor:  Taking taylor expansion of x in z
1540374526.853 * [misc]backup-simplify:  Simplify x into x
1540374526.853 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540374526.853 * [misc]backup-simplify:  Simplify (* -1 (/ 1 x)) into (/ -1 x)
1540374526.853 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540374526.853 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374526.853 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.853 * [misc]taylor:  Taking taylor expansion of x in x
1540374526.853 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.853 * [misc]backup-simplify:  Simplify 1 into 1
1540374526.854 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540374526.854 * [misc]backup-simplify:  Simplify -1 into -1
1540374526.854 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374526.854 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374526.854 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540374526.854 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.854 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.855 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.855 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.855 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540374526.855 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
1540374526.855 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.855 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.855 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540374526.855 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.856 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374526.856 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.856 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540374526.856 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.856 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.856 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.856 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.856 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.857 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.857 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.857 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1540374526.857 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.857 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.857 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.857 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.858 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374526.858 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.858 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374526.858 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.859 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
1540374526.859 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374526.859 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.859 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.859 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.859 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.859 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.859 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.859 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.859 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374526.860 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1540374526.860 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374526.860 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.860 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.860 * [misc]backup-simplify:  Simplify 0 into 0
1540374526.860 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540374526.860 * * * [misc]progress:  simplifying candidates
1540374526.860 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (/ y (/ z x)))))>
1540374526.860 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (/ y (/ z x)))))>
1540374526.860 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ y (/ z x)) 1))>
1540374526.860 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ y (/ z x)))))>
1540374526.860 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ y (/ z x)))))>
1540374526.861 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x)))))>
1540374526.861 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ y (/ z x)) (/ y (/ z x))) (/ y (/ z x)))))>
1540374526.861 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ y (/ z x))) (sqrt (/ y (/ z x)))))>
1540374526.861 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (- y) (- (/ z x))))>
1540374526.861 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ y (/ z x))))>
1540374526.861 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (x y z t) (* y (/ 1 (/ z x))))>
1540374526.861 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>
1540374526.861 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))))>
1540374526.861 * [enter]simplify:  Simplifying (cbrt (/ z x))
1540374526.861 * * [misc]simplify:  iters left: 3 (4 enodes)
1540374526.862 * [exit]simplify:  Simplified to (cbrt (/ z x))
1540374526.863 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (cbrt (/ z x))))
1540374526.863 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))))>
1540374526.863 * [enter]simplify:  Simplifying (sqrt (/ z x))
1540374526.863 * * [misc]simplify:  iters left: 3 (4 enodes)
1540374526.864 * [exit]simplify:  Simplified to (sqrt (/ z x))
1540374526.864 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y (sqrt (/ z x))) (sqrt (/ z x))))
1540374526.864 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y 1) (/ z x)))>
1540374526.864 * [enter]simplify:  Simplifying (/ z x)
1540374526.864 * * [misc]simplify:  iters left: 2 (3 enodes)
1540374526.865 * [exit]simplify:  Simplified to (/ z x)
1540374526.865 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y 1) (/ z x)))
1540374526.865 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ y z) (/ 1 x)))>
1540374526.866 * [enter]simplify:  Simplifying (/ 1 x)
1540374526.866 * * [misc]simplify:  iters left: 2 (3 enodes)
1540374526.867 * * [misc]simplify:  iters left: 1 (5 enodes)
1540374526.868 * [exit]simplify:  Simplified to (/ 1 x)
1540374526.868 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ y z) (/ 1 x)))
1540374526.868 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (x y z t) (* (/ y z) x))>
1540374526.868 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.868 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.868 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.870 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.872 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.874 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.878 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.879 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.879 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.879 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.879 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.881 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.883 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.886 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.890 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.890 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.890 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374526.890 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374526.890 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374526.892 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374526.894 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374526.897 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374526.902 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374526.902 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374526.902 * * * [misc]progress:  adding candidates to table
1540374527.061 * * [misc]progress:  iteration 4 / 4
1540374527.061 * * * [misc]progress:  picking best candidate
1540374527.066 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* (/ y z) x))>
1540374527.066 * * * [misc]progress:  localizing error
1540374527.075 * * * [misc]progress:  generating rewritten candidates
1540374527.075 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1540374527.080 * * * [misc]progress:  generating series expansions
1540374527.080 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1540374527.080 * [misc]backup-simplify:  Simplify (* (/ y z) x) into (/ (* x y) z)
1540374527.080 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y z x) around 0
1540374527.080 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1540374527.080 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374527.080 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.080 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.080 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.080 * [misc]taylor:  Taking taylor expansion of y in x
1540374527.080 * [misc]backup-simplify:  Simplify y into y
1540374527.080 * [misc]taylor:  Taking taylor expansion of z in x
1540374527.080 * [misc]backup-simplify:  Simplify z into z
1540374527.080 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374527.080 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374527.081 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1540374527.081 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1540374527.081 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374527.081 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.081 * [misc]backup-simplify:  Simplify x into x
1540374527.081 * [misc]taylor:  Taking taylor expansion of y in z
1540374527.081 * [misc]backup-simplify:  Simplify y into y
1540374527.081 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.081 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.081 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.081 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374527.081 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1540374527.081 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374527.081 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.081 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.081 * [misc]backup-simplify:  Simplify x into x
1540374527.081 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.081 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.081 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.081 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.081 * [misc]backup-simplify:  Simplify z into z
1540374527.081 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.081 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.082 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374527.082 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1540374527.082 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.082 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.082 * [misc]backup-simplify:  Simplify x into x
1540374527.082 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.082 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.082 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.082 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.082 * [misc]backup-simplify:  Simplify z into z
1540374527.082 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.082 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.082 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1540374527.082 * [misc]taylor:  Taking taylor expansion of (/ x z) in z
1540374527.082 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.082 * [misc]backup-simplify:  Simplify x into x
1540374527.082 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.082 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.082 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.082 * [misc]backup-simplify:  Simplify (/ x 1) into x
1540374527.082 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.083 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.083 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.083 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.083 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374527.083 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1540374527.083 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.083 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.083 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
1540374527.083 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.084 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374527.084 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1540374527.084 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.084 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.084 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.085 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374527.085 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.085 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.085 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.085 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.085 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.085 * [misc]backup-simplify:  Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z)
1540374527.085 * [misc]backup-simplify:  Simplify (* (/ (/ 1 y) (/ 1 z)) (/ 1 x)) into (/ z (* x y))
1540374527.085 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y z x) around 0
1540374527.085 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374527.085 * [misc]taylor:  Taking taylor expansion of z in x
1540374527.085 * [misc]backup-simplify:  Simplify z into z
1540374527.085 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374527.086 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.086 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.086 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.086 * [misc]taylor:  Taking taylor expansion of y in x
1540374527.086 * [misc]backup-simplify:  Simplify y into y
1540374527.086 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374527.086 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374527.086 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374527.086 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374527.086 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.086 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.086 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.086 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374527.086 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.086 * [misc]backup-simplify:  Simplify x into x
1540374527.086 * [misc]taylor:  Taking taylor expansion of y in z
1540374527.086 * [misc]backup-simplify:  Simplify y into y
1540374527.086 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374527.086 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374527.086 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374527.086 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.086 * [misc]backup-simplify:  Simplify z into z
1540374527.086 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.087 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.087 * [misc]backup-simplify:  Simplify x into x
1540374527.087 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.087 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.087 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.087 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.087 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.087 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374527.087 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374527.087 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.087 * [misc]backup-simplify:  Simplify z into z
1540374527.087 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.087 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.087 * [misc]backup-simplify:  Simplify x into x
1540374527.087 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.087 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.087 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.087 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.087 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.088 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374527.088 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540374527.088 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.088 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.088 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.088 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.088 * [misc]backup-simplify:  Simplify x into x
1540374527.088 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540374527.088 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540374527.088 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.088 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.088 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.088 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540374527.088 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.089 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374527.089 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374527.089 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.089 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.089 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.089 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.089 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540374527.089 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.089 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.090 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540374527.090 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.090 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374527.090 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.090 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.090 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.090 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.090 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.090 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.090 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.091 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.091 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.091 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.091 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.091 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.091 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374527.091 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.091 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374527.092 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.092 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.092 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.092 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.093 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1540374527.093 * [misc]backup-simplify:  Simplify (* (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (* -1 (/ z (* x y)))
1540374527.093 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0
1540374527.093 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1540374527.093 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374527.093 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.093 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1540374527.093 * [misc]taylor:  Taking taylor expansion of z in x
1540374527.093 * [misc]backup-simplify:  Simplify z into z
1540374527.093 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1540374527.093 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.093 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.093 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.093 * [misc]taylor:  Taking taylor expansion of y in x
1540374527.093 * [misc]backup-simplify:  Simplify y into y
1540374527.093 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1540374527.093 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1540374527.094 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1540374527.094 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1540374527.094 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374527.094 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.094 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1540374527.094 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.094 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.094 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.094 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1540374527.094 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.094 * [misc]backup-simplify:  Simplify x into x
1540374527.094 * [misc]taylor:  Taking taylor expansion of y in z
1540374527.094 * [misc]backup-simplify:  Simplify y into y
1540374527.094 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1540374527.094 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1540374527.094 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374527.094 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374527.094 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.094 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374527.094 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.094 * [misc]backup-simplify:  Simplify z into z
1540374527.094 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.094 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.094 * [misc]backup-simplify:  Simplify x into x
1540374527.094 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.094 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.094 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.094 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.095 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.095 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374527.095 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1540374527.095 * [misc]taylor:  Taking taylor expansion of -1 in y
1540374527.095 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.095 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1540374527.095 * [misc]taylor:  Taking taylor expansion of z in y
1540374527.095 * [misc]backup-simplify:  Simplify z into z
1540374527.095 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1540374527.095 * [misc]taylor:  Taking taylor expansion of x in y
1540374527.095 * [misc]backup-simplify:  Simplify x into x
1540374527.095 * [misc]taylor:  Taking taylor expansion of y in y
1540374527.095 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.095 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.095 * [misc]backup-simplify:  Simplify (* x 0) into 0
1540374527.095 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1540374527.095 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1540374527.095 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1540374527.095 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in z
1540374527.095 * [misc]taylor:  Taking taylor expansion of -1 in z
1540374527.095 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.095 * [misc]taylor:  Taking taylor expansion of (/ z x) in z
1540374527.096 * [misc]taylor:  Taking taylor expansion of z in z
1540374527.096 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.096 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.096 * [misc]taylor:  Taking taylor expansion of x in z
1540374527.096 * [misc]backup-simplify:  Simplify x into x
1540374527.096 * [misc]backup-simplify:  Simplify (/ 1 x) into (/ 1 x)
1540374527.096 * [misc]backup-simplify:  Simplify (* -1 (/ 1 x)) into (/ -1 x)
1540374527.096 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1540374527.096 * [misc]taylor:  Taking taylor expansion of -1 in x
1540374527.096 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.096 * [misc]taylor:  Taking taylor expansion of x in x
1540374527.096 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.096 * [misc]backup-simplify:  Simplify 1 into 1
1540374527.096 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540374527.096 * [misc]backup-simplify:  Simplify -1 into -1
1540374527.096 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1540374527.096 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1540374527.096 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1540374527.096 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.096 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.096 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.096 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.097 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
1540374527.097 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0
1540374527.097 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.097 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.097 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1540374527.097 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.097 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1540374527.097 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.097 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1540374527.097 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.098 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1540374527.098 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540374527.098 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.098 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1540374527.099 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.099 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0
1540374527.099 * [misc]taylor:  Taking taylor expansion of 0 in z
1540374527.099 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.099 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.099 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.099 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.099 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.099 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.099 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.099 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1540374527.100 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1540374527.100 * [misc]taylor:  Taking taylor expansion of 0 in x
1540374527.100 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.100 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.100 * [misc]backup-simplify:  Simplify 0 into 0
1540374527.100 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1540374527.100 * * * [misc]progress:  simplifying candidates
1540374527.100 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log1p (expm1 (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (expm1 (log1p (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (/ y z) x) 1))>
1540374527.100 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* (/ y z) x)) (cbrt (* (/ y z) x))) (cbrt (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (/ y z) x) (* (/ y z) x)) (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* (/ y z) x)) (sqrt (* (/ y z) x))))>
1540374527.100 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (/ y z) x)))>
1540374527.100 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x)))>
1540374527.100 * [enter]simplify:  Simplifying (* (cbrt (/ y z)) (cbrt (/ y z)))
1540374527.100 * * [misc]simplify:  iters left: 5 (5 enodes)
1540374527.101 * [exit]simplify:  Simplified to (* (cbrt (/ y z)) (cbrt (/ y z)))
1540374527.101 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (* (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt (/ y z)) x)))
1540374527.101 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>
1540374527.101 * [enter]simplify:  Simplifying (sqrt (/ y z))
1540374527.101 * * [misc]simplify:  iters left: 3 (4 enodes)
1540374527.102 * [exit]simplify:  Simplified to (sqrt (/ y z))
1540374527.102 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))
1540374527.102 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (/ y z) x)))>
1540374527.102 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* y (* (/ 1 z) x)))>
1540374527.102 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1540374527.102 * [enter]simplify:  Simplifying (* y x)
1540374527.102 * * [misc]simplify:  iters left: 2 (3 enodes)
1540374527.103 * * [misc]simplify:  iters left: 1 (4 enodes)
1540374527.103 * [exit]simplify:  Simplified to (* y x)
1540374527.103 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (/ (* y x) z))
1540374527.103 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* x (/ y z)))>
1540374527.103 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374527.104 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374527.104 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374527.104 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374527.105 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374527.107 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374527.109 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374527.109 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374527.109 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374527.109 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374527.109 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374527.110 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374527.111 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374527.112 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374527.114 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374527.114 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374527.114 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1540374527.114 * [enter]simplify:  Simplifying (/ (* x y) z)
1540374527.114 * * [misc]simplify:  iters left: 4 (5 enodes)
1540374527.115 * * [misc]simplify:  iters left: 3 (8 enodes)
1540374527.116 * * [misc]simplify:  iters left: 2 (10 enodes)
1540374527.117 * * [misc]simplify:  iters left: 1 (13 enodes)
1540374527.119 * [exit]simplify:  Simplified to (/ y (/ z x))
1540374527.119 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1540374527.119 * * * [misc]progress:  adding candidates to table
1540374527.280 * [misc]progress:  [Phase 3 of 3] Extracting.
1540374527.280 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.280 * * * [misc]regime-changes:  Trying 4 branch expressions: (z y (/ y z) x)
1540374527.280 * * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.386 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.460 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.525 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.573 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.667 * * * [misc]regime:  Found split indices: #<option (#s(si 1 13) #s(si 0 97) #s(si 2 143) #s(si 0 232) #s(si 3 256))>
1540374527.668 * [misc]binary-search:  Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.669 * [misc]regimes:  Found splitpoints: (#s(sp 1 (/ y z) -3.282021257746298e+200) #s(sp 0 (/ y z) -8.6490765237775e-292) #s(sp 2 (/ y z) 1.1421569379912e-312) #s(sp 0 (/ y z) 1.4485849901919557e+180) #s(sp 3 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* (/ y z) x))> #<alt (λ (x y z t) (/ y (/ z x)))> #<alt (λ (x y z t) (/ (* y x) z))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (sqrt (/ y z)) (* (sqrt (/ y z)) x)))>)
1540374527.669 * [enter]simplify:  Simplifying (if (<= (/ y z) -3.282021257746298e+200) (/ y (/ z x)) (if (<= (/ y z) -8.6490765237775e-292) (* (/ y z) x) (if (<= (/ y z) 1.1421569379912e-312) (/ (* y x) z) (if (<= (/ y z) 1.4485849901919557e+180) (* (/ y z) x) (* y (/ x z))))))
1540374527.670 * * [misc]simplify:  iters left: 6 (23 enodes)
1540374527.671 * * [misc]simplify:  iters left: 5 (26 enodes)
1540374527.676 * [exit]simplify:  Simplified to (if (<= (/ y z) -3.282021257746298e+200) (/ y (/ z x)) (if (<= (/ y z) -8.6490765237775e-292) (* (/ y z) x) (if (<= (/ y z) 1.1421569379912e-312) (/ (* x y) z) (if (<= (/ y z) 1.4485849901919557e+180) (* (/ y z) x) (* y (/ x z))))))
1540374527.676 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540374527.758 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540374527.759 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.760 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.760 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540374527.761 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.762 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.763 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540374527.764 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.766 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.767 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540374527.768 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.773 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.780 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540374527.781 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.795 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.806 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540374527.807 * * * * [misc]points:  Setting MPFR precision to 64
1540374527.847 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.870 * * * * [misc]points:  Setting MPFR precision to 576
1540374527.885 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540374527.886 * * * * [misc]points:  Setting MPFR precision to 320
1540374527.930 * * * * [misc]points:  Setting MPFR precision to 576
1540374528.006 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540374528.007 * * * * [misc]points:  Setting MPFR precision to 320
1540374528.079 * * * * [misc]points:  Setting MPFR precision to 576
1540374528.218 * * * * [misc]points:  Computing exacts for 8000 points
1540374528.219 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.101 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.518 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374529.521 * * * * [misc]points:  Sampling 1340 additional inputs, on iter 1 have 6660 / 8000
1540374529.532 * * * * [misc]points:  Computing exacts on every 83 of 1340 points to ramp up precision
1540374529.533 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.533 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.534 * * * * [misc]points:  Computing exacts on every 41 of 1340 points to ramp up precision
1540374529.535 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.536 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.538 * * * * [misc]points:  Computing exacts on every 20 of 1340 points to ramp up precision
1540374529.539 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.542 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.546 * * * * [misc]points:  Computing exacts on every 10 of 1340 points to ramp up precision
1540374529.547 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.554 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.560 * * * * [misc]points:  Computing exacts on every 5 of 1340 points to ramp up precision
1540374529.562 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.603 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.609 * * * * [misc]points:  Computing exacts on every 2 of 1340 points to ramp up precision
1540374529.610 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.624 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.646 * * * * [misc]points:  Computing exacts for 1340 points
1540374529.648 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.708 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374529.799 * * * * [misc]points:  Sampling 247 additional inputs, on iter 2 have 7753 / 8000
1540374529.803 * * * * [misc]points:  Computing exacts on every 15 of 247 points to ramp up precision
1540374529.804 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.806 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.807 * * * * [misc]points:  Computing exacts on every 7 of 247 points to ramp up precision
1540374529.808 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.810 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.811 * * * * [misc]points:  Computing exacts on every 3 of 247 points to ramp up precision
1540374529.813 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.816 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.820 * * * * [misc]points:  Computing exacts for 247 points
1540374529.821 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.835 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.848 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374529.849 * * * * [misc]points:  Sampling 35 additional inputs, on iter 3 have 7965 / 8000
1540374529.849 * * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
1540374529.851 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.852 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.852 * * * * [misc]points:  Computing exacts for 35 points
1540374529.854 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.856 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.858 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374529.858 * * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 7997 / 8000
1540374529.858 * * * * [misc]points:  Computing exacts for 4 points
1540374529.859 * * * * [misc]points:  Setting MPFR precision to 320
1540374529.860 * * * * [misc]points:  Setting MPFR precision to 576
1540374529.860 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540374529.860 * * * * [exit]points:  Sampled 8000 points with exact outputs
1540374530.424 * [misc]regime-testing:  Baseline error score: 6.347871122569894
1540374530.424 * [misc]regime-testing:  End program error score: 0.3824740859356073
1540374530.426 * [misc]regime-testing:  Oracle error score: 0.018125