24.335 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
0.024 * [simplify]: Simplifying:
  (/ (* x y) z)
0.024 * * [simplify]: iteration 0: 5 enodes
0.025 * * [simplify]: iteration 1: 8 enodes
0.028 * * [simplify]: iteration 2: 10 enodes
0.030 * * [simplify]: iteration 3: 13 enodes
0.034 * * [simplify]: iteration 4: 15 enodes
0.037 * * [simplify]: iteration 5: 16 enodes
0.041 * * [simplify]: iteration complete: 16 enodes
0.041 * * [simplify]: Extracting #0: cost 1 inf + 0
0.041 * * [simplify]: Extracting #1: cost 9 inf + 0
0.041 * * [simplify]: Extracting #2: cost 4 inf + 87
0.041 * * [simplify]: Extracting #3: cost 0 inf + 296
0.042 * [simplify]: Simplified to:
  (/ (* x y) z)
0.042 * * [progress]: iteration 1 / 4
0.042 * * * [progress]: picking best candidate
0.046 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x y) z))>
0.046 * * * [progress]: localizing error
0.059 * * * [progress]: generating rewritten candidates
0.059 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.077 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
0.077 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
0.077 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
0.077 * [taylor]: Taking taylor expansion of (* x y) in z
0.077 * [taylor]: Taking taylor expansion of x in z
0.077 * [backup-simplify]: Simplify x into x
0.077 * [taylor]: Taking taylor expansion of y in z
0.077 * [backup-simplify]: Simplify y into y
0.077 * [taylor]: Taking taylor expansion of z in z
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.077 * [backup-simplify]: Simplify (* x y) into (* x y)
0.077 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
0.077 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
0.077 * [taylor]: Taking taylor expansion of (* x y) in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [backup-simplify]: Simplify x into x
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.078 * [taylor]: Taking taylor expansion of z in y
0.078 * [backup-simplify]: Simplify z into z
0.078 * [backup-simplify]: Simplify (* x 0) into 0
0.078 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.078 * [backup-simplify]: Simplify (/ x z) into (/ x z)
0.078 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.078 * [taylor]: Taking taylor expansion of (* x y) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify 1 into 1
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [backup-simplify]: Simplify y into y
0.078 * [taylor]: Taking taylor expansion of z in x
0.078 * [backup-simplify]: Simplify z into z
0.078 * [backup-simplify]: Simplify (* 0 y) into 0
0.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.079 * [backup-simplify]: Simplify (/ y z) into (/ y z)
0.079 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
0.079 * [taylor]: Taking taylor expansion of (* x y) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [backup-simplify]: Simplify y into y
0.079 * [taylor]: Taking taylor expansion of z in x
0.079 * [backup-simplify]: Simplify z into z
0.079 * [backup-simplify]: Simplify (* 0 y) into 0
0.079 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.079 * [backup-simplify]: Simplify (/ y z) into (/ y z)
0.079 * [taylor]: Taking taylor expansion of (/ y z) in y
0.080 * [taylor]: Taking taylor expansion of y in y
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [taylor]: Taking taylor expansion of z in y
0.080 * [backup-simplify]: Simplify z into z
0.080 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.080 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.080 * [taylor]: Taking taylor expansion of z in z
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify (/ 1 1) into 1
0.080 * [backup-simplify]: Simplify 1 into 1
0.081 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.081 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
0.081 * [taylor]: Taking taylor expansion of 0 in z
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.083 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.083 * [taylor]: Taking taylor expansion of 0 in z
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.085 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.085 * [taylor]: Taking taylor expansion of 0 in y
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.085 * [taylor]: Taking taylor expansion of 0 in z
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
0.085 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
0.085 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
0.085 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.085 * [taylor]: Taking taylor expansion of z in z
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [taylor]: Taking taylor expansion of (* x y) in z
0.086 * [taylor]: Taking taylor expansion of x in z
0.086 * [backup-simplify]: Simplify x into x
0.086 * [taylor]: Taking taylor expansion of y in z
0.086 * [backup-simplify]: Simplify y into y
0.086 * [backup-simplify]: Simplify (* x y) into (* x y)
0.086 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.086 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.086 * [taylor]: Taking taylor expansion of z in y
0.086 * [backup-simplify]: Simplify z into z
0.086 * [taylor]: Taking taylor expansion of (* x y) in y
0.086 * [taylor]: Taking taylor expansion of x in y
0.086 * [backup-simplify]: Simplify x into x
0.086 * [taylor]: Taking taylor expansion of y in y
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify 1 into 1
0.086 * [backup-simplify]: Simplify (* x 0) into 0
0.086 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.086 * [backup-simplify]: Simplify (/ z x) into (/ z x)
0.086 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.086 * [taylor]: Taking taylor expansion of z in x
0.086 * [backup-simplify]: Simplify z into z
0.086 * [taylor]: Taking taylor expansion of (* x y) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [backup-simplify]: Simplify 0 into 0
0.086 * [backup-simplify]: Simplify 1 into 1
0.086 * [taylor]: Taking taylor expansion of y in x
0.086 * [backup-simplify]: Simplify y into y
0.086 * [backup-simplify]: Simplify (* 0 y) into 0
0.087 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.087 * [backup-simplify]: Simplify (/ z y) into (/ z y)
0.087 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.087 * [taylor]: Taking taylor expansion of z in x
0.087 * [backup-simplify]: Simplify z into z
0.087 * [taylor]: Taking taylor expansion of (* x y) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify 1 into 1
0.087 * [taylor]: Taking taylor expansion of y in x
0.087 * [backup-simplify]: Simplify y into y
0.087 * [backup-simplify]: Simplify (* 0 y) into 0
0.087 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.087 * [backup-simplify]: Simplify (/ z y) into (/ z y)
0.087 * [taylor]: Taking taylor expansion of (/ z y) in y
0.087 * [taylor]: Taking taylor expansion of z in y
0.087 * [backup-simplify]: Simplify z into z
0.088 * [taylor]: Taking taylor expansion of y in y
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify (/ z 1) into z
0.088 * [taylor]: Taking taylor expansion of z in z
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.088 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
0.089 * [taylor]: Taking taylor expansion of 0 in z
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.090 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [taylor]: Taking taylor expansion of 0 in z
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.091 * [taylor]: Taking taylor expansion of 0 in z
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
0.092 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
0.092 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
0.092 * [taylor]: Taking taylor expansion of -1 in z
0.092 * [backup-simplify]: Simplify -1 into -1
0.092 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 1 into 1
0.092 * [taylor]: Taking taylor expansion of (* x y) in z
0.092 * [taylor]: Taking taylor expansion of x in z
0.092 * [backup-simplify]: Simplify x into x
0.092 * [taylor]: Taking taylor expansion of y in z
0.092 * [backup-simplify]: Simplify y into y
0.092 * [backup-simplify]: Simplify (* x y) into (* x y)
0.092 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
0.092 * [taylor]: Taking taylor expansion of -1 in y
0.092 * [backup-simplify]: Simplify -1 into -1
0.092 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
0.092 * [taylor]: Taking taylor expansion of z in y
0.092 * [backup-simplify]: Simplify z into z
0.092 * [taylor]: Taking taylor expansion of (* x y) in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [backup-simplify]: Simplify x into x
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 1 into 1
0.092 * [backup-simplify]: Simplify (* x 0) into 0
0.093 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.093 * [backup-simplify]: Simplify (/ z x) into (/ z x)
0.093 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.093 * [taylor]: Taking taylor expansion of -1 in x
0.093 * [backup-simplify]: Simplify -1 into -1
0.093 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.093 * [taylor]: Taking taylor expansion of z in x
0.093 * [backup-simplify]: Simplify z into z
0.093 * [taylor]: Taking taylor expansion of (* x y) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 1 into 1
0.093 * [taylor]: Taking taylor expansion of y in x
0.093 * [backup-simplify]: Simplify y into y
0.093 * [backup-simplify]: Simplify (* 0 y) into 0
0.093 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.093 * [backup-simplify]: Simplify (/ z y) into (/ z y)
0.093 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
0.093 * [taylor]: Taking taylor expansion of -1 in x
0.093 * [backup-simplify]: Simplify -1 into -1
0.093 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
0.093 * [taylor]: Taking taylor expansion of z in x
0.093 * [backup-simplify]: Simplify z into z
0.093 * [taylor]: Taking taylor expansion of (* x y) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 1 into 1
0.094 * [taylor]: Taking taylor expansion of y in x
0.094 * [backup-simplify]: Simplify y into y
0.094 * [backup-simplify]: Simplify (* 0 y) into 0
0.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.094 * [backup-simplify]: Simplify (/ z y) into (/ z y)
0.094 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
0.094 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
0.094 * [taylor]: Taking taylor expansion of -1 in y
0.094 * [backup-simplify]: Simplify -1 into -1
0.094 * [taylor]: Taking taylor expansion of (/ z y) in y
0.094 * [taylor]: Taking taylor expansion of z in y
0.094 * [backup-simplify]: Simplify z into z
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 1 into 1
0.094 * [backup-simplify]: Simplify (/ z 1) into z
0.094 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
0.094 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.094 * [taylor]: Taking taylor expansion of -1 in z
0.094 * [backup-simplify]: Simplify -1 into -1
0.094 * [taylor]: Taking taylor expansion of z in z
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
0.095 * [backup-simplify]: Simplify -1 into -1
0.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.096 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
0.096 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
0.096 * [taylor]: Taking taylor expansion of 0 in y
0.096 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
0.097 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
0.097 * [taylor]: Taking taylor expansion of 0 in z
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
0.098 * [backup-simplify]: Simplify 0 into 0
0.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.100 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [taylor]: Taking taylor expansion of 0 in z
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.101 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
0.101 * [taylor]: Taking taylor expansion of 0 in z
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
0.102 * * * [progress]: simplifying candidates
0.103 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (/ (* x y) z))))>
0.103 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (/ (* x y) z))))>
0.103 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (x y z) (pow (/ (* x y) z) 1))>
0.103 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log x) (log y)) (log z))))>
0.103 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log (* x y)) (log z))))>
0.103 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (x y z) (exp (log (/ (* x y) z))))>
0.103 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (x y z) (log (exp (/ (* x y) z))))>
0.103 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))))>
0.103 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))))>
0.103 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z))))>
0.103 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))))>
0.103 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z))))>
0.103 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (- (* x y)) (- z)))>
0.103 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z))))>
0.103 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (/ x (sqrt z)) (/ y (sqrt z))))>
0.103 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (/ x 1) (/ y z)))>
0.103 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ (* x y) z)))>
0.103 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (x y z) (* (* x y) (/ 1 z)))>
0.103 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
0.104 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (/ (* x y) (* (cbrt z) (cbrt z))) (cbrt z)))>
0.104 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (/ (* x y) (sqrt z)) (sqrt z)))>
0.104 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (/ (* x y) 1) z))>
0.104 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ x (/ z y)))>
0.104 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (/ (* x y) z))))>
0.104 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
0.104 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
0.104 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
0.105 * [simplify]: Simplifying:
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (real->posit16 (/ (* x y) z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
0.105 * * [simplify]: iteration 0: 51 enodes
0.122 * * [simplify]: iteration 1: 121 enodes
0.176 * * [simplify]: iteration 2: 461 enodes
0.631 * * [simplify]: iteration 3: 2113 enodes
1.596 * * [simplify]: iteration complete: 5017 enodes
1.596 * * [simplify]: Extracting #0: cost 24 inf + 0
1.603 * * [simplify]: Extracting #1: cost 1029 inf + 1
1.610 * * [simplify]: Extracting #2: cost 1798 inf + 3470
1.634 * * [simplify]: Extracting #3: cost 896 inf + 122889
1.700 * * [simplify]: Extracting #4: cost 66 inf + 267436
1.777 * * [simplify]: Extracting #5: cost 0 inf + 280848
1.880 * * [simplify]: Extracting #6: cost 0 inf + 280808
1.948 * [simplify]: Simplified to:
  (expm1 (/ x (/ z y)))
  (log1p (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (log (/ x (/ z y)))
  (exp (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (* (cbrt (/ x (/ z y))) (cbrt (/ x (/ z y))))
  (cbrt (/ x (/ z y)))
  (* (* (/ x (/ z y)) (/ x (/ z y))) (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (sqrt (/ x (/ z y)))
  (- (* y x))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* (/ y (cbrt z)) x) (cbrt z))
  (* (/ x (sqrt z)) y)
  (* x y)
  (/ z y)
  (real->posit16 (/ x (/ z y)))
  (/ x (/ z y))
  (/ x (/ z y))
  (/ x (/ z y))
1.948 * * * [progress]: adding candidates to table
2.033 * * [progress]: iteration 2 / 4
2.033 * * * [progress]: picking best candidate
2.059 * * * * [pick]: Picked  #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
2.059 * * * [progress]: localizing error
2.077 * * * [progress]: generating rewritten candidates
2.077 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.090 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.116 * * * [progress]: generating series expansions
2.116 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.116 * [backup-simplify]: Simplify (/ z (* x y)) into (/ z (* x y))
2.116 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
2.116 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.116 * [taylor]: Taking taylor expansion of z in y
2.116 * [backup-simplify]: Simplify z into z
2.116 * [taylor]: Taking taylor expansion of (* x y) in y
2.117 * [taylor]: Taking taylor expansion of x in y
2.117 * [backup-simplify]: Simplify x into x
2.117 * [taylor]: Taking taylor expansion of y in y
2.117 * [backup-simplify]: Simplify 0 into 0
2.117 * [backup-simplify]: Simplify 1 into 1
2.117 * [backup-simplify]: Simplify (* x 0) into 0
2.118 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.118 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.118 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.118 * [taylor]: Taking taylor expansion of z in x
2.118 * [backup-simplify]: Simplify z into z
2.118 * [taylor]: Taking taylor expansion of (* x y) in x
2.118 * [taylor]: Taking taylor expansion of x in x
2.118 * [backup-simplify]: Simplify 0 into 0
2.118 * [backup-simplify]: Simplify 1 into 1
2.118 * [taylor]: Taking taylor expansion of y in x
2.118 * [backup-simplify]: Simplify y into y
2.118 * [backup-simplify]: Simplify (* 0 y) into 0
2.119 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.119 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.119 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.119 * [taylor]: Taking taylor expansion of z in z
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [taylor]: Taking taylor expansion of (* x y) in z
2.119 * [taylor]: Taking taylor expansion of x in z
2.119 * [backup-simplify]: Simplify x into x
2.119 * [taylor]: Taking taylor expansion of y in z
2.119 * [backup-simplify]: Simplify y into y
2.119 * [backup-simplify]: Simplify (* x y) into (* x y)
2.119 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.119 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.119 * [taylor]: Taking taylor expansion of z in z
2.119 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [taylor]: Taking taylor expansion of (* x y) in z
2.120 * [taylor]: Taking taylor expansion of x in z
2.120 * [backup-simplify]: Simplify x into x
2.120 * [taylor]: Taking taylor expansion of y in z
2.120 * [backup-simplify]: Simplify y into y
2.120 * [backup-simplify]: Simplify (* x y) into (* x y)
2.120 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.120 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.120 * [taylor]: Taking taylor expansion of (* x y) in x
2.120 * [taylor]: Taking taylor expansion of x in x
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [taylor]: Taking taylor expansion of y in x
2.120 * [backup-simplify]: Simplify y into y
2.120 * [backup-simplify]: Simplify (* 0 y) into 0
2.121 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.121 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.121 * [taylor]: Taking taylor expansion of y in y
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify 1 into 1
2.128 * [backup-simplify]: Simplify (/ 1 1) into 1
2.128 * [backup-simplify]: Simplify 1 into 1
2.129 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.129 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
2.129 * [taylor]: Taking taylor expansion of 0 in x
2.129 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.130 * [taylor]: Taking taylor expansion of 0 in y
2.130 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.131 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.132 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.132 * [taylor]: Taking taylor expansion of 0 in x
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [taylor]: Taking taylor expansion of 0 in y
2.132 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.133 * [taylor]: Taking taylor expansion of 0 in y
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
2.135 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.135 * [taylor]: Taking taylor expansion of 0 in x
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [taylor]: Taking taylor expansion of 0 in y
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [taylor]: Taking taylor expansion of 0 in y
2.135 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.137 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.137 * [taylor]: Taking taylor expansion of 0 in y
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y))
2.137 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 x) (/ 1 y))) into (/ (* x y) z)
2.137 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
2.137 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.137 * [taylor]: Taking taylor expansion of (* x y) in y
2.137 * [taylor]: Taking taylor expansion of x in y
2.137 * [backup-simplify]: Simplify x into x
2.137 * [taylor]: Taking taylor expansion of y in y
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 1 into 1
2.137 * [taylor]: Taking taylor expansion of z in y
2.137 * [backup-simplify]: Simplify z into z
2.137 * [backup-simplify]: Simplify (* x 0) into 0
2.138 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.138 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.138 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.138 * [taylor]: Taking taylor expansion of (* x y) in x
2.138 * [taylor]: Taking taylor expansion of x in x
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 1 into 1
2.138 * [taylor]: Taking taylor expansion of y in x
2.138 * [backup-simplify]: Simplify y into y
2.138 * [taylor]: Taking taylor expansion of z in x
2.138 * [backup-simplify]: Simplify z into z
2.138 * [backup-simplify]: Simplify (* 0 y) into 0
2.139 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.139 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.139 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.139 * [taylor]: Taking taylor expansion of (* x y) in z
2.139 * [taylor]: Taking taylor expansion of x in z
2.139 * [backup-simplify]: Simplify x into x
2.139 * [taylor]: Taking taylor expansion of y in z
2.139 * [backup-simplify]: Simplify y into y
2.139 * [taylor]: Taking taylor expansion of z in z
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 1 into 1
2.139 * [backup-simplify]: Simplify (* x y) into (* x y)
2.139 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.139 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.139 * [taylor]: Taking taylor expansion of (* x y) in z
2.139 * [taylor]: Taking taylor expansion of x in z
2.139 * [backup-simplify]: Simplify x into x
2.139 * [taylor]: Taking taylor expansion of y in z
2.139 * [backup-simplify]: Simplify y into y
2.139 * [taylor]: Taking taylor expansion of z in z
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 1 into 1
2.139 * [backup-simplify]: Simplify (* x y) into (* x y)
2.139 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.139 * [taylor]: Taking taylor expansion of (* x y) in x
2.139 * [taylor]: Taking taylor expansion of x in x
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 1 into 1
2.139 * [taylor]: Taking taylor expansion of y in x
2.139 * [backup-simplify]: Simplify y into y
2.140 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.140 * [taylor]: Taking taylor expansion of y in y
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
2.141 * [taylor]: Taking taylor expansion of 0 in x
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [taylor]: Taking taylor expansion of 0 in y
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.141 * [taylor]: Taking taylor expansion of 0 in y
2.141 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify 0 into 0
2.142 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.143 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.143 * [taylor]: Taking taylor expansion of 0 in x
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [taylor]: Taking taylor expansion of 0 in y
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [taylor]: Taking taylor expansion of 0 in y
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.144 * [taylor]: Taking taylor expansion of 0 in y
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y))
2.145 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (* x y) z))
2.145 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
2.145 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y
2.145 * [taylor]: Taking taylor expansion of -1 in y
2.145 * [backup-simplify]: Simplify -1 into -1
2.145 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.145 * [taylor]: Taking taylor expansion of (* x y) in y
2.145 * [taylor]: Taking taylor expansion of x in y
2.145 * [backup-simplify]: Simplify x into x
2.145 * [taylor]: Taking taylor expansion of y in y
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [taylor]: Taking taylor expansion of z in y
2.145 * [backup-simplify]: Simplify z into z
2.145 * [backup-simplify]: Simplify (* x 0) into 0
2.145 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.145 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.145 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x
2.145 * [taylor]: Taking taylor expansion of -1 in x
2.145 * [backup-simplify]: Simplify -1 into -1
2.145 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.145 * [taylor]: Taking taylor expansion of (* x y) in x
2.145 * [taylor]: Taking taylor expansion of x in x
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [taylor]: Taking taylor expansion of y in x
2.145 * [backup-simplify]: Simplify y into y
2.145 * [taylor]: Taking taylor expansion of z in x
2.146 * [backup-simplify]: Simplify z into z
2.146 * [backup-simplify]: Simplify (* 0 y) into 0
2.146 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.146 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.146 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
2.146 * [taylor]: Taking taylor expansion of -1 in z
2.146 * [backup-simplify]: Simplify -1 into -1
2.146 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.146 * [taylor]: Taking taylor expansion of (* x y) in z
2.146 * [taylor]: Taking taylor expansion of x in z
2.146 * [backup-simplify]: Simplify x into x
2.146 * [taylor]: Taking taylor expansion of y in z
2.146 * [backup-simplify]: Simplify y into y
2.146 * [taylor]: Taking taylor expansion of z in z
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (* x y) into (* x y)
2.146 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.146 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
2.146 * [taylor]: Taking taylor expansion of -1 in z
2.146 * [backup-simplify]: Simplify -1 into -1
2.146 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.146 * [taylor]: Taking taylor expansion of (* x y) in z
2.146 * [taylor]: Taking taylor expansion of x in z
2.146 * [backup-simplify]: Simplify x into x
2.146 * [taylor]: Taking taylor expansion of y in z
2.146 * [backup-simplify]: Simplify y into y
2.146 * [taylor]: Taking taylor expansion of z in z
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (* x y) into (* x y)
2.147 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.147 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y))
2.147 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x
2.147 * [taylor]: Taking taylor expansion of -1 in x
2.147 * [backup-simplify]: Simplify -1 into -1
2.147 * [taylor]: Taking taylor expansion of (* x y) in x
2.147 * [taylor]: Taking taylor expansion of x in x
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify 1 into 1
2.147 * [taylor]: Taking taylor expansion of y in x
2.147 * [backup-simplify]: Simplify y into y
2.147 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.147 * [backup-simplify]: Simplify (* 0 y) into 0
2.148 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
2.148 * [taylor]: Taking taylor expansion of (- y) in y
2.148 * [taylor]: Taking taylor expansion of y in y
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 1 into 1
2.148 * [backup-simplify]: Simplify (- 1) into -1
2.148 * [backup-simplify]: Simplify -1 into -1
2.148 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
2.149 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0
2.149 * [taylor]: Taking taylor expansion of 0 in x
2.149 * [backup-simplify]: Simplify 0 into 0
2.149 * [taylor]: Taking taylor expansion of 0 in y
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.151 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0
2.151 * [taylor]: Taking taylor expansion of 0 in y
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify (- 0) into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.154 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
2.154 * [taylor]: Taking taylor expansion of 0 in x
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [taylor]: Taking taylor expansion of 0 in y
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [taylor]: Taking taylor expansion of 0 in y
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.156 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
2.156 * [taylor]: Taking taylor expansion of 0 in y
2.156 * [backup-simplify]: Simplify 0 into 0
2.156 * [backup-simplify]: Simplify 0 into 0
2.156 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
2.156 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.157 * [backup-simplify]: Simplify (/ 1 (/ z (* x y))) into (/ (* x y) z)
2.157 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
2.157 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
2.157 * [taylor]: Taking taylor expansion of (* x y) in y
2.157 * [taylor]: Taking taylor expansion of x in y
2.157 * [backup-simplify]: Simplify x into x
2.157 * [taylor]: Taking taylor expansion of y in y
2.157 * [backup-simplify]: Simplify 0 into 0
2.157 * [backup-simplify]: Simplify 1 into 1
2.157 * [taylor]: Taking taylor expansion of z in y
2.157 * [backup-simplify]: Simplify z into z
2.157 * [backup-simplify]: Simplify (* x 0) into 0
2.158 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.158 * [backup-simplify]: Simplify (/ x z) into (/ x z)
2.158 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
2.158 * [taylor]: Taking taylor expansion of (* x y) in x
2.158 * [taylor]: Taking taylor expansion of x in x
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify 1 into 1
2.158 * [taylor]: Taking taylor expansion of y in x
2.158 * [backup-simplify]: Simplify y into y
2.158 * [taylor]: Taking taylor expansion of z in x
2.158 * [backup-simplify]: Simplify z into z
2.158 * [backup-simplify]: Simplify (* 0 y) into 0
2.159 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.159 * [backup-simplify]: Simplify (/ y z) into (/ y z)
2.159 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.159 * [taylor]: Taking taylor expansion of (* x y) in z
2.159 * [taylor]: Taking taylor expansion of x in z
2.159 * [backup-simplify]: Simplify x into x
2.159 * [taylor]: Taking taylor expansion of y in z
2.159 * [backup-simplify]: Simplify y into y
2.159 * [taylor]: Taking taylor expansion of z in z
2.159 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify 1 into 1
2.159 * [backup-simplify]: Simplify (* x y) into (* x y)
2.159 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.159 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
2.159 * [taylor]: Taking taylor expansion of (* x y) in z
2.159 * [taylor]: Taking taylor expansion of x in z
2.159 * [backup-simplify]: Simplify x into x
2.159 * [taylor]: Taking taylor expansion of y in z
2.159 * [backup-simplify]: Simplify y into y
2.159 * [taylor]: Taking taylor expansion of z in z
2.159 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify 1 into 1
2.159 * [backup-simplify]: Simplify (* x y) into (* x y)
2.159 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.159 * [taylor]: Taking taylor expansion of (* x y) in x
2.159 * [taylor]: Taking taylor expansion of x in x
2.159 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify 1 into 1
2.160 * [taylor]: Taking taylor expansion of y in x
2.160 * [backup-simplify]: Simplify y into y
2.160 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.160 * [taylor]: Taking taylor expansion of y in y
2.160 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify 1 into 1
2.160 * [backup-simplify]: Simplify 1 into 1
2.161 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
2.162 * [taylor]: Taking taylor expansion of 0 in x
2.162 * [backup-simplify]: Simplify 0 into 0
2.162 * [taylor]: Taking taylor expansion of 0 in y
2.162 * [backup-simplify]: Simplify 0 into 0
2.162 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.163 * [taylor]: Taking taylor expansion of 0 in y
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.165 * [taylor]: Taking taylor expansion of 0 in x
2.166 * [backup-simplify]: Simplify 0 into 0
2.166 * [taylor]: Taking taylor expansion of 0 in y
2.166 * [backup-simplify]: Simplify 0 into 0
2.166 * [backup-simplify]: Simplify 0 into 0
2.166 * [taylor]: Taking taylor expansion of 0 in y
2.166 * [backup-simplify]: Simplify 0 into 0
2.166 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.167 * [taylor]: Taking taylor expansion of 0 in y
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
2.167 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 x) (/ 1 y)))) into (/ z (* x y))
2.167 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
2.167 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.167 * [taylor]: Taking taylor expansion of z in y
2.167 * [backup-simplify]: Simplify z into z
2.167 * [taylor]: Taking taylor expansion of (* x y) in y
2.167 * [taylor]: Taking taylor expansion of x in y
2.167 * [backup-simplify]: Simplify x into x
2.167 * [taylor]: Taking taylor expansion of y in y
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 1 into 1
2.167 * [backup-simplify]: Simplify (* x 0) into 0
2.168 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.168 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.168 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.168 * [taylor]: Taking taylor expansion of z in x
2.168 * [backup-simplify]: Simplify z into z
2.168 * [taylor]: Taking taylor expansion of (* x y) in x
2.168 * [taylor]: Taking taylor expansion of x in x
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [taylor]: Taking taylor expansion of y in x
2.168 * [backup-simplify]: Simplify y into y
2.168 * [backup-simplify]: Simplify (* 0 y) into 0
2.168 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.168 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.169 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.169 * [taylor]: Taking taylor expansion of z in z
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [taylor]: Taking taylor expansion of (* x y) in z
2.169 * [taylor]: Taking taylor expansion of x in z
2.169 * [backup-simplify]: Simplify x into x
2.169 * [taylor]: Taking taylor expansion of y in z
2.169 * [backup-simplify]: Simplify y into y
2.169 * [backup-simplify]: Simplify (* x y) into (* x y)
2.169 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.169 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.169 * [taylor]: Taking taylor expansion of z in z
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [taylor]: Taking taylor expansion of (* x y) in z
2.169 * [taylor]: Taking taylor expansion of x in z
2.169 * [backup-simplify]: Simplify x into x
2.169 * [taylor]: Taking taylor expansion of y in z
2.169 * [backup-simplify]: Simplify y into y
2.169 * [backup-simplify]: Simplify (* x y) into (* x y)
2.169 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.169 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.169 * [taylor]: Taking taylor expansion of (* x y) in x
2.169 * [taylor]: Taking taylor expansion of x in x
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [taylor]: Taking taylor expansion of y in x
2.169 * [backup-simplify]: Simplify y into y
2.169 * [backup-simplify]: Simplify (* 0 y) into 0
2.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.170 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.170 * [taylor]: Taking taylor expansion of y in y
2.170 * [backup-simplify]: Simplify 0 into 0
2.170 * [backup-simplify]: Simplify 1 into 1
2.170 * [backup-simplify]: Simplify (/ 1 1) into 1
2.170 * [backup-simplify]: Simplify 1 into 1
2.170 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.170 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
2.170 * [taylor]: Taking taylor expansion of 0 in x
2.170 * [backup-simplify]: Simplify 0 into 0
2.171 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.171 * [taylor]: Taking taylor expansion of 0 in y
2.171 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.173 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.173 * [taylor]: Taking taylor expansion of 0 in x
2.173 * [backup-simplify]: Simplify 0 into 0
2.173 * [taylor]: Taking taylor expansion of 0 in y
2.173 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.174 * [taylor]: Taking taylor expansion of 0 in y
2.174 * [backup-simplify]: Simplify 0 into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.175 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
2.176 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.176 * [taylor]: Taking taylor expansion of 0 in x
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [taylor]: Taking taylor expansion of 0 in y
2.176 * [backup-simplify]: Simplify 0 into 0
2.176 * [taylor]: Taking taylor expansion of 0 in y
2.176 * [backup-simplify]: Simplify 0 into 0
2.177 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.177 * [taylor]: Taking taylor expansion of 0 in y
2.177 * [backup-simplify]: Simplify 0 into 0
2.177 * [backup-simplify]: Simplify 0 into 0
2.177 * [backup-simplify]: Simplify 0 into 0
2.177 * [backup-simplify]: Simplify 0 into 0
2.178 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
2.178 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ z (* x y)))
2.178 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
2.178 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
2.178 * [taylor]: Taking taylor expansion of -1 in y
2.178 * [backup-simplify]: Simplify -1 into -1
2.178 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
2.178 * [taylor]: Taking taylor expansion of z in y
2.178 * [backup-simplify]: Simplify z into z
2.178 * [taylor]: Taking taylor expansion of (* x y) in y
2.178 * [taylor]: Taking taylor expansion of x in y
2.178 * [backup-simplify]: Simplify x into x
2.178 * [taylor]: Taking taylor expansion of y in y
2.178 * [backup-simplify]: Simplify 0 into 0
2.178 * [backup-simplify]: Simplify 1 into 1
2.178 * [backup-simplify]: Simplify (* x 0) into 0
2.179 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.179 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.179 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
2.179 * [taylor]: Taking taylor expansion of -1 in x
2.179 * [backup-simplify]: Simplify -1 into -1
2.179 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
2.179 * [taylor]: Taking taylor expansion of z in x
2.179 * [backup-simplify]: Simplify z into z
2.179 * [taylor]: Taking taylor expansion of (* x y) in x
2.179 * [taylor]: Taking taylor expansion of x in x
2.179 * [backup-simplify]: Simplify 0 into 0
2.179 * [backup-simplify]: Simplify 1 into 1
2.179 * [taylor]: Taking taylor expansion of y in x
2.179 * [backup-simplify]: Simplify y into y
2.179 * [backup-simplify]: Simplify (* 0 y) into 0
2.179 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.179 * [backup-simplify]: Simplify (/ z y) into (/ z y)
2.179 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.179 * [taylor]: Taking taylor expansion of -1 in z
2.179 * [backup-simplify]: Simplify -1 into -1
2.180 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.180 * [taylor]: Taking taylor expansion of z in z
2.180 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify 1 into 1
2.180 * [taylor]: Taking taylor expansion of (* x y) in z
2.180 * [taylor]: Taking taylor expansion of x in z
2.180 * [backup-simplify]: Simplify x into x
2.180 * [taylor]: Taking taylor expansion of y in z
2.180 * [backup-simplify]: Simplify y into y
2.180 * [backup-simplify]: Simplify (* x y) into (* x y)
2.180 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.180 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
2.180 * [taylor]: Taking taylor expansion of -1 in z
2.180 * [backup-simplify]: Simplify -1 into -1
2.180 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
2.180 * [taylor]: Taking taylor expansion of z in z
2.180 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify 1 into 1
2.180 * [taylor]: Taking taylor expansion of (* x y) in z
2.180 * [taylor]: Taking taylor expansion of x in z
2.180 * [backup-simplify]: Simplify x into x
2.180 * [taylor]: Taking taylor expansion of y in z
2.180 * [backup-simplify]: Simplify y into y
2.180 * [backup-simplify]: Simplify (* x y) into (* x y)
2.180 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.180 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
2.180 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
2.180 * [taylor]: Taking taylor expansion of -1 in x
2.180 * [backup-simplify]: Simplify -1 into -1
2.180 * [taylor]: Taking taylor expansion of (* x y) in x
2.180 * [taylor]: Taking taylor expansion of x in x
2.180 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify 1 into 1
2.180 * [taylor]: Taking taylor expansion of y in x
2.180 * [backup-simplify]: Simplify y into y
2.180 * [backup-simplify]: Simplify (* 0 y) into 0
2.181 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.181 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.181 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.181 * [taylor]: Taking taylor expansion of -1 in y
2.181 * [backup-simplify]: Simplify -1 into -1
2.181 * [taylor]: Taking taylor expansion of y in y
2.181 * [backup-simplify]: Simplify 0 into 0
2.181 * [backup-simplify]: Simplify 1 into 1
2.181 * [backup-simplify]: Simplify (/ -1 1) into -1
2.181 * [backup-simplify]: Simplify -1 into -1
2.181 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
2.182 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
2.182 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
2.182 * [taylor]: Taking taylor expansion of 0 in x
2.182 * [backup-simplify]: Simplify 0 into 0
2.183 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.183 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.183 * [taylor]: Taking taylor expansion of 0 in y
2.183 * [backup-simplify]: Simplify 0 into 0
2.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.184 * [backup-simplify]: Simplify 0 into 0
2.184 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
2.184 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.185 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
2.185 * [taylor]: Taking taylor expansion of 0 in x
2.185 * [backup-simplify]: Simplify 0 into 0
2.185 * [taylor]: Taking taylor expansion of 0 in y
2.185 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.186 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.186 * [taylor]: Taking taylor expansion of 0 in y
2.186 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.187 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
2.188 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
2.189 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
2.189 * [taylor]: Taking taylor expansion of 0 in x
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [taylor]: Taking taylor expansion of 0 in y
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [taylor]: Taking taylor expansion of 0 in y
2.189 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.190 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.190 * [taylor]: Taking taylor expansion of 0 in y
2.190 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify 0 into 0
2.191 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
2.191 * * * [progress]: simplifying candidates
2.191 * * * * [progress]: [ 1 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (log1p (expm1 (/ z (* x y))))))>
2.191 * * * * [progress]: [ 2 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (expm1 (log1p (/ z (* x y))))))>
2.191 * * * * [progress]: [ 3 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (pow (/ z (* x y)) 1)))>
2.191 * * * * [progress]: [ 4 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (- (log z) (+ (log x) (log y))))))>
2.191 * * * * [progress]: [ 5 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (- (log z) (log (* x y))))))>
2.191 * * * * [progress]: [ 6 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (log (/ z (* x y))))))>
2.191 * * * * [progress]: [ 7 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (log (exp (/ z (* x y))))))>
2.191 * * * * [progress]: [ 8 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))))))>
2.191 * * * * [progress]: [ 9 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))))))>
2.191 * * * * [progress]: [ 10 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))))))>
2.191 * * * * [progress]: [ 11 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))))>
2.191 * * * * [progress]: [ 12 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (sqrt (/ z (* x y))) (sqrt (/ z (* x y))))))>
2.191 * * * * [progress]: [ 13 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (- z) (- (* x y)))))>
2.191 * * * * [progress]: [ 14 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (/ (* (cbrt z) (cbrt z)) x) (/ (cbrt z) y))))>
2.191 * * * * [progress]: [ 15 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (/ (sqrt z) x) (/ (sqrt z) y))))>
2.191 * * * * [progress]: [ 16 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (/ 1 x) (/ z y))))>
2.191 * * * * [progress]: [ 17 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* 1 (/ z (* x y)))))>
2.191 * * * * [progress]: [ 18 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))>
2.192 * * * * [progress]: [ 19 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ 1 (/ (* x y) z))))>
2.192 * * * * [progress]: [ 20 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (/ z x) y)))>
2.192 * * * * [progress]: [ 21 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (* (cbrt z) (cbrt z)) (/ (* x y) (cbrt z)))))>
2.192 * * * * [progress]: [ 22 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (sqrt z) (/ (* x y) (sqrt z)))))>
2.192 * * * * [progress]: [ 23 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ 1 (/ (* x y) z))))>
2.192 * * * * [progress]: [ 24 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (posit16->real (real->posit16 (/ z (* x y))))))>
2.192 * * * * [progress]: [ 25 / 89 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (/ 1 (/ z (* x y))))))>
2.192 * * * * [progress]: [ 26 / 89 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (/ 1 (/ z (* x y))))))>
2.192 * * * * [progress]: [ 27 / 89 ] simplifiying candidate #<alt (λ (x y z) (pow (/ z (* x y)) -1))>
2.192 * * * * [progress]: [ 28 / 89 ] simplifiying candidate #<alt (λ (x y z) (pow (/ z (* x y)) (- 1)))>
2.192 * * * * [progress]: [ 29 / 89 ] simplifiying candidate #<alt (λ (x y z) (pow (/ 1 (/ z (* x y))) 1))>
2.192 * * * * [progress]: [ 30 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (- (log z) (+ (log x) (log y))))))>
2.192 * * * * [progress]: [ 31 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (- (log z) (log (* x y))))))>
2.192 * * * * [progress]: [ 32 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log (/ z (* x y))))))>
2.192 * * * * [progress]: [ 33 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (- (log z) (+ (log x) (log y))))))>
2.192 * * * * [progress]: [ 34 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (- (log z) (log (* x y))))))>
2.192 * * * * [progress]: [ 35 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (log (/ z (* x y))))))>
2.193 * * * * [progress]: [ 36 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (- (log z) (+ (log x) (log y))))))>
2.193 * * * * [progress]: [ 37 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (- (log z) (log (* x y))))))>
2.193 * * * * [progress]: [ 38 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (log (/ z (* x y))))))>
2.193 * * * * [progress]: [ 39 / 89 ] simplifiying candidate #<alt (λ (x y z) (exp (log (/ 1 (/ z (* x y))))))>
2.193 * * * * [progress]: [ 40 / 89 ] simplifiying candidate #<alt (λ (x y z) (log (exp (/ 1 (/ z (* x y))))))>
2.193 * * * * [progress]: [ 41 / 89 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))))))>
2.193 * * * * [progress]: [ 42 / 89 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))))))>
2.193 * * * * [progress]: [ 43 / 89 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))))>
2.193 * * * * [progress]: [ 44 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))>
2.193 * * * * [progress]: [ 45 / 89 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y))))))>
2.193 * * * * [progress]: [ 46 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (/ 1 (/ z (* x y)))) (sqrt (/ 1 (/ z (* x y))))))>
2.193 * * * * [progress]: [ 47 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (- 1) (- (/ z (* x y)))))>
2.193 * * * * [progress]: [ 48 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (cbrt 1) (cbrt (/ z (* x y))))))>
2.193 * * * * [progress]: [ 49 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y)))) (/ (cbrt 1) (sqrt (/ z (* x y))))))>
2.193 * * * * [progress]: [ 50 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x)) (/ (cbrt 1) (/ (cbrt z) y))))>
2.193 * * * * [progress]: [ 51 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x)) (/ (cbrt 1) (/ (sqrt z) y))))>
2.193 * * * * [progress]: [ 52 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) (/ 1 x)) (/ (cbrt 1) (/ z y))))>
2.194 * * * * [progress]: [ 53 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ z (* x y)))))>
2.194 * * * * [progress]: [ 54 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* x y)))))>
2.194 * * * * [progress]: [ 55 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ (sqrt 1) (cbrt (/ z (* x y))))))>
2.194 * * * * [progress]: [ 56 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) (sqrt (/ z (* x y)))) (/ (sqrt 1) (sqrt (/ z (* x y))))))>
2.194 * * * * [progress]: [ 57 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) x)) (/ (sqrt 1) (/ (cbrt z) y))))>
2.194 * * * * [progress]: [ 58 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) (/ (sqrt z) x)) (/ (sqrt 1) (/ (sqrt z) y))))>
2.194 * * * * [progress]: [ 59 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) (/ 1 x)) (/ (sqrt 1) (/ z y))))>
2.194 * * * * [progress]: [ 60 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) 1) (/ (sqrt 1) (/ z (* x y)))))>
2.194 * * * * [progress]: [ 61 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* x y)))))>
2.194 * * * * [progress]: [ 62 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (/ 1 (cbrt (/ z (* x y))))))>
2.194 * * * * [progress]: [ 63 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (sqrt (/ z (* x y)))) (/ 1 (sqrt (/ z (* x y))))))>
2.194 * * * * [progress]: [ 64 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ 1 (/ (cbrt z) y))))>
2.194 * * * * [progress]: [ 65 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (/ (sqrt z) x)) (/ 1 (/ (sqrt z) y))))>
2.194 * * * * [progress]: [ 66 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (/ 1 x)) (/ 1 (/ z y))))>
2.194 * * * * [progress]: [ 67 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 1) (/ 1 (/ z (* x y)))))>
2.194 * * * * [progress]: [ 68 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 z) (/ 1 (/ 1 (* x y)))))>
2.195 * * * * [progress]: [ 69 / 89 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ 1 (/ z (* x y)))))>
2.195 * * * * [progress]: [ 70 / 89 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ 1 (/ z (* x y)))))>
2.195 * * * * [progress]: [ 71 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (/ z (* x y)) 1)))>
2.195 * * * * [progress]: [ 72 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))) (cbrt (/ z (* x y)))))>
2.195 * * * * [progress]: [ 73 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 (sqrt (/ z (* x y)))) (sqrt (/ z (* x y)))))>
2.195 * * * * [progress]: [ 74 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 (/ (* (cbrt z) (cbrt z)) x)) (/ (cbrt z) y)))>
2.195 * * * * [progress]: [ 75 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 (/ (sqrt z) x)) (/ (sqrt z) y)))>
2.195 * * * * [progress]: [ 76 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 (/ 1 x)) (/ z y)))>
2.195 * * * * [progress]: [ 77 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 1) (/ z (* x y))))>
2.195 * * * * [progress]: [ 78 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 z) (/ 1 (* x y))))>
2.195 * * * * [progress]: [ 79 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (* (cbrt 1) (cbrt 1)) (/ (/ z (* x y)) (cbrt 1))))>
2.195 * * * * [progress]: [ 80 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (sqrt 1) (/ (/ z (* x y)) (sqrt 1))))>
2.195 * * * * [progress]: [ 81 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (/ z (* x y)) 1)))>
2.195 * * * * [progress]: [ 82 / 89 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 z) (* x y)))>
2.195 * * * * [progress]: [ 83 / 89 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (/ 1 (/ z (* x y))))))>
2.195 * * * * [progress]: [ 84 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
2.195 * * * * [progress]: [ 85 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
2.196 * * * * [progress]: [ 86 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
2.196 * * * * [progress]: [ 87 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
2.196 * * * * [progress]: [ 88 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
2.196 * * * * [progress]: [ 89 / 89 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
2.197 * [simplify]: Simplifying:
  (expm1 (/ z (* x y)))
  (log1p (/ z (* x y)))
  (- (log z) (+ (log x) (log y)))
  (- (log z) (log (* x y)))
  (log (/ z (* x y)))
  (exp (/ z (* x y)))
  (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y)))
  (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y))))
  (cbrt (/ z (* x y)))
  (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (sqrt (/ z (* x y)))
  (- z)
  (- (* x y))
  (/ (* (cbrt z) (cbrt z)) x)
  (/ (cbrt z) y)
  (/ (sqrt z) x)
  (/ (sqrt z) y)
  (/ 1 x)
  (/ z y)
  (/ 1 (* x y))
  (/ (* x y) z)
  (/ z x)
  (/ (* x y) (cbrt z))
  (/ (* x y) (sqrt z))
  (/ (* x y) z)
  (real->posit16 (/ z (* x y)))
  (expm1 (/ 1 (/ z (* x y))))
  (log1p (/ 1 (/ z (* x y))))
  (- 1)
  (- (- (log z) (+ (log x) (log y))))
  (- (- (log z) (log (* x y))))
  (- (log (/ z (* x y))))
  (- 0 (- (log z) (+ (log x) (log y))))
  (- 0 (- (log z) (log (* x y))))
  (- 0 (log (/ z (* x y))))
  (- (log 1) (- (log z) (+ (log x) (log y))))
  (- (log 1) (- (log z) (log (* x y))))
  (- (log 1) (log (/ z (* x y))))
  (log (/ 1 (/ z (* x y))))
  (exp (/ 1 (/ z (* x y))))
  (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x x) x) (* (* y y) y))))
  (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* x y) (* x y)) (* x y))))
  (/ (* (* 1 1) 1) (* (* (/ z (* x y)) (/ z (* x y))) (/ z (* x y))))
  (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y)))))
  (cbrt (/ 1 (/ z (* x y))))
  (* (* (/ 1 (/ z (* x y))) (/ 1 (/ z (* x y)))) (/ 1 (/ z (* x y))))
  (sqrt (/ 1 (/ z (* x y))))
  (sqrt (/ 1 (/ z (* x y))))
  (- 1)
  (- (/ z (* x y)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ (cbrt 1) (cbrt (/ z (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* x y))))
  (/ (cbrt 1) (sqrt (/ z (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) x))
  (/ (cbrt 1) (/ (cbrt z) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) x))
  (/ (cbrt 1) (/ (sqrt z) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 x))
  (/ (cbrt 1) (/ z y))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ z (* x y)))
  (/ (* (cbrt 1) (cbrt 1)) z)
  (/ (cbrt 1) (/ 1 (* x y)))
  (/ (sqrt 1) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ (sqrt 1) (cbrt (/ z (* x y))))
  (/ (sqrt 1) (sqrt (/ z (* x y))))
  (/ (sqrt 1) (sqrt (/ z (* x y))))
  (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) x))
  (/ (sqrt 1) (/ (cbrt z) y))
  (/ (sqrt 1) (/ (sqrt z) x))
  (/ (sqrt 1) (/ (sqrt z) y))
  (/ (sqrt 1) (/ 1 x))
  (/ (sqrt 1) (/ z y))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ z (* x y)))
  (/ (sqrt 1) z)
  (/ (sqrt 1) (/ 1 (* x y)))
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (cbrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (cbrt z) y))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ (sqrt z) y))
  (/ 1 (/ 1 x))
  (/ 1 (/ z y))
  (/ 1 1)
  (/ 1 (/ z (* x y)))
  (/ 1 z)
  (/ 1 (/ 1 (* x y)))
  (/ 1 (/ z (* x y)))
  (/ (/ z (* x y)) 1)
  (/ 1 (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))))
  (/ 1 (sqrt (/ z (* x y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) x))
  (/ 1 (/ (sqrt z) x))
  (/ 1 (/ 1 x))
  (/ 1 1)
  (/ 1 z)
  (/ (/ z (* x y)) (cbrt 1))
  (/ (/ z (* x y)) (sqrt 1))
  (/ (/ z (* x y)) 1)
  (/ 1 z)
  (real->posit16 (/ 1 (/ z (* x y))))
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
2.200 * * [simplify]: iteration 0: 124 enodes
2.270 * * [simplify]: iteration 1: 287 enodes
2.355 * * [simplify]: iteration 2: 950 enodes
4.033 * * [simplify]: iteration complete: 5000 enodes
4.034 * * [simplify]: Extracting #0: cost 48 inf + 0
4.037 * * [simplify]: Extracting #1: cost 839 inf + 45
4.060 * * [simplify]: Extracting #2: cost 1215 inf + 30728
4.122 * * [simplify]: Extracting #3: cost 367 inf + 154768
4.190 * * [simplify]: Extracting #4: cost 17 inf + 201007
4.253 * * [simplify]: Extracting #5: cost 0 inf + 204125
4.321 * * [simplify]: Extracting #6: cost 0 inf + 203925
4.415 * [simplify]: Simplified to:
  (expm1 (/ z (* y x)))
  (log1p (/ z (* y x)))
  (log (/ z (* y x)))
  (log (/ z (* y x)))
  (log (/ z (* y x)))
  (exp (/ z (* y x)))
  (* (/ z (* y x)) (* (/ z (* y x)) (/ z (* y x))))
  (* (/ z (* y x)) (* (/ z (* y x)) (/ z (* y x))))
  (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))
  (cbrt (/ z (* y x)))
  (* (/ z (* y x)) (* (/ z (* y x)) (/ z (* y x))))
  (sqrt (/ z (* y x)))
  (sqrt (/ z (* y x)))
  (- z)
  (- (* x y))
  (* (cbrt z) (/ (cbrt z) x))
  (/ (cbrt z) y)
  (/ (sqrt z) x)
  (/ (sqrt z) y)
  (/ 1 x)
  (/ z y)
  (/ (/ 1 x) y)
  (/ (* y x) z)
  (/ z x)
  (/ (* x y) (cbrt z))
  (/ (* y x) (sqrt z))
  (/ (* y x) z)
  (real->posit16 (/ z (* y x)))
  (expm1 (/ (* y x) z))
  (log1p (/ (* y x) z))
  -1
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (log (/ (* y x) z))
  (exp (/ (* y x) z))
  (* (/ (* y x) z) (* (/ (* y x) z) (/ (* y x) z)))
  (* (/ (* y x) z) (* (/ (* y x) z) (/ (* y x) z)))
  (* (/ (* y x) z) (* (/ (* y x) z) (/ (* y x) z)))
  (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z)))
  (cbrt (/ (* y x) z))
  (* (/ (* y x) z) (* (/ (* y x) z) (/ (* y x) z)))
  (sqrt (/ (* y x) z))
  (sqrt (/ (* y x) z))
  -1
  (/ (- z) (* y x))
  (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))))
  (/ 1 (cbrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  1
  (/ (* y x) z)
  (/ 1 z)
  (* y x)
  (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))))
  (/ 1 (cbrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  1
  (/ (* y x) z)
  (/ 1 z)
  (* y x)
  (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))))
  (/ 1 (cbrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  1
  (/ (* y x) z)
  (/ 1 z)
  (* y x)
  (/ (* y x) z)
  (/ z (* y x))
  (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))))
  (/ 1 (sqrt (/ z (* y x))))
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (sqrt z))
  x
  1
  (/ 1 z)
  (/ z (* y x))
  (/ z (* y x))
  (/ z (* y x))
  (/ 1 z)
  (real->posit16 (/ (* y x) z))
  (/ z (* y x))
  (/ z (* y x))
  (/ z (* y x))
  (/ (* y x) z)
  (/ (* y x) z)
  (/ (* y x) z)
