63.626 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (/ (* x (+ y z)) z)
0.027 * * [simplify]: iteration 0: 6 enodes
0.029 * * [simplify]: iteration 1: 16 enodes
0.033 * * [simplify]: iteration 2: 22 enodes
0.038 * * [simplify]: iteration 3: 33 enodes
0.046 * * [simplify]: iteration 4: 38 enodes
0.054 * * [simplify]: iteration 5: 44 enodes
0.061 * * [simplify]: iteration 6: 48 enodes
0.067 * * [simplify]: iteration 7: 114 enodes
0.085 * * [simplify]: iteration 8: 253 enodes
0.114 * * [simplify]: iteration 9: 591 enodes
0.206 * * [simplify]: iteration 10: 1410 enodes
0.477 * * [simplify]: iteration 11: 3185 enodes
0.925 * * [simplify]: iteration complete: 5000 enodes
0.925 * * [simplify]: Extracting #0: cost 1 inf + 0
0.926 * * [simplify]: Extracting #1: cost 188 inf + 0
0.929 * * [simplify]: Extracting #2: cost 1223 inf + 100
0.933 * * [simplify]: Extracting #3: cost 349 inf + 2788
0.938 * * [simplify]: Extracting #4: cost 4 inf + 3913
0.942 * * [simplify]: Extracting #5: cost 0 inf + 3933
0.946 * [simplify]: Simplified to:
  (/ (+ y z) (/ z x))
