59.639 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (+ x (/ (* y y) z))
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: Extracting # 1 : cost  0
0.025 * * [simplify]: Extracting # 2 : cost  0
0.025 * * [simplify]: Extracting # 3 : cost  0
0.025 * * [simplify]: Extracting # 4 : cost  0
0.025 * * [simplify]: Extracting # 5 : cost  0
0.025 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.026 * * [simplify]: Extracting # 0 : cost  0
0.026 * * [simplify]: Extracting # 1 : cost  0
0.026 * * [simplify]: Extracting # 2 : cost  0
0.026 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: iteration  2 :  11  enodes  (cost  7 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: iteration  3 :  12  enodes  (cost  7 )
0.031 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: iteration done:  12  enodes  (cost  7 )
0.031 * [simplify]: Simplified to:
  (+ x (/ (* y y) z))
0.031 * * [progress]: iteration 1 / 4
0.031 * * * [progress]: picking best candidate
0.032 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ (* y y) z)))>
0.032 * * * [progress]: localizing error
0.038 * * * [progress]: generating rewritten candidates
0.038 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.050 * * * [progress]: generating series expansions
0.050 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.051 * [backup-simplify]: Simplify (/ (* y y) z) into (/ (pow y 2) z)
0.051 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
0.051 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
0.051 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.051 * [taylor]: Taking taylor expansion of y in z
0.051 * [backup-simplify]: Simplify y into y
0.051 * [taylor]: Taking taylor expansion of z in z
0.051 * [backup-simplify]: Simplify 0 into 0
0.051 * [backup-simplify]: Simplify 1 into 1
0.051 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.051 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
0.051 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
0.051 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.051 * [backup-simplify]: Simplify 0 into 0
0.051 * [backup-simplify]: Simplify 1 into 1
0.051 * [taylor]: Taking taylor expansion of z in y
0.051 * [backup-simplify]: Simplify z into z
0.052 * [backup-simplify]: Simplify (* 1 1) into 1
0.052 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.052 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
0.052 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.052 * [taylor]: Taking taylor expansion of y in y
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of z in y
0.052 * [backup-simplify]: Simplify z into z
0.052 * [backup-simplify]: Simplify (* 1 1) into 1
0.052 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.052 * [taylor]: Taking taylor expansion of z in z
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.053 * [backup-simplify]: Simplify (/ 1 1) into 1
0.053 * [backup-simplify]: Simplify 1 into 1
0.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.053 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
0.053 * [taylor]: Taking taylor expansion of 0 in z
0.053 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.055 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.055 * [taylor]: Taking taylor expansion of 0 in z
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.056 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.057 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.057 * [taylor]: Taking taylor expansion of 0 in z
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow y 2))) into (/ (pow y 2) z)
0.058 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 y)) (/ 1 z)) into (/ z (pow y 2))
0.058 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
0.058 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
0.058 * [taylor]: Taking taylor expansion of z in z
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.058 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.058 * [taylor]: Taking taylor expansion of y in z
0.058 * [backup-simplify]: Simplify y into y
0.058 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.058 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.058 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.058 * [taylor]: Taking taylor expansion of z in y
0.058 * [backup-simplify]: Simplify z into z
0.058 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.059 * [backup-simplify]: Simplify (* 1 1) into 1
0.059 * [backup-simplify]: Simplify (/ z 1) into z
0.059 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.059 * [taylor]: Taking taylor expansion of z in y
0.059 * [backup-simplify]: Simplify z into z
0.059 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.059 * [taylor]: Taking taylor expansion of y in y
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 1 into 1
0.059 * [backup-simplify]: Simplify (* 1 1) into 1
0.059 * [backup-simplify]: Simplify (/ z 1) into z
0.059 * [taylor]: Taking taylor expansion of z in z
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 1 into 1
0.060 * [backup-simplify]: Simplify 1 into 1
0.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
0.061 * [taylor]: Taking taylor expansion of 0 in z
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.063 * [taylor]: Taking taylor expansion of 0 in z
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.065 * [taylor]: Taking taylor expansion of 0 in z
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow (/ 1 y) -2))) into (/ (pow y 2) z)
0.065 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (pow y 2)))
0.065 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
0.065 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
0.065 * [taylor]: Taking taylor expansion of -1 in z
0.065 * [backup-simplify]: Simplify -1 into -1
0.065 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
0.065 * [taylor]: Taking taylor expansion of z in z
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 1 into 1
0.066 * [taylor]: Taking taylor expansion of (pow y 2) in z
0.066 * [taylor]: Taking taylor expansion of y in z
0.066 * [backup-simplify]: Simplify y into y
0.066 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.066 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
0.066 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
0.066 * [taylor]: Taking taylor expansion of -1 in y
0.066 * [backup-simplify]: Simplify -1 into -1
0.066 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.066 * [taylor]: Taking taylor expansion of z in y
0.066 * [backup-simplify]: Simplify z into z
0.066 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.066 * [taylor]: Taking taylor expansion of y in y
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 1 into 1
0.066 * [backup-simplify]: Simplify (* 1 1) into 1
0.067 * [backup-simplify]: Simplify (/ z 1) into z
0.067 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
0.067 * [taylor]: Taking taylor expansion of -1 in y
0.067 * [backup-simplify]: Simplify -1 into -1
0.067 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
0.067 * [taylor]: Taking taylor expansion of z in y
0.067 * [backup-simplify]: Simplify z into z
0.067 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 1 into 1
0.067 * [backup-simplify]: Simplify (* 1 1) into 1
0.067 * [backup-simplify]: Simplify (/ z 1) into z
0.067 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
0.067 * [taylor]: Taking taylor expansion of (* -1 z) in z
0.067 * [taylor]: Taking taylor expansion of -1 in z
0.067 * [backup-simplify]: Simplify -1 into -1
0.067 * [taylor]: Taking taylor expansion of z in z
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 1 into 1
0.068 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
0.068 * [backup-simplify]: Simplify -1 into -1
0.068 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
0.069 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
0.070 * [taylor]: Taking taylor expansion of 0 in z
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
0.070 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.073 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
0.073 * [taylor]: Taking taylor expansion of 0 in z
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.077 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
0.077 * [taylor]: Taking taylor expansion of 0 in z
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (pow (/ 1 (- y)) -2))) into (/ (pow y 2) z)
0.077 * * * [progress]: simplifying candidates
0.077 * [simplify]: Simplifying:
  (- (+ (log y) (log y)) (log z))
  (- (log (* y y)) (log z))
  (log (/ (* y y) z))
  (exp (/ (* y y) z))
  (/ (* (* (* y y) y) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* y y) (* y y)) (* y y)) (* (* z z) z))
  (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z)))
  (cbrt (/ (* y y) z))
  (* (* (/ (* y y) z) (/ (* y y) z)) (/ (* y y) z))
  (sqrt (/ (* y y) z))
  (sqrt (/ (* y y) z))
  (- (* y y))
  (- z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ y 1)
  (/ y z)
  (/ 1 z)
  (/ z (* y y))
  (/ (* y y) (* (cbrt z) (cbrt z)))
  (/ (* y y) (sqrt z))
  (/ (* y y) 1)
  (/ z y)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
0.078 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: Extracting # 3 : cost  0
0.078 * * [simplify]: Extracting # 4 : cost  0
0.078 * * [simplify]: Extracting # 5 : cost  0
0.078 * * [simplify]: iteration  0 :  45  enodes  (cost  186 )
0.090 * * [simplify]: Extracting # 0 : cost  0
0.090 * * [simplify]: Extracting # 1 : cost  0
0.090 * * [simplify]: Extracting # 2 : cost  0
0.090 * * [simplify]: iteration  1 :  97  enodes  (cost  179 )
0.129 * * [simplify]: Extracting # 0 : cost  0
0.129 * * [simplify]: Extracting # 1 : cost  0
0.129 * * [simplify]: Extracting # 2 : cost  0
0.130 * * [simplify]: Extracting # 3 : cost  0
0.130 * * [simplify]: iteration  2 :  284  enodes  (cost  149 )
0.325 * * [simplify]: Extracting # 0 : cost  0
0.327 * * [simplify]: Extracting # 1 : cost  0
0.328 * * [simplify]: Extracting # 2 : cost  0
0.329 * * [simplify]: Extracting # 3 : cost  0
0.331 * * [simplify]: Extracting # 4 : cost  0
0.332 * * [simplify]: iteration  3 :  906  enodes  (cost  149 )
2.096 * * [simplify]: Extracting # 0 : cost  0
2.101 * * [simplify]: Extracting # 1 : cost  0
2.103 * * [simplify]: Extracting # 2 : cost  0
2.105 * * [simplify]: Extracting # 3 : cost  0
2.107 * * [simplify]: Extracting # 4 : cost  0
2.109 * * [simplify]: iteration  4 :  2110  enodes  (cost  149 )
4.881 * * [simplify]: Extracting # 0 : cost  0
4.887 * * [simplify]: Extracting # 1 : cost  0
4.891 * * [simplify]: Extracting # 2 : cost  0
4.895 * * [simplify]: Extracting # 3 : cost  0
4.901 * * [simplify]: Extracting # 4 : cost  0
4.905 * * [simplify]: iteration done:  5000  enodes  (cost  149 )
4.905 * [simplify]: Simplified to:
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (exp (/ (* y y) z))
  (pow (/ (* y y) z) 3)
  (pow (/ (* y y) z) 3)
  (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z)))
  (cbrt (/ (* y y) z))
  (pow (/ (* y y) z) 3)
  (sqrt (/ (* y y) z))
  (sqrt (/ (* y y) z))
  (- (* y y))
  (- z)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ y (sqrt z))
  (/ y (sqrt z))
  y
  (/ y z)
  (/ 1 z)
  (/ (/ z y) y)
  (/ (* y y) (* (cbrt z) (cbrt z)))
  (/ (* y y) (sqrt z))
  (pow y 2)
  (/ z y)
  (/ (* y y) z)
  (/ (* y y) z)
  (/ (* y y) z)
4.905 * * * [progress]: adding candidates to table
4.951 * * [progress]: iteration 2 / 4
4.951 * * * [progress]: picking best candidate
4.956 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (/ y z))))>
4.956 * * * [progress]: localizing error
4.963 * * * [progress]: generating rewritten candidates
4.963 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.991 * * * [progress]: generating series expansions
4.991 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.991 * [backup-simplify]: Simplify (* y (/ y z)) into (/ (pow y 2) z)
4.991 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0
4.991 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
4.992 * [taylor]: Taking taylor expansion of (pow y 2) in z
4.992 * [taylor]: Taking taylor expansion of y in z
4.992 * [backup-simplify]: Simplify y into y
4.992 * [taylor]: Taking taylor expansion of z in z
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.992 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
4.992 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
4.992 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.992 * [taylor]: Taking taylor expansion of y in y
4.992 * [backup-simplify]: Simplify 0 into 0
4.992 * [backup-simplify]: Simplify 1 into 1
4.992 * [taylor]: Taking taylor expansion of z in y
4.992 * [backup-simplify]: Simplify z into z
4.992 * [backup-simplify]: Simplify (* 1 1) into 1
4.992 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.993 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
4.993 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.993 * [taylor]: Taking taylor expansion of y in y
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 1 into 1
4.993 * [taylor]: Taking taylor expansion of z in y
4.993 * [backup-simplify]: Simplify z into z
4.993 * [backup-simplify]: Simplify (* 1 1) into 1
4.993 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.993 * [taylor]: Taking taylor expansion of z in z
4.993 * [backup-simplify]: Simplify 0 into 0
4.993 * [backup-simplify]: Simplify 1 into 1
4.993 * [backup-simplify]: Simplify (/ 1 1) into 1
4.993 * [backup-simplify]: Simplify 1 into 1
4.994 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.994 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
4.994 * [taylor]: Taking taylor expansion of 0 in z
4.994 * [backup-simplify]: Simplify 0 into 0
4.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.994 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.995 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.995 * [taylor]: Taking taylor expansion of 0 in z
4.995 * [backup-simplify]: Simplify 0 into 0
4.995 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.997 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.997 * [taylor]: Taking taylor expansion of 0 in z
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.997 * [backup-simplify]: Simplify 0 into 0
4.997 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow y 2))) into (/ (pow y 2) z)
4.997 * [backup-simplify]: Simplify (* (/ 1 y) (/ (/ 1 y) (/ 1 z))) into (/ z (pow y 2))
4.997 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0
4.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
4.998 * [taylor]: Taking taylor expansion of z in z
4.998 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify 1 into 1
4.998 * [taylor]: Taking taylor expansion of (pow y 2) in z
4.998 * [taylor]: Taking taylor expansion of y in z
4.998 * [backup-simplify]: Simplify y into y
4.998 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.998 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
4.998 * [taylor]: Taking taylor expansion of z in y
4.998 * [backup-simplify]: Simplify z into z
4.998 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.998 * [taylor]: Taking taylor expansion of y in y
4.998 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify 1 into 1
4.998 * [backup-simplify]: Simplify (* 1 1) into 1
4.998 * [backup-simplify]: Simplify (/ z 1) into z
4.998 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
4.998 * [taylor]: Taking taylor expansion of z in y
4.998 * [backup-simplify]: Simplify z into z
4.998 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.998 * [taylor]: Taking taylor expansion of y in y
4.998 * [backup-simplify]: Simplify 0 into 0
4.998 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (* 1 1) into 1
4.999 * [backup-simplify]: Simplify (/ z 1) into z
4.999 * [taylor]: Taking taylor expansion of z in z
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.000 * [taylor]: Taking taylor expansion of 0 in z
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify 0 into 0
5.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.001 * [taylor]: Taking taylor expansion of 0 in z
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.001 * [backup-simplify]: Simplify 0 into 0
5.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.003 * [taylor]: Taking taylor expansion of 0 in z
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow (/ 1 y) -2))) into (/ (pow y 2) z)
5.003 * [backup-simplify]: Simplify (* (/ 1 (- y)) (/ (/ 1 (- y)) (/ 1 (- z)))) into (* -1 (/ z (pow y 2)))
5.003 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0
5.003 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
5.003 * [taylor]: Taking taylor expansion of -1 in z
5.003 * [backup-simplify]: Simplify -1 into -1
5.003 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
5.003 * [taylor]: Taking taylor expansion of z in z
5.003 * [backup-simplify]: Simplify 0 into 0
5.003 * [backup-simplify]: Simplify 1 into 1
5.003 * [taylor]: Taking taylor expansion of (pow y 2) in z
5.003 * [taylor]: Taking taylor expansion of y in z
5.003 * [backup-simplify]: Simplify y into y
5.004 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.004 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
5.004 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
5.004 * [taylor]: Taking taylor expansion of -1 in y
5.004 * [backup-simplify]: Simplify -1 into -1
5.004 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.004 * [taylor]: Taking taylor expansion of z in y
5.004 * [backup-simplify]: Simplify z into z
5.004 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.004 * [taylor]: Taking taylor expansion of y in y
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [backup-simplify]: Simplify (* 1 1) into 1
5.004 * [backup-simplify]: Simplify (/ z 1) into z
5.004 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
5.004 * [taylor]: Taking taylor expansion of -1 in y
5.004 * [backup-simplify]: Simplify -1 into -1
5.004 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
5.004 * [taylor]: Taking taylor expansion of z in y
5.004 * [backup-simplify]: Simplify z into z
5.004 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.004 * [taylor]: Taking taylor expansion of y in y
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [backup-simplify]: Simplify (* 1 1) into 1
5.005 * [backup-simplify]: Simplify (/ z 1) into z
5.005 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
5.005 * [taylor]: Taking taylor expansion of (* -1 z) in z
5.005 * [taylor]: Taking taylor expansion of -1 in z
5.005 * [backup-simplify]: Simplify -1 into -1
5.005 * [taylor]: Taking taylor expansion of z in z
5.005 * [backup-simplify]: Simplify 0 into 0
5.005 * [backup-simplify]: Simplify 1 into 1
5.005 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
5.005 * [backup-simplify]: Simplify -1 into -1
5.006 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.006 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0
5.006 * [taylor]: Taking taylor expansion of 0 in z
5.006 * [backup-simplify]: Simplify 0 into 0
5.006 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
5.007 * [backup-simplify]: Simplify 0 into 0
5.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.009 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0
5.009 * [taylor]: Taking taylor expansion of 0 in z
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.009 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.010 * [backup-simplify]: Simplify 0 into 0
5.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.012 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0
5.012 * [taylor]: Taking taylor expansion of 0 in z
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify 0 into 0
5.012 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (pow (/ 1 (- y)) -2))) into (/ (pow y 2) z)
5.012 * * * [progress]: simplifying candidates
5.013 * [simplify]: Simplifying:
  (* y (/ y z))
  (+ (log y) (- (log y) (log z)))
  (+ (log y) (log (/ y z)))
  (log (* y (/ y z)))
  (exp (* y (/ y z)))
  (* (* (* y y) y) (/ (* (* y y) y) (* (* z z) z)))
  (* (* (* y y) y) (* (* (/ y z) (/ y z)) (/ y z)))
  (* (cbrt (* y (/ y z))) (cbrt (* y (/ y z))))
  (cbrt (* y (/ y z)))
  (* (* (* y (/ y z)) (* y (/ y z))) (* y (/ y z)))
  (sqrt (* y (/ y z)))
  (sqrt (* y (/ y z)))
  (* (sqrt y) (sqrt (/ y z)))
  (* (sqrt y) (sqrt (/ y z)))
  (* (sqrt y) (/ (sqrt y) (sqrt z)))
  (* (sqrt y) (/ (sqrt y) (sqrt z)))
  (* y (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* y (sqrt (/ y z)))
  (* y (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* y (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* y (/ (* (cbrt y) (cbrt y)) 1))
  (* y (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* y (/ (sqrt y) (sqrt z)))
  (* y (/ (sqrt y) 1))
  (* y (/ 1 (* (cbrt z) (cbrt z))))
  (* y (/ 1 (sqrt z)))
  (* y (/ 1 1))
  (* y 1)
  (* y y)
  (* (cbrt y) (/ y z))
  (* (sqrt y) (/ y z))
  (* y (/ y z))
  (* y y)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
5.013 * * [simplify]: Extracting # 0 : cost  0
5.013 * * [simplify]: Extracting # 1 : cost  0
5.013 * * [simplify]: Extracting # 2 : cost  0
5.014 * * [simplify]: Extracting # 3 : cost  0
5.014 * * [simplify]: Extracting # 4 : cost  0
5.014 * * [simplify]: Extracting # 5 : cost  0
5.014 * * [simplify]: iteration  0 :  64  enodes  (cost  277 )
5.033 * * [simplify]: Extracting # 0 : cost  0
5.033 * * [simplify]: Extracting # 1 : cost  0
5.033 * * [simplify]: Extracting # 2 : cost  0
5.034 * * [simplify]: iteration  1 :  153  enodes  (cost  260 )
5.121 * * [simplify]: Extracting # 0 : cost  0
5.122 * * [simplify]: Extracting # 1 : cost  0
5.122 * * [simplify]: Extracting # 2 : cost  0
5.123 * * [simplify]: Extracting # 3 : cost  0
5.124 * * [simplify]: Extracting # 4 : cost  0
5.125 * * [simplify]: iteration  2 :  403  enodes  (cost  222 )
5.391 * * [simplify]: Extracting # 0 : cost  0
5.393 * * [simplify]: Extracting # 1 : cost  0
5.394 * * [simplify]: Extracting # 2 : cost  0
5.395 * * [simplify]: Extracting # 3 : cost  0
5.397 * * [simplify]: Extracting # 4 : cost  0
5.398 * * [simplify]: iteration  3 :  887  enodes  (cost  222 )
6.082 * * [simplify]: Extracting # 0 : cost  0
6.086 * * [simplify]: Extracting # 1 : cost  0
6.095 * * [simplify]: Extracting # 2 : cost  0
6.097 * * [simplify]: Extracting # 3 : cost  0
6.099 * * [simplify]: Extracting # 4 : cost  0
6.102 * * [simplify]: iteration  4 :  1765  enodes  (cost  218 )
7.480 * * [simplify]: Extracting # 0 : cost  0
7.491 * * [simplify]: Extracting # 1 : cost  0
7.504 * * [simplify]: Extracting # 2 : cost  0
7.510 * * [simplify]: Extracting # 3 : cost  0
7.515 * * [simplify]: Extracting # 4 : cost  0
7.520 * * [simplify]: iteration done:  5001  enodes  (cost  218 )
7.521 * [simplify]: Simplified to:
  (/ (pow y 2) z)
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (exp (* y (/ y z)))
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (* (cbrt (* y (/ y z))) (cbrt (* y (/ y z))))
  (cbrt (* y (/ y z)))
  (pow (/ (pow y 2) z) 3)
  (sqrt (* y (/ y z)))
  (sqrt (* y (/ y z)))
  (* (sqrt y) (sqrt (/ y z)))
  (* (sqrt y) (sqrt (/ y z)))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (* y (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* y (sqrt (/ y z)))
  (* y (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* y (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) y)
  (/ (pow y 3/2) (* (cbrt z) (cbrt z)))
  (/ (pow y 3/2) (sqrt z))
  (pow y 3/2)
  (/ y (* (cbrt z) (cbrt z)))
  (/ y (sqrt z))
  y
  y
  (* y y)
  (* (cbrt y) (/ y z))
  (/ (pow y 3/2) z)
  (/ (pow y 2) z)
  (* y y)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
7.521 * * * [progress]: adding candidates to table
7.600 * * [progress]: iteration 3 / 4
7.600 * * * [progress]: picking best candidate
7.608 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))>
7.608 * * * [progress]: localizing error
7.616 * * * [progress]: generating rewritten candidates
7.616 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.640 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
7.675 * * * [progress]: generating series expansions
7.676 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.676 * [backup-simplify]: Simplify (/ 1 (/ (/ z y) y)) into (/ (pow y 2) z)
7.676 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (z y) around 0
7.676 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
7.676 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.676 * [taylor]: Taking taylor expansion of y in y
7.676 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify 1 into 1
7.676 * [taylor]: Taking taylor expansion of z in y
7.676 * [backup-simplify]: Simplify z into z
7.676 * [backup-simplify]: Simplify (* 1 1) into 1
7.676 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.677 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.677 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.677 * [taylor]: Taking taylor expansion of y in z
7.677 * [backup-simplify]: Simplify y into y
7.677 * [taylor]: Taking taylor expansion of z in z
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.677 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.677 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.677 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.677 * [taylor]: Taking taylor expansion of y in z
7.677 * [backup-simplify]: Simplify y into y
7.677 * [taylor]: Taking taylor expansion of z in z
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.677 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.677 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.677 * [taylor]: Taking taylor expansion of y in y
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 1 into 1
7.677 * [backup-simplify]: Simplify (* 1 1) into 1
7.677 * [backup-simplify]: Simplify 1 into 1
7.678 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
7.678 * [taylor]: Taking taylor expansion of 0 in y
7.678 * [backup-simplify]: Simplify 0 into 0
7.678 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.679 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.680 * [taylor]: Taking taylor expansion of 0 in y
7.680 * [backup-simplify]: Simplify 0 into 0
7.680 * [backup-simplify]: Simplify 0 into 0
7.680 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.682 * [taylor]: Taking taylor expansion of 0 in y
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify 0 into 0
7.682 * [backup-simplify]: Simplify (* 1 (* (pow y 2) (/ 1 z))) into (/ (pow y 2) z)
7.683 * [backup-simplify]: Simplify (/ 1 (/ (/ (/ 1 z) (/ 1 y)) (/ 1 y))) into (/ z (pow y 2))
7.683 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (z y) around 0
7.683 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
7.683 * [taylor]: Taking taylor expansion of z in y
7.683 * [backup-simplify]: Simplify z into z
7.683 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.683 * [taylor]: Taking taylor expansion of y in y
7.683 * [backup-simplify]: Simplify 0 into 0
7.683 * [backup-simplify]: Simplify 1 into 1
7.683 * [backup-simplify]: Simplify (* 1 1) into 1
7.683 * [backup-simplify]: Simplify (/ z 1) into z
7.683 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.683 * [taylor]: Taking taylor expansion of z in z
7.683 * [backup-simplify]: Simplify 0 into 0
7.683 * [backup-simplify]: Simplify 1 into 1
7.683 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.683 * [taylor]: Taking taylor expansion of y in z
7.683 * [backup-simplify]: Simplify y into y
7.683 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.683 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.683 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.683 * [taylor]: Taking taylor expansion of z in z
7.683 * [backup-simplify]: Simplify 0 into 0
7.683 * [backup-simplify]: Simplify 1 into 1
7.683 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.683 * [taylor]: Taking taylor expansion of y in z
7.683 * [backup-simplify]: Simplify y into y
7.683 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.683 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.684 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.684 * [taylor]: Taking taylor expansion of y in y
7.684 * [backup-simplify]: Simplify 0 into 0
7.684 * [backup-simplify]: Simplify 1 into 1
7.684 * [backup-simplify]: Simplify (* 1 1) into 1
7.684 * [backup-simplify]: Simplify (/ 1 1) into 1
7.684 * [backup-simplify]: Simplify 1 into 1
7.684 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.684 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.684 * [taylor]: Taking taylor expansion of 0 in y
7.684 * [backup-simplify]: Simplify 0 into 0
7.685 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.685 * [backup-simplify]: Simplify 0 into 0
7.686 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.686 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.686 * [taylor]: Taking taylor expansion of 0 in y
7.686 * [backup-simplify]: Simplify 0 into 0
7.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.687 * [backup-simplify]: Simplify 0 into 0
7.688 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.688 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.688 * [taylor]: Taking taylor expansion of 0 in y
7.688 * [backup-simplify]: Simplify 0 into 0
7.688 * [backup-simplify]: Simplify 0 into 0
7.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.689 * [backup-simplify]: Simplify 0 into 0
7.690 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.690 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.690 * [taylor]: Taking taylor expansion of 0 in y
7.690 * [backup-simplify]: Simplify 0 into 0
7.690 * [backup-simplify]: Simplify 0 into 0
7.690 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 z))) into (/ (pow y 2) z)
7.691 * [backup-simplify]: Simplify (/ 1 (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- y)))) into (* -1 (/ z (pow y 2)))
7.691 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (z y) around 0
7.691 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
7.691 * [taylor]: Taking taylor expansion of -1 in y
7.691 * [backup-simplify]: Simplify -1 into -1
7.691 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
7.691 * [taylor]: Taking taylor expansion of z in y
7.691 * [backup-simplify]: Simplify z into z
7.691 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.691 * [taylor]: Taking taylor expansion of y in y
7.691 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [backup-simplify]: Simplify (* 1 1) into 1
7.691 * [backup-simplify]: Simplify (/ z 1) into z
7.691 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
7.691 * [taylor]: Taking taylor expansion of -1 in z
7.691 * [backup-simplify]: Simplify -1 into -1
7.691 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.691 * [taylor]: Taking taylor expansion of z in z
7.691 * [backup-simplify]: Simplify 0 into 0
7.691 * [backup-simplify]: Simplify 1 into 1
7.691 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.691 * [taylor]: Taking taylor expansion of y in z
7.691 * [backup-simplify]: Simplify y into y
7.691 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.691 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.692 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
7.692 * [taylor]: Taking taylor expansion of -1 in z
7.692 * [backup-simplify]: Simplify -1 into -1
7.692 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.692 * [taylor]: Taking taylor expansion of z in z
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.692 * [taylor]: Taking taylor expansion of y in z
7.692 * [backup-simplify]: Simplify y into y
7.692 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.692 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.692 * [backup-simplify]: Simplify (* -1 (/ 1 (pow y 2))) into (/ -1 (pow y 2))
7.692 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
7.692 * [taylor]: Taking taylor expansion of -1 in y
7.692 * [backup-simplify]: Simplify -1 into -1
7.692 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.692 * [taylor]: Taking taylor expansion of y in y
7.692 * [backup-simplify]: Simplify 0 into 0
7.692 * [backup-simplify]: Simplify 1 into 1
7.692 * [backup-simplify]: Simplify (* 1 1) into 1
7.693 * [backup-simplify]: Simplify (/ -1 1) into -1
7.693 * [backup-simplify]: Simplify -1 into -1
7.693 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.693 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.694 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (pow y 2)))) into 0
7.694 * [taylor]: Taking taylor expansion of 0 in y
7.694 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.695 * [backup-simplify]: Simplify 0 into 0
7.695 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.695 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.696 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0
7.696 * [taylor]: Taking taylor expansion of 0 in y
7.696 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.698 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.699 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2)))))) into 0
7.699 * [taylor]: Taking taylor expansion of 0 in y
7.699 * [backup-simplify]: Simplify 0 into 0
7.699 * [backup-simplify]: Simplify 0 into 0
7.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.700 * [backup-simplify]: Simplify 0 into 0
7.700 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.701 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.709 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))))) into 0
7.709 * [taylor]: Taking taylor expansion of 0 in y
7.709 * [backup-simplify]: Simplify 0 into 0
7.709 * [backup-simplify]: Simplify 0 into 0
7.709 * [backup-simplify]: Simplify 0 into 0
7.709 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (- z)))) into (/ (pow y 2) z)
7.710 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
7.710 * [backup-simplify]: Simplify (/ (/ z y) y) into (/ z (pow y 2))
7.710 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (z y) around 0
7.710 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
7.710 * [taylor]: Taking taylor expansion of z in y
7.710 * [backup-simplify]: Simplify z into z
7.710 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.710 * [taylor]: Taking taylor expansion of y in y
7.710 * [backup-simplify]: Simplify 0 into 0
7.710 * [backup-simplify]: Simplify 1 into 1
7.710 * [backup-simplify]: Simplify (* 1 1) into 1
7.710 * [backup-simplify]: Simplify (/ z 1) into z
7.710 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.710 * [taylor]: Taking taylor expansion of z in z
7.710 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify 1 into 1
7.711 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.711 * [taylor]: Taking taylor expansion of y in z
7.711 * [backup-simplify]: Simplify y into y
7.711 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.711 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.711 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
7.711 * [taylor]: Taking taylor expansion of z in z
7.711 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify 1 into 1
7.711 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.711 * [taylor]: Taking taylor expansion of y in z
7.711 * [backup-simplify]: Simplify y into y
7.711 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.711 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.711 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.711 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.711 * [taylor]: Taking taylor expansion of y in y
7.711 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify 1 into 1
7.711 * [backup-simplify]: Simplify (* 1 1) into 1
7.712 * [backup-simplify]: Simplify (/ 1 1) into 1
7.712 * [backup-simplify]: Simplify 1 into 1
7.712 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.712 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.712 * [taylor]: Taking taylor expansion of 0 in y
7.712 * [backup-simplify]: Simplify 0 into 0
7.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.713 * [backup-simplify]: Simplify 0 into 0
7.713 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.714 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.714 * [taylor]: Taking taylor expansion of 0 in y
7.714 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.716 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.716 * [taylor]: Taking taylor expansion of 0 in y
7.716 * [backup-simplify]: Simplify 0 into 0
7.716 * [backup-simplify]: Simplify 0 into 0
7.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
7.718 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
7.718 * [taylor]: Taking taylor expansion of 0 in y
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify (* 1 (* (pow y -2) z)) into (/ z (pow y 2))
7.718 * [backup-simplify]: Simplify (/ (/ (/ 1 z) (/ 1 y)) (/ 1 y)) into (/ (pow y 2) z)
7.718 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (z y) around 0
7.718 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
7.718 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.718 * [taylor]: Taking taylor expansion of y in y
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.718 * [taylor]: Taking taylor expansion of z in y
7.718 * [backup-simplify]: Simplify z into z
7.719 * [backup-simplify]: Simplify (* 1 1) into 1
7.719 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.719 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.719 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.719 * [taylor]: Taking taylor expansion of y in z
7.719 * [backup-simplify]: Simplify y into y
7.719 * [taylor]: Taking taylor expansion of z in z
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.719 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.719 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.719 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.719 * [taylor]: Taking taylor expansion of y in z
7.719 * [backup-simplify]: Simplify y into y
7.719 * [taylor]: Taking taylor expansion of z in z
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.719 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.719 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.719 * [taylor]: Taking taylor expansion of y in y
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify 1 into 1
7.720 * [backup-simplify]: Simplify (* 1 1) into 1
7.720 * [backup-simplify]: Simplify 1 into 1
7.720 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
7.720 * [taylor]: Taking taylor expansion of 0 in y
7.720 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.722 * [taylor]: Taking taylor expansion of 0 in y
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.724 * [taylor]: Taking taylor expansion of 0 in y
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) 2) (/ 1 (/ 1 z)))) into (/ z (pow y 2))
7.725 * [backup-simplify]: Simplify (/ (/ (/ 1 (- z)) (/ 1 (- y))) (/ 1 (- y))) into (* -1 (/ (pow y 2) z))
7.725 * [approximate]: Taking taylor expansion of (* -1 (/ (pow y 2) z)) in (z y) around 0
7.725 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) z)) in y
7.725 * [taylor]: Taking taylor expansion of -1 in y
7.725 * [backup-simplify]: Simplify -1 into -1
7.725 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
7.725 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.725 * [taylor]: Taking taylor expansion of y in y
7.725 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify 1 into 1
7.725 * [taylor]: Taking taylor expansion of z in y
7.725 * [backup-simplify]: Simplify z into z
7.725 * [backup-simplify]: Simplify (* 1 1) into 1
7.725 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.725 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) z)) in z
7.725 * [taylor]: Taking taylor expansion of -1 in z
7.725 * [backup-simplify]: Simplify -1 into -1
7.725 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.725 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.725 * [taylor]: Taking taylor expansion of y in z
7.725 * [backup-simplify]: Simplify y into y
7.725 * [taylor]: Taking taylor expansion of z in z
7.725 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify 1 into 1
7.725 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.725 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.725 * [taylor]: Taking taylor expansion of (* -1 (/ (pow y 2) z)) in z
7.725 * [taylor]: Taking taylor expansion of -1 in z
7.725 * [backup-simplify]: Simplify -1 into -1
7.725 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
7.725 * [taylor]: Taking taylor expansion of (pow y 2) in z
7.725 * [taylor]: Taking taylor expansion of y in z
7.725 * [backup-simplify]: Simplify y into y
7.725 * [taylor]: Taking taylor expansion of z in z
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 1 into 1
7.726 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.726 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
7.726 * [backup-simplify]: Simplify (* -1 (pow y 2)) into (* -1 (pow y 2))
7.726 * [taylor]: Taking taylor expansion of (* -1 (pow y 2)) in y
7.726 * [taylor]: Taking taylor expansion of -1 in y
7.726 * [backup-simplify]: Simplify -1 into -1
7.726 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.726 * [taylor]: Taking taylor expansion of y in y
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 1 into 1
7.726 * [backup-simplify]: Simplify (* 1 1) into 1
7.726 * [backup-simplify]: Simplify (* -1 1) into -1
7.726 * [backup-simplify]: Simplify -1 into -1
7.726 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
7.727 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow y 2))) into 0
7.728 * [taylor]: Taking taylor expansion of 0 in y
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.728 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
7.728 * [backup-simplify]: Simplify 0 into 0
7.729 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.730 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
7.730 * [taylor]: Taking taylor expansion of 0 in y
7.730 * [backup-simplify]: Simplify 0 into 0
7.730 * [backup-simplify]: Simplify 0 into 0
7.730 * [backup-simplify]: Simplify 0 into 0
7.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.731 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.734 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
7.734 * [taylor]: Taking taylor expansion of 0 in y
7.734 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) 2) (/ 1 (/ 1 (- z))))) into (/ z (pow y 2))
7.735 * * * [progress]: simplifying candidates
7.739 * [simplify]: Simplifying:
  (- 1)
  (- (- (- (log z) (log y)) (log y)))
  (- (- (log (/ z y)) (log y)))
  (- (log (/ (/ z y) y)))
  (- 0 (- (- (log z) (log y)) (log y)))
  (- 0 (- (log (/ z y)) (log y)))
  (- 0 (log (/ (/ z y) y)))
  (- (log 1) (- (- (log z) (log y)) (log y)))
  (- (log 1) (- (log (/ z y)) (log y)))
  (- (log 1) (log (/ (/ z y) y)))
  (log (/ 1 (/ (/ z y) y)))
  (exp (/ 1 (/ (/ z y) y)))
  (/ (* (* 1 1) 1) (/ (/ (* (* z z) z) (* (* y y) y)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (/ (* (* (/ z y) (/ z y)) (/ z y)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (* (* (/ (/ z y) y) (/ (/ z y) y)) (/ (/ z y) y)))
  (* (cbrt (/ 1 (/ (/ z y) y))) (cbrt (/ 1 (/ (/ z y) y))))
  (cbrt (/ 1 (/ (/ z y) y)))
  (* (* (/ 1 (/ (/ z y) y)) (/ 1 (/ (/ z y) y))) (/ 1 (/ (/ z y) y)))
  (sqrt (/ 1 (/ (/ z y) y)))
  (sqrt (/ 1 (/ (/ z y) y)))
  (- 1)
  (- (/ (/ z y) y))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ (cbrt 1) (cbrt (/ (/ z y) y)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (/ z y) y)))
  (/ (cbrt 1) (sqrt (/ (/ z y) y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (cbrt (/ z y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y)))
  (/ (cbrt 1) (/ (cbrt (/ z y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (cbrt 1) (/ (cbrt (/ z y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (sqrt (/ z y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) (sqrt y)))
  (/ (cbrt 1) (/ (sqrt (/ z y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z y)) 1))
  (/ (cbrt 1) (/ (sqrt (/ z y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) y) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) y) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) y) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) y) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) y) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) y) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z (cbrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (cbrt 1) (/ (/ z (cbrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ z (cbrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z (sqrt y)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (sqrt y)))
  (/ (cbrt 1) (/ (/ z (sqrt y)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ z (sqrt y)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z y) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ z y) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1))
  (/ (cbrt 1) (/ (/ z y) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z y) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt y)))
  (/ (cbrt 1) (/ (/ z y) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (/ z y) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ 1 y) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (sqrt y)))
  (/ (cbrt 1) (/ (/ 1 y) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z 1))
  (/ (cbrt 1) (/ (/ 1 y) y))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (/ z y) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ z y))
  (/ (cbrt 1) (/ 1 y))
  (/ (sqrt 1) (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ (sqrt 1) (cbrt (/ (/ z y) y)))
  (/ (sqrt 1) (sqrt (/ (/ z y) y)))
  (/ (sqrt 1) (sqrt (/ (/ z y) y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (cbrt (/ z y)) (cbrt y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y)))
  (/ (sqrt 1) (/ (cbrt (/ z y)) (sqrt y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ (sqrt 1) (/ (cbrt (/ z y)) y))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (cbrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (sqrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) (sqrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z y)) 1))
  (/ (sqrt 1) (/ (sqrt (/ z y)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt y)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt y)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) y) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) y) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) y) y))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt y)) y))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt y)) y))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) y) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) y) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) y) y))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z (cbrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ (sqrt 1) (/ (/ z (cbrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ z (cbrt y)) y))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z (sqrt y)) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ z (sqrt y)) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ z (sqrt y)) y))
  (/ (sqrt 1) (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z y) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ z y) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 1) 1))
  (/ (sqrt 1) (/ (/ z y) y))
  (/ (sqrt 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z y) (cbrt y)))
  (/ (sqrt 1) (/ 1 (sqrt y)))
  (/ (sqrt 1) (/ (/ z y) (sqrt y)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (/ z y) y))
  (/ (sqrt 1) (/ z (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ 1 y) (cbrt y)))
  (/ (sqrt 1) (/ z (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 y) (sqrt y)))
  (/ (sqrt 1) (/ z 1))
  (/ (sqrt 1) (/ (/ 1 y) y))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (/ z y) y))
  (/ (sqrt 1) (/ z y))
  (/ (sqrt 1) (/ 1 y))
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (cbrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (cbrt (/ z y)) (cbrt y)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y)))
  (/ 1 (/ (cbrt (/ z y)) (sqrt y)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ 1 (/ (cbrt (/ z y)) y))
  (/ 1 (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt (/ z y)) (cbrt y)))
  (/ 1 (/ (sqrt (/ z y)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z y)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z y)) 1))
  (/ 1 (/ (sqrt (/ z y)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (cbrt z) (cbrt y)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ 1 (/ (/ (cbrt z) (sqrt y)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) y) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) y) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ 1 (/ (/ (cbrt z) y) y))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt z) (cbrt y)) y))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) y))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) y) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) y) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ (sqrt z) y) y))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z (cbrt y)) (cbrt y)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ z (cbrt y)) (sqrt y)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ z (cbrt y)) y))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z (sqrt y)) (cbrt y)))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ z (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ z (sqrt y)) y))
  (/ 1 (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z y) (cbrt y)))
  (/ 1 (/ (/ 1 1) (sqrt y)))
  (/ 1 (/ (/ z y) (sqrt y)))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ z y) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z y) (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ 1 (/ (/ z y) (sqrt y)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (/ z y) y))
  (/ 1 (/ z (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 y) (cbrt y)))
  (/ 1 (/ z (sqrt y)))
  (/ 1 (/ (/ 1 y) (sqrt y)))
  (/ 1 (/ z 1))
  (/ 1 (/ (/ 1 y) y))
  (/ 1 1)
  (/ 1 (/ (/ z y) y))
  (/ 1 (/ z y))
  (/ 1 (/ 1 y))
  (/ 1 (/ (/ z y) y))
  (/ (/ (/ z y) y) 1)
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y)))
  (/ 1 (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1))
  (/ 1 (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt (/ z y)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z y)) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt y)))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 1) (sqrt y)))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ 1 (/ 1 (sqrt y)))
  (/ 1 (/ 1 1))
  (/ 1 (/ z (* (cbrt y) (cbrt y))))
  (/ 1 (/ z (sqrt y)))
  (/ 1 (/ z 1))
  (/ 1 1)
  (/ 1 (/ z y))
  (/ (/ (/ z y) y) (cbrt 1))
  (/ (/ (/ z y) y) (sqrt 1))
  (/ (/ (/ z y) y) 1)
  (/ 1 (/ z y))
  (- (- (log z) (log y)) (log y))
  (- (log (/ z y)) (log y))
  (log (/ (/ z y) y))
  (exp (/ (/ z y) y))
  (/ (/ (* (* z z) z) (* (* y y) y)) (* (* y y) y))
  (/ (* (* (/ z y) (/ z y)) (/ z y)) (* (* y y) y))
  (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y)))
  (cbrt (/ (/ z y) y))
  (* (* (/ (/ z y) y) (/ (/ z y) y)) (/ (/ z y) y))
  (sqrt (/ (/ z y) y))
  (sqrt (/ (/ z y) y))
  (- (/ z y))
  (- y)
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ z y)) (cbrt y))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y))
  (/ (cbrt (/ z y)) (sqrt y))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) 1)
  (/ (cbrt (/ z y)) y)
  (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ z y)) (cbrt y))
  (/ (sqrt (/ z y)) (sqrt y))
  (/ (sqrt (/ z y)) (sqrt y))
  (/ (sqrt (/ z y)) 1)
  (/ (sqrt (/ z y)) y)
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) (sqrt y))
  (/ (/ (cbrt z) (cbrt y)) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt z) (cbrt y)) y)
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt y))
  (/ (/ (cbrt z) (sqrt y)) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) 1)
  (/ (/ (cbrt z) (sqrt y)) y)
  (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) y) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))
  (/ (/ (cbrt z) y) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) 1) 1)
  (/ (/ (cbrt z) y) y)
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) (sqrt y))
  (/ (/ (sqrt z) (cbrt y)) (sqrt y))
  (/ (/ (sqrt z) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt z) (cbrt y)) y)
  (/ (/ (sqrt z) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) (sqrt y)) (cbrt y))
  (/ (/ (sqrt z) (sqrt y)) (sqrt y))
  (/ (/ (sqrt z) (sqrt y)) (sqrt y))
  (/ (/ (sqrt z) (sqrt y)) 1)
  (/ (/ (sqrt z) (sqrt y)) y)
  (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) y) (cbrt y))
  (/ (/ (sqrt z) 1) (sqrt y))
  (/ (/ (sqrt z) y) (sqrt y))
  (/ (/ (sqrt z) 1) 1)
  (/ (/ (sqrt z) y) y)
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (/ (/ z (cbrt y)) (cbrt y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y))
  (/ (/ z (cbrt y)) (sqrt y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ z (cbrt y)) y)
  (/ (/ 1 (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ z (sqrt y)) (cbrt y))
  (/ (/ 1 (sqrt y)) (sqrt y))
  (/ (/ z (sqrt y)) (sqrt y))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ z (sqrt y)) y)
  (/ (/ 1 1) (* (cbrt y) (cbrt y)))
  (/ (/ z y) (cbrt y))
  (/ (/ 1 1) (sqrt y))
  (/ (/ z y) (sqrt y))
  (/ (/ 1 1) 1)
  (/ (/ z y) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z y) (sqrt y))
  (/ 1 1)
  (/ (/ z y) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ (/ 1 y) (cbrt y))
  (/ z (sqrt y))
  (/ (/ 1 y) (sqrt y))
  (/ z 1)
  (/ (/ 1 y) y)
  (/ 1 y)
  (/ y (/ z y))
  (/ (/ z y) (* (cbrt y) (cbrt y)))
  (/ (/ z y) (sqrt y))
  (/ (/ z y) 1)
  (/ y (cbrt (/ z y)))
  (/ y (sqrt (/ z y)))
  (/ y (/ (cbrt z) (cbrt y)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ y (/ (cbrt z) y))
  (/ y (/ (sqrt z) (cbrt y)))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ y (/ (sqrt z) y))
  (/ y (/ z (cbrt y)))
  (/ y (/ z (sqrt y)))
  (/ y (/ z y))
  (/ y (/ z y))
  (/ y (/ 1 y))
  (* y y)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ z (pow y 2))
  (/ z (pow y 2))
  (/ z (pow y 2))
7.749 * * [simplify]: Extracting # 0 : cost  0
7.751 * * [simplify]: Extracting # 1 : cost  0
7.752 * * [simplify]: Extracting # 2 : cost  0
7.752 * * [simplify]: Extracting # 3 : cost  0
7.753 * * [simplify]: Extracting # 4 : cost  0
7.754 * * [simplify]: Extracting # 5 : cost  0
7.755 * * [simplify]: Extracting # 6 : cost  0
7.755 * * [simplify]: Extracting # 7 : cost  0
7.756 * * [simplify]: iteration  0 :  411  enodes  (cost  4439 )
8.072 * * [simplify]: Extracting # 0 : cost  0
8.075 * * [simplify]: Extracting # 1 : cost  0
8.077 * * [simplify]: Extracting # 2 : cost  0
8.078 * * [simplify]: iteration  1 :  888  enodes  (cost  3638 )
8.339 * * [simplify]: Extracting # 0 : cost  0
8.341 * * [simplify]: Extracting # 1 : cost  0
8.342 * * [simplify]: Extracting # 2 : cost  0
8.344 * * [simplify]: Extracting # 3 : cost  0
8.345 * * [simplify]: Extracting # 4 : cost  0
8.346 * * [simplify]: Extracting # 5 : cost  0
8.347 * * [simplify]: iteration  2 :  1640  enodes  (cost  3054 )
9.620 * * [simplify]: Extracting # 0 : cost  0
9.624 * * [simplify]: Extracting # 1 : cost  0
9.627 * * [simplify]: Extracting # 2 : cost  0
9.630 * * [simplify]: Extracting # 3 : cost  0
9.642 * * [simplify]: Extracting # 4 : cost  0
9.648 * * [simplify]: Extracting # 5 : cost  0
9.653 * * [simplify]: iteration  3 :  4155  enodes  (cost  2954 )
10.856 * * [simplify]: Extracting # 0 : cost  0
10.861 * * [simplify]: Extracting # 1 : cost  0
10.864 * * [simplify]: Extracting # 2 : cost  0
10.868 * * [simplify]: iteration done:  5001  enodes  (cost  2909 )
10.870 * [simplify]: Simplified to:
  -1
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (log (/ y (/ z y)))
  (exp (/ (pow y 2) z))
  (pow (/ y (/ z y)) 3)
  (pow (/ y (/ z y)) 3)
  (pow (/ y (/ z y)) 3)
  (* (cbrt (/ (pow y 2) z)) (cbrt (/ (pow y 2) z)))
  (cbrt (/ (pow y 2) z))
  (pow (/ y (/ z y)) 3)
  (sqrt (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  -1
  (- (/ (/ z y) y))
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (cbrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt y) (cbrt (/ z y)))
  (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt y) (cbrt (/ z y)))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y)))
  (/ (cbrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ y (sqrt (/ z y)))
  (/ (* y (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (cbrt y) (/ (cbrt y) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (/ y (cbrt z)) (cbrt z))
  (/ y (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) y))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) y))
  (* (cbrt y) y)
  (/ (* (cbrt y) (cbrt y)) z)
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  y
  (/ y z)
  (sqrt y)
  (/ y (/ z (sqrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) y)
  (/ (sqrt y) z)
  (pow (sqrt y) 3)
  (/ 1 z)
  (* y y)
  1
  (/ y (/ z y))
  (/ y z)
  y
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (cbrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt y) (cbrt (/ z y)))
  (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt y) (cbrt (/ z y)))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y)))
  (/ (cbrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ y (sqrt (/ z y)))
  (/ (* y (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (cbrt y) (/ (cbrt y) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (/ y (cbrt z)) (cbrt z))
  (/ y (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) y))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) y))
  (* (cbrt y) y)
  (/ (* (cbrt y) (cbrt y)) z)
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  y
  (/ y z)
  (sqrt y)
  (/ y (/ z (sqrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) y)
  (/ (sqrt y) z)
  (pow (sqrt y) 3)
  (/ 1 z)
  (* y y)
  1
  (/ y (/ z y))
  (/ y z)
  y
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (cbrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt y) (cbrt (/ z y)))
  (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt y) (cbrt (/ z y)))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y)))
  (/ (cbrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ y (sqrt (/ z y)))
  (/ (* y (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (cbrt y) (/ (cbrt y) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (sqrt y) (/ (cbrt z) (cbrt y)))
  (/ (/ y (cbrt z)) (cbrt z))
  (/ y (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) y))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (* (cbrt y) (/ (sqrt y) (sqrt z)))
  (/ y (sqrt z))
  (/ y (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ (sqrt y) (sqrt z))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) y))
  (* (cbrt y) y)
  (/ (* (cbrt y) (cbrt y)) z)
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (/ (sqrt y) (/ z (cbrt y)))
  y
  (/ y z)
  (sqrt y)
  (/ y (/ z (sqrt y)))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (* (cbrt y) (cbrt y))
  (* (/ y z) (cbrt y))
  (sqrt y)
  (/ y (/ z (sqrt y)))
  1
  (/ y (/ z y))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) y)
  (/ (sqrt y) z)
  (pow (sqrt y) 3)
  (/ 1 z)
  (* y y)
  1
  (/ y (/ z y))
  (/ y z)
  y
  (/ y (/ z y))
  (/ z (* y y))
  (/ 1 (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y))))
  (/ 1 (sqrt (/ (/ z y) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y)))
  (/ (sqrt y) (sqrt (/ z y)))
  (/ 1 (sqrt (/ z y)))
  (/ (* y (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (/ (/ y (cbrt z)) (cbrt z))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (cbrt y) (/ (sqrt z) y))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (* (* (cbrt y) (cbrt y)) (/ (sqrt y) (sqrt z)))
  (/ y (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ 1 (sqrt z))
  (* (cbrt y) y)
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt y) (cbrt y)) (sqrt y))
  y
  (sqrt y)
  (* (cbrt y) (cbrt y))
  (sqrt y)
  1
  (* (cbrt y) (cbrt y))
  (sqrt y)
  1
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (sqrt y) z)
  (/ 1 z)
  1
  (/ y z)
  (/ z (* y y))
  (/ z (* y y))
  (/ z (* y y))
  (/ y z)
  (log (/ (/ z y) y))
  (log (/ (/ z y) y))
  (log (/ (/ z y) y))
  (exp (/ (/ z y) y))
  (pow (/ z (* y y)) 3)
  (pow (/ z (* y y)) 3)
  (* (cbrt (/ (/ z y) y)) (cbrt (/ (/ z y) y)))
  (cbrt (/ (/ z y) y))
  (pow (/ z (* y y)) 3)
  (sqrt (/ (/ z y) y))
  (sqrt (/ (/ z y) y))
  (- (/ z y))
  (- y)
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ z y)) (cbrt y))
  (/ (* (cbrt (/ z y)) (cbrt (/ z y))) (sqrt y))
  (/ (cbrt (/ z y)) (sqrt y))
  (* (cbrt (/ z y)) (cbrt (/ z y)))
  (/ (cbrt (/ z y)) y)
  (/ (sqrt (/ z y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ z y)) (cbrt y))
  (/ (sqrt (/ z y)) (sqrt y))
  (/ (sqrt (/ z y)) (sqrt y))
  (sqrt (/ z y))
  (/ (sqrt (/ z y)) y)
  (* (/ (cbrt z) y) (/ (cbrt z) (cbrt y)))
  (/ (/ (cbrt z) (cbrt y)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt y))
  (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y)))
  (/ (/ (cbrt z) y) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (sqrt y)) (cbrt y))
  (* (cbrt z) (/ (cbrt z) y))
  (/ (cbrt z) y)
  (/ (* (cbrt z) (cbrt z)) (sqrt y))
  (/ (/ (cbrt z) y) (sqrt y))
  (* (/ (cbrt z) (cbrt y)) (/ (cbrt z) (cbrt y)))
  (/ (/ (cbrt z) y) (cbrt y))
  (/ (* (cbrt z) (cbrt z)) (sqrt y))
  (/ (/ (cbrt z) y) (sqrt y))
  (* (cbrt z) (cbrt z))
  (/ (/ (cbrt z) y) y)
  (/ (sqrt z) (* (cbrt y) y))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (sqrt z) (* (sqrt y) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt y))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (sqrt z) (* (cbrt y) y))
  (/ (sqrt z) (* (sqrt y) (* (cbrt y) (cbrt y))))
  (/ (/ (sqrt z) (sqrt y)) (cbrt y))
  (/ (sqrt z) y)
  (/ (sqrt z) y)
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) y) (sqrt y))
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (sqrt z) (* (cbrt y) y))
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) y) (sqrt y))
  (sqrt z)
  (/ (/ (sqrt z) y) y)
  (/ (/ 1 y) (cbrt y))
  (/ z (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y))
  (/ (/ z (sqrt y)) (cbrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z y) (cbrt y))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt y))
  (/ (/ z (sqrt y)) (cbrt y))
  (/ 1 y)
  (/ z y)
  (/ 1 (sqrt y))
  (/ (/ z y) (sqrt y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z y) (sqrt y))
  1
  (/ z (* y y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z y) (sqrt y))
  1
  (/ z (* y y))
  (/ z (* (cbrt y) (cbrt y)))
  (/ (/ 1 y) (cbrt y))
  (/ z (sqrt y))
  (pow (/ 1 (sqrt y)) 3)
  z
  (/ (/ 1 y) y)
  (/ 1 y)
  (/ y (/ z y))
  (/ (/ z y) (* (cbrt y) (cbrt y)))
  (/ (/ z y) (sqrt y))
  (/ z y)
  (/ y (cbrt (/ z y)))
  (/ y (sqrt (/ z y)))
  (/ (* y (cbrt y)) (cbrt z))
  (/ y (/ (cbrt z) (sqrt y)))
  (/ y (/ (cbrt z) y))
  (/ (cbrt y) (/ (sqrt z) y))
  (/ y (/ (sqrt z) (sqrt y)))
  (/ y (/ (sqrt z) y))
  (* (/ y z) (cbrt y))
  (/ y (/ z (sqrt y)))
  (/ y (/ z y))
  (/ y (/ z y))
  (* y y)
  (* y y)
  (/ y (/ z y))
  (/ y (/ z y))
  (/ y (/ z y))
  (/ z (* y y))
  (/ z (* y y))
  (/ z (* y y))
10.872 * * * [progress]: adding candidates to table
11.344 * * [progress]: iteration 4 / 4
11.344 * * * [progress]: picking best candidate
11.351 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>
11.351 * * * [progress]: localizing error
11.373 * * * [progress]: generating rewritten candidates
11.373 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
11.376 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
11.378 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
11.380 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
11.492 * * * [progress]: generating series expansions
11.492 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
11.493 * [backup-simplify]: Simplify (cbrt (/ z y)) into (pow (/ z y) 1/3)
11.493 * [approximate]: Taking taylor expansion of (pow (/ z y) 1/3) in (z y) around 0
11.493 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y
11.493 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y
11.493 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y
11.493 * [taylor]: Taking taylor expansion of 1/3 in y
11.493 * [backup-simplify]: Simplify 1/3 into 1/3
11.493 * [taylor]: Taking taylor expansion of (log (/ z y)) in y
11.493 * [taylor]: Taking taylor expansion of (/ z y) in y
11.493 * [taylor]: Taking taylor expansion of z in y
11.493 * [backup-simplify]: Simplify z into z
11.493 * [taylor]: Taking taylor expansion of y in y
11.493 * [backup-simplify]: Simplify 0 into 0
11.493 * [backup-simplify]: Simplify 1 into 1
11.493 * [backup-simplify]: Simplify (/ z 1) into z
11.493 * [backup-simplify]: Simplify (log z) into (log z)
11.494 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log z)) into (- (log z) (log y))
11.494 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.494 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.494 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.494 * [taylor]: Taking taylor expansion of 1/3 in z
11.494 * [backup-simplify]: Simplify 1/3 into 1/3
11.494 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.494 * [taylor]: Taking taylor expansion of (/ z y) in z
11.494 * [taylor]: Taking taylor expansion of z in z
11.494 * [backup-simplify]: Simplify 0 into 0
11.494 * [backup-simplify]: Simplify 1 into 1
11.494 * [taylor]: Taking taylor expansion of y in z
11.495 * [backup-simplify]: Simplify y into y
11.495 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.495 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.495 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.495 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.496 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.496 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.496 * [taylor]: Taking taylor expansion of 1/3 in z
11.496 * [backup-simplify]: Simplify 1/3 into 1/3
11.496 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.496 * [taylor]: Taking taylor expansion of (/ z y) in z
11.496 * [taylor]: Taking taylor expansion of z in z
11.496 * [backup-simplify]: Simplify 0 into 0
11.496 * [backup-simplify]: Simplify 1 into 1
11.496 * [taylor]: Taking taylor expansion of y in z
11.496 * [backup-simplify]: Simplify y into y
11.496 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.496 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.497 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.497 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.497 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 y))))) in y
11.497 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 y)))) in y
11.497 * [taylor]: Taking taylor expansion of 1/3 in y
11.497 * [backup-simplify]: Simplify 1/3 into 1/3
11.497 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 y))) in y
11.497 * [taylor]: Taking taylor expansion of (log z) in y
11.497 * [taylor]: Taking taylor expansion of z in y
11.497 * [backup-simplify]: Simplify z into z
11.497 * [backup-simplify]: Simplify (log z) into (log z)
11.497 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.497 * [taylor]: Taking taylor expansion of y in y
11.497 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify 1 into 1
11.498 * [backup-simplify]: Simplify (/ 1 1) into 1
11.498 * [backup-simplify]: Simplify (log 1) into 0
11.499 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
11.499 * [backup-simplify]: Simplify (+ (log z) (- (log y))) into (- (log z) (log y))
11.499 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.499 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.499 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.500 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
11.500 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 y) 1)))) 1) into 0
11.501 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.502 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log z) (log (/ 1 y))))) into 0
11.503 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 1) 1)))) into 0
11.503 * [taylor]: Taking taylor expansion of 0 in y
11.503 * [backup-simplify]: Simplify 0 into 0
11.503 * [backup-simplify]: Simplify 0 into 0
11.504 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.506 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.507 * [backup-simplify]: Simplify (+ 0 0) into 0
11.507 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log z) (log y)))) into 0
11.508 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.508 * [backup-simplify]: Simplify 0 into 0
11.509 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.511 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 y) 1)))) 2) into 0
11.511 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.512 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y)))))) into 0
11.513 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.513 * [taylor]: Taking taylor expansion of 0 in y
11.514 * [backup-simplify]: Simplify 0 into 0
11.514 * [backup-simplify]: Simplify 0 into 0
11.514 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.517 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.518 * [backup-simplify]: Simplify (+ 0 0) into 0
11.518 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log z) (log y))))) into 0
11.519 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.521 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 y) 1)))) 6) into 0
11.521 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.522 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y))))))) into 0
11.523 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.523 * [taylor]: Taking taylor expansion of 0 in y
11.523 * [backup-simplify]: Simplify 0 into 0
11.523 * [backup-simplify]: Simplify 0 into 0
11.523 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.523 * [backup-simplify]: Simplify (cbrt (/ (/ 1 z) (/ 1 y))) into (pow (/ y z) 1/3)
11.523 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.523 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.523 * [taylor]: Taking taylor expansion of 1/3 in y
11.523 * [backup-simplify]: Simplify 1/3 into 1/3
11.523 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.523 * [taylor]: Taking taylor expansion of (/ y z) in y
11.523 * [taylor]: Taking taylor expansion of y in y
11.523 * [backup-simplify]: Simplify 0 into 0
11.523 * [backup-simplify]: Simplify 1 into 1
11.523 * [taylor]: Taking taylor expansion of z in y
11.523 * [backup-simplify]: Simplify z into z
11.523 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.523 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.524 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.524 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.524 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.524 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.524 * [taylor]: Taking taylor expansion of 1/3 in z
11.524 * [backup-simplify]: Simplify 1/3 into 1/3
11.524 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.524 * [taylor]: Taking taylor expansion of (/ y z) in z
11.524 * [taylor]: Taking taylor expansion of y in z
11.524 * [backup-simplify]: Simplify y into y
11.524 * [taylor]: Taking taylor expansion of z in z
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 1 into 1
11.524 * [backup-simplify]: Simplify (/ y 1) into y
11.524 * [backup-simplify]: Simplify (log y) into (log y)
11.525 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.525 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.525 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.525 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.525 * [taylor]: Taking taylor expansion of 1/3 in z
11.525 * [backup-simplify]: Simplify 1/3 into 1/3
11.525 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.525 * [taylor]: Taking taylor expansion of (/ y z) in z
11.525 * [taylor]: Taking taylor expansion of y in z
11.525 * [backup-simplify]: Simplify y into y
11.525 * [taylor]: Taking taylor expansion of z in z
11.525 * [backup-simplify]: Simplify 0 into 0
11.525 * [backup-simplify]: Simplify 1 into 1
11.525 * [backup-simplify]: Simplify (/ y 1) into y
11.525 * [backup-simplify]: Simplify (log y) into (log y)
11.525 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.525 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.525 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.526 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.526 * [taylor]: Taking taylor expansion of 1/3 in y
11.526 * [backup-simplify]: Simplify 1/3 into 1/3
11.526 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.526 * [taylor]: Taking taylor expansion of (log y) in y
11.526 * [taylor]: Taking taylor expansion of y in y
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 1 into 1
11.526 * [backup-simplify]: Simplify (log 1) into 0
11.526 * [taylor]: Taking taylor expansion of (log z) in y
11.526 * [taylor]: Taking taylor expansion of z in y
11.526 * [backup-simplify]: Simplify z into z
11.526 * [backup-simplify]: Simplify (log z) into (log z)
11.526 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.526 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.526 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.526 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.527 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.527 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.527 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.528 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.528 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.529 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.529 * [taylor]: Taking taylor expansion of 0 in y
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.530 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.530 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.530 * [backup-simplify]: Simplify (- 0) into 0
11.531 * [backup-simplify]: Simplify (+ 0 0) into 0
11.531 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.531 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.533 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.534 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.534 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.535 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.535 * [taylor]: Taking taylor expansion of 0 in y
11.535 * [backup-simplify]: Simplify 0 into 0
11.535 * [backup-simplify]: Simplify 0 into 0
11.535 * [backup-simplify]: Simplify 0 into 0
11.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.538 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.538 * [backup-simplify]: Simplify (- 0) into 0
11.538 * [backup-simplify]: Simplify (+ 0 0) into 0
11.539 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.539 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.540 * [backup-simplify]: Simplify 0 into 0
11.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.542 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.543 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.543 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.544 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.545 * [taylor]: Taking taylor expansion of 0 in y
11.545 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z))))) into (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
11.545 * [backup-simplify]: Simplify (cbrt (/ (/ 1 (- z)) (/ 1 (- y)))) into (pow (/ y z) 1/3)
11.545 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.545 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.545 * [taylor]: Taking taylor expansion of 1/3 in y
11.545 * [backup-simplify]: Simplify 1/3 into 1/3
11.545 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.545 * [taylor]: Taking taylor expansion of (/ y z) in y
11.545 * [taylor]: Taking taylor expansion of y in y
11.545 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify 1 into 1
11.545 * [taylor]: Taking taylor expansion of z in y
11.545 * [backup-simplify]: Simplify z into z
11.545 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.545 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.546 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.546 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.546 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.546 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.546 * [taylor]: Taking taylor expansion of 1/3 in z
11.546 * [backup-simplify]: Simplify 1/3 into 1/3
11.546 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.546 * [taylor]: Taking taylor expansion of (/ y z) in z
11.546 * [taylor]: Taking taylor expansion of y in z
11.546 * [backup-simplify]: Simplify y into y
11.546 * [taylor]: Taking taylor expansion of z in z
11.546 * [backup-simplify]: Simplify 0 into 0
11.546 * [backup-simplify]: Simplify 1 into 1
11.546 * [backup-simplify]: Simplify (/ y 1) into y
11.546 * [backup-simplify]: Simplify (log y) into (log y)
11.547 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.547 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.547 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.547 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.547 * [taylor]: Taking taylor expansion of 1/3 in z
11.547 * [backup-simplify]: Simplify 1/3 into 1/3
11.547 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.547 * [taylor]: Taking taylor expansion of (/ y z) in z
11.547 * [taylor]: Taking taylor expansion of y in z
11.547 * [backup-simplify]: Simplify y into y
11.547 * [taylor]: Taking taylor expansion of z in z
11.547 * [backup-simplify]: Simplify 0 into 0
11.547 * [backup-simplify]: Simplify 1 into 1
11.547 * [backup-simplify]: Simplify (/ y 1) into y
11.547 * [backup-simplify]: Simplify (log y) into (log y)
11.547 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.548 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.548 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.548 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.548 * [taylor]: Taking taylor expansion of 1/3 in y
11.548 * [backup-simplify]: Simplify 1/3 into 1/3
11.548 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.548 * [taylor]: Taking taylor expansion of (log y) in y
11.548 * [taylor]: Taking taylor expansion of y in y
11.548 * [backup-simplify]: Simplify 0 into 0
11.548 * [backup-simplify]: Simplify 1 into 1
11.548 * [backup-simplify]: Simplify (log 1) into 0
11.548 * [taylor]: Taking taylor expansion of (log z) in y
11.548 * [taylor]: Taking taylor expansion of z in y
11.548 * [backup-simplify]: Simplify z into z
11.548 * [backup-simplify]: Simplify (log z) into (log z)
11.548 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.548 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.549 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.549 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.549 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.549 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.550 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.550 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.551 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.551 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.551 * [taylor]: Taking taylor expansion of 0 in y
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.553 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.554 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.554 * [backup-simplify]: Simplify (- 0) into 0
11.554 * [backup-simplify]: Simplify (+ 0 0) into 0
11.555 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.556 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.556 * [backup-simplify]: Simplify 0 into 0
11.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.559 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.560 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.561 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.562 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.562 * [taylor]: Taking taylor expansion of 0 in y
11.562 * [backup-simplify]: Simplify 0 into 0
11.562 * [backup-simplify]: Simplify 0 into 0
11.562 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.567 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.568 * [backup-simplify]: Simplify (- 0) into 0
11.568 * [backup-simplify]: Simplify (+ 0 0) into 0
11.569 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.570 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.570 * [backup-simplify]: Simplify 0 into 0
11.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.575 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.575 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.576 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.577 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.577 * [taylor]: Taking taylor expansion of 0 in y
11.577 * [backup-simplify]: Simplify 0 into 0
11.577 * [backup-simplify]: Simplify 0 into 0
11.577 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 (- y))) (log (/ 1 (- z)))))) into (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
11.577 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
11.577 * [backup-simplify]: Simplify (cbrt (/ z y)) into (pow (/ z y) 1/3)
11.577 * [approximate]: Taking taylor expansion of (pow (/ z y) 1/3) in (z y) around 0
11.577 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y
11.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y
11.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y
11.577 * [taylor]: Taking taylor expansion of 1/3 in y
11.578 * [backup-simplify]: Simplify 1/3 into 1/3
11.578 * [taylor]: Taking taylor expansion of (log (/ z y)) in y
11.578 * [taylor]: Taking taylor expansion of (/ z y) in y
11.578 * [taylor]: Taking taylor expansion of z in y
11.578 * [backup-simplify]: Simplify z into z
11.578 * [taylor]: Taking taylor expansion of y in y
11.578 * [backup-simplify]: Simplify 0 into 0
11.578 * [backup-simplify]: Simplify 1 into 1
11.578 * [backup-simplify]: Simplify (/ z 1) into z
11.578 * [backup-simplify]: Simplify (log z) into (log z)
11.578 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log z)) into (- (log z) (log y))
11.578 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.578 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.578 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.578 * [taylor]: Taking taylor expansion of 1/3 in z
11.578 * [backup-simplify]: Simplify 1/3 into 1/3
11.578 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.578 * [taylor]: Taking taylor expansion of (/ z y) in z
11.578 * [taylor]: Taking taylor expansion of z in z
11.578 * [backup-simplify]: Simplify 0 into 0
11.578 * [backup-simplify]: Simplify 1 into 1
11.578 * [taylor]: Taking taylor expansion of y in z
11.578 * [backup-simplify]: Simplify y into y
11.578 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.578 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.579 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.579 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.579 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.579 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.579 * [taylor]: Taking taylor expansion of 1/3 in z
11.579 * [backup-simplify]: Simplify 1/3 into 1/3
11.579 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.579 * [taylor]: Taking taylor expansion of (/ z y) in z
11.579 * [taylor]: Taking taylor expansion of z in z
11.579 * [backup-simplify]: Simplify 0 into 0
11.579 * [backup-simplify]: Simplify 1 into 1
11.579 * [taylor]: Taking taylor expansion of y in z
11.579 * [backup-simplify]: Simplify y into y
11.579 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.579 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.580 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.580 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.580 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 y))))) in y
11.580 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 y)))) in y
11.580 * [taylor]: Taking taylor expansion of 1/3 in y
11.580 * [backup-simplify]: Simplify 1/3 into 1/3
11.580 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 y))) in y
11.580 * [taylor]: Taking taylor expansion of (log z) in y
11.580 * [taylor]: Taking taylor expansion of z in y
11.580 * [backup-simplify]: Simplify z into z
11.580 * [backup-simplify]: Simplify (log z) into (log z)
11.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.580 * [taylor]: Taking taylor expansion of y in y
11.580 * [backup-simplify]: Simplify 0 into 0
11.580 * [backup-simplify]: Simplify 1 into 1
11.580 * [backup-simplify]: Simplify (/ 1 1) into 1
11.581 * [backup-simplify]: Simplify (log 1) into 0
11.581 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
11.581 * [backup-simplify]: Simplify (+ (log z) (- (log y))) into (- (log z) (log y))
11.581 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.581 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.581 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.581 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
11.582 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 y) 1)))) 1) into 0
11.582 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.583 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log z) (log (/ 1 y))))) into 0
11.583 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 1) 1)))) into 0
11.583 * [taylor]: Taking taylor expansion of 0 in y
11.583 * [backup-simplify]: Simplify 0 into 0
11.583 * [backup-simplify]: Simplify 0 into 0
11.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.585 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.586 * [backup-simplify]: Simplify (+ 0 0) into 0
11.586 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log z) (log y)))) into 0
11.586 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.586 * [backup-simplify]: Simplify 0 into 0
11.587 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.588 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 y) 1)))) 2) into 0
11.588 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.589 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y)))))) into 0
11.590 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.590 * [taylor]: Taking taylor expansion of 0 in y
11.590 * [backup-simplify]: Simplify 0 into 0
11.590 * [backup-simplify]: Simplify 0 into 0
11.590 * [backup-simplify]: Simplify 0 into 0
11.591 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.593 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.593 * [backup-simplify]: Simplify (+ 0 0) into 0
11.593 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log z) (log y))))) into 0
11.594 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.594 * [backup-simplify]: Simplify 0 into 0
11.595 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.596 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 y) 1)))) 6) into 0
11.597 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.601 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y))))))) into 0
11.602 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.602 * [taylor]: Taking taylor expansion of 0 in y
11.602 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.602 * [backup-simplify]: Simplify (cbrt (/ (/ 1 z) (/ 1 y))) into (pow (/ y z) 1/3)
11.602 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.602 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.603 * [taylor]: Taking taylor expansion of 1/3 in y
11.603 * [backup-simplify]: Simplify 1/3 into 1/3
11.603 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.603 * [taylor]: Taking taylor expansion of (/ y z) in y
11.603 * [taylor]: Taking taylor expansion of y in y
11.603 * [backup-simplify]: Simplify 0 into 0
11.603 * [backup-simplify]: Simplify 1 into 1
11.603 * [taylor]: Taking taylor expansion of z in y
11.603 * [backup-simplify]: Simplify z into z
11.603 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.603 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.603 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.603 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.604 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.604 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.604 * [taylor]: Taking taylor expansion of 1/3 in z
11.604 * [backup-simplify]: Simplify 1/3 into 1/3
11.604 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.604 * [taylor]: Taking taylor expansion of (/ y z) in z
11.604 * [taylor]: Taking taylor expansion of y in z
11.604 * [backup-simplify]: Simplify y into y
11.604 * [taylor]: Taking taylor expansion of z in z
11.604 * [backup-simplify]: Simplify 0 into 0
11.604 * [backup-simplify]: Simplify 1 into 1
11.604 * [backup-simplify]: Simplify (/ y 1) into y
11.604 * [backup-simplify]: Simplify (log y) into (log y)
11.605 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.605 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.605 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.605 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.605 * [taylor]: Taking taylor expansion of 1/3 in z
11.605 * [backup-simplify]: Simplify 1/3 into 1/3
11.605 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.605 * [taylor]: Taking taylor expansion of (/ y z) in z
11.605 * [taylor]: Taking taylor expansion of y in z
11.605 * [backup-simplify]: Simplify y into y
11.605 * [taylor]: Taking taylor expansion of z in z
11.605 * [backup-simplify]: Simplify 0 into 0
11.605 * [backup-simplify]: Simplify 1 into 1
11.605 * [backup-simplify]: Simplify (/ y 1) into y
11.605 * [backup-simplify]: Simplify (log y) into (log y)
11.606 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.606 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.606 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.606 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.606 * [taylor]: Taking taylor expansion of 1/3 in y
11.606 * [backup-simplify]: Simplify 1/3 into 1/3
11.606 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.606 * [taylor]: Taking taylor expansion of (log y) in y
11.606 * [taylor]: Taking taylor expansion of y in y
11.606 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify 1 into 1
11.607 * [backup-simplify]: Simplify (log 1) into 0
11.607 * [taylor]: Taking taylor expansion of (log z) in y
11.607 * [taylor]: Taking taylor expansion of z in y
11.607 * [backup-simplify]: Simplify z into z
11.607 * [backup-simplify]: Simplify (log z) into (log z)
11.607 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.607 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.608 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.608 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.608 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.608 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.610 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.610 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.611 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.612 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.612 * [taylor]: Taking taylor expansion of 0 in y
11.612 * [backup-simplify]: Simplify 0 into 0
11.612 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.614 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.614 * [backup-simplify]: Simplify (- 0) into 0
11.615 * [backup-simplify]: Simplify (+ 0 0) into 0
11.615 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.616 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.616 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.619 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.620 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.620 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.621 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.621 * [taylor]: Taking taylor expansion of 0 in y
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 0 into 0
11.621 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.624 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.624 * [backup-simplify]: Simplify (- 0) into 0
11.624 * [backup-simplify]: Simplify (+ 0 0) into 0
11.625 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.626 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.626 * [backup-simplify]: Simplify 0 into 0
11.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.628 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.629 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.629 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.630 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.630 * [taylor]: Taking taylor expansion of 0 in y
11.630 * [backup-simplify]: Simplify 0 into 0
11.630 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z))))) into (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
11.631 * [backup-simplify]: Simplify (cbrt (/ (/ 1 (- z)) (/ 1 (- y)))) into (pow (/ y z) 1/3)
11.631 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.631 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.631 * [taylor]: Taking taylor expansion of 1/3 in y
11.631 * [backup-simplify]: Simplify 1/3 into 1/3
11.631 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.631 * [taylor]: Taking taylor expansion of (/ y z) in y
11.631 * [taylor]: Taking taylor expansion of y in y
11.631 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify 1 into 1
11.631 * [taylor]: Taking taylor expansion of z in y
11.631 * [backup-simplify]: Simplify z into z
11.631 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.631 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.631 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.631 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.632 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.632 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.632 * [taylor]: Taking taylor expansion of 1/3 in z
11.632 * [backup-simplify]: Simplify 1/3 into 1/3
11.632 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.632 * [taylor]: Taking taylor expansion of (/ y z) in z
11.632 * [taylor]: Taking taylor expansion of y in z
11.632 * [backup-simplify]: Simplify y into y
11.632 * [taylor]: Taking taylor expansion of z in z
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.632 * [backup-simplify]: Simplify (/ y 1) into y
11.632 * [backup-simplify]: Simplify (log y) into (log y)
11.632 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.632 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.632 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.632 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.632 * [taylor]: Taking taylor expansion of 1/3 in z
11.632 * [backup-simplify]: Simplify 1/3 into 1/3
11.632 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.632 * [taylor]: Taking taylor expansion of (/ y z) in z
11.632 * [taylor]: Taking taylor expansion of y in z
11.632 * [backup-simplify]: Simplify y into y
11.632 * [taylor]: Taking taylor expansion of z in z
11.632 * [backup-simplify]: Simplify 0 into 0
11.632 * [backup-simplify]: Simplify 1 into 1
11.633 * [backup-simplify]: Simplify (/ y 1) into y
11.633 * [backup-simplify]: Simplify (log y) into (log y)
11.633 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.633 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.633 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.633 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.633 * [taylor]: Taking taylor expansion of 1/3 in y
11.633 * [backup-simplify]: Simplify 1/3 into 1/3
11.633 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.633 * [taylor]: Taking taylor expansion of (log y) in y
11.633 * [taylor]: Taking taylor expansion of y in y
11.633 * [backup-simplify]: Simplify 0 into 0
11.633 * [backup-simplify]: Simplify 1 into 1
11.633 * [backup-simplify]: Simplify (log 1) into 0
11.633 * [taylor]: Taking taylor expansion of (log z) in y
11.634 * [taylor]: Taking taylor expansion of z in y
11.634 * [backup-simplify]: Simplify z into z
11.634 * [backup-simplify]: Simplify (log z) into (log z)
11.634 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.634 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.634 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.634 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.634 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.634 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.635 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.636 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.636 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.636 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.636 * [taylor]: Taking taylor expansion of 0 in y
11.636 * [backup-simplify]: Simplify 0 into 0
11.636 * [backup-simplify]: Simplify 0 into 0
11.637 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.638 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.638 * [backup-simplify]: Simplify (- 0) into 0
11.638 * [backup-simplify]: Simplify (+ 0 0) into 0
11.639 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.639 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.639 * [backup-simplify]: Simplify 0 into 0
11.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.641 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.641 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.642 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.643 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.643 * [taylor]: Taking taylor expansion of 0 in y
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 0 into 0
11.643 * [backup-simplify]: Simplify 0 into 0
11.644 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.646 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.646 * [backup-simplify]: Simplify (- 0) into 0
11.646 * [backup-simplify]: Simplify (+ 0 0) into 0
11.647 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.647 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.647 * [backup-simplify]: Simplify 0 into 0
11.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.651 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.651 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.652 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.654 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.654 * [taylor]: Taking taylor expansion of 0 in y
11.654 * [backup-simplify]: Simplify 0 into 0
11.654 * [backup-simplify]: Simplify 0 into 0
11.655 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 (- y))) (log (/ 1 (- z)))))) into (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
11.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
11.655 * [backup-simplify]: Simplify (cbrt (/ z y)) into (pow (/ z y) 1/3)
11.655 * [approximate]: Taking taylor expansion of (pow (/ z y) 1/3) in (z y) around 0
11.655 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y
11.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y
11.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y
11.655 * [taylor]: Taking taylor expansion of 1/3 in y
11.655 * [backup-simplify]: Simplify 1/3 into 1/3
11.655 * [taylor]: Taking taylor expansion of (log (/ z y)) in y
11.655 * [taylor]: Taking taylor expansion of (/ z y) in y
11.655 * [taylor]: Taking taylor expansion of z in y
11.655 * [backup-simplify]: Simplify z into z
11.655 * [taylor]: Taking taylor expansion of y in y
11.655 * [backup-simplify]: Simplify 0 into 0
11.655 * [backup-simplify]: Simplify 1 into 1
11.655 * [backup-simplify]: Simplify (/ z 1) into z
11.655 * [backup-simplify]: Simplify (log z) into (log z)
11.655 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log z)) into (- (log z) (log y))
11.656 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.656 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.656 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.656 * [taylor]: Taking taylor expansion of 1/3 in z
11.656 * [backup-simplify]: Simplify 1/3 into 1/3
11.656 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.656 * [taylor]: Taking taylor expansion of (/ z y) in z
11.656 * [taylor]: Taking taylor expansion of z in z
11.656 * [backup-simplify]: Simplify 0 into 0
11.656 * [backup-simplify]: Simplify 1 into 1
11.656 * [taylor]: Taking taylor expansion of y in z
11.656 * [backup-simplify]: Simplify y into y
11.656 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.656 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.656 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.656 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.656 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.656 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z
11.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z
11.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z
11.657 * [taylor]: Taking taylor expansion of 1/3 in z
11.657 * [backup-simplify]: Simplify 1/3 into 1/3
11.657 * [taylor]: Taking taylor expansion of (log (/ z y)) in z
11.657 * [taylor]: Taking taylor expansion of (/ z y) in z
11.657 * [taylor]: Taking taylor expansion of z in z
11.657 * [backup-simplify]: Simplify 0 into 0
11.657 * [backup-simplify]: Simplify 1 into 1
11.657 * [taylor]: Taking taylor expansion of y in z
11.657 * [backup-simplify]: Simplify y into y
11.657 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.657 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y))
11.657 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.657 * [backup-simplify]: Simplify (* 1/3 (+ (log z) (log (/ 1 y)))) into (* 1/3 (+ (log z) (log (/ 1 y))))
11.657 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log z) (log (/ 1 y))))) into (exp (* 1/3 (+ (log z) (log (/ 1 y)))))
11.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 y))))) in y
11.657 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 y)))) in y
11.657 * [taylor]: Taking taylor expansion of 1/3 in y
11.657 * [backup-simplify]: Simplify 1/3 into 1/3
11.657 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 y))) in y
11.657 * [taylor]: Taking taylor expansion of (log z) in y
11.657 * [taylor]: Taking taylor expansion of z in y
11.658 * [backup-simplify]: Simplify z into z
11.658 * [backup-simplify]: Simplify (log z) into (log z)
11.658 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.658 * [taylor]: Taking taylor expansion of y in y
11.658 * [backup-simplify]: Simplify 0 into 0
11.658 * [backup-simplify]: Simplify 1 into 1
11.658 * [backup-simplify]: Simplify (/ 1 1) into 1
11.658 * [backup-simplify]: Simplify (log 1) into 0
11.658 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) 0) into (- (log y))
11.658 * [backup-simplify]: Simplify (+ (log z) (- (log y))) into (- (log z) (log y))
11.659 * [backup-simplify]: Simplify (* 1/3 (- (log z) (log y))) into (* 1/3 (- (log z) (log y)))
11.659 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.659 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.659 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
11.659 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 y) 1)))) 1) into 0
11.660 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.660 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (+ (log z) (log (/ 1 y))))) into 0
11.661 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 1) 1)))) into 0
11.661 * [taylor]: Taking taylor expansion of 0 in y
11.661 * [backup-simplify]: Simplify 0 into 0
11.661 * [backup-simplify]: Simplify 0 into 0
11.661 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.662 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.663 * [backup-simplify]: Simplify (+ 0 0) into 0
11.663 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log z) (log y)))) into 0
11.663 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.664 * [backup-simplify]: Simplify 0 into 0
11.664 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.665 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 y) 1)))) 2) into 0
11.665 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.666 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y)))))) into 0
11.666 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.666 * [taylor]: Taking taylor expansion of 0 in y
11.666 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify 0 into 0
11.668 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.670 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.670 * [backup-simplify]: Simplify (+ 0 0) into 0
11.670 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log z) (log y))))) into 0
11.671 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log z) (log y)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.671 * [backup-simplify]: Simplify 0 into 0
11.671 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.673 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 y) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 y) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 y) 1)))) 6) into 0
11.673 * [backup-simplify]: Simplify (+ (* (- -1) (log z)) (log (/ 1 y))) into (+ (log z) (log (/ 1 y)))
11.674 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (log z) (log (/ 1 y))))))) into 0
11.675 * [backup-simplify]: Simplify (* (exp (* 1/3 (+ (log z) (log (/ 1 y))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.675 * [taylor]: Taking taylor expansion of 0 in y
11.675 * [backup-simplify]: Simplify 0 into 0
11.675 * [backup-simplify]: Simplify 0 into 0
11.675 * [backup-simplify]: Simplify (exp (* 1/3 (- (log z) (log y)))) into (exp (* 1/3 (- (log z) (log y))))
11.676 * [backup-simplify]: Simplify (cbrt (/ (/ 1 z) (/ 1 y))) into (pow (/ y z) 1/3)
11.676 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.676 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.676 * [taylor]: Taking taylor expansion of 1/3 in y
11.676 * [backup-simplify]: Simplify 1/3 into 1/3
11.676 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.676 * [taylor]: Taking taylor expansion of (/ y z) in y
11.676 * [taylor]: Taking taylor expansion of y in y
11.676 * [backup-simplify]: Simplify 0 into 0
11.676 * [backup-simplify]: Simplify 1 into 1
11.676 * [taylor]: Taking taylor expansion of z in y
11.676 * [backup-simplify]: Simplify z into z
11.676 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.676 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.676 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.676 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.676 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.676 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.676 * [taylor]: Taking taylor expansion of 1/3 in z
11.676 * [backup-simplify]: Simplify 1/3 into 1/3
11.676 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.676 * [taylor]: Taking taylor expansion of (/ y z) in z
11.676 * [taylor]: Taking taylor expansion of y in z
11.677 * [backup-simplify]: Simplify y into y
11.677 * [taylor]: Taking taylor expansion of z in z
11.677 * [backup-simplify]: Simplify 0 into 0
11.677 * [backup-simplify]: Simplify 1 into 1
11.677 * [backup-simplify]: Simplify (/ y 1) into y
11.677 * [backup-simplify]: Simplify (log y) into (log y)
11.677 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.677 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.677 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.677 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.677 * [taylor]: Taking taylor expansion of 1/3 in z
11.677 * [backup-simplify]: Simplify 1/3 into 1/3
11.677 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.677 * [taylor]: Taking taylor expansion of (/ y z) in z
11.677 * [taylor]: Taking taylor expansion of y in z
11.677 * [backup-simplify]: Simplify y into y
11.677 * [taylor]: Taking taylor expansion of z in z
11.677 * [backup-simplify]: Simplify 0 into 0
11.677 * [backup-simplify]: Simplify 1 into 1
11.677 * [backup-simplify]: Simplify (/ y 1) into y
11.677 * [backup-simplify]: Simplify (log y) into (log y)
11.678 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.678 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.678 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.678 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.678 * [taylor]: Taking taylor expansion of 1/3 in y
11.678 * [backup-simplify]: Simplify 1/3 into 1/3
11.678 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.678 * [taylor]: Taking taylor expansion of (log y) in y
11.678 * [taylor]: Taking taylor expansion of y in y
11.678 * [backup-simplify]: Simplify 0 into 0
11.678 * [backup-simplify]: Simplify 1 into 1
11.679 * [backup-simplify]: Simplify (log 1) into 0
11.679 * [taylor]: Taking taylor expansion of (log z) in y
11.679 * [taylor]: Taking taylor expansion of z in y
11.679 * [backup-simplify]: Simplify z into z
11.679 * [backup-simplify]: Simplify (log z) into (log z)
11.679 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.679 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.679 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.679 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.679 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.679 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.680 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.681 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.681 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.681 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.682 * [taylor]: Taking taylor expansion of 0 in y
11.682 * [backup-simplify]: Simplify 0 into 0
11.682 * [backup-simplify]: Simplify 0 into 0
11.682 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.683 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.683 * [backup-simplify]: Simplify (- 0) into 0
11.684 * [backup-simplify]: Simplify (+ 0 0) into 0
11.684 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.685 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.685 * [backup-simplify]: Simplify 0 into 0
11.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.689 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.689 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.690 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.691 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.691 * [taylor]: Taking taylor expansion of 0 in y
11.691 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify 0 into 0
11.692 * [backup-simplify]: Simplify 0 into 0
11.695 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.696 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.697 * [backup-simplify]: Simplify (- 0) into 0
11.697 * [backup-simplify]: Simplify (+ 0 0) into 0
11.698 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.700 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.700 * [backup-simplify]: Simplify 0 into 0
11.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.705 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.705 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.707 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.709 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.709 * [taylor]: Taking taylor expansion of 0 in y
11.709 * [backup-simplify]: Simplify 0 into 0
11.709 * [backup-simplify]: Simplify 0 into 0
11.709 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z))))) into (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
11.709 * [backup-simplify]: Simplify (cbrt (/ (/ 1 (- z)) (/ 1 (- y)))) into (pow (/ y z) 1/3)
11.709 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (z y) around 0
11.710 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y
11.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y
11.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y
11.710 * [taylor]: Taking taylor expansion of 1/3 in y
11.710 * [backup-simplify]: Simplify 1/3 into 1/3
11.710 * [taylor]: Taking taylor expansion of (log (/ y z)) in y
11.710 * [taylor]: Taking taylor expansion of (/ y z) in y
11.710 * [taylor]: Taking taylor expansion of y in y
11.710 * [backup-simplify]: Simplify 0 into 0
11.710 * [backup-simplify]: Simplify 1 into 1
11.710 * [taylor]: Taking taylor expansion of z in y
11.710 * [backup-simplify]: Simplify z into z
11.710 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.710 * [backup-simplify]: Simplify (log (/ 1 z)) into (log (/ 1 z))
11.711 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) (log (/ 1 z))) into (+ (log (/ 1 z)) (log y))
11.711 * [backup-simplify]: Simplify (* 1/3 (+ (log (/ 1 z)) (log y))) into (* 1/3 (+ (log (/ 1 z)) (log y)))
11.711 * [backup-simplify]: Simplify (exp (* 1/3 (+ (log (/ 1 z)) (log y)))) into (exp (* 1/3 (+ (log (/ 1 z)) (log y))))
11.711 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.711 * [taylor]: Taking taylor expansion of 1/3 in z
11.711 * [backup-simplify]: Simplify 1/3 into 1/3
11.711 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.711 * [taylor]: Taking taylor expansion of (/ y z) in z
11.711 * [taylor]: Taking taylor expansion of y in z
11.711 * [backup-simplify]: Simplify y into y
11.711 * [taylor]: Taking taylor expansion of z in z
11.711 * [backup-simplify]: Simplify 0 into 0
11.711 * [backup-simplify]: Simplify 1 into 1
11.711 * [backup-simplify]: Simplify (/ y 1) into y
11.711 * [backup-simplify]: Simplify (log y) into (log y)
11.712 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.712 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.712 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.712 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z
11.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z
11.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z
11.712 * [taylor]: Taking taylor expansion of 1/3 in z
11.712 * [backup-simplify]: Simplify 1/3 into 1/3
11.712 * [taylor]: Taking taylor expansion of (log (/ y z)) in z
11.712 * [taylor]: Taking taylor expansion of (/ y z) in z
11.712 * [taylor]: Taking taylor expansion of y in z
11.712 * [backup-simplify]: Simplify y into y
11.713 * [taylor]: Taking taylor expansion of z in z
11.713 * [backup-simplify]: Simplify 0 into 0
11.713 * [backup-simplify]: Simplify 1 into 1
11.713 * [backup-simplify]: Simplify (/ y 1) into y
11.713 * [backup-simplify]: Simplify (log y) into (log y)
11.713 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.713 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.713 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (log z)))) in y
11.714 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (log z))) in y
11.714 * [taylor]: Taking taylor expansion of 1/3 in y
11.714 * [backup-simplify]: Simplify 1/3 into 1/3
11.714 * [taylor]: Taking taylor expansion of (- (log y) (log z)) in y
11.714 * [taylor]: Taking taylor expansion of (log y) in y
11.714 * [taylor]: Taking taylor expansion of y in y
11.714 * [backup-simplify]: Simplify 0 into 0
11.714 * [backup-simplify]: Simplify 1 into 1
11.714 * [backup-simplify]: Simplify (log 1) into 0
11.714 * [taylor]: Taking taylor expansion of (log z) in y
11.714 * [taylor]: Taking taylor expansion of z in y
11.714 * [backup-simplify]: Simplify z into z
11.714 * [backup-simplify]: Simplify (log z) into (log z)
11.715 * [backup-simplify]: Simplify (+ (* (- -1) (log y)) 0) into (log y)
11.715 * [backup-simplify]: Simplify (- (log z)) into (- (log z))
11.715 * [backup-simplify]: Simplify (+ (log y) (- (log z))) into (- (log y) (log z))
11.715 * [backup-simplify]: Simplify (* 1/3 (- (log y) (log z))) into (* 1/3 (- (log y) (log z)))
11.715 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.715 * [backup-simplify]: Simplify (exp (* 1/3 (- (log y) (log z)))) into (exp (* 1/3 (- (log y) (log z))))
11.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
11.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow y 1)))) 1) into 0
11.722 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.723 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.724 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.724 * [taylor]: Taking taylor expansion of 0 in y
11.724 * [backup-simplify]: Simplify 0 into 0
11.724 * [backup-simplify]: Simplify 0 into 0
11.726 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
11.727 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow z 1)))) 1) into 0
11.727 * [backup-simplify]: Simplify (- 0) into 0
11.727 * [backup-simplify]: Simplify (+ 0 0) into 0
11.728 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log y) (log z)))) into 0
11.729 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 1) 1)))) into 0
11.729 * [backup-simplify]: Simplify 0 into 0
11.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.732 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow y 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow y 1)))) 2) into 0
11.732 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.733 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.734 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.734 * [taylor]: Taking taylor expansion of 0 in y
11.734 * [backup-simplify]: Simplify 0 into 0
11.734 * [backup-simplify]: Simplify 0 into 0
11.734 * [backup-simplify]: Simplify 0 into 0
11.735 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
11.737 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow z 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow z 1)))) 2) into 0
11.737 * [backup-simplify]: Simplify (- 0) into 0
11.737 * [backup-simplify]: Simplify (+ 0 0) into 0
11.738 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log y) (log z))))) into 0
11.738 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
11.738 * [backup-simplify]: Simplify 0 into 0
11.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.741 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow y 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow y 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow y 1)))) 6) into 0
11.742 * [backup-simplify]: Simplify (+ (* (- 1) (log z)) (log y)) into (- (log y) (log z))
11.742 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log y) (log z)))))) into 0
11.743 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log y) (log z)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.743 * [taylor]: Taking taylor expansion of 0 in y
11.743 * [backup-simplify]: Simplify 0 into 0
11.743 * [backup-simplify]: Simplify 0 into 0
11.744 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (/ 1 (- y))) (log (/ 1 (- z)))))) into (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
11.744 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
11.744 * [backup-simplify]: Simplify (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))) into (/ (pow y 2) z)
11.744 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (z y) around 0
11.744 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y
11.744 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.744 * [taylor]: Taking taylor expansion of y in y
11.744 * [backup-simplify]: Simplify 0 into 0
11.744 * [backup-simplify]: Simplify 1 into 1
11.744 * [taylor]: Taking taylor expansion of z in y
11.744 * [backup-simplify]: Simplify z into z
11.744 * [backup-simplify]: Simplify (* 1 1) into 1
11.744 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
11.744 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
11.744 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.744 * [taylor]: Taking taylor expansion of y in z
11.744 * [backup-simplify]: Simplify y into y
11.744 * [taylor]: Taking taylor expansion of z in z
11.745 * [backup-simplify]: Simplify 0 into 0
11.745 * [backup-simplify]: Simplify 1 into 1
11.745 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.745 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
11.745 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z
11.745 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.745 * [taylor]: Taking taylor expansion of y in z
11.745 * [backup-simplify]: Simplify y into y
11.745 * [taylor]: Taking taylor expansion of z in z
11.745 * [backup-simplify]: Simplify 0 into 0
11.745 * [backup-simplify]: Simplify 1 into 1
11.745 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.745 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2)
11.745 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.745 * [taylor]: Taking taylor expansion of y in y
11.745 * [backup-simplify]: Simplify 0 into 0
11.745 * [backup-simplify]: Simplify 1 into 1
11.745 * [backup-simplify]: Simplify (* 1 1) into 1
11.745 * [backup-simplify]: Simplify 1 into 1
11.745 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.746 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0
11.746 * [taylor]: Taking taylor expansion of 0 in y
11.746 * [backup-simplify]: Simplify 0 into 0
11.746 * [backup-simplify]: Simplify 0 into 0
11.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.746 * [backup-simplify]: Simplify 0 into 0
11.747 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.748 * [taylor]: Taking taylor expansion of 0 in y
11.748 * [backup-simplify]: Simplify 0 into 0
11.748 * [backup-simplify]: Simplify 0 into 0
11.748 * [backup-simplify]: Simplify 0 into 0
11.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.748 * [backup-simplify]: Simplify 0 into 0
11.749 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.750 * [taylor]: Taking taylor expansion of 0 in y
11.750 * [backup-simplify]: Simplify 0 into 0
11.750 * [backup-simplify]: Simplify 0 into 0
11.750 * [backup-simplify]: Simplify (* 1 (* (pow y 2) (/ 1 z))) into (/ (pow y 2) z)
11.751 * [backup-simplify]: Simplify (/ 1 (* (* (cbrt (/ (/ 1 z) (/ 1 y))) (cbrt (/ (/ 1 z) (/ 1 y)))) (/ (cbrt (/ (/ 1 z) (/ 1 y))) (/ 1 y)))) into (/ z (pow y 2))
11.751 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (z y) around 0
11.751 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
11.751 * [taylor]: Taking taylor expansion of z in y
11.751 * [backup-simplify]: Simplify z into z
11.751 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.751 * [taylor]: Taking taylor expansion of y in y
11.751 * [backup-simplify]: Simplify 0 into 0
11.751 * [backup-simplify]: Simplify 1 into 1
11.751 * [backup-simplify]: Simplify (* 1 1) into 1
11.751 * [backup-simplify]: Simplify (/ z 1) into z
11.751 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
11.751 * [taylor]: Taking taylor expansion of z in z
11.751 * [backup-simplify]: Simplify 0 into 0
11.751 * [backup-simplify]: Simplify 1 into 1
11.751 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.751 * [taylor]: Taking taylor expansion of y in z
11.751 * [backup-simplify]: Simplify y into y
11.751 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.751 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
11.751 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
11.751 * [taylor]: Taking taylor expansion of z in z
11.751 * [backup-simplify]: Simplify 0 into 0
11.751 * [backup-simplify]: Simplify 1 into 1
11.751 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.751 * [taylor]: Taking taylor expansion of y in z
11.751 * [backup-simplify]: Simplify y into y
11.751 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.752 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
11.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.752 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.752 * [taylor]: Taking taylor expansion of y in y
11.752 * [backup-simplify]: Simplify 0 into 0
11.752 * [backup-simplify]: Simplify 1 into 1
11.752 * [backup-simplify]: Simplify (* 1 1) into 1
11.752 * [backup-simplify]: Simplify (/ 1 1) into 1
11.752 * [backup-simplify]: Simplify 1 into 1
11.752 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.753 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
11.753 * [taylor]: Taking taylor expansion of 0 in y
11.753 * [backup-simplify]: Simplify 0 into 0
11.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.753 * [backup-simplify]: Simplify 0 into 0
11.754 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.754 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.754 * [taylor]: Taking taylor expansion of 0 in y
11.754 * [backup-simplify]: Simplify 0 into 0
11.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.755 * [backup-simplify]: Simplify 0 into 0
11.756 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.756 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.756 * [taylor]: Taking taylor expansion of 0 in y
11.756 * [backup-simplify]: Simplify 0 into 0
11.756 * [backup-simplify]: Simplify 0 into 0
11.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.757 * [backup-simplify]: Simplify 0 into 0
11.758 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.758 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.758 * [taylor]: Taking taylor expansion of 0 in y
11.758 * [backup-simplify]: Simplify 0 into 0
11.758 * [backup-simplify]: Simplify 0 into 0
11.758 * [backup-simplify]: Simplify 0 into 0
11.759 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 z))) into (/ (pow y 2) z)
11.759 * [backup-simplify]: Simplify (/ 1 (* (* (cbrt (/ (/ 1 (- z)) (/ 1 (- y)))) (cbrt (/ (/ 1 (- z)) (/ 1 (- y))))) (/ (cbrt (/ (/ 1 (- z)) (/ 1 (- y)))) (/ 1 (- y))))) into (* -1 (/ z (pow y 2)))
11.759 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (z y) around 0
11.759 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y
11.759 * [taylor]: Taking taylor expansion of -1 in y
11.759 * [backup-simplify]: Simplify -1 into -1
11.759 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y
11.759 * [taylor]: Taking taylor expansion of z in y
11.759 * [backup-simplify]: Simplify z into z
11.759 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.759 * [taylor]: Taking taylor expansion of y in y
11.760 * [backup-simplify]: Simplify 0 into 0
11.760 * [backup-simplify]: Simplify 1 into 1
11.760 * [backup-simplify]: Simplify (* 1 1) into 1
11.760 * [backup-simplify]: Simplify (/ z 1) into z
11.760 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
11.760 * [taylor]: Taking taylor expansion of -1 in z
11.760 * [backup-simplify]: Simplify -1 into -1
11.760 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
11.760 * [taylor]: Taking taylor expansion of z in z
11.760 * [backup-simplify]: Simplify 0 into 0
11.760 * [backup-simplify]: Simplify 1 into 1
11.760 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.760 * [taylor]: Taking taylor expansion of y in z
11.760 * [backup-simplify]: Simplify y into y
11.760 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.760 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
11.761 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z
11.761 * [taylor]: Taking taylor expansion of -1 in z
11.761 * [backup-simplify]: Simplify -1 into -1
11.761 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z
11.761 * [taylor]: Taking taylor expansion of z in z
11.761 * [backup-simplify]: Simplify 0 into 0
11.761 * [backup-simplify]: Simplify 1 into 1
11.761 * [taylor]: Taking taylor expansion of (pow y 2) in z
11.761 * [taylor]: Taking taylor expansion of y in z
11.761 * [backup-simplify]: Simplify y into y
11.761 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.761 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
11.761 * [backup-simplify]: Simplify (* -1 (/ 1 (pow y 2))) into (/ -1 (pow y 2))
11.761 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
11.761 * [taylor]: Taking taylor expansion of -1 in y
11.761 * [backup-simplify]: Simplify -1 into -1
11.761 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.761 * [taylor]: Taking taylor expansion of y in y
11.761 * [backup-simplify]: Simplify 0 into 0
11.761 * [backup-simplify]: Simplify 1 into 1
11.762 * [backup-simplify]: Simplify (* 1 1) into 1
11.762 * [backup-simplify]: Simplify (/ -1 1) into -1
11.762 * [backup-simplify]: Simplify -1 into -1
11.762 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.763 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
11.763 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (pow y 2)))) into 0
11.763 * [taylor]: Taking taylor expansion of 0 in y
11.763 * [backup-simplify]: Simplify 0 into 0
11.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
11.765 * [backup-simplify]: Simplify 0 into 0
11.765 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.766 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.767 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0
11.767 * [taylor]: Taking taylor expansion of 0 in y
11.767 * [backup-simplify]: Simplify 0 into 0
11.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.769 * [backup-simplify]: Simplify 0 into 0
11.770 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.770 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.772 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2)))))) into 0
11.772 * [taylor]: Taking taylor expansion of 0 in y
11.772 * [backup-simplify]: Simplify 0 into 0
11.772 * [backup-simplify]: Simplify 0 into 0
11.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.774 * [backup-simplify]: Simplify 0 into 0
11.775 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.777 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.778 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))))) into 0
11.778 * [taylor]: Taking taylor expansion of 0 in y
11.778 * [backup-simplify]: Simplify 0 into 0
11.778 * [backup-simplify]: Simplify 0 into 0
11.778 * [backup-simplify]: Simplify 0 into 0
11.779 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (- z)))) into (/ (pow y 2) z)
11.779 * * * [progress]: simplifying candidates
11.783 * [simplify]: Simplifying:
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ z y))
  (cbrt 1)
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (* (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ z y))
  (cbrt 1)
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (* (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) 1))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) 1))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  (cbrt (/ 1 1))
  (cbrt (/ z y))
  (cbrt 1)
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (* (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (- 1)
  (- 1)
  (- 1)
  (- (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- (log (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (- 0 (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- 0 (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- 0 (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- 0 (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- 0 (log (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (- (log 1) (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- (log 1) (+ (+ (log (cbrt (/ z y))) (log (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- (log 1) (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (- (log (cbrt (/ z y))) (log y))))
  (- (log 1) (+ (log (* (cbrt (/ z y)) (cbrt (/ z y)))) (log (/ (cbrt (/ z y)) y))))
  (- (log 1) (log (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (log (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (exp (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (/ (* (* 1 1) 1) (* (* (/ z y) (/ z y)) (/ (/ z y) (* (* y y) y))))
  (/ (* (* 1 1) 1) (* (* (/ z y) (/ z y)) (* (* (/ (cbrt (/ z y)) y) (/ (cbrt (/ z y)) y)) (/ (cbrt (/ z y)) y))))
  (/ (* (* 1 1) 1) (* (* (* (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (/ z y) (* (* y y) y))))
  (/ (* (* 1 1) 1) (* (* (* (* (cbrt (/ z y)) (cbrt (/ z y))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (cbrt (/ z y)) (cbrt (/ z y)))) (* (* (/ (cbrt (/ z y)) y) (/ (cbrt (/ z y)) y)) (/ (cbrt (/ z y)) y))))
  (/ (* (* 1 1) 1) (* (* (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)) (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))) (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (* (cbrt (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))) (cbrt (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))
  (cbrt (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (* (* (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))) (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))) (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (sqrt (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (sqrt (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y))))
  (- 1)
  (- (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (cbrt 1) (/ (cbrt (/ z y)) y))
  (/ (sqrt 1) (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (sqrt 1) (/ (cbrt (/ z y)) y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ 1 (/ (cbrt (/ z y)) y))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))
  (/ (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)) 1)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)) (cbrt 1))
  (/ (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)) (sqrt 1))
  (/ (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)) 1)
  (/ 1 (* (* (cbrt z) (cbrt z)) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt z)) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt z) (cbrt (/ z y))) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt z) (cbrt z)) (/ (cbrt (/ z y)) y)))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt z)) (/ (cbrt (/ z y)) y)))
  (/ 1 (* (* (cbrt z) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))
  (exp (* 1/3 (- (log z) (log y))))
  (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
  (exp (* 1/3 (- (log z) (log y))))
  (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
  (exp (* 1/3 (- (log z) (log y))))
  (exp (* 1/3 (- (log (/ 1 y)) (log (/ 1 z)))))
  (exp (* 1/3 (- (log (/ -1 y)) (log (/ -1 z)))))
  (/ (pow y 2) z)
  (/ (pow y 2) z)
  (/ (pow y 2) z)
11.788 * * [simplify]: Extracting # 0 : cost  0
11.788 * * [simplify]: Extracting # 1 : cost  0
11.789 * * [simplify]: Extracting # 2 : cost  0
11.789 * * [simplify]: Extracting # 3 : cost  0
11.789 * * [simplify]: Extracting # 4 : cost  0
11.790 * * [simplify]: Extracting # 5 : cost  0
11.790 * * [simplify]: Extracting # 6 : cost  0
11.791 * * [simplify]: Extracting # 7 : cost  0
11.791 * * [simplify]: Extracting # 8 : cost  0
11.791 * * [simplify]: iteration  0 :  164  enodes  (cost  1733 )
11.868 * * [simplify]: Extracting # 0 : cost  0
11.869 * * [simplify]: Extracting # 1 : cost  0
11.869 * * [simplify]: Extracting # 2 : cost  0
11.870 * * [simplify]: Extracting # 3 : cost  0
11.870 * * [simplify]: iteration  1 :  345  enodes  (cost  1590 )
12.011 * * [simplify]: Extracting # 0 : cost  0
12.013 * * [simplify]: Extracting # 1 : cost  0
12.016 * * [simplify]: Extracting # 2 : cost  0
12.018 * * [simplify]: Extracting # 3 : cost  0
12.020 * * [simplify]: Extracting # 4 : cost  0
12.022 * * [simplify]: iteration  2 :  1031  enodes  (cost  1202 )
14.122 * * [simplify]: Extracting # 0 : cost  0
14.130 * * [simplify]: Extracting # 1 : cost  0
14.134 * * [simplify]: Extracting # 2 : cost  0
14.140 * * [simplify]: Extracting # 3 : cost  0
14.146 * * [simplify]: Extracting # 4 : cost  0
14.151 * * [simplify]: Extracting # 5 : cost  0
14.157 * * [simplify]: iteration  3 :  3427  enodes  (cost  1005 )
15.774 * * [simplify]: Extracting # 0 : cost  0
15.787 * * [simplify]: Extracting # 1 : cost  0
15.791 * * [simplify]: Extracting # 2 : cost  0
15.795 * * [simplify]: Extracting # 3 : cost  0
15.799 * * [simplify]: Extracting # 4 : cost  0
15.804 * * [simplify]: Extracting # 5 : cost  0
15.808 * * [simplify]: iteration done:  5001  enodes  (cost  976 )
15.808 * [simplify]: Simplified to:
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  1
  (cbrt (/ z y))
  1
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (/ z y)
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  1
  (cbrt (/ z y))
  1
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (/ z y)
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  (log (cbrt (/ z y)))
  (exp (cbrt (/ z y)))
  (cbrt (* (cbrt (/ z y)) (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (sqrt (/ z y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y))))
  (cbrt (/ (cbrt z) (cbrt y)))
  (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt y)))
  (cbrt (/ (cbrt z) (sqrt y)))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (/ (cbrt z) y))
  (cbrt (/ (sqrt z) (* (cbrt y) (cbrt y))))
  (cbrt (/ (sqrt z) (cbrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (/ (sqrt z) (sqrt y)))
  (cbrt (sqrt z))
  (cbrt (/ (sqrt z) y))
  (cbrt (/ 1 (* (cbrt y) (cbrt y))))
  (cbrt (/ z (cbrt y)))
  (cbrt (/ 1 (sqrt y)))
  (cbrt (/ z (sqrt y)))
  1
  (cbrt (/ z y))
  1
  (cbrt (/ z y))
  (cbrt z)
  (cbrt (/ 1 y))
  (cbrt z)
  (cbrt y)
  (* (cbrt (cbrt (/ z y))) (cbrt (cbrt (/ z y))))
  (cbrt (cbrt (/ z y)))
  (/ z y)
  (sqrt (cbrt (/ z y)))
  (sqrt (cbrt (/ z y)))
  -1
  -1
  -1
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (log (/ (pow y 2) z))
  (exp (/ y (/ z y)))
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (pow (/ (pow y 2) z) 3)
  (* (cbrt (/ y (/ z y))) (cbrt (/ y (/ z y))))
  (cbrt (/ y (/ z y)))
  (pow (/ (pow y 2) z) 3)
  (sqrt (/ (pow y 2) z))
  (sqrt (/ (pow y 2) z))
  -1
  (- (/ (/ z y) y))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ y (cbrt (/ z y)))
  (* y (/ y z))
  (/ (/ z y) y)
  (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y))))
  (/ (/ z y) y)
  (/ (/ z y) y)
  (/ (/ z y) y)
  (/ 1 (* (* (cbrt z) (cbrt z)) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt z)) (cbrt (/ z y))))
  (/ 1 (* (* (cbrt (/ z y)) (cbrt z)) (cbrt (/ z y))))
  (/ y z)
  (/ y (* (* (cbrt z) (cbrt z)) (cbrt (/ z y))))
  (/ (/ y (cbrt (/ z y))) (* (cbrt (/ z y)) (cbrt z)))
  (/ (/ y (cbrt (/ z y))) (* (cbrt (/ z y)) (cbrt z)))
  (cbrt (/ z y))
  (cbrt (/ z y))
  (cbrt (/ (/ -1 y) (/ -1 z)))
  (cbrt (/ z y))
  (cbrt (/ z y))
  (cbrt (/ (/ -1 y) (/ -1 z)))
  (cbrt (/ z y))
  (cbrt (/ z y))
  (cbrt (/ (/ -1 y) (/ -1 z)))
  (* y (/ y z))
  (* y (/ y z))
  (* y (/ y z))
15.809 * * * [progress]: adding candidates to table
16.147 * [progress]: [Phase 3 of 3] Extracting.
16.148 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* y (/ y z))))> #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (/ y z))) (sqrt (/ y z)))))> #<alt (λ (x y z) (+ x (* (* y y) (/ 1 z))))> #<alt (λ (x y z) (+ x (/ (* (cbrt y) (cbrt y)) (/ (/ z (cbrt y)) y))))> #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>)
16.149 * * * [regime-changes]: Trying 4 branch expressions: ((* y y) z y x)
16.149 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y z) (+ x (* y (/ y z))))> #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (/ y z))) (sqrt (/ y z)))))> #<alt (λ (x y z) (+ x (* (* y y) (/ 1 z))))> #<alt (λ (x y z) (+ x (/ (* (cbrt y) (cbrt y)) (/ (/ z (cbrt y)) y))))> #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>)
16.184 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* y (/ y z))))> #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (/ y z))) (sqrt (/ y z)))))> #<alt (λ (x y z) (+ x (* (* y y) (/ 1 z))))> #<alt (λ (x y z) (+ x (/ (* (cbrt y) (cbrt y)) (/ (/ z (cbrt y)) y))))> #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>)
16.210 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* y (/ y z))))> #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (/ y z))) (sqrt (/ y z)))))> #<alt (λ (x y z) (+ x (* (* y y) (/ 1 z))))> #<alt (λ (x y z) (+ x (/ (* (cbrt y) (cbrt y)) (/ (/ z (cbrt y)) y))))> #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>)
16.236 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* y (/ y z))))> #<alt (λ (x y z) (+ x (/ 1 (/ (/ z y) y))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (/ y z))) (sqrt (/ y z)))))> #<alt (λ (x y z) (+ x (* (* y y) (/ 1 z))))> #<alt (λ (x y z) (+ x (/ (* (cbrt y) (cbrt y)) (/ (/ z (cbrt y)) y))))> #<alt (λ (x y z) (+ x (/ 1 (* (* (cbrt (/ z y)) (cbrt (/ z y))) (/ (cbrt (/ z y)) y)))))>)
16.257 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
16.257 * [simplify]: Simplifying:
  (+ x (* y (/ y z)))
16.257 * * [simplify]: Extracting # 0 : cost  0
16.257 * * [simplify]: Extracting # 1 : cost  0
16.257 * * [simplify]: Extracting # 2 : cost  0
16.257 * * [simplify]: Extracting # 3 : cost  0
16.257 * * [simplify]: Extracting # 4 : cost  0
16.257 * * [simplify]: Extracting # 5 : cost  0
16.257 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
16.258 * * [simplify]: Extracting # 0 : cost  0
16.258 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
16.258 * * [simplify]: Extracting # 0 : cost  0
16.258 * * [simplify]: iteration done:  8  enodes  (cost  7 )
16.258 * [simplify]: Simplified to:
  (+ x (* y (/ y z)))
17.397 * [regime-testing]: Baseline error score: 0.09351168896112014
17.399 * [regime-testing]: Oracle error score: 0.012626578322290286
17.403 * [regime-testing]: End program error score: 0.09351168896112014
17.424 * [regime-testing]: Target error score: 0.09351168896112014