4.421 * * * [progress]: adding candidates to table
4.713 * * [progress]: iteration 3 / 4
4.713 * * * [progress]: picking best candidate
4.740 * * * * [pick]: Picked  #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))>
4.740 * * * [progress]: localizing error
4.763 * * * [progress]: generating rewritten candidates
4.764 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
4.792 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.846 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
4.865 * * * [progress]: generating series expansions
4.865 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
4.865 * [backup-simplify]: Simplify (* z (/ 1 (* x y))) into (/ z (* x y))
4.865 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
4.865 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.865 * [taylor]: Taking taylor expansion of z in y
4.865 * [backup-simplify]: Simplify z into z
4.865 * [taylor]: Taking taylor expansion of (* x y) in y
4.865 * [taylor]: Taking taylor expansion of x in y
4.865 * [backup-simplify]: Simplify x into x
4.865 * [taylor]: Taking taylor expansion of y in y
4.865 * [backup-simplify]: Simplify 0 into 0
4.865 * [backup-simplify]: Simplify 1 into 1
4.865 * [backup-simplify]: Simplify (* x 0) into 0
4.866 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.866 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.866 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.866 * [taylor]: Taking taylor expansion of z in x
4.866 * [backup-simplify]: Simplify z into z
4.866 * [taylor]: Taking taylor expansion of (* x y) in x
4.866 * [taylor]: Taking taylor expansion of x in x
4.866 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify 1 into 1
4.866 * [taylor]: Taking taylor expansion of y in x
4.866 * [backup-simplify]: Simplify y into y
4.866 * [backup-simplify]: Simplify (* 0 y) into 0
4.867 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.867 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.867 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.867 * [taylor]: Taking taylor expansion of z in z
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [taylor]: Taking taylor expansion of (* x y) in z
4.867 * [taylor]: Taking taylor expansion of x in z
4.867 * [backup-simplify]: Simplify x into x
4.867 * [taylor]: Taking taylor expansion of y in z
4.867 * [backup-simplify]: Simplify y into y
4.867 * [backup-simplify]: Simplify (* x y) into (* x y)
4.867 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.867 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.867 * [taylor]: Taking taylor expansion of z in z
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [taylor]: Taking taylor expansion of (* x y) in z
4.867 * [taylor]: Taking taylor expansion of x in z
4.867 * [backup-simplify]: Simplify x into x
4.867 * [taylor]: Taking taylor expansion of y in z
4.867 * [backup-simplify]: Simplify y into y
4.867 * [backup-simplify]: Simplify (* x y) into (* x y)
4.867 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.867 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.867 * [taylor]: Taking taylor expansion of (* x y) in x
4.867 * [taylor]: Taking taylor expansion of x in x
4.867 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify 1 into 1
4.867 * [taylor]: Taking taylor expansion of y in x
4.867 * [backup-simplify]: Simplify y into y
4.867 * [backup-simplify]: Simplify (* 0 y) into 0
4.868 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.868 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.868 * [taylor]: Taking taylor expansion of y in y
4.868 * [backup-simplify]: Simplify 0 into 0
4.868 * [backup-simplify]: Simplify 1 into 1
4.868 * [backup-simplify]: Simplify (/ 1 1) into 1
4.868 * [backup-simplify]: Simplify 1 into 1
4.868 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.868 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.868 * [taylor]: Taking taylor expansion of 0 in x
4.868 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.869 * [taylor]: Taking taylor expansion of 0 in y
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.870 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.870 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.870 * [taylor]: Taking taylor expansion of 0 in x
4.870 * [backup-simplify]: Simplify 0 into 0
4.870 * [taylor]: Taking taylor expansion of 0 in y
4.870 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.871 * [taylor]: Taking taylor expansion of 0 in y
4.871 * [backup-simplify]: Simplify 0 into 0
4.871 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.872 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.872 * [taylor]: Taking taylor expansion of 0 in x
4.872 * [backup-simplify]: Simplify 0 into 0
4.873 * [taylor]: Taking taylor expansion of 0 in y
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [taylor]: Taking taylor expansion of 0 in y
4.873 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.874 * [taylor]: Taking taylor expansion of 0 in y
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) z))) into (/ z (* x y))
4.874 * [backup-simplify]: Simplify (* (/ 1 z) (/ 1 (* (/ 1 x) (/ 1 y)))) into (/ (* x y) z)
4.874 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
4.874 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.874 * [taylor]: Taking taylor expansion of (* x y) in y
4.874 * [taylor]: Taking taylor expansion of x in y
4.874 * [backup-simplify]: Simplify x into x
4.874 * [taylor]: Taking taylor expansion of y in y
4.874 * [backup-simplify]: Simplify 0 into 0
4.874 * [backup-simplify]: Simplify 1 into 1
4.874 * [taylor]: Taking taylor expansion of z in y
4.874 * [backup-simplify]: Simplify z into z
4.874 * [backup-simplify]: Simplify (* x 0) into 0
4.875 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.875 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.875 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.875 * [taylor]: Taking taylor expansion of (* x y) in x
4.875 * [taylor]: Taking taylor expansion of x in x
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify 1 into 1
4.875 * [taylor]: Taking taylor expansion of y in x
4.875 * [backup-simplify]: Simplify y into y
4.875 * [taylor]: Taking taylor expansion of z in x
4.875 * [backup-simplify]: Simplify z into z
4.875 * [backup-simplify]: Simplify (* 0 y) into 0
4.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.875 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.875 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.875 * [taylor]: Taking taylor expansion of (* x y) in z
4.875 * [taylor]: Taking taylor expansion of x in z
4.875 * [backup-simplify]: Simplify x into x
4.875 * [taylor]: Taking taylor expansion of y in z
4.875 * [backup-simplify]: Simplify y into y
4.875 * [taylor]: Taking taylor expansion of z in z
4.875 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify 1 into 1
4.875 * [backup-simplify]: Simplify (* x y) into (* x y)
4.875 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.875 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.875 * [taylor]: Taking taylor expansion of (* x y) in z
4.875 * [taylor]: Taking taylor expansion of x in z
4.875 * [backup-simplify]: Simplify x into x
4.875 * [taylor]: Taking taylor expansion of y in z
4.875 * [backup-simplify]: Simplify y into y
4.875 * [taylor]: Taking taylor expansion of z in z
4.876 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify 1 into 1
4.876 * [backup-simplify]: Simplify (* x y) into (* x y)
4.876 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.876 * [taylor]: Taking taylor expansion of (* x y) in x
4.876 * [taylor]: Taking taylor expansion of x in x
4.876 * [backup-simplify]: Simplify 0 into 0
4.876 * [backup-simplify]: Simplify 1 into 1
4.876 * [taylor]: Taking taylor expansion of y in x
4.876 * [backup-simplify]: Simplify y into y
4.876 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.876 * [taylor]: Taking taylor expansion of y in y
4.876 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify 1 into 1
4.877 * [backup-simplify]: Simplify 1 into 1
4.877 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.877 * [taylor]: Taking taylor expansion of 0 in x
4.877 * [backup-simplify]: Simplify 0 into 0
4.877 * [taylor]: Taking taylor expansion of 0 in y
4.877 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.878 * [taylor]: Taking taylor expansion of 0 in y
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify 0 into 0
4.878 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.879 * [taylor]: Taking taylor expansion of 0 in x
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [taylor]: Taking taylor expansion of 0 in y
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [taylor]: Taking taylor expansion of 0 in y
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.880 * [taylor]: Taking taylor expansion of 0 in y
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (* (/ 1 x) (/ 1 (/ 1 z))))) into (/ z (* x y))
4.881 * [backup-simplify]: Simplify (* (/ 1 (- z)) (/ 1 (* (/ 1 (- x)) (/ 1 (- y))))) into (* -1 (/ (* x y) z))
4.881 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
4.881 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y
4.881 * [taylor]: Taking taylor expansion of -1 in y
4.881 * [backup-simplify]: Simplify -1 into -1
4.881 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.881 * [taylor]: Taking taylor expansion of (* x y) in y
4.881 * [taylor]: Taking taylor expansion of x in y
4.881 * [backup-simplify]: Simplify x into x
4.881 * [taylor]: Taking taylor expansion of y in y
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of z in y
4.881 * [backup-simplify]: Simplify z into z
4.881 * [backup-simplify]: Simplify (* x 0) into 0
4.881 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.881 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.881 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x
4.881 * [taylor]: Taking taylor expansion of -1 in x
4.881 * [backup-simplify]: Simplify -1 into -1
4.881 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.881 * [taylor]: Taking taylor expansion of (* x y) in x
4.881 * [taylor]: Taking taylor expansion of x in x
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [taylor]: Taking taylor expansion of y in x
4.881 * [backup-simplify]: Simplify y into y
4.881 * [taylor]: Taking taylor expansion of z in x
4.881 * [backup-simplify]: Simplify z into z
4.881 * [backup-simplify]: Simplify (* 0 y) into 0
4.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.882 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.882 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
4.882 * [taylor]: Taking taylor expansion of -1 in z
4.882 * [backup-simplify]: Simplify -1 into -1
4.882 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.882 * [taylor]: Taking taylor expansion of (* x y) in z
4.882 * [taylor]: Taking taylor expansion of x in z
4.882 * [backup-simplify]: Simplify x into x
4.882 * [taylor]: Taking taylor expansion of y in z
4.882 * [backup-simplify]: Simplify y into y
4.882 * [taylor]: Taking taylor expansion of z in z
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* x y) into (* x y)
4.882 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.882 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
4.882 * [taylor]: Taking taylor expansion of -1 in z
4.882 * [backup-simplify]: Simplify -1 into -1
4.882 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.882 * [taylor]: Taking taylor expansion of (* x y) in z
4.882 * [taylor]: Taking taylor expansion of x in z
4.882 * [backup-simplify]: Simplify x into x
4.882 * [taylor]: Taking taylor expansion of y in z
4.882 * [backup-simplify]: Simplify y into y
4.882 * [taylor]: Taking taylor expansion of z in z
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* x y) into (* x y)
4.882 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.882 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y))
4.882 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x
4.882 * [taylor]: Taking taylor expansion of -1 in x
4.882 * [backup-simplify]: Simplify -1 into -1
4.882 * [taylor]: Taking taylor expansion of (* x y) in x
4.882 * [taylor]: Taking taylor expansion of x in x
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.883 * [taylor]: Taking taylor expansion of y in x
4.883 * [backup-simplify]: Simplify y into y
4.883 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.883 * [backup-simplify]: Simplify (* 0 y) into 0
4.883 * [backup-simplify]: Simplify (+ (* -1 y) (* 0 0)) into (- y)
4.883 * [taylor]: Taking taylor expansion of (- y) in y
4.883 * [taylor]: Taking taylor expansion of y in y
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify 1 into 1
4.884 * [backup-simplify]: Simplify (- 1) into -1
4.884 * [backup-simplify]: Simplify -1 into -1
4.884 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.885 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0
4.885 * [taylor]: Taking taylor expansion of 0 in x
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [taylor]: Taking taylor expansion of 0 in y
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify 0 into 0
4.885 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.886 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 y) (* 0 0))) into 0
4.886 * [taylor]: Taking taylor expansion of 0 in y
4.886 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify 0 into 0
4.886 * [backup-simplify]: Simplify (- 0) into 0
4.886 * [backup-simplify]: Simplify 0 into 0
4.887 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.888 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0
4.888 * [taylor]: Taking taylor expansion of 0 in x
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [taylor]: Taking taylor expansion of 0 in y
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [taylor]: Taking taylor expansion of 0 in y
4.888 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.890 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
4.890 * [taylor]: Taking taylor expansion of 0 in y
4.890 * [backup-simplify]: Simplify 0 into 0
4.890 * [backup-simplify]: Simplify 0 into 0
4.890 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y))
4.890 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.890 * [backup-simplify]: Simplify (/ 1 (* z (/ 1 (* x y)))) into (/ (* x y) z)
4.890 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
4.890 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
4.890 * [taylor]: Taking taylor expansion of (* x y) in y
4.890 * [taylor]: Taking taylor expansion of x in y
4.890 * [backup-simplify]: Simplify x into x
4.890 * [taylor]: Taking taylor expansion of y in y
4.890 * [backup-simplify]: Simplify 0 into 0
4.890 * [backup-simplify]: Simplify 1 into 1
4.890 * [taylor]: Taking taylor expansion of z in y
4.890 * [backup-simplify]: Simplify z into z
4.890 * [backup-simplify]: Simplify (* x 0) into 0
4.891 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.891 * [backup-simplify]: Simplify (/ x z) into (/ x z)
4.891 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
4.891 * [taylor]: Taking taylor expansion of (* x y) in x
4.891 * [taylor]: Taking taylor expansion of x in x
4.891 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify 1 into 1
4.891 * [taylor]: Taking taylor expansion of y in x
4.891 * [backup-simplify]: Simplify y into y
4.891 * [taylor]: Taking taylor expansion of z in x
4.891 * [backup-simplify]: Simplify z into z
4.891 * [backup-simplify]: Simplify (* 0 y) into 0
4.891 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.891 * [backup-simplify]: Simplify (/ y z) into (/ y z)
4.891 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.891 * [taylor]: Taking taylor expansion of (* x y) in z
4.891 * [taylor]: Taking taylor expansion of x in z
4.891 * [backup-simplify]: Simplify x into x
4.891 * [taylor]: Taking taylor expansion of y in z
4.891 * [backup-simplify]: Simplify y into y
4.891 * [taylor]: Taking taylor expansion of z in z
4.891 * [backup-simplify]: Simplify 0 into 0
4.891 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (* x y) into (* x y)
4.892 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.892 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
4.892 * [taylor]: Taking taylor expansion of (* x y) in z
4.892 * [taylor]: Taking taylor expansion of x in z
4.892 * [backup-simplify]: Simplify x into x
4.892 * [taylor]: Taking taylor expansion of y in z
4.892 * [backup-simplify]: Simplify y into y
4.892 * [taylor]: Taking taylor expansion of z in z
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (* x y) into (* x y)
4.892 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.892 * [taylor]: Taking taylor expansion of (* x y) in x
4.892 * [taylor]: Taking taylor expansion of x in x
4.892 * [backup-simplify]: Simplify 0 into 0
4.892 * [backup-simplify]: Simplify 1 into 1
4.892 * [taylor]: Taking taylor expansion of y in x
4.892 * [backup-simplify]: Simplify y into y
4.893 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.893 * [taylor]: Taking taylor expansion of y in y
4.893 * [backup-simplify]: Simplify 0 into 0
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [backup-simplify]: Simplify 1 into 1
4.893 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0
4.895 * [taylor]: Taking taylor expansion of 0 in x
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [taylor]: Taking taylor expansion of 0 in y
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.896 * [taylor]: Taking taylor expansion of 0 in y
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.896 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.899 * [taylor]: Taking taylor expansion of 0 in x
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [taylor]: Taking taylor expansion of 0 in y
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [taylor]: Taking taylor expansion of 0 in y
4.899 * [backup-simplify]: Simplify 0 into 0
4.899 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.901 * [taylor]: Taking taylor expansion of 0 in y
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (* 1 (* y (* x (/ 1 z)))) into (/ (* x y) z)
4.902 * [backup-simplify]: Simplify (/ 1 (* (/ 1 z) (/ 1 (* (/ 1 x) (/ 1 y))))) into (/ z (* x y))
4.902 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
4.902 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.902 * [taylor]: Taking taylor expansion of z in y
4.902 * [backup-simplify]: Simplify z into z
4.902 * [taylor]: Taking taylor expansion of (* x y) in y
4.902 * [taylor]: Taking taylor expansion of x in y
4.902 * [backup-simplify]: Simplify x into x
4.902 * [taylor]: Taking taylor expansion of y in y
4.902 * [backup-simplify]: Simplify 0 into 0
4.902 * [backup-simplify]: Simplify 1 into 1
4.902 * [backup-simplify]: Simplify (* x 0) into 0
4.903 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.903 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.903 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.903 * [taylor]: Taking taylor expansion of z in x
4.903 * [backup-simplify]: Simplify z into z
4.903 * [taylor]: Taking taylor expansion of (* x y) in x
4.903 * [taylor]: Taking taylor expansion of x in x
4.903 * [backup-simplify]: Simplify 0 into 0
4.903 * [backup-simplify]: Simplify 1 into 1
4.903 * [taylor]: Taking taylor expansion of y in x
4.903 * [backup-simplify]: Simplify y into y
4.903 * [backup-simplify]: Simplify (* 0 y) into 0
4.904 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.904 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.904 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.904 * [taylor]: Taking taylor expansion of z in z
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 1 into 1
4.904 * [taylor]: Taking taylor expansion of (* x y) in z
4.904 * [taylor]: Taking taylor expansion of x in z
4.904 * [backup-simplify]: Simplify x into x
4.904 * [taylor]: Taking taylor expansion of y in z
4.904 * [backup-simplify]: Simplify y into y
4.904 * [backup-simplify]: Simplify (* x y) into (* x y)
4.904 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.904 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.904 * [taylor]: Taking taylor expansion of z in z
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify 1 into 1
4.905 * [taylor]: Taking taylor expansion of (* x y) in z
4.905 * [taylor]: Taking taylor expansion of x in z
4.905 * [backup-simplify]: Simplify x into x
4.905 * [taylor]: Taking taylor expansion of y in z
4.905 * [backup-simplify]: Simplify y into y
4.905 * [backup-simplify]: Simplify (* x y) into (* x y)
4.905 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.905 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.905 * [taylor]: Taking taylor expansion of (* x y) in x
4.905 * [taylor]: Taking taylor expansion of x in x
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify 1 into 1
4.905 * [taylor]: Taking taylor expansion of y in x
4.905 * [backup-simplify]: Simplify y into y
4.905 * [backup-simplify]: Simplify (* 0 y) into 0
4.906 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.906 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.906 * [taylor]: Taking taylor expansion of y in y
4.906 * [backup-simplify]: Simplify 0 into 0
4.906 * [backup-simplify]: Simplify 1 into 1
4.907 * [backup-simplify]: Simplify (/ 1 1) into 1
4.907 * [backup-simplify]: Simplify 1 into 1
4.907 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.907 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.907 * [taylor]: Taking taylor expansion of 0 in x
4.907 * [backup-simplify]: Simplify 0 into 0
4.908 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.909 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.909 * [taylor]: Taking taylor expansion of 0 in y
4.909 * [backup-simplify]: Simplify 0 into 0
4.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.910 * [backup-simplify]: Simplify 0 into 0
4.911 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.912 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.912 * [taylor]: Taking taylor expansion of 0 in x
4.912 * [backup-simplify]: Simplify 0 into 0
4.912 * [taylor]: Taking taylor expansion of 0 in y
4.912 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.914 * [taylor]: Taking taylor expansion of 0 in y
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify 0 into 0
4.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.915 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.917 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.917 * [taylor]: Taking taylor expansion of 0 in x
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [taylor]: Taking taylor expansion of 0 in y
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [taylor]: Taking taylor expansion of 0 in y
4.917 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.919 * [taylor]: Taking taylor expansion of 0 in y
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.920 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))) into (/ (* x y) z)
4.920 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- z)) (/ 1 (* (/ 1 (- x)) (/ 1 (- y)))))) into (* -1 (/ z (* x y)))
4.920 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
4.920 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
4.920 * [taylor]: Taking taylor expansion of -1 in y
4.920 * [backup-simplify]: Simplify -1 into -1
4.920 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
4.920 * [taylor]: Taking taylor expansion of z in y
4.920 * [backup-simplify]: Simplify z into z
4.920 * [taylor]: Taking taylor expansion of (* x y) in y
4.920 * [taylor]: Taking taylor expansion of x in y
4.920 * [backup-simplify]: Simplify x into x
4.920 * [taylor]: Taking taylor expansion of y in y
4.920 * [backup-simplify]: Simplify 0 into 0
4.920 * [backup-simplify]: Simplify 1 into 1
4.920 * [backup-simplify]: Simplify (* x 0) into 0
4.921 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.921 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.921 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
4.921 * [taylor]: Taking taylor expansion of -1 in x
4.921 * [backup-simplify]: Simplify -1 into -1
4.921 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
4.921 * [taylor]: Taking taylor expansion of z in x
4.921 * [backup-simplify]: Simplify z into z
4.921 * [taylor]: Taking taylor expansion of (* x y) in x
4.921 * [taylor]: Taking taylor expansion of x in x
4.921 * [backup-simplify]: Simplify 0 into 0
4.921 * [backup-simplify]: Simplify 1 into 1
4.921 * [taylor]: Taking taylor expansion of y in x
4.921 * [backup-simplify]: Simplify y into y
4.921 * [backup-simplify]: Simplify (* 0 y) into 0
4.922 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.922 * [backup-simplify]: Simplify (/ z y) into (/ z y)
4.922 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.922 * [taylor]: Taking taylor expansion of -1 in z
4.922 * [backup-simplify]: Simplify -1 into -1
4.922 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.922 * [taylor]: Taking taylor expansion of z in z
4.922 * [backup-simplify]: Simplify 0 into 0
4.922 * [backup-simplify]: Simplify 1 into 1
4.922 * [taylor]: Taking taylor expansion of (* x y) in z
4.922 * [taylor]: Taking taylor expansion of x in z
4.922 * [backup-simplify]: Simplify x into x
4.923 * [taylor]: Taking taylor expansion of y in z
4.923 * [backup-simplify]: Simplify y into y
4.923 * [backup-simplify]: Simplify (* x y) into (* x y)
4.923 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.923 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
4.923 * [taylor]: Taking taylor expansion of -1 in z
4.923 * [backup-simplify]: Simplify -1 into -1
4.923 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
4.923 * [taylor]: Taking taylor expansion of z in z
4.923 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify 1 into 1
4.923 * [taylor]: Taking taylor expansion of (* x y) in z
4.923 * [taylor]: Taking taylor expansion of x in z
4.923 * [backup-simplify]: Simplify x into x
4.923 * [taylor]: Taking taylor expansion of y in z
4.923 * [backup-simplify]: Simplify y into y
4.923 * [backup-simplify]: Simplify (* x y) into (* x y)
4.923 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.923 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y))
4.923 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
4.923 * [taylor]: Taking taylor expansion of -1 in x
4.923 * [backup-simplify]: Simplify -1 into -1
4.923 * [taylor]: Taking taylor expansion of (* x y) in x
4.924 * [taylor]: Taking taylor expansion of x in x
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 1 into 1
4.924 * [taylor]: Taking taylor expansion of y in x
4.924 * [backup-simplify]: Simplify y into y
4.924 * [backup-simplify]: Simplify (* 0 y) into 0
4.924 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.925 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.925 * [taylor]: Taking taylor expansion of -1 in y
4.925 * [backup-simplify]: Simplify -1 into -1
4.925 * [taylor]: Taking taylor expansion of y in y
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 1 into 1
4.925 * [backup-simplify]: Simplify (/ -1 1) into -1
4.925 * [backup-simplify]: Simplify -1 into -1
4.926 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0
4.926 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0
4.927 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0
4.927 * [taylor]: Taking taylor expansion of 0 in x
4.927 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.928 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.928 * [taylor]: Taking taylor expansion of 0 in y
4.928 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0
4.930 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.931 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0
4.931 * [taylor]: Taking taylor expansion of 0 in x
4.931 * [backup-simplify]: Simplify 0 into 0
4.931 * [taylor]: Taking taylor expansion of 0 in y
4.931 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.933 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.933 * [taylor]: Taking taylor expansion of 0 in y
4.933 * [backup-simplify]: Simplify 0 into 0
4.933 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.934 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.935 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0
4.936 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0
4.937 * [taylor]: Taking taylor expansion of 0 in x
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [taylor]: Taking taylor expansion of 0 in y
4.937 * [backup-simplify]: Simplify 0 into 0
4.937 * [taylor]: Taking taylor expansion of 0 in y
4.937 * [backup-simplify]: Simplify 0 into 0
4.938 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.939 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.939 * [taylor]: Taking taylor expansion of 0 in y
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) into (/ (* x y) z)
4.939 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
4.939 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
4.939 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (x y) around 0
4.939 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.939 * [taylor]: Taking taylor expansion of (* x y) in y
4.939 * [taylor]: Taking taylor expansion of x in y
4.939 * [backup-simplify]: Simplify x into x
4.939 * [taylor]: Taking taylor expansion of y in y
4.939 * [backup-simplify]: Simplify 0 into 0
4.939 * [backup-simplify]: Simplify 1 into 1
4.939 * [backup-simplify]: Simplify (* x 0) into 0
4.940 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.940 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.940 * [taylor]: Taking taylor expansion of (* x y) in x
4.940 * [taylor]: Taking taylor expansion of x in x
4.940 * [backup-simplify]: Simplify 0 into 0
4.940 * [backup-simplify]: Simplify 1 into 1
4.940 * [taylor]: Taking taylor expansion of y in x
4.940 * [backup-simplify]: Simplify y into y
4.940 * [backup-simplify]: Simplify (* 0 y) into 0
4.941 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.941 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.941 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.941 * [taylor]: Taking taylor expansion of (* x y) in x
4.941 * [taylor]: Taking taylor expansion of x in x
4.941 * [backup-simplify]: Simplify 0 into 0
4.941 * [backup-simplify]: Simplify 1 into 1
4.941 * [taylor]: Taking taylor expansion of y in x
4.941 * [backup-simplify]: Simplify y into y
4.941 * [backup-simplify]: Simplify (* 0 y) into 0
4.942 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.942 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.942 * [taylor]: Taking taylor expansion of y in y
4.942 * [backup-simplify]: Simplify 0 into 0
4.942 * [backup-simplify]: Simplify 1 into 1
4.942 * [backup-simplify]: Simplify (/ 1 1) into 1
4.942 * [backup-simplify]: Simplify 1 into 1
4.943 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.943 * [taylor]: Taking taylor expansion of 0 in y
4.943 * [backup-simplify]: Simplify 0 into 0
4.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.944 * [backup-simplify]: Simplify 0 into 0
4.945 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.946 * [taylor]: Taking taylor expansion of 0 in y
4.946 * [backup-simplify]: Simplify 0 into 0
4.946 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.947 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.949 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.949 * [taylor]: Taking taylor expansion of 0 in y
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (/ 1 x))) into (/ 1 (* x y))
4.950 * [backup-simplify]: Simplify (/ 1 (* (/ 1 x) (/ 1 y))) into (* x y)
4.951 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0
4.951 * [taylor]: Taking taylor expansion of (* x y) in y
4.951 * [taylor]: Taking taylor expansion of x in y
4.951 * [backup-simplify]: Simplify x into x
4.951 * [taylor]: Taking taylor expansion of y in y
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 1 into 1
4.951 * [taylor]: Taking taylor expansion of (* x y) in x
4.951 * [taylor]: Taking taylor expansion of x in x
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 1 into 1
4.951 * [taylor]: Taking taylor expansion of y in x
4.951 * [backup-simplify]: Simplify y into y
4.951 * [taylor]: Taking taylor expansion of (* x y) in x
4.951 * [taylor]: Taking taylor expansion of x in x
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 1 into 1
4.951 * [taylor]: Taking taylor expansion of y in x
4.951 * [backup-simplify]: Simplify y into y
4.951 * [backup-simplify]: Simplify (* 0 y) into 0
4.951 * [taylor]: Taking taylor expansion of 0 in y
4.951 * [backup-simplify]: Simplify 0 into 0
4.951 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.952 * [taylor]: Taking taylor expansion of y in y
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify 1 into 1
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.953 * [taylor]: Taking taylor expansion of 0 in y
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 1 into 1
4.953 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.955 * [taylor]: Taking taylor expansion of 0 in y
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.955 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.957 * [taylor]: Taking taylor expansion of 0 in y
4.957 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify (* 1 (* (/ 1 y) (/ 1 x))) into (/ 1 (* x y))
4.957 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- x)) (/ 1 (- y)))) into (* x y)
4.957 * [approximate]: Taking taylor expansion of (* x y) in (x y) around 0
4.957 * [taylor]: Taking taylor expansion of (* x y) in y
4.957 * [taylor]: Taking taylor expansion of x in y
4.958 * [backup-simplify]: Simplify x into x
4.958 * [taylor]: Taking taylor expansion of y in y
4.958 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify 1 into 1
4.958 * [taylor]: Taking taylor expansion of (* x y) in x
4.958 * [taylor]: Taking taylor expansion of x in x
4.958 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify 1 into 1
4.958 * [taylor]: Taking taylor expansion of y in x
4.958 * [backup-simplify]: Simplify y into y
4.958 * [taylor]: Taking taylor expansion of (* x y) in x
4.958 * [taylor]: Taking taylor expansion of x in x
4.958 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify 1 into 1
4.958 * [taylor]: Taking taylor expansion of y in x
4.958 * [backup-simplify]: Simplify y into y
4.958 * [backup-simplify]: Simplify (* 0 y) into 0
4.958 * [taylor]: Taking taylor expansion of 0 in y
4.958 * [backup-simplify]: Simplify 0 into 0
4.958 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.959 * [taylor]: Taking taylor expansion of y in y
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 1 into 1
4.959 * [backup-simplify]: Simplify 0 into 0
4.959 * [backup-simplify]: Simplify 0 into 0
4.960 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.961 * [taylor]: Taking taylor expansion of 0 in y
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1 into 1
4.961 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.963 * [taylor]: Taking taylor expansion of 0 in y
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.963 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.965 * [taylor]: Taking taylor expansion of 0 in y
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify 0 into 0
4.965 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- y)) (/ 1 (- x)))) into (/ 1 (* x y))
4.965 * * * [progress]: simplifying candidates
4.965 * * * * [progress]: [ 1 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (log1p (expm1 (* z (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 2 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (expm1 (log1p (* z (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 3 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (pow (* z (/ 1 (* x y))) 1)))>
4.966 * * * * [progress]: [ 4 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (pow (* z (/ 1 (* x y))) 1)))>
4.966 * * * * [progress]: [ 5 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- (+ (log x) (log y)))))))>
4.966 * * * * [progress]: [ 6 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- (log (* x y)))))))>
4.966 * * * * [progress]: [ 7 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- 0 (+ (log x) (log y)))))))>
4.966 * * * * [progress]: [ 8 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- 0 (log (* x y)))))))>
4.966 * * * * [progress]: [ 9 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- (log 1) (+ (log x) (log y)))))))>
4.966 * * * * [progress]: [ 10 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (- (log 1) (log (* x y)))))))>
4.966 * * * * [progress]: [ 11 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (+ (log z) (log (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 12 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (exp (log (* z (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 13 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (log (exp (* z (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 14 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))))))>
4.966 * * * * [progress]: [ 15 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))))))>
4.966 * * * * [progress]: [ 16 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))))))>
4.966 * * * * [progress]: [ 17 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* (cbrt (* z (/ 1 (* x y)))) (cbrt (* z (/ 1 (* x y))))) (cbrt (* z (/ 1 (* x y)))))))>
4.967 * * * * [progress]: [ 18 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (cbrt (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y)))))))>
4.967 * * * * [progress]: [ 19 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (sqrt (* z (/ 1 (* x y)))) (sqrt (* z (/ 1 (* x y)))))))>
4.967 * * * * [progress]: [ 20 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* 1 (* z (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 21 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
4.967 * * * * [progress]: [ 22 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* (sqrt z) (sqrt (/ 1 (* x y)))) (* (sqrt z) (sqrt (/ 1 (* x y)))))))>
4.967 * * * * [progress]: [ 23 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y))))) (cbrt (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 24 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z (sqrt (/ 1 (* x y)))) (sqrt (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 25 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z (/ (* (cbrt 1) (cbrt 1)) x)) (/ (cbrt 1) y))))>
4.967 * * * * [progress]: [ 26 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z (/ (sqrt 1) x)) (/ (sqrt 1) y))))>
4.967 * * * * [progress]: [ 27 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z (/ 1 x)) (/ 1 y))))>
4.967 * * * * [progress]: [ 28 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z 1) (/ 1 (* x y)))))>
4.967 * * * * [progress]: [ 29 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* z 1) (/ 1 (* x y)))))>
4.967 * * * * [progress]: [ 30 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (* (cbrt z) (cbrt z)) (* (cbrt z) (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 31 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (sqrt z) (* (sqrt z) (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 32 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* 1 (* z (/ 1 (* x y))))))>
4.967 * * * * [progress]: [ 33 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (* z 1) (* x y))))>
4.967 * * * * [progress]: [ 34 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (posit16->real (real->posit16 (* z (/ 1 (* x y)))))))>
4.968 * * * * [progress]: [ 35 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* (/ 1 (* x y)) z)))>
4.968 * * * * [progress]: [ 36 / 128 ] simplifiying candidate #<alt (λ (x y z) (log1p (expm1 (/ 1 (* z (/ 1 (* x y)))))))>
4.968 * * * * [progress]: [ 37 / 128 ] simplifiying candidate #<alt (λ (x y z) (expm1 (log1p (/ 1 (* z (/ 1 (* x y)))))))>
4.968 * * * * [progress]: [ 38 / 128 ] simplifiying candidate #<alt (λ (x y z) (pow (* z (/ 1 (* x y))) -1))>
4.968 * * * * [progress]: [ 39 / 128 ] simplifiying candidate #<alt (λ (x y z) (pow (* z (/ 1 (* x y))) (- 1)))>
4.968 * * * * [progress]: [ 40 / 128 ] simplifiying candidate #<alt (λ (x y z) (pow (* z (/ 1 (* x y))) (- 1)))>
4.968 * * * * [progress]: [ 41 / 128 ] simplifiying candidate #<alt (λ (x y z) (pow (/ 1 (* z (/ 1 (* x y)))) 1))>
4.968 * * * * [progress]: [ 42 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- (+ (log x) (log y)))))))>
4.968 * * * * [progress]: [ 43 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- (log (* x y)))))))>
4.968 * * * * [progress]: [ 44 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- 0 (+ (log x) (log y)))))))>
4.968 * * * * [progress]: [ 45 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- 0 (log (* x y)))))))>
4.968 * * * * [progress]: [ 46 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- (log 1) (+ (log x) (log y)))))))>
4.968 * * * * [progress]: [ 47 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (- (log 1) (log (* x y)))))))>
4.968 * * * * [progress]: [ 48 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (+ (log z) (log (/ 1 (* x y)))))))>
4.968 * * * * [progress]: [ 49 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log (* z (/ 1 (* x y)))))))>
4.968 * * * * [progress]: [ 50 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- (+ (log x) (log y)))))))>
4.968 * * * * [progress]: [ 51 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- (log (* x y)))))))>
4.968 * * * * [progress]: [ 52 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- 0 (+ (log x) (log y)))))))>
4.968 * * * * [progress]: [ 53 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- 0 (log (* x y)))))))>
4.969 * * * * [progress]: [ 54 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- (log 1) (+ (log x) (log y)))))))>
4.969 * * * * [progress]: [ 55 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (- (log 1) (log (* x y)))))))>
4.969 * * * * [progress]: [ 56 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (+ (log z) (log (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 57 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- 0 (log (* z (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 58 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- (+ (log x) (log y)))))))>
4.969 * * * * [progress]: [ 59 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- (log (* x y)))))))>
4.969 * * * * [progress]: [ 60 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- 0 (+ (log x) (log y)))))))>
4.969 * * * * [progress]: [ 61 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- 0 (log (* x y)))))))>
4.969 * * * * [progress]: [ 62 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- (log 1) (+ (log x) (log y)))))))>
4.969 * * * * [progress]: [ 63 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (- (log 1) (log (* x y)))))))>
4.969 * * * * [progress]: [ 64 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (+ (log z) (log (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 65 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (- (log 1) (log (* z (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 66 / 128 ] simplifiying candidate #<alt (λ (x y z) (exp (log (/ 1 (* z (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 67 / 128 ] simplifiying candidate #<alt (λ (x y z) (log (exp (/ 1 (* z (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 68 / 128 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))))))>
4.969 * * * * [progress]: [ 69 / 128 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))))))>
4.969 * * * * [progress]: [ 70 / 128 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))))))>
4.969 * * * * [progress]: [ 71 / 128 ] simplifiying candidate #<alt (λ (x y z) (cbrt (/ (* (* 1 1) 1) (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y)))))))>
4.970 * * * * [progress]: [ 72 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (* (cbrt (/ 1 (* z (/ 1 (* x y))))) (cbrt (/ 1 (* z (/ 1 (* x y)))))) (cbrt (/ 1 (* z (/ 1 (* x y)))))))>
4.970 * * * * [progress]: [ 73 / 128 ] simplifiying candidate #<alt (λ (x y z) (cbrt (* (* (/ 1 (* z (/ 1 (* x y)))) (/ 1 (* z (/ 1 (* x y))))) (/ 1 (* z (/ 1 (* x y)))))))>
4.970 * * * * [progress]: [ 74 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (sqrt (/ 1 (* z (/ 1 (* x y))))) (sqrt (/ 1 (* z (/ 1 (* x y)))))))>
4.970 * * * * [progress]: [ 75 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (- 1) (- (* z (/ 1 (* x y))))))>
4.970 * * * * [progress]: [ 76 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* x y)))))>
4.970 * * * * [progress]: [ 77 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* x y)))))>
4.970 * * * * [progress]: [ 78 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 z) (/ 1 (/ 1 (* x y)))))>
4.970 * * * * [progress]: [ 79 / 128 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ 1 (* z (/ 1 (* x y))))))>
4.970 * * * * [progress]: [ 80 / 128 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ 1 (* z (/ 1 (* x y))))))>
4.970 * * * * [progress]: [ 81 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (* z (/ 1 (* x y))) 1)))>
4.970 * * * * [progress]: [ 82 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (/ 1 z) (/ 1 (* x y))))>
4.970 * * * * [progress]: [ 83 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (* (cbrt 1) (cbrt 1)) (/ (* z (/ 1 (* x y))) (cbrt 1))))>
4.970 * * * * [progress]: [ 84 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (sqrt 1) (/ (* z (/ 1 (* x y))) (sqrt 1))))>
4.970 * * * * [progress]: [ 85 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ (* z (/ 1 (* x y))) 1)))>
4.970 * * * * [progress]: [ 86 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 z) (* x y)))>
4.970 * * * * [progress]: [ 87 / 128 ] simplifiying candidate #<alt (λ (x y z) (* (/ 1 (* z 1)) (* x y)))>
4.970 * * * * [progress]: [ 88 / 128 ] simplifiying candidate #<alt (λ (x y z) (posit16->real (real->posit16 (/ 1 (* z (/ 1 (* x y)))))))>
4.970 * * * * [progress]: [ 89 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (log1p (expm1 (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 90 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (expm1 (log1p (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 91 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (pow (* x y) -1))))>
4.971 * * * * [progress]: [ 92 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (pow (* x y) (- 1)))))>
4.971 * * * * [progress]: [ 93 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (pow (* x y) (- 1)))))>
4.971 * * * * [progress]: [ 94 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (pow (/ 1 (* x y)) 1))))>
4.971 * * * * [progress]: [ 95 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- (+ (log x) (log y)))))))>
4.971 * * * * [progress]: [ 96 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- (log (* x y)))))))>
4.971 * * * * [progress]: [ 97 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- 0 (+ (log x) (log y)))))))>
4.971 * * * * [progress]: [ 98 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- 0 (log (* x y)))))))>
4.971 * * * * [progress]: [ 99 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- (log 1) (+ (log x) (log y)))))))>
4.971 * * * * [progress]: [ 100 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (- (log 1) (log (* x y)))))))>
4.971 * * * * [progress]: [ 101 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (exp (log (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 102 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (log (exp (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 103 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (cbrt (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))))))>
4.971 * * * * [progress]: [ 104 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (cbrt (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))))))>
4.971 * * * * [progress]: [ 105 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y)))) (cbrt (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 106 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (cbrt (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))))))>
4.971 * * * * [progress]: [ 107 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* (sqrt (/ 1 (* x y))) (sqrt (/ 1 (* x y)))))))>
4.972 * * * * [progress]: [ 108 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ (- 1) (- (* x y))))))>
4.972 * * * * [progress]: [ 109 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* (/ (* (cbrt 1) (cbrt 1)) x) (/ (cbrt 1) y)))))>
4.972 * * * * [progress]: [ 110 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* (/ (sqrt 1) x) (/ (sqrt 1) y)))))>
4.972 * * * * [progress]: [ 111 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* (/ 1 x) (/ 1 y)))))>
4.972 * * * * [progress]: [ 112 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* 1 (/ 1 (* x y))))))>
4.972 * * * * [progress]: [ 113 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (* 1 (/ 1 (* x y))))))>
4.972 * * * * [progress]: [ 114 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (/ (* x y) 1)))))>
4.972 * * * * [progress]: [ 115 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ (/ 1 x) y))))>
4.972 * * * * [progress]: [ 116 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ (* (cbrt 1) (cbrt 1)) (/ (* x y) (cbrt 1))))))>
4.972 * * * * [progress]: [ 117 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ (sqrt 1) (/ (* x y) (sqrt 1))))))>
4.972 * * * * [progress]: [ 118 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (/ (* x y) 1)))))>
4.972 * * * * [progress]: [ 119 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (posit16->real (real->posit16 (/ 1 (* x y)))))))>
4.972 * * * * [progress]: [ 120 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
4.972 * * * * [progress]: [ 121 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
4.972 * * * * [progress]: [ 122 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (/ z (* x y))))>
4.972 * * * * [progress]: [ 123 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
4.972 * * * * [progress]: [ 124 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
4.972 * * * * [progress]: [ 125 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ (* x y) z))>
4.972 * * * * [progress]: [ 126 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))>
4.972 * * * * [progress]: [ 127 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))>
4.973 * * * * [progress]: [ 128 / 128 ] simplifiying candidate #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))>
4.975 * [simplify]: Simplifying:
  (expm1 (* z (/ 1 (* x y))))
  (log1p (* z (/ 1 (* x y))))
  (* z (/ 1 (* x y)))
  (+ (log z) (- (+ (log x) (log y))))
  (+ (log z) (- (log (* x y))))
  (+ (log z) (- 0 (+ (log x) (log y))))
  (+ (log z) (- 0 (log (* x y))))
  (+ (log z) (- (log 1) (+ (log x) (log y))))
  (+ (log z) (- (log 1) (log (* x y))))
  (+ (log z) (log (/ 1 (* x y))))
  (log (* z (/ 1 (* x y))))
  (exp (* z (/ 1 (* x y))))
  (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y))))
  (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y))))
  (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y))))
  (* (cbrt (* z (/ 1 (* x y)))) (cbrt (* z (/ 1 (* x y)))))
  (cbrt (* z (/ 1 (* x y))))
  (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y))))
  (sqrt (* z (/ 1 (* x y))))
  (sqrt (* z (/ 1 (* x y))))
  (* (sqrt z) (sqrt (/ 1 (* x y))))
  (* (sqrt z) (sqrt (/ 1 (* x y))))
  (* z (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y)))))
  (* z (sqrt (/ 1 (* x y))))
  (* z (/ (* (cbrt 1) (cbrt 1)) x))
  (* z (/ (sqrt 1) x))
  (* z (/ 1 x))
  (* z 1)
  (* z 1)
  (* (cbrt z) (/ 1 (* x y)))
  (* (sqrt z) (/ 1 (* x y)))
  (* z (/ 1 (* x y)))
  (* z 1)
  (real->posit16 (* z (/ 1 (* x y))))
  (expm1 (/ 1 (* z (/ 1 (* x y)))))
  (log1p (/ 1 (* z (/ 1 (* x y)))))
  (- 1)
  (- 1)
  (- (+ (log z) (- (+ (log x) (log y)))))
  (- (+ (log z) (- (log (* x y)))))
  (- (+ (log z) (- 0 (+ (log x) (log y)))))
  (- (+ (log z) (- 0 (log (* x y)))))
  (- (+ (log z) (- (log 1) (+ (log x) (log y)))))
  (- (+ (log z) (- (log 1) (log (* x y)))))
  (- (+ (log z) (log (/ 1 (* x y)))))
  (- (log (* z (/ 1 (* x y)))))
  (- 0 (+ (log z) (- (+ (log x) (log y)))))
  (- 0 (+ (log z) (- (log (* x y)))))
  (- 0 (+ (log z) (- 0 (+ (log x) (log y)))))
  (- 0 (+ (log z) (- 0 (log (* x y)))))
  (- 0 (+ (log z) (- (log 1) (+ (log x) (log y)))))
  (- 0 (+ (log z) (- (log 1) (log (* x y)))))
  (- 0 (+ (log z) (log (/ 1 (* x y)))))
  (- 0 (log (* z (/ 1 (* x y)))))
  (- (log 1) (+ (log z) (- (+ (log x) (log y)))))
  (- (log 1) (+ (log z) (- (log (* x y)))))
  (- (log 1) (+ (log z) (- 0 (+ (log x) (log y)))))
  (- (log 1) (+ (log z) (- 0 (log (* x y)))))
  (- (log 1) (+ (log z) (- (log 1) (+ (log x) (log y)))))
  (- (log 1) (+ (log z) (- (log 1) (log (* x y)))))
  (- (log 1) (+ (log z) (log (/ 1 (* x y)))))
  (- (log 1) (log (* z (/ 1 (* x y)))))
  (log (/ 1 (* z (/ 1 (* x y)))))
  (exp (/ 1 (* z (/ 1 (* x y)))))
  (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))))
  (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))))
  (/ (* (* 1 1) 1) (* (* (* z z) z) (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))))
  (/ (* (* 1 1) 1) (* (* (* z (/ 1 (* x y))) (* z (/ 1 (* x y)))) (* z (/ 1 (* x y)))))
  (* (cbrt (/ 1 (* z (/ 1 (* x y))))) (cbrt (/ 1 (* z (/ 1 (* x y))))))
  (cbrt (/ 1 (* z (/ 1 (* x y)))))
  (* (* (/ 1 (* z (/ 1 (* x y)))) (/ 1 (* z (/ 1 (* x y))))) (/ 1 (* z (/ 1 (* x y)))))
  (sqrt (/ 1 (* z (/ 1 (* x y)))))
  (sqrt (/ 1 (* z (/ 1 (* x y)))))
  (- 1)
  (- (* z (/ 1 (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) z)
  (/ (cbrt 1) (/ 1 (* x y)))
  (/ (sqrt 1) z)
  (/ (sqrt 1) (/ 1 (* x y)))
  (/ 1 z)
  (/ 1 (/ 1 (* x y)))
  (/ 1 (* z (/ 1 (* x y))))
  (/ (* z (/ 1 (* x y))) 1)
  (/ 1 z)
  (/ (* z (/ 1 (* x y))) (cbrt 1))
  (/ (* z (/ 1 (* x y))) (sqrt 1))
  (/ (* z (/ 1 (* x y))) 1)
  (/ 1 z)
  (/ 1 (* z 1))
  (real->posit16 (/ 1 (* z (/ 1 (* x y)))))
  (expm1 (/ 1 (* x y)))
  (log1p (/ 1 (* x y)))
  (- 1)
  (- 1)
  (- (+ (log x) (log y)))
  (- (log (* x y)))
  (- 0 (+ (log x) (log y)))
  (- 0 (log (* x y)))
  (- (log 1) (+ (log x) (log y)))
  (- (log 1) (log (* x y)))
  (log (/ 1 (* x y)))
  (exp (/ 1 (* x y)))
  (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* y y) y)))
  (/ (* (* 1 1) 1) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (/ 1 (* x y))) (cbrt (/ 1 (* x y))))
  (cbrt (/ 1 (* x y)))
  (* (* (/ 1 (* x y)) (/ 1 (* x y))) (/ 1 (* x y)))
  (sqrt (/ 1 (* x y)))
  (sqrt (/ 1 (* x y)))
  (- 1)
  (- (* x y))
  (/ (* (cbrt 1) (cbrt 1)) x)
  (/ (cbrt 1) y)
  (/ (sqrt 1) x)
  (/ (sqrt 1) y)
  (/ 1 x)
  (/ 1 y)
  (/ 1 (* x y))
  (/ (* x y) 1)
  (/ 1 x)
  (/ (* x y) (cbrt 1))
  (/ (* x y) (sqrt 1))
  (/ (* x y) 1)
  (real->posit16 (/ 1 (* x y)))
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ 1 (* x y))
  (/ 1 (* x y))
  (/ 1 (* x y))
