24.980 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (/ (* (/ y z) t) t))
0.022 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.023 * * [simplify]: iteration  1 :  16  enodes  (cost  9 )
0.025 * * [simplify]: iteration  2 :  40  enodes  (cost  7 )
0.032 * * [simplify]: iteration  3 :  98  enodes  (cost  5 )
0.081 * * [simplify]: iteration  4 :  411  enodes  (cost  5 )
1.576 * * [simplify]: iteration  5 :  2432  enodes  (cost  5 )
8.087 * * [simplify]: iteration  done :  5001  enodes  (cost  5 )
8.087 * [simplify]: Simplified to:
   (* x (/ y z))
8.094 * * [progress]: iteration 1 / 4
8.094 * * * [progress]: picking best candidate
8.097 * * * * [pick]: Picked  #<alt (λ (x y z t) (* x (/ y z)))>
8.097 * * * [progress]: localizing error
8.101 * * * [progress]: generating rewritten candidates
8.101 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.110 * * * [progress]: generating series expansions
8.110 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.110 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
8.110 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
8.110 * [taylor]: Taking taylor expansion of (* x y) in z
8.110 * [taylor]: Taking taylor expansion of x in z
8.110 * [taylor]: Taking taylor expansion of y in z
8.110 * [taylor]: Taking taylor expansion of z in z
8.110 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
8.110 * [taylor]: Taking taylor expansion of (* x y) in y
8.110 * [taylor]: Taking taylor expansion of x in y
8.110 * [taylor]: Taking taylor expansion of y in y
8.110 * [taylor]: Taking taylor expansion of z in y
8.111 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.111 * [taylor]: Taking taylor expansion of (* x y) in x
8.111 * [taylor]: Taking taylor expansion of x in x
8.111 * [taylor]: Taking taylor expansion of y in x
8.111 * [taylor]: Taking taylor expansion of z in x
8.111 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
8.111 * [taylor]: Taking taylor expansion of (* x y) in x
8.111 * [taylor]: Taking taylor expansion of x in x
8.111 * [taylor]: Taking taylor expansion of y in x
8.111 * [taylor]: Taking taylor expansion of z in x
8.112 * [taylor]: Taking taylor expansion of (/ y z) in y
8.112 * [taylor]: Taking taylor expansion of y in y
8.112 * [taylor]: Taking taylor expansion of z in y
8.112 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.112 * [taylor]: Taking taylor expansion of z in z
8.113 * [taylor]: Taking taylor expansion of 0 in y
8.113 * [taylor]: Taking taylor expansion of 0 in z
8.113 * [taylor]: Taking taylor expansion of 0 in z
8.114 * [taylor]: Taking taylor expansion of 0 in y
8.114 * [taylor]: Taking taylor expansion of 0 in z
8.114 * [taylor]: Taking taylor expansion of 0 in z
8.114 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in y
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.117 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
8.117 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
8.117 * [taylor]: Taking taylor expansion of z in z
8.117 * [taylor]: Taking taylor expansion of (* x y) in z
8.117 * [taylor]: Taking taylor expansion of x in z
8.117 * [taylor]: Taking taylor expansion of y in z
8.117 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
8.117 * [taylor]: Taking taylor expansion of z in y
8.117 * [taylor]: Taking taylor expansion of (* x y) in y
8.117 * [taylor]: Taking taylor expansion of x in y
8.117 * [taylor]: Taking taylor expansion of y in y
8.117 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.117 * [taylor]: Taking taylor expansion of z in x
8.117 * [taylor]: Taking taylor expansion of (* x y) in x
8.117 * [taylor]: Taking taylor expansion of x in x
8.117 * [taylor]: Taking taylor expansion of y in x
8.118 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.118 * [taylor]: Taking taylor expansion of z in x
8.118 * [taylor]: Taking taylor expansion of (* x y) in x
8.118 * [taylor]: Taking taylor expansion of x in x
8.118 * [taylor]: Taking taylor expansion of y in x
8.118 * [taylor]: Taking taylor expansion of (/ z y) in y
8.118 * [taylor]: Taking taylor expansion of z in y
8.118 * [taylor]: Taking taylor expansion of y in y
8.118 * [taylor]: Taking taylor expansion of z in z
8.119 * [taylor]: Taking taylor expansion of 0 in y
8.119 * [taylor]: Taking taylor expansion of 0 in z
8.120 * [taylor]: Taking taylor expansion of 0 in y
8.120 * [taylor]: Taking taylor expansion of 0 in z
8.121 * [taylor]: Taking taylor expansion of 0 in z
8.122 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
8.122 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
8.122 * [taylor]: Taking taylor expansion of -1 in z
8.122 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
8.122 * [taylor]: Taking taylor expansion of z in z
8.122 * [taylor]: Taking taylor expansion of (* x y) in z
8.122 * [taylor]: Taking taylor expansion of x in z
8.122 * [taylor]: Taking taylor expansion of y in z
8.122 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
8.122 * [taylor]: Taking taylor expansion of -1 in y
8.122 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
8.122 * [taylor]: Taking taylor expansion of z in y
8.122 * [taylor]: Taking taylor expansion of (* x y) in y
8.122 * [taylor]: Taking taylor expansion of x in y
8.122 * [taylor]: Taking taylor expansion of y in y
8.122 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
8.122 * [taylor]: Taking taylor expansion of -1 in x
8.122 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.122 * [taylor]: Taking taylor expansion of z in x
8.122 * [taylor]: Taking taylor expansion of (* x y) in x
8.122 * [taylor]: Taking taylor expansion of x in x
8.122 * [taylor]: Taking taylor expansion of y in x
8.123 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
8.123 * [taylor]: Taking taylor expansion of -1 in x
8.123 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
8.123 * [taylor]: Taking taylor expansion of z in x
8.123 * [taylor]: Taking taylor expansion of (* x y) in x
8.123 * [taylor]: Taking taylor expansion of x in x
8.123 * [taylor]: Taking taylor expansion of y in x
8.123 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
8.123 * [taylor]: Taking taylor expansion of -1 in y
8.123 * [taylor]: Taking taylor expansion of (/ z y) in y
8.123 * [taylor]: Taking taylor expansion of z in y
8.123 * [taylor]: Taking taylor expansion of y in y
8.123 * [taylor]: Taking taylor expansion of (* -1 z) in z
8.123 * [taylor]: Taking taylor expansion of -1 in z
8.123 * [taylor]: Taking taylor expansion of z in z
8.125 * [taylor]: Taking taylor expansion of 0 in y
8.125 * [taylor]: Taking taylor expansion of 0 in z
8.127 * [taylor]: Taking taylor expansion of 0 in y
8.127 * [taylor]: Taking taylor expansion of 0 in z
8.129 * [taylor]: Taking taylor expansion of 0 in z
8.130 * * * [progress]: simplifying candidates
8.130 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (* x (/ y z))
  (+ (log x) (- (log y) (log z)))
  (+ (log x) (log (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
  (* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (* (* (* x (/ y z)) (* x (/ y z))) (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* x (/ (* (cbrt y) (cbrt y)) 1))
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* x (/ (sqrt y) 1))
  (* x (/ 1 (* (cbrt z) (cbrt z))))
  (* x (/ 1 (sqrt z)))
  (* x (/ 1 1))
  (* x 1)
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (* x (/ y z))
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
8.132 * * [simplify]: iteration  0 :  71  enodes  (cost  289 )
8.148 * * [simplify]: iteration  1 :  168  enodes  (cost  272 )
8.182 * * [simplify]: iteration  2 :  449  enodes  (cost  242 )
8.381 * * [simplify]: iteration  3 :  1366  enodes  (cost  242 )
10.098 * * [simplify]: iteration  4 :  3721  enodes  (cost  242 )
11.937 * * [simplify]: iteration  done :  5000  enodes  (cost  242 )
11.937 * [simplify]: Simplified to:
   (expm1 (* x (/ y z)))
  (log1p (* x (/ y z)))
  (/ (* x y) z)
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (log (* x (/ y z)))
  (exp (* x (/ y z)))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (* x (/ y z))) (cbrt (* x (/ y z))))
  (cbrt (* x (/ y z)))
  (pow (/ (* x y) z) 3)
  (sqrt (* x (/ y z)))
  (sqrt (* x (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (sqrt (/ y z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* (sqrt x) (/ (sqrt y) (sqrt z)))
  (* x (* (cbrt (/ y z)) (cbrt (/ y z))))
  (* x (sqrt (/ y z)))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (sqrt z)))
  (* (* (cbrt y) (cbrt y)) x)
  (* x (/ (sqrt y) (* (cbrt z) (cbrt z))))
  (* x (/ (sqrt y) (sqrt z)))
  (* (sqrt y) x)
  (/ x (* (cbrt z) (cbrt z)))
  (/ x (sqrt z))
  x
  x
  (* x y)
  (* (cbrt x) (/ y z))
  (* (sqrt x) (/ y z))
  (/ (* x y) z)
  (* x y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
11.937 * * * [progress]: adding candidates to table
12.009 * * [progress]: iteration 2 / 4
12.010 * * * [progress]: picking best candidate
12.023 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (cbrt y) (cbrt z))))>
12.023 * * * [progress]: localizing error
12.035 * * * [progress]: generating rewritten candidates
12.035 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
12.054 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
12.055 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2)
12.055 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1)
12.057 * * * [progress]: generating series expansions
12.057 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
12.057 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0
12.057 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z
12.057 * [taylor]: Taking taylor expansion of x in z
12.057 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z
12.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z
12.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z
12.057 * [taylor]: Taking taylor expansion of 1/3 in z
12.057 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z
12.057 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z
12.057 * [taylor]: Taking taylor expansion of (pow y 2) in z
12.057 * [taylor]: Taking taylor expansion of y in z
12.057 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.057 * [taylor]: Taking taylor expansion of z in z
12.059 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y
12.059 * [taylor]: Taking taylor expansion of x in y
12.059 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
12.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
12.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
12.059 * [taylor]: Taking taylor expansion of 1/3 in y
12.059 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
12.059 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
12.059 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.059 * [taylor]: Taking taylor expansion of y in y
12.059 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.059 * [taylor]: Taking taylor expansion of z in y
12.060 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
12.060 * [taylor]: Taking taylor expansion of x in x
12.060 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
12.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
12.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
12.060 * [taylor]: Taking taylor expansion of 1/3 in x
12.060 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
12.060 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
12.060 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.060 * [taylor]: Taking taylor expansion of y in x
12.060 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.060 * [taylor]: Taking taylor expansion of z in x
12.061 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x
12.061 * [taylor]: Taking taylor expansion of x in x
12.061 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x
12.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x
12.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x
12.061 * [taylor]: Taking taylor expansion of 1/3 in x
12.061 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x
12.061 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x
12.061 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.061 * [taylor]: Taking taylor expansion of y in x
12.061 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.061 * [taylor]: Taking taylor expansion of z in x
12.061 * [taylor]: Taking taylor expansion of 0 in y
12.061 * [taylor]: Taking taylor expansion of 0 in z
12.067 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y
12.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y
12.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y
12.067 * [taylor]: Taking taylor expansion of 1/3 in y
12.067 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y
12.067 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y
12.067 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.067 * [taylor]: Taking taylor expansion of y in y
12.067 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.067 * [taylor]: Taking taylor expansion of z in y
12.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y))))) in z
12.068 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (pow z 2))) (* 2 (log y)))) in z
12.068 * [taylor]: Taking taylor expansion of 1/3 in z
12.068 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (pow z 2))) (* 2 (log y))) in z
12.068 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
12.068 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
12.068 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.068 * [taylor]: Taking taylor expansion of z in z
12.069 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
12.069 * [taylor]: Taking taylor expansion of 2 in z
12.069 * [taylor]: Taking taylor expansion of (log y) in z
12.069 * [taylor]: Taking taylor expansion of y in z
12.070 * [taylor]: Taking taylor expansion of 0 in z
12.074 * [taylor]: Taking taylor expansion of 0 in y
12.074 * [taylor]: Taking taylor expansion of 0 in z
12.077 * [taylor]: Taking taylor expansion of 0 in z
12.077 * [taylor]: Taking taylor expansion of 0 in z
12.081 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0
12.081 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
12.081 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.081 * [taylor]: Taking taylor expansion of x in z
12.081 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
12.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
12.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
12.081 * [taylor]: Taking taylor expansion of 1/3 in z
12.081 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
12.081 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
12.081 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.081 * [taylor]: Taking taylor expansion of z in z
12.081 * [taylor]: Taking taylor expansion of (pow y 2) in z
12.081 * [taylor]: Taking taylor expansion of y in z
12.082 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
12.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.082 * [taylor]: Taking taylor expansion of x in y
12.082 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
12.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
12.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
12.083 * [taylor]: Taking taylor expansion of 1/3 in y
12.083 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
12.083 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
12.083 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.083 * [taylor]: Taking taylor expansion of z in y
12.083 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.083 * [taylor]: Taking taylor expansion of y in y
12.084 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
12.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.084 * [taylor]: Taking taylor expansion of x in x
12.084 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
12.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
12.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
12.084 * [taylor]: Taking taylor expansion of 1/3 in x
12.084 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
12.084 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
12.084 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.084 * [taylor]: Taking taylor expansion of z in x
12.084 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.084 * [taylor]: Taking taylor expansion of y in x
12.085 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
12.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.085 * [taylor]: Taking taylor expansion of x in x
12.085 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
12.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
12.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
12.085 * [taylor]: Taking taylor expansion of 1/3 in x
12.085 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
12.085 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
12.085 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.085 * [taylor]: Taking taylor expansion of z in x
12.085 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.085 * [taylor]: Taking taylor expansion of y in x
12.086 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
12.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
12.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
12.086 * [taylor]: Taking taylor expansion of 1/3 in y
12.086 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
12.086 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
12.086 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.086 * [taylor]: Taking taylor expansion of z in y
12.086 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.086 * [taylor]: Taking taylor expansion of y in y
12.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
12.087 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
12.087 * [taylor]: Taking taylor expansion of 1/3 in z
12.087 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
12.087 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
12.087 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.087 * [taylor]: Taking taylor expansion of z in z
12.088 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
12.088 * [taylor]: Taking taylor expansion of 2 in z
12.088 * [taylor]: Taking taylor expansion of (log y) in z
12.088 * [taylor]: Taking taylor expansion of y in z
12.091 * [taylor]: Taking taylor expansion of 0 in y
12.091 * [taylor]: Taking taylor expansion of 0 in z
12.094 * [taylor]: Taking taylor expansion of 0 in z
12.102 * [taylor]: Taking taylor expansion of 0 in y
12.102 * [taylor]: Taking taylor expansion of 0 in z
12.102 * [taylor]: Taking taylor expansion of 0 in z
12.107 * [taylor]: Taking taylor expansion of 0 in z
12.107 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0
12.107 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z
12.107 * [taylor]: Taking taylor expansion of -1 in z
12.107 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z
12.107 * [taylor]: Taking taylor expansion of (/ 1 x) in z
12.107 * [taylor]: Taking taylor expansion of x in z
12.107 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z
12.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z
12.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z
12.107 * [taylor]: Taking taylor expansion of 1/3 in z
12.108 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z
12.108 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z
12.108 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.108 * [taylor]: Taking taylor expansion of z in z
12.108 * [taylor]: Taking taylor expansion of (pow y 2) in z
12.108 * [taylor]: Taking taylor expansion of y in z
12.109 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y
12.109 * [taylor]: Taking taylor expansion of -1 in y
12.109 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
12.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y
12.109 * [taylor]: Taking taylor expansion of x in y
12.109 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
12.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
12.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
12.109 * [taylor]: Taking taylor expansion of 1/3 in y
12.109 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
12.109 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
12.109 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.109 * [taylor]: Taking taylor expansion of z in y
12.109 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.109 * [taylor]: Taking taylor expansion of y in y
12.110 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
12.110 * [taylor]: Taking taylor expansion of -1 in x
12.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
12.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.110 * [taylor]: Taking taylor expansion of x in x
12.110 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
12.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
12.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
12.110 * [taylor]: Taking taylor expansion of 1/3 in x
12.110 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
12.110 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
12.110 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.110 * [taylor]: Taking taylor expansion of z in x
12.110 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.110 * [taylor]: Taking taylor expansion of y in x
12.111 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x
12.111 * [taylor]: Taking taylor expansion of -1 in x
12.111 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x
12.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
12.111 * [taylor]: Taking taylor expansion of x in x
12.111 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x
12.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x
12.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x
12.111 * [taylor]: Taking taylor expansion of 1/3 in x
12.111 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x
12.111 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x
12.111 * [taylor]: Taking taylor expansion of (pow z 2) in x
12.111 * [taylor]: Taking taylor expansion of z in x
12.111 * [taylor]: Taking taylor expansion of (pow y 2) in x
12.111 * [taylor]: Taking taylor expansion of y in x
12.112 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y
12.112 * [taylor]: Taking taylor expansion of -1 in y
12.112 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y
12.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y
12.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y
12.112 * [taylor]: Taking taylor expansion of 1/3 in y
12.112 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y
12.112 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y
12.112 * [taylor]: Taking taylor expansion of (pow z 2) in y
12.112 * [taylor]: Taking taylor expansion of z in y
12.112 * [taylor]: Taking taylor expansion of (pow y 2) in y
12.112 * [taylor]: Taking taylor expansion of y in y
12.113 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z
12.113 * [taylor]: Taking taylor expansion of -1 in z
12.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z
12.114 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z
12.114 * [taylor]: Taking taylor expansion of 1/3 in z
12.114 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z
12.114 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
12.114 * [taylor]: Taking taylor expansion of (pow z 2) in z
12.114 * [taylor]: Taking taylor expansion of z in z
12.114 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z
12.114 * [taylor]: Taking taylor expansion of 2 in z
12.114 * [taylor]: Taking taylor expansion of (log y) in z
12.114 * [taylor]: Taking taylor expansion of y in z
12.118 * [taylor]: Taking taylor expansion of 0 in y
12.118 * [taylor]: Taking taylor expansion of 0 in z
12.121 * [taylor]: Taking taylor expansion of 0 in z
12.131 * [taylor]: Taking taylor expansion of 0 in y
12.131 * [taylor]: Taking taylor expansion of 0 in z
12.131 * [taylor]: Taking taylor expansion of 0 in z
12.137 * [taylor]: Taking taylor expansion of 0 in z
12.137 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
12.137 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
12.137 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.137 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.137 * [taylor]: Taking taylor expansion of 1/3 in z
12.137 * [taylor]: Taking taylor expansion of (log z) in z
12.137 * [taylor]: Taking taylor expansion of z in z
12.138 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.138 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.138 * [taylor]: Taking taylor expansion of 1/3 in z
12.138 * [taylor]: Taking taylor expansion of (log z) in z
12.138 * [taylor]: Taking taylor expansion of z in z
12.189 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
12.189 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.189 * [taylor]: Taking taylor expansion of 1/3 in z
12.189 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.189 * [taylor]: Taking taylor expansion of z in z
12.190 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.190 * [taylor]: Taking taylor expansion of 1/3 in z
12.190 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.190 * [taylor]: Taking taylor expansion of z in z
12.245 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
12.245 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.245 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.245 * [taylor]: Taking taylor expansion of -1 in z
12.246 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.246 * [taylor]: Taking taylor expansion of 1/3 in z
12.246 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.246 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.246 * [taylor]: Taking taylor expansion of z in z
12.247 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.247 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.247 * [taylor]: Taking taylor expansion of -1 in z
12.248 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.248 * [taylor]: Taking taylor expansion of 1/3 in z
12.248 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.248 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.248 * [taylor]: Taking taylor expansion of z in z
12.314 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2)
12.314 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
12.314 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.314 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.315 * [taylor]: Taking taylor expansion of 1/3 in z
12.315 * [taylor]: Taking taylor expansion of (log z) in z
12.315 * [taylor]: Taking taylor expansion of z in z
12.315 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.315 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.315 * [taylor]: Taking taylor expansion of 1/3 in z
12.315 * [taylor]: Taking taylor expansion of (log z) in z
12.315 * [taylor]: Taking taylor expansion of z in z
12.364 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
12.364 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.364 * [taylor]: Taking taylor expansion of 1/3 in z
12.364 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.364 * [taylor]: Taking taylor expansion of z in z
12.365 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.365 * [taylor]: Taking taylor expansion of 1/3 in z
12.365 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.365 * [taylor]: Taking taylor expansion of z in z
12.423 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
12.423 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.423 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.423 * [taylor]: Taking taylor expansion of -1 in z
12.424 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.424 * [taylor]: Taking taylor expansion of 1/3 in z
12.424 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.424 * [taylor]: Taking taylor expansion of z in z
12.425 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.425 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.425 * [taylor]: Taking taylor expansion of -1 in z
12.426 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.426 * [taylor]: Taking taylor expansion of 1/3 in z
12.426 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.426 * [taylor]: Taking taylor expansion of z in z
12.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1)
12.494 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
12.494 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.494 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.494 * [taylor]: Taking taylor expansion of 1/3 in z
12.494 * [taylor]: Taking taylor expansion of (log z) in z
12.494 * [taylor]: Taking taylor expansion of z in z
12.495 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
12.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
12.495 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
12.495 * [taylor]: Taking taylor expansion of 1/3 in z
12.495 * [taylor]: Taking taylor expansion of (log z) in z
12.495 * [taylor]: Taking taylor expansion of z in z
12.549 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
12.549 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.549 * [taylor]: Taking taylor expansion of 1/3 in z
12.549 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.549 * [taylor]: Taking taylor expansion of z in z
12.550 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.550 * [taylor]: Taking taylor expansion of 1/3 in z
12.550 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.550 * [taylor]: Taking taylor expansion of z in z
12.600 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
12.600 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.601 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.601 * [taylor]: Taking taylor expansion of -1 in z
12.601 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.601 * [taylor]: Taking taylor expansion of 1/3 in z
12.601 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.601 * [taylor]: Taking taylor expansion of z in z
12.602 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
12.602 * [taylor]: Taking taylor expansion of (cbrt -1) in z
12.602 * [taylor]: Taking taylor expansion of -1 in z
12.603 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
12.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
12.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
12.603 * [taylor]: Taking taylor expansion of 1/3 in z
12.603 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
12.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z
12.603 * [taylor]: Taking taylor expansion of z in z
12.672 * * * [progress]: simplifying candidates
12.673 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log1p (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z)))))
  (+ (log x) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z)))))
  (+ (log x) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (log (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* y y) (* z z)))
  (* (* (* x x) x) (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z)))
  (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
  (* (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))))
  (* x (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))
  (* x (/ (cbrt y) (cbrt z)))
  (* x 1)
  (* x (* (cbrt y) (cbrt y)))
  (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (* (exp (* 1/3 (- (* 2 (log y)) (* 2 (log z))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))) x)
  (* (exp (* 1/3 (- (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))) x)
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
12.676 * * [simplify]: iteration  0 :  119  enodes  (cost  828 )
12.705 * * [simplify]: iteration  1 :  310  enodes  (cost  793 )
12.774 * * [simplify]: iteration  2 :  1093  enodes  (cost  599 )
13.470 * * [simplify]: iteration  done :  5001  enodes  (cost  599 )
13.470 * [simplify]: Simplified to:
   (expm1 (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log1p (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (log (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (exp (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (* (/ (* y y) (* z z)) (pow x 3))
  (/ (pow x 3) (/ (pow (pow z 2/3) 3) (* y y)))
  (* (/ (/ (pow (* (cbrt y) (cbrt y)) 3) z) z) (pow x 3))
  (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3)
  (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3)
  (* (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)) (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)))
  (cbrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (pow (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x) 3)
  (sqrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (sqrt (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x))
  (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x))
  (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (sqrt x) (/ (cbrt y) (cbrt z)))
  (* (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) (* (cbrt (/ (* (cbrt y) (cbrt y)) (pow z 2/3))) x))
  (* (fabs (/ (cbrt y) (cbrt z))) x)
  (* x (/ (cbrt y) (cbrt z)))
  x
  (* x (* (cbrt y) (cbrt y)))
  (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) (cbrt x))
  (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) (sqrt x))
  (* (/ (* (cbrt y) (cbrt y)) (pow z 2/3)) x)
  (* x (* (cbrt y) (cbrt y)))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow z 2/3))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow z 2/3))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (pow z 2/3))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (pow (cbrt z) 3)
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (* (exp (* 2/3 (- (log y) (log z)))) x)
  (* x (exp (* 2/3 (- (- (log z)) (- (log y))))))
  (* (exp (* 2/3 (- (log (/ -1 z)) (log (/ -1 y))))) x)
  (cbrt z)
  (pow (/ 1 z) -1/3)
  (* (cbrt (- z)) (cbrt -1))
  (cbrt z)
  (pow (/ 1 z) -1/3)
  (* (cbrt (- z)) (cbrt -1))
  (cbrt z)
  (pow (/ 1 z) -1/3)
  (* (cbrt (- z)) (cbrt -1))
13.471 * * * [progress]: adding candidates to table
13.719 * * [progress]: iteration 3 / 4
13.719 * * * [progress]: picking best candidate
13.730 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (* x y) z))>
13.730 * * * [progress]: localizing error
13.734 * * * [progress]: generating rewritten candidates
13.734 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.738 * * * [progress]: generating series expansions
13.738 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.738 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0
13.738 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
13.738 * [taylor]: Taking taylor expansion of (* x y) in z
13.738 * [taylor]: Taking taylor expansion of x in z
13.738 * [taylor]: Taking taylor expansion of y in z
13.738 * [taylor]: Taking taylor expansion of z in z
13.738 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
13.738 * [taylor]: Taking taylor expansion of (* x y) in y
13.738 * [taylor]: Taking taylor expansion of x in y
13.738 * [taylor]: Taking taylor expansion of y in y
13.738 * [taylor]: Taking taylor expansion of z in y
13.739 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
13.739 * [taylor]: Taking taylor expansion of (* x y) in x
13.739 * [taylor]: Taking taylor expansion of x in x
13.739 * [taylor]: Taking taylor expansion of y in x
13.739 * [taylor]: Taking taylor expansion of z in x
13.739 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
13.739 * [taylor]: Taking taylor expansion of (* x y) in x
13.739 * [taylor]: Taking taylor expansion of x in x
13.739 * [taylor]: Taking taylor expansion of y in x
13.740 * [taylor]: Taking taylor expansion of z in x
13.740 * [taylor]: Taking taylor expansion of (/ y z) in y
13.740 * [taylor]: Taking taylor expansion of y in y
13.740 * [taylor]: Taking taylor expansion of z in y
13.740 * [taylor]: Taking taylor expansion of (/ 1 z) in z
13.740 * [taylor]: Taking taylor expansion of z in z
13.741 * [taylor]: Taking taylor expansion of 0 in y
13.741 * [taylor]: Taking taylor expansion of 0 in z
13.741 * [taylor]: Taking taylor expansion of 0 in z
13.742 * [taylor]: Taking taylor expansion of 0 in y
13.742 * [taylor]: Taking taylor expansion of 0 in z
13.742 * [taylor]: Taking taylor expansion of 0 in z
13.743 * [taylor]: Taking taylor expansion of 0 in z
13.744 * [taylor]: Taking taylor expansion of 0 in y
13.744 * [taylor]: Taking taylor expansion of 0 in z
13.744 * [taylor]: Taking taylor expansion of 0 in z
13.744 * [taylor]: Taking taylor expansion of 0 in z
13.745 * [taylor]: Taking taylor expansion of 0 in z
13.745 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0
13.745 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
13.745 * [taylor]: Taking taylor expansion of z in z
13.745 * [taylor]: Taking taylor expansion of (* x y) in z
13.745 * [taylor]: Taking taylor expansion of x in z
13.745 * [taylor]: Taking taylor expansion of y in z
13.745 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.745 * [taylor]: Taking taylor expansion of z in y
13.745 * [taylor]: Taking taylor expansion of (* x y) in y
13.745 * [taylor]: Taking taylor expansion of x in y
13.745 * [taylor]: Taking taylor expansion of y in y
13.746 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.746 * [taylor]: Taking taylor expansion of z in x
13.746 * [taylor]: Taking taylor expansion of (* x y) in x
13.746 * [taylor]: Taking taylor expansion of x in x
13.746 * [taylor]: Taking taylor expansion of y in x
13.746 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.746 * [taylor]: Taking taylor expansion of z in x
13.746 * [taylor]: Taking taylor expansion of (* x y) in x
13.746 * [taylor]: Taking taylor expansion of x in x
13.746 * [taylor]: Taking taylor expansion of y in x
13.747 * [taylor]: Taking taylor expansion of (/ z y) in y
13.747 * [taylor]: Taking taylor expansion of z in y
13.747 * [taylor]: Taking taylor expansion of y in y
13.747 * [taylor]: Taking taylor expansion of z in z
13.747 * [taylor]: Taking taylor expansion of 0 in y
13.748 * [taylor]: Taking taylor expansion of 0 in z
13.749 * [taylor]: Taking taylor expansion of 0 in y
13.749 * [taylor]: Taking taylor expansion of 0 in z
13.750 * [taylor]: Taking taylor expansion of 0 in z
13.750 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0
13.750 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
13.750 * [taylor]: Taking taylor expansion of -1 in z
13.750 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
13.750 * [taylor]: Taking taylor expansion of z in z
13.750 * [taylor]: Taking taylor expansion of (* x y) in z
13.750 * [taylor]: Taking taylor expansion of x in z
13.750 * [taylor]: Taking taylor expansion of y in z
13.750 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
13.750 * [taylor]: Taking taylor expansion of -1 in y
13.750 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
13.750 * [taylor]: Taking taylor expansion of z in y
13.750 * [taylor]: Taking taylor expansion of (* x y) in y
13.750 * [taylor]: Taking taylor expansion of x in y
13.750 * [taylor]: Taking taylor expansion of y in y
13.754 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
13.754 * [taylor]: Taking taylor expansion of -1 in x
13.754 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.754 * [taylor]: Taking taylor expansion of z in x
13.754 * [taylor]: Taking taylor expansion of (* x y) in x
13.754 * [taylor]: Taking taylor expansion of x in x
13.754 * [taylor]: Taking taylor expansion of y in x
13.755 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
13.755 * [taylor]: Taking taylor expansion of -1 in x
13.755 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
13.755 * [taylor]: Taking taylor expansion of z in x
13.755 * [taylor]: Taking taylor expansion of (* x y) in x
13.755 * [taylor]: Taking taylor expansion of x in x
13.755 * [taylor]: Taking taylor expansion of y in x
13.755 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
13.755 * [taylor]: Taking taylor expansion of -1 in y
13.755 * [taylor]: Taking taylor expansion of (/ z y) in y
13.755 * [taylor]: Taking taylor expansion of z in y
13.755 * [taylor]: Taking taylor expansion of y in y
13.755 * [taylor]: Taking taylor expansion of (* -1 z) in z
13.755 * [taylor]: Taking taylor expansion of -1 in z
13.755 * [taylor]: Taking taylor expansion of z in z
13.757 * [taylor]: Taking taylor expansion of 0 in y
13.758 * [taylor]: Taking taylor expansion of 0 in z
13.760 * [taylor]: Taking taylor expansion of 0 in y
13.760 * [taylor]: Taking taylor expansion of 0 in z
13.761 * [taylor]: Taking taylor expansion of 0 in z
13.762 * * * [progress]: simplifying candidates
13.762 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (- (+ (log x) (log y)) (log z))
  (- (log (* x y)) (log z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) z))
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (* (* (/ (* x y) z) (/ (* x y) z)) (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  (/ x 1)
  (/ y z)
  (/ 1 z)
  (/ z (* x y))
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (/ (* x y) 1)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
13.764 * * [simplify]: iteration  0 :  50  enodes  (cost  198 )
13.773 * * [simplify]: iteration  1 :  113  enodes  (cost  191 )
13.795 * * [simplify]: iteration  2 :  385  enodes  (cost  161 )
14.129 * * [simplify]: iteration  3 :  1802  enodes  (cost  161 )
15.903 * * [simplify]: iteration  done :  5000  enodes  (cost  161 )
15.903 * [simplify]: Simplified to:
   (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (log (/ (* x y) z))
  (exp (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (pow (/ (* x y) z) 3)
  (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z)))
  (cbrt (/ (* x y) z))
  (pow (/ (* x y) z) 3)
  (sqrt (/ (* x y) z))
  (sqrt (/ (* x y) z))
  (- (* x y))
  (- z)
  (/ x (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ x (sqrt z))
  (/ y (sqrt z))
  x
  (/ y z)
  (/ 1 z)
  (/ (/ z x) y)
  (/ (* x y) (* (cbrt z) (cbrt z)))
  (/ (* x y) (sqrt z))
  (* x y)
  (/ z y)
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
15.904 * * * [progress]: adding candidates to table
15.943 * * [progress]: iteration 4 / 4
15.943 * * * [progress]: picking best candidate
15.949 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))>
15.949 * * * [progress]: localizing error
15.955 * * * [progress]: generating rewritten candidates
15.955 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
15.960 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
15.992 * * * [progress]: generating series expansions
15.992 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
15.992 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
15.993 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
15.993 * [taylor]: Taking taylor expansion of z in y
15.993 * [taylor]: Taking taylor expansion of (* x y) in y
15.993 * [taylor]: Taking taylor expansion of x in y
15.993 * [taylor]: Taking taylor expansion of y in y
15.993 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
15.993 * [taylor]: Taking taylor expansion of z in x
15.993 * [taylor]: Taking taylor expansion of (* x y) in x
15.993 * [taylor]: Taking taylor expansion of x in x
15.993 * [taylor]: Taking taylor expansion of y in x
15.994 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
15.994 * [taylor]: Taking taylor expansion of z in z
15.994 * [taylor]: Taking taylor expansion of (* x y) in z
15.994 * [taylor]: Taking taylor expansion of x in z
15.994 * [taylor]: Taking taylor expansion of y in z
15.994 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
15.994 * [taylor]: Taking taylor expansion of z in z
15.994 * [taylor]: Taking taylor expansion of (* x y) in z
15.994 * [taylor]: Taking taylor expansion of x in z
15.994 * [taylor]: Taking taylor expansion of y in z
15.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
15.994 * [taylor]: Taking taylor expansion of (* x y) in x
15.994 * [taylor]: Taking taylor expansion of x in x
15.994 * [taylor]: Taking taylor expansion of y in x
15.994 * [taylor]: Taking taylor expansion of (/ 1 y) in y
15.994 * [taylor]: Taking taylor expansion of y in y
15.995 * [taylor]: Taking taylor expansion of 0 in x
15.995 * [taylor]: Taking taylor expansion of 0 in y
15.996 * [taylor]: Taking taylor expansion of 0 in x
15.996 * [taylor]: Taking taylor expansion of 0 in y
15.997 * [taylor]: Taking taylor expansion of 0 in y
15.999 * [taylor]: Taking taylor expansion of 0 in x
15.999 * [taylor]: Taking taylor expansion of 0 in y
15.999 * [taylor]: Taking taylor expansion of 0 in y
16.000 * [taylor]: Taking taylor expansion of 0 in y
16.000 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
16.000 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
16.000 * [taylor]: Taking taylor expansion of (* x y) in y
16.000 * [taylor]: Taking taylor expansion of x in y
16.000 * [taylor]: Taking taylor expansion of y in y
16.000 * [taylor]: Taking taylor expansion of z in y
16.001 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
16.001 * [taylor]: Taking taylor expansion of (* x y) in x
16.001 * [taylor]: Taking taylor expansion of x in x
16.001 * [taylor]: Taking taylor expansion of y in x
16.001 * [taylor]: Taking taylor expansion of z in x
16.001 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.001 * [taylor]: Taking taylor expansion of (* x y) in z
16.001 * [taylor]: Taking taylor expansion of x in z
16.001 * [taylor]: Taking taylor expansion of y in z
16.001 * [taylor]: Taking taylor expansion of z in z
16.001 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.001 * [taylor]: Taking taylor expansion of (* x y) in z
16.001 * [taylor]: Taking taylor expansion of x in z
16.001 * [taylor]: Taking taylor expansion of y in z
16.001 * [taylor]: Taking taylor expansion of z in z
16.001 * [taylor]: Taking taylor expansion of (* x y) in x
16.001 * [taylor]: Taking taylor expansion of x in x
16.001 * [taylor]: Taking taylor expansion of y in x
16.002 * [taylor]: Taking taylor expansion of y in y
16.002 * [taylor]: Taking taylor expansion of 0 in x
16.002 * [taylor]: Taking taylor expansion of 0 in y
16.003 * [taylor]: Taking taylor expansion of 0 in y
16.004 * [taylor]: Taking taylor expansion of 0 in x
16.004 * [taylor]: Taking taylor expansion of 0 in y
16.004 * [taylor]: Taking taylor expansion of 0 in y
16.005 * [taylor]: Taking taylor expansion of 0 in y
16.005 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z x y) around 0
16.005 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y
16.005 * [taylor]: Taking taylor expansion of -1 in y
16.005 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
16.005 * [taylor]: Taking taylor expansion of (* x y) in y
16.005 * [taylor]: Taking taylor expansion of x in y
16.005 * [taylor]: Taking taylor expansion of y in y
16.005 * [taylor]: Taking taylor expansion of z in y
16.006 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x
16.006 * [taylor]: Taking taylor expansion of -1 in x
16.006 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
16.006 * [taylor]: Taking taylor expansion of (* x y) in x
16.006 * [taylor]: Taking taylor expansion of x in x
16.006 * [taylor]: Taking taylor expansion of y in x
16.006 * [taylor]: Taking taylor expansion of z in x
16.006 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
16.006 * [taylor]: Taking taylor expansion of -1 in z
16.006 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.006 * [taylor]: Taking taylor expansion of (* x y) in z
16.006 * [taylor]: Taking taylor expansion of x in z
16.006 * [taylor]: Taking taylor expansion of y in z
16.006 * [taylor]: Taking taylor expansion of z in z
16.006 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z
16.006 * [taylor]: Taking taylor expansion of -1 in z
16.006 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.006 * [taylor]: Taking taylor expansion of (* x y) in z
16.006 * [taylor]: Taking taylor expansion of x in z
16.006 * [taylor]: Taking taylor expansion of y in z
16.006 * [taylor]: Taking taylor expansion of z in z
16.007 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in x
16.007 * [taylor]: Taking taylor expansion of -1 in x
16.007 * [taylor]: Taking taylor expansion of (* x y) in x
16.007 * [taylor]: Taking taylor expansion of x in x
16.007 * [taylor]: Taking taylor expansion of y in x
16.007 * [taylor]: Taking taylor expansion of (- y) in y
16.007 * [taylor]: Taking taylor expansion of y in y
16.008 * [taylor]: Taking taylor expansion of 0 in x
16.008 * [taylor]: Taking taylor expansion of 0 in y
16.009 * [taylor]: Taking taylor expansion of 0 in y
16.011 * [taylor]: Taking taylor expansion of 0 in x
16.011 * [taylor]: Taking taylor expansion of 0 in y
16.012 * [taylor]: Taking taylor expansion of 0 in y
16.013 * [taylor]: Taking taylor expansion of 0 in y
16.013 * * * * [progress]: [ 2 / 2 ] generating series at (2)
16.013 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z x y) around 0
16.013 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y
16.013 * [taylor]: Taking taylor expansion of (* x y) in y
16.013 * [taylor]: Taking taylor expansion of x in y
16.013 * [taylor]: Taking taylor expansion of y in y
16.013 * [taylor]: Taking taylor expansion of z in y
16.014 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x
16.014 * [taylor]: Taking taylor expansion of (* x y) in x
16.014 * [taylor]: Taking taylor expansion of x in x
16.014 * [taylor]: Taking taylor expansion of y in x
16.014 * [taylor]: Taking taylor expansion of z in x
16.014 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.014 * [taylor]: Taking taylor expansion of (* x y) in z
16.014 * [taylor]: Taking taylor expansion of x in z
16.014 * [taylor]: Taking taylor expansion of y in z
16.014 * [taylor]: Taking taylor expansion of z in z
16.014 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z
16.014 * [taylor]: Taking taylor expansion of (* x y) in z
16.014 * [taylor]: Taking taylor expansion of x in z
16.014 * [taylor]: Taking taylor expansion of y in z
16.014 * [taylor]: Taking taylor expansion of z in z
16.014 * [taylor]: Taking taylor expansion of (* x y) in x
16.014 * [taylor]: Taking taylor expansion of x in x
16.015 * [taylor]: Taking taylor expansion of y in x
16.015 * [taylor]: Taking taylor expansion of y in y
16.015 * [taylor]: Taking taylor expansion of 0 in x
16.015 * [taylor]: Taking taylor expansion of 0 in y
16.016 * [taylor]: Taking taylor expansion of 0 in y
16.017 * [taylor]: Taking taylor expansion of 0 in x
16.017 * [taylor]: Taking taylor expansion of 0 in y
16.017 * [taylor]: Taking taylor expansion of 0 in y
16.018 * [taylor]: Taking taylor expansion of 0 in y
16.018 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z x y) around 0
16.018 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
16.018 * [taylor]: Taking taylor expansion of z in y
16.018 * [taylor]: Taking taylor expansion of (* x y) in y
16.018 * [taylor]: Taking taylor expansion of x in y
16.018 * [taylor]: Taking taylor expansion of y in y
16.019 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
16.019 * [taylor]: Taking taylor expansion of z in x
16.019 * [taylor]: Taking taylor expansion of (* x y) in x
16.019 * [taylor]: Taking taylor expansion of x in x
16.019 * [taylor]: Taking taylor expansion of y in x
16.019 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
16.019 * [taylor]: Taking taylor expansion of z in z
16.019 * [taylor]: Taking taylor expansion of (* x y) in z
16.019 * [taylor]: Taking taylor expansion of x in z
16.019 * [taylor]: Taking taylor expansion of y in z
16.019 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
16.019 * [taylor]: Taking taylor expansion of z in z
16.019 * [taylor]: Taking taylor expansion of (* x y) in z
16.019 * [taylor]: Taking taylor expansion of x in z
16.019 * [taylor]: Taking taylor expansion of y in z
16.019 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
16.019 * [taylor]: Taking taylor expansion of (* x y) in x
16.019 * [taylor]: Taking taylor expansion of x in x
16.019 * [taylor]: Taking taylor expansion of y in x
16.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.020 * [taylor]: Taking taylor expansion of y in y
16.020 * [taylor]: Taking taylor expansion of 0 in x
16.021 * [taylor]: Taking taylor expansion of 0 in y
16.022 * [taylor]: Taking taylor expansion of 0 in x
16.022 * [taylor]: Taking taylor expansion of 0 in y
16.023 * [taylor]: Taking taylor expansion of 0 in y
16.024 * [taylor]: Taking taylor expansion of 0 in x
16.024 * [taylor]: Taking taylor expansion of 0 in y
16.024 * [taylor]: Taking taylor expansion of 0 in y
16.025 * [taylor]: Taking taylor expansion of 0 in y
16.025 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z x y) around 0
16.025 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y
16.025 * [taylor]: Taking taylor expansion of -1 in y
16.025 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y
16.026 * [taylor]: Taking taylor expansion of z in y
16.026 * [taylor]: Taking taylor expansion of (* x y) in y
16.026 * [taylor]: Taking taylor expansion of x in y
16.026 * [taylor]: Taking taylor expansion of y in y
16.026 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x
16.026 * [taylor]: Taking taylor expansion of -1 in x
16.026 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x
16.026 * [taylor]: Taking taylor expansion of z in x
16.026 * [taylor]: Taking taylor expansion of (* x y) in x
16.026 * [taylor]: Taking taylor expansion of x in x
16.026 * [taylor]: Taking taylor expansion of y in x
16.026 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
16.026 * [taylor]: Taking taylor expansion of -1 in z
16.026 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
16.026 * [taylor]: Taking taylor expansion of z in z
16.026 * [taylor]: Taking taylor expansion of (* x y) in z
16.026 * [taylor]: Taking taylor expansion of x in z
16.026 * [taylor]: Taking taylor expansion of y in z
16.027 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z
16.027 * [taylor]: Taking taylor expansion of -1 in z
16.027 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z
16.027 * [taylor]: Taking taylor expansion of z in z
16.027 * [taylor]: Taking taylor expansion of (* x y) in z
16.027 * [taylor]: Taking taylor expansion of x in z
16.027 * [taylor]: Taking taylor expansion of y in z
16.027 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in x
16.027 * [taylor]: Taking taylor expansion of -1 in x
16.027 * [taylor]: Taking taylor expansion of (* x y) in x
16.027 * [taylor]: Taking taylor expansion of x in x
16.027 * [taylor]: Taking taylor expansion of y in x
16.027 * [taylor]: Taking taylor expansion of (/ -1 y) in y
16.027 * [taylor]: Taking taylor expansion of -1 in y
16.027 * [taylor]: Taking taylor expansion of y in y
16.028 * [taylor]: Taking taylor expansion of 0 in x
16.029 * [taylor]: Taking taylor expansion of 0 in y
16.030 * [taylor]: Taking taylor expansion of 0 in x
16.030 * [taylor]: Taking taylor expansion of 0 in y
16.031 * [taylor]: Taking taylor expansion of 0 in y
16.033 * [taylor]: Taking taylor expansion of 0 in x
16.033 * [taylor]: Taking taylor expansion of 0 in y
16.033 * [taylor]: Taking taylor expansion of 0 in y
16.034 * [taylor]: Taking taylor expansion of 0 in y
16.035 * * * [progress]: simplifying candidates
16.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (/ z x) y))
  (log1p (/ (/ z x) y))
  (- (- (log z) (log x)) (log y))
  (- (log (/ z x)) (log y))
  (log (/ (/ z x) y))
  (exp (/ (/ z x) y))
  (/ (/ (* (* z z) z) (* (* x x) x)) (* (* y y) y))
  (/ (* (* (/ z x) (/ z x)) (/ z x)) (* (* y y) y))
  (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))
  (cbrt (/ (/ z x) y))
  (* (* (/ (/ z x) y) (/ (/ z x) y)) (/ (/ z x) y))
  (sqrt (/ (/ z x) y))
  (sqrt (/ (/ z x) y))
  (- (/ z x))
  (- y)
  (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ z x)) (cbrt y))
  (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))
  (/ (cbrt (/ z x)) (sqrt y))
  (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1)
  (/ (cbrt (/ z x)) y)
  (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ z x)) (cbrt y))
  (/ (sqrt (/ z x)) (sqrt y))
  (/ (sqrt (/ z x)) (sqrt y))
  (/ (sqrt (/ z x)) 1)
  (/ (sqrt (/ z x)) y)
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (cbrt x)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y))
  (/ (/ (cbrt z) (cbrt x)) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1)
  (/ (/ (cbrt z) (cbrt x)) y)
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) (sqrt x)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y))
  (/ (/ (cbrt z) (sqrt x)) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1)
  (/ (/ (cbrt z) (sqrt x)) y)
  (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt z) x) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y))
  (/ (/ (cbrt z) x) (sqrt y))
  (/ (/ (* (cbrt z) (cbrt z)) 1) 1)
  (/ (/ (cbrt z) x) y)
  (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) (cbrt x)) (cbrt y))
  (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y))
  (/ (/ (sqrt z) (cbrt x)) (sqrt y))
  (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1)
  (/ (/ (sqrt z) (cbrt x)) y)
  (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) (sqrt x)) (cbrt y))
  (/ (/ (sqrt z) (sqrt x)) (sqrt y))
  (/ (/ (sqrt z) (sqrt x)) (sqrt y))
  (/ (/ (sqrt z) (sqrt x)) 1)
  (/ (/ (sqrt z) (sqrt x)) y)
  (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt z) x) (cbrt y))
  (/ (/ (sqrt z) 1) (sqrt y))
  (/ (/ (sqrt z) x) (sqrt y))
  (/ (/ (sqrt z) 1) 1)
  (/ (/ (sqrt z) x) y)
  (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y)))
  (/ (/ z (cbrt x)) (cbrt y))
  (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y))
  (/ (/ z (cbrt x)) (sqrt y))
  (/ (/ 1 (* (cbrt x) (cbrt x))) 1)
  (/ (/ z (cbrt x)) y)
  (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ (/ z (sqrt x)) (cbrt y))
  (/ (/ 1 (sqrt x)) (sqrt y))
  (/ (/ z (sqrt x)) (sqrt y))
  (/ (/ 1 (sqrt x)) 1)
  (/ (/ z (sqrt x)) y)
  (/ (/ 1 1) (* (cbrt y) (cbrt y)))
  (/ (/ z x) (cbrt y))
  (/ (/ 1 1) (sqrt y))
  (/ (/ z x) (sqrt y))
  (/ (/ 1 1) 1)
  (/ (/ z x) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z x) (sqrt y))
  (/ 1 1)
  (/ (/ z x) y)
  (/ z (* (cbrt y) (cbrt y)))
  (/ (/ 1 x) (cbrt y))
  (/ z (sqrt y))
  (/ (/ 1 x) (sqrt y))
  (/ z 1)
  (/ (/ 1 x) y)
  (/ 1 y)
  (/ y (/ z x))
  (/ (/ z x) (* (cbrt y) (cbrt y)))
  (/ (/ z x) (sqrt y))
  (/ (/ z x) 1)
  (/ y (cbrt (/ z x)))
  (/ y (sqrt (/ z x)))
  (/ y (/ (cbrt z) (cbrt x)))
  (/ y (/ (cbrt z) (sqrt x)))
  (/ y (/ (cbrt z) x))
  (/ y (/ (sqrt z) (cbrt x)))
  (/ y (/ (sqrt z) (sqrt x)))
  (/ y (/ (sqrt z) x))
  (/ y (/ z (cbrt x)))
  (/ y (/ z (sqrt x)))
  (/ y (/ z x))
  (/ y (/ z x))
  (/ y (/ 1 x))
  (* y x)
  (expm1 (/ 1 (/ (/ z x) y)))
  (log1p (/ 1 (/ (/ z x) y)))
  (- 1)
  (- (- (- (log z) (log x)) (log y)))
  (- (- (log (/ z x)) (log y)))
  (- (log (/ (/ z x) y)))
  (- 0 (- (- (log z) (log x)) (log y)))
  (- 0 (- (log (/ z x)) (log y)))
  (- 0 (log (/ (/ z x) y)))
  (- (log 1) (- (- (log z) (log x)) (log y)))
  (- (log 1) (- (log (/ z x)) (log y)))
  (- (log 1) (log (/ (/ z x) y)))
  (log (/ 1 (/ (/ z x) y)))
  (exp (/ 1 (/ (/ z x) y)))
  (/ (* (* 1 1) 1) (/ (/ (* (* z z) z) (* (* x x) x)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (/ (* (* (/ z x) (/ z x)) (/ z x)) (* (* y y) y)))
  (/ (* (* 1 1) 1) (* (* (/ (/ z x) y) (/ (/ z x) y)) (/ (/ z x) y)))
  (* (cbrt (/ 1 (/ (/ z x) y))) (cbrt (/ 1 (/ (/ z x) y))))
  (cbrt (/ 1 (/ (/ z x) y)))
  (* (* (/ 1 (/ (/ z x) y)) (/ 1 (/ (/ z x) y))) (/ 1 (/ (/ z x) y)))
  (sqrt (/ 1 (/ (/ z x) y)))
  (sqrt (/ 1 (/ (/ z x) y)))
  (- 1)
  (- (/ (/ z x) y))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ (cbrt 1) (cbrt (/ (/ z x) y)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (/ z x) y)))
  (/ (cbrt 1) (sqrt (/ (/ z x) y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (cbrt (/ z x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)))
  (/ (cbrt 1) (/ (cbrt (/ z x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1))
  (/ (cbrt 1) (/ (cbrt (/ z x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (sqrt (/ z x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) (sqrt y)))
  (/ (cbrt 1) (/ (sqrt (/ z x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ z x)) 1))
  (/ (cbrt 1) (/ (sqrt (/ z x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (cbrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) (sqrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (cbrt z) x) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ (cbrt z) x) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (cbrt 1) (/ (/ (cbrt z) x) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (cbrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) (sqrt x)) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) (sqrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ (sqrt z) x) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ (sqrt z) x) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt z) 1) 1))
  (/ (cbrt 1) (/ (/ (sqrt z) x) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z (cbrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (cbrt 1) (/ (/ z (cbrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1))
  (/ (cbrt 1) (/ (/ z (cbrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z (sqrt x)) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) (sqrt y)))
  (/ (cbrt 1) (/ (/ z (sqrt x)) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt x)) 1))
  (/ (cbrt 1) (/ (/ z (sqrt x)) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z x) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (sqrt y)))
  (/ (cbrt 1) (/ (/ z x) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1))
  (/ (cbrt 1) (/ (/ z x) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ z x) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt y)))
  (/ (cbrt 1) (/ (/ z x) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (/ z x) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (* (cbrt y) (cbrt y))))
  (/ (cbrt 1) (/ (/ 1 x) (cbrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z (sqrt y)))
  (/ (cbrt 1) (/ (/ 1 x) (sqrt y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ z 1))
  (/ (cbrt 1) (/ (/ 1 x) y))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (/ z x) y))
  (/ (* (cbrt 1) (cbrt 1)) (/ z x))
  (/ (cbrt 1) (/ 1 y))
  (/ (sqrt 1) (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ (sqrt 1) (cbrt (/ (/ z x) y)))
  (/ (sqrt 1) (sqrt (/ (/ z x) y)))
  (/ (sqrt 1) (sqrt (/ (/ z x) y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (cbrt (/ z x)) (cbrt y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)))
  (/ (sqrt 1) (/ (cbrt (/ z x)) (sqrt y)))
  (/ (sqrt 1) (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1))
  (/ (sqrt 1) (/ (cbrt (/ z x)) y))
  (/ (sqrt 1) (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (sqrt (/ z x)) (cbrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z x)) (sqrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z x)) (sqrt y)))
  (/ (sqrt 1) (/ (sqrt (/ z x)) 1))
  (/ (sqrt 1) (/ (sqrt (/ z x)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (cbrt x)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) (sqrt x)) y))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (cbrt z) x) (cbrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ (cbrt z) x) (sqrt y)))
  (/ (sqrt 1) (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ (sqrt 1) (/ (/ (cbrt z) x) y))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (cbrt x)) y))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) (sqrt x)) y))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ (sqrt z) x) (cbrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) x) (sqrt y)))
  (/ (sqrt 1) (/ (/ (sqrt z) 1) 1))
  (/ (sqrt 1) (/ (/ (sqrt z) x) y))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z (cbrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ (sqrt 1) (/ (/ z (cbrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt x) (cbrt x))) 1))
  (/ (sqrt 1) (/ (/ z (cbrt x)) y))
  (/ (sqrt 1) (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z (sqrt x)) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ z (sqrt x)) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 (sqrt x)) 1))
  (/ (sqrt 1) (/ (/ z (sqrt x)) y))
  (/ (sqrt 1) (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z x) (cbrt y)))
  (/ (sqrt 1) (/ (/ 1 1) (sqrt y)))
  (/ (sqrt 1) (/ (/ z x) (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 1) 1))
  (/ (sqrt 1) (/ (/ z x) y))
  (/ (sqrt 1) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ z x) (cbrt y)))
  (/ (sqrt 1) (/ 1 (sqrt y)))
  (/ (sqrt 1) (/ (/ z x) (sqrt y)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (/ z x) y))
  (/ (sqrt 1) (/ z (* (cbrt y) (cbrt y))))
  (/ (sqrt 1) (/ (/ 1 x) (cbrt y)))
  (/ (sqrt 1) (/ z (sqrt y)))
  (/ (sqrt 1) (/ (/ 1 x) (sqrt y)))
  (/ (sqrt 1) (/ z 1))
  (/ (sqrt 1) (/ (/ 1 x) y))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (/ z x) y))
  (/ (sqrt 1) (/ z x))
  (/ (sqrt 1) (/ 1 y))
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (cbrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (cbrt (/ z x)) (cbrt y)))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)))
  (/ 1 (/ (cbrt (/ z x)) (sqrt y)))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1))
  (/ 1 (/ (cbrt (/ z x)) y))
  (/ 1 (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt (/ z x)) (cbrt y)))
  (/ 1 (/ (sqrt (/ z x)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z x)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z x)) 1))
  (/ 1 (/ (sqrt (/ z x)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) (sqrt x)) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 1))
  (/ 1 (/ (/ (cbrt z) (sqrt x)) y))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt z) x) (cbrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) (sqrt y)))
  (/ 1 (/ (/ (cbrt z) x) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) 1) 1))
  (/ 1 (/ (/ (cbrt z) x) y))
  (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) y))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) y))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) x) (cbrt y)))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) x) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ (sqrt z) x) y))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z (cbrt x)) (cbrt y)))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ z (cbrt x)) (sqrt y)))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ z (cbrt x)) y))
  (/ 1 (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z (sqrt x)) (cbrt y)))
  (/ 1 (/ (/ 1 (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ z (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ 1 (sqrt x)) 1))
  (/ 1 (/ (/ z (sqrt x)) y))
  (/ 1 (/ (/ 1 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z x) (cbrt y)))
  (/ 1 (/ (/ 1 1) (sqrt y)))
  (/ 1 (/ (/ z x) (sqrt y)))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ z x) y))
  (/ 1 (/ 1 (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ z x) (cbrt y)))
  (/ 1 (/ 1 (sqrt y)))
  (/ 1 (/ (/ z x) (sqrt y)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (/ z x) y))
  (/ 1 (/ z (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 x) (cbrt y)))
  (/ 1 (/ z (sqrt y)))
  (/ 1 (/ (/ 1 x) (sqrt y)))
  (/ 1 (/ z 1))
  (/ 1 (/ (/ 1 x) y))
  (/ 1 1)
  (/ 1 (/ (/ z x) y))
  (/ 1 (/ z x))
  (/ 1 (/ 1 y))
  (/ 1 (/ (/ z x) y))
  (/ (/ (/ z x) y) 1)
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y)))
  (/ 1 (/ (* (cbrt (/ z x)) (cbrt (/ z x))) 1))
  (/ 1 (/ (sqrt (/ z x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt (/ z x)) (sqrt y)))
  (/ 1 (/ (sqrt (/ z x)) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (* (cbrt z) (cbrt z)) (sqrt x)) 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 x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) 1))
  (/ 1 (/ (/ (sqrt z) 1) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt z) 1) (sqrt y)))
  (/ 1 (/ (/ (sqrt z) 1) 1))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt y)))
  (/ 1 (/ (/ 1 (* (cbrt x) (cbrt x))) 1))
  (/ 1 (/ (/ 1 (sqrt x)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ 1 (sqrt x)) (sqrt y)))
  (/ 1 (/ (/ 1 (sqrt x)) 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 x))
  (/ (/ (/ z x) y) (cbrt 1))
  (/ (/ (/ z x) y) (sqrt 1))
  (/ (/ (/ z x) y) 1)
  (/ 1 (/ z x))
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ (* x y) z)
  (/ (* x y) z)
  (/ (* x y) z)
