1544088416.637 * [misc]progress:  [Phase 1 of 3] Setting up.
1544088416.637 * * * [misc]progress:  [1/2] Preparing points
1544088416.637 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544088416.639 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544088416.640 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.641 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.641 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544088416.642 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.643 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.644 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544088416.645 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.646 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.648 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544088416.649 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.651 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.653 * * * * [misc]points:  Computing exacts for 256 points
1544088416.654 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.661 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.672 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088416.673 * * * * [misc]points:  Sampling 48 additional inputs, on iter 1 have 208 / 256
1544088416.674 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1544088416.675 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.676 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.677 * * * * [misc]points:  Computing exacts for 48 points
1544088416.678 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.681 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.683 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088416.684 * * * * [misc]points:  Sampling 8 additional inputs, on iter 2 have 248 / 256
1544088416.684 * * * * [misc]points:  Computing exacts for 8 points
1544088416.685 * * * * [misc]points:  Setting MPFR precision to 64
1544088416.686 * * * * [misc]points:  Setting MPFR precision to 320
1544088416.686 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088416.686 * * * * [exit]points:  Sampled 256 points with exact outputs
1544088416.687 * * * [misc]progress:  [2/2] Setting up program.
1544088416.692 * [misc]progress:  [Phase 2 of 3] Improving.
1544088416.692 * [enter]simplify:  Simplifying (* x (/ (* (/ y z) t) t))
1544088416.693 * * [misc]simplify:  iters left: 6 (8 enodes)
1544088416.695 * * [misc]simplify:  iters left: 5 (16 enodes)
1544088416.701 * * [misc]simplify:  iters left: 4 (38 enodes)
1544088416.714 * * [misc]simplify:  iters left: 3 (80 enodes)
1544088416.757 * * [misc]simplify:  iters left: 2 (239 enodes)
1544088417.118 * [exit]simplify:  Simplified to (* y (/ x z))
1544088417.124 * * [misc]progress:  iteration 1 / 4
1544088417.124 * * * [misc]progress:  picking best candidate
1544088417.129 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* y (/ x z)))>
1544088417.129 * * * [misc]progress:  localizing error
1544088417.136 * * * [misc]progress:  generating rewritten candidates
1544088417.136 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544088417.139 * * * [misc]progress:  generating series expansions
1544088417.139 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544088417.139 * [misc]backup-simplify:  Simplify (* y (/ x z)) into (/ (* x y) z)
1544088417.139 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1544088417.139 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088417.139 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.139 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.139 * [misc]backup-simplify:  Simplify x into x
1544088417.139 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.139 * [misc]backup-simplify:  Simplify y into y
1544088417.139 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.139 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.139 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.139 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.139 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088417.139 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088417.139 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.139 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.139 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.139 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.139 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.139 * [misc]backup-simplify:  Simplify y into y
1544088417.139 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.139 * [misc]backup-simplify:  Simplify z into z
1544088417.139 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.140 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.140 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088417.140 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088417.140 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.140 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.140 * [misc]backup-simplify:  Simplify x into x
1544088417.140 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.140 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.140 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.140 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.140 * [misc]backup-simplify:  Simplify z into z
1544088417.140 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.140 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.140 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088417.140 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088417.140 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.140 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.140 * [misc]backup-simplify:  Simplify x into x
1544088417.140 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.140 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.140 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.140 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.140 * [misc]backup-simplify:  Simplify z into z
1544088417.140 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.140 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.140 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088417.141 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1544088417.141 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.141 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.141 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.141 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.141 * [misc]backup-simplify:  Simplify z into z
1544088417.141 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544088417.141 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544088417.141 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.141 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.141 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.141 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088417.141 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.141 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.141 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1544088417.141 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.141 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.141 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.141 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.141 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544088417.141 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.141 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.142 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.142 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.142 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.142 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.142 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544088417.143 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.143 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1544088417.143 * [misc]backup-simplify:  Simplify (* (/ 1 y) (/ (/ 1 x) (/ 1 z))) into (/ z (* x y))
1544088417.143 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1544088417.143 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.144 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.144 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.144 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.144 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.144 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.144 * [misc]backup-simplify:  Simplify x into x
1544088417.144 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.144 * [misc]backup-simplify:  Simplify y into y
1544088417.144 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.144 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.144 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.144 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.144 * [misc]backup-simplify:  Simplify z into z
1544088417.144 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.144 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.144 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.144 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.144 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.144 * [misc]backup-simplify:  Simplify y into y
1544088417.144 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.144 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.144 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.144 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.144 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.144 * [misc]backup-simplify:  Simplify z into z
1544088417.144 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.144 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.144 * [misc]backup-simplify:  Simplify x into x
1544088417.144 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.144 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.144 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.144 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.144 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.145 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.145 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.145 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.145 * [misc]backup-simplify:  Simplify z into z
1544088417.145 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.145 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.145 * [misc]backup-simplify:  Simplify x into x
1544088417.145 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.145 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.145 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.145 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.145 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.145 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.145 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544088417.145 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.145 * [misc]backup-simplify:  Simplify z into z
1544088417.145 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.145 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.145 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.145 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.145 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.145 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.145 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.145 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.145 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.145 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544088417.145 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.145 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.146 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.146 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544088417.146 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.146 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.147 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1544088417.147 * [misc]backup-simplify:  Simplify (* (/ 1 (- y)) (/ (/ 1 (- x)) (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1544088417.147 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1544088417.147 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544088417.147 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.147 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.147 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.147 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.147 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.147 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.147 * [misc]backup-simplify:  Simplify x into x
1544088417.147 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.147 * [misc]backup-simplify:  Simplify y into y
1544088417.147 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.147 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.147 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544088417.147 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.147 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.147 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.147 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.147 * [misc]backup-simplify:  Simplify z into z
1544088417.147 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.147 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.147 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.147 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.147 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.147 * [misc]backup-simplify:  Simplify y into y
1544088417.147 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.148 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.148 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.148 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.148 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.148 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.148 * [misc]backup-simplify:  Simplify z into z
1544088417.148 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.148 * [misc]backup-simplify:  Simplify x into x
1544088417.148 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.148 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.148 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.148 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.148 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.148 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.148 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.148 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.148 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.148 * [misc]backup-simplify:  Simplify z into z
1544088417.148 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.148 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.148 * [misc]backup-simplify:  Simplify x into x
1544088417.148 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.148 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.148 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.148 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.148 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.148 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.149 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1544088417.149 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1544088417.149 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.149 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.149 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544088417.149 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.149 * [misc]backup-simplify:  Simplify z into z
1544088417.149 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.149 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.149 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.149 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.149 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544088417.149 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544088417.149 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.149 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.149 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.149 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.149 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.149 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088417.149 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.149 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.149 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544088417.150 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1544088417.150 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.150 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.150 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.150 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544088417.150 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.150 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.150 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.150 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.150 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.150 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.150 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544088417.151 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1544088417.151 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.151 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.151 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.151 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.151 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.151 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.151 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544088417.151 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.151 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.151 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.152 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.152 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.152 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.152 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1544088417.152 * * * [misc]progress:  simplifying candidates
1544088417.152 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x y z t) (pow (* y (/ x z)) 1))>
1544088417.152 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* y (/ x z)))))>
1544088417.152 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* y (/ x z)))))>
1544088417.152 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))>
1544088417.152 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* y (/ x z)) (* y (/ x z))) (* y (/ x z)))))>
1544088417.152 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* y (/ x z))) (sqrt (* y (/ x z)))))>
1544088417.152 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* y (/ x z))))>
1544088417.152 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))>
1544088417.152 * [enter]simplify:  Simplifying (cbrt (/ x z))
1544088417.152 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088417.153 * [exit]simplify:  Simplified to (cbrt (/ x z))
1544088417.153 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (* (cbrt (/ x z)) (cbrt (/ x z)))) (cbrt (/ x z))))
1544088417.153 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))>
1544088417.153 * [enter]simplify:  Simplifying (sqrt (/ x z))
1544088417.153 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088417.154 * [exit]simplify:  Simplified to (sqrt (/ x z))
1544088417.154 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y (sqrt (/ x z))) (sqrt (/ x z))))
1544088417.154 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y 1) (/ x z)))>
1544088417.154 * [enter]simplify:  Simplifying (/ x z)
1544088417.154 * * [misc]simplify:  iters left: 2 (3 enodes)
1544088417.155 * [exit]simplify:  Simplified to (/ x z)
1544088417.155 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y 1) (/ x z)))
1544088417.155 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1544088417.155 * [enter]simplify:  Simplifying (/ 1 z)
1544088417.155 * * [misc]simplify:  iters left: 2 (3 enodes)
1544088417.156 * * [misc]simplify:  iters left: 1 (5 enodes)
1544088417.157 * [exit]simplify:  Simplified to (/ 1 z)
1544088417.157 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* y x) (/ 1 z)))
1544088417.157 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1544088417.157 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x y z t) (* (/ x z) y))>
1544088417.157 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.157 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.157 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.159 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.162 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.165 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.169 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.169 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.169 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.169 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.169 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.171 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.173 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.177 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.181 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.181 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.181 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.181 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.181 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.183 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.185 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.188 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.192 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.192 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.192 * * * [misc]progress:  adding candidates to table
1544088417.358 * * [misc]progress:  iteration 2 / 4
1544088417.358 * * * [misc]progress:  picking best candidate
1544088417.384 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.384 * * * [misc]progress:  localizing error
1544088417.390 * * * [misc]progress:  generating rewritten candidates
1544088417.390 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544088417.392 * * * [misc]progress:  generating series expansions
1544088417.392 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544088417.392 * [misc]backup-simplify:  Simplify (/ (* x y) z) into (/ (* x y) z)
1544088417.392 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
1544088417.392 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088417.392 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.392 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.392 * [misc]backup-simplify:  Simplify x into x
1544088417.392 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.392 * [misc]backup-simplify:  Simplify y into y
1544088417.392 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.392 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.392 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.392 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.392 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088417.392 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088417.392 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.392 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.392 * [misc]backup-simplify:  Simplify x into x
1544088417.393 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.393 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.393 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.393 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.393 * [misc]backup-simplify:  Simplify z into z
1544088417.393 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.393 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.393 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088417.393 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088417.393 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.393 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.393 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.393 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.393 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.393 * [misc]backup-simplify:  Simplify y into y
1544088417.393 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.393 * [misc]backup-simplify:  Simplify z into z
1544088417.393 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.393 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.393 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088417.393 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088417.393 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.393 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.393 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.393 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.393 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.393 * [misc]backup-simplify:  Simplify y into y
1544088417.393 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.393 * [misc]backup-simplify:  Simplify z into z
1544088417.393 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.394 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.394 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088417.394 * [misc]taylor:  Taking taylor expansion of (/ y z) in y
1544088417.394 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.394 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.394 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.394 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.394 * [misc]backup-simplify:  Simplify z into z
1544088417.394 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544088417.394 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544088417.394 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.394 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.394 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.394 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088417.394 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.394 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088417.394 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
1544088417.394 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.394 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544088417.395 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088417.395 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.395 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.395 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.395 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.396 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544088417.396 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.396 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.396 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.396 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.397 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
1544088417.397 * [misc]backup-simplify:  Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
1544088417.397 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
1544088417.397 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.397 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.397 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.397 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.397 * [misc]backup-simplify:  Simplify x into x
1544088417.397 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.397 * [misc]backup-simplify:  Simplify y into y
1544088417.397 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.397 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.397 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.397 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.397 * [misc]backup-simplify:  Simplify z into z
1544088417.397 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.397 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.397 * [misc]backup-simplify:  Simplify x into x
1544088417.397 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.397 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.397 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.397 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.398 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.398 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.398 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.398 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.398 * [misc]backup-simplify:  Simplify z into z
1544088417.398 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.398 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.398 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.398 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.398 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.398 * [misc]backup-simplify:  Simplify y into y
1544088417.398 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.398 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.398 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.398 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.398 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.398 * [misc]backup-simplify:  Simplify z into z
1544088417.398 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.398 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.398 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.398 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.398 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.398 * [misc]backup-simplify:  Simplify y into y
1544088417.398 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.398 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.398 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.398 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544088417.398 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.399 * [misc]backup-simplify:  Simplify z into z
1544088417.399 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.399 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.399 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.399 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.399 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.399 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.399 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088417.399 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544088417.399 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.399 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.399 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.399 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088417.400 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088417.400 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.400 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.400 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.401 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
1544088417.401 * [misc]backup-simplify:  Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
1544088417.401 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
1544088417.401 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544088417.401 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.401 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.401 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.401 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.401 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.401 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.401 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.401 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.401 * [misc]backup-simplify:  Simplify x into x
1544088417.401 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.401 * [misc]backup-simplify:  Simplify y into y
1544088417.401 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.401 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.401 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088417.401 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.401 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.401 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.401 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.401 * [misc]backup-simplify:  Simplify z into z
1544088417.401 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.401 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.401 * [misc]backup-simplify:  Simplify x into x
1544088417.401 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.401 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.401 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.401 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.402 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.402 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.402 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.402 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.402 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.402 * [misc]backup-simplify:  Simplify z into z
1544088417.402 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.402 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.402 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.402 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.402 * [misc]backup-simplify:  Simplify y into y
1544088417.402 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.402 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.402 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.402 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.402 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.402 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.402 * [misc]backup-simplify:  Simplify z into z
1544088417.402 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.402 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.402 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.402 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.402 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.402 * [misc]backup-simplify:  Simplify y into y
1544088417.402 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.402 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.402 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.403 * [misc]backup-simplify:  Simplify (* -1 (/ z y)) into (* -1 (/ z y))
1544088417.403 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z y)) in y
1544088417.403 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.403 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.403 * [misc]taylor:  Taking taylor expansion of (/ z y) in y
1544088417.403 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.403 * [misc]backup-simplify:  Simplify z into z
1544088417.403 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.403 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.403 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.403 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.403 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544088417.403 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544088417.403 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.403 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.403 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.403 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.403 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.403 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088417.403 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.405 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088417.406 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
1544088417.406 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
1544088417.406 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.406 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.406 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.406 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544088417.406 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.406 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.406 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.406 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.406 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.407 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088417.407 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088417.407 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
1544088417.407 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088417.407 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.407 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.407 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.407 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.408 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.408 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544088417.408 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.408 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.408 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.408 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.408 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.408 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.408 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
1544088417.408 * * * [misc]progress:  simplifying candidates
1544088417.408 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ (* x y) z) 1))>
1544088417.408 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ (* x y) z))))>
1544088417.409 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ (* x y) z))))>
1544088417.409 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>
1544088417.409 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))))>
1544088417.409 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))>
1544088417.409 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (- (* x y)) (- z)))>
1544088417.409 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ (* x y) z)))>
1544088417.409 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x y z t) (* (* x y) (/ 1 z)))>
1544088417.409 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544088417.409 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ x (/ z y)))>
1544088417.409 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.409 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.409 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.410 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.411 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.414 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.417 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.417 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.417 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.418 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.418 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.419 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.421 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.424 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.427 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.427 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.427 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088417.428 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088417.428 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088417.429 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088417.431 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088417.434 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088417.437 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088417.437 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088417.438 * * * [misc]progress:  adding candidates to table
1544088417.583 * * [misc]progress:  iteration 3 / 4
1544088417.583 * * * [misc]progress:  picking best candidate
1544088417.596 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (* (* y x) (/ 1 z)))>
1544088417.596 * * * [misc]progress:  localizing error
1544088417.608 * * * [misc]progress:  generating rewritten candidates
1544088417.609 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544088417.617 * * * [misc]progress:  generating series expansions
1544088417.617 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544088417.618 * [misc]backup-simplify:  Simplify (* (* y x) (/ 1 z)) into (/ (* x y) z)
1544088417.618 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (y x z) around 0
1544088417.618 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088417.618 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.618 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.618 * [misc]backup-simplify:  Simplify x into x
1544088417.618 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.618 * [misc]backup-simplify:  Simplify y into y
1544088417.618 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.618 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.618 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.618 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.618 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088417.618 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088417.618 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.618 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.618 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.618 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.618 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.618 * [misc]backup-simplify:  Simplify y into y
1544088417.618 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.618 * [misc]backup-simplify:  Simplify z into z
1544088417.618 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.619 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.619 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088417.619 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088417.619 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.619 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.619 * [misc]backup-simplify:  Simplify x into x
1544088417.619 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.619 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.619 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.619 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.619 * [misc]backup-simplify:  Simplify z into z
1544088417.619 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.620 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.620 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088417.620 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088417.620 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.620 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.620 * [misc]backup-simplify:  Simplify x into x
1544088417.620 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.620 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.620 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.620 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.620 * [misc]backup-simplify:  Simplify z into z
1544088417.620 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.620 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.620 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088417.620 * [misc]taylor:  Taking taylor expansion of (/ x z) in x
1544088417.621 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.621 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.621 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.621 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.621 * [misc]backup-simplify:  Simplify z into z
1544088417.621 * [misc]backup-simplify:  Simplify (/ 1 z) into (/ 1 z)
1544088417.621 * [misc]taylor:  Taking taylor expansion of (/ 1 z) in z
1544088417.621 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.621 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.621 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.621 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088417.621 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.621 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.622 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0
1544088417.622 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.622 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.622 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.622 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.622 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
1544088417.622 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.622 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.622 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088417.622 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.623 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.623 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.623 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.623 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.623 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.623 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.623 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.623 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.623 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.623 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.623 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.623 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.624 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.624 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.624 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.624 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544088417.625 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.625 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]backup-simplify:  Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1544088417.625 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.625 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.626 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z)
1544088417.626 * [misc]backup-simplify:  Simplify (* (* (/ 1 y) (/ 1 x)) (/ 1 (/ 1 z))) into (/ z (* x y))
1544088417.626 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (y x z) around 0
1544088417.626 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.626 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.626 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.626 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.626 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.626 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.626 * [misc]backup-simplify:  Simplify x into x
1544088417.626 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.626 * [misc]backup-simplify:  Simplify y into y
1544088417.626 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.626 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.626 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.626 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.626 * [misc]backup-simplify:  Simplify z into z
1544088417.626 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.626 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.626 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.626 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.626 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.626 * [misc]backup-simplify:  Simplify y into y
1544088417.627 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.627 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.627 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.627 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.627 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.627 * [misc]backup-simplify:  Simplify z into z
1544088417.627 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.627 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.627 * [misc]backup-simplify:  Simplify x into x
1544088417.627 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.627 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.627 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.627 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.628 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.628 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.628 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.628 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.628 * [misc]backup-simplify:  Simplify z into z
1544088417.628 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.628 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.628 * [misc]backup-simplify:  Simplify x into x
1544088417.628 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.628 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.628 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.628 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.628 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.628 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.628 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544088417.628 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.629 * [misc]backup-simplify:  Simplify z into z
1544088417.629 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.629 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.629 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.629 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.629 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.629 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.629 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.629 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.629 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.629 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544088417.629 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.629 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.630 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.630 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.630 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.630 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.630 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.630 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.631 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544088417.631 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.631 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.631 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.631 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.631 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.631 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.631 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.631 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.631 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.632 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.632 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.632 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z)
1544088417.632 * [misc]backup-simplify:  Simplify (* (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (/ 1 (- z)))) into (* -1 (/ z (* x y)))
1544088417.632 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0
1544088417.632 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544088417.632 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.632 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.632 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088417.632 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.632 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.632 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.632 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088417.632 * [misc]taylor:  Taking taylor expansion of x in z
1544088417.632 * [misc]backup-simplify:  Simplify x into x
1544088417.632 * [misc]taylor:  Taking taylor expansion of y in z
1544088417.632 * [misc]backup-simplify:  Simplify y into y
1544088417.632 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088417.633 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088417.633 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544088417.633 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.633 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.633 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088417.633 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.633 * [misc]backup-simplify:  Simplify z into z
1544088417.633 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088417.633 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.633 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.633 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.633 * [misc]taylor:  Taking taylor expansion of y in x
1544088417.633 * [misc]backup-simplify:  Simplify y into y
1544088417.633 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088417.633 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088417.633 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088417.633 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088417.633 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.633 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.633 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.633 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.634 * [misc]backup-simplify:  Simplify z into z
1544088417.634 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.634 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.634 * [misc]backup-simplify:  Simplify x into x
1544088417.634 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.634 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.634 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.634 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.634 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.634 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.634 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088417.634 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088417.634 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.634 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088417.634 * [misc]taylor:  Taking taylor expansion of z in y
1544088417.634 * [misc]backup-simplify:  Simplify z into z
1544088417.634 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088417.634 * [misc]taylor:  Taking taylor expansion of x in y
1544088417.634 * [misc]backup-simplify:  Simplify x into x
1544088417.634 * [misc]taylor:  Taking taylor expansion of y in y
1544088417.634 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.634 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.634 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088417.635 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088417.635 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088417.635 * [misc]backup-simplify:  Simplify (* -1 (/ z x)) into (* -1 (/ z x))
1544088417.635 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z x)) in x
1544088417.635 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088417.635 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.635 * [misc]taylor:  Taking taylor expansion of (/ z x) in x
1544088417.635 * [misc]taylor:  Taking taylor expansion of z in x
1544088417.635 * [misc]backup-simplify:  Simplify z into z
1544088417.635 * [misc]taylor:  Taking taylor expansion of x in x
1544088417.635 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.635 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.635 * [misc]backup-simplify:  Simplify (/ z 1) into z
1544088417.635 * [misc]backup-simplify:  Simplify (* -1 z) into (* -1 z)
1544088417.635 * [misc]taylor:  Taking taylor expansion of (* -1 z) in z
1544088417.635 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088417.636 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.636 * [misc]taylor:  Taking taylor expansion of z in z
1544088417.636 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.636 * [misc]backup-simplify:  Simplify 1 into 1
1544088417.636 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544088417.636 * [misc]backup-simplify:  Simplify -1 into -1
1544088417.636 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.636 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0
1544088417.637 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ z x))) into 0
1544088417.637 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.637 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.638 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
1544088417.638 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 z)) into 0
1544088417.638 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.638 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.638 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.638 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544088417.638 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.639 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.639 * [misc]backup-simplify:  Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1544088417.639 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0
1544088417.639 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088417.639 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.639 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.640 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.640 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.640 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088417.640 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
1544088417.640 * [misc]taylor:  Taking taylor expansion of 0 in z
1544088417.641 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.641 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.641 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.641 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544088417.641 * [misc]backup-simplify:  Simplify 0 into 0
1544088417.641 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z)
1544088417.641 * * * [misc]progress:  simplifying candidates
1544088417.641 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (* y x) (/ 1 z)) 1))>
1544088417.642 * [enter]simplify:  Simplifying (* (* y x) (/ 1 z))
1544088417.642 * * [misc]simplify:  iters left: 4 (7 enodes)
1544088417.644 * * [misc]simplify:  iters left: 3 (15 enodes)
1544088417.648 * * [misc]simplify:  iters left: 2 (30 enodes)
1544088417.655 * * [misc]simplify:  iters left: 1 (49 enodes)
1544088417.662 * [exit]simplify:  Simplified to (/ x (/ z y))
1544088417.662 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (pow (/ x (/ z y)) 1))
1544088417.662 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (x y z t) (pow (* (* y x) (/ 1 z)) 1))>
1544088417.662 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (x y z t) (exp (+ (log (* y x)) (log (/ 1 z)))))>
1544088417.662 * [enter]simplify:  Simplifying (+ (log (* y x)) (log (/ 1 z)))
1544088417.662 * * [misc]simplify:  iters left: 5 (9 enodes)
1544088417.664 * * [misc]simplify:  iters left: 4 (20 enodes)
1544088417.667 * * [misc]simplify:  iters left: 3 (26 enodes)
1544088417.671 * * [misc]simplify:  iters left: 2 (43 enodes)
1544088417.677 * * [misc]simplify:  iters left: 1 (72 enodes)
1544088417.696 * [exit]simplify:  Simplified to (- (log (* y x)) (log z))
1544088417.696 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (exp (- (log (* y x)) (log z))))
1544088417.696 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (* (* y x) (/ 1 z)))))>
1544088417.696 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (* (* y x) (/ 1 z)))))>
1544088417.696 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (* y x) (* y x)) (* y x)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))))>
1544088417.697 * [enter]simplify:  Simplifying (* (* (* (* y x) (* y x)) (* y x)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z)))
1544088417.697 * * [misc]simplify:  iters left: 6 (11 enodes)
1544088417.699 * * [misc]simplify:  iters left: 5 (33 enodes)
1544088417.709 * * [misc]simplify:  iters left: 4 (102 enodes)
1544088417.764 * * [misc]simplify:  iters left: 3 (337 enodes)
1544088418.253 * [exit]simplify:  Simplified to (* (* (* y x) (* y x)) (/ (* y x) (pow z 3)))
1544088418.253 * [misc]simplify:  Simplified (2 1) to (λ (x y z t) (cbrt (* (* (* y x) (* y x)) (/ (* y x) (pow z 3)))))
1544088418.253 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (* (cbrt (* (* y x) (/ 1 z))) (cbrt (* (* y x) (/ 1 z)))) (cbrt (* (* y x) (/ 1 z)))))>
1544088418.254 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (* (* y x) (/ 1 z)) (* (* y x) (/ 1 z))) (* (* y x) (/ 1 z)))))>
1544088418.254 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (* (* y x) (/ 1 z))) (sqrt (* (* y x) (/ 1 z)))))>
1544088418.254 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (* (* y x) (/ 1 z))))>
1544088418.254 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (x y z t) (/ (* y x) z))>
1544088418.254 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* y x) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z))))>
1544088418.254 * [enter]simplify:  Simplifying (cbrt (/ 1 z))
1544088418.254 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088418.255 * * [misc]simplify:  iters left: 2 (6 enodes)
1544088418.255 * [exit]simplify:  Simplified to (cbrt (/ 1 z))
1544088418.255 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* y x) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (cbrt (/ 1 z))))
1544088418.255 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* y x) (sqrt (/ 1 z))) (sqrt (/ 1 z))))>
1544088418.256 * [enter]simplify:  Simplifying (sqrt (/ 1 z))
1544088418.256 * * [misc]simplify:  iters left: 3 (4 enodes)
1544088418.256 * * [misc]simplify:  iters left: 2 (6 enodes)
1544088418.257 * [exit]simplify:  Simplified to (sqrt (/ 1 z))
1544088418.257 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* y x) (sqrt (/ 1 z))) (sqrt (/ 1 z))))
1544088418.257 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* y x) 1) (/ 1 z)))>
1544088418.257 * [enter]simplify:  Simplifying (/ 1 z)
1544088418.257 * * [misc]simplify:  iters left: 2 (3 enodes)
1544088418.258 * * [misc]simplify:  iters left: 1 (5 enodes)
1544088418.258 * [exit]simplify:  Simplified to (/ 1 z)
1544088418.258 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* y x) 1) (/ 1 z)))
1544088418.259 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (* (* y x) 1) (/ 1 z)))>
1544088418.259 * [enter]simplify:  Simplifying (/ 1 z)
1544088418.259 * * [misc]simplify:  iters left: 2 (3 enodes)
1544088418.259 * * [misc]simplify:  iters left: 1 (5 enodes)
1544088418.260 * [exit]simplify:  Simplified to (/ 1 z)
1544088418.260 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (* (* y x) 1) (/ 1 z)))
1544088418.260 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* y (* x (/ 1 z))))>
1544088418.260 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (x y z t) (/ (* (* y x) 1) z))>
1544088418.260 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (x y z t) (* (/ 1 z) (* y x)))>
1544088418.260 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.260 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.260 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.261 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.262 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.264 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.266 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.266 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.266 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.266 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.266 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.267 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.268 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.270 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.271 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.271 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.272 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.272 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.272 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.273 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.274 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.275 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.277 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.277 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.277 * * * [misc]progress:  adding candidates to table
1544088418.452 * * [misc]progress:  iteration 4 / 4
1544088418.452 * * * [misc]progress:  picking best candidate
1544088418.462 * * * * [misc]pick:  Picked  #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544088418.462 * * * [misc]progress:  localizing error
1544088418.468 * * * [misc]progress:  generating rewritten candidates
1544088418.468 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1544088418.473 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1544088418.480 * * * [misc]progress:  generating series expansions
1544088418.480 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1544088418.481 * [misc]backup-simplify:  Simplify (/ z (* x y)) into (/ z (* x y))
1544088418.481 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
1544088418.481 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088418.481 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.481 * [misc]backup-simplify:  Simplify z into z
1544088418.481 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.481 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.481 * [misc]backup-simplify:  Simplify x into x
1544088418.481 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.481 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.481 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.481 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.481 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.481 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088418.481 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088418.481 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.481 * [misc]backup-simplify:  Simplify z into z
1544088418.481 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.482 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.482 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.482 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.482 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.482 * [misc]backup-simplify:  Simplify y into y
1544088418.482 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.482 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.482 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088418.482 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.482 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.482 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.482 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.482 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.482 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.482 * [misc]backup-simplify:  Simplify x into x
1544088418.482 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.482 * [misc]backup-simplify:  Simplify y into y
1544088418.482 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.482 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.482 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.482 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.482 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.482 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.483 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.483 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.483 * [misc]backup-simplify:  Simplify x into x
1544088418.483 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.483 * [misc]backup-simplify:  Simplify y into y
1544088418.483 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.483 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.483 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in x
1544088418.483 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.483 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.483 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.483 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.483 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.483 * [misc]backup-simplify:  Simplify y into y
1544088418.483 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.483 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.484 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1544088418.484 * [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
1544088418.484 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.484 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.484 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.484 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088418.484 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.484 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.484 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1544088418.484 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.484 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.485 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.485 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1544088418.485 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.485 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.485 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088418.485 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.485 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.486 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.486 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.486 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.486 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.486 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.486 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.487 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.487 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.487 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.487 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.487 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.487 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.488 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.488 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.488 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.488 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.488 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.488 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.488 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.488 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.489 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544088418.489 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.489 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.489 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.489 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.489 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.489 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.489 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y))
1544088418.490 * [misc]backup-simplify:  Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z)
1544088418.490 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
1544088418.490 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088418.490 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.490 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.490 * [misc]backup-simplify:  Simplify x into x
1544088418.490 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.490 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.490 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.490 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.490 * [misc]backup-simplify:  Simplify z into z
1544088418.490 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.490 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.490 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088418.490 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088418.490 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.490 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.490 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.491 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.491 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.491 * [misc]backup-simplify:  Simplify y into y
1544088418.491 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.491 * [misc]backup-simplify:  Simplify z into z
1544088418.491 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.491 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.491 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088418.491 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.491 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.491 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.491 * [misc]backup-simplify:  Simplify x into x
1544088418.491 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.491 * [misc]backup-simplify:  Simplify y into y
1544088418.491 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.491 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.491 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.491 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.491 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.491 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.491 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.491 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.491 * [misc]backup-simplify:  Simplify x into x
1544088418.491 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.492 * [misc]backup-simplify:  Simplify y into y
1544088418.492 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.492 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.492 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.492 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.492 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.492 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.492 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.492 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.492 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.492 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.492 * [misc]backup-simplify:  Simplify y into y
1544088418.492 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.492 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.492 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.492 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.492 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.493 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.493 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1544088418.493 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.493 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.493 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.493 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.493 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.494 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.494 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.494 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.494 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.494 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.494 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.495 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.495 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.495 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.495 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.496 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y))
1544088418.496 * [misc]backup-simplify:  Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z))
1544088418.496 * [misc]approximate:  Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
1544088418.496 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in y
1544088418.496 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088418.496 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.496 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088418.496 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.496 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.496 * [misc]backup-simplify:  Simplify x into x
1544088418.496 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.496 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.496 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.496 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.496 * [misc]backup-simplify:  Simplify z into z
1544088418.496 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.497 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.497 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088418.497 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in x
1544088418.497 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088418.497 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.497 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088418.497 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.497 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.497 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.497 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.497 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.497 * [misc]backup-simplify:  Simplify y into y
1544088418.497 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.497 * [misc]backup-simplify:  Simplify z into z
1544088418.497 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.497 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.497 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088418.497 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in z
1544088418.497 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088418.498 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.498 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.498 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.498 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.498 * [misc]backup-simplify:  Simplify x into x
1544088418.498 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.498 * [misc]backup-simplify:  Simplify y into y
1544088418.498 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.498 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.498 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.498 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.498 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.498 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (* x y) z)) in z
1544088418.498 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088418.498 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.498 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.498 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.498 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.498 * [misc]backup-simplify:  Simplify x into x
1544088418.498 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.498 * [misc]backup-simplify:  Simplify y into y
1544088418.498 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.498 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.498 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.498 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.498 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.499 * [misc]backup-simplify:  Simplify (* -1 (* x y)) into (* -1 (* x y))
1544088418.499 * [misc]taylor:  Taking taylor expansion of (* -1 (* x y)) in x
1544088418.499 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088418.499 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.499 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.499 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.499 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.499 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.499 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.499 * [misc]backup-simplify:  Simplify y into y
1544088418.499 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.499 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.502 * [misc]backup-simplify:  Simplify (+ (* -1 y) (* 0 0)) into (- y)
1544088418.502 * [misc]taylor:  Taking taylor expansion of (- y) in y
1544088418.502 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.502 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.502 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.503 * [misc]backup-simplify:  Simplify (- 1) into -1
1544088418.503 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.503 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.503 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1544088418.504 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (* x y))) into 0
1544088418.504 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.504 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.504 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.504 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.504 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.504 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.505 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0
1544088418.505 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.505 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.505 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.505 * [misc]backup-simplify:  Simplify (- 0) into 0
1544088418.505 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.505 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.506 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.506 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
1544088418.506 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.506 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.506 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.506 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.506 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.506 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.506 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.506 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.507 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.507 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
1544088418.507 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.508 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.508 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.508 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
1544088418.508 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1544088418.508 * [misc]backup-simplify:  Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z)
1544088418.508 * [misc]approximate:  Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
1544088418.508 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in y
1544088418.508 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.508 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.508 * [misc]backup-simplify:  Simplify x into x
1544088418.508 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.508 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.508 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.508 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.508 * [misc]backup-simplify:  Simplify z into z
1544088418.508 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.509 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.509 * [misc]backup-simplify:  Simplify (/ x z) into (/ x z)
1544088418.509 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in x
1544088418.509 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.509 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.509 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.509 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.509 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.509 * [misc]backup-simplify:  Simplify y into y
1544088418.509 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.509 * [misc]backup-simplify:  Simplify z into z
1544088418.509 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.509 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.509 * [misc]backup-simplify:  Simplify (/ y z) into (/ y z)
1544088418.509 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.509 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.509 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.509 * [misc]backup-simplify:  Simplify x into x
1544088418.510 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.510 * [misc]backup-simplify:  Simplify y into y
1544088418.510 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.510 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.510 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.510 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.510 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.510 * [misc]taylor:  Taking taylor expansion of (/ (* x y) z) in z
1544088418.510 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.510 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.510 * [misc]backup-simplify:  Simplify x into x
1544088418.510 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.510 * [misc]backup-simplify:  Simplify y into y
1544088418.510 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.510 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.510 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.510 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.510 * [misc]backup-simplify:  Simplify (/ (* x y) 1) into (* x y)
1544088418.510 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.510 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.510 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.510 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.510 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.510 * [misc]backup-simplify:  Simplify y into y
1544088418.511 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.511 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.511 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.511 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.511 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.511 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.511 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
1544088418.511 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.511 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.512 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.512 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.512 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.512 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.513 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.513 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.513 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.513 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.513 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.513 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.513 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.513 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.513 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.514 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.514 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.514 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.514 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.514 * [misc]backup-simplify:  Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
1544088418.514 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y))
1544088418.514 * [misc]approximate:  Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
1544088418.514 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088418.514 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.514 * [misc]backup-simplify:  Simplify z into z
1544088418.514 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.514 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.515 * [misc]backup-simplify:  Simplify x into x
1544088418.515 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.515 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.515 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.515 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.515 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.515 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088418.515 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088418.515 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.515 * [misc]backup-simplify:  Simplify z into z
1544088418.515 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.515 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.515 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.515 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.515 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.515 * [misc]backup-simplify:  Simplify y into y
1544088418.515 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.516 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.516 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088418.516 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.516 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.516 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.516 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.516 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.516 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.516 * [misc]backup-simplify:  Simplify x into x
1544088418.516 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.516 * [misc]backup-simplify:  Simplify y into y
1544088418.516 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.516 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.516 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.516 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.516 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.516 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.516 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.516 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.516 * [misc]backup-simplify:  Simplify x into x
1544088418.516 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.516 * [misc]backup-simplify:  Simplify y into y
1544088418.516 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.516 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.517 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x y)) in x
1544088418.517 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.517 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.517 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.517 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.517 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.517 * [misc]backup-simplify:  Simplify y into y
1544088418.517 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.517 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.517 * [misc]backup-simplify:  Simplify (/ 1 y) into (/ 1 y)
1544088418.517 * [misc]taylor:  Taking taylor expansion of (/ 1 y) in y
1544088418.517 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.517 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.517 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.518 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544088418.518 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.518 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.518 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1544088418.518 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.518 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.518 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.519 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1544088418.519 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.519 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.519 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544088418.519 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.519 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.519 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.519 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.520 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.520 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.520 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.520 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.520 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.520 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.520 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.520 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.521 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.521 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.521 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.522 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.522 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.522 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.522 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.522 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.522 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.522 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.522 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544088418.523 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.523 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.523 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.523 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.523 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.523 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.523 * [misc]backup-simplify:  Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
1544088418.523 * [misc]backup-simplify:  Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y)))
1544088418.523 * [misc]approximate:  Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
1544088418.523 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in y
1544088418.523 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088418.523 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.523 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in y
1544088418.523 * [misc]taylor:  Taking taylor expansion of z in y
1544088418.524 * [misc]backup-simplify:  Simplify z into z
1544088418.524 * [misc]taylor:  Taking taylor expansion of (* x y) in y
1544088418.524 * [misc]taylor:  Taking taylor expansion of x in y
1544088418.524 * [misc]backup-simplify:  Simplify x into x
1544088418.524 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.524 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.524 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.524 * [misc]backup-simplify:  Simplify (* x 0) into 0
1544088418.524 * [misc]backup-simplify:  Simplify (+ (* x 1) (* 0 0)) into x
1544088418.524 * [misc]backup-simplify:  Simplify (/ z x) into (/ z x)
1544088418.525 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in x
1544088418.525 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088418.525 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.525 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in x
1544088418.525 * [misc]taylor:  Taking taylor expansion of z in x
1544088418.525 * [misc]backup-simplify:  Simplify z into z
1544088418.525 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.525 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.525 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.525 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.525 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.525 * [misc]backup-simplify:  Simplify y into y
1544088418.525 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.525 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.525 * [misc]backup-simplify:  Simplify (/ z y) into (/ z y)
1544088418.525 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544088418.525 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088418.525 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.525 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.525 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.525 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.525 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.525 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.525 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.526 * [misc]backup-simplify:  Simplify x into x
1544088418.526 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.526 * [misc]backup-simplify:  Simplify y into y
1544088418.526 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.526 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.526 * [misc]taylor:  Taking taylor expansion of (* -1 (/ z (* x y))) in z
1544088418.526 * [misc]taylor:  Taking taylor expansion of -1 in z
1544088418.526 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.526 * [misc]taylor:  Taking taylor expansion of (/ z (* x y)) in z
1544088418.526 * [misc]taylor:  Taking taylor expansion of z in z
1544088418.526 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.526 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.526 * [misc]taylor:  Taking taylor expansion of (* x y) in z
1544088418.526 * [misc]taylor:  Taking taylor expansion of x in z
1544088418.526 * [misc]backup-simplify:  Simplify x into x
1544088418.526 * [misc]taylor:  Taking taylor expansion of y in z
1544088418.526 * [misc]backup-simplify:  Simplify y into y
1544088418.526 * [misc]backup-simplify:  Simplify (* x y) into (* x y)
1544088418.526 * [misc]backup-simplify:  Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1544088418.526 * [misc]backup-simplify:  Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
1544088418.526 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x y)) in x
1544088418.526 * [misc]taylor:  Taking taylor expansion of -1 in x
1544088418.526 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.526 * [misc]taylor:  Taking taylor expansion of (* x y) in x
1544088418.526 * [misc]taylor:  Taking taylor expansion of x in x
1544088418.526 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.527 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.527 * [misc]taylor:  Taking taylor expansion of y in x
1544088418.527 * [misc]backup-simplify:  Simplify y into y
1544088418.527 * [misc]backup-simplify:  Simplify (* 0 y) into 0
1544088418.527 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 y)) into y
1544088418.527 * [misc]backup-simplify:  Simplify (/ -1 y) into (/ -1 y)
1544088418.527 * [misc]taylor:  Taking taylor expansion of (/ -1 y) in y
1544088418.527 * [misc]taylor:  Taking taylor expansion of -1 in y
1544088418.527 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.527 * [misc]taylor:  Taking taylor expansion of y in y
1544088418.527 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.527 * [misc]backup-simplify:  Simplify 1 into 1
1544088418.527 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544088418.527 * [misc]backup-simplify:  Simplify -1 into -1
1544088418.528 * [misc]backup-simplify:  Simplify (+ (* x 0) (* 0 y)) into 0
1544088418.528 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
1544088418.528 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
1544088418.528 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.528 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.529 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1544088418.529 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1544088418.529 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.529 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.529 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1544088418.529 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.530 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
1544088418.530 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.530 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
1544088418.530 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.530 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.530 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.530 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.531 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.531 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.531 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.531 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.531 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.532 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544088418.532 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.532 * [misc]backup-simplify:  Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1544088418.532 * [misc]backup-simplify:  Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
1544088418.533 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
1544088418.533 * [misc]taylor:  Taking taylor expansion of 0 in x
1544088418.533 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.533 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.533 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.533 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.533 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.534 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
1544088418.536 * [misc]backup-simplify:  Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1544088418.536 * [misc]taylor:  Taking taylor expansion of 0 in y
1544088418.536 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.536 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.536 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.536 * [misc]backup-simplify:  Simplify 0 into 0
1544088418.537 * [misc]backup-simplify:  Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
1544088418.537 * * * [misc]progress:  simplifying candidates
1544088418.537 * * * * [misc]progress:  [ 1 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (pow (/ z (* x y)) 1)))>
1544088418.537 * * * * [misc]progress:  [ 2 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (exp (log (/ z (* x y))))))>
1544088418.537 * * * * [misc]progress:  [ 3 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (log (exp (/ z (* x y))))))>
1544088418.537 * * * * [misc]progress:  [ 4 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))))))>
1544088418.537 * * * * [misc]progress:  [ 5 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (cbrt (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))))>
1544088418.537 * * * * [misc]progress:  [ 6 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* (sqrt (/ z (* x y))) (sqrt (/ z (* x y))))))>
1544088418.537 * * * * [misc]progress:  [ 7 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (- z) (- (* x y)))))>
1544088418.537 * * * * [misc]progress:  [ 8 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* 1 (/ z (* x y)))))>
1544088418.537 * * * * [misc]progress:  [ 9 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (* z (/ 1 (* x y)))))>
1544088418.537 * * * * [misc]progress:  [ 10 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ 1 (/ (* x y) z))))>
1544088418.537 * * * * [misc]progress:  [ 11 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>
1544088418.537 * * * * [misc]progress:  [ 12 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ z (* x y)) -1))>
1544088418.537 * * * * [misc]progress:  [ 13 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ z (* x y)) (- 1)))>
1544088418.538 * [enter]simplify:  Simplifying (- 1)
1544088418.538 * * [misc]simplify:  iters left: 2 (2 enodes)
1544088418.539 * * [misc]simplify:  iters left: 1 (5 enodes)
1544088418.540 * [exit]simplify:  Simplified to -1
1544088418.540 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (pow (/ z (* x y)) -1))
1544088418.540 * * * * [misc]progress:  [ 14 / 35 ] simplifiying candidate #<alt (λ (x y z t) (pow (/ 1 (/ z (* x y))) 1))>
1544088418.540 * * * * [misc]progress:  [ 15 / 35 ] simplifiying candidate #<alt (λ (x y z t) (exp (- (log (/ z (* x y))))))>
1544088418.540 * * * * [misc]progress:  [ 16 / 35 ] simplifiying candidate #<alt (λ (x y z t) (exp (log (/ 1 (/ z (* x y))))))>
1544088418.540 * * * * [misc]progress:  [ 17 / 35 ] simplifiying candidate #<alt (λ (x y z t) (log (exp (/ 1 (/ z (* x y))))))>
1544088418.540 * * * * [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))))))>
1544088418.541 * * * * [misc]progress:  [ 19 / 35 ] simplifiying candidate #<alt (λ (x y z t) (cbrt (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y))))))>
1544088418.541 * * * * [misc]progress:  [ 20 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* (sqrt (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y))))))>
1544088418.541 * * * * [misc]progress:  [ 21 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (- 1) (- (/ z (* x y)))))>
1544088418.541 * * * * [misc]progress:  [ 22 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>
1544088418.541 * * * * [misc]progress:  [ 23 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* 1 (/ 1 (/ z (* x y)))))>
1544088418.541 * * * * [misc]progress:  [ 24 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ (/ z (* x y)) 1)))>
1544088418.541 * * * * [misc]progress:  [ 25 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (cbrt (/ z (* x y)))))>
1544088418.541 * [enter]simplify:  Simplifying (cbrt (/ z (* x y)))
1544088418.541 * * [misc]simplify:  iters left: 5 (6 enodes)
1544088418.543 * * [misc]simplify:  iters left: 4 (9 enodes)
1544088418.546 * [exit]simplify:  Simplified to (cbrt (/ z (* y x)))
1544088418.546 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (cbrt (/ z (* y x)))))
1544088418.546 * * * * [misc]progress:  [ 26 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 (sqrt (/ z (* x y)))) (sqrt (/ z (* x y)))))>
1544088418.546 * [enter]simplify:  Simplifying (sqrt (/ z (* x y)))
1544088418.546 * * [misc]simplify:  iters left: 5 (6 enodes)
1544088418.548 * * [misc]simplify:  iters left: 4 (9 enodes)
1544088418.551 * [exit]simplify:  Simplified to (sqrt (/ z (* y x)))
1544088418.551 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 (sqrt (/ z (* x y)))) (sqrt (/ z (* y x)))))
1544088418.551 * * * * [misc]progress:  [ 27 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 1) (/ z (* x y))))>
1544088418.551 * [enter]simplify:  Simplifying (/ z (* x y))
1544088418.551 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.553 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.556 * [exit]simplify:  Simplified to (/ z (* y x))
1544088418.556 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 1) (/ z (* y x))))
1544088418.556 * * * * [misc]progress:  [ 28 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (/ 1 z) (/ 1 (* x y))))>
1544088418.556 * [enter]simplify:  Simplifying (/ 1 (* x y))
1544088418.556 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.558 * * [misc]simplify:  iters left: 3 (10 enodes)
1544088418.561 * [exit]simplify:  Simplified to (/ 1 (* y x))
1544088418.561 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ (/ 1 z) (/ 1 (* y x))))
1544088418.561 * * * * [misc]progress:  [ 29 / 35 ] simplifiying candidate #<alt (λ (x y z t) (* (/ 1 z) (* x y)))>
1544088418.561 * [enter]simplify:  Simplifying (* x y)
1544088418.561 * * [misc]simplify:  iters left: 2 (3 enodes)
1544088418.562 * * [misc]simplify:  iters left: 1 (4 enodes)
1544088418.563 * [exit]simplify:  Simplified to (* x y)
1544088418.563 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (* (/ 1 z) (* x y)))
1544088418.563 * * * * [misc]progress:  [ 30 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544088418.564 * [enter]simplify:  Simplifying (/ z (* x y))
1544088418.564 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.565 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.568 * [exit]simplify:  Simplified to (/ z (* y x))
1544088418.568 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1544088418.568 * * * * [misc]progress:  [ 31 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544088418.568 * [enter]simplify:  Simplifying (/ z (* x y))
1544088418.568 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.570 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.572 * [exit]simplify:  Simplified to (/ z (* y x))
1544088418.572 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1544088418.572 * * * * [misc]progress:  [ 32 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ 1 (/ z (* x y))))>
1544088418.573 * [enter]simplify:  Simplifying (/ z (* x y))
1544088418.573 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.575 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.577 * [exit]simplify:  Simplified to (/ z (* y x))
1544088418.577 * [misc]simplify:  Simplified (2 2) to (λ (x y z t) (/ 1 (/ z (* y x))))
1544088418.577 * * * * [misc]progress:  [ 33 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.578 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.578 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.580 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.582 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.585 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.589 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.589 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.589 * * * * [misc]progress:  [ 34 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.589 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.589 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.591 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.593 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.596 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.600 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.600 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.600 * * * * [misc]progress:  [ 35 / 35 ] simplifiying candidate #<alt (λ (x y z t) (/ (* x y) z))>
1544088418.601 * [enter]simplify:  Simplifying (/ (* x y) z)
1544088418.601 * * [misc]simplify:  iters left: 4 (5 enodes)
1544088418.602 * * [misc]simplify:  iters left: 3 (8 enodes)
1544088418.605 * * [misc]simplify:  iters left: 2 (10 enodes)
1544088418.608 * * [misc]simplify:  iters left: 1 (13 enodes)
1544088418.610 * [exit]simplify:  Simplified to (/ y (/ z x))
1544088418.610 * [misc]simplify:  Simplified (2) to (λ (x y z t) (/ y (/ z x)))
1544088418.610 * * * [misc]progress:  adding candidates to table
1544088418.915 * [misc]progress:  [Phase 3 of 3] Extracting.
1544088418.915 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088418.915 * * * [misc]regime-changes:  Trying 7 branch expressions: (t z y (/ y z) (/ (* (/ y z) t) t) x (* x (/ (* (/ y z) t) t)))
1544088418.916 * * * * [misc]regimes:  Trying to branch on t from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088418.973 * * * * [misc]regimes:  Trying to branch on z from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.051 * * * * [misc]regimes:  Trying to branch on y from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.127 * * * * [misc]regimes:  Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.230 * * * * [misc]regimes:  Trying to branch on (/ (* (/ y z) t) t) from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.310 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.368 * * * * [misc]regimes:  Trying to branch on (* x (/ (* (/ y z) t) t)) from (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.442 * * * [misc]regime:  Found split indices: #<option (#s(si 5 6) #s(si 1 109) #s(si 5 153) #s(si 1 248) #s(si 5 256))>
1544088419.443 * [misc]binary-search:  Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.444 * [misc]regimes:  Found splitpoints: (#s(sp 5 (/ y z) -inf.0) #s(sp 1 (/ y z) -5.031109885997233e-230) #s(sp 5 (/ y z) -0.0) #s(sp 1 (/ y z) 1.434781732036167e+288) #s(sp 5 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* x (/ (* (/ y z) t) t)))> #<alt (λ (x y z t) (* y (/ x z)))> #<alt (λ (x y z t) (* (* y x) (/ 1 z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>)
1544088419.444 * [enter]simplify:  Simplifying (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) -5.031109885997233e-230) (/ x (/ z y)) (if (<= (/ y z) -0.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) 1.434781732036167e+288) (/ x (/ z y)) (/ 1 (/ (/ z x) y))))))
1544088419.444 * * [misc]simplify:  iters left: 6 (22 enodes)
1544088419.446 * * [misc]simplify:  iters left: 5 (27 enodes)
1544088419.449 * * [misc]simplify:  iters left: 4 (30 enodes)
1544088419.452 * * [misc]simplify:  iters left: 3 (36 enodes)
1544088419.454 * * [misc]simplify:  iters left: 2 (39 enodes)
1544088419.458 * * [misc]simplify:  iters left: 1 (42 enodes)
1544088419.462 * [exit]simplify:  Simplified to (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) -5.031109885997233e-230) (/ x (/ z y)) (if (<= (/ y z) -0.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) 1.434781732036167e+288) (/ x (/ z y)) (/ 1 (/ (/ z x) y))))))
1544088419.463 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544088419.583 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544088419.584 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.585 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.585 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544088419.586 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.588 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.589 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544088419.590 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.592 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.594 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544088419.595 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.599 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.602 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544088419.604 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.611 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.617 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544088419.619 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.657 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.685 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544088419.687 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.741 * * * * [misc]points:  Setting MPFR precision to 320
1544088419.793 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544088419.795 * * * * [misc]points:  Setting MPFR precision to 64
1544088419.921 * * * * [misc]points:  Setting MPFR precision to 320
1544088420.072 * * * * [misc]points:  Setting MPFR precision to 576
1544088420.177 * * * * [misc]points:  Computing exacts for 8000 points
1544088420.179 * * * * [misc]points:  Setting MPFR precision to 320
1544088420.717 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.552 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.555 * * * * [misc]points:  Sampling 1334 additional inputs, on iter 1 have 6666 / 8000
1544088421.568 * * * * [misc]points:  Computing exacts on every 83 of 1334 points to ramp up precision
1544088421.570 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.609 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.610 * * * * [misc]points:  Computing exacts on every 41 of 1334 points to ramp up precision
1544088421.612 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.614 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.615 * * * * [misc]points:  Computing exacts on every 20 of 1334 points to ramp up precision
1544088421.617 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.623 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.627 * * * * [misc]points:  Computing exacts on every 10 of 1334 points to ramp up precision
1544088421.629 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.635 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.642 * * * * [misc]points:  Computing exacts on every 5 of 1334 points to ramp up precision
1544088421.643 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.655 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.668 * * * * [misc]points:  Computing exacts on every 2 of 1334 points to ramp up precision
1544088421.669 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.693 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.716 * * * * [misc]points:  Computing exacts for 1334 points
1544088421.718 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.794 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.871 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.872 * * * * [misc]points:  Sampling 201 additional inputs, on iter 2 have 7799 / 8000
1544088421.875 * * * * [misc]points:  Computing exacts on every 12 of 201 points to ramp up precision
1544088421.876 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.877 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.877 * * * * [misc]points:  Computing exacts on every 6 of 201 points to ramp up precision
1544088421.878 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.879 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.880 * * * * [misc]points:  Computing exacts on every 3 of 201 points to ramp up precision
1544088421.881 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.882 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.884 * * * * [misc]points:  Computing exacts for 201 points
1544088421.885 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.890 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.896 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.896 * * * * [misc]points:  Sampling 39 additional inputs, on iter 3 have 7961 / 8000
1544088421.896 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1544088421.897 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.898 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.898 * * * * [misc]points:  Computing exacts for 39 points
1544088421.899 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.900 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.902 * * * * [misc]points:  Sampling 5 additional inputs, on iter 4 have 7995 / 8000
1544088421.902 * * * * [misc]points:  Computing exacts for 5 points
1544088421.903 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.903 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.903 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.903 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7998 / 8000
1544088421.903 * * * * [misc]points:  Computing exacts for 4 points
1544088421.904 * * * * [misc]points:  Setting MPFR precision to 320
1544088421.905 * * * * [misc]points:  Setting MPFR precision to 576
1544088421.905 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544088421.905 * * * * [exit]points:  Sampled 8002 points with exact outputs
1544088422.635 * [misc]regime-testing:  Baseline error score: 5.842389062765413
1544088422.635 * [misc]regime-testing:  End program error score: 0.5997687211810825
1544088422.637 * [misc]regime-testing:  Oracle error score: 0.014625