0.950 * * [progress]: iteration 1 / 4
0.950 * * * [progress]: picking best candidate
0.961 * * * * [pick]: Picked  #<alt (λ (x y z) (/ (* x (+ y z)) z))>
0.961 * * * [progress]: localizing error
0.977 * * * [progress]: generating rewritten candidates
0.977 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.998 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.015 * * * [progress]: generating series expansions
1.016 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.016 * [backup-simplify]: Simplify (/ (* x (+ y z)) z) into (/ (* x (+ z y)) z)
1.016 * [approximate]: Taking taylor expansion of (/ (* x (+ z y)) z) in (x y z) around 0
1.016 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in z
1.016 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
1.016 * [taylor]: Taking taylor expansion of x in z
1.016 * [backup-simplify]: Simplify x into x
1.016 * [taylor]: Taking taylor expansion of (+ z y) in z
1.016 * [taylor]: Taking taylor expansion of z in z
1.016 * [backup-simplify]: Simplify 0 into 0
1.016 * [backup-simplify]: Simplify 1 into 1
1.016 * [taylor]: Taking taylor expansion of y in z
1.016 * [backup-simplify]: Simplify y into y
1.016 * [taylor]: Taking taylor expansion of z in z
1.016 * [backup-simplify]: Simplify 0 into 0
1.016 * [backup-simplify]: Simplify 1 into 1
1.016 * [backup-simplify]: Simplify (+ 0 y) into y
1.016 * [backup-simplify]: Simplify (* x y) into (* x y)
1.017 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
1.017 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in y
1.017 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
1.017 * [taylor]: Taking taylor expansion of x in y
1.017 * [backup-simplify]: Simplify x into x
1.017 * [taylor]: Taking taylor expansion of (+ z y) in y
1.017 * [taylor]: Taking taylor expansion of z in y
1.017 * [backup-simplify]: Simplify z into z
1.017 * [taylor]: Taking taylor expansion of y in y
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 1 into 1
1.017 * [taylor]: Taking taylor expansion of z in y
1.017 * [backup-simplify]: Simplify z into z
1.017 * [backup-simplify]: Simplify (+ z 0) into z
1.017 * [backup-simplify]: Simplify (* x z) into (* x z)
1.017 * [backup-simplify]: Simplify (/ (* x z) z) into x
1.017 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
1.017 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [backup-simplify]: Simplify 0 into 0
1.017 * [backup-simplify]: Simplify 1 into 1
1.017 * [taylor]: Taking taylor expansion of (+ z y) in x
1.017 * [taylor]: Taking taylor expansion of z in x
1.017 * [backup-simplify]: Simplify z into z
1.017 * [taylor]: Taking taylor expansion of y in x
1.017 * [backup-simplify]: Simplify y into y
1.017 * [taylor]: Taking taylor expansion of z in x
1.017 * [backup-simplify]: Simplify z into z
1.017 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.017 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
1.018 * [backup-simplify]: Simplify (+ 0 0) into 0
1.018 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
1.018 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
1.018 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
1.018 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.018 * [backup-simplify]: Simplify 0 into 0
1.018 * [backup-simplify]: Simplify 1 into 1
1.018 * [taylor]: Taking taylor expansion of (+ z y) in x
1.018 * [taylor]: Taking taylor expansion of z in x
1.018 * [backup-simplify]: Simplify z into z
1.018 * [taylor]: Taking taylor expansion of y in x
1.018 * [backup-simplify]: Simplify y into y
1.018 * [taylor]: Taking taylor expansion of z in x
1.018 * [backup-simplify]: Simplify z into z
1.019 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.019 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
1.019 * [backup-simplify]: Simplify (+ 0 0) into 0
1.020 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
1.020 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
1.020 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in y
1.020 * [taylor]: Taking taylor expansion of (+ z y) in y
1.020 * [taylor]: Taking taylor expansion of z in y
1.020 * [backup-simplify]: Simplify z into z
1.020 * [taylor]: Taking taylor expansion of y in y
1.020 * [backup-simplify]: Simplify 0 into 0
1.020 * [backup-simplify]: Simplify 1 into 1
1.020 * [taylor]: Taking taylor expansion of z in y
1.020 * [backup-simplify]: Simplify z into z
1.020 * [backup-simplify]: Simplify (+ z 0) into z
1.020 * [backup-simplify]: Simplify (/ z z) into 1
1.020 * [taylor]: Taking taylor expansion of 1 in z
1.020 * [backup-simplify]: Simplify 1 into 1
1.020 * [backup-simplify]: Simplify (+ 0 0) into 0
1.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
1.021 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)))) into 0
1.021 * [taylor]: Taking taylor expansion of 0 in y
1.021 * [backup-simplify]: Simplify 0 into 0
1.021 * [taylor]: Taking taylor expansion of 0 in z
1.021 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify (+ 0 1) into 1
1.022 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* 1 (/ 0 z)))) into (/ 1 z)
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify (/ 1 1) into 1
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify (+ 0 0) into 0
1.023 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
1.023 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.023 * [taylor]: Taking taylor expansion of 0 in y
1.023 * [backup-simplify]: Simplify 0 into 0
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify (+ 0 0) into 0
1.024 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* 1 (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [backup-simplify]: Simplify 0 into 0
1.024 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify 0 into 0
1.025 * [backup-simplify]: Simplify (+ 0 0) into 0
1.026 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ z y)))))) into 0
1.026 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [taylor]: Taking taylor expansion of 0 in z
1.026 * [backup-simplify]: Simplify 0 into 0
1.026 * [backup-simplify]: Simplify (+ 0 0) into 0
1.027 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* 1 (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.027 * [taylor]: Taking taylor expansion of 0 in z
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* y x)))) into (+ (/ (* x y) z) x)
1.027 * [backup-simplify]: Simplify (/ (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) (/ 1 z)) into (/ (* z (+ (/ 1 z) (/ 1 y))) x)
1.027 * [approximate]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in (x y z) around 0
1.027 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in z
1.027 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
1.027 * [taylor]: Taking taylor expansion of z in z
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 1 into 1
1.027 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.027 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.027 * [taylor]: Taking taylor expansion of z in z
1.027 * [backup-simplify]: Simplify 0 into 0
1.027 * [backup-simplify]: Simplify 1 into 1
1.027 * [backup-simplify]: Simplify (/ 1 1) into 1
1.027 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.027 * [taylor]: Taking taylor expansion of y in z
1.028 * [backup-simplify]: Simplify y into y
1.028 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.028 * [taylor]: Taking taylor expansion of x in z
1.028 * [backup-simplify]: Simplify x into x
1.028 * [backup-simplify]: Simplify (+ 1 0) into 1
1.028 * [backup-simplify]: Simplify (* 0 1) into 0
1.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.029 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.029 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 1)) into 1
1.029 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.029 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in y
1.029 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in y
1.029 * [taylor]: Taking taylor expansion of z in y
1.029 * [backup-simplify]: Simplify z into z
1.029 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.029 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.029 * [taylor]: Taking taylor expansion of z in y
1.029 * [backup-simplify]: Simplify z into z
1.029 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.029 * [taylor]: Taking taylor expansion of y in y
1.029 * [backup-simplify]: Simplify 0 into 0
1.029 * [backup-simplify]: Simplify 1 into 1
1.029 * [backup-simplify]: Simplify (/ 1 1) into 1
1.029 * [taylor]: Taking taylor expansion of x in y
1.029 * [backup-simplify]: Simplify x into x
1.030 * [backup-simplify]: Simplify (+ 0 1) into 1
1.030 * [backup-simplify]: Simplify (* z 1) into z
1.030 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.030 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
1.030 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
1.030 * [taylor]: Taking taylor expansion of z in x
1.030 * [backup-simplify]: Simplify z into z
1.030 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.030 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.030 * [taylor]: Taking taylor expansion of z in x
1.030 * [backup-simplify]: Simplify z into z
1.030 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.030 * [taylor]: Taking taylor expansion of y in x
1.030 * [backup-simplify]: Simplify y into y
1.030 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.030 * [taylor]: Taking taylor expansion of x in x
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 1 into 1
1.030 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.030 * [backup-simplify]: Simplify (* z (+ (/ 1 y) (/ 1 z))) into (* z (+ (/ 1 z) (/ 1 y)))
1.030 * [backup-simplify]: Simplify (/ (* z (+ (/ 1 z) (/ 1 y))) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.030 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
1.030 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
1.030 * [taylor]: Taking taylor expansion of z in x
1.030 * [backup-simplify]: Simplify z into z
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.031 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.031 * [taylor]: Taking taylor expansion of z in x
1.031 * [backup-simplify]: Simplify z into z
1.031 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.031 * [taylor]: Taking taylor expansion of y in x
1.031 * [backup-simplify]: Simplify y into y
1.031 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify 1 into 1
1.031 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.031 * [backup-simplify]: Simplify (* z (+ (/ 1 y) (/ 1 z))) into (* z (+ (/ 1 z) (/ 1 y)))
1.031 * [backup-simplify]: Simplify (/ (* z (+ (/ 1 z) (/ 1 y))) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.031 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [backup-simplify]: Simplify 0 into 0
1.031 * [backup-simplify]: Simplify 1 into 1
1.032 * [backup-simplify]: Simplify (/ 1 1) into 1
1.032 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.032 * [taylor]: Taking taylor expansion of z in y
1.032 * [backup-simplify]: Simplify z into z
1.032 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.032 * [taylor]: Taking taylor expansion of z in y
1.032 * [backup-simplify]: Simplify z into z
1.032 * [backup-simplify]: Simplify (+ 1 0) into 1
1.032 * [backup-simplify]: Simplify (* 1 z) into z
1.032 * [taylor]: Taking taylor expansion of z in z
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 1 into 1
1.032 * [backup-simplify]: Simplify 0 into 0
1.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.033 * [backup-simplify]: Simplify (+ 0 0) into 0
1.033 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (+ (/ 1 y) (/ 1 z)))) into 0
1.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)))) into 0
1.034 * [taylor]: Taking taylor expansion of 0 in y
1.034 * [backup-simplify]: Simplify 0 into 0
1.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.035 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.035 * [backup-simplify]: Simplify (+ (* 1 0) (* (/ 1 z) z)) into 1
1.035 * [taylor]: Taking taylor expansion of 1 in z
1.036 * [backup-simplify]: Simplify 1 into 1
1.036 * [backup-simplify]: Simplify 1 into 1
1.036 * [backup-simplify]: Simplify 1 into 1
1.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.036 * [backup-simplify]: Simplify (+ 0 0) into 0
1.037 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (+ (/ 1 y) (/ 1 z))))) into 0
1.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.038 * [taylor]: Taking taylor expansion of 0 in y
1.038 * [backup-simplify]: Simplify 0 into 0
1.038 * [taylor]: Taking taylor expansion of 0 in z
1.038 * [backup-simplify]: Simplify 0 into 0
1.038 * [backup-simplify]: Simplify 0 into 0
1.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.039 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.039 * [backup-simplify]: Simplify (+ 0 0) into 0
1.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 z) 0) (* 0 z))) into 0
1.040 * [taylor]: Taking taylor expansion of 0 in z
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.040 * [backup-simplify]: Simplify (+ 0 0) into 0
1.041 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 y) (/ 1 z)))))) into 0
1.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.042 * [taylor]: Taking taylor expansion of 0 in y
1.042 * [backup-simplify]: Simplify 0 into 0
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.042 * [backup-simplify]: Simplify 0 into 0
1.042 * [backup-simplify]: Simplify 0 into 0
1.042 * [taylor]: Taking taylor expansion of 0 in z
1.042 * [backup-simplify]: Simplify 0 into 0
1.042 * [backup-simplify]: Simplify 0 into 0
1.042 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
1.043 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) (/ 1 (- z))) into (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x))
1.043 * [approximate]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in (x y z) around 0
1.043 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in z
1.043 * [taylor]: Taking taylor expansion of -1 in z
1.043 * [backup-simplify]: Simplify -1 into -1
1.043 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in z
1.043 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
1.043 * [taylor]: Taking taylor expansion of z in z
1.043 * [backup-simplify]: Simplify 0 into 0
1.043 * [backup-simplify]: Simplify 1 into 1
1.043 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.043 * [taylor]: Taking taylor expansion of z in z
1.043 * [backup-simplify]: Simplify 0 into 0
1.043 * [backup-simplify]: Simplify 1 into 1
1.043 * [backup-simplify]: Simplify (/ 1 1) into 1
1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.043 * [taylor]: Taking taylor expansion of y in z
1.043 * [backup-simplify]: Simplify y into y
1.043 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.043 * [taylor]: Taking taylor expansion of x in z
1.043 * [backup-simplify]: Simplify x into x
1.044 * [backup-simplify]: Simplify (+ 1 0) into 1
1.044 * [backup-simplify]: Simplify (* 0 1) into 0
1.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.045 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
1.045 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 1)) into 1
1.045 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.045 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in y
1.045 * [taylor]: Taking taylor expansion of -1 in y
1.045 * [backup-simplify]: Simplify -1 into -1
1.045 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in y
1.045 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in y
1.045 * [taylor]: Taking taylor expansion of z in y
1.045 * [backup-simplify]: Simplify z into z
1.045 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.045 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.045 * [taylor]: Taking taylor expansion of z in y
1.045 * [backup-simplify]: Simplify z into z
1.045 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.045 * [taylor]: Taking taylor expansion of y in y
1.045 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify 1 into 1
1.045 * [backup-simplify]: Simplify (/ 1 1) into 1
1.046 * [taylor]: Taking taylor expansion of x in y
1.046 * [backup-simplify]: Simplify x into x
1.046 * [backup-simplify]: Simplify (+ 0 1) into 1
1.046 * [backup-simplify]: Simplify (* z 1) into z
1.046 * [backup-simplify]: Simplify (/ z x) into (/ z x)
1.046 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in x
1.046 * [taylor]: Taking taylor expansion of -1 in x
1.046 * [backup-simplify]: Simplify -1 into -1
1.046 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
1.046 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
1.046 * [taylor]: Taking taylor expansion of z in x
1.046 * [backup-simplify]: Simplify z into z
1.046 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.046 * [taylor]: Taking taylor expansion of z in x
1.046 * [backup-simplify]: Simplify z into z
1.046 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.046 * [taylor]: Taking taylor expansion of y in x
1.046 * [backup-simplify]: Simplify y into y
1.046 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [backup-simplify]: Simplify 0 into 0
1.046 * [backup-simplify]: Simplify 1 into 1
1.046 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.046 * [backup-simplify]: Simplify (* z (+ (/ 1 y) (/ 1 z))) into (* z (+ (/ 1 z) (/ 1 y)))
1.046 * [backup-simplify]: Simplify (/ (* z (+ (/ 1 z) (/ 1 y))) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.047 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (+ (/ 1 z) (/ 1 y))) x)) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [backup-simplify]: Simplify -1 into -1
1.047 * [taylor]: Taking taylor expansion of (/ (* z (+ (/ 1 z) (/ 1 y))) x) in x
1.047 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in x
1.047 * [taylor]: Taking taylor expansion of z in x
1.047 * [backup-simplify]: Simplify z into z
1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.047 * [taylor]: Taking taylor expansion of z in x
1.047 * [backup-simplify]: Simplify z into z
1.047 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.047 * [taylor]: Taking taylor expansion of y in x
1.047 * [backup-simplify]: Simplify y into y
1.047 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [backup-simplify]: Simplify 0 into 0
1.047 * [backup-simplify]: Simplify 1 into 1
1.047 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.047 * [backup-simplify]: Simplify (* z (+ (/ 1 y) (/ 1 z))) into (* z (+ (/ 1 z) (/ 1 y)))
1.047 * [backup-simplify]: Simplify (/ (* z (+ (/ 1 z) (/ 1 y))) 1) into (* (+ (/ 1 y) (/ 1 z)) z)
1.047 * [backup-simplify]: Simplify (* -1 (* (+ (/ 1 y) (/ 1 z)) z)) into (* -1 (* z (+ (/ 1 z) (/ 1 y))))
1.047 * [taylor]: Taking taylor expansion of (* -1 (* z (+ (/ 1 z) (/ 1 y)))) in y
1.047 * [taylor]: Taking taylor expansion of -1 in y
1.047 * [backup-simplify]: Simplify -1 into -1
1.047 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in y
1.047 * [taylor]: Taking taylor expansion of z in y
1.047 * [backup-simplify]: Simplify z into z
1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.047 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.047 * [taylor]: Taking taylor expansion of z in y
1.047 * [backup-simplify]: Simplify z into z
1.047 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.047 * [backup-simplify]: Simplify 0 into 0
1.047 * [backup-simplify]: Simplify 1 into 1
1.048 * [backup-simplify]: Simplify (/ 1 1) into 1
1.048 * [backup-simplify]: Simplify (+ 0 1) into 1
1.048 * [backup-simplify]: Simplify (* z 1) into z
1.048 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
1.048 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.048 * [taylor]: Taking taylor expansion of -1 in z
1.048 * [backup-simplify]: Simplify -1 into -1
1.048 * [taylor]: Taking taylor expansion of z in z
1.048 * [backup-simplify]: Simplify 0 into 0
1.048 * [backup-simplify]: Simplify 1 into 1
1.048 * [backup-simplify]: Simplify (* -1 0) into 0
1.048 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.049 * [backup-simplify]: Simplify (+ 0 0) into 0
1.049 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (+ (/ 1 y) (/ 1 z)))) into 0
1.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)))) into 0
1.050 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z))) into 0
1.050 * [taylor]: Taking taylor expansion of 0 in y
1.050 * [backup-simplify]: Simplify 0 into 0
1.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.051 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.051 * [backup-simplify]: Simplify (+ (* z (/ 1 z)) (* 0 1)) into 1
1.051 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 z)) into (- 1)
1.051 * [taylor]: Taking taylor expansion of (- 1) in z
1.051 * [taylor]: Taking taylor expansion of 1 in z
1.051 * [backup-simplify]: Simplify 1 into 1
1.052 * [backup-simplify]: Simplify (- 1) into -1
1.052 * [backup-simplify]: Simplify -1 into -1
1.052 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
1.052 * [backup-simplify]: Simplify -1 into -1
1.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.053 * [backup-simplify]: Simplify (+ 0 0) into 0
1.053 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (+ (/ 1 y) (/ 1 z))))) into 0
1.054 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.055 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z)))) into 0
1.055 * [taylor]: Taking taylor expansion of 0 in y
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [taylor]: Taking taylor expansion of 0 in z
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.056 * [backup-simplify]: Simplify (+ 0 0) into 0
1.056 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (/ 1 z)) (* 0 1))) into 0
1.056 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 z))) into 0
1.056 * [taylor]: Taking taylor expansion of 0 in z
1.056 * [backup-simplify]: Simplify 0 into 0
1.056 * [backup-simplify]: Simplify 0 into 0
1.057 * [backup-simplify]: Simplify (- 0) into 0
1.057 * [backup-simplify]: Simplify 0 into 0
1.057 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1.057 * [backup-simplify]: Simplify 0 into 0
1.057 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.058 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.058 * [backup-simplify]: Simplify (+ 0 0) into 0
1.062 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (/ 1 y) (/ 1 z)))))) into 0
1.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (+ (/ 1 y) (/ 1 z)) z) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.065 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (/ 1 y) (/ 1 z)) z))))) into 0
1.065 * [taylor]: Taking taylor expansion of 0 in y
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [taylor]: Taking taylor expansion of 0 in z
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [taylor]: Taking taylor expansion of 0 in z
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
1.065 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.065 * [backup-simplify]: Simplify (* x (+ y z)) into (* x (+ z y))
1.065 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (x y z) around 0
1.065 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
1.065 * [taylor]: Taking taylor expansion of x in z
1.065 * [backup-simplify]: Simplify x into x
1.065 * [taylor]: Taking taylor expansion of (+ z y) in z
1.065 * [taylor]: Taking taylor expansion of z in z
1.065 * [backup-simplify]: Simplify 0 into 0
1.065 * [backup-simplify]: Simplify 1 into 1
1.065 * [taylor]: Taking taylor expansion of y in z
1.066 * [backup-simplify]: Simplify y into y
1.066 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
1.066 * [taylor]: Taking taylor expansion of x in y
1.066 * [backup-simplify]: Simplify x into x
1.066 * [taylor]: Taking taylor expansion of (+ z y) in y
1.066 * [taylor]: Taking taylor expansion of z in y
1.066 * [backup-simplify]: Simplify z into z
1.066 * [taylor]: Taking taylor expansion of y in y
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [backup-simplify]: Simplify 1 into 1
1.066 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [backup-simplify]: Simplify 1 into 1
1.066 * [taylor]: Taking taylor expansion of (+ z y) in x
1.066 * [taylor]: Taking taylor expansion of z in x
1.066 * [backup-simplify]: Simplify z into z
1.066 * [taylor]: Taking taylor expansion of y in x
1.066 * [backup-simplify]: Simplify y into y
1.066 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [backup-simplify]: Simplify 1 into 1
1.066 * [taylor]: Taking taylor expansion of (+ z y) in x
1.066 * [taylor]: Taking taylor expansion of z in x
1.066 * [backup-simplify]: Simplify z into z
1.066 * [taylor]: Taking taylor expansion of y in x
1.066 * [backup-simplify]: Simplify y into y
1.066 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.066 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
1.066 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [taylor]: Taking taylor expansion of 0 in z
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [backup-simplify]: Simplify 0 into 0
1.066 * [backup-simplify]: Simplify (+ 0 0) into 0
1.067 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
1.067 * [taylor]: Taking taylor expansion of (+ z y) in y
1.067 * [taylor]: Taking taylor expansion of z in y
1.067 * [backup-simplify]: Simplify z into z
1.067 * [taylor]: Taking taylor expansion of y in y
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify 1 into 1
1.067 * [backup-simplify]: Simplify (+ z 0) into z
1.067 * [taylor]: Taking taylor expansion of z in z
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify 1 into 1
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [taylor]: Taking taylor expansion of 0 in z
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify 0 into 0
1.067 * [backup-simplify]: Simplify 0 into 0
1.068 * [backup-simplify]: Simplify (+ 0 0) into 0
1.069 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
1.069 * [taylor]: Taking taylor expansion of 0 in y
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [taylor]: Taking taylor expansion of 0 in z
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify 0 into 0
1.069 * [backup-simplify]: Simplify (+ 0 1) into 1
1.070 * [taylor]: Taking taylor expansion of 1 in z
1.070 * [backup-simplify]: Simplify 1 into 1
1.070 * [backup-simplify]: Simplify 1 into 1
1.070 * [taylor]: Taking taylor expansion of 0 in z
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 1 into 1
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify 0 into 0
1.070 * [backup-simplify]: Simplify (+ 0 0) into 0
1.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify (+ 0 0) into 0
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [taylor]: Taking taylor expansion of 0 in z
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x y) (* x z))
1.073 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (/ (+ (/ 1 z) (/ 1 y)) x)
1.073 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
1.073 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.073 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.073 * [taylor]: Taking taylor expansion of z in z
1.073 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify 1 into 1
1.073 * [backup-simplify]: Simplify (/ 1 1) into 1
1.073 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.074 * [taylor]: Taking taylor expansion of y in z
1.074 * [backup-simplify]: Simplify y into y
1.074 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.074 * [taylor]: Taking taylor expansion of x in z
1.074 * [backup-simplify]: Simplify x into x
1.074 * [backup-simplify]: Simplify (+ 1 0) into 1
1.074 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.074 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.074 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.074 * [taylor]: Taking taylor expansion of z in y
1.074 * [backup-simplify]: Simplify z into z
1.074 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.074 * [taylor]: Taking taylor expansion of y in y
1.074 * [backup-simplify]: Simplify 0 into 0
1.074 * [backup-simplify]: Simplify 1 into 1
1.075 * [backup-simplify]: Simplify (/ 1 1) into 1
1.075 * [taylor]: Taking taylor expansion of x in y
1.075 * [backup-simplify]: Simplify x into x
1.075 * [backup-simplify]: Simplify (+ 0 1) into 1
1.075 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.075 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.075 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.076 * [taylor]: Taking taylor expansion of z in x
1.076 * [backup-simplify]: Simplify z into z
1.076 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.076 * [taylor]: Taking taylor expansion of y in x
1.076 * [backup-simplify]: Simplify y into y
1.076 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [backup-simplify]: Simplify 0 into 0
1.076 * [backup-simplify]: Simplify 1 into 1
1.076 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.076 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.076 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.076 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.076 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.076 * [taylor]: Taking taylor expansion of z in x
1.076 * [backup-simplify]: Simplify z into z
1.076 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.076 * [taylor]: Taking taylor expansion of y in x
1.076 * [backup-simplify]: Simplify y into y
1.076 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify 1 into 1
1.077 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.077 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.077 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.077 * [taylor]: Taking taylor expansion of z in y
1.077 * [backup-simplify]: Simplify z into z
1.077 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [backup-simplify]: Simplify 0 into 0
1.077 * [backup-simplify]: Simplify 1 into 1
1.078 * [backup-simplify]: Simplify (/ 1 1) into 1
1.078 * [backup-simplify]: Simplify (+ 0 1) into 1
1.078 * [taylor]: Taking taylor expansion of 1 in z
1.078 * [backup-simplify]: Simplify 1 into 1
1.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.078 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.079 * [backup-simplify]: Simplify (+ 0 0) into 0
1.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
1.080 * [taylor]: Taking taylor expansion of 0 in y
1.080 * [backup-simplify]: Simplify 0 into 0
1.081 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.081 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.081 * [taylor]: Taking taylor expansion of z in z
1.081 * [backup-simplify]: Simplify 0 into 0
1.081 * [backup-simplify]: Simplify 1 into 1
1.081 * [backup-simplify]: Simplify (/ 1 1) into 1
1.081 * [backup-simplify]: Simplify 1 into 1
1.081 * [backup-simplify]: Simplify 1 into 1
1.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.082 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.082 * [backup-simplify]: Simplify (+ 0 0) into 0
1.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.084 * [taylor]: Taking taylor expansion of 0 in y
1.084 * [backup-simplify]: Simplify 0 into 0
1.084 * [taylor]: Taking taylor expansion of 0 in z
1.084 * [backup-simplify]: Simplify 0 into 0
1.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.085 * [backup-simplify]: Simplify (+ 0 0) into 0
1.085 * [taylor]: Taking taylor expansion of 0 in z
1.085 * [backup-simplify]: Simplify 0 into 0
1.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.086 * [backup-simplify]: Simplify 0 into 0
1.086 * [backup-simplify]: Simplify 0 into 0
1.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.087 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.087 * [backup-simplify]: Simplify (+ 0 0) into 0
1.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.089 * [taylor]: Taking taylor expansion of 0 in y
1.089 * [backup-simplify]: Simplify 0 into 0
1.089 * [taylor]: Taking taylor expansion of 0 in z
1.089 * [backup-simplify]: Simplify 0 into 0
1.089 * [taylor]: Taking taylor expansion of 0 in z
1.089 * [backup-simplify]: Simplify 0 into 0
1.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.091 * [backup-simplify]: Simplify (+ 0 0) into 0
1.091 * [taylor]: Taking taylor expansion of 0 in z
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y))
1.093 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (/ (+ (/ 1 z) (/ 1 y)) x)
1.093 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
1.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
1.093 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
1.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.093 * [taylor]: Taking taylor expansion of z in z
1.093 * [backup-simplify]: Simplify 0 into 0
1.093 * [backup-simplify]: Simplify 1 into 1
1.093 * [backup-simplify]: Simplify (/ 1 1) into 1
1.093 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.093 * [taylor]: Taking taylor expansion of y in z
1.093 * [backup-simplify]: Simplify y into y
1.093 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.093 * [taylor]: Taking taylor expansion of x in z
1.093 * [backup-simplify]: Simplify x into x
1.094 * [backup-simplify]: Simplify (+ 1 0) into 1
1.094 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.094 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
1.094 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.094 * [taylor]: Taking taylor expansion of z in y
1.094 * [backup-simplify]: Simplify z into z
1.094 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.094 * [taylor]: Taking taylor expansion of y in y
1.094 * [backup-simplify]: Simplify 0 into 0
1.094 * [backup-simplify]: Simplify 1 into 1
1.095 * [backup-simplify]: Simplify (/ 1 1) into 1
1.095 * [taylor]: Taking taylor expansion of x in y
1.095 * [backup-simplify]: Simplify x into x
1.095 * [backup-simplify]: Simplify (+ 0 1) into 1
1.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.095 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.095 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.095 * [taylor]: Taking taylor expansion of z in x
1.095 * [backup-simplify]: Simplify z into z
1.095 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.095 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.095 * [taylor]: Taking taylor expansion of y in x
1.095 * [backup-simplify]: Simplify y into y
1.095 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.095 * [taylor]: Taking taylor expansion of x in x
1.096 * [backup-simplify]: Simplify 0 into 0
1.096 * [backup-simplify]: Simplify 1 into 1
1.096 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.096 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.096 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
1.096 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.096 * [taylor]: Taking taylor expansion of z in x
1.096 * [backup-simplify]: Simplify z into z
1.096 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.096 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.096 * [taylor]: Taking taylor expansion of y in x
1.096 * [backup-simplify]: Simplify y into y
1.096 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [backup-simplify]: Simplify 0 into 0
1.096 * [backup-simplify]: Simplify 1 into 1
1.096 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.096 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
1.096 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.096 * [taylor]: Taking taylor expansion of z in y
1.096 * [backup-simplify]: Simplify z into z
1.097 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.097 * [taylor]: Taking taylor expansion of y in y
1.097 * [backup-simplify]: Simplify 0 into 0
1.097 * [backup-simplify]: Simplify 1 into 1
1.097 * [backup-simplify]: Simplify (/ 1 1) into 1
1.097 * [backup-simplify]: Simplify (+ 0 1) into 1
1.097 * [taylor]: Taking taylor expansion of 1 in z
1.097 * [backup-simplify]: Simplify 1 into 1
1.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.098 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.098 * [backup-simplify]: Simplify (+ 0 0) into 0
1.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
1.099 * [taylor]: Taking taylor expansion of 0 in y
1.099 * [backup-simplify]: Simplify 0 into 0
1.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.100 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
1.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.100 * [taylor]: Taking taylor expansion of z in z
1.100 * [backup-simplify]: Simplify 0 into 0
1.100 * [backup-simplify]: Simplify 1 into 1
1.100 * [backup-simplify]: Simplify (/ 1 1) into 1
1.100 * [backup-simplify]: Simplify 1 into 1
1.100 * [backup-simplify]: Simplify 1 into 1
1.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.101 * [backup-simplify]: Simplify (+ 0 0) into 0
1.103 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.103 * [taylor]: Taking taylor expansion of 0 in y
1.103 * [backup-simplify]: Simplify 0 into 0
1.103 * [taylor]: Taking taylor expansion of 0 in z
1.103 * [backup-simplify]: Simplify 0 into 0
1.103 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.104 * [backup-simplify]: Simplify (+ 0 0) into 0
1.104 * [taylor]: Taking taylor expansion of 0 in z
1.104 * [backup-simplify]: Simplify 0 into 0
1.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.105 * [backup-simplify]: Simplify 0 into 0
1.105 * [backup-simplify]: Simplify 0 into 0
1.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.105 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.106 * [backup-simplify]: Simplify (+ 0 0) into 0
1.107 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.107 * [taylor]: Taking taylor expansion of 0 in y
1.107 * [backup-simplify]: Simplify 0 into 0
1.107 * [taylor]: Taking taylor expansion of 0 in z
1.107 * [backup-simplify]: Simplify 0 into 0
1.108 * [taylor]: Taking taylor expansion of 0 in z
1.108 * [backup-simplify]: Simplify 0 into 0
1.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.109 * [backup-simplify]: Simplify (+ 0 0) into 0
1.109 * [taylor]: Taking taylor expansion of 0 in z
1.109 * [backup-simplify]: Simplify 0 into 0
1.109 * [backup-simplify]: Simplify 0 into 0
1.109 * [backup-simplify]: Simplify 0 into 0
1.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.110 * [backup-simplify]: Simplify 0 into 0
1.110 * [backup-simplify]: Simplify 0 into 0
1.110 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y))
1.110 * * * [progress]: simplifying candidates
1.112 * [simplify]: Simplifying:
  (- (+ (log x) (log (+ y z))) (log z))
  (- (log (* x (+ y z))) (log z))
  (log (/ (* x (+ y z)) z))
  (exp (/ (* x (+ y z)) z))
  (/ (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y z))) (* (* z z) z))
  (/ (* (* (* x (+ y z)) (* x (+ y z))) (* x (+ y z))) (* (* z z) z))
  (* (cbrt (/ (* x (+ y z)) z)) (cbrt (/ (* x (+ y z)) z)))
  (cbrt (/ (* x (+ y z)) z))
  (* (* (/ (* x (+ y z)) z) (/ (* x (+ y z)) z)) (/ (* x (+ y z)) z))
  (sqrt (/ (* x (+ y z)) z))
  (sqrt (/ (* x (+ y z)) z))
  (- (* x (+ y z)))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ (+ y z) (cbrt z))
  (/ x (sqrt z))
  (/ (+ y z) (sqrt z))
  (/ x 1)
  (/ (+ y z) z)
  (/ 1 z)
  (/ z (* x (+ y z)))
  (/ (* x (+ y z)) (* (cbrt z) (cbrt z)))
  (/ (* x (+ y z)) (sqrt z))
  (/ (* x (+ y z)) 1)
  (/ z (+ y z))
  (* z (+ (* y y) (- (* z z) (* y z))))
  (* z (- y z))
  (* x (+ y z))
  (+ (log x) (log (+ y z)))
  (log (* x (+ y z)))
  (exp (* x (+ y z)))
  (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ 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) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* y x)
  (* z x)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* x (sqrt (+ y z)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y z))
  (* (sqrt x) (+ y z))
  (* x (+ y z))
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (* x y) (* x z))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
1.113 * * [simplify]: iteration 0: 86 enodes
1.144 * * [simplify]: iteration 1: 245 enodes
1.211 * * [simplify]: iteration 2: 1178 enodes
2.115 * * [simplify]: iteration complete: 5001 enodes
2.115 * * [simplify]: Extracting #0: cost 38 inf + 0
2.118 * * [simplify]: Extracting #1: cost 796 inf + 1
2.126 * * [simplify]: Extracting #2: cost 1818 inf + 241
2.144 * * [simplify]: Extracting #3: cost 1356 inf + 7786
2.151 * * [simplify]: Extracting #4: cost 227 inf + 19222
2.157 * * [simplify]: Extracting #5: cost 9 inf + 21165
2.164 * * [simplify]: Extracting #6: cost 2 inf + 21188
2.171 * * [simplify]: Extracting #7: cost 0 inf + 21198
2.183 * [simplify]: Simplified to:
  (log (/ (* x (+ z y)) z))
  (log (/ (* x (+ z y)) z))
  (log (/ (* x (+ z y)) z))
  (exp (/ (* x (+ z y)) z))
  (pow (/ (* x (+ z y)) z) 3)
  (pow (/ (* x (+ z y)) z) 3)
  (* (cbrt (/ (* x (+ z y)) z)) (cbrt (/ (* x (+ z y)) z)))
  (cbrt (/ (* x (+ z y)) z))
  (pow (/ (* x (+ z y)) z) 3)
  (sqrt (/ (* x (+ z y)) z))
  (sqrt (/ (* x (+ z y)) z))
  (* (+ z y) (- x))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ (+ z y) (cbrt z))
  (/ x (sqrt z))
  (/ (+ z y) (sqrt z))
  x
  (/ (+ z y) z)
  (/ 1 z)
  (/ (/ z x) (+ z y))
  (* (/ x (* (cbrt z) (cbrt z))) (+ z y))
  (/ (+ z y) (/ (sqrt z) x))
  (* x (+ z y))
  (/ z (+ z y))
  (* (+ (* (- z y) z) (* y y)) z)
  (* (- y z) z)
  (* x (+ z y))
  (log (* x (+ z y)))
  (log (* x (+ z y)))
  (pow (exp x) (+ z y))
  (pow (* x (+ z y)) 3)
  (* (cbrt (* x (+ z y))) (cbrt (* x (+ z y))))
  (cbrt (* x (+ z y)))
  (pow (* x (+ z y)) 3)
  (sqrt (* x (+ z y)))
  (sqrt (* x (+ z y)))
  (* (sqrt x) (sqrt (+ z y)))
  (* (sqrt x) (sqrt (+ z y)))
  (* x y)
  (* x z)
  (* x y)
  (* x z)
  (* (* (cbrt (+ z y)) x) (cbrt (+ z y)))
  (* (sqrt (+ z y)) x)
  x
  x
  (* (cbrt x) (+ z y))
  (* (sqrt x) (+ z y))
  (* x (+ z y))
  (* (+ (pow z 3) (pow y 3)) x)
  (* (* x (+ z y)) (- y z))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (* x (+ z y))
  (* x (+ z y))
  (* x (+ z y))
