1545126650.681 * [misc]progress:  [Phase 1 of 3] Setting up.
1545126650.681 * * * [misc]progress:  [1/2] Preparing points
1545126650.681 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545126650.767 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126650.767 * * * * [misc]points:  Sampling 38 additional inputs, on iter 1 have 218 / 256
1545126650.781 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126650.781 * * * * [misc]points:  Sampling 4 additional inputs, on iter 2 have 252 / 256
1545126650.784 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126650.784 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 255 / 256
1545126650.785 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126650.785 * * * * [exit]points:  Sampled 259 points with exact outputs
1545126650.785 * * * [misc]progress:  [2/2] Setting up program.
1545126650.788 * [misc]progress:  [Phase 2 of 3] Improving.
1545126650.788 * [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
1545126650.788 * * [misc]simplify:  iters left: 6 (8 enodes)
1545126650.790 * * [misc]simplify:  iters left: 5 (16 enodes)
1545126650.792 * * [misc]simplify:  iters left: 4 (38 enodes)
1545126650.798 * * [misc]simplify:  iters left: 3 (80 enodes)
1545126650.844 * * [misc]simplify:  iters left: 2 (239 enodes)
1545126651.117 * [exit]simplify:  Simplified to (* y (/ x z))
1545126651.128 * * [misc]progress:  iteration 1 / 4
1545126651.128 * * * [misc]progress:  picking best candidate
1545126651.137 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1545126651.137 * * * [misc]progress:  localizing error
1545126651.149 * * * [misc]progress:  generating rewritten candidates
1545126651.149 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545126651.152 * * * [misc]progress:  generating series expansions
1545126651.152 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545126651.152 * [misc]backup-simplify:  Simplify (* y (/ x z)) into (/ (* x y) z)
1545126651.152 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1545126651.152 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.152 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.152 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.152 * [misc]backup-simplify:  Simplify x into x
1545126651.152 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.152 * [misc]backup-simplify:  Simplify y into y
1545126651.152 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.152 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.152 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.152 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.152 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.152 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.152 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.152 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.152 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.152 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.152 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.152 * [misc]backup-simplify:  Simplify y into y
1545126651.152 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.152 * [misc]backup-simplify:  Simplify z into z
1545126651.152 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.153 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.153 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.153 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.153 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.153 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.153 * [misc]backup-simplify:  Simplify x into x
1545126651.153 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.153 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.153 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.153 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.153 * [misc]backup-simplify:  Simplify z into z
1545126651.153 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.153 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.153 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.153 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.153 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.153 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.153 * [misc]backup-simplify:  Simplify x into x
1545126651.153 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.153 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.153 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.153 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.153 * [misc]backup-simplify:  Simplify z into z
1545126651.153 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.153 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.153 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.154 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1545126651.154 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.154 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.154 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.154 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.154 * [misc]backup-simplify:  Simplify z into z
1545126651.154 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1545126651.154 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1545126651.154 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.154 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.154 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.154 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545126651.154 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.154 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1545126651.154 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1545126651.154 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.154 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.154 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.154 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.154 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1545126651.154 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.154 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545126651.155 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.155 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.155 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.155 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1545126651.156 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1545126651.156 * [misc]backup-simplify:  Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1545126651.156 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1545126651.156 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.156 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.156 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.156 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.156 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.156 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.156 * [misc]backup-simplify:  Simplify x into x
1545126651.157 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.157 * [misc]backup-simplify:  Simplify y into y
1545126651.157 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.157 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.157 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.157 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.157 * [misc]backup-simplify:  Simplify z into z
1545126651.157 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.157 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.157 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.157 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.157 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.157 * [misc]backup-simplify:  Simplify y into y
1545126651.157 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.157 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.157 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.157 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.157 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.157 * [misc]backup-simplify:  Simplify z into z
1545126651.157 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.157 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.157 * [misc]backup-simplify:  Simplify x into x
1545126651.157 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.157 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.157 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.157 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.157 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.157 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.157 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.157 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.157 * [misc]backup-simplify:  Simplify z into z
1545126651.157 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.157 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.157 * [misc]backup-simplify:  Simplify x into x
1545126651.157 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.157 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.157 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.157 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.158 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.158 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.158 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1545126651.158 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.158 * [misc]backup-simplify:  Simplify z into z
1545126651.158 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.158 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.158 * [misc]backup-simplify:  Simplify (/ z 1) into z
1545126651.158 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.158 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.158 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.158 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1545126651.158 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1545126651.158 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.158 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1545126651.158 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.158 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545126651.159 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1545126651.159 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.159 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.159 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1545126651.160 * [misc]backup-simplify:  Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1545126651.160 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1545126651.160 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.160 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.160 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.160 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.160 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.160 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.160 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.160 * [misc]backup-simplify:  Simplify x into x
1545126651.160 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.160 * [misc]backup-simplify:  Simplify y into y
1545126651.160 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.160 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126651.160 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.160 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.160 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.160 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.160 * [misc]backup-simplify:  Simplify z into z
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.160 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.160 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.160 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.160 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.160 * [misc]backup-simplify:  Simplify y into y
1545126651.160 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.160 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.160 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1545126651.160 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.160 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.160 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.160 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.160 * [misc]backup-simplify:  Simplify z into z
1545126651.160 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.160 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.160 * [misc]backup-simplify:  Simplify x into x
1545126651.160 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.160 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.160 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.161 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.161 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.161 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.161 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1545126651.161 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.161 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.161 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.161 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.161 * [misc]backup-simplify:  Simplify z into z
1545126651.161 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.161 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.161 * [misc]backup-simplify:  Simplify x into x
1545126651.161 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.161 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.161 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.161 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.161 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.161 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.161 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1545126651.161 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1545126651.161 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.161 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.161 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1545126651.161 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.161 * [misc]backup-simplify:  Simplify z into z
1545126651.161 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.161 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.161 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.161 * [misc]backup-simplify:  Simplify (/ z 1) into z
1545126651.161 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1545126651.161 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1545126651.161 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.161 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.161 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.161 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.161 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.162 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1545126651.162 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.162 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1545126651.162 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1545126651.162 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1545126651.162 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.162 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.162 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1545126651.162 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1545126651.162 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.162 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.162 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.163 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1545126651.163 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.163 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545126651.163 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1545126651.163 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1545126651.163 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.163 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.163 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.163 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.163 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.164 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.164 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1545126651.164 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.164 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.164 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.164 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.164 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545126651.164 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.164 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1545126651.164 * * * [misc]progress:  simplifying candidates
1545126651.164 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
1545126651.164 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
1545126651.164 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
1545126651.164 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
1545126651.164 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
1545126651.165 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
1545126651.165 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
1545126651.165 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
1545126651.165 * [enter]simplify:  Simplifying (cbrt (/ x z))
1545126651.165 * * [misc]simplify:  iters left: 3 (4 enodes)
1545126651.165 * [exit]simplify:  Simplified to (cbrt (/ x z))
1545126651.165 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
1545126651.165 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
1545126651.166 * [enter]simplify:  Simplifying (sqrt (/ x z))
1545126651.166 * * [misc]simplify:  iters left: 3 (4 enodes)
1545126651.166 * [exit]simplify:  Simplified to (sqrt (/ x z))
1545126651.166 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
1545126651.166 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
1545126651.166 * [enter]simplify:  Simplifying (/ x z)
1545126651.166 * * [misc]simplify:  iters left: 2 (3 enodes)
1545126651.167 * [exit]simplify:  Simplified to (/ x z)
1545126651.167 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
1545126651.167 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1545126651.167 * [enter]simplify:  Simplifying (/ 1 z)
1545126651.167 * * [misc]simplify:  iters left: 2 (3 enodes)
1545126651.167 * * [misc]simplify:  iters left: 1 (5 enodes)
1545126651.168 * [exit]simplify:  Simplified to (/ 1 z)
1545126651.168 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
1545126651.168 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1545126651.168 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1545126651.168 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.168 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.168 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.172 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.173 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.174 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.176 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.176 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.176 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.176 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.176 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.177 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.178 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.180 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.183 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.183 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.183 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.184 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.184 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.185 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.187 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.190 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.194 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.194 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.194 * * * [misc]progress:  adding candidates to table
1545126651.383 * * [misc]progress:  iteration 2 / 4
1545126651.384 * * * [misc]progress:  picking best candidate
1545126651.415 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.415 * * * [misc]progress:  localizing error
1545126651.425 * * * [misc]progress:  generating rewritten candidates
1545126651.425 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545126651.429 * * * [misc]progress:  generating series expansions
1545126651.429 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545126651.429 * [misc]backup-simplify:  Simplify (/ (* x y) z) into (/ (* x y) z)
1545126651.430 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
1545126651.430 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.430 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.430 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.430 * [misc]backup-simplify:  Simplify x into x
1545126651.430 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.430 * [misc]backup-simplify:  Simplify y into y
1545126651.430 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.430 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.430 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.430 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.430 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.430 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.430 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.430 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.430 * [misc]backup-simplify:  Simplify x into x
1545126651.430 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.430 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.430 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.430 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.430 * [misc]backup-simplify:  Simplify z into z
1545126651.430 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.431 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.431 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.431 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.431 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.431 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.431 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.431 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.431 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.431 * [misc]backup-simplify:  Simplify y into y
1545126651.431 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.431 * [misc]backup-simplify:  Simplify z into z
1545126651.431 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.431 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.431 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.431 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.431 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.431 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.431 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.431 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.431 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.431 * [misc]backup-simplify:  Simplify y into y
1545126651.431 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.431 * [misc]backup-simplify:  Simplify z into z
1545126651.431 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.432 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.432 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.432 * [misc]taylor:  Taking taylor expansion of (/ y z) in y
1545126651.432 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.432 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.432 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.432 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.432 * [misc]backup-simplify:  Simplify z into z
1545126651.432 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1545126651.432 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1545126651.432 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.432 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.432 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.432 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545126651.432 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.432 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.433 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1545126651.433 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.433 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.433 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.433 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.433 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1545126651.433 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.433 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.433 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545126651.433 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.434 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.434 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.434 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.434 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.435 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.435 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.435 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126651.435 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.435 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.435 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.435 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126651.436 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
1545126651.436 * [misc]backup-simplify:  Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
1545126651.436 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
1545126651.436 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.436 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.436 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.436 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.436 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.436 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.436 * [misc]backup-simplify:  Simplify x into x
1545126651.436 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.436 * [misc]backup-simplify:  Simplify y into y
1545126651.437 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.437 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.437 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.437 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.437 * [misc]backup-simplify:  Simplify z into z
1545126651.437 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.437 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.437 * [misc]backup-simplify:  Simplify x into x
1545126651.437 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.437 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.437 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.437 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.437 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.437 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.437 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.437 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.437 * [misc]backup-simplify:  Simplify z into z
1545126651.437 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.437 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.437 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.437 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.437 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.437 * [misc]backup-simplify:  Simplify y into y
1545126651.437 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.438 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.438 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.438 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.438 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.438 * [misc]backup-simplify:  Simplify z into z
1545126651.438 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.438 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.438 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.438 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.438 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.438 * [misc]backup-simplify:  Simplify y into y
1545126651.438 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.438 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.438 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.438 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1545126651.438 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.438 * [misc]backup-simplify:  Simplify z into z
1545126651.438 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.438 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.438 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.438 * [misc]backup-simplify:  Simplify (/ z 1) into z
1545126651.438 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.438 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.438 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.438 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.439 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.439 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1545126651.439 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.439 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.439 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1545126651.439 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.439 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.439 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.439 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.440 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.440 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.440 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.440 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.440 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.440 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.440 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.441 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.441 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.441 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.441 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.441 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.441 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.441 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
1545126651.441 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
1545126651.441 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
1545126651.442 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1545126651.442 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.442 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.442 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.442 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.442 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.442 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.442 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.442 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.442 * [misc]backup-simplify:  Simplify x into x
1545126651.442 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.442 * [misc]backup-simplify:  Simplify y into y
1545126651.442 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.442 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.442 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1545126651.442 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.442 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.442 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.442 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.442 * [misc]backup-simplify:  Simplify z into z
1545126651.442 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.442 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.442 * [misc]backup-simplify:  Simplify x into x
1545126651.442 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.442 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.442 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.442 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.442 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.442 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.443 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.443 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.443 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.443 * [misc]backup-simplify:  Simplify z into z
1545126651.443 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.443 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.443 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.443 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.443 * [misc]backup-simplify:  Simplify y into y
1545126651.443 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.443 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.443 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.443 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.443 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.443 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.443 * [misc]backup-simplify:  Simplify z into z
1545126651.443 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.443 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.443 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.443 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.443 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.443 * [misc]backup-simplify:  Simplify y into y
1545126651.443 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.444 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.444 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.444 * [misc]backup-simplify:  Simplify (* -1 (/ z y)) into (* -1 (/ z y))
1545126651.444 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in y
1545126651.444 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.444 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.444 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1545126651.444 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.444 * [misc]backup-simplify:  Simplify z into z
1545126651.444 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.444 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.444 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.444 * [misc]backup-simplify:  Simplify (/ z 1) into z
1545126651.444 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1545126651.444 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1545126651.444 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.444 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.444 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.444 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.444 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.444 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1545126651.444 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.445 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.445 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1545126651.445 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
1545126651.445 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.445 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.445 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1545126651.446 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1545126651.446 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.446 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.446 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.446 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1545126651.446 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.446 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.447 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.447 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
1545126651.447 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.447 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.447 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.447 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.447 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.448 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.448 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1545126651.448 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126651.448 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.448 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.448 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.448 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1545126651.448 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.449 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
1545126651.449 * * * [misc]progress:  simplifying candidates
1545126651.449 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1545126651.449 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* x y) z))))>
1545126651.449 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* x y) z))))>
1545126651.449 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>
1545126651.449 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))))>
1545126651.449 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))>
1545126651.449 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* x y)) (- z)))>
1545126651.449 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
1545126651.449 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* x y) (/ 1 z)))>
1545126651.449 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1545126651.449 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ x (/ z y)))>
1545126651.449 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.449 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.449 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.451 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.453 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.455 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.458 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.458 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.458 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.459 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.459 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.460 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.462 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.464 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.468 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.468 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.468 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.468 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.468 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.470 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.472 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.475 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.478 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.478 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.478 * * * [misc]progress:  adding candidates to table
1545126651.650 * * [misc]progress:  iteration 3 / 4
1545126651.650 * * * [misc]progress:  picking best candidate
1545126651.670 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1545126651.671 * * * [misc]progress:  localizing error
1545126651.682 * * * [misc]progress:  generating rewritten candidates
1545126651.682 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1545126651.686 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545126651.694 * * * [misc]progress:  generating series expansions
1545126651.694 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1545126651.694 * [misc]backup-simplify:  Simplify (/ z (* x y)) into (/ z (* x y))
1545126651.694 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
1545126651.694 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.694 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.694 * [misc]backup-simplify:  Simplify z into z
1545126651.694 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.694 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.694 * [misc]backup-simplify:  Simplify x into x
1545126651.694 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.694 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.694 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.695 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.695 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.695 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.695 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.695 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.695 * [misc]backup-simplify:  Simplify z into z
1545126651.695 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.695 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.695 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.695 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.695 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.695 * [misc]backup-simplify:  Simplify y into y
1545126651.695 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.696 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.696 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.696 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.696 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.696 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.696 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.696 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.696 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.696 * [misc]backup-simplify:  Simplify x into x
1545126651.696 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.696 * [misc]backup-simplify:  Simplify y into y
1545126651.696 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.696 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.696 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.696 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.696 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.696 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.696 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.696 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.696 * [misc]backup-simplify:  Simplify x into x
1545126651.696 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.696 * [misc]backup-simplify:  Simplify y into y
1545126651.696 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.697 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.697 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in x
1545126651.697 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.697 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.697 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.697 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.697 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.697 * [misc]backup-simplify:  Simplify y into y
1545126651.697 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.697 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.697 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1545126651.697 * [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
1545126651.697 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.697 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.697 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.698 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545126651.698 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.698 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.698 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1545126651.698 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.698 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.698 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.698 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1545126651.699 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.699 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.699 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545126651.699 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.699 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.699 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.699 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.700 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.700 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.700 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.700 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.700 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.700 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.700 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.700 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.701 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.701 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.702 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.702 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.702 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.702 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.702 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.702 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.702 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.703 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126651.703 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.703 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.703 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.703 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.703 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.703 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.703 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y))
1545126651.704 * [misc]backup-simplify:  Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z)
1545126651.704 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
1545126651.704 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.704 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.704 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.704 * [misc]backup-simplify:  Simplify x into x
1545126651.704 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.704 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.704 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.704 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.704 * [misc]backup-simplify:  Simplify z into z
1545126651.704 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.704 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.704 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.704 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.704 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.704 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.704 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.704 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.704 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.704 * [misc]backup-simplify:  Simplify y into y
1545126651.704 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.705 * [misc]backup-simplify:  Simplify z into z
1545126651.705 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.705 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.705 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.705 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.705 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.705 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.705 * [misc]backup-simplify:  Simplify x into x
1545126651.705 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.705 * [misc]backup-simplify:  Simplify y into y
1545126651.705 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.705 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.705 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.705 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.705 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.705 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.705 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.705 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.705 * [misc]backup-simplify:  Simplify x into x
1545126651.705 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.705 * [misc]backup-simplify:  Simplify y into y
1545126651.705 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.706 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.706 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.706 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.706 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.706 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.706 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.706 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.706 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.706 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.706 * [misc]backup-simplify:  Simplify y into y
1545126651.706 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.706 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.706 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.706 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.706 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.706 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.707 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1545126651.707 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.707 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.707 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.707 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.707 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.707 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.707 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.707 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.707 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.708 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.708 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.708 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.708 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.708 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.708 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.708 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.708 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.709 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.709 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.709 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.709 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.709 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.709 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.709 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.709 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y))
1545126651.710 * [misc]backup-simplify:  Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z))
1545126651.710 * [misc]approximate:  Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
1545126651.710 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in y
1545126651.710 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.710 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.710 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.710 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.710 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.710 * [misc]backup-simplify:  Simplify x into x
1545126651.710 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.710 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.710 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.710 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.710 * [misc]backup-simplify:  Simplify z into z
1545126651.710 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.710 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.710 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.710 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in x
1545126651.710 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.711 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.711 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.711 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.711 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.711 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.711 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.711 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.711 * [misc]backup-simplify:  Simplify y into y
1545126651.711 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.711 * [misc]backup-simplify:  Simplify z into z
1545126651.711 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.711 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.711 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.711 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in z
1545126651.711 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.711 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.711 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.711 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.711 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.711 * [misc]backup-simplify:  Simplify x into x
1545126651.711 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.711 * [misc]backup-simplify:  Simplify y into y
1545126651.711 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.711 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.711 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.712 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.712 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.712 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in z
1545126651.712 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.712 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.712 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.712 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.712 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.712 * [misc]backup-simplify:  Simplify x into x
1545126651.712 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.712 * [misc]backup-simplify:  Simplify y into y
1545126651.712 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.712 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.712 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.712 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.712 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.712 * [misc]backup-simplify:  Simplify (* -1 (* x y)) into (* -1 (* x y))
1545126651.712 * [misc]taylor:  Taking taylor expansion of (* -1 (* x y)) in x
1545126651.712 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.712 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.712 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.712 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.712 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.712 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.713 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.713 * [misc]backup-simplify:  Simplify y into y
1545126651.713 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.713 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.713 * [misc]backup-simplify:  Simplify (+ (* -1 y) (* 0 0)) into (- y)
1545126651.713 * [misc]taylor:  Taking taylor expansion of (- y) in y
1545126651.713 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.713 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.713 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.713 * [misc]backup-simplify:  Simplify (- 1) into -1
1545126651.713 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.713 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.714 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1545126651.714 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (* x y))) into 0
1545126651.714 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.714 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.714 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.714 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.714 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.714 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.715 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0
1545126651.715 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.715 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.715 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.715 * [misc]backup-simplify:  Simplify (- 0) into 0
1545126651.715 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.715 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.716 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.716 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
1545126651.716 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.716 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.716 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.716 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.716 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.716 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.716 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.716 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.717 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.717 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
1545126651.717 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.717 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.717 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.717 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
1545126651.717 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545126651.718 * [misc]backup-simplify:  Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z)
1545126651.718 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
1545126651.718 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126651.718 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.718 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.718 * [misc]backup-simplify:  Simplify x into x
1545126651.718 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.718 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.718 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.718 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.718 * [misc]backup-simplify:  Simplify z into z
1545126651.718 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.718 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.718 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126651.718 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126651.718 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.718 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.718 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.718 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.718 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.718 * [misc]backup-simplify:  Simplify y into y
1545126651.718 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.718 * [misc]backup-simplify:  Simplify z into z
1545126651.718 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.719 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.719 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126651.719 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.719 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.719 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.719 * [misc]backup-simplify:  Simplify x into x
1545126651.719 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.719 * [misc]backup-simplify:  Simplify y into y
1545126651.719 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.719 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.719 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.719 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.719 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.719 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126651.719 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.719 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.719 * [misc]backup-simplify:  Simplify x into x
1545126651.719 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.719 * [misc]backup-simplify:  Simplify y into y
1545126651.719 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.719 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.719 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.719 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.719 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126651.719 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.719 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.720 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.720 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.720 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.720 * [misc]backup-simplify:  Simplify y into y
1545126651.720 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.720 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.720 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.720 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.720 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.720 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.720 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1545126651.720 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.720 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.720 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.720 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.720 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.721 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.721 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.721 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.721 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.721 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.721 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.722 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.722 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.722 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.722 * [misc]backup-simplify:  Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
1545126651.723 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y))
1545126651.723 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
1545126651.723 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.723 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.723 * [misc]backup-simplify:  Simplify z into z
1545126651.723 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.723 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.723 * [misc]backup-simplify:  Simplify x into x
1545126651.723 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.723 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.723 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.723 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.723 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.723 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.723 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.723 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.723 * [misc]backup-simplify:  Simplify z into z
1545126651.723 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.723 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.723 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.723 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.723 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.723 * [misc]backup-simplify:  Simplify y into y
1545126651.724 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.724 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.724 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.724 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.724 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.724 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.724 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.724 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.724 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.724 * [misc]backup-simplify:  Simplify x into x
1545126651.724 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.724 * [misc]backup-simplify:  Simplify y into y
1545126651.724 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.724 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.724 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.724 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.724 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.724 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.724 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.724 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.724 * [misc]backup-simplify:  Simplify x into x
1545126651.724 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.724 * [misc]backup-simplify:  Simplify y into y
1545126651.724 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.724 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.725 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in x
1545126651.725 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.725 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.725 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.725 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.725 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.725 * [misc]backup-simplify:  Simplify y into y
1545126651.725 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.725 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.725 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1545126651.725 * [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
1545126651.725 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.725 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.725 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.725 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545126651.725 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.725 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.726 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1545126651.726 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.726 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.726 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.726 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1545126651.726 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.726 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.726 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545126651.726 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.727 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.727 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.727 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.727 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.727 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.727 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.727 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.728 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.729 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.729 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.729 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.729 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.729 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.730 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.730 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.730 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.730 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.730 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.730 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.730 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.730 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.731 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126651.731 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.731 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.731 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.731 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.731 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.731 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.732 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
1545126651.732 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y)))
1545126651.732 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
1545126651.732 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1545126651.732 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.732 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.732 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126651.732 * [misc]taylor:  Taking taylor expansion of z in y
1545126651.732 * [misc]backup-simplify:  Simplify z into z
1545126651.732 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126651.732 * [misc]taylor:  Taking taylor expansion of x in y
1545126651.732 * [misc]backup-simplify:  Simplify x into x
1545126651.732 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.732 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.732 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.732 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126651.733 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126651.733 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126651.733 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126651.733 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.733 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.733 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126651.733 * [misc]taylor:  Taking taylor expansion of z in x
1545126651.733 * [misc]backup-simplify:  Simplify z into z
1545126651.733 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.733 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.733 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.733 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.733 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.733 * [misc]backup-simplify:  Simplify y into y
1545126651.733 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.733 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.733 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126651.733 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1545126651.733 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.733 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.733 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.733 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.733 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.734 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.734 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.734 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.734 * [misc]backup-simplify:  Simplify x into x
1545126651.734 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.734 * [misc]backup-simplify:  Simplify y into y
1545126651.734 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.734 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.734 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1545126651.734 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126651.734 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.734 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126651.734 * [misc]taylor:  Taking taylor expansion of z in z
1545126651.734 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.734 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.734 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126651.734 * [misc]taylor:  Taking taylor expansion of x in z
1545126651.734 * [misc]backup-simplify:  Simplify x into x
1545126651.734 * [misc]taylor:  Taking taylor expansion of y in z
1545126651.734 * [misc]backup-simplify:  Simplify y into y
1545126651.734 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126651.734 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126651.734 * [misc]backup-simplify:  Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
1545126651.734 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x y)) in x
1545126651.734 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126651.735 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.735 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126651.735 * [misc]taylor:  Taking taylor expansion of x in x
1545126651.735 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.735 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.735 * [misc]taylor:  Taking taylor expansion of y in x
1545126651.735 * [misc]backup-simplify:  Simplify y into y
1545126651.735 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126651.735 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126651.735 * [misc]backup-simplify:  Simplify (/ -1 y) into (/ -1 y)
1545126651.735 * [misc]taylor:  Taking taylor expansion of (/ -1 y) in y
1545126651.735 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126651.735 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.735 * [misc]taylor:  Taking taylor expansion of y in y
1545126651.735 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.735 * [misc]backup-simplify:  Simplify 1 into 1
1545126651.735 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545126651.735 * [misc]backup-simplify:  Simplify -1 into -1
1545126651.736 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1545126651.736 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1545126651.736 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
1545126651.736 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.736 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.736 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126651.737 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1545126651.737 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.737 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.737 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545126651.737 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.737 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1545126651.738 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.738 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
1545126651.738 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.738 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.738 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.738 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.739 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.739 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.739 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.739 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.739 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.739 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126651.739 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.740 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1545126651.740 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1545126651.740 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
1545126651.741 * [misc]taylor:  Taking taylor expansion of 0 in x
1545126651.741 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.741 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.741 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.741 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.741 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.741 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126651.742 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126651.742 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126651.742 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.742 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.742 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.742 * [misc]backup-simplify:  Simplify 0 into 0
1545126651.742 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
1545126651.742 * * * [misc]progress:  simplifying candidates
1545126651.742 * * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (pow (/ z (* x y)) 1)))>
1545126651.742 * * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (exp (log (/ z (* x y))))))>
1545126651.742 * * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (log (exp (/ z (* x y))))))>
1545126651.742 * * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))))))>
1545126651.742 * * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (cbrt (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))))>
1545126651.742 * * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (sqrt (/ z (* x y))) (sqrt (/ z (* x y))))))>
1545126651.742 * * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (- z) (- (* x y)))))>
1545126651.742 * * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* 1 (/ z (* x y)))))>
1545126651.743 * * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* z (/ 1 (* x y)))))>
1545126651.743 * * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ 1 (/ (* x y) z))))>
1545126651.743 * * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>
1545126651.743 * * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ z (* x y)) -1))>
1545126651.743 * * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ z (* x y)) (- 1)))>
1545126651.743 * [enter]simplify:  Simplifying (- 1)
1545126651.743 * * [misc]simplify:  iters left: 2 (2 enodes)
1545126651.744 * * [misc]simplify:  iters left: 1 (5 enodes)
1545126651.745 * [exit]simplify:  Simplified to -1
1545126651.745 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (pow (/ z (* x y)) -1))
1545126651.745 * * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))>
1545126651.746 * * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt (λ (x y z t) (exp (- (log (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ 1 (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ 1 (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 18 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y))))))>
1545126651.746 * * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (- 1) (- (/ z (* x y)))))>
1545126651.746 * * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>
1545126651.746 * * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>
1545126651.746 * * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z (* x y)) 1)))>
1545126651.746 * * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (cbrt (/ z (* x y)))))>
1545126651.746 * [enter]simplify:  Simplifying (cbrt (/ z (* x y)))
1545126651.747 * * [misc]simplify:  iters left: 5 (6 enodes)
1545126651.748 * * [misc]simplify:  iters left: 4 (9 enodes)
1545126651.751 * [exit]simplify:  Simplified to (cbrt (/ z (* y x)))
1545126651.751 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (cbrt (/ z (* y x)))))
1545126651.751 * * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (sqrt (/ z (* x y)))) (sqrt (/ z (* x y)))))>
1545126651.751 * [enter]simplify:  Simplifying (sqrt (/ z (* x y)))
1545126651.751 * * [misc]simplify:  iters left: 5 (6 enodes)
1545126651.753 * * [misc]simplify:  iters left: 4 (9 enodes)
1545126651.756 * [exit]simplify:  Simplified to (sqrt (/ z (* y x)))
1545126651.756 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (sqrt (/ z (* x y)))) (sqrt (/ z (* y x)))))
1545126651.756 * * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 1) (/ z (* x y))))>
1545126651.756 * [enter]simplify:  Simplifying (/ z (* x y))
1545126651.756 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.758 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.760 * [exit]simplify:  Simplified to (/ z (* y x))
1545126651.760 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 1) (/ z (* y x))))
1545126651.760 * * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 z) (/ 1 (* x y))))>
1545126651.761 * [enter]simplify:  Simplifying (/ 1 (* x y))
1545126651.761 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.763 * * [misc]simplify:  iters left: 3 (10 enodes)
1545126651.765 * [exit]simplify:  Simplified to (/ 1 (* y x))
1545126651.765 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 z) (/ 1 (* y x))))
1545126651.765 * * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* (/ 1 z) (* x y)))>
1545126651.766 * [enter]simplify:  Simplifying (* x y)
1545126651.766 * * [misc]simplify:  iters left: 2 (3 enodes)
1545126651.767 * * [misc]simplify:  iters left: 1 (4 enodes)
1545126651.768 * [exit]simplify:  Simplified to (* x y)
1545126651.768 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (/ 1 z) (* x y)))
1545126651.768 * * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1545126651.768 * [enter]simplify:  Simplifying (/ z (* x y))
1545126651.768 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.770 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.772 * [exit]simplify:  Simplified to (/ z (* y x))
1545126651.772 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1545126651.772 * * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1545126651.772 * [enter]simplify:  Simplifying (/ z (* x y))
1545126651.772 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.774 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.776 * [exit]simplify:  Simplified to (/ z (* y x))
1545126651.776 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1545126651.776 * * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1545126651.776 * [enter]simplify:  Simplifying (/ z (* x y))
1545126651.776 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.778 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.780 * [exit]simplify:  Simplified to (/ z (* y x))
1545126651.780 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1545126651.780 * * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.780 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.780 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.782 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.784 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.790 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.793 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.793 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.793 * * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.794 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.794 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.795 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.797 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.800 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.804 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.804 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.804 * * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126651.804 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126651.804 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126651.806 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126651.808 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126651.810 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126651.814 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126651.814 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126651.814 * * * [misc]progress:  adding candidates to table
1545126652.207 * * [misc]progress:  iteration 4 / 4
1545126652.207 * * * [misc]progress:  picking best candidate
1545126652.215 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ x (/ z y)))>
1545126652.215 * * * [misc]progress:  localizing error
1545126652.221 * * * [misc]progress:  generating rewritten candidates
1545126652.221 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545126652.223 * * * [misc]progress:  generating series expansions
1545126652.223 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545126652.223 * [misc]backup-simplify:  Simplify (/ x (/ z y)) into (/ (* x y) z)
1545126652.223 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
1545126652.223 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1545126652.223 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126652.223 * [misc]taylor:  Taking taylor expansion of x in y
1545126652.223 * [misc]backup-simplify:  Simplify x into x
1545126652.223 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.223 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.223 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.223 * [misc]taylor:  Taking taylor expansion of z in y
1545126652.223 * [misc]backup-simplify:  Simplify z into z
1545126652.224 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126652.224 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126652.224 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1545126652.224 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1545126652.224 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126652.224 * [misc]taylor:  Taking taylor expansion of x in z
1545126652.224 * [misc]backup-simplify:  Simplify x into x
1545126652.224 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.224 * [misc]backup-simplify:  Simplify y into y
1545126652.224 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.224 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.224 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.224 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126652.224 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1545126652.224 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126652.224 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.224 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.224 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.224 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.224 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.224 * [misc]backup-simplify:  Simplify y into y
1545126652.224 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.224 * [misc]backup-simplify:  Simplify z into z
1545126652.224 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.224 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.224 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126652.224 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1545126652.224 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.225 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.225 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.225 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.225 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.225 * [misc]backup-simplify:  Simplify y into y
1545126652.225 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.225 * [misc]backup-simplify:  Simplify z into z
1545126652.225 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.225 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.225 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1545126652.225 * [misc]taylor:  Taking taylor expansion of (/ y z) in z
1545126652.225 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.225 * [misc]backup-simplify:  Simplify y into y
1545126652.225 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.225 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.225 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.225 * [misc]backup-simplify:  Simplify (/ y 1) into y
1545126652.225 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.225 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.225 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.225 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.225 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126652.225 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1545126652.225 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
1545126652.226 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126652.226 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1545126652.226 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.226 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126652.227 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
1545126652.227 * [misc]backup-simplify:  Simplify (/ (/ 1 x) (/ (/ 1 z) (/ 1 y))) into (/ z (* x y))
1545126652.227 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
1545126652.227 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126652.227 * [misc]taylor:  Taking taylor expansion of z in y
1545126652.227 * [misc]backup-simplify:  Simplify z into z
1545126652.227 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126652.227 * [misc]taylor:  Taking taylor expansion of x in y
1545126652.227 * [misc]backup-simplify:  Simplify x into x
1545126652.227 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.227 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126652.227 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126652.227 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126652.227 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126652.227 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.227 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.227 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.227 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126652.227 * [misc]taylor:  Taking taylor expansion of x in z
1545126652.228 * [misc]backup-simplify:  Simplify x into x
1545126652.228 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.228 * [misc]backup-simplify:  Simplify y into y
1545126652.228 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126652.228 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126652.228 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126652.228 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.228 * [misc]backup-simplify:  Simplify z into z
1545126652.228 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.228 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.228 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.228 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.228 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.228 * [misc]backup-simplify:  Simplify y into y
1545126652.228 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.228 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.228 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126652.228 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126652.228 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.228 * [misc]backup-simplify:  Simplify z into z
1545126652.228 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.228 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.228 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.228 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.228 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.228 * [misc]backup-simplify:  Simplify y into y
1545126652.228 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.229 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.229 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126652.229 * [misc]taylor:  Taking taylor expansion of (/ z y) in z
1545126652.229 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.229 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.229 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.229 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.229 * [misc]backup-simplify:  Simplify y into y
1545126652.229 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1545126652.229 * [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
1545126652.229 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.229 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.229 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.229 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545126652.229 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.229 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126652.229 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1545126652.229 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.229 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.229 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.229 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.229 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
1545126652.230 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126652.230 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.230 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.230 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.230 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126652.231 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.231 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.231 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.231 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.231 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.232 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.232 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.232 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
1545126652.232 * [misc]backup-simplify:  Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (* x y)))
1545126652.232 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
1545126652.232 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1545126652.232 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126652.232 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.232 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1545126652.232 * [misc]taylor:  Taking taylor expansion of z in y
1545126652.232 * [misc]backup-simplify:  Simplify z into z
1545126652.232 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1545126652.232 * [misc]taylor:  Taking taylor expansion of x in y
1545126652.232 * [misc]backup-simplify:  Simplify x into x
1545126652.232 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.232 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.232 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.232 * [misc]backup-simplify:  Simplify (* x 0) into 0
1545126652.232 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1545126652.232 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1545126652.232 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1545126652.232 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126652.232 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.232 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1545126652.232 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.232 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.232 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.232 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1545126652.232 * [misc]taylor:  Taking taylor expansion of x in z
1545126652.232 * [misc]backup-simplify:  Simplify x into x
1545126652.232 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.232 * [misc]backup-simplify:  Simplify y into y
1545126652.232 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1545126652.232 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1545126652.232 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126652.232 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126652.233 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.233 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126652.233 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.233 * [misc]backup-simplify:  Simplify z into z
1545126652.233 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.233 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.233 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.233 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.233 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.233 * [misc]backup-simplify:  Simplify y into y
1545126652.233 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.233 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.233 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126652.233 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1545126652.233 * [misc]taylor:  Taking taylor expansion of -1 in x
1545126652.233 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.233 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1545126652.233 * [misc]taylor:  Taking taylor expansion of z in x
1545126652.233 * [misc]backup-simplify:  Simplify z into z
1545126652.233 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1545126652.233 * [misc]taylor:  Taking taylor expansion of x in x
1545126652.233 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.233 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.233 * [misc]taylor:  Taking taylor expansion of y in x
1545126652.233 * [misc]backup-simplify:  Simplify y into y
1545126652.233 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1545126652.233 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1545126652.233 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1545126652.233 * [misc]backup-simplify:  Simplify (* -1 (/ z y)) into (* -1 (/ z y))
1545126652.233 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in z
1545126652.233 * [misc]taylor:  Taking taylor expansion of -1 in z
1545126652.233 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.233 * [misc]taylor:  Taking taylor expansion of (/ z y) in z
1545126652.233 * [misc]taylor:  Taking taylor expansion of z in z
1545126652.233 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.233 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.233 * [misc]taylor:  Taking taylor expansion of y in z
1545126652.233 * [misc]backup-simplify:  Simplify y into y
1545126652.233 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1545126652.234 * [misc]backup-simplify:  Simplify (* -1 (/ 1 y)) into (/ -1 y)
1545126652.234 * [misc]taylor:  Taking taylor expansion of (/ -1 y) in y
1545126652.234 * [misc]taylor:  Taking taylor expansion of -1 in y
1545126652.234 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.234 * [misc]taylor:  Taking taylor expansion of y in y
1545126652.234 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.234 * [misc]backup-simplify:  Simplify 1 into 1
1545126652.234 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545126652.234 * [misc]backup-simplify:  Simplify -1 into -1
1545126652.234 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1545126652.234 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1545126652.234 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
1545126652.234 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.234 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.234 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.234 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.234 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
1545126652.235 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
1545126652.235 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.235 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.235 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545126652.235 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.235 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1545126652.235 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.235 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
1545126652.235 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.235 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.235 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.235 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.236 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.236 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.236 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.236 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1545126652.236 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.236 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.236 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.236 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.236 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545126652.236 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.237 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1545126652.237 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.237 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
1545126652.237 * [misc]taylor:  Taking taylor expansion of 0 in z
1545126652.237 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.237 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.237 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.237 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.237 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.237 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.237 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.237 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1545126652.238 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1545126652.238 * [misc]taylor:  Taking taylor expansion of 0 in y
1545126652.238 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.238 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.238 * [misc]backup-simplify:  Simplify 0 into 0
1545126652.238 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
1545126652.238 * * * [misc]progress:  simplifying candidates
1545126652.238 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ x (/ z y)) 1))>
1545126652.238 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ x (/ z y)))))>
1545126652.238 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ x (/ z y)))))>
1545126652.238 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y)))) (cbrt (/ x (/ z y)))))>
1545126652.238 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))))>
1545126652.238 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ x (/ z y))) (sqrt (/ x (/ z y)))))>
1545126652.238 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (- x) (- (/ z y))))>
1545126652.238 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ x (/ z y))))>
1545126652.238 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* x (/ 1 (/ z y))))>
1545126652.238 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z y) x)))>
1545126652.238 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))>
1545126652.238 * [enter]simplify:  Simplifying (cbrt (/ z y))
1545126652.238 * * [misc]simplify:  iters left: 3 (4 enodes)
1545126652.239 * [exit]simplify:  Simplified to (cbrt (/ z y))
1545126652.239 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))
1545126652.239 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x (sqrt (/ z y))) (sqrt (/ z y))))>
1545126652.239 * [enter]simplify:  Simplifying (sqrt (/ z y))
1545126652.239 * * [misc]simplify:  iters left: 3 (4 enodes)
1545126652.240 * [exit]simplify:  Simplified to (sqrt (/ z y))
1545126652.240 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x (sqrt (/ z y))) (sqrt (/ z y))))
1545126652.240 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x 1) (/ z y)))>
1545126652.240 * [enter]simplify:  Simplifying (/ z y)
1545126652.240 * * [misc]simplify:  iters left: 2 (3 enodes)
1545126652.241 * [exit]simplify:  Simplified to (/ z y)
1545126652.241 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x 1) (/ z y)))
1545126652.241 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ x z) (/ 1 y)))>
1545126652.241 * [enter]simplify:  Simplifying (/ 1 y)
1545126652.241 * * [misc]simplify:  iters left: 2 (3 enodes)
1545126652.241 * * [misc]simplify:  iters left: 1 (5 enodes)
1545126652.242 * [exit]simplify:  Simplified to (/ 1 y)
1545126652.242 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ x z) (/ 1 y)))
1545126652.242 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1545126652.242 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126652.242 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126652.242 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126652.243 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126652.244 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126652.245 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126652.247 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126652.247 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126652.247 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126652.247 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126652.247 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126652.248 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126652.249 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126652.250 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126652.252 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126652.252 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126652.252 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1545126652.252 * [enter]simplify:  Simplifying (/ (* x y) z)
1545126652.252 * * [misc]simplify:  iters left: 4 (5 enodes)
1545126652.253 * * [misc]simplify:  iters left: 3 (8 enodes)
1545126652.254 * * [misc]simplify:  iters left: 2 (10 enodes)
1545126652.255 * * [misc]simplify:  iters left: 1 (13 enodes)
1545126652.257 * [exit]simplify:  Simplified to (/ y (/ z x))
1545126652.257 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1545126652.257 * * * [misc]progress:  adding candidates to table
1545126652.439 * [misc]progress:  [Phase 3 of 3] Extracting.
1545126652.439 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.440 * * * [misc]regime-changes:  Trying 7 branch expressions: (t z y (/ y z) (/ (* (/ y z) t) t) x (* x (/ (* (/ y z) t) t)))
1545126652.440 * * * * [misc]regimes:  Trying to branch on t from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.530 * * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.605 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.681 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.766 * * * * [misc]regimes:  Trying to branch on (/ (* (/ y z) t) t) from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.865 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126652.969 * * * * [misc]regimes:  Trying to branch on (* x (/ (* (/ y z) t) t)) from (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126653.053 * * * [misc]regime:  Found split indices: #<option (#s(si 5 7) #s(si 0 82) #s(si 5 147) #s(si 0 239) #s(si 6 256))>
1545126653.054 * [misc]binary-search:  Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126653.054 * [misc]regimes:  Found splitpoints: (#s(sp 5 (/ y z) -inf.0) #s(sp 0 (/ y z) -5.4132489706710926e-180) #s(sp 5 (/ y z) 1.16488912911734e-310) #s(sp 0 (/ y z) 1.397714304640237e+169) #s(sp 6 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))> #<alt (λ (x y z t) (/ (/ x (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))))> #<alt (λ (x y z t) (/ 1 (/ z (* x y))))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (/ (* x y) z))>)
1545126653.055 * [enter]simplify:  Simplifying (if (<= (/ y z) -inf.0) (* y (/ x z)) (if (<= (/ y z) -5.4132489706710926e-180) (/ x (/ z y)) (if (<= (/ y z) 1.16488912911734e-310) (* y (/ x z)) (if (<= (/ y z) 1.397714304640237e+169) (/ x (/ z y)) (/ (* x y) z)))))
1545126653.055 * * [misc]simplify:  iters left: 6 (22 enodes)
1545126653.057 * * [misc]simplify:  iters left: 5 (24 enodes)
1545126653.060 * [exit]simplify:  Simplified to (if (<= (/ y z) -inf.0) (* y (/ x z)) (if (<= (/ y z) -5.4132489706710926e-180) (/ x (/ z y)) (if (<= (/ y z) 1.16488912911734e-310) (* y (/ x z)) (if (<= (/ y z) 1.397714304640237e+169) (/ x (/ z y)) (/ (* x y) z)))))
1545126653.060 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545126656.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126656.209 * * * * [misc]points:  Sampling 1352 additional inputs, on iter 1 have 6648 / 8000
1545126657.001 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126657.002 * * * * [misc]points:  Sampling 211 additional inputs, on iter 2 have 7789 / 8000
1545126657.052 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126657.052 * * * * [misc]points:  Sampling 39 additional inputs, on iter 3 have 7961 / 8000
1545126657.066 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126657.066 * * * * [misc]points:  Sampling 7 additional inputs, on iter 4 have 7993 / 8000
1545126657.070 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126657.070 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7998 / 8000
1545126657.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545126657.072 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545126658.095 * [misc]regime-testing:  Baseline error score: 5.815827377043096
1545126658.095 * [misc]regime-testing:  End program error score: 0.49694242989726467
1545126658.097 * [misc]regime-testing:  Oracle error score: 0.013875