4.978 * * [simplify]: iteration 0: 140 enodes
5.031 * * [simplify]: iteration 1: 351 enodes
5.157 * * [simplify]: iteration 2: 943 enodes
6.749 * * [simplify]: iteration complete: 5001 enodes
6.749 * * [simplify]: Extracting #0: cost 44 inf + 0
6.753 * * [simplify]: Extracting #1: cost 854 inf + 2
6.765 * * [simplify]: Extracting #2: cost 1391 inf + 6160
6.795 * * [simplify]: Extracting #3: cost 715 inf + 106874
6.857 * * [simplify]: Extracting #4: cost 69 inf + 201514
6.930 * * [simplify]: Extracting #5: cost 0 inf + 207030
7.003 * [simplify]: Simplified to:
  (expm1 (/ (/ z y) x))
  (log1p (/ (/ z y) x))
  (/ (/ z y) x)
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (log (/ (/ z y) x))
  (exp (/ (/ z y) x))
  (* (/ (/ z y) x) (* (/ (/ z y) x) (/ (/ z y) x)))
  (* (/ (/ z y) x) (* (/ (/ z y) x) (/ (/ z y) x)))
  (* (/ (/ z y) x) (* (/ (/ z y) x) (/ (/ z y) x)))
  (* (cbrt (/ (/ z y) x)) (cbrt (/ (/ z y) x)))
  (cbrt (/ (/ z y) x))
  (* (/ (/ z y) x) (* (/ (/ z y) x) (/ (/ z y) x)))
  (sqrt (/ (/ z y) x))
  (sqrt (/ (/ z y) x))
  (* (sqrt z) (sqrt (/ 1 (* y x))))
  (* (sqrt z) (sqrt (/ 1 (* y x))))
  (* z (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x)))))
  (* (sqrt (/ 1 (* y x))) z)
  (/ z x)
  (/ z x)
  (/ z x)
  z
  z
  (/ (cbrt z) (* y x))
  (/ (sqrt z) (* y x))
  (/ (/ z y) x)
  z
  (real->posit16 (/ (/ z y) x))
  (expm1 (* (/ x z) y))
  (log1p (* (/ x z) y))
  -1
  -1
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (log (* (/ x z) y))
  (exp (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (* (cbrt (* (/ x z) y)) (cbrt (* (/ x z) y)))
  (cbrt (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (sqrt (* (/ x z) y))
  (sqrt (* (/ x z) y))
  -1
  (/ (- z) (* y x))
  (/ 1 z)
  (* y x)
  (/ 1 z)
  (* y x)
  (/ 1 z)
  (* y x)
  (* (/ x z) y)
  (/ (/ z y) x)
  (/ 1 z)
  (/ (/ z y) x)
  (/ (/ z y) x)
  (/ (/ z y) x)
  (/ 1 z)
  (/ 1 z)
  (real->posit16 (* (/ x z) y))
  (expm1 (/ 1 (* y x)))
  (log1p (/ 1 (* y x)))
  -1
  -1
  (- (log (* y x)))
  (- (log (* y x)))
  (- (log (* y x)))
  (- (log (* y x)))
  (- (log (* y x)))
  (- (log (* y x)))
  (- (log (* y x)))
  (exp (/ 1 (* y x)))
  (/ (/ 1 (* (* y x) (* y x))) (* y x))
  (/ (/ 1 (* (* y x) (* y x))) (* y x))
  (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x))))
  (cbrt (/ 1 (* y x)))
  (/ (/ 1 (* (* y x) (* y x))) (* y x))
  (sqrt (/ 1 (* y x)))
  (sqrt (/ 1 (* y x)))
  -1
  (- (* x y))
  (/ 1 x)
  (/ 1 y)
  (/ 1 x)
  (/ 1 y)
  (/ 1 x)
  (/ 1 y)
  (/ 1 (* y x))
  (* y x)
  (/ 1 x)
  (* y x)
  (* y x)
  (* y x)
  (real->posit16 (/ 1 (* y x)))
  (/ (/ z y) x)
  (/ (/ z y) x)
  (/ (/ z y) x)
  (* (/ x z) y)
  (* (/ x z) y)
  (* (/ x z) y)
  (/ 1 (* y x))
  (/ 1 (* y x))
  (/ 1 (* y x))
7.012 * * * [progress]: adding candidates to table
7.334 * * [progress]: iteration 4 / 4
7.334 * * * [progress]: picking best candidate
7.346 * * * * [pick]: Picked  #<alt (λ (x y z) (* 1 (* (/ x z) y)))>
7.346 * * * [progress]: localizing error
7.355 * * * [progress]: generating rewritten candidates
7.355 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
7.380 * * * [progress]: generating series expansions
7.380 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
7.380 * [backup-simplify]: Simplify (* (/ x z) y) into (/ (* x y) z)
7.380 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x z y) around 0
7.380 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
7.380 * [taylor]: Taking taylor expansion of (* x y) in y
7.380 * [taylor]: Taking taylor expansion of x in y
7.380 * [backup-simplify]: Simplify x into x
7.380 * [taylor]: Taking taylor expansion of y in y
7.380 * [backup-simplify]: Simplify 0 into 0
7.380 * [backup-simplify]: Simplify 1 into 1
7.380 * [taylor]: Taking taylor expansion of z in y
7.380 * [backup-simplify]: Simplify z into z
7.380 * [backup-simplify]: Simplify (* x 0) into 0
7.381 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.382 * [backup-simplify]: Simplify (/ x z) into (/ x z)
7.382 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
7.382 * [taylor]: Taking taylor expansion of (* x y) in z
7.382 * [taylor]: Taking taylor expansion of x in z
7.382 * [backup-simplify]: Simplify x into x
7.382 * [taylor]: Taking taylor expansion of y in z
7.382 * [backup-simplify]: Simplify y into y
7.382 * [taylor]: Taking taylor expansion of z in z
7.382 * [backup-simplify]: Simplify 0 into 0
7.382 * [backup-simplify]: Simplify 1 into 1
7.382 * [backup-simplify]: Simplify (* x y) into (* x y)
7.382 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
7.382 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
7.382 * [taylor]: Taking taylor expansion of (* x y) in x
7.382 * [taylor]: Taking taylor expansion of x in x
7.382 * [backup-simplify]: Simplify 0 into 0
7.382 * [backup-simplify]: Simplify 1 into 1
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [backup-simplify]: Simplify y into y
7.382 * [taylor]: Taking taylor expansion of z in x
7.382 * [backup-simplify]: Simplify z into z
7.382 * [backup-simplify]: Simplify (* 0 y) into 0
7.383 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.383 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.383 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
7.383 * [taylor]: Taking taylor expansion of (* x y) in x
7.383 * [taylor]: Taking taylor expansion of x in x
7.383 * [backup-simplify]: Simplify 0 into 0
7.383 * [backup-simplify]: Simplify 1 into 1
7.383 * [taylor]: Taking taylor expansion of y in x
7.383 * [backup-simplify]: Simplify y into y
7.383 * [taylor]: Taking taylor expansion of z in x
7.384 * [backup-simplify]: Simplify z into z
7.384 * [backup-simplify]: Simplify (* 0 y) into 0
7.384 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.384 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.384 * [taylor]: Taking taylor expansion of (/ y z) in z
7.384 * [taylor]: Taking taylor expansion of y in z
7.384 * [backup-simplify]: Simplify y into y
7.384 * [taylor]: Taking taylor expansion of z in z
7.384 * [backup-simplify]: Simplify 0 into 0
7.384 * [backup-simplify]: Simplify 1 into 1
7.384 * [backup-simplify]: Simplify (/ y 1) into y
7.384 * [taylor]: Taking taylor expansion of y in y
7.384 * [backup-simplify]: Simplify 0 into 0
7.384 * [backup-simplify]: Simplify 1 into 1
7.384 * [backup-simplify]: Simplify 1 into 1
7.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.385 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
7.385 * [taylor]: Taking taylor expansion of 0 in z
7.385 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.386 * [taylor]: Taking taylor expansion of 0 in y
7.386 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify 0 into 0
7.387 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.387 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.387 * [taylor]: Taking taylor expansion of 0 in z
7.387 * [backup-simplify]: Simplify 0 into 0
7.387 * [taylor]: Taking taylor expansion of 0 in y
7.387 * [backup-simplify]: Simplify 0 into 0
7.387 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.388 * [taylor]: Taking taylor expansion of 0 in y
7.388 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify (* 1 (* y (* (/ 1 z) x))) into (/ (* x y) z)
7.388 * [backup-simplify]: Simplify (* (/ (/ 1 x) (/ 1 z)) (/ 1 y)) into (/ z (* x y))
7.388 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x z y) around 0
7.388 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.388 * [taylor]: Taking taylor expansion of z in y
7.388 * [backup-simplify]: Simplify z into z
7.388 * [taylor]: Taking taylor expansion of (* x y) in y
7.388 * [taylor]: Taking taylor expansion of x in y
7.388 * [backup-simplify]: Simplify x into x
7.388 * [taylor]: Taking taylor expansion of y in y
7.388 * [backup-simplify]: Simplify 0 into 0
7.388 * [backup-simplify]: Simplify 1 into 1
7.388 * [backup-simplify]: Simplify (* x 0) into 0
7.389 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.389 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.389 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
7.389 * [taylor]: Taking taylor expansion of z in z
7.389 * [backup-simplify]: Simplify 0 into 0
7.389 * [backup-simplify]: Simplify 1 into 1
7.389 * [taylor]: Taking taylor expansion of (* x y) in z
7.389 * [taylor]: Taking taylor expansion of x in z
7.389 * [backup-simplify]: Simplify x into x
7.389 * [taylor]: Taking taylor expansion of y in z
7.389 * [backup-simplify]: Simplify y into y
7.389 * [backup-simplify]: Simplify (* x y) into (* x y)
7.389 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.389 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.389 * [taylor]: Taking taylor expansion of z in x
7.389 * [backup-simplify]: Simplify z into z
7.389 * [taylor]: Taking taylor expansion of (* x y) in x
7.389 * [taylor]: Taking taylor expansion of x in x
7.389 * [backup-simplify]: Simplify 0 into 0
7.389 * [backup-simplify]: Simplify 1 into 1
7.389 * [taylor]: Taking taylor expansion of y in x
7.389 * [backup-simplify]: Simplify y into y
7.389 * [backup-simplify]: Simplify (* 0 y) into 0
7.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.390 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.390 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.390 * [taylor]: Taking taylor expansion of z in x
7.390 * [backup-simplify]: Simplify z into z
7.390 * [taylor]: Taking taylor expansion of (* x y) in x
7.390 * [taylor]: Taking taylor expansion of x in x
7.390 * [backup-simplify]: Simplify 0 into 0
7.390 * [backup-simplify]: Simplify 1 into 1
7.390 * [taylor]: Taking taylor expansion of y in x
7.390 * [backup-simplify]: Simplify y into y
7.390 * [backup-simplify]: Simplify (* 0 y) into 0
7.390 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.390 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.390 * [taylor]: Taking taylor expansion of (/ z y) in z
7.390 * [taylor]: Taking taylor expansion of z in z
7.390 * [backup-simplify]: Simplify 0 into 0
7.390 * [backup-simplify]: Simplify 1 into 1
7.390 * [taylor]: Taking taylor expansion of y in z
7.390 * [backup-simplify]: Simplify y into y
7.390 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.390 * [taylor]: Taking taylor expansion of y in y
7.390 * [backup-simplify]: Simplify 0 into 0
7.390 * [backup-simplify]: Simplify 1 into 1
7.391 * [backup-simplify]: Simplify (/ 1 1) into 1
7.391 * [backup-simplify]: Simplify 1 into 1
7.391 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.391 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
7.391 * [taylor]: Taking taylor expansion of 0 in z
7.391 * [backup-simplify]: Simplify 0 into 0
7.391 * [taylor]: Taking taylor expansion of 0 in y
7.391 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
7.392 * [taylor]: Taking taylor expansion of 0 in y
7.392 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.392 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.393 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.393 * [taylor]: Taking taylor expansion of 0 in z
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [taylor]: Taking taylor expansion of 0 in y
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [taylor]: Taking taylor expansion of 0 in y
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.393 * [taylor]: Taking taylor expansion of 0 in y
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 0 into 0
7.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.394 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.395 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.395 * [taylor]: Taking taylor expansion of 0 in z
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [taylor]: Taking taylor expansion of 0 in y
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [taylor]: Taking taylor expansion of 0 in y
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [taylor]: Taking taylor expansion of 0 in y
7.395 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.396 * [taylor]: Taking taylor expansion of 0 in y
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x))))) into (/ (* x y) z)
7.396 * [backup-simplify]: Simplify (* (/ (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (/ z (* x y)))
7.396 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x z y) around 0
7.396 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
7.396 * [taylor]: Taking taylor expansion of -1 in y
7.396 * [backup-simplify]: Simplify -1 into -1
7.396 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
7.396 * [taylor]: Taking taylor expansion of z in y
7.396 * [backup-simplify]: Simplify z into z
7.396 * [taylor]: Taking taylor expansion of (* x y) in y
7.396 * [taylor]: Taking taylor expansion of x in y
7.396 * [backup-simplify]: Simplify x into x
7.396 * [taylor]: Taking taylor expansion of y in y
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify 1 into 1
7.396 * [backup-simplify]: Simplify (* x 0) into 0
7.397 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
7.397 * [backup-simplify]: Simplify (/ z x) into (/ z x)
7.397 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
7.397 * [taylor]: Taking taylor expansion of -1 in z
7.397 * [backup-simplify]: Simplify -1 into -1
7.397 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
7.397 * [taylor]: Taking taylor expansion of z in z
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify 1 into 1
7.397 * [taylor]: Taking taylor expansion of (* x y) in z
7.397 * [taylor]: Taking taylor expansion of x in z
7.397 * [backup-simplify]: Simplify x into x
7.397 * [taylor]: Taking taylor expansion of y in z
7.397 * [backup-simplify]: Simplify y into y
7.397 * [backup-simplify]: Simplify (* x y) into (* x y)
7.397 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
7.397 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
7.397 * [taylor]: Taking taylor expansion of -1 in x
7.397 * [backup-simplify]: Simplify -1 into -1
7.397 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.397 * [taylor]: Taking taylor expansion of z in x
7.397 * [backup-simplify]: Simplify z into z
7.397 * [taylor]: Taking taylor expansion of (* x y) in x
7.397 * [taylor]: Taking taylor expansion of x in x
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify 1 into 1
7.397 * [taylor]: Taking taylor expansion of y in x
7.397 * [backup-simplify]: Simplify y into y
7.397 * [backup-simplify]: Simplify (* 0 y) into 0
7.397 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.398 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.398 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
7.398 * [taylor]: Taking taylor expansion of -1 in x
7.398 * [backup-simplify]: Simplify -1 into -1
7.398 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
7.398 * [taylor]: Taking taylor expansion of z in x
7.398 * [backup-simplify]: Simplify z into z
7.398 * [taylor]: Taking taylor expansion of (* x y) in x
7.398 * [taylor]: Taking taylor expansion of x in x
7.398 * [backup-simplify]: Simplify 0 into 0
7.398 * [backup-simplify]: Simplify 1 into 1
7.398 * [taylor]: Taking taylor expansion of y in x
7.398 * [backup-simplify]: Simplify y into y
7.398 * [backup-simplify]: Simplify (* 0 y) into 0
7.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.398 * [backup-simplify]: Simplify (/ z y) into (/ z y)
7.398 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
7.398 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
7.398 * [taylor]: Taking taylor expansion of -1 in z
7.398 * [backup-simplify]: Simplify -1 into -1
7.398 * [taylor]: Taking taylor expansion of (/ z y) in z
7.398 * [taylor]: Taking taylor expansion of z in z
7.398 * [backup-simplify]: Simplify 0 into 0
7.398 * [backup-simplify]: Simplify 1 into 1
7.398 * [taylor]: Taking taylor expansion of y in z
7.398 * [backup-simplify]: Simplify y into y
7.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.398 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y)
7.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y
7.398 * [taylor]: Taking taylor expansion of -1 in y
7.398 * [backup-simplify]: Simplify -1 into -1
7.398 * [taylor]: Taking taylor expansion of y in y
7.398 * [backup-simplify]: Simplify 0 into 0
7.398 * [backup-simplify]: Simplify 1 into 1
7.399 * [backup-simplify]: Simplify (/ -1 1) into -1
7.399 * [backup-simplify]: Simplify -1 into -1
7.399 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
7.400 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
7.400 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
7.400 * [taylor]: Taking taylor expansion of 0 in z
7.400 * [backup-simplify]: Simplify 0 into 0
7.400 * [taylor]: Taking taylor expansion of 0 in y
7.400 * [backup-simplify]: Simplify 0 into 0
7.400 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
7.400 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0
7.401 * [taylor]: Taking taylor expansion of 0 in y
7.401 * [backup-simplify]: Simplify 0 into 0
7.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.401 * [backup-simplify]: Simplify 0 into 0
7.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
7.402 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.403 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
7.403 * [taylor]: Taking taylor expansion of 0 in z
7.403 * [backup-simplify]: Simplify 0 into 0
7.403 * [taylor]: Taking taylor expansion of 0 in y
7.403 * [backup-simplify]: Simplify 0 into 0
7.403 * [taylor]: Taking taylor expansion of 0 in y
7.403 * [backup-simplify]: Simplify 0 into 0
7.403 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.403 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
7.403 * [taylor]: Taking taylor expansion of 0 in y
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify 0 into 0
7.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.404 * [backup-simplify]: Simplify 0 into 0
7.405 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.405 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.406 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z y))))) into 0
7.406 * [taylor]: Taking taylor expansion of 0 in z
7.406 * [backup-simplify]: Simplify 0 into 0
7.406 * [taylor]: Taking taylor expansion of 0 in y
7.406 * [backup-simplify]: Simplify 0 into 0
7.406 * [taylor]: Taking taylor expansion of 0 in y
7.406 * [backup-simplify]: Simplify 0 into 0
7.406 * [taylor]: Taking taylor expansion of 0 in y
7.406 * [backup-simplify]: Simplify 0 into 0
7.407 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.407 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
7.407 * [taylor]: Taking taylor expansion of 0 in y
7.407 * [backup-simplify]: Simplify 0 into 0
7.407 * [backup-simplify]: Simplify 0 into 0
7.407 * [backup-simplify]: Simplify 0 into 0
7.408 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
7.408 * * * [progress]: simplifying candidates
7.408 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (log1p (expm1 (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (expm1 (log1p (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (pow (* (/ x z) y) 1)))>
7.408 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (pow (* (/ x z) y) 1)))>
7.408 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (exp (+ (- (log x) (log z)) (log y)))))>
7.408 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (exp (+ (log (/ x z)) (log y)))))>
7.408 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (exp (log (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (log (exp (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (cbrt (* (/ (* (* x x) x) (* (* z z) z)) (* (* y y) y)))))>
7.408 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (cbrt (* (* (* (/ x z) (/ x z)) (/ x z)) (* (* y y) y)))))>
7.408 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (cbrt (* (/ x z) y)) (cbrt (* (/ x z) y))) (cbrt (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (cbrt (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>
7.408 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* 1 (* (/ x z) y))))>
7.408 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (sqrt (/ x z)) (sqrt y)) (* (sqrt (/ x z)) (sqrt y)))))>
7.408 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (/ (sqrt x) (sqrt z)) (sqrt y)) (* (/ (sqrt x) (sqrt z)) (sqrt y)))))>
7.408 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (/ x z) (* (cbrt y) (cbrt y))) (cbrt y))))>
7.408 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (/ x z) (sqrt y)) (sqrt y))))>
7.408 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (/ x z) 1) y)))>
7.408 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (* (cbrt (/ x z)) (cbrt (/ x z))) (* (cbrt (/ x z)) y))))>
7.408 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (sqrt (/ x z)) (* (sqrt (/ x z)) y))))>
7.408 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (* (/ (cbrt x) (cbrt z)) y))))>
7.408 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) (sqrt z)) (* (/ (cbrt x) (sqrt z)) y))))>
7.409 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))>
7.409 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (sqrt x) (* (cbrt z) (cbrt z))) (* (/ (sqrt x) (cbrt z)) y))))>
7.409 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (sqrt x) (sqrt z)) (* (/ (sqrt x) (sqrt z)) y))))>
7.409 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ (sqrt x) 1) (* (/ (sqrt x) z) y))))>
7.409 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ 1 (* (cbrt z) (cbrt z))) (* (/ x (cbrt z)) y))))>
7.409 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ 1 (sqrt z)) (* (/ x (sqrt z)) y))))>
7.409 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* (/ 1 1) (* (/ x z) y))))>
7.409 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* 1 (* (/ x z) y))))>
7.409 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* x (* (/ 1 z) y))))>
7.409 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ (* x y) z)))>
7.409 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (posit16->real (real->posit16 (* (/ x z) y)))))>
7.409 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (* y (/ x z))))>
7.409 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ (* x y) z)))>
7.409 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ (* x y) z)))>
7.409 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (x y z) (* 1 (/ (* x y) z)))>
7.409 * [simplify]: Simplifying:
  (expm1 (* (/ x z) y))
  (log1p (* (/ x z) y))
  (* (/ x z) y)
  (+ (- (log x) (log z)) (log y))
  (+ (log (/ x z)) (log y))
  (log (* (/ x z) y))
  (exp (* (/ x z) y))
  (* (/ (* (* x x) x) (* (* z z) z)) (* (* y y) y))
  (* (* (* (/ x z) (/ x z)) (/ x z)) (* (* y y) y))
  (* (cbrt (* (/ x z) y)) (cbrt (* (/ x z) y)))
  (cbrt (* (/ x z) y))
  (* (* (* (/ x z) y) (* (/ x z) y)) (* (/ x z) y))
  (sqrt (* (/ x z) y))
  (sqrt (* (/ x z) y))
  (* (sqrt (/ x z)) (sqrt y))
  (* (sqrt (/ x z)) (sqrt y))
  (* (/ (sqrt x) (sqrt z)) (sqrt y))
  (* (/ (sqrt x) (sqrt z)) (sqrt y))
  (* (/ x z) (* (cbrt y) (cbrt y)))
  (* (/ x z) (sqrt y))
  (* (/ x z) 1)
  (* (cbrt (/ x z)) y)
  (* (sqrt (/ x z)) y)
  (* (/ (cbrt x) (cbrt z)) y)
  (* (/ (cbrt x) (sqrt z)) y)
  (* (/ (cbrt x) z) y)
  (* (/ (sqrt x) (cbrt z)) y)
  (* (/ (sqrt x) (sqrt z)) y)
  (* (/ (sqrt x) z) y)
  (* (/ x (cbrt z)) y)
  (* (/ x (sqrt z)) y)
  (* (/ x z) y)
  (* (/ x z) y)
  (* (/ 1 z) y)
  (* x y)
  (real->posit16 (* (/ x z) y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
7.410 * * [simplify]: iteration 0: 70 enodes
7.425 * * [simplify]: iteration 1: 159 enodes
7.488 * * [simplify]: iteration 2: 513 enodes
7.871 * * [simplify]: iteration 3: 2106 enodes
8.998 * * [simplify]: iteration complete: 5000 enodes
8.999 * * [simplify]: Extracting #0: cost 27 inf + 0
8.999 * * [simplify]: Extracting #1: cost 471 inf + 0
9.005 * * [simplify]: Extracting #2: cost 1461 inf + 4965
9.023 * * [simplify]: Extracting #3: cost 1078 inf + 114584
9.067 * * [simplify]: Extracting #4: cost 176 inf + 244607
9.129 * * [simplify]: Extracting #5: cost 9 inf + 263916
9.209 * * [simplify]: Extracting #6: cost 0 inf + 266349
9.258 * * [simplify]: Extracting #7: cost 0 inf + 266269
9.307 * [simplify]: Simplified to:
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (/ (* x y) z)
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (* (sqrt (/ x z)) (sqrt y))
  (* (sqrt (/ x z)) (sqrt y))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* (sqrt y) (/ (sqrt x) (sqrt z)))
  (* (/ x z) (* (cbrt y) (cbrt y)))
  (* (/ x z) (sqrt y))
  (/ x z)
  (* (cbrt (/ x z)) y)
  (* y (sqrt (/ x z)))
  (/ (* y (cbrt x)) (cbrt z))
  (/ (* (cbrt x) y) (sqrt z))
  (/ (cbrt x) (/ z y))
  (* y (/ (sqrt x) (cbrt z)))
  (/ (* y (sqrt x)) (sqrt z))
  (/ (* y (sqrt x)) z)
  (/ y (/ (cbrt z) x))
  (/ x (/ (sqrt z) y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ y z)
  (* y x)
  (real->posit16 (/ (* x y) z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
9.308 * * * [progress]: adding candidates to table
9.452 * [progress]: [Phase 3 of 3] Extracting.
9.453 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.453 * * * [regime-changes]: Trying 5 branch expressions: ((* x y) (/ (* x y) z) z y x)
9.453 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.557 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))>)
9.603 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.676 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.717 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.776 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.826 * * * [regime]: Found split indices: #<option (#s(si 3 8) #s(si 5 106) #s(si 3 153) #s(si 5 231) #s(si 3 255))>
9.827 * [binary-search]: Only using regimes for bounds on (* x y) and (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.827 * [regimes]: Found splitpoints: (#s(sp 3 (* x y) -1.833851608776524e+306) #s(sp 5 (* x y) -2.3839015942083366e-250) #s(sp 3 (* x y) -0.0) #s(sp 5 (* x y) 2.306354764114607e+117) #s(sp 3 (* x y) +nan.0)) , with alts (#<alt (λ (x y z) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z) (/ 1 (* z (/ 1 (* x y)))))> #<alt (λ (x y z) (* x (/ y z)))> #<alt (λ (x y z) (* 1 (* (/ x z) y)))> #<alt (λ (x y z) (* 1 (* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) z) y))))> #<alt (λ (x y z) (/ (* x y) z))> #<alt (λ (x y z) (* (* (cbrt (/ 1 (/ z (* x y)))) (cbrt (/ 1 (/ z (* x y))))) (cbrt (/ 1 (/ z (* x y))))))> #<alt (λ (x y z) (* 1 (* (sqrt (* (/ x z) y)) (sqrt (* (/ x z) y)))))>)
9.827 * [simplify]: Simplifying:
  (if (<= (* x y) -1.833851608776524e+306) (* 1 (* (/ x z) y)) (if (<= (* x y) -2.3839015942083366e-250) (/ (* x y) z) (if (<= (* x y) -0.0) (* 1 (* (/ x z) y)) (if (<= (* x y) 2.306354764114607e+117) (/ (* x y) z) (* 1 (* (/ x z) y))))))
9.828 * * [simplify]: iteration 0: 21 enodes
9.829 * * [simplify]: iteration 1: 29 enodes
9.830 * * [simplify]: iteration 2: 32 enodes
9.831 * * [simplify]: iteration 3: 38 enodes
9.832 * * [simplify]: iteration 4: 41 enodes
9.833 * * [simplify]: iteration 5: 44 enodes
9.835 * * [simplify]: iteration 6: 45 enodes
9.836 * * [simplify]: iteration 7: 48 enodes
9.838 * * [simplify]: iteration 8: 49 enodes
9.840 * * [simplify]: iteration 9: 59 enodes
9.842 * * [simplify]: iteration 10: 66 enodes
9.844 * * [simplify]: iteration 11: 74 enodes
9.847 * * [simplify]: iteration 12: 81 enodes
9.849 * * [simplify]: iteration 13: 89 enodes
9.852 * * [simplify]: iteration 14: 96 enodes
9.855 * * [simplify]: iteration 15: 104 enodes
9.858 * * [simplify]: iteration 16: 111 enodes
9.861 * * [simplify]: iteration 17: 119 enodes
9.864 * * [simplify]: iteration 18: 126 enodes
9.867 * * [simplify]: iteration 19: 134 enodes
9.871 * * [simplify]: iteration 20: 141 enodes
9.874 * * [simplify]: iteration 21: 149 enodes
9.878 * * [simplify]: iteration 22: 156 enodes
9.883 * * [simplify]: iteration 23: 164 enodes
9.887 * * [simplify]: iteration 24: 171 enodes
9.891 * * [simplify]: iteration 25: 179 enodes
9.896 * * [simplify]: iteration 26: 186 enodes
9.900 * * [simplify]: iteration 27: 194 enodes
9.905 * * [simplify]: iteration 28: 201 enodes
9.910 * * [simplify]: iteration 29: 209 enodes
9.915 * * [simplify]: iteration 30: 216 enodes
9.920 * * [simplify]: iteration 31: 224 enodes
9.926 * * [simplify]: iteration 32: 231 enodes
9.931 * * [simplify]: iteration 33: 239 enodes
9.940 * * [simplify]: iteration 34: 246 enodes
9.945 * * [simplify]: iteration 35: 254 enodes
9.952 * * [simplify]: iteration 36: 261 enodes
9.959 * * [simplify]: iteration 37: 269 enodes
9.970 * * [simplify]: iteration 38: 276 enodes
9.976 * * [simplify]: iteration 39: 284 enodes
9.988 * * [simplify]: iteration 40: 291 enodes
9.999 * * [simplify]: iteration 41: 299 enodes
10.011 * * [simplify]: iteration 42: 306 enodes
10.022 * * [simplify]: iteration 43: 314 enodes
10.035 * * [simplify]: iteration 44: 321 enodes
10.047 * * [simplify]: iteration 45: 329 enodes
10.054 * * [simplify]: iteration 46: 336 enodes
10.061 * * [simplify]: iteration 47: 344 enodes
10.070 * * [simplify]: iteration 48: 351 enodes
10.081 * * [simplify]: iteration 49: 359 enodes
10.089 * * [simplify]: iteration 50: 366 enodes
10.097 * * [simplify]: iteration 51: 374 enodes
10.105 * * [simplify]: iteration 52: 381 enodes
10.114 * * [simplify]: iteration 53: 389 enodes
10.123 * * [simplify]: iteration 54: 396 enodes
10.131 * * [simplify]: iteration 55: 404 enodes
10.141 * * [simplify]: iteration 56: 411 enodes
10.149 * * [simplify]: iteration 57: 419 enodes
10.159 * * [simplify]: iteration 58: 426 enodes
10.167 * * [simplify]: iteration 59: 434 enodes
10.178 * * [simplify]: iteration 60: 441 enodes
10.187 * * [simplify]: iteration 61: 449 enodes
10.197 * * [simplify]: iteration 62: 456 enodes
10.209 * * [simplify]: iteration 63: 464 enodes
10.224 * * [simplify]: iteration 64: 471 enodes
10.234 * * [simplify]: iteration 65: 479 enodes
10.245 * * [simplify]: iteration 66: 486 enodes
10.256 * * [simplify]: iteration 67: 494 enodes
10.267 * * [simplify]: iteration 68: 501 enodes
10.278 * * [simplify]: iteration 69: 509 enodes
10.290 * * [simplify]: iteration 70: 516 enodes
10.300 * * [simplify]: iteration 71: 524 enodes
10.313 * * [simplify]: iteration 72: 531 enodes
10.324 * * [simplify]: iteration 73: 539 enodes
10.336 * * [simplify]: iteration 74: 546 enodes
10.351 * * [simplify]: iteration 75: 554 enodes
10.367 * * [simplify]: iteration 76: 561 enodes
10.380 * * [simplify]: iteration 77: 569 enodes
10.393 * * [simplify]: iteration 78: 576 enodes
10.408 * * [simplify]: iteration 79: 584 enodes
10.421 * * [simplify]: iteration 80: 591 enodes
10.434 * * [simplify]: iteration 81: 599 enodes
10.448 * * [simplify]: iteration 82: 606 enodes
10.460 * * [simplify]: iteration 83: 614 enodes
10.474 * * [simplify]: iteration 84: 621 enodes
10.487 * * [simplify]: iteration 85: 629 enodes
10.501 * * [simplify]: iteration 86: 636 enodes
10.515 * * [simplify]: iteration 87: 644 enodes
10.529 * * [simplify]: iteration 88: 651 enodes
10.545 * * [simplify]: iteration 89: 659 enodes
10.559 * * [simplify]: iteration 90: 666 enodes
10.574 * * [simplify]: iteration 91: 674 enodes
10.589 * * [simplify]: iteration 92: 681 enodes
10.603 * * [simplify]: iteration 93: 689 enodes
10.629 * * [simplify]: iteration 94: 696 enodes
10.644 * * [simplify]: iteration 95: 704 enodes
10.659 * * [simplify]: iteration 96: 711 enodes
10.674 * * [simplify]: iteration 97: 719 enodes
10.703 * * [simplify]: iteration 98: 726 enodes
10.723 * * [simplify]: iteration 99: 734 enodes
10.743 * * [simplify]: iteration 100: 741 enodes
10.775 * * [simplify]: iteration 101: 749 enodes
10.807 * * [simplify]: iteration 102: 756 enodes
10.843 * * [simplify]: iteration 103: 764 enodes
10.875 * * [simplify]: iteration 104: 771 enodes
10.892 * * [simplify]: iteration 105: 779 enodes
10.910 * * [simplify]: iteration 106: 786 enodes
10.933 * * [simplify]: iteration 107: 794 enodes
10.950 * * [simplify]: iteration 108: 801 enodes
10.970 * * [simplify]: iteration 109: 809 enodes
10.993 * * [simplify]: iteration 110: 816 enodes
11.012 * * [simplify]: iteration 111: 824 enodes
11.034 * * [simplify]: iteration 112: 831 enodes
11.054 * * [simplify]: iteration 113: 839 enodes
11.072 * * [simplify]: iteration 114: 846 enodes
11.090 * * [simplify]: iteration 115: 854 enodes
11.108 * * [simplify]: iteration 116: 861 enodes
11.127 * * [simplify]: iteration 117: 869 enodes
11.145 * * [simplify]: iteration 118: 876 enodes
11.164 * * [simplify]: iteration 119: 884 enodes
11.201 * * [simplify]: iteration 120: 891 enodes
11.229 * * [simplify]: iteration 121: 899 enodes
11.251 * * [simplify]: iteration 122: 906 enodes
11.279 * * [simplify]: iteration 123: 914 enodes
11.309 * * [simplify]: iteration 124: 921 enodes
11.348 * * [simplify]: iteration 125: 929 enodes
11.376 * * [simplify]: iteration 126: 936 enodes
11.401 * * [simplify]: iteration 127: 944 enodes
11.434 * * [simplify]: iteration 128: 951 enodes
11.460 * * [simplify]: iteration 129: 959 enodes
11.487 * * [simplify]: iteration 130: 966 enodes
11.526 * * [simplify]: iteration 131: 974 enodes
11.570 * * [simplify]: iteration 132: 981 enodes
11.595 * * [simplify]: iteration 133: 989 enodes
11.618 * * [simplify]: iteration 134: 996 enodes
11.663 * * [simplify]: iteration 135: 1004 enodes
11.685 * * [simplify]: iteration 136: 1011 enodes
11.717 * * [simplify]: iteration 137: 1019 enodes
11.766 * * [simplify]: iteration 138: 1026 enodes
11.811 * * [simplify]: iteration 139: 1034 enodes
11.859 * * [simplify]: iteration 140: 1041 enodes
11.880 * * [simplify]: iteration 141: 1049 enodes
11.919 * * [simplify]: iteration 142: 1056 enodes
11.962 * * [simplify]: iteration 143: 1064 enodes
12.006 * * [simplify]: iteration 144: 1071 enodes
12.034 * * [simplify]: iteration 145: 1079 enodes
12.077 * * [simplify]: iteration 146: 1086 enodes
12.104 * * [simplify]: iteration 147: 1094 enodes
12.130 * * [simplify]: iteration 148: 1101 enodes
12.164 * * [simplify]: iteration 149: 1109 enodes
12.194 * * [simplify]: iteration 150: 1116 enodes
12.221 * * [simplify]: iteration 151: 1124 enodes
12.245 * * [simplify]: iteration 152: 1131 enodes
12.271 * * [simplify]: iteration 153: 1139 enodes
12.300 * * [simplify]: iteration 154: 1146 enodes
12.337 * * [simplify]: iteration 155: 1154 enodes
12.365 * * [simplify]: iteration 156: 1161 enodes
12.395 * * [simplify]: iteration 157: 1169 enodes
12.431 * * [simplify]: iteration 158: 1176 enodes
12.459 * * [simplify]: iteration 159: 1184 enodes
12.488 * * [simplify]: iteration 160: 1191 enodes
12.523 * * [simplify]: iteration 161: 1199 enodes
12.570 * * [simplify]: iteration 162: 1206 enodes
12.602 * * [simplify]: iteration 163: 1214 enodes
12.644 * * [simplify]: iteration 164: 1221 enodes
12.672 * * [simplify]: iteration 165: 1229 enodes
12.699 * * [simplify]: iteration 166: 1236 enodes
12.727 * * [simplify]: iteration 167: 1244 enodes
12.755 * * [simplify]: iteration 168: 1251 enodes
12.783 * * [simplify]: iteration 169: 1259 enodes
12.840 * * [simplify]: iteration 170: 1266 enodes
12.886 * * [simplify]: iteration 171: 1274 enodes
12.919 * * [simplify]: iteration 172: 1281 enodes
12.952 * * [simplify]: iteration 173: 1289 enodes
13.006 * * [simplify]: iteration 174: 1296 enodes
13.045 * * [simplify]: iteration 175: 1304 enodes
13.095 * * [simplify]: iteration 176: 1311 enodes
13.133 * * [simplify]: iteration 177: 1319 enodes
13.184 * * [simplify]: iteration 178: 1326 enodes
13.225 * * [simplify]: iteration 179: 1334 enodes
13.270 * * [simplify]: iteration 180: 1341 enodes
13.316 * * [simplify]: iteration 181: 1349 enodes
13.356 * * [simplify]: iteration 182: 1356 enodes
13.402 * * [simplify]: iteration 183: 1364 enodes
13.443 * * [simplify]: iteration 184: 1371 enodes
13.494 * * [simplify]: iteration 185: 1379 enodes
13.555 * * [simplify]: iteration 186: 1386 enodes
13.613 * * [simplify]: iteration 187: 1394 enodes
13.666 * * [simplify]: iteration 188: 1401 enodes
13.707 * * [simplify]: iteration 189: 1409 enodes
13.777 * * [simplify]: iteration 190: 1416 enodes
13.843 * * [simplify]: iteration 191: 1424 enodes
13.911 * * [simplify]: iteration 192: 1431 enodes
13.971 * * [simplify]: iteration 193: 1439 enodes
14.042 * * [simplify]: iteration 194: 1446 enodes
14.081 * * [simplify]: iteration 195: 1454 enodes
14.131 * * [simplify]: iteration 196: 1461 enodes
14.169 * * [simplify]: iteration 197: 1469 enodes
14.224 * * [simplify]: iteration 198: 1476 enodes
14.280 * * [simplify]: iteration 199: 1484 enodes
14.353 * * [simplify]: iteration 200: 1491 enodes
14.419 * * [simplify]: iteration 201: 1499 enodes
14.501 * * [simplify]: iteration 202: 1506 enodes
14.541 * * [simplify]: iteration 203: 1514 enodes
14.583 * * [simplify]: iteration 204: 1521 enodes
14.642 * * [simplify]: iteration 205: 1529 enodes
14.680 * * [simplify]: iteration 206: 1536 enodes
14.724 * * [simplify]: iteration 207: 1544 enodes
14.777 * * [simplify]: iteration 208: 1551 enodes
14.837 * * [simplify]: iteration 209: 1559 enodes
14.884 * * [simplify]: iteration 210: 1566 enodes
14.923 * * [simplify]: iteration 211: 1574 enodes
14.969 * * [simplify]: iteration 212: 1581 enodes
15.007 * * [simplify]: iteration 213: 1589 enodes
15.044 * * [simplify]: iteration 214: 1596 enodes
15.105 * * [simplify]: iteration 215: 1604 enodes
15.164 * * [simplify]: iteration 216: 1611 enodes
15.224 * * [simplify]: iteration 217: 1619 enodes
15.291 * * [simplify]: iteration 218: 1626 enodes
15.350 * * [simplify]: iteration 219: 1634 enodes
15.405 * * [simplify]: iteration 220: 1641 enodes
15.444 * * [simplify]: iteration 221: 1649 enodes
15.484 * * [simplify]: iteration 222: 1656 enodes
15.523 * * [simplify]: iteration 223: 1664 enodes
15.584 * * [simplify]: iteration 224: 1671 enodes
15.649 * * [simplify]: iteration 225: 1679 enodes
15.687 * * [simplify]: iteration 226: 1686 enodes
15.747 * * [simplify]: iteration 227: 1694 enodes
15.803 * * [simplify]: iteration 228: 1701 enodes
15.849 * * [simplify]: iteration 229: 1709 enodes
15.891 * * [simplify]: iteration 230: 1716 enodes
15.927 * * [simplify]: iteration 231: 1724 enodes
15.972 * * [simplify]: iteration 232: 1731 enodes
16.015 * * [simplify]: iteration 233: 1739 enodes
16.054 * * [simplify]: iteration 234: 1746 enodes
16.095 * * [simplify]: iteration 235: 1754 enodes
16.135 * * [simplify]: iteration 236: 1761 enodes
16.176 * * [simplify]: iteration 237: 1769 enodes
16.226 * * [simplify]: iteration 238: 1776 enodes
16.272 * * [simplify]: iteration 239: 1784 enodes
16.317 * * [simplify]: iteration 240: 1791 enodes
16.363 * * [simplify]: iteration 241: 1799 enodes
16.415 * * [simplify]: iteration 242: 1806 enodes
16.476 * * [simplify]: iteration 243: 1814 enodes
16.517 * * [simplify]: iteration 244: 1821 enodes
16.586 * * [simplify]: iteration 245: 1829 enodes
16.652 * * [simplify]: iteration 246: 1836 enodes
16.692 * * [simplify]: iteration 247: 1844 enodes
16.747 * * [simplify]: iteration 248: 1851 enodes
16.814 * * [simplify]: iteration 249: 1859 enodes
16.869 * * [simplify]: iteration 250: 1866 enodes
16.932 * * [simplify]: iteration 251: 1874 enodes
16.983 * * [simplify]: iteration 252: 1881 enodes
17.036 * * [simplify]: iteration 253: 1889 enodes
17.084 * * [simplify]: iteration 254: 1896 enodes
17.153 * * [simplify]: iteration 255: 1904 enodes
17.217 * * [simplify]: iteration 256: 1911 enodes
17.302 * * [simplify]: iteration 257: 1919 enodes
17.393 * * [simplify]: iteration 258: 1926 enodes
17.440 * * [simplify]: iteration 259: 1934 enodes
17.483 * * [simplify]: iteration 260: 1941 enodes
17.528 * * [simplify]: iteration 261: 1949 enodes
17.576 * * [simplify]: iteration 262: 1956 enodes
17.616 * * [simplify]: iteration 263: 1964 enodes
17.671 * * [simplify]: iteration 264: 1971 enodes
17.720 * * [simplify]: iteration 265: 1979 enodes
17.772 * * [simplify]: iteration 266: 1986 enodes
17.816 * * [simplify]: iteration 267: 1994 enodes
17.868 * * [simplify]: iteration 268: 2001 enodes
17.918 * * [simplify]: iteration 269: 2009 enodes
17.974 * * [simplify]: iteration 270: 2016 enodes
18.041 * * [simplify]: iteration 271: 2024 enodes
18.123 * * [simplify]: iteration 272: 2031 enodes
18.189 * * [simplify]: iteration 273: 2039 enodes
18.241 * * [simplify]: iteration 274: 2046 enodes
18.292 * * [simplify]: iteration 275: 2054 enodes
18.372 * * [simplify]: iteration 276: 2061 enodes
18.435 * * [simplify]: iteration 277: 2069 enodes
18.490 * * [simplify]: iteration 278: 2076 enodes
18.554 * * [simplify]: iteration 279: 2084 enodes
18.614 * * [simplify]: iteration 280: 2091 enodes
19.001 * * [simplify]: iteration 281: 2099 enodes
19.052 * * [simplify]: iteration 282: 2106 enodes
19.123 * * [simplify]: iteration 283: 2114 enodes
19.212 * * [simplify]: iteration 284: 2121 enodes
19.295 * * [simplify]: iteration 285: 2129 enodes
19.391 * * [simplify]: iteration 286: 2136 enodes
19.463 * * [simplify]: iteration 287: 2144 enodes
19.564 * * [simplify]: iteration 288: 2151 enodes
19.633 * * [simplify]: iteration 289: 2159 enodes
19.742 * * [simplify]: iteration 290: 2166 enodes
19.825 * * [simplify]: iteration 291: 2174 enodes
19.909 * * [simplify]: iteration 292: 2181 enodes
19.969 * * [simplify]: iteration 293: 2189 enodes
20.037 * * [simplify]: iteration 294: 2196 enodes
20.131 * * [simplify]: iteration 295: 2204 enodes
20.199 * * [simplify]: iteration 296: 2211 enodes
20.276 * * [simplify]: iteration 297: 2219 enodes
20.380 * * [simplify]: iteration 298: 2226 enodes
20.444 * * [simplify]: iteration 299: 2234 enodes
20.520 * * [simplify]: iteration 300: 2241 enodes
20.583 * * [simplify]: iteration 301: 2249 enodes
20.654 * * [simplify]: iteration 302: 2256 enodes
20.726 * * [simplify]: iteration 303: 2264 enodes
20.814 * * [simplify]: iteration 304: 2271 enodes
20.887 * * [simplify]: iteration 305: 2279 enodes
20.954 * * [simplify]: iteration 306: 2286 enodes
21.041 * * [simplify]: iteration 307: 2294 enodes
21.138 * * [simplify]: iteration 308: 2301 enodes
21.202 * * [simplify]: iteration 309: 2309 enodes
21.281 * * [simplify]: iteration 310: 2316 enodes
21.356 * * [simplify]: iteration 311: 2324 enodes
21.432 * * [simplify]: iteration 312: 2331 enodes
21.526 * * [simplify]: iteration 313: 2339 enodes
21.606 * * [simplify]: iteration 314: 2346 enodes
21.692 * * [simplify]: iteration 315: 2354 enodes
21.784 * * [simplify]: iteration 316: 2361 enodes
21.889 * * [simplify]: iteration 317: 2369 enodes
21.975 * * [simplify]: iteration 318: 2376 enodes
22.076 * * [simplify]: iteration 319: 2384 enodes
22.176 * * [simplify]: iteration 320: 2391 enodes
22.259 * * [simplify]: iteration 321: 2399 enodes
22.356 * * [simplify]: iteration 322: 2406 enodes
22.478 * * [simplify]: iteration 323: 2414 enodes
22.578 * * [simplify]: iteration 324: 2421 enodes
22.679 * * [simplify]: iteration 325: 2429 enodes
22.767 * * [simplify]: iteration 326: 2436 enodes
22.859 * * [simplify]: iteration 327: 2444 enodes
22.974 * * [simplify]: iteration 328: 2451 enodes
23.070 * * [simplify]: iteration 329: 2459 enodes
23.163 * * [simplify]: iteration 330: 2466 enodes
23.268 * * [simplify]: iteration 331: 2474 enodes
23.371 * * [simplify]: iteration 332: 2481 enodes
23.444 * * [simplify]: iteration 333: 2489 enodes
23.571 * * [simplify]: iteration 334: 2496 enodes
23.696 * * [simplify]: iteration 335: 2504 enodes
23.798 * * [simplify]: iteration 336: 2511 enodes
23.916 * * [simplify]: iteration 337: 2519 enodes
24.040 * * [simplify]: iteration 338: 2526 enodes
24.159 * * [simplify]: iteration 339: 2534 enodes
24.286 * * [simplify]: iteration 340: 2541 enodes
24.392 * * [simplify]: iteration 341: 2549 enodes
24.490 * * [simplify]: iteration 342: 2556 enodes
24.610 * * [simplify]: iteration 343: 2564 enodes
24.734 * * [simplify]: iteration 344: 2571 enodes
24.822 * * [simplify]: iteration 345: 2579 enodes
24.936 * * [simplify]: iteration 346: 2586 enodes
25.046 * * [simplify]: iteration 347: 2594 enodes
25.127 * * [simplify]: iteration 348: 2601 enodes
25.227 * * [simplify]: iteration 349: 2609 enodes
25.321 * * [simplify]: iteration 350: 2616 enodes
25.443 * * [simplify]: iteration 351: 2624 enodes
25.568 * * [simplify]: iteration 352: 2631 enodes
25.703 * * [simplify]: iteration 353: 2639 enodes
25.810 * * [simplify]: iteration 354: 2646 enodes
25.932 * * [simplify]: iteration 355: 2654 enodes
26.067 * * [simplify]: iteration 356: 2661 enodes
26.185 * * [simplify]: iteration 357: 2669 enodes
26.285 * * [simplify]: iteration 358: 2676 enodes
26.387 * * [simplify]: iteration 359: 2684 enodes
26.520 * * [simplify]: iteration 360: 2691 enodes
26.616 * * [simplify]: iteration 361: 2699 enodes
26.709 * * [simplify]: iteration 362: 2706 enodes
26.786 * * [simplify]: iteration 363: 2714 enodes
26.874 * * [simplify]: iteration 364: 2721 enodes
26.956 * * [simplify]: iteration 365: 2729 enodes
27.047 * * [simplify]: iteration 366: 2736 enodes
27.136 * * [simplify]: iteration 367: 2744 enodes
27.255 * * [simplify]: iteration 368: 2751 enodes
27.377 * * [simplify]: iteration 369: 2759 enodes
27.516 * * [simplify]: iteration 370: 2766 enodes
27.655 * * [simplify]: iteration 371: 2774 enodes
27.807 * * [simplify]: iteration 372: 2781 enodes
27.907 * * [simplify]: iteration 373: 2789 enodes
28.047 * * [simplify]: iteration 374: 2796 enodes
28.200 * * [simplify]: iteration 375: 2804 enodes
28.336 * * [simplify]: iteration 376: 2811 enodes
28.440 * * [simplify]: iteration 377: 2819 enodes
28.577 * * [simplify]: iteration 378: 2826 enodes
28.705 * * [simplify]: iteration 379: 2834 enodes
28.863 * * [simplify]: iteration 380: 2841 enodes
29.001 * * [simplify]: iteration 381: 2849 enodes
29.119 * * [simplify]: iteration 382: 2856 enodes
29.212 * * [simplify]: iteration 383: 2864 enodes
29.326 * * [simplify]: iteration 384: 2871 enodes
29.429 * * [simplify]: iteration 385: 2879 enodes
29.521 * * [simplify]: iteration 386: 2886 enodes
29.590 * * [simplify]: iteration 387: 2894 enodes
29.707 * * [simplify]: iteration 388: 2901 enodes
29.829 * * [simplify]: iteration 389: 2909 enodes
29.919 * * [simplify]: iteration 390: 2916 enodes
30.043 * * [simplify]: iteration 391: 2924 enodes
30.166 * * [simplify]: iteration 392: 2931 enodes
30.279 * * [simplify]: iteration 393: 2939 enodes
30.408 * * [simplify]: iteration 394: 2946 enodes
30.516 * * [simplify]: iteration 395: 2954 enodes
30.648 * * [simplify]: iteration 396: 2961 enodes
30.797 * * [simplify]: iteration 397: 2969 enodes
30.947 * * [simplify]: iteration 398: 2976 enodes
31.067 * * [simplify]: iteration 399: 2984 enodes
31.226 * * [simplify]: iteration 400: 2991 enodes
31.363 * * [simplify]: iteration 401: 2999 enodes
31.511 * * [simplify]: iteration 402: 3006 enodes
31.649 * * [simplify]: iteration 403: 3014 enodes
31.793 * * [simplify]: iteration 404: 3021 enodes
31.906 * * [simplify]: iteration 405: 3029 enodes
32.055 * * [simplify]: iteration 406: 3036 enodes
32.184 * * [simplify]: iteration 407: 3044 enodes
32.293 * * [simplify]: iteration 408: 3051 enodes
32.430 * * [simplify]: iteration 409: 3059 enodes
32.582 * * [simplify]: iteration 410: 3066 enodes
32.699 * * [simplify]: iteration 411: 3074 enodes
32.811 * * [simplify]: iteration 412: 3081 enodes
32.913 * * [simplify]: iteration 413: 3089 enodes
33.032 * * [simplify]: iteration 414: 3096 enodes
33.149 * * [simplify]: iteration 415: 3104 enodes
33.291 * * [simplify]: iteration 416: 3111 enodes
33.440 * * [simplify]: iteration 417: 3119 enodes
33.596 * * [simplify]: iteration 418: 3126 enodes
33.699 * * [simplify]: iteration 419: 3134 enodes
33.816 * * [simplify]: iteration 420: 3141 enodes
33.919 * * [simplify]: iteration 421: 3149 enodes
34.066 * * [simplify]: iteration 422: 3156 enodes
34.175 * * [simplify]: iteration 423: 3164 enodes
34.323 * * [simplify]: iteration 424: 3171 enodes
34.460 * * [simplify]: iteration 425: 3179 enodes
34.599 * * [simplify]: iteration 426: 3186 enodes
34.738 * * [simplify]: iteration 427: 3194 enodes
34.877 * * [simplify]: iteration 428: 3201 enodes
35.010 * * [simplify]: iteration 429: 3209 enodes
35.157 * * [simplify]: iteration 430: 3216 enodes
35.289 * * [simplify]: iteration 431: 3224 enodes
35.422 * * [simplify]: iteration 432: 3231 enodes
35.545 * * [simplify]: iteration 433: 3239 enodes
35.685 * * [simplify]: iteration 434: 3246 enodes
35.784 * * [simplify]: iteration 435: 3254 enodes
35.938 * * [simplify]: iteration 436: 3261 enodes
36.043 * * [simplify]: iteration 437: 3269 enodes
36.194 * * [simplify]: iteration 438: 3276 enodes
36.318 * * [simplify]: iteration 439: 3284 enodes
36.423 * * [simplify]: iteration 440: 3291 enodes
36.534 * * [simplify]: iteration 441: 3299 enodes
36.654 * * [simplify]: iteration 442: 3306 enodes
36.763 * * [simplify]: iteration 443: 3314 enodes
36.858 * * [simplify]: iteration 444: 3321 enodes
36.991 * * [simplify]: iteration 445: 3329 enodes
37.105 * * [simplify]: iteration 446: 3336 enodes
37.201 * * [simplify]: iteration 447: 3344 enodes
37.324 * * [simplify]: iteration 448: 3351 enodes
37.469 * * [simplify]: iteration 449: 3359 enodes
37.595 * * [simplify]: iteration 450: 3366 enodes
37.743 * * [simplify]: iteration 451: 3374 enodes
37.907 * * [simplify]: iteration 452: 3381 enodes
38.023 * * [simplify]: iteration 453: 3389 enodes
38.143 * * [simplify]: iteration 454: 3396 enodes
38.288 * * [simplify]: iteration 455: 3404 enodes
38.421 * * [simplify]: iteration 456: 3411 enodes
38.524 * * [simplify]: iteration 457: 3419 enodes
38.686 * * [simplify]: iteration 458: 3426 enodes
38.785 * * [simplify]: iteration 459: 3434 enodes
38.886 * * [simplify]: iteration 460: 3441 enodes
38.986 * * [simplify]: iteration 461: 3449 enodes
39.087 * * [simplify]: iteration 462: 3456 enodes
39.196 * * [simplify]: iteration 463: 3464 enodes
39.301 * * [simplify]: iteration 464: 3471 enodes
39.441 * * [simplify]: iteration 465: 3479 enodes
39.630 * * [simplify]: iteration 466: 3486 enodes
39.788 * * [simplify]: iteration 467: 3494 enodes
39.931 * * [simplify]: iteration 468: 3501 enodes
40.063 * * [simplify]: iteration 469: 3509 enodes
40.208 * * [simplify]: iteration 470: 3516 enodes
40.386 * * [simplify]: iteration 471: 3524 enodes
40.544 * * [simplify]: iteration 472: 3531 enodes
40.689 * * [simplify]: iteration 473: 3539 enodes
40.836 * * [simplify]: iteration 474: 3546 enodes
40.989 * * [simplify]: iteration 475: 3554 enodes
41.147 * * [simplify]: iteration 476: 3561 enodes
41.317 * * [simplify]: iteration 477: 3569 enodes
41.482 * * [simplify]: iteration 478: 3576 enodes
41.635 * * [simplify]: iteration 479: 3584 enodes
41.769 * * [simplify]: iteration 480: 3591 enodes
41.942 * * [simplify]: iteration 481: 3599 enodes
42.131 * * [simplify]: iteration 482: 3606 enodes
42.294 * * [simplify]: iteration 483: 3614 enodes
42.488 * * [simplify]: iteration 484: 3621 enodes
42.685 * * [simplify]: iteration 485: 3629 enodes
42.843 * * [simplify]: iteration 486: 3636 enodes
43.010 * * [simplify]: iteration 487: 3644 enodes
43.163 * * [simplify]: iteration 488: 3651 enodes
43.354 * * [simplify]: iteration 489: 3659 enodes
43.489 * * [simplify]: iteration 490: 3666 enodes
43.626 * * [simplify]: iteration 491: 3674 enodes
43.798 * * [simplify]: iteration 492: 3681 enodes
44.012 * * [simplify]: iteration 493: 3689 enodes
44.188 * * [simplify]: iteration 494: 3696 enodes
44.357 * * [simplify]: iteration 495: 3704 enodes
44.536 * * [simplify]: iteration 496: 3711 enodes
44.719 * * [simplify]: iteration 497: 3719 enodes
44.913 * * [simplify]: iteration 498: 3726 enodes
45.055 * * [simplify]: iteration 499: 3734 enodes
45.206 * * [simplify]: iteration 500: 3741 enodes
45.324 * * [simplify]: iteration 501: 3749 enodes
45.468 * * [simplify]: iteration 502: 3756 enodes
45.623 * * [simplify]: iteration 503: 3764 enodes
45.793 * * [simplify]: iteration 504: 3771 enodes
45.969 * * [simplify]: iteration 505: 3779 enodes
46.182 * * [simplify]: iteration 506: 3786 enodes
46.324 * * [simplify]: iteration 507: 3794 enodes
46.519 * * [simplify]: iteration 508: 3801 enodes
46.673 * * [simplify]: iteration 509: 3809 enodes
46.849 * * [simplify]: iteration 510: 3816 enodes
47.069 * * [simplify]: iteration 511: 3824 enodes
47.236 * * [simplify]: iteration 512: 3831 enodes
47.389 * * [simplify]: iteration 513: 3839 enodes
47.563 * * [simplify]: iteration 514: 3846 enodes
47.694 * * [simplify]: iteration 515: 3854 enodes
47.853 * * [simplify]: iteration 516: 3861 enodes
47.999 * * [simplify]: iteration 517: 3869 enodes
48.234 * * [simplify]: iteration 518: 3876 enodes
48.427 * * [simplify]: iteration 519: 3884 enodes
48.649 * * [simplify]: iteration 520: 3891 enodes
48.879 * * [simplify]: iteration 521: 3899 enodes
49.053 * * [simplify]: iteration 522: 3906 enodes
49.217 * * [simplify]: iteration 523: 3914 enodes
49.350 * * [simplify]: iteration 524: 3921 enodes
49.533 * * [simplify]: iteration 525: 3929 enodes
49.741 * * [simplify]: iteration 526: 3936 enodes
49.947 * * [simplify]: iteration 527: 3944 enodes
50.183 * * [simplify]: iteration 528: 3951 enodes
50.365 * * [simplify]: iteration 529: 3959 enodes
50.587 * * [simplify]: iteration 530: 3966 enodes
50.761 * * [simplify]: iteration 531: 3974 enodes
50.970 * * [simplify]: iteration 532: 3981 enodes
51.179 * * [simplify]: iteration 533: 3989 enodes
51.375 * * [simplify]: iteration 534: 3996 enodes
51.558 * * [simplify]: iteration 535: 4004 enodes
51.760 * * [simplify]: iteration 536: 4011 enodes
51.958 * * [simplify]: iteration 537: 4019 enodes
52.177 * * [simplify]: iteration 538: 4026 enodes
52.388 * * [simplify]: iteration 539: 4034 enodes
52.573 * * [simplify]: iteration 540: 4041 enodes
52.788 * * [simplify]: iteration 541: 4049 enodes
52.951 * * [simplify]: iteration 542: 4056 enodes
53.149 * * [simplify]: iteration 543: 4064 enodes
53.366 * * [simplify]: iteration 544: 4071 enodes
53.592 * * [simplify]: iteration 545: 4079 enodes
53.747 * * [simplify]: iteration 546: 4086 enodes
53.999 * * [simplify]: iteration 547: 4094 enodes
54.170 * * [simplify]: iteration 548: 4101 enodes
54.328 * * [simplify]: iteration 549: 4109 enodes
54.544 * * [simplify]: iteration 550: 4116 enodes
54.779 * * [simplify]: iteration 551: 4124 enodes
54.942 * * [simplify]: iteration 552: 4131 enodes
55.132 * * [simplify]: iteration 553: 4139 enodes
55.349 * * [simplify]: iteration 554: 4146 enodes
55.543 * * [simplify]: iteration 555: 4154 enodes
55.712 * * [simplify]: iteration 556: 4161 enodes
55.901 * * [simplify]: iteration 557: 4169 enodes
56.084 * * [simplify]: iteration 558: 4176 enodes
56.311 * * [simplify]: iteration 559: 4184 enodes
56.476 * * [simplify]: iteration 560: 4191 enodes
56.691 * * [simplify]: iteration 561: 4199 enodes
56.916 * * [simplify]: iteration 562: 4206 enodes
57.090 * * [simplify]: iteration 563: 4214 enodes
57.305 * * [simplify]: iteration 564: 4221 enodes
57.504 * * [simplify]: iteration 565: 4229 enodes
57.736 * * [simplify]: iteration 566: 4236 enodes
57.937 * * [simplify]: iteration 567: 4244 enodes
58.145 * * [simplify]: iteration 568: 4251 enodes
58.352 * * [simplify]: iteration 569: 4259 enodes
58.587 * * [simplify]: iteration 570: 4266 enodes
58.812 * * [simplify]: iteration 571: 4274 enodes
59.073 * * [simplify]: iteration 572: 4281 enodes
59.281 * * [simplify]: iteration 573: 4289 enodes
59.510 * * [simplify]: iteration 574: 4296 enodes
59.706 * * [simplify]: iteration 575: 4304 enodes
59.880 * * [simplify]: iteration 576: 4311 enodes
60.115 * * [simplify]: iteration 577: 4319 enodes
60.381 * * [simplify]: iteration 578: 4326 enodes
60.580 * * [simplify]: iteration 579: 4334 enodes
60.827 * * [simplify]: iteration 580: 4341 enodes
61.034 * * [simplify]: iteration 581: 4349 enodes
61.731 * * [simplify]: iteration 582: 4356 enodes
61.936 * * [simplify]: iteration 583: 4364 enodes
62.108 * * [simplify]: iteration 584: 4371 enodes
62.310 * * [simplify]: iteration 585: 4379 enodes
62.535 * * [simplify]: iteration 586: 4386 enodes
62.728 * * [simplify]: iteration 587: 4394 enodes
62.962 * * [simplify]: iteration 588: 4401 enodes
63.156 * * [simplify]: iteration 589: 4409 enodes
63.360 * * [simplify]: iteration 590: 4416 enodes
63.591 * * [simplify]: iteration 591: 4424 enodes
63.799 * * [simplify]: iteration 592: 4431 enodes
64.009 * * [simplify]: iteration 593: 4439 enodes
64.206 * * [simplify]: iteration 594: 4446 enodes
64.419 * * [simplify]: iteration 595: 4454 enodes
64.648 * * [simplify]: iteration 596: 4461 enodes
64.825 * * [simplify]: iteration 597: 4469 enodes
65.024 * * [simplify]: iteration 598: 4476 enodes
65.226 * * [simplify]: iteration 599: 4484 enodes
65.409 * * [simplify]: iteration 600: 4491 enodes
65.611 * * [simplify]: iteration 601: 4499 enodes
65.847 * * [simplify]: iteration 602: 4506 enodes
66.099 * * [simplify]: iteration 603: 4514 enodes
66.345 * * [simplify]: iteration 604: 4521 enodes
66.521 * * [simplify]: iteration 605: 4529 enodes
66.731 * * [simplify]: iteration 606: 4536 enodes
66.986 * * [simplify]: iteration 607: 4544 enodes
67.218 * * [simplify]: iteration 608: 4551 enodes
67.403 * * [simplify]: iteration 609: 4559 enodes
67.621 * * [simplify]: iteration 610: 4566 enodes
67.819 * * [simplify]: iteration 611: 4574 enodes
68.021 * * [simplify]: iteration 612: 4581 enodes
68.220 * * [simplify]: iteration 613: 4589 enodes
68.415 * * [simplify]: iteration 614: 4596 enodes
68.611 * * [simplify]: iteration 615: 4604 enodes
68.838 * * [simplify]: iteration 616: 4611 enodes
69.072 * * [simplify]: iteration 617: 4619 enodes
69.280 * * [simplify]: iteration 618: 4626 enodes
69.512 * * [simplify]: iteration 619: 4634 enodes
69.744 * * [simplify]: iteration 620: 4641 enodes
69.965 * * [simplify]: iteration 621: 4649 enodes
70.205 * * [simplify]: iteration 622: 4656 enodes
70.404 * * [simplify]: iteration 623: 4664 enodes
70.627 * * [simplify]: iteration 624: 4671 enodes
70.810 * * [simplify]: iteration 625: 4679 enodes
71.050 * * [simplify]: iteration 626: 4686 enodes
71.254 * * [simplify]: iteration 627: 4694 enodes
71.479 * * [simplify]: iteration 628: 4701 enodes
71.735 * * [simplify]: iteration 629: 4709 enodes
71.988 * * [simplify]: iteration 630: 4716 enodes
72.206 * * [simplify]: iteration 631: 4724 enodes
72.452 * * [simplify]: iteration 632: 4731 enodes
72.683 * * [simplify]: iteration 633: 4739 enodes
72.896 * * [simplify]: iteration 634: 4746 enodes
73.092 * * [simplify]: iteration 635: 4754 enodes
73.323 * * [simplify]: iteration 636: 4761 enodes
73.585 * * [simplify]: iteration 637: 4769 enodes
73.800 * * [simplify]: iteration 638: 4776 enodes
74.000 * * [simplify]: iteration 639: 4784 enodes
74.196 * * [simplify]: iteration 640: 4791 enodes
74.415 * * [simplify]: iteration 641: 4799 enodes
74.649 * * [simplify]: iteration 642: 4806 enodes
74.849 * * [simplify]: iteration 643: 4814 enodes
75.069 * * [simplify]: iteration 644: 4821 enodes
75.315 * * [simplify]: iteration 645: 4829 enodes
75.545 * * [simplify]: iteration 646: 4836 enodes
75.758 * * [simplify]: iteration 647: 4844 enodes
76.000 * * [simplify]: iteration 648: 4851 enodes
76.221 * * [simplify]: iteration 649: 4859 enodes
76.459 * * [simplify]: iteration 650: 4866 enodes
76.679 * * [simplify]: iteration 651: 4874 enodes
76.921 * * [simplify]: iteration 652: 4881 enodes
77.146 * * [simplify]: iteration 653: 4889 enodes
77.366 * * [simplify]: iteration 654: 4896 enodes
77.573 * * [simplify]: iteration 655: 4904 enodes
77.765 * * [simplify]: iteration 656: 4911 enodes
77.971 * * [simplify]: iteration 657: 4919 enodes
78.232 * * [simplify]: iteration 658: 4926 enodes
78.482 * * [simplify]: iteration 659: 4934 enodes
78.718 * * [simplify]: iteration 660: 4941 enodes
78.920 * * [simplify]: iteration 661: 4949 enodes
79.110 * * [simplify]: iteration 662: 4956 enodes
79.358 * * [simplify]: iteration 663: 4964 enodes
79.605 * * [simplify]: iteration 664: 4971 enodes
79.814 * * [simplify]: iteration 665: 4979 enodes
79.982 * * [simplify]: iteration 666: 4986 enodes
80.222 * * [simplify]: iteration 667: 4994 enodes
80.425 * * [simplify]: iteration complete: 5001 enodes
80.425 * * [simplify]: Extracting #0: cost 1 inf + 0
80.425 * * [simplify]: Extracting #1: cost 6 inf + 0
80.425 * * [simplify]: Extracting #2: cost 16 inf + 0
80.428 * * [simplify]: Extracting #3: cost 1012 inf + 4
80.438 * * [simplify]: Extracting #4: cost 1010 inf + 472
80.445 * * [simplify]: Extracting #5: cost 1009 inf + 646
80.454 * * [simplify]: Extracting #6: cost 1006 inf + 928
80.469 * * [simplify]: Extracting #7: cost 716 inf + 85704
80.546 * * [simplify]: Extracting #8: cost 1 inf + 296930
80.635 * * [simplify]: Extracting #9: cost 0 inf + 297617
80.705 * [simplify]: Simplified to:
  (if (<= (* x y) -1.833851608776524e+306) (* y (/ x z)) (if (<= (* x y) -2.3839015942083366e-250) (/ (* x y) z) (if (<= (* x y) -0.0) (* y (/ x z)) (if (<= (* x y) 2.306354764114607e+117) (/ (* x y) z) (* y (/ x z))))))
82.225 * [regime-testing]: Baseline error score: 5.2998611270455
82.227 * [regime-testing]: Oracle error score: 0.013001625203150393
82.232 * [regime-testing]: End program error score: 0.6270916850864854
82.282 * [regime-testing]: Target error score: 5.85735861555879