2.184 * * * [progress]: adding candidates to table
2.412 * * [progress]: iteration 2 / 4
2.412 * * * [progress]: picking best candidate
2.441 * * * * [pick]: Picked  #<alt (λ (x y z) (/ x (/ z (+ z y))))>
2.441 * * * [progress]: localizing error
2.449 * * * [progress]: generating rewritten candidates
2.449 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.462 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.486 * * * [progress]: generating series expansions
2.486 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.486 * [backup-simplify]: Simplify (/ x (/ z (+ z y))) into (/ (* x (+ z y)) z)
2.486 * [approximate]: Taking taylor expansion of (/ (* x (+ z y)) z) in (x z y) around 0
2.487 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in y
2.487 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
2.487 * [taylor]: Taking taylor expansion of x in y
2.487 * [backup-simplify]: Simplify x into x
2.487 * [taylor]: Taking taylor expansion of (+ z y) in y
2.487 * [taylor]: Taking taylor expansion of z in y
2.487 * [backup-simplify]: Simplify z into z
2.487 * [taylor]: Taking taylor expansion of y in y
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of z in y
2.487 * [backup-simplify]: Simplify z into z
2.487 * [backup-simplify]: Simplify (+ z 0) into z
2.487 * [backup-simplify]: Simplify (* x z) into (* x z)
2.487 * [backup-simplify]: Simplify (/ (* x z) z) into x
2.487 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in z
2.487 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
2.487 * [taylor]: Taking taylor expansion of x in z
2.487 * [backup-simplify]: Simplify x into x
2.487 * [taylor]: Taking taylor expansion of (+ z y) in z
2.487 * [taylor]: Taking taylor expansion of z in z
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [taylor]: Taking taylor expansion of y in z
2.487 * [backup-simplify]: Simplify y into y
2.487 * [taylor]: Taking taylor expansion of z in z
2.487 * [backup-simplify]: Simplify 0 into 0
2.487 * [backup-simplify]: Simplify 1 into 1
2.487 * [backup-simplify]: Simplify (+ 0 y) into y
2.488 * [backup-simplify]: Simplify (* x y) into (* x y)
2.488 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
2.488 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
2.488 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.488 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify 1 into 1
2.488 * [taylor]: Taking taylor expansion of (+ z y) in x
2.488 * [taylor]: Taking taylor expansion of z in x
2.488 * [backup-simplify]: Simplify z into z
2.488 * [taylor]: Taking taylor expansion of y in x
2.488 * [backup-simplify]: Simplify y into y
2.488 * [taylor]: Taking taylor expansion of z in x
2.488 * [backup-simplify]: Simplify z into z
2.488 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.488 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
2.489 * [backup-simplify]: Simplify (+ 0 0) into 0
2.489 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
2.489 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
2.489 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
2.489 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
2.489 * [taylor]: Taking taylor expansion of x in x
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify 1 into 1
2.489 * [taylor]: Taking taylor expansion of (+ z y) in x
2.489 * [taylor]: Taking taylor expansion of z in x
2.490 * [backup-simplify]: Simplify z into z
2.490 * [taylor]: Taking taylor expansion of y in x
2.490 * [backup-simplify]: Simplify y into y
2.490 * [taylor]: Taking taylor expansion of z in x
2.490 * [backup-simplify]: Simplify z into z
2.490 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.490 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
2.490 * [backup-simplify]: Simplify (+ 0 0) into 0
2.491 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
2.491 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
2.491 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in z
2.491 * [taylor]: Taking taylor expansion of (+ z y) in z
2.491 * [taylor]: Taking taylor expansion of z in z
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [taylor]: Taking taylor expansion of y in z
2.491 * [backup-simplify]: Simplify y into y
2.491 * [taylor]: Taking taylor expansion of z in z
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify (+ 0 y) into y
2.491 * [backup-simplify]: Simplify (/ y 1) into y
2.491 * [taylor]: Taking taylor expansion of y in y
2.491 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify 1 into 1
2.491 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify (+ 0 0) into 0
2.493 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
2.493 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)))) into 0
2.493 * [taylor]: Taking taylor expansion of 0 in z
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify (+ 1 0) into 1
2.494 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* y (/ 0 1)))) into 1
2.494 * [taylor]: Taking taylor expansion of 1 in y
2.494 * [backup-simplify]: Simplify 1 into 1
2.494 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify 1 into 1
2.495 * [backup-simplify]: Simplify (+ 0 0) into 0
2.496 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
2.496 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.496 * [taylor]: Taking taylor expansion of 0 in z
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [taylor]: Taking taylor expansion of 0 in y
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [backup-simplify]: Simplify (+ 0 0) into 0
2.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)))) into 0
2.499 * [taylor]: Taking taylor expansion of 0 in y
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify (+ 0 0) into 0
2.501 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ z y)))))) into 0
2.501 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.501 * [taylor]: Taking taylor expansion of 0 in z
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [taylor]: Taking taylor expansion of 0 in y
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.502 * [taylor]: Taking taylor expansion of 0 in y
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify (+ (* 1 (* y (* (/ 1 z) x))) (* 1 (* 1 (* 1 x)))) into (+ (/ (* x y) z) x)
2.502 * [backup-simplify]: Simplify (/ (/ 1 x) (/ (/ 1 z) (+ (/ 1 z) (/ 1 y)))) into (/ (* (+ (/ 1 y) (/ 1 z)) z) x)
2.502 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in (x z y) around 0
2.502 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in y
2.502 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
2.502 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.502 * [taylor]: Taking taylor expansion of y in y
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.503 * [backup-simplify]: Simplify (/ 1 1) into 1
2.503 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.503 * [taylor]: Taking taylor expansion of z in y
2.503 * [backup-simplify]: Simplify z into z
2.503 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.503 * [taylor]: Taking taylor expansion of z in y
2.503 * [backup-simplify]: Simplify z into z
2.503 * [taylor]: Taking taylor expansion of x in y
2.503 * [backup-simplify]: Simplify x into x
2.504 * [backup-simplify]: Simplify (+ 1 0) into 1
2.504 * [backup-simplify]: Simplify (* 1 z) into z
2.504 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.504 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in z
2.504 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.504 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.504 * [taylor]: Taking taylor expansion of y in z
2.504 * [backup-simplify]: Simplify y into y
2.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.504 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.504 * [taylor]: Taking taylor expansion of z in z
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 1 into 1
2.505 * [backup-simplify]: Simplify (/ 1 1) into 1
2.505 * [taylor]: Taking taylor expansion of z in z
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 1 into 1
2.505 * [taylor]: Taking taylor expansion of x in z
2.505 * [backup-simplify]: Simplify x into x
2.505 * [backup-simplify]: Simplify (+ 0 1) into 1
2.506 * [backup-simplify]: Simplify (* 1 0) into 0
2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.507 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.507 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.507 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.507 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
2.507 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
2.507 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
2.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.507 * [taylor]: Taking taylor expansion of y in x
2.507 * [backup-simplify]: Simplify y into y
2.508 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.508 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.508 * [taylor]: Taking taylor expansion of z in x
2.508 * [backup-simplify]: Simplify z into z
2.508 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.508 * [taylor]: Taking taylor expansion of z in x
2.508 * [backup-simplify]: Simplify z into z
2.508 * [taylor]: Taking taylor expansion of x in x
2.508 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
2.508 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
2.508 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
2.508 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
2.509 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
2.509 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
2.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.509 * [taylor]: Taking taylor expansion of y in x
2.509 * [backup-simplify]: Simplify y into y
2.509 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.509 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.509 * [taylor]: Taking taylor expansion of z in x
2.509 * [backup-simplify]: Simplify z into z
2.509 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.509 * [taylor]: Taking taylor expansion of z in x
2.509 * [backup-simplify]: Simplify z into z
2.509 * [taylor]: Taking taylor expansion of x in x
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
2.509 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
2.510 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
2.510 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
2.510 * [taylor]: Taking taylor expansion of z in z
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
2.510 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.510 * [taylor]: Taking taylor expansion of z in z
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify (/ 1 1) into 1
2.511 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.511 * [taylor]: Taking taylor expansion of y in z
2.511 * [backup-simplify]: Simplify y into y
2.511 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
2.512 * [backup-simplify]: Simplify (+ 1 0) into 1
2.513 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 1)) into 1
2.513 * [taylor]: Taking taylor expansion of 1 in y
2.513 * [backup-simplify]: Simplify 1 into 1
2.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.514 * [backup-simplify]: Simplify (+ 0 0) into 0
2.514 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 z)) into 0
2.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)))) into 0
2.515 * [taylor]: Taking taylor expansion of 0 in z
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [taylor]: Taking taylor expansion of 0 in y
2.515 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.517 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1 y)) (* 0 1))) into (/ 1 y)
2.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.518 * [taylor]: Taking taylor expansion of y in y
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (/ 1 1) into 1
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify 1 into 1
2.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.519 * [backup-simplify]: Simplify (+ 0 0) into 0
2.520 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 z))) into 0
2.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.522 * [taylor]: Taking taylor expansion of 0 in z
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [taylor]: Taking taylor expansion of 0 in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.522 * [taylor]: Taking taylor expansion of 0 in y
2.522 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.531 * [backup-simplify]: Simplify (+ 0 0) into 0
2.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.533 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.534 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.537 * [taylor]: Taking taylor expansion of 0 in z
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
2.541 * [taylor]: Taking taylor expansion of 0 in y
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
2.542 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (/ (/ 1 (- z)) (+ (/ 1 (- z)) (/ 1 (- y))))) into (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x))
2.542 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in (x z y) around 0
2.542 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in y
2.542 * [taylor]: Taking taylor expansion of -1 in y
2.542 * [backup-simplify]: Simplify -1 into -1
2.542 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in y
2.542 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
2.542 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.542 * [taylor]: Taking taylor expansion of y in y
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [backup-simplify]: Simplify (/ 1 1) into 1
2.543 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.543 * [taylor]: Taking taylor expansion of z in y
2.543 * [backup-simplify]: Simplify z into z
2.543 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.543 * [taylor]: Taking taylor expansion of z in y
2.543 * [backup-simplify]: Simplify z into z
2.543 * [taylor]: Taking taylor expansion of x in y
2.543 * [backup-simplify]: Simplify x into x
2.544 * [backup-simplify]: Simplify (+ 1 0) into 1
2.544 * [backup-simplify]: Simplify (* 1 z) into z
2.544 * [backup-simplify]: Simplify (/ z x) into (/ z x)
2.544 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in z
2.544 * [taylor]: Taking taylor expansion of -1 in z
2.544 * [backup-simplify]: Simplify -1 into -1
2.544 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in z
2.544 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.544 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.544 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.544 * [taylor]: Taking taylor expansion of y in z
2.544 * [backup-simplify]: Simplify y into y
2.544 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.544 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.544 * [taylor]: Taking taylor expansion of z in z
2.544 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify 1 into 1
2.545 * [backup-simplify]: Simplify (/ 1 1) into 1
2.545 * [taylor]: Taking taylor expansion of z in z
2.545 * [backup-simplify]: Simplify 0 into 0
2.545 * [backup-simplify]: Simplify 1 into 1
2.545 * [taylor]: Taking taylor expansion of x in z
2.545 * [backup-simplify]: Simplify x into x
2.545 * [backup-simplify]: Simplify (+ 0 1) into 1
2.546 * [backup-simplify]: Simplify (* 1 0) into 0
2.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.547 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.547 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.547 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.547 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in x
2.547 * [taylor]: Taking taylor expansion of -1 in x
2.547 * [backup-simplify]: Simplify -1 into -1
2.547 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
2.547 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
2.547 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
2.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.547 * [taylor]: Taking taylor expansion of y in x
2.547 * [backup-simplify]: Simplify y into y
2.547 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.547 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.547 * [taylor]: Taking taylor expansion of z in x
2.547 * [backup-simplify]: Simplify z into z
2.548 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.548 * [taylor]: Taking taylor expansion of z in x
2.548 * [backup-simplify]: Simplify z into z
2.548 * [taylor]: Taking taylor expansion of x in x
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify 1 into 1
2.548 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
2.548 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
2.548 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
2.548 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in x
2.548 * [taylor]: Taking taylor expansion of -1 in x
2.548 * [backup-simplify]: Simplify -1 into -1
2.548 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
2.548 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
2.548 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
2.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.548 * [taylor]: Taking taylor expansion of y in x
2.548 * [backup-simplify]: Simplify y into y
2.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.548 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.548 * [taylor]: Taking taylor expansion of z in x
2.549 * [backup-simplify]: Simplify z into z
2.549 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.549 * [taylor]: Taking taylor expansion of z in x
2.549 * [backup-simplify]: Simplify z into z
2.549 * [taylor]: Taking taylor expansion of x in x
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
2.549 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
2.549 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
2.549 * [backup-simplify]: Simplify (* -1 (* z (+ (/ 1 z) (/ 1 y)))) into (* -1 (* (+ (/ 1 y) (/ 1 z)) z))
2.549 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
2.550 * [taylor]: Taking taylor expansion of -1 in z
2.550 * [backup-simplify]: Simplify -1 into -1
2.550 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.550 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.550 * [taylor]: Taking taylor expansion of y in z
2.550 * [backup-simplify]: Simplify y into y
2.550 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.550 * [taylor]: Taking taylor expansion of z in z
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (/ 1 1) into 1
2.550 * [taylor]: Taking taylor expansion of z in z
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify 1 into 1
2.551 * [backup-simplify]: Simplify (+ 0 1) into 1
2.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.552 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.552 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.553 * [backup-simplify]: Simplify (* 1 0) into 0
2.553 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
2.553 * [taylor]: Taking taylor expansion of -1 in y
2.553 * [backup-simplify]: Simplify -1 into -1
2.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.554 * [backup-simplify]: Simplify (+ 0 0) into 0
2.554 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 z)) into 0
2.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)))) into 0
2.556 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* z (+ (/ 1 z) (/ 1 y))))) into 0
2.556 * [taylor]: Taking taylor expansion of 0 in z
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [taylor]: Taking taylor expansion of 0 in y
2.556 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.558 * [backup-simplify]: Simplify (+ 0 0) into 0
2.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
2.560 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (- (/ 1 y))
2.560 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.560 * [taylor]: Taking taylor expansion of y in y
2.560 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify 1 into 1
2.560 * [backup-simplify]: Simplify (/ 1 1) into 1
2.560 * [backup-simplify]: Simplify (- 1) into -1
2.560 * [backup-simplify]: Simplify -1 into -1
2.561 * [backup-simplify]: Simplify -1 into -1
2.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.561 * [backup-simplify]: Simplify (+ 0 0) into 0
2.562 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 z))) into 0
2.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.564 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* z (+ (/ 1 z) (/ 1 y)))))) into 0
2.564 * [taylor]: Taking taylor expansion of 0 in z
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [taylor]: Taking taylor expansion of 0 in y
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [taylor]: Taking taylor expansion of 0 in y
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.566 * [backup-simplify]: Simplify (+ 0 0) into 0
2.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
2.569 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0
2.569 * [taylor]: Taking taylor expansion of 0 in y
2.569 * [backup-simplify]: Simplify 0 into 0
2.569 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.570 * [backup-simplify]: Simplify (- 0) into 0
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify 0 into 0
2.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.571 * [backup-simplify]: Simplify (+ 0 0) into 0
2.572 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
2.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.575 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ (/ 1 z) (/ 1 y))))))) into 0
2.575 * [taylor]: Taking taylor expansion of 0 in z
2.575 * [backup-simplify]: Simplify 0 into 0
2.575 * [taylor]: Taking taylor expansion of 0 in y
2.575 * [backup-simplify]: Simplify 0 into 0
2.575 * [taylor]: Taking taylor expansion of 0 in y
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [taylor]: Taking taylor expansion of 0 in y
2.576 * [backup-simplify]: Simplify 0 into 0
2.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.577 * [backup-simplify]: Simplify (+ 0 0) into 0
2.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.580 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0
2.580 * [taylor]: Taking taylor expansion of 0 in y
2.580 * [backup-simplify]: Simplify 0 into 0
2.580 * [backup-simplify]: Simplify 0 into 0
2.580 * [backup-simplify]: Simplify 0 into 0
2.580 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
2.581 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.581 * [backup-simplify]: Simplify (/ z (+ z y)) into (/ z (+ z y))
2.581 * [approximate]: Taking taylor expansion of (/ z (+ z y)) in (z y) around 0
2.581 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in y
2.581 * [taylor]: Taking taylor expansion of z in y
2.581 * [backup-simplify]: Simplify z into z
2.581 * [taylor]: Taking taylor expansion of (+ z y) in y
2.581 * [taylor]: Taking taylor expansion of z in y
2.581 * [backup-simplify]: Simplify z into z
2.581 * [taylor]: Taking taylor expansion of y in y
2.581 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify 1 into 1
2.581 * [backup-simplify]: Simplify (+ z 0) into z
2.581 * [backup-simplify]: Simplify (/ z z) into 1
2.581 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in z
2.581 * [taylor]: Taking taylor expansion of z in z
2.581 * [backup-simplify]: Simplify 0 into 0
2.581 * [backup-simplify]: Simplify 1 into 1
2.581 * [taylor]: Taking taylor expansion of (+ z y) in z
2.581 * [taylor]: Taking taylor expansion of z in z
2.581 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify 1 into 1
2.582 * [taylor]: Taking taylor expansion of y in z
2.582 * [backup-simplify]: Simplify y into y
2.582 * [backup-simplify]: Simplify (+ 0 y) into y
2.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.582 * [taylor]: Taking taylor expansion of (/ z (+ z y)) in z
2.582 * [taylor]: Taking taylor expansion of z in z
2.582 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify 1 into 1
2.582 * [taylor]: Taking taylor expansion of (+ z y) in z
2.582 * [taylor]: Taking taylor expansion of z in z
2.582 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify 1 into 1
2.582 * [taylor]: Taking taylor expansion of y in z
2.582 * [backup-simplify]: Simplify y into y
2.582 * [backup-simplify]: Simplify (+ 0 y) into y
2.582 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.582 * [taylor]: Taking taylor expansion of y in y
2.582 * [backup-simplify]: Simplify 0 into 0
2.582 * [backup-simplify]: Simplify 1 into 1
2.583 * [backup-simplify]: Simplify (/ 1 1) into 1
2.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.583 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify (+ 1 0) into 1
2.584 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 1 y)))) into (- (/ 1 (pow y 2)))
2.584 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
2.584 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.584 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.584 * [taylor]: Taking taylor expansion of y in y
2.584 * [backup-simplify]: Simplify 0 into 0
2.584 * [backup-simplify]: Simplify 1 into 1
2.585 * [backup-simplify]: Simplify (* 1 1) into 1
2.585 * [backup-simplify]: Simplify (/ 1 1) into 1
2.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.589 * [backup-simplify]: Simplify (- 0) into 0
2.589 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.590 * [backup-simplify]: Simplify (+ 0 0) into 0
2.591 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (- (/ 1 (pow y 2))) (/ 1 y)))) into (/ 1 (pow y 3))
2.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.591 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.591 * [taylor]: Taking taylor expansion of y in y
2.591 * [backup-simplify]: Simplify 0 into 0
2.591 * [backup-simplify]: Simplify 1 into 1
2.591 * [backup-simplify]: Simplify (* 1 1) into 1
2.592 * [backup-simplify]: Simplify (* 1 1) into 1
2.592 * [backup-simplify]: Simplify (/ 1 1) into 1
2.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.595 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.596 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.603 * [backup-simplify]: Simplify (- 0) into 0
2.603 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify (/ (/ 1 z) (+ (/ 1 z) (/ 1 y))) into (/ 1 (* (+ (/ 1 y) (/ 1 z)) z))
2.604 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in (z y) around 0
2.604 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in y
2.604 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
2.604 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.604 * [taylor]: Taking taylor expansion of y in y
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [backup-simplify]: Simplify (/ 1 1) into 1
2.605 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.605 * [taylor]: Taking taylor expansion of z in y
2.605 * [backup-simplify]: Simplify z into z
2.605 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.605 * [taylor]: Taking taylor expansion of z in y
2.605 * [backup-simplify]: Simplify z into z
2.605 * [backup-simplify]: Simplify (+ 1 0) into 1
2.605 * [backup-simplify]: Simplify (* 1 z) into z
2.605 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.605 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
2.605 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.605 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.605 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.605 * [taylor]: Taking taylor expansion of y in z
2.605 * [backup-simplify]: Simplify y into y
2.606 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.606 * [taylor]: Taking taylor expansion of z in z
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 1 into 1
2.606 * [backup-simplify]: Simplify (/ 1 1) into 1
2.606 * [taylor]: Taking taylor expansion of z in z
2.606 * [backup-simplify]: Simplify 0 into 0
2.606 * [backup-simplify]: Simplify 1 into 1
2.607 * [backup-simplify]: Simplify (+ 0 1) into 1
2.607 * [backup-simplify]: Simplify (* 1 0) into 0
2.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.608 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.608 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.609 * [backup-simplify]: Simplify (/ 1 1) into 1
2.609 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
2.609 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.609 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.609 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.609 * [taylor]: Taking taylor expansion of y in z
2.609 * [backup-simplify]: Simplify y into y
2.609 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.609 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.609 * [taylor]: Taking taylor expansion of z in z
2.609 * [backup-simplify]: Simplify 0 into 0
2.609 * [backup-simplify]: Simplify 1 into 1
2.610 * [backup-simplify]: Simplify (/ 1 1) into 1
2.610 * [taylor]: Taking taylor expansion of z in z
2.610 * [backup-simplify]: Simplify 0 into 0
2.610 * [backup-simplify]: Simplify 1 into 1
2.610 * [backup-simplify]: Simplify (+ 0 1) into 1
2.611 * [backup-simplify]: Simplify (* 1 0) into 0
2.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.612 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.612 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.613 * [backup-simplify]: Simplify (/ 1 1) into 1
2.613 * [taylor]: Taking taylor expansion of 1 in y
2.613 * [backup-simplify]: Simplify 1 into 1
2.613 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.614 * [backup-simplify]: Simplify (+ 0 0) into 0
2.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
2.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 y) 1)))) into (- (/ 1 y))
2.615 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.615 * [taylor]: Taking taylor expansion of y in y
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify 1 into 1
2.616 * [backup-simplify]: Simplify (/ 1 1) into 1
2.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.618 * [backup-simplify]: Simplify (- 0) into 0
2.618 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.620 * [backup-simplify]: Simplify (+ 0 0) into 0
2.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
2.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ (/ 1 y) 1)))) into (/ 1 (pow y 2))
2.622 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.622 * [taylor]: Taking taylor expansion of y in y
2.622 * [backup-simplify]: Simplify 0 into 0
2.622 * [backup-simplify]: Simplify 1 into 1
2.623 * [backup-simplify]: Simplify (* 1 1) into 1
2.623 * [backup-simplify]: Simplify (/ 1 1) into 1
2.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.627 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.628 * [backup-simplify]: Simplify (- 0) into 0
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify 0 into 0
2.628 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (+ (/ 1 (- z)) (/ 1 (- y)))) into (/ 1 (* (+ (/ 1 y) (/ 1 z)) z))
2.628 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in (z y) around 0
2.628 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in y
2.629 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.629 * [taylor]: Taking taylor expansion of y in y
2.629 * [backup-simplify]: Simplify 0 into 0
2.629 * [backup-simplify]: Simplify 1 into 1
2.629 * [backup-simplify]: Simplify (/ 1 1) into 1
2.629 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.629 * [taylor]: Taking taylor expansion of z in y
2.629 * [backup-simplify]: Simplify z into z
2.629 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.629 * [taylor]: Taking taylor expansion of z in y
2.629 * [backup-simplify]: Simplify z into z
2.629 * [backup-simplify]: Simplify (+ 1 0) into 1
2.629 * [backup-simplify]: Simplify (* 1 z) into z
2.629 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.629 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
2.629 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.629 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.629 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.629 * [taylor]: Taking taylor expansion of y in z
2.629 * [backup-simplify]: Simplify y into y
2.629 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.629 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.630 * [taylor]: Taking taylor expansion of z in z
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (/ 1 1) into 1
2.630 * [taylor]: Taking taylor expansion of z in z
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (+ 0 1) into 1
2.630 * [backup-simplify]: Simplify (* 1 0) into 0
2.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.631 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.632 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.633 * [backup-simplify]: Simplify (/ 1 1) into 1
2.633 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
2.633 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
2.633 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
2.633 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.633 * [taylor]: Taking taylor expansion of y in z
2.633 * [backup-simplify]: Simplify y into y
2.633 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.633 * [taylor]: Taking taylor expansion of z in z
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 1 into 1
2.633 * [backup-simplify]: Simplify (/ 1 1) into 1
2.633 * [taylor]: Taking taylor expansion of z in z
2.633 * [backup-simplify]: Simplify 0 into 0
2.633 * [backup-simplify]: Simplify 1 into 1
2.634 * [backup-simplify]: Simplify (+ 0 1) into 1
2.634 * [backup-simplify]: Simplify (* 1 0) into 0
2.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.634 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.635 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
2.635 * [backup-simplify]: Simplify (/ 1 1) into 1
2.635 * [taylor]: Taking taylor expansion of 1 in y
2.635 * [backup-simplify]: Simplify 1 into 1
2.635 * [backup-simplify]: Simplify 0 into 0
2.635 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.636 * [backup-simplify]: Simplify (+ 0 0) into 0
2.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
2.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 y) 1)))) into (- (/ 1 y))
2.637 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.637 * [taylor]: Taking taylor expansion of y in y
2.637 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify 1 into 1
2.637 * [backup-simplify]: Simplify (/ 1 1) into 1
2.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify (- 0) into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.639 * [backup-simplify]: Simplify (+ 0 0) into 0
2.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
2.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ (/ 1 y) 1)))) into (/ 1 (pow y 2))
2.640 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.640 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.640 * [taylor]: Taking taylor expansion of y in y
2.640 * [backup-simplify]: Simplify 0 into 0
2.640 * [backup-simplify]: Simplify 1 into 1
2.641 * [backup-simplify]: Simplify (* 1 1) into 1
2.641 * [backup-simplify]: Simplify (/ 1 1) into 1
2.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.644 * [backup-simplify]: Simplify 0 into 0
2.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.645 * [backup-simplify]: Simplify (- 0) into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * * * [progress]: simplifying candidates
2.647 * [simplify]: Simplifying:
  (- (log x) (- (log z) (log (+ z y))))
  (- (log x) (log (/ z (+ z y))))
  (log (/ x (/ z (+ z y))))
  (exp (/ x (/ z (+ z y))))
  (/ (* (* x x) x) (/ (* (* z z) z) (* (* (+ z y) (+ z y)) (+ z y))))
  (/ (* (* x x) x) (* (* (/ z (+ z y)) (/ z (+ z y))) (/ z (+ z y))))
  (* (cbrt (/ x (/ z (+ z y)))) (cbrt (/ x (/ z (+ z y)))))
  (cbrt (/ x (/ z (+ z y))))
  (* (* (/ x (/ z (+ z y))) (/ x (/ z (+ z y)))) (/ x (/ z (+ z y))))
  (sqrt (/ x (/ z (+ z y))))
  (sqrt (/ x (/ z (+ z y))))
  (- x)
  (- (/ z (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y)))))
  (/ (cbrt x) (cbrt (/ z (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z (+ z y))))
  (/ (cbrt x) (sqrt (/ z (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (cbrt x) (/ (cbrt z) (cbrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))))
  (/ (cbrt x) (/ (cbrt z) (sqrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (cbrt x) (/ (cbrt z) (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (cbrt x) (/ (sqrt z) (cbrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (sqrt (+ z y))))
  (/ (cbrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) 1))
  (/ (cbrt x) (/ (sqrt z) (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (cbrt x) (/ z (cbrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt (+ z y))))
  (/ (cbrt x) (/ z (sqrt (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ 1 1))
  (/ (cbrt x) (/ z (+ z y)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (/ z (+ z y)))
  (/ (* (cbrt x) (cbrt x)) z)
  (/ (cbrt x) (/ 1 (+ z y)))
  (/ (* (cbrt x) (cbrt x)) (/ z (+ (pow z 3) (pow y 3))))
  (/ (cbrt x) (+ (* z z) (- (* y y) (* z y))))
  (/ (* (cbrt x) (cbrt x)) (/ z (- (* z z) (* y y))))
  (/ (cbrt x) (- z y))
  (/ (sqrt x) (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y)))))
  (/ (sqrt x) (cbrt (/ z (+ z y))))
  (/ (sqrt x) (sqrt (/ z (+ z y))))
  (/ (sqrt x) (sqrt (/ z (+ z y))))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (sqrt x) (/ (cbrt z) (cbrt (+ z y))))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))))
  (/ (sqrt x) (/ (cbrt z) (sqrt (+ z y))))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) (+ z y)))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) 1))
  (/ (sqrt x) (/ (cbrt z) (+ z y)))
  (/ (sqrt x) (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (sqrt x) (/ (sqrt z) (cbrt (+ z y))))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) (+ z y)))
  (/ (sqrt x) (/ (sqrt z) 1))
  (/ (sqrt x) (/ (sqrt z) (+ z y)))
  (/ (sqrt x) (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (sqrt x) (/ z (cbrt (+ z y))))
  (/ (sqrt x) (/ 1 (sqrt (+ z y))))
  (/ (sqrt x) (/ z (sqrt (+ z y))))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z (+ z y)))
  (/ (sqrt x) (/ 1 1))
  (/ (sqrt x) (/ z (+ z y)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (/ z (+ z y)))
  (/ (sqrt x) z)
  (/ (sqrt x) (/ 1 (+ z y)))
  (/ (sqrt x) (/ z (+ (pow z 3) (pow y 3))))
  (/ (sqrt x) (+ (* z z) (- (* y y) (* z y))))
  (/ (sqrt x) (/ z (- (* z z) (* y y))))
  (/ (sqrt x) (- z y))
  (/ 1 (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y)))))
  (/ x (cbrt (/ z (+ z y))))
  (/ 1 (sqrt (/ z (+ z y))))
  (/ x (sqrt (/ z (+ z y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ (cbrt z) (cbrt (+ z y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))))
  (/ x (/ (cbrt z) (sqrt (+ z y))))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) (+ z y)))
  (/ 1 (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (cbrt z) (+ z y)))
  (/ 1 (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ (sqrt z) (cbrt (+ z y))))
  (/ 1 (/ (sqrt z) (sqrt (+ z y))))
  (/ x (/ (sqrt z) (sqrt (+ z y))))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) (+ z y)))
  (/ 1 (/ (sqrt z) 1))
  (/ x (/ (sqrt z) (+ z y)))
  (/ 1 (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ z (cbrt (+ z y))))
  (/ 1 (/ 1 (sqrt (+ z y))))
  (/ x (/ z (sqrt (+ z y))))
  (/ 1 (/ 1 1))
  (/ x (/ z (+ z y)))
  (/ 1 (/ 1 1))
  (/ x (/ z (+ z y)))
  (/ 1 1)
  (/ x (/ z (+ z y)))
  (/ 1 z)
  (/ x (/ 1 (+ z y)))
  (/ 1 (/ z (+ (pow z 3) (pow y 3))))
  (/ x (+ (* z z) (- (* y y) (* z y))))
  (/ 1 (/ z (- (* z z) (* y y))))
  (/ x (- z y))
  (/ 1 (/ z (+ z y)))
  (/ (/ z (+ z y)) x)
  (/ x (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y)))))
  (/ x (sqrt (/ z (+ z y))))
  (/ x (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (* (cbrt z) (cbrt z)) 1))
  (/ x (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ (sqrt z) (sqrt (+ z y))))
  (/ x (/ (sqrt z) 1))
  (/ x (/ (sqrt z) 1))
  (/ x (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ 1 (sqrt (+ z y))))
  (/ x (/ 1 1))
  (/ x (/ 1 1))
  (/ x 1)
  (/ x z)
  (/ x (/ z (+ (pow z 3) (pow y 3))))
  (/ x (/ z (- (* z z) (* y y))))
  (/ (/ z (+ z y)) (cbrt x))
  (/ (/ z (+ z y)) (sqrt x))
  (/ (/ z (+ z y)) x)
  (/ x z)
  (- (log z) (log (+ z y)))
  (log (/ z (+ z y)))
  (exp (/ z (+ z y)))
  (/ (* (* z z) z) (* (* (+ z y) (+ z y)) (+ z y)))
  (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y))))
  (cbrt (/ z (+ z y)))
  (* (* (/ z (+ z y)) (/ z (+ z y))) (/ z (+ z y)))
  (sqrt (/ z (+ z y)))
  (sqrt (/ z (+ z y)))
  (- z)
  (- (+ z y))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (cbrt z) (cbrt (+ z y)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y)))
  (/ (cbrt z) (sqrt (+ z y)))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (+ z y))
  (/ (* (cbrt z) (cbrt z)) 1)
  (/ (cbrt z) (+ z y))
  (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (sqrt z) (cbrt (+ z y)))
  (/ (sqrt z) (sqrt (+ z y)))
  (/ (sqrt z) (sqrt (+ z y)))
  (/ (sqrt z) 1)
  (/ (sqrt z) (+ z y))
  (/ (sqrt z) 1)
  (/ (sqrt z) (+ z y))
  (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ z (cbrt (+ z y)))
  (/ 1 (sqrt (+ z y)))
  (/ z (sqrt (+ z y)))
  (/ 1 1)
  (/ z (+ z y))
  (/ 1 1)
  (/ z (+ z y))
  (/ 1 (+ z y))
  (/ (+ z y) z)
  (/ z (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ z (sqrt (+ z y)))
  (/ z 1)
  (/ z 1)
  (/ (+ z y) (cbrt z))
  (/ (+ z y) (sqrt z))
  (/ (+ z y) z)
  (/ z (+ (pow z 3) (pow y 3)))
  (/ z (- (* z z) (* y y)))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  0
  0
  0
2.648 * * [simplify]: iteration 0: 187 enodes
2.722 * * [simplify]: iteration 1: 480 enodes
2.966 * * [simplify]: iteration 2: 2372 enodes
3.527 * * [simplify]: iteration complete: 5001 enodes
3.527 * * [simplify]: Extracting #0: cost 140 inf + 0
3.530 * * [simplify]: Extracting #1: cost 1219 inf + 4
3.536 * * [simplify]: Extracting #2: cost 1812 inf + 1417
3.544 * * [simplify]: Extracting #3: cost 917 inf + 10097
3.559 * * [simplify]: Extracting #4: cost 144 inf + 16477
3.573 * * [simplify]: Extracting #5: cost 0 inf + 17519
3.587 * * [simplify]: Extracting #6: cost 0 inf + 17513
3.602 * [simplify]: Simplified to:
  (log (* (/ x z) (+ z y)))
  (log (* (/ x z) (+ z y)))
  (log (* (/ x z) (+ z y)))
  (exp (* (/ x z) (+ z y)))
  (pow (* (/ x z) (+ z y)) 3)
  (pow (* (/ x z) (+ z y)) 3)
  (* (cbrt (* (/ x z) (+ z y))) (cbrt (* (/ x z) (+ z y))))
  (cbrt (* (/ x z) (+ z y)))
  (pow (* (/ x z) (+ z y)) 3)
  (sqrt (* (/ x z) (+ z y)))
  (sqrt (* (/ x z) (+ z y)))
  (- x)
  (- (/ z (+ z y)))
  (* (/ (cbrt x) (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y))))) (cbrt x))
  (/ (cbrt x) (cbrt (/ z (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (sqrt (/ z (+ z y))))
  (/ (cbrt x) (sqrt (/ z (+ z y))))
  (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (* (cbrt x) (cbrt (+ z y))) (cbrt z))
  (/ (cbrt x) (/ (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))) (cbrt x)))
  (* (sqrt (+ z y)) (/ (cbrt x) (cbrt z)))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x)))
  (* (/ (cbrt x) (cbrt z)) (+ z y))
  (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x)))
  (* (/ (cbrt x) (cbrt z)) (+ z y))
  (/ (* (cbrt x) (cbrt x)) (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (* (/ (cbrt x) (sqrt z)) (cbrt (+ z y)))
  (* (/ (* (cbrt x) (cbrt x)) (sqrt z)) (sqrt (+ z y)))
  (/ (cbrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (cbrt x) (/ (sqrt z) (cbrt x)))
  (* (+ z y) (/ (cbrt x) (sqrt z)))
  (/ (cbrt x) (/ (sqrt z) (cbrt x)))
  (* (+ z y) (/ (cbrt x) (sqrt z)))
  (* (* (cbrt x) (cbrt x)) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (* (cbrt x) (cbrt (+ z y))) z)
  (* (sqrt (+ z y)) (* (cbrt x) (cbrt x)))
  (/ (* (cbrt x) (sqrt (+ z y))) z)
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z (+ z y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z (+ z y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (/ z (+ z y)))
  (* (/ (cbrt x) z) (cbrt x))
  (* (cbrt x) (+ z y))
  (* (+ (pow y 3) (pow z 3)) (* (/ (cbrt x) z) (cbrt x)))
  (/ (cbrt x) (+ (* z z) (* y (- y z))))
  (* (/ (* (cbrt x) (cbrt x)) z) (* (- z y) (+ y z)))
  (/ (cbrt x) (- z y))
  (/ (/ (sqrt x) (cbrt (/ z (+ z y)))) (cbrt (/ z (+ z y))))
  (/ (sqrt x) (cbrt (/ z (+ z y))))
  (/ (sqrt x) (sqrt (/ z (+ z y))))
  (/ (sqrt x) (sqrt (/ z (+ z y))))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ (* (sqrt x) (cbrt (+ z y))) (cbrt z))
  (/ (sqrt x) (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y))))
  (* (/ (sqrt x) (cbrt z)) (sqrt (+ z y)))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) (+ z y))
  (/ (sqrt x) (* (cbrt z) (cbrt z)))
  (* (/ (sqrt x) (cbrt z)) (+ z y))
  (/ (* (* (sqrt x) (cbrt (+ z y))) (cbrt (+ z y))) (sqrt z))
  (* (/ (sqrt x) (sqrt z)) (cbrt (+ z y)))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (sqrt x) (sqrt z))
  (* (/ (sqrt x) (sqrt z)) (+ z y))
  (/ (sqrt x) (sqrt z))
  (* (/ (sqrt x) (sqrt z)) (+ z y))
  (* (* (sqrt x) (cbrt (+ z y))) (cbrt (+ z y)))
  (* (/ (sqrt x) z) (cbrt (+ z y)))
  (* (sqrt (+ z y)) (sqrt x))
  (* (sqrt (+ z y)) (/ (sqrt x) z))
  (sqrt x)
  (* (/ (sqrt x) z) (+ z y))
  (sqrt x)
  (* (/ (sqrt x) z) (+ z y))
  (sqrt x)
  (* (/ (sqrt x) z) (+ z y))
  (/ (sqrt x) z)
  (* (+ z y) (sqrt x))
  (* (/ (sqrt x) z) (+ (pow y 3) (pow z 3)))
  (/ (sqrt x) (+ (* z z) (* y (- y z))))
  (/ (sqrt x) (/ (/ z (+ y z)) (- z y)))
  (/ (sqrt x) (- z y))
  (/ (/ 1 (cbrt (/ z (+ z y)))) (cbrt (/ z (+ z y))))
  (/ x (cbrt (/ z (+ z y))))
  (/ 1 (sqrt (/ z (+ z y))))
  (/ x (sqrt (/ z (+ z y))))
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (* (cbrt z) (cbrt z)))
  (/ (* x (cbrt (+ z y))) (cbrt z))
  (/ (sqrt (+ z y)) (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (sqrt (+ z y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (+ z y))
  (/ 1 (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (+ z y))
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (sqrt z))
  (* (/ x (sqrt z)) (cbrt (+ z y)))
  (/ (sqrt (+ z y)) (sqrt z))
  (/ x (/ (sqrt z) (sqrt (+ z y))))
  (/ 1 (sqrt z))
  (* (/ x (sqrt z)) (+ z y))
  (/ 1 (sqrt z))
  (* (/ x (sqrt z)) (+ z y))
  (* (cbrt (+ z y)) (cbrt (+ z y)))
  (* (/ x z) (cbrt (+ z y)))
  (sqrt (+ z y))
  (/ (* x (sqrt (+ z y))) z)
  1
  (* (/ x z) (+ z y))
  1
  (* (/ x z) (+ z y))
  1
  (* (/ x z) (+ z y))
  (/ 1 z)
  (* x (+ z y))
  (* (/ 1 z) (+ (pow y 3) (pow z 3)))
  (/ x (+ (* z z) (* y (- y z))))
  (* (* (/ 1 z) (+ y z)) (- z y))
  (/ x (- z y))
  (* (/ 1 z) (+ z y))
  (/ (/ z (+ z y)) x)
  (/ x (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y)))))
  (/ x (sqrt (/ z (+ z y))))
  (* (/ x (cbrt z)) (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (cbrt z)))
  (/ (* x (sqrt (+ z y))) (* (cbrt z) (cbrt z)))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ x (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y)))))
  (/ x (/ (sqrt z) (sqrt (+ z y))))
  (/ x (sqrt z))
  (/ x (sqrt z))
  (* (* x (cbrt (+ z y))) (cbrt (+ z y)))
  (* x (sqrt (+ z y)))
  x
  x
  x
  (/ x z)
  (* (/ x z) (+ (pow y 3) (pow z 3)))
  (* (* (/ x z) (+ y z)) (- z y))
  (/ (/ z (cbrt x)) (+ z y))
  (/ (/ z (+ z y)) (sqrt x))
  (/ (/ z (+ z y)) x)
  (/ x z)
  (log (/ z (+ z y)))
  (log (/ z (+ z y)))
  (exp (/ z (+ z y)))
  (pow (/ z (+ z y)) 3)
  (* (cbrt (/ z (+ z y))) (cbrt (/ z (+ z y))))
  (cbrt (/ z (+ z y)))
  (pow (/ z (+ z y)) 3)
  (sqrt (/ z (+ z y)))
  (sqrt (/ z (+ z y)))
  (- z)
  (- (+ z y))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (cbrt z) (cbrt (+ z y)))
  (/ (* (cbrt z) (cbrt z)) (sqrt (+ z y)))
  (/ (cbrt z) (sqrt (+ z y)))
  (* (cbrt z) (cbrt z))
  (/ (cbrt z) (+ z y))
  (* (cbrt z) (cbrt z))
  (/ (cbrt z) (+ z y))
  (/ (sqrt z) (* (cbrt (+ z y)) (cbrt (+ z y))))
  (/ (sqrt z) (cbrt (+ z y)))
  (/ (sqrt z) (sqrt (+ z y)))
  (/ (sqrt z) (sqrt (+ z y)))
  (sqrt z)
  (/ (sqrt z) (+ z y))
  (sqrt z)
  (/ (sqrt z) (+ z y))
  (/ (/ 1 (cbrt (+ z y))) (cbrt (+ z y)))
  (/ z (cbrt (+ z y)))
  (/ 1 (sqrt (+ z y)))
  (/ z (sqrt (+ z y)))
  1
  (/ z (+ z y))
  1
  (/ z (+ z y))
  (/ 1 (+ z y))
  (/ (+ z y) z)
  (/ (/ z (cbrt (+ z y))) (cbrt (+ z y)))
  (/ z (sqrt (+ z y)))
  z
  z
  (/ (+ z y) (cbrt z))
  (/ (+ z y) (sqrt z))
  (/ (+ z y) z)
  (/ z (+ (pow y 3) (pow z 3)))
  (/ (/ z (+ y z)) (- z y))
  (+ (/ (* y x) z) x)
  (+ (/ (* y x) z) x)
  (+ (/ (* y x) z) x)
  0
  0
  0
3.603 * * * [progress]: adding candidates to table
4.219 * * [progress]: iteration 3 / 4
4.219 * * * [progress]: picking best candidate
4.231 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (/ (+ z y) z)))>
4.232 * * * [progress]: localizing error
4.239 * * * [progress]: generating rewritten candidates
4.239 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
4.268 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
4.294 * * * [progress]: generating series expansions
4.294 * * * * [progress]: [ 1 / 2 ] generating series at (2)
4.294 * [backup-simplify]: Simplify (* x (/ (+ z y) z)) into (/ (* x (+ z y)) z)
4.294 * [approximate]: Taking taylor expansion of (/ (* x (+ z y)) z) in (x z y) around 0
4.294 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in y
4.294 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
4.294 * [taylor]: Taking taylor expansion of x in y
4.294 * [backup-simplify]: Simplify x into x
4.294 * [taylor]: Taking taylor expansion of (+ z y) in y
4.294 * [taylor]: Taking taylor expansion of z in y
4.294 * [backup-simplify]: Simplify z into z
4.295 * [taylor]: Taking taylor expansion of y in y
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 1 into 1
4.295 * [taylor]: Taking taylor expansion of z in y
4.295 * [backup-simplify]: Simplify z into z
4.295 * [backup-simplify]: Simplify (+ z 0) into z
4.295 * [backup-simplify]: Simplify (* x z) into (* x z)
4.295 * [backup-simplify]: Simplify (/ (* x z) z) into x
4.295 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in z
4.295 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
4.295 * [taylor]: Taking taylor expansion of x in z
4.295 * [backup-simplify]: Simplify x into x
4.295 * [taylor]: Taking taylor expansion of (+ z y) in z
4.295 * [taylor]: Taking taylor expansion of z in z
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 1 into 1
4.295 * [taylor]: Taking taylor expansion of y in z
4.295 * [backup-simplify]: Simplify y into y
4.295 * [taylor]: Taking taylor expansion of z in z
4.295 * [backup-simplify]: Simplify 0 into 0
4.295 * [backup-simplify]: Simplify 1 into 1
4.295 * [backup-simplify]: Simplify (+ 0 y) into y
4.295 * [backup-simplify]: Simplify (* x y) into (* x y)
4.295 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
4.295 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
4.295 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
4.295 * [taylor]: Taking taylor expansion of x in x
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 1 into 1
4.296 * [taylor]: Taking taylor expansion of (+ z y) in x
4.296 * [taylor]: Taking taylor expansion of z in x
4.296 * [backup-simplify]: Simplify z into z
4.296 * [taylor]: Taking taylor expansion of y in x
4.296 * [backup-simplify]: Simplify y into y
4.296 * [taylor]: Taking taylor expansion of z in x
4.296 * [backup-simplify]: Simplify z into z
4.296 * [backup-simplify]: Simplify (+ z y) into (+ z y)
4.296 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
4.297 * [backup-simplify]: Simplify (+ 0 0) into 0
4.297 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
4.297 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
4.297 * [taylor]: Taking taylor expansion of (/ (* x (+ z y)) z) in x
4.298 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
4.298 * [taylor]: Taking taylor expansion of x in x
4.298 * [backup-simplify]: Simplify 0 into 0
4.298 * [backup-simplify]: Simplify 1 into 1
4.298 * [taylor]: Taking taylor expansion of (+ z y) in x
4.298 * [taylor]: Taking taylor expansion of z in x
4.298 * [backup-simplify]: Simplify z into z
4.298 * [taylor]: Taking taylor expansion of y in x
4.298 * [backup-simplify]: Simplify y into y
4.298 * [taylor]: Taking taylor expansion of z in x
4.298 * [backup-simplify]: Simplify z into z
4.298 * [backup-simplify]: Simplify (+ z y) into (+ z y)
4.298 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
4.298 * [backup-simplify]: Simplify (+ 0 0) into 0
4.299 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
4.299 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
4.299 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in z
4.299 * [taylor]: Taking taylor expansion of (+ z y) in z
4.299 * [taylor]: Taking taylor expansion of z in z
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.299 * [taylor]: Taking taylor expansion of y in z
4.299 * [backup-simplify]: Simplify y into y
4.299 * [taylor]: Taking taylor expansion of z in z
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.299 * [backup-simplify]: Simplify (+ 0 y) into y
4.299 * [backup-simplify]: Simplify (/ y 1) into y
4.299 * [taylor]: Taking taylor expansion of y in y
4.299 * [backup-simplify]: Simplify 0 into 0
4.299 * [backup-simplify]: Simplify 1 into 1
4.300 * [backup-simplify]: Simplify 0 into 0
4.300 * [backup-simplify]: Simplify (+ 0 0) into 0
4.301 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
4.301 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)))) into 0
4.301 * [taylor]: Taking taylor expansion of 0 in z
4.301 * [backup-simplify]: Simplify 0 into 0
4.302 * [backup-simplify]: Simplify (+ 1 0) into 1
4.302 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* y (/ 0 1)))) into 1
4.302 * [taylor]: Taking taylor expansion of 1 in y
4.302 * [backup-simplify]: Simplify 1 into 1
4.302 * [backup-simplify]: Simplify 1 into 1
4.303 * [backup-simplify]: Simplify 1 into 1
4.303 * [backup-simplify]: Simplify (+ 0 0) into 0
4.304 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
4.304 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.304 * [taylor]: Taking taylor expansion of 0 in z
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [taylor]: Taking taylor expansion of 0 in y
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify 0 into 0
4.305 * [backup-simplify]: Simplify (+ 0 0) into 0
4.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)))) into 0
4.306 * [taylor]: Taking taylor expansion of 0 in y
4.306 * [backup-simplify]: Simplify 0 into 0
4.306 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify 0 into 0
4.307 * [backup-simplify]: Simplify (+ 0 0) into 0
4.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ z y)))))) into 0
4.309 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (+ z y) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.309 * [taylor]: Taking taylor expansion of 0 in z
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [taylor]: Taking taylor expansion of 0 in y
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [taylor]: Taking taylor expansion of 0 in y
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify 0 into 0
4.309 * [backup-simplify]: Simplify (+ (* 1 (* y (* (/ 1 z) x))) (* 1 (* 1 (* 1 x)))) into (+ (/ (* x y) z) x)
4.310 * [backup-simplify]: Simplify (* (/ 1 x) (/ (+ (/ 1 z) (/ 1 y)) (/ 1 z))) into (/ (* (+ (/ 1 y) (/ 1 z)) z) x)
4.310 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in (x z y) around 0
4.310 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in y
4.310 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
4.310 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
4.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.310 * [taylor]: Taking taylor expansion of y in y
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify 1 into 1
4.310 * [backup-simplify]: Simplify (/ 1 1) into 1
4.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.310 * [taylor]: Taking taylor expansion of z in y
4.310 * [backup-simplify]: Simplify z into z
4.310 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.310 * [taylor]: Taking taylor expansion of z in y
4.310 * [backup-simplify]: Simplify z into z
4.310 * [taylor]: Taking taylor expansion of x in y
4.310 * [backup-simplify]: Simplify x into x
4.311 * [backup-simplify]: Simplify (+ 1 0) into 1
4.311 * [backup-simplify]: Simplify (* 1 z) into z
4.311 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.311 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in z
4.311 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.311 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.311 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.311 * [taylor]: Taking taylor expansion of y in z
4.311 * [backup-simplify]: Simplify y into y
4.311 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.311 * [taylor]: Taking taylor expansion of z in z
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify 1 into 1
4.311 * [backup-simplify]: Simplify (/ 1 1) into 1
4.311 * [taylor]: Taking taylor expansion of z in z
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify 1 into 1
4.311 * [taylor]: Taking taylor expansion of x in z
4.311 * [backup-simplify]: Simplify x into x
4.312 * [backup-simplify]: Simplify (+ 0 1) into 1
4.312 * [backup-simplify]: Simplify (* 1 0) into 0
4.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.312 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.313 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
4.313 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.313 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
4.313 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
4.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
4.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.313 * [taylor]: Taking taylor expansion of y in x
4.313 * [backup-simplify]: Simplify y into y
4.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.313 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.313 * [taylor]: Taking taylor expansion of z in x
4.313 * [backup-simplify]: Simplify z into z
4.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.313 * [taylor]: Taking taylor expansion of z in x
4.313 * [backup-simplify]: Simplify z into z
4.313 * [taylor]: Taking taylor expansion of x in x
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 1 into 1
4.313 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
4.313 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
4.313 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
4.313 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
4.313 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
4.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
4.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.313 * [taylor]: Taking taylor expansion of y in x
4.313 * [backup-simplify]: Simplify y into y
4.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.313 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.313 * [taylor]: Taking taylor expansion of z in x
4.313 * [backup-simplify]: Simplify z into z
4.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.313 * [taylor]: Taking taylor expansion of z in x
4.313 * [backup-simplify]: Simplify z into z
4.313 * [taylor]: Taking taylor expansion of x in x
4.313 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify 1 into 1
4.314 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
4.314 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
4.314 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
4.314 * [taylor]: Taking taylor expansion of (* z (+ (/ 1 z) (/ 1 y))) in z
4.314 * [taylor]: Taking taylor expansion of z in z
4.314 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify 1 into 1
4.314 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
4.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.314 * [taylor]: Taking taylor expansion of z in z
4.314 * [backup-simplify]: Simplify 0 into 0
4.314 * [backup-simplify]: Simplify 1 into 1
4.314 * [backup-simplify]: Simplify (/ 1 1) into 1
4.314 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.314 * [taylor]: Taking taylor expansion of y in z
4.314 * [backup-simplify]: Simplify y into y
4.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.315 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.315 * [backup-simplify]: Simplify (+ 1 0) into 1
4.315 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 1)) into 1
4.315 * [taylor]: Taking taylor expansion of 1 in y
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.315 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.316 * [backup-simplify]: Simplify (+ 0 0) into 0
4.316 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 z)) into 0
4.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)))) into 0
4.316 * [taylor]: Taking taylor expansion of 0 in z
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [taylor]: Taking taylor expansion of 0 in y
4.316 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.317 * [backup-simplify]: Simplify (+ 0 0) into 0
4.318 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1 y)) (* 0 1))) into (/ 1 y)
4.318 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.318 * [taylor]: Taking taylor expansion of y in y
4.318 * [backup-simplify]: Simplify 0 into 0
4.318 * [backup-simplify]: Simplify 1 into 1
4.318 * [backup-simplify]: Simplify (/ 1 1) into 1
4.318 * [backup-simplify]: Simplify 1 into 1
4.318 * [backup-simplify]: Simplify 1 into 1
4.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.318 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.319 * [backup-simplify]: Simplify (+ 0 0) into 0
4.319 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 z))) into 0
4.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.320 * [taylor]: Taking taylor expansion of 0 in z
4.320 * [backup-simplify]: Simplify 0 into 0
4.320 * [taylor]: Taking taylor expansion of 0 in y
4.320 * [backup-simplify]: Simplify 0 into 0
4.320 * [taylor]: Taking taylor expansion of 0 in y
4.320 * [backup-simplify]: Simplify 0 into 0
4.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.321 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.321 * [backup-simplify]: Simplify (+ 0 0) into 0
4.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.322 * [taylor]: Taking taylor expansion of 0 in y
4.322 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify 0 into 0
4.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.323 * [backup-simplify]: Simplify (+ 0 0) into 0
4.323 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.324 * [taylor]: Taking taylor expansion of 0 in z
4.324 * [backup-simplify]: Simplify 0 into 0
4.324 * [taylor]: Taking taylor expansion of 0 in y
4.325 * [backup-simplify]: Simplify 0 into 0
4.325 * [taylor]: Taking taylor expansion of 0 in y
4.325 * [backup-simplify]: Simplify 0 into 0
4.325 * [taylor]: Taking taylor expansion of 0 in y
4.325 * [backup-simplify]: Simplify 0 into 0
4.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.325 * [backup-simplify]: Simplify (+ 0 0) into 0
4.326 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
4.326 * [taylor]: Taking taylor expansion of 0 in y
4.326 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
4.327 * [backup-simplify]: Simplify (* (/ 1 (- x)) (/ (+ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- z)))) into (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x))
4.327 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in (x z y) around 0
4.327 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in y
4.327 * [taylor]: Taking taylor expansion of -1 in y
4.327 * [backup-simplify]: Simplify -1 into -1
4.327 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in y
4.327 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
4.327 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
4.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.327 * [taylor]: Taking taylor expansion of y in y
4.327 * [backup-simplify]: Simplify 0 into 0
4.327 * [backup-simplify]: Simplify 1 into 1
4.327 * [backup-simplify]: Simplify (/ 1 1) into 1
4.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.327 * [taylor]: Taking taylor expansion of z in y
4.327 * [backup-simplify]: Simplify z into z
4.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.327 * [taylor]: Taking taylor expansion of z in y
4.328 * [backup-simplify]: Simplify z into z
4.328 * [taylor]: Taking taylor expansion of x in y
4.328 * [backup-simplify]: Simplify x into x
4.328 * [backup-simplify]: Simplify (+ 1 0) into 1
4.328 * [backup-simplify]: Simplify (* 1 z) into z
4.328 * [backup-simplify]: Simplify (/ z x) into (/ z x)
4.328 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in z
4.328 * [taylor]: Taking taylor expansion of -1 in z
4.328 * [backup-simplify]: Simplify -1 into -1
4.328 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in z
4.328 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.328 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.328 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.328 * [taylor]: Taking taylor expansion of y in z
4.328 * [backup-simplify]: Simplify y into y
4.328 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.328 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.328 * [taylor]: Taking taylor expansion of z in z
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify 1 into 1
4.328 * [backup-simplify]: Simplify (/ 1 1) into 1
4.328 * [taylor]: Taking taylor expansion of z in z
4.328 * [backup-simplify]: Simplify 0 into 0
4.328 * [backup-simplify]: Simplify 1 into 1
4.328 * [taylor]: Taking taylor expansion of x in z
4.328 * [backup-simplify]: Simplify x into x
4.329 * [backup-simplify]: Simplify (+ 0 1) into 1
4.329 * [backup-simplify]: Simplify (* 1 0) into 0
4.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.329 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.330 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
4.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.330 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in x
4.330 * [taylor]: Taking taylor expansion of -1 in x
4.330 * [backup-simplify]: Simplify -1 into -1
4.330 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
4.330 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
4.330 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
4.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.330 * [taylor]: Taking taylor expansion of y in x
4.330 * [backup-simplify]: Simplify y into y
4.330 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.330 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.330 * [taylor]: Taking taylor expansion of z in x
4.330 * [backup-simplify]: Simplify z into z
4.330 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.330 * [taylor]: Taking taylor expansion of z in x
4.330 * [backup-simplify]: Simplify z into z
4.330 * [taylor]: Taking taylor expansion of x in x
4.330 * [backup-simplify]: Simplify 0 into 0
4.330 * [backup-simplify]: Simplify 1 into 1
4.330 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
4.330 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
4.330 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
4.330 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 z)) z) x)) in x
4.330 * [taylor]: Taking taylor expansion of -1 in x
4.330 * [backup-simplify]: Simplify -1 into -1
4.330 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 z)) z) x) in x
4.330 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in x
4.331 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
4.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.331 * [taylor]: Taking taylor expansion of y in x
4.331 * [backup-simplify]: Simplify y into y
4.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.331 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.331 * [taylor]: Taking taylor expansion of z in x
4.331 * [backup-simplify]: Simplify z into z
4.331 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.331 * [taylor]: Taking taylor expansion of z in x
4.331 * [backup-simplify]: Simplify z into z
4.331 * [taylor]: Taking taylor expansion of x in x
4.331 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify 1 into 1
4.331 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 z)) into (+ (/ 1 z) (/ 1 y))
4.331 * [backup-simplify]: Simplify (* (+ (/ 1 z) (/ 1 y)) z) into (* (+ (/ 1 y) (/ 1 z)) z)
4.331 * [backup-simplify]: Simplify (/ (* (+ (/ 1 y) (/ 1 z)) z) 1) into (* z (+ (/ 1 z) (/ 1 y)))
4.331 * [backup-simplify]: Simplify (* -1 (* z (+ (/ 1 z) (/ 1 y)))) into (* -1 (* (+ (/ 1 y) (/ 1 z)) z))
4.331 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 z)) z)) in z
4.331 * [taylor]: Taking taylor expansion of -1 in z
4.331 * [backup-simplify]: Simplify -1 into -1
4.331 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.331 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.331 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.331 * [taylor]: Taking taylor expansion of y in z
4.331 * [backup-simplify]: Simplify y into y
4.331 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.331 * [taylor]: Taking taylor expansion of z in z
4.331 * [backup-simplify]: Simplify 0 into 0
4.331 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (/ 1 1) into 1
4.332 * [taylor]: Taking taylor expansion of z in z
4.332 * [backup-simplify]: Simplify 0 into 0
4.332 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (+ 0 1) into 1
4.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.332 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.333 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
4.333 * [backup-simplify]: Simplify (* 1 0) into 0
4.333 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
4.333 * [taylor]: Taking taylor expansion of -1 in y
4.333 * [backup-simplify]: Simplify -1 into -1
4.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.334 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.334 * [backup-simplify]: Simplify (+ 0 0) into 0
4.334 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (* 0 z)) into 0
4.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)))) into 0
4.335 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* z (+ (/ 1 z) (/ 1 y))))) into 0
4.335 * [taylor]: Taking taylor expansion of 0 in z
4.335 * [backup-simplify]: Simplify 0 into 0
4.335 * [taylor]: Taking taylor expansion of 0 in y
4.335 * [backup-simplify]: Simplify 0 into 0
4.335 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.336 * [backup-simplify]: Simplify (+ 0 0) into 0
4.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
4.337 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (+ (* 0 1) (* 0 0))) into (- (/ 1 y))
4.337 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
4.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.337 * [taylor]: Taking taylor expansion of y in y
4.337 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ 1 1) into 1
4.337 * [backup-simplify]: Simplify (- 1) into -1
4.337 * [backup-simplify]: Simplify -1 into -1
4.337 * [backup-simplify]: Simplify -1 into -1
4.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.338 * [backup-simplify]: Simplify (+ 0 0) into 0
4.338 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (* 0 z))) into 0
4.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.340 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* z (+ (/ 1 z) (/ 1 y)))))) into 0
4.340 * [taylor]: Taking taylor expansion of 0 in z
4.340 * [backup-simplify]: Simplify 0 into 0
4.340 * [taylor]: Taking taylor expansion of 0 in y
4.340 * [backup-simplify]: Simplify 0 into 0
4.341 * [taylor]: Taking taylor expansion of 0 in y
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.342 * [backup-simplify]: Simplify (+ 0 0) into 0
4.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
4.344 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0)))) into 0
4.344 * [taylor]: Taking taylor expansion of 0 in y
4.344 * [backup-simplify]: Simplify 0 into 0
4.344 * [backup-simplify]: Simplify 0 into 0
4.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify 0 into 0
4.345 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.346 * [backup-simplify]: Simplify (+ 0 0) into 0
4.347 * [backup-simplify]: Simplify (+ (* (+ (/ 1 z) (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
4.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* z (+ (/ 1 z) (/ 1 y))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.351 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* z (+ (/ 1 z) (/ 1 y))))))) into 0
4.351 * [taylor]: Taking taylor expansion of 0 in z
4.351 * [backup-simplify]: Simplify 0 into 0
4.351 * [taylor]: Taking taylor expansion of 0 in y
4.351 * [backup-simplify]: Simplify 0 into 0
4.351 * [taylor]: Taking taylor expansion of 0 in y
4.351 * [backup-simplify]: Simplify 0 into 0
4.351 * [taylor]: Taking taylor expansion of 0 in y
4.351 * [backup-simplify]: Simplify 0 into 0
4.351 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.352 * [backup-simplify]: Simplify (+ 0 0) into 0
4.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.355 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 1) (* 0 0))))) into 0
4.355 * [taylor]: Taking taylor expansion of 0 in y
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.356 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
4.356 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
4.356 * [backup-simplify]: Simplify (/ (+ z y) z) into (/ (+ z y) z)
4.356 * [approximate]: Taking taylor expansion of (/ (+ z y) z) in (z y) around 0
4.356 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in y
4.356 * [taylor]: Taking taylor expansion of (+ z y) in y
4.356 * [taylor]: Taking taylor expansion of z in y
4.356 * [backup-simplify]: Simplify z into z
4.356 * [taylor]: Taking taylor expansion of y in y
4.356 * [backup-simplify]: Simplify 0 into 0
4.356 * [backup-simplify]: Simplify 1 into 1
4.356 * [taylor]: Taking taylor expansion of z in y
4.356 * [backup-simplify]: Simplify z into z
4.356 * [backup-simplify]: Simplify (+ z 0) into z
4.357 * [backup-simplify]: Simplify (/ z z) into 1
4.357 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in z
4.357 * [taylor]: Taking taylor expansion of (+ z y) in z
4.357 * [taylor]: Taking taylor expansion of z in z
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [taylor]: Taking taylor expansion of y in z
4.357 * [backup-simplify]: Simplify y into y
4.357 * [taylor]: Taking taylor expansion of z in z
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [backup-simplify]: Simplify (+ 0 y) into y
4.357 * [backup-simplify]: Simplify (/ y 1) into y
4.357 * [taylor]: Taking taylor expansion of (/ (+ z y) z) in z
4.357 * [taylor]: Taking taylor expansion of (+ z y) in z
4.357 * [taylor]: Taking taylor expansion of z in z
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [taylor]: Taking taylor expansion of y in z
4.357 * [backup-simplify]: Simplify y into y
4.357 * [taylor]: Taking taylor expansion of z in z
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [backup-simplify]: Simplify (+ 0 y) into y
4.357 * [backup-simplify]: Simplify (/ y 1) into y
4.357 * [taylor]: Taking taylor expansion of y in y
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify (+ 1 0) into 1
4.359 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* y (/ 0 1)))) into 1
4.359 * [taylor]: Taking taylor expansion of 1 in y
4.359 * [backup-simplify]: Simplify 1 into 1
4.359 * [backup-simplify]: Simplify 1 into 1
4.359 * [backup-simplify]: Simplify 1 into 1
4.359 * [backup-simplify]: Simplify (+ 0 0) into 0
4.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)))) into 0
4.361 * [taylor]: Taking taylor expansion of 0 in y
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify (+ 0 0) into 0
4.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.363 * [taylor]: Taking taylor expansion of 0 in y
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 0 into 0
4.364 * [backup-simplify]: Simplify (+ (* 1 (* y (/ 1 z))) 1) into (+ (/ y z) 1)
4.364 * [backup-simplify]: Simplify (/ (+ (/ 1 z) (/ 1 y)) (/ 1 z)) into (* (+ (/ 1 y) (/ 1 z)) z)
4.364 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in (z y) around 0
4.364 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
4.364 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
4.364 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.364 * [taylor]: Taking taylor expansion of y in y
4.364 * [backup-simplify]: Simplify 0 into 0
4.364 * [backup-simplify]: Simplify 1 into 1
4.364 * [backup-simplify]: Simplify (/ 1 1) into 1
4.364 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.365 * [taylor]: Taking taylor expansion of z in y
4.365 * [backup-simplify]: Simplify z into z
4.365 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.365 * [taylor]: Taking taylor expansion of z in y
4.365 * [backup-simplify]: Simplify z into z
4.365 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.365 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.365 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.365 * [taylor]: Taking taylor expansion of y in z
4.365 * [backup-simplify]: Simplify y into y
4.365 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.365 * [taylor]: Taking taylor expansion of z in z
4.365 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify 1 into 1
4.365 * [backup-simplify]: Simplify (/ 1 1) into 1
4.365 * [taylor]: Taking taylor expansion of z in z
4.365 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify 1 into 1
4.366 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.366 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.366 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.366 * [taylor]: Taking taylor expansion of y in z
4.366 * [backup-simplify]: Simplify y into y
4.366 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.366 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.366 * [taylor]: Taking taylor expansion of z in z
4.366 * [backup-simplify]: Simplify 0 into 0
4.366 * [backup-simplify]: Simplify 1 into 1
4.366 * [backup-simplify]: Simplify (/ 1 1) into 1
4.366 * [taylor]: Taking taylor expansion of z in z
4.366 * [backup-simplify]: Simplify 0 into 0
4.366 * [backup-simplify]: Simplify 1 into 1
4.367 * [backup-simplify]: Simplify (+ 0 1) into 1
4.367 * [backup-simplify]: Simplify (* 1 0) into 0
4.367 * [taylor]: Taking taylor expansion of 0 in y
4.367 * [backup-simplify]: Simplify 0 into 0
4.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.368 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.369 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
4.369 * [taylor]: Taking taylor expansion of 1 in y
4.369 * [backup-simplify]: Simplify 1 into 1
4.369 * [backup-simplify]: Simplify 0 into 0
4.369 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.370 * [backup-simplify]: Simplify (+ 0 0) into 0
4.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
4.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.371 * [taylor]: Taking taylor expansion of y in y
4.371 * [backup-simplify]: Simplify 0 into 0
4.371 * [backup-simplify]: Simplify 1 into 1
4.372 * [backup-simplify]: Simplify (/ 1 1) into 1
4.372 * [backup-simplify]: Simplify 1 into 1
4.372 * [backup-simplify]: Simplify 1 into 1
4.372 * [backup-simplify]: Simplify 0 into 0
4.372 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.373 * [backup-simplify]: Simplify (+ 0 0) into 0
4.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
4.374 * [taylor]: Taking taylor expansion of 0 in y
4.374 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.377 * [backup-simplify]: Simplify (+ 0 0) into 0
4.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify (+ 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 z)))) into (+ (/ y z) 1)
4.380 * [backup-simplify]: Simplify (/ (+ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- z))) into (* (+ (/ 1 y) (/ 1 z)) z)
4.380 * [approximate]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in (z y) around 0
4.380 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in y
4.380 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
4.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.380 * [taylor]: Taking taylor expansion of y in y
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify 1 into 1
4.381 * [backup-simplify]: Simplify (/ 1 1) into 1
4.381 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.381 * [taylor]: Taking taylor expansion of z in y
4.381 * [backup-simplify]: Simplify z into z
4.381 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.381 * [taylor]: Taking taylor expansion of z in y
4.381 * [backup-simplify]: Simplify z into z
4.381 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.381 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.381 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.381 * [taylor]: Taking taylor expansion of y in z
4.381 * [backup-simplify]: Simplify y into y
4.381 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.381 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.381 * [taylor]: Taking taylor expansion of z in z
4.381 * [backup-simplify]: Simplify 0 into 0
4.381 * [backup-simplify]: Simplify 1 into 1
4.382 * [backup-simplify]: Simplify (/ 1 1) into 1
4.382 * [taylor]: Taking taylor expansion of z in z
4.382 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify 1 into 1
4.382 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 z)) z) in z
4.382 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
4.382 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.382 * [taylor]: Taking taylor expansion of y in z
4.382 * [backup-simplify]: Simplify y into y
4.382 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.382 * [taylor]: Taking taylor expansion of z in z
4.382 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify 1 into 1
4.382 * [backup-simplify]: Simplify (/ 1 1) into 1
4.382 * [taylor]: Taking taylor expansion of z in z
4.382 * [backup-simplify]: Simplify 0 into 0
4.383 * [backup-simplify]: Simplify 1 into 1
4.383 * [backup-simplify]: Simplify (+ 0 1) into 1
4.383 * [backup-simplify]: Simplify (* 1 0) into 0
4.384 * [taylor]: Taking taylor expansion of 0 in y
4.384 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.384 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.385 * [backup-simplify]: Simplify (+ (* 1 1) (* (/ 1 y) 0)) into 1
4.385 * [taylor]: Taking taylor expansion of 1 in y
4.385 * [backup-simplify]: Simplify 1 into 1
4.385 * [backup-simplify]: Simplify 0 into 0
4.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.386 * [backup-simplify]: Simplify (+ 0 0) into 0
4.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 1) (* 0 0))) into (/ 1 y)
4.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.387 * [taylor]: Taking taylor expansion of y in y
4.387 * [backup-simplify]: Simplify 0 into 0
4.387 * [backup-simplify]: Simplify 1 into 1
4.387 * [backup-simplify]: Simplify (/ 1 1) into 1
4.387 * [backup-simplify]: Simplify 1 into 1
4.387 * [backup-simplify]: Simplify 1 into 1
4.387 * [backup-simplify]: Simplify 0 into 0
4.388 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.388 * [backup-simplify]: Simplify (+ 0 0) into 0
4.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 1) (* 0 0)))) into 0
4.389 * [taylor]: Taking taylor expansion of 0 in y
4.389 * [backup-simplify]: Simplify 0 into 0
4.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.389 * [backup-simplify]: Simplify 0 into 0
4.390 * [backup-simplify]: Simplify 0 into 0
4.390 * [backup-simplify]: Simplify 0 into 0
4.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.390 * [backup-simplify]: Simplify (+ 0 0) into 0
4.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.391 * [taylor]: Taking taylor expansion of 0 in y
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 0 into 0
4.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.392 * [backup-simplify]: Simplify 0 into 0
4.392 * [backup-simplify]: Simplify (+ 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (- z))))) into (+ (/ y z) 1)
4.392 * * * [progress]: simplifying candidates
4.393 * [simplify]: Simplifying:
  (* x (/ (+ z y) z))
  (+ (log x) (- (log (+ z y)) (log z)))
  (+ (log x) (log (/ (+ z y) z)))
  (log (* x (/ (+ z y) z)))
  (exp (* x (/ (+ z y) z)))
  (* (* (* x x) x) (/ (* (* (+ z y) (+ z y)) (+ z y)) (* (* z z) z)))
  (* (* (* x x) x) (* (* (/ (+ z y) z) (/ (+ z y) z)) (/ (+ z y) z)))
  (* (cbrt (* x (/ (+ z y) z))) (cbrt (* x (/ (+ z y) z))))
  (cbrt (* x (/ (+ z y) z)))
  (* (* (* x (/ (+ z y) z)) (* x (/ (+ z y) z))) (* x (/ (+ z y) z)))
  (sqrt (* x (/ (+ z y) z)))
  (sqrt (* x (/ (+ z y) z)))
  (* (sqrt x) (sqrt (/ (+ z y) z)))
  (* (sqrt x) (sqrt (/ (+ z y) z)))
  (* (sqrt x) (/ (sqrt (+ z y)) (sqrt z)))
  (* (sqrt x) (/ (sqrt (+ z y)) (sqrt z)))
  (* x (* (cbrt (/ (+ z y) z)) (cbrt (/ (+ z y) z))))
  (* x (sqrt (/ (+ z y) z)))
  (* x (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (sqrt z)))
  (* x (/ (* (cbrt (+ z y)) (cbrt (+ z y))) 1))
  (* x (/ (sqrt (+ z y)) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt (+ z y)) (sqrt z)))
  (* x (/ (sqrt (+ z y)) 1))
  (* x (/ 1 (* (cbrt z) (cbrt z))))
  (* x (/ 1 (sqrt z)))
  (* x (/ 1 1))
  (* x (/ 1 (* (cbrt z) (cbrt z))))
  (* x (/ 1 (sqrt z)))
  (* x (/ 1 1))
  (* x 1)
  (* x (+ z y))
  (* (cbrt x) (/ (+ z y) z))
  (* (sqrt x) (/ (+ z y) z))
  (* x (/ (+ z y) z))
  (* x (+ z y))
  (- (log (+ z y)) (log z))
  (log (/ (+ z y) z))
  (exp (/ (+ z y) z))
  (/ (* (* (+ z y) (+ z y)) (+ z y)) (* (* z z) z))
  (* (cbrt (/ (+ z y) z)) (cbrt (/ (+ z y) z)))
  (cbrt (/ (+ z y) z))
  (* (* (/ (+ z y) z) (/ (+ z y) z)) (/ (+ z y) z))
  (sqrt (/ (+ z y) z))
  (sqrt (/ (+ z y) z))
  (- (+ z y))
  (- z)
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (+ z y)) (cbrt z))
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (sqrt z))
  (/ (cbrt (+ z y)) (sqrt z))
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) 1)
  (/ (cbrt (+ z y)) z)
  (/ (sqrt (+ z y)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (+ z y)) (cbrt z))
  (/ (sqrt (+ z y)) (sqrt z))
  (/ (sqrt (+ z y)) (sqrt z))
  (/ (sqrt (+ z y)) 1)
  (/ (sqrt (+ z y)) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (+ z y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (+ z y) (sqrt z))
  (/ 1 1)
  (/ (+ z y) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (+ z y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (+ z y) (sqrt z))
  (/ 1 1)
  (/ (+ z y) z)
  (/ 1 z)
  (/ z (+ z y))
  (/ (+ z y) (* (cbrt z) (cbrt z)))
  (/ (+ z y) (sqrt z))
  (/ (+ z y) 1)
  (/ z (cbrt (+ z y)))
  (/ z (sqrt (+ z y)))
  (/ z (+ z y))
  (/ z (+ z y))
  (* z (+ (* z z) (- (* y y) (* z y))))
  (* z (- z y))
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ y z) 1)
  (+ (/ y z) 1)
  (+ (/ y z) 1)
4.394 * * [simplify]: iteration 0: 97 enodes
4.418 * * [simplify]: iteration 1: 249 enodes
4.516 * * [simplify]: iteration 2: 1030 enodes
4.874 * * [simplify]: iteration complete: 5000 enodes
4.874 * * [simplify]: Extracting #0: cost 59 inf + 0
4.875 * * [simplify]: Extracting #1: cost 637 inf + 2
4.879 * * [simplify]: Extracting #2: cost 1581 inf + 301
4.885 * * [simplify]: Extracting #3: cost 1870 inf + 1560
4.893 * * [simplify]: Extracting #4: cost 820 inf + 10391
4.906 * * [simplify]: Extracting #5: cost 23 inf + 19597
4.916 * * [simplify]: Extracting #6: cost 0 inf + 19936
4.924 * [simplify]: Simplified to:
  (/ (* x (+ z y)) z)
  (log (/ (* x (+ z y)) z))
  (log (/ (* x (+ z y)) z))
  (log (/ (* x (+ z y)) z))
  (pow (exp x) (/ (+ z y) z))
  (* (pow (/ (+ z y) z) 3) (pow x 3))
  (* (pow (/ (+ z y) z) 3) (pow x 3))
  (* (cbrt (/ (* x (+ z y)) z)) (cbrt (/ (* x (+ z y)) z)))
  (cbrt (/ (* x (+ z y)) z))
  (pow (/ (* x (+ z y)) z) 3)
  (sqrt (/ (* x (+ z y)) z))
  (sqrt (/ (* x (+ z y)) z))
  (* (sqrt x) (sqrt (/ (+ z y) z)))
  (* (sqrt x) (sqrt (/ (+ z y) z)))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (/ (sqrt x) (/ (sqrt z) (sqrt (+ z y))))
  (* x (* (cbrt (/ (+ z y) z)) (cbrt (/ (+ z y) z))))
  (* (sqrt (/ (+ z y) z)) x)
  (* x (/ (cbrt (+ z y)) (/ (* (cbrt z) (cbrt z)) (cbrt (+ z y)))))
  (* (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (sqrt z)) x)
  (* (* x (cbrt (+ z y))) (cbrt (+ z y)))
  (/ (* (sqrt (+ z y)) x) (* (cbrt z) (cbrt z)))
  (/ (* x (sqrt (+ z y))) (sqrt z))
  (* x (sqrt (+ z y)))
  (/ (/ x (cbrt z)) (cbrt z))
  (/ x (sqrt z))
  x
  (/ (/ x (cbrt z)) (cbrt z))
  (/ x (sqrt z))
  x
  x
  (* x (+ z y))
  (* (cbrt x) (/ (+ z y) z))
  (* (/ (+ z y) z) (sqrt x))
  (/ (* x (+ z y)) z)
  (* x (+ z y))
  (log (/ (+ z y) z))
  (log (/ (+ z y) z))
  (exp (/ (+ z y) z))
  (pow (/ (+ z y) z) 3)
  (* (cbrt (/ (+ z y) z)) (cbrt (/ (+ z y) z)))
  (cbrt (/ (+ z y) z))
  (pow (/ (+ z y) z) 3)
  (sqrt (/ (+ z y) z))
  (sqrt (/ (+ z y) z))
  (- (+ y z))
  (- z)
  (/ (cbrt (+ z y)) (/ (* (cbrt z) (cbrt z)) (cbrt (+ z y))))
  (/ (cbrt (+ z y)) (cbrt z))
  (/ (* (cbrt (+ z y)) (cbrt (+ z y))) (sqrt z))
  (/ (cbrt (+ z y)) (sqrt z))
  (* (cbrt (+ z y)) (cbrt (+ z y)))
  (/ (cbrt (+ z y)) z)
  (/ (sqrt (+ z y)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (+ z y)) (cbrt z))
  (/ (sqrt (+ z y)) (sqrt z))
  (/ (sqrt (+ z y)) (sqrt z))
  (sqrt (+ z y))
  (/ (sqrt (+ z y)) z)
  (/ (/ 1 (cbrt z)) (cbrt z))
  (/ (+ z y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (+ z y) (sqrt z))
  1
  (/ (+ z y) z)
  (/ (/ 1 (cbrt z)) (cbrt z))
  (/ (+ z y) (cbrt z))
  (/ 1 (sqrt z))
  (/ (+ z y) (sqrt z))
  1
  (/ (+ z y) z)
  (/ 1 z)
  (/ z (+ z y))
  (/ (+ z y) (* (cbrt z) (cbrt z)))
  (/ (+ z y) (sqrt z))
  (+ z y)
  (/ z (cbrt (+ z y)))
  (/ z (sqrt (+ z y)))
  (/ z (+ z y))
  (/ z (+ z y))
  (* (- (* y y) (* z (- y z))) z)
  (* (- z y) z)
  (+ (* (/ x z) y) x)
  (+ (* (/ x z) y) x)
  (+ (* (/ x z) y) x)
  (+ (/ y z) 1)
  (+ (/ y z) 1)
  (+ (/ y z) 1)
4.925 * * * [progress]: adding candidates to table
5.255 * * [progress]: iteration 4 / 4
5.255 * * * [progress]: picking best candidate
5.269 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (/ (* x y) z) x))>
5.269 * * * [progress]: localizing error
5.284 * * * [progress]: generating rewritten candidates
5.284 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.300 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.322 * * * [progress]: generating series expansions
5.322 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.322 * [backup-simplify]: Simplify (/ (* x y) z) into (/ (* x y) z)
5.322 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
5.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.322 * [taylor]: Taking taylor expansion of (* x y) in z
5.322 * [taylor]: Taking taylor expansion of x in z
5.322 * [backup-simplify]: Simplify x into x
5.322 * [taylor]: Taking taylor expansion of y in z
5.322 * [backup-simplify]: Simplify y into y
5.322 * [taylor]: Taking taylor expansion of z in z
5.322 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify 1 into 1
5.322 * [backup-simplify]: Simplify (* x y) into (* x y)
5.322 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.322 * [taylor]: Taking taylor expansion of (* x y) in y
5.322 * [taylor]: Taking taylor expansion of x in y
5.322 * [backup-simplify]: Simplify x into x
5.322 * [taylor]: Taking taylor expansion of y in y
5.322 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify 1 into 1
5.322 * [taylor]: Taking taylor expansion of z in y
5.322 * [backup-simplify]: Simplify z into z
5.322 * [backup-simplify]: Simplify (* x 0) into 0
5.323 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.323 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.323 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.323 * [taylor]: Taking taylor expansion of (* x y) in x
5.323 * [taylor]: Taking taylor expansion of x in x
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 1 into 1
5.323 * [taylor]: Taking taylor expansion of y in x
5.323 * [backup-simplify]: Simplify y into y
5.323 * [taylor]: Taking taylor expansion of z in x
5.323 * [backup-simplify]: Simplify z into z
5.323 * [backup-simplify]: Simplify (* 0 y) into 0
5.323 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.323 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.323 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.323 * [taylor]: Taking taylor expansion of (* x y) in x
5.323 * [taylor]: Taking taylor expansion of x in x
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify 1 into 1
5.323 * [taylor]: Taking taylor expansion of y in x
5.323 * [backup-simplify]: Simplify y into y
5.323 * [taylor]: Taking taylor expansion of z in x
5.323 * [backup-simplify]: Simplify z into z
5.323 * [backup-simplify]: Simplify (* 0 y) into 0
5.324 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.324 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.324 * [taylor]: Taking taylor expansion of (/ y z) in y
5.324 * [taylor]: Taking taylor expansion of y in y
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 1 into 1
5.324 * [taylor]: Taking taylor expansion of z in y
5.324 * [backup-simplify]: Simplify z into z
5.324 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.324 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.324 * [taylor]: Taking taylor expansion of z in z
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 1 into 1
5.324 * [backup-simplify]: Simplify (/ 1 1) into 1
5.324 * [backup-simplify]: Simplify 1 into 1
5.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.325 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
5.325 * [taylor]: Taking taylor expansion of 0 in y
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [taylor]: Taking taylor expansion of 0 in z
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
5.325 * [taylor]: Taking taylor expansion of 0 in z
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.325 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.326 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.326 * [taylor]: Taking taylor expansion of 0 in y
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [taylor]: Taking taylor expansion of 0 in z
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [taylor]: Taking taylor expansion of 0 in z
5.326 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.327 * [taylor]: Taking taylor expansion of 0 in z
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.327 * [backup-simplify]: Simplify 0 into 0
5.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.328 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.328 * [taylor]: Taking taylor expansion of 0 in y
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [taylor]: Taking taylor expansion of 0 in z
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [taylor]: Taking taylor expansion of 0 in z
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [taylor]: Taking taylor expansion of 0 in z
5.328 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.329 * [taylor]: Taking taylor expansion of 0 in z
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* y x))) into (/ (* x y) z)
5.329 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) into (/ z (* x y))
5.329 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
5.329 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.329 * [taylor]: Taking taylor expansion of z in z
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [taylor]: Taking taylor expansion of (* x y) in z
5.329 * [taylor]: Taking taylor expansion of x in z
5.329 * [backup-simplify]: Simplify x into x
5.329 * [taylor]: Taking taylor expansion of y in z
5.329 * [backup-simplify]: Simplify y into y
5.329 * [backup-simplify]: Simplify (* x y) into (* x y)
5.329 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.329 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.329 * [taylor]: Taking taylor expansion of z in y
5.329 * [backup-simplify]: Simplify z into z
5.329 * [taylor]: Taking taylor expansion of (* x y) in y
5.329 * [taylor]: Taking taylor expansion of x in y
5.329 * [backup-simplify]: Simplify x into x
5.329 * [taylor]: Taking taylor expansion of y in y
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (* x 0) into 0
5.330 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.330 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.330 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.330 * [taylor]: Taking taylor expansion of z in x
5.330 * [backup-simplify]: Simplify z into z
5.330 * [taylor]: Taking taylor expansion of (* x y) in x
5.330 * [taylor]: Taking taylor expansion of x in x
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 1 into 1
5.330 * [taylor]: Taking taylor expansion of y in x
5.330 * [backup-simplify]: Simplify y into y
5.330 * [backup-simplify]: Simplify (* 0 y) into 0
5.330 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.330 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.330 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.330 * [taylor]: Taking taylor expansion of z in x
5.330 * [backup-simplify]: Simplify z into z
5.330 * [taylor]: Taking taylor expansion of (* x y) in x
5.330 * [taylor]: Taking taylor expansion of x in x
5.330 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify 1 into 1
5.330 * [taylor]: Taking taylor expansion of y in x
5.330 * [backup-simplify]: Simplify y into y
5.330 * [backup-simplify]: Simplify (* 0 y) into 0
5.331 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.331 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.331 * [taylor]: Taking taylor expansion of (/ z y) in y
5.331 * [taylor]: Taking taylor expansion of z in y
5.331 * [backup-simplify]: Simplify z into z
5.331 * [taylor]: Taking taylor expansion of y in y
5.331 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (/ z 1) into z
5.331 * [taylor]: Taking taylor expansion of z in z
5.331 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.332 * [taylor]: Taking taylor expansion of 0 in y
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.332 * [taylor]: Taking taylor expansion of 0 in z
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.333 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.333 * [taylor]: Taking taylor expansion of 0 in y
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [taylor]: Taking taylor expansion of 0 in z
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.334 * [taylor]: Taking taylor expansion of 0 in z
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (/ (* x y) z)
5.335 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (* x y)))
5.335 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
5.335 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
5.335 * [taylor]: Taking taylor expansion of -1 in z
5.335 * [backup-simplify]: Simplify -1 into -1
5.335 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.335 * [taylor]: Taking taylor expansion of z in z
5.335 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify 1 into 1
5.335 * [taylor]: Taking taylor expansion of (* x y) in z
5.335 * [taylor]: Taking taylor expansion of x in z
5.335 * [backup-simplify]: Simplify x into x
5.335 * [taylor]: Taking taylor expansion of y in z
5.335 * [backup-simplify]: Simplify y into y
5.335 * [backup-simplify]: Simplify (* x y) into (* x y)
5.335 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.335 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
5.335 * [taylor]: Taking taylor expansion of -1 in y
5.335 * [backup-simplify]: Simplify -1 into -1
5.335 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.335 * [taylor]: Taking taylor expansion of z in y
5.335 * [backup-simplify]: Simplify z into z
5.335 * [taylor]: Taking taylor expansion of (* x y) in y
5.335 * [taylor]: Taking taylor expansion of x in y
5.335 * [backup-simplify]: Simplify x into x
5.335 * [taylor]: Taking taylor expansion of y in y
5.335 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify 1 into 1
5.335 * [backup-simplify]: Simplify (* x 0) into 0
5.335 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.335 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.336 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.336 * [taylor]: Taking taylor expansion of -1 in x
5.336 * [backup-simplify]: Simplify -1 into -1
5.336 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.336 * [taylor]: Taking taylor expansion of z in x
5.336 * [backup-simplify]: Simplify z into z
5.336 * [taylor]: Taking taylor expansion of (* x y) in x
5.336 * [taylor]: Taking taylor expansion of x in x
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 1 into 1
5.336 * [taylor]: Taking taylor expansion of y in x
5.336 * [backup-simplify]: Simplify y into y
5.336 * [backup-simplify]: Simplify (* 0 y) into 0
5.336 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.336 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.336 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
5.336 * [taylor]: Taking taylor expansion of -1 in x
5.336 * [backup-simplify]: Simplify -1 into -1
5.336 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.336 * [taylor]: Taking taylor expansion of z in x
5.336 * [backup-simplify]: Simplify z into z
5.336 * [taylor]: Taking taylor expansion of (* x y) in x
5.336 * [taylor]: Taking taylor expansion of x in x
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify 1 into 1
5.336 * [taylor]: Taking taylor expansion of y in x
5.336 * [backup-simplify]: Simplify y into y
5.336 * [backup-simplify]: Simplify (* 0 y) into 0
5.336 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.337 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.337 * [backup-simplify]: Simplify (* -1 (/ z y)) into (* -1 (/ z y))
5.337 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
5.337 * [taylor]: Taking taylor expansion of -1 in y
5.337 * [backup-simplify]: Simplify -1 into -1
5.337 * [taylor]: Taking taylor expansion of (/ z y) in y
5.337 * [taylor]: Taking taylor expansion of z in y
5.337 * [backup-simplify]: Simplify z into z
5.337 * [taylor]: Taking taylor expansion of y in y
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 1 into 1
5.337 * [backup-simplify]: Simplify (/ z 1) into z
5.337 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
5.337 * [taylor]: Taking taylor expansion of (* -1 z) in z
5.337 * [taylor]: Taking taylor expansion of -1 in z
5.337 * [backup-simplify]: Simplify -1 into -1
5.337 * [taylor]: Taking taylor expansion of z in z
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 1 into 1
5.337 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
5.337 * [backup-simplify]: Simplify -1 into -1
5.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.338 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.338 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z y))) into 0
5.338 * [taylor]: Taking taylor expansion of 0 in y
5.338 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.339 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
5.339 * [taylor]: Taking taylor expansion of 0 in z
5.339 * [backup-simplify]: Simplify 0 into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.341 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.341 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z y)))) into 0
5.341 * [taylor]: Taking taylor expansion of 0 in y
5.341 * [backup-simplify]: Simplify 0 into 0
5.341 * [taylor]: Taking taylor expansion of 0 in z
5.341 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.343 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
5.343 * [taylor]: Taking taylor expansion of 0 in z
5.343 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.343 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (/ (* x y) z)
5.344 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.344 * [backup-simplify]: Simplify (+ (/ (* x y) z) x) into (+ (/ (* x y) z) x)
5.344 * [approximate]: Taking taylor expansion of (+ (/ (* x y) z) x) in (x y z) around 0
5.344 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in z
5.344 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
5.344 * [taylor]: Taking taylor expansion of (* x y) in z
5.344 * [taylor]: Taking taylor expansion of x in z
5.344 * [backup-simplify]: Simplify x into x
5.344 * [taylor]: Taking taylor expansion of y in z
5.344 * [backup-simplify]: Simplify y into y
5.344 * [taylor]: Taking taylor expansion of z in z
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 1 into 1
5.344 * [backup-simplify]: Simplify (* x y) into (* x y)
5.344 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y)
5.344 * [taylor]: Taking taylor expansion of x in z
5.344 * [backup-simplify]: Simplify x into x
5.344 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in y
5.344 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
5.344 * [taylor]: Taking taylor expansion of (* x y) in y
5.344 * [taylor]: Taking taylor expansion of x in y
5.344 * [backup-simplify]: Simplify x into x
5.344 * [taylor]: Taking taylor expansion of y in y
5.344 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify 1 into 1
5.344 * [taylor]: Taking taylor expansion of z in y
5.344 * [backup-simplify]: Simplify z into z
5.344 * [backup-simplify]: Simplify (* x 0) into 0
5.345 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.345 * [backup-simplify]: Simplify (/ x z) into (/ x z)
5.345 * [taylor]: Taking taylor expansion of x in y
5.345 * [backup-simplify]: Simplify x into x
5.345 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
5.345 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.345 * [taylor]: Taking taylor expansion of (* x y) in x
5.345 * [taylor]: Taking taylor expansion of x in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.345 * [taylor]: Taking taylor expansion of y in x
5.345 * [backup-simplify]: Simplify y into y
5.345 * [taylor]: Taking taylor expansion of z in x
5.345 * [backup-simplify]: Simplify z into z
5.345 * [backup-simplify]: Simplify (* 0 y) into 0
5.345 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.345 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.345 * [taylor]: Taking taylor expansion of x in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.345 * [taylor]: Taking taylor expansion of (+ (/ (* x y) z) x) in x
5.345 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
5.345 * [taylor]: Taking taylor expansion of (* x y) in x
5.345 * [taylor]: Taking taylor expansion of x in x
5.345 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify 1 into 1
5.345 * [taylor]: Taking taylor expansion of y in x
5.345 * [backup-simplify]: Simplify y into y
5.345 * [taylor]: Taking taylor expansion of z in x
5.345 * [backup-simplify]: Simplify z into z
5.345 * [backup-simplify]: Simplify (* 0 y) into 0
5.346 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.346 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.346 * [taylor]: Taking taylor expansion of x in x
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 1 into 1
5.346 * [backup-simplify]: Simplify (+ 0 0) into 0
5.346 * [taylor]: Taking taylor expansion of 0 in y
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [taylor]: Taking taylor expansion of 0 in z
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify (+ (/ y z) 1) into (+ (/ y z) 1)
5.346 * [taylor]: Taking taylor expansion of (+ (/ y z) 1) in y
5.346 * [taylor]: Taking taylor expansion of (/ y z) in y
5.346 * [taylor]: Taking taylor expansion of y in y
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify 1 into 1
5.346 * [taylor]: Taking taylor expansion of z in y
5.346 * [backup-simplify]: Simplify z into z
5.346 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.346 * [taylor]: Taking taylor expansion of 1 in y
5.346 * [backup-simplify]: Simplify 1 into 1
5.347 * [backup-simplify]: Simplify (+ 0 1) into 1
5.347 * [taylor]: Taking taylor expansion of 1 in z
5.347 * [backup-simplify]: Simplify 1 into 1
5.347 * [taylor]: Taking taylor expansion of 0 in z
5.347 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.348 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
5.348 * [backup-simplify]: Simplify (+ 0 0) into 0
5.348 * [taylor]: Taking taylor expansion of 0 in y
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [taylor]: Taking taylor expansion of 0 in z
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
5.349 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.349 * [taylor]: Taking taylor expansion of z in z
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (/ 1 1) into 1
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [taylor]: Taking taylor expansion of 0 in z
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.351 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.351 * [backup-simplify]: Simplify (+ 0 0) into 0
5.351 * [taylor]: Taking taylor expansion of 0 in y
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [taylor]: Taking taylor expansion of 0 in z
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [taylor]: Taking taylor expansion of 0 in z
5.351 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
5.357 * [backup-simplify]: Simplify (+ 0 0) into 0
5.357 * [taylor]: Taking taylor expansion of 0 in z
5.357 * [backup-simplify]: Simplify 0 into 0
5.357 * [taylor]: Taking taylor expansion of 0 in z
5.357 * [backup-simplify]: Simplify 0 into 0
5.357 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* y x)))) into (+ (/ (* x y) z) x)
5.359 * [backup-simplify]: Simplify (+ (/ (* (/ 1 x) (/ 1 y)) (/ 1 z)) (/ 1 x)) into (+ (/ z (* x y)) (/ 1 x))
5.359 * [approximate]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in (x y z) around 0
5.359 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.359 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.359 * [taylor]: Taking taylor expansion of z in z
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify 1 into 1
5.359 * [taylor]: Taking taylor expansion of (* x y) in z
5.360 * [taylor]: Taking taylor expansion of x in z
5.360 * [backup-simplify]: Simplify x into x
5.360 * [taylor]: Taking taylor expansion of y in z
5.360 * [backup-simplify]: Simplify y into y
5.360 * [backup-simplify]: Simplify (* x y) into (* x y)
5.360 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.360 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.360 * [taylor]: Taking taylor expansion of x in z
5.360 * [backup-simplify]: Simplify x into x
5.360 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.360 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
5.360 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.360 * [taylor]: Taking taylor expansion of z in y
5.360 * [backup-simplify]: Simplify z into z
5.360 * [taylor]: Taking taylor expansion of (* x y) in y
5.360 * [taylor]: Taking taylor expansion of x in y
5.360 * [backup-simplify]: Simplify x into x
5.360 * [taylor]: Taking taylor expansion of y in y
5.360 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify 1 into 1
5.360 * [backup-simplify]: Simplify (* x 0) into 0
5.361 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.361 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.361 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.361 * [taylor]: Taking taylor expansion of x in y
5.361 * [backup-simplify]: Simplify x into x
5.361 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.361 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.361 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.361 * [taylor]: Taking taylor expansion of z in x
5.361 * [backup-simplify]: Simplify z into z
5.361 * [taylor]: Taking taylor expansion of (* x y) in x
5.361 * [taylor]: Taking taylor expansion of x in x
5.361 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify 1 into 1
5.361 * [taylor]: Taking taylor expansion of y in x
5.361 * [backup-simplify]: Simplify y into y
5.361 * [backup-simplify]: Simplify (* 0 y) into 0
5.362 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.362 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.362 * [taylor]: Taking taylor expansion of x in x
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.362 * [backup-simplify]: Simplify (/ 1 1) into 1
5.362 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.362 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.362 * [taylor]: Taking taylor expansion of z in x
5.362 * [backup-simplify]: Simplify z into z
5.362 * [taylor]: Taking taylor expansion of (* x y) in x
5.362 * [taylor]: Taking taylor expansion of x in x
5.362 * [backup-simplify]: Simplify 0 into 0
5.362 * [backup-simplify]: Simplify 1 into 1
5.363 * [taylor]: Taking taylor expansion of y in x
5.363 * [backup-simplify]: Simplify y into y
5.363 * [backup-simplify]: Simplify (* 0 y) into 0
5.363 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.363 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.363 * [taylor]: Taking taylor expansion of x in x
5.363 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify 1 into 1
5.364 * [backup-simplify]: Simplify (/ 1 1) into 1
5.364 * [backup-simplify]: Simplify (+ (/ z y) 1) into (+ (/ z y) 1)
5.364 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
5.364 * [taylor]: Taking taylor expansion of (/ z y) in y
5.364 * [taylor]: Taking taylor expansion of z in y
5.364 * [backup-simplify]: Simplify z into z
5.364 * [taylor]: Taking taylor expansion of y in y
5.364 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify 1 into 1
5.364 * [backup-simplify]: Simplify (/ z 1) into z
5.364 * [taylor]: Taking taylor expansion of 1 in y
5.364 * [backup-simplify]: Simplify 1 into 1
5.364 * [backup-simplify]: Simplify (+ z 0) into z
5.364 * [taylor]: Taking taylor expansion of z in z
5.364 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify 1 into 1
5.365 * [backup-simplify]: Simplify 0 into 0
5.365 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.366 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.367 * [backup-simplify]: Simplify (+ 0 0) into 0
5.367 * [taylor]: Taking taylor expansion of 0 in y
5.367 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.368 * [backup-simplify]: Simplify (+ 0 1) into 1
5.368 * [taylor]: Taking taylor expansion of 1 in z
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.371 * [backup-simplify]: Simplify (+ 0 0) into 0
5.371 * [taylor]: Taking taylor expansion of 0 in y
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [taylor]: Taking taylor expansion of 0 in z
5.371 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify 0 into 0
5.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.372 * [backup-simplify]: Simplify (+ 0 0) into 0
5.372 * [taylor]: Taking taylor expansion of 0 in z
5.372 * [backup-simplify]: Simplify 0 into 0
5.372 * [backup-simplify]: Simplify 0 into 0
5.372 * [backup-simplify]: Simplify 0 into 0
5.372 * [backup-simplify]: Simplify 0 into 0
5.373 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.373 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.374 * [backup-simplify]: Simplify (+ 0 0) into 0
5.374 * [taylor]: Taking taylor expansion of 0 in y
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [taylor]: Taking taylor expansion of 0 in z
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [taylor]: Taking taylor expansion of 0 in z
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ (/ (* x y) z) x)
5.374 * [backup-simplify]: Simplify (+ (/ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (/ 1 (- x))) into (- (+ (/ z (* x y)) (/ 1 x)))
5.375 * [approximate]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in (x y z) around 0
5.375 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in z
5.375 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in z
5.375 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
5.375 * [taylor]: Taking taylor expansion of z in z
5.375 * [backup-simplify]: Simplify 0 into 0
5.375 * [backup-simplify]: Simplify 1 into 1
5.375 * [taylor]: Taking taylor expansion of (* x y) in z
5.375 * [taylor]: Taking taylor expansion of x in z
5.375 * [backup-simplify]: Simplify x into x
5.375 * [taylor]: Taking taylor expansion of y in z
5.375 * [backup-simplify]: Simplify y into y
5.375 * [backup-simplify]: Simplify (* x y) into (* x y)
5.375 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
5.375 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.375 * [taylor]: Taking taylor expansion of x in z
5.375 * [backup-simplify]: Simplify x into x
5.375 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.375 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in y
5.375 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in y
5.375 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
5.375 * [taylor]: Taking taylor expansion of z in y
5.375 * [backup-simplify]: Simplify z into z
5.375 * [taylor]: Taking taylor expansion of (* x y) in y
5.375 * [taylor]: Taking taylor expansion of x in y
5.375 * [backup-simplify]: Simplify x into x
5.375 * [taylor]: Taking taylor expansion of y in y
5.375 * [backup-simplify]: Simplify 0 into 0
5.375 * [backup-simplify]: Simplify 1 into 1
5.375 * [backup-simplify]: Simplify (* x 0) into 0
5.375 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.375 * [backup-simplify]: Simplify (/ z x) into (/ z x)
5.375 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.375 * [taylor]: Taking taylor expansion of x in y
5.375 * [backup-simplify]: Simplify x into x
5.375 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.375 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
5.375 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.375 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.375 * [taylor]: Taking taylor expansion of z in x
5.376 * [backup-simplify]: Simplify z into z
5.376 * [taylor]: Taking taylor expansion of (* x y) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [taylor]: Taking taylor expansion of y in x
5.376 * [backup-simplify]: Simplify y into y
5.376 * [backup-simplify]: Simplify (* 0 y) into 0
5.376 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.376 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [backup-simplify]: Simplify (/ 1 1) into 1
5.376 * [taylor]: Taking taylor expansion of (- (+ (/ z (* x y)) (/ 1 x))) in x
5.376 * [taylor]: Taking taylor expansion of (+ (/ z (* x y)) (/ 1 x)) in x
5.376 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
5.376 * [taylor]: Taking taylor expansion of z in x
5.376 * [backup-simplify]: Simplify z into z
5.376 * [taylor]: Taking taylor expansion of (* x y) in x
5.376 * [taylor]: Taking taylor expansion of x in x
5.376 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify 1 into 1
5.376 * [taylor]: Taking taylor expansion of y in x
5.376 * [backup-simplify]: Simplify y into y
5.376 * [backup-simplify]: Simplify (* 0 y) into 0
5.377 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.377 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.377 * [taylor]: Taking taylor expansion of x in x
5.377 * [backup-simplify]: Simplify 0 into 0
5.377 * [backup-simplify]: Simplify 1 into 1
5.377 * [backup-simplify]: Simplify (/ 1 1) into 1
5.377 * [backup-simplify]: Simplify (+ (/ z y) 1) into (+ (/ z y) 1)
5.377 * [backup-simplify]: Simplify (- (+ (/ z y) 1)) into (- (+ (/ z y) 1))
5.377 * [taylor]: Taking taylor expansion of (- (+ (/ z y) 1)) in y
5.377 * [taylor]: Taking taylor expansion of (+ (/ z y) 1) in y
5.377 * [taylor]: Taking taylor expansion of (/ z y) in y
5.377 * [taylor]: Taking taylor expansion of z in y
5.377 * [backup-simplify]: Simplify z into z
5.377 * [taylor]: Taking taylor expansion of y in y
5.377 * [backup-simplify]: Simplify 0 into 0
5.377 * [backup-simplify]: Simplify 1 into 1
5.377 * [backup-simplify]: Simplify (/ z 1) into z
5.377 * [taylor]: Taking taylor expansion of 1 in y
5.377 * [backup-simplify]: Simplify 1 into 1
5.377 * [backup-simplify]: Simplify (+ z 0) into z
5.377 * [backup-simplify]: Simplify (- z) into (- z)
5.377 * [taylor]: Taking taylor expansion of (- z) in z
5.377 * [taylor]: Taking taylor expansion of z in z
5.378 * [backup-simplify]: Simplify 0 into 0
5.378 * [backup-simplify]: Simplify 1 into 1
5.378 * [backup-simplify]: Simplify (- 0) into 0
5.378 * [backup-simplify]: Simplify 0 into 0
5.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.378 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.379 * [backup-simplify]: Simplify (+ 0 0) into 0
5.379 * [backup-simplify]: Simplify (- 0) into 0
5.379 * [taylor]: Taking taylor expansion of 0 in y
5.379 * [backup-simplify]: Simplify 0 into 0
5.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.380 * [backup-simplify]: Simplify (+ 0 1) into 1
5.380 * [backup-simplify]: Simplify (- 1) into -1
5.380 * [taylor]: Taking taylor expansion of -1 in z
5.380 * [backup-simplify]: Simplify -1 into -1
5.380 * [backup-simplify]: Simplify -1 into -1
5.381 * [backup-simplify]: Simplify (- 1) into -1
5.381 * [backup-simplify]: Simplify -1 into -1
5.381 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.382 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.383 * [backup-simplify]: Simplify (+ 0 0) into 0
5.383 * [backup-simplify]: Simplify (- 0) into 0
5.383 * [taylor]: Taking taylor expansion of 0 in y
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [taylor]: Taking taylor expansion of 0 in z
5.383 * [backup-simplify]: Simplify 0 into 0
5.383 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.384 * [backup-simplify]: Simplify (+ 0 0) into 0
5.384 * [backup-simplify]: Simplify (- 0) into 0
5.384 * [taylor]: Taking taylor expansion of 0 in z
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (- 0) into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.386 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.387 * [backup-simplify]: Simplify (+ 0 0) into 0
5.387 * [backup-simplify]: Simplify (- 0) into 0
5.387 * [taylor]: Taking taylor expansion of 0 in y
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [taylor]: Taking taylor expansion of 0 in z
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [taylor]: Taking taylor expansion of 0 in z
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ (/ (* x y) z) x)
5.387 * * * [progress]: simplifying candidates
5.388 * [simplify]: Simplifying:
  (- (+ (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)
  (* (exp (/ (* x y) z)) (exp x))
  (log (+ (/ (* x y) z) x))
  (exp (+ (/ (* x y) z) x))
  (* (cbrt (+ (/ (* x y) z) x)) (cbrt (+ (/ (* x y) z) x)))
  (cbrt (+ (/ (* x y) z) x))
  (* (* (+ (/ (* x y) z) x) (+ (/ (* x y) z) x)) (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (sqrt (+ (/ (* x y) z) x))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (+ (* (/ (* x y) z) (/ (* x y) z)) (- (* x x) (* (/ (* x y) z) x)))
  (- (* (/ (* x y) z) (/ (* x y) z)) (* x x))
  (- (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
  (+ (/ (* x y) z) x)
5.388 * * [simplify]: iteration 0: 67 enodes
5.404 * * [simplify]: iteration 1: 183 enodes
5.481 * * [simplify]: iteration 2: 931 enodes
6.075 * * [simplify]: iteration complete: 5000 enodes
6.075 * * [simplify]: Extracting #0: cost 32 inf + 0
6.077 * * [simplify]: Extracting #1: cost 641 inf + 1
6.081 * * [simplify]: Extracting #2: cost 1723 inf + 160
6.088 * * [simplify]: Extracting #3: cost 1401 inf + 4013
6.098 * * [simplify]: Extracting #4: cost 390 inf + 11908
6.112 * * [simplify]: Extracting #5: cost 22 inf + 16940
6.132 * * [simplify]: Extracting #6: cost 0 inf + 17498
6.146 * [simplify]: Simplified to:
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (pow (exp (/ x z)) y)
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (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
  (/ y z)
  (/ 1 z)
  (/ (/ z x) y)
  (/ (* (/ y (cbrt z)) x) (cbrt z))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (exp (+ x (/ (* x y) z)))
  (log (+ x (/ (* x y) z)))
  (exp (+ x (/ (* x y) z)))
  (* (cbrt (+ x (/ (* x y) z))) (cbrt (+ x (/ (* x y) z))))
  (cbrt (+ x (/ (* x y) z)))
  (pow (+ x (/ (* x y) z)) 3)
  (sqrt (+ x (/ (* x y) z)))
  (sqrt (+ x (/ (* x y) z)))
  (+ (pow (/ (* x y) z) 3) (pow x 3))
  (- (* x x) (* (/ (* x y) z) (- x (/ (* x y) z))))
  (- (* (* (/ x z) (/ x z)) (* y y)) (* x x))
  (- (/ (* x y) z) x)
  (+ x (/ (* x y) z))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
  (+ x (/ (* x y) z))
  (+ x (/ (* x y) z))
  (+ x (/ (* x y) z))
6.147 * * * [progress]: adding candidates to table
6.313 * [progress]: [Phase 3 of 3] Extracting.
6.314 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.314 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
6.314 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.440 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.502 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.560 * * * [regime]: Found split indices: #<option (#s(si 4 49) #s(si 3 127) #s(si 4 150) #s(si 3 171) #s(si 4 255))>
6.560 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.721 * [regimes]: Found splitpoints: (#s(sp 4 z -2.86912832624718e+99) #s(sp 3 z -1.4423219065306953e-263) #s(sp 4 z 3.6707057139042145e-228) #s(sp 3 z 1.0136399717911853e-81) #s(sp 4 z +nan.0)) , with alts (#<alt (λ (x y z) (/ (* x (sqrt (+ z y))) (/ z (sqrt (+ z y)))))> #<alt (λ (x y z) (+ (/ 1 (/ (/ z x) y)) x))> #<alt (λ (x y z) (/ (/ x z) (/ 1 (+ z y))))> #<alt (λ (x y z) (+ (/ (* x y) z) x))> #<alt (λ (x y z) (* x (/ (+ z y) z)))>)
6.721 * [simplify]: Simplifying:
  (if (<= z -2.86912832624718e+99) (* x (/ (+ z y) z)) (if (<= z -1.4423219065306953e-263) (+ (/ (* x y) z) x) (if (<= z 3.6707057139042145e-228) (* x (/ (+ z y) z)) (if (<= z 1.0136399717911853e-81) (+ (/ (* x y) z) x) (* x (/ (+ z y) z))))))
6.721 * * [simplify]: iteration 0: 21 enodes
6.722 * * [simplify]: iteration 1: 28 enodes
6.723 * * [simplify]: iteration 2: 31 enodes
6.724 * * [simplify]: iteration 3: 37 enodes
6.725 * * [simplify]: iteration 4: 40 enodes
6.726 * * [simplify]: iteration 5: 46 enodes
6.728 * * [simplify]: iteration 6: 59 enodes
6.730 * * [simplify]: iteration 7: 74 enodes
6.732 * * [simplify]: iteration 8: 94 enodes
6.735 * * [simplify]: iteration 9: 147 enodes
6.739 * * [simplify]: iteration 10: 200 enodes
6.762 * * [simplify]: iteration 11: 388 enodes
6.777 * * [simplify]: iteration 12: 576 enodes
6.799 * * [simplify]: iteration 13: 1304 enodes
7.041 * * [simplify]: iteration 14: 2032 enodes
7.263 * * [simplify]: iteration 15: 4920 enodes
10.140 * * [simplify]: iteration complete: 5000 enodes
10.140 * * [simplify]: Extracting #0: cost 1 inf + 0
10.140 * * [simplify]: Extracting #1: cost 6 inf + 0
10.140 * * [simplify]: Extracting #2: cost 15 inf + 0
10.141 * * [simplify]: Extracting #3: cost 24 inf + 3
10.141 * * [simplify]: Extracting #4: cost 73 inf + 10
10.141 * * [simplify]: Extracting #5: cost 56 inf + 78
10.141 * * [simplify]: Extracting #6: cost 37 inf + 153
10.141 * * [simplify]: Extracting #7: cost 10 inf + 336
10.141 * * [simplify]: Extracting #8: cost 1 inf + 436
10.141 * * [simplify]: Extracting #9: cost 0 inf + 462
10.142 * [simplify]: Simplified to:
  (if (or (<= z -2.86912832624718e+99) (and (not (<= z -1.4423219065306953e-263)) (or (<= z 3.6707057139042145e-228) (not (<= z 1.0136399717911853e-81))))) (* x (/ (+ z y) z)) (+ x (/ (* x y) z)))
12.009 * [regime-testing]: Baseline error score: 3.14991497999768
12.011 * [regime-testing]: Oracle error score: 0.010751343917989748
12.016 * [regime-testing]: End program error score: 2.0533469034822436
12.115 * [regime-testing]: Target error score: 2.882826991977489