16.057 * * [simplify]: iteration  0 :  426  enodes  (cost  4467 )
16.422 * * [simplify]: iteration  1 :  1027  enodes  (cost  3910 )
17.110 * * [simplify]: iteration  2 :  2367  enodes  (cost  3302 )
17.834 * * [simplify]: iteration  done :  5000  enodes  (cost  3202 )
17.836 * [simplify]: Simplified to:
   (expm1 (/ (/ z x) y))
  (log1p (/ (/ z x) y))
  (log (/ (/ z x) y))
  (log (/ (/ z x) y))
  (log (/ (/ z x) y))
  (exp (/ (/ z x) y))
  (pow (/ z (* x y)) 3)
  (pow (/ z (* x y)) 3)
  (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y)))
  (cbrt (/ (/ z x) y))
  (pow (/ z (* x y)) 3)
  (sqrt (/ (/ z x) y))
  (sqrt (/ (/ z x) y))
  (- (/ z x))
  (- y)
  (* (/ (cbrt (/ z x)) (* (cbrt y) (cbrt y))) (cbrt (/ z x)))
  (/ (cbrt (/ z x)) (cbrt y))
  (/ (* (cbrt (/ z x)) (cbrt (/ z x))) (sqrt y))
  (/ (cbrt (/ z x)) (sqrt y))
  (* (cbrt (/ z x)) (cbrt (/ z x)))
  (/ (cbrt (/ z x)) y)
  (/ (/ (sqrt (/ z x)) (cbrt y)) (cbrt y))
  (/ (sqrt (/ z x)) (cbrt y))
  (/ (sqrt (/ z x)) (sqrt y))
  (/ (sqrt (/ z x)) (sqrt y))
  (sqrt (/ z x))
  (/ (sqrt (/ z x)) y)
  (/ (/ (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y))
  (/ (/ (cbrt z) (cbrt x)) (cbrt y))
  (/ (* (cbrt z) (cbrt z)) (* (* (sqrt y) (cbrt x)) (cbrt x)))
  (/ (/ (cbrt z) (cbrt x)) (sqrt y))
  (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x)))
  (/ (/ (cbrt z) (cbrt x)) y)
  (/ (cbrt z) (* (* (cbrt y) (cbrt y)) (/ (sqrt x) (cbrt z))))
  (/ (/ (cbrt z) (sqrt x)) (cbrt y))
  (/ (/ (* (cbrt z) (cbrt z)) (sqrt y)) (sqrt x))
  (/ (/ (cbrt z) (sqrt x)) (sqrt y))
  (/ (* (cbrt z) (cbrt z)) (sqrt x))
  (/ (/ (cbrt z) (sqrt x)) y)
  (/ (cbrt z) (/ (* (cbrt y) (cbrt y)) (cbrt z)))
  (/ (/ (cbrt z) x) (cbrt y))
  (* (/ (cbrt z) (sqrt y)) (cbrt z))
  (/ (/ (cbrt z) x) (sqrt y))
  (* (cbrt z) (cbrt z))
  (/ (/ (cbrt z) x) y)
  (/ (/ (/ (sqrt z) (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y))
  (/ (/ (sqrt z) (cbrt x)) (cbrt y))
  (/ (/ (sqrt z) (sqrt y)) (* (cbrt x) (cbrt x)))
  (/ (/ (sqrt z) (cbrt x)) (sqrt y))
  (/ (/ (sqrt z) (cbrt x)) (cbrt x))
  (/ (/ (sqrt z) (cbrt x)) y)
  (/ (/ (sqrt z) (cbrt y)) (* (cbrt y) (sqrt x)))
  (/ (/ (sqrt z) (sqrt x)) (cbrt y))
  (/ (/ (sqrt z) (sqrt y)) (sqrt x))
  (/ (/ (sqrt z) (sqrt y)) (sqrt x))
  (/ (sqrt z) (sqrt x))
  (/ (/ (sqrt z) (sqrt x)) y)
  (/ (/ (sqrt z) (cbrt y)) (cbrt y))
  (/ (/ (sqrt z) x) (cbrt y))
  (/ (sqrt z) (sqrt y))
  (/ (/ (sqrt z) x) (sqrt y))
  (sqrt z)
  (/ (/ (sqrt z) x) y)
  (/ (/ (/ 1 (* (cbrt x) (cbrt x))) (cbrt y)) (cbrt y))
  (/ (/ z (cbrt x)) (cbrt y))
  (/ (/ 1 (cbrt x)) (* (sqrt y) (cbrt x)))
  (/ (/ z (cbrt x)) (sqrt y))
  (/ (/ 1 (cbrt x)) (cbrt x))
  (/ (/ z (cbrt x)) y)
  (/ (/ (/ 1 (cbrt y)) (cbrt y)) (sqrt x))
  (/ (/ z (sqrt x)) (cbrt y))
  (/ 1 (* (sqrt y) (sqrt x)))
  (/ (/ z (sqrt x)) (sqrt y))
  (/ 1 (sqrt x))
  (/ (/ z (sqrt x)) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (/ z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z x) (sqrt y))
  1
  (/ z (* x y))
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (/ z x) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ z x) (sqrt y))
  1
  (/ z (* x y))
  (/ z (* (cbrt y) (cbrt y)))
  (/ (/ 1 x) (cbrt y))
  (/ z (sqrt y))
  (/ (/ 1 x) (sqrt y))
  z
  (/ (/ 1 x) y)
  (/ 1 y)
  (* y (/ x z))
  (/ (/ z x) (* (cbrt y) (cbrt y)))
  (/ (/ z x) (sqrt y))
  (/ z x)
  (/ y (cbrt (/ z x)))
  (/ y (sqrt (/ z x)))
  (/ y (/ (cbrt z) (cbrt x)))
  (/ y (/ (cbrt z) (sqrt x)))
  (/ y (/ (cbrt z) x))
  (/ y (/ (sqrt z) (cbrt x)))
  (/ y (/ (sqrt z) (sqrt x)))
  (/ y (/ (sqrt z) x))
  (/ y (/ z (cbrt x)))
  (/ y (/ z (sqrt x)))
  (* y (/ x z))
  (* y (/ x z))
  (* y x)
  (* y x)
  (expm1 (/ (* x y) z))
  (log1p (/ (* x y) z))
  -1
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (log (* y (/ x z)))
  (exp (* y (/ x z)))
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (pow (* y (/ x z)) 3)
  (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z))))
  (cbrt (* y (/ x z)))
  (pow (* y (/ x z)) 3)
  (sqrt (* y (/ x z)))
  (sqrt (* y (/ x z)))
  -1
  (- (/ (/ z x) y))
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (cbrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ 1 (/ (cbrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ (sqrt y) (cbrt (/ z x)))
  (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x)))
  (/ y (cbrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x)))
  (/ 1 (/ (sqrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ 1 (sqrt (/ z x)))
  (/ y (sqrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (cbrt z) (cbrt x)))
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (* (cbrt y) (/ (sqrt x) (cbrt z)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (/ (* (sqrt y) (sqrt x)) (cbrt z))
  (/ (/ (sqrt x) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (cbrt y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (sqrt y) (/ (cbrt z) x))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) x))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ y (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (sqrt z) (sqrt x)))
  (/ y (/ (sqrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ 1 (/ (/ (sqrt z) x) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ (sqrt y) (/ (sqrt z) x))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) x))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ z (cbrt x)) (cbrt y)))
  (* (* (sqrt y) (cbrt x)) (cbrt x))
  (/ (sqrt y) (/ z (cbrt x)))
  (* (cbrt x) (cbrt x))
  (/ y (/ z (cbrt x)))
  (* (* (cbrt y) (cbrt y)) (sqrt x))
  (/ 1 (/ (/ z (sqrt x)) (cbrt y)))
  (* (sqrt y) (sqrt x))
  (/ (sqrt y) (/ z (sqrt x)))
  (sqrt x)
  (/ y (/ z (sqrt x)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) x)
  (/ (sqrt y) z)
  (* x (sqrt y))
  (/ 1 z)
  (* y x)
  1
  (* y (/ x z))
  (/ x z)
  y
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (cbrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ 1 (/ (cbrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ (sqrt y) (cbrt (/ z x)))
  (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x)))
  (/ y (cbrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x)))
  (/ 1 (/ (sqrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ 1 (sqrt (/ z x)))
  (/ y (sqrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (cbrt z) (cbrt x)))
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (* (cbrt y) (/ (sqrt x) (cbrt z)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (/ (* (sqrt y) (sqrt x)) (cbrt z))
  (/ (/ (sqrt x) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (cbrt y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (sqrt y) (/ (cbrt z) x))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) x))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ y (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (sqrt z) (sqrt x)))
  (/ y (/ (sqrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ 1 (/ (/ (sqrt z) x) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ (sqrt y) (/ (sqrt z) x))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) x))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ z (cbrt x)) (cbrt y)))
  (* (* (sqrt y) (cbrt x)) (cbrt x))
  (/ (sqrt y) (/ z (cbrt x)))
  (* (cbrt x) (cbrt x))
  (/ y (/ z (cbrt x)))
  (* (* (cbrt y) (cbrt y)) (sqrt x))
  (/ 1 (/ (/ z (sqrt x)) (cbrt y)))
  (* (sqrt y) (sqrt x))
  (/ (sqrt y) (/ z (sqrt x)))
  (sqrt x)
  (/ y (/ z (sqrt x)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) x)
  (/ (sqrt y) z)
  (* x (sqrt y))
  (/ 1 z)
  (* y x)
  1
  (* y (/ x z))
  (/ x z)
  y
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (cbrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ 1 (/ (cbrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ (sqrt y) (cbrt (/ z x)))
  (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x)))
  (/ y (cbrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x)))
  (/ 1 (/ (sqrt (/ z x)) (cbrt y)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ 1 (sqrt (/ z x)))
  (/ y (sqrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (cbrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (cbrt z) (cbrt x)))
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (* (cbrt y) (/ (sqrt x) (cbrt z)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (/ (* (sqrt y) (sqrt x)) (cbrt z))
  (/ (/ (sqrt x) (cbrt z)) (cbrt z))
  (/ y (/ (cbrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))
  (* (/ x (cbrt z)) (cbrt y))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (sqrt y) (/ (cbrt z) x))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (/ (cbrt z) x))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ 1 (/ (/ (sqrt z) (cbrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ y (/ (sqrt z) (cbrt x)))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (/ (sqrt z) (sqrt x)) (cbrt y)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (sqrt z) (sqrt x)))
  (/ y (/ (sqrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ 1 (/ (/ (sqrt z) x) (cbrt y)))
  (/ (sqrt y) (sqrt z))
  (/ (sqrt y) (/ (sqrt z) x))
  (/ 1 (sqrt z))
  (/ y (/ (sqrt z) x))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ z (cbrt x)) (cbrt y)))
  (* (* (sqrt y) (cbrt x)) (cbrt x))
  (/ (sqrt y) (/ z (cbrt x)))
  (* (cbrt x) (cbrt x))
  (/ y (/ z (cbrt x)))
  (* (* (cbrt y) (cbrt y)) (sqrt x))
  (/ 1 (/ (/ z (sqrt x)) (cbrt y)))
  (* (sqrt y) (sqrt x))
  (/ (sqrt y) (/ z (sqrt x)))
  (sqrt x)
  (/ y (/ z (sqrt x)))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (* (cbrt y) (cbrt y))
  (* (/ x z) (cbrt y))
  (sqrt y)
  (/ (sqrt y) (/ z x))
  1
  (* y (/ x z))
  (/ (* (cbrt y) (cbrt y)) z)
  (* (cbrt y) x)
  (/ (sqrt y) z)
  (* x (sqrt y))
  (/ 1 z)
  (* y x)
  1
  (* y (/ x z))
  (/ x z)
  y
  (* y (/ x z))
  (/ z (* x y))
  (/ 1 (* (cbrt (/ (/ z x) y)) (cbrt (/ (/ z x) y))))
  (/ 1 (sqrt (/ (/ z x) y)))
  (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x))))
  (/ (/ 1 (cbrt (/ z x))) (cbrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x)))
  (/ (sqrt y) (sqrt (/ z x)))
  (/ 1 (sqrt (/ z x)))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x))))
  (/ (/ (* (cbrt x) (cbrt x)) (cbrt z)) (cbrt z))
  (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x)))
  (/ (/ (sqrt x) (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) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x))))
  (/ (* (cbrt x) (cbrt x)) (sqrt z))
  (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x)))
  (/ (sqrt y) (/ (sqrt z) (sqrt x)))
  (/ 1 (/ (sqrt z) (sqrt x)))
  (/ (* (cbrt y) (cbrt y)) (sqrt z))
  (/ (sqrt y) (sqrt z))
  (/ 1 (sqrt z))
  (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))
  (* (* (sqrt y) (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt y) (cbrt y)) (sqrt x))
  (* (sqrt y) (sqrt x))
  (sqrt x)
  (* (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
  (/ x z)
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (/ x z)
  (/ z (* x y))
  (/ z (* x y))
  (/ z (* x y))
  (* y (/ x z))
  (* y (/ x z))
  (* y (/ x z))
17.838 * * * [progress]: adding candidates to table
18.271 * [progress]: [Phase 3 of 3] Extracting.
18.271 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.272 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x)
18.272 * * * * [regimes]: Trying to branch on (/ y z) from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.315 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.339 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.363 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.385 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.408 * * * [regime]: Found split indices: #<option (#s(si 1 6) #s(si 3 93) #s(si 2 154) #s(si 3 227) #s(si 2 255))>
18.409 * [binary-search]: Only using regimes for bounds on (/ y z) and (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.409 * [regimes]: Found splitpoints: (#s(sp 1 (/ y z) -inf.0) #s(sp 3 (/ y z) -7.908746801566625e-239) #s(sp 2 (/ y z) 3.913938320710545e-281) #s(sp 3 (/ y z) 1.9001415219657884e+134) #s(sp 2 (/ y z) +nan.0)) , with alts (#<alt (λ (x y z t) (* x (/ y z)))> #<alt (λ (x y z t) (/ 1 (/ (/ z x) y)))> #<alt (λ (x y z t) (/ (* x y) z))> #<alt (λ (x y z t) (/ x (/ z y)))> #<alt (λ (x y z t) (* (* (cbrt (* y (/ x z))) (cbrt (* y (/ x z)))) (cbrt (* y (/ x z)))))> #<alt (λ (x y z t) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (/ z (cbrt x)) (cbrt y))))>)
18.410 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (<= (/ y z) -7.908746801566625e-239) (/ x (/ z y)) (if (<= (/ y z) 3.913938320710545e-281) (/ (* x y) z) (if (<= (/ y z) 1.9001415219657884e+134) (/ x (/ z y)) (/ (* x y) z)))))
18.410 * * [simplify]: iteration  0 :  24  enodes  (cost  51 )
18.411 * * [simplify]: iteration  1 :  30  enodes  (cost  47 )
18.412 * * [simplify]: iteration  2 :  33  enodes  (cost  43 )
18.413 * * [simplify]: iteration  3 :  36  enodes  (cost  43 )
18.414 * * [simplify]: iteration  done :  36  enodes  (cost  42 )
18.414 * [simplify]: Simplified to:
   (if (<= (/ y z) -inf.0) (/ 1 (/ (/ z x) y)) (if (or (<= (/ y z) -7.908746801566625e-239) (and (not (<= (/ y z) 3.913938320710545e-281)) (<= (/ y z) 1.9001415219657884e+134))) (/ x (/ z y)) (/ (* x y) z)))
19.098 * [regime-testing]: Baseline error score: 3.0843030750749203
19.099 * [regime-testing]: Oracle error score: 0.020252531566445804
19.100 * [regime-testing]: End program error score: 0.48531373949775963
19.131 * [regime-testing]: Target error score: 1.5415947439254851