25.578 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ x (cos y)) (* z (sin y)))
0.058 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.059 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.061 * * [simplify]: iteration  2 :  27  enodes  (cost  9 )
0.064 * * [simplify]: iteration  3 :  33  enodes  (cost  9 )
0.068 * * [simplify]: iteration  4 :  39  enodes  (cost  9 )
0.073 * * [simplify]: iteration  5 :  48  enodes  (cost  9 )
0.081 * * [simplify]: iteration  6 :  61  enodes  (cost  9 )
0.091 * * [simplify]: iteration  7 :  74  enodes  (cost  9 )
0.104 * * [simplify]: iteration  8 :  87  enodes  (cost  9 )
0.115 * * [simplify]: iteration  9 :  101  enodes  (cost  9 )
0.129 * * [simplify]: iteration  10 :  122  enodes  (cost  9 )
0.150 * * [simplify]: iteration  11 :  136  enodes  (cost  9 )
0.165 * * [simplify]: iteration  done :  136  enodes  (cost  9 )
0.165 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
0.165 * * [progress]: iteration 1 / 4
0.165 * * * [progress]: picking best candidate
0.169 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>
0.169 * * * [progress]: localizing error
0.177 * * * [progress]: generating rewritten candidates
0.177 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.183 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.190 * * * [progress]: generating series expansions
0.190 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.190 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0
0.190 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.190 * [taylor]: Taking taylor expansion of z in y
0.190 * [taylor]: Taking taylor expansion of (sin y) in y
0.190 * [taylor]: Taking taylor expansion of y in y
0.190 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of (sin y) in z
0.190 * [taylor]: Taking taylor expansion of y in z
0.190 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.190 * [taylor]: Taking taylor expansion of z in z
0.190 * [taylor]: Taking taylor expansion of (sin y) in z
0.190 * [taylor]: Taking taylor expansion of y in z
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.191 * [taylor]: Taking taylor expansion of (sin y) in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.192 * [taylor]: Taking taylor expansion of 0 in y
0.192 * [taylor]: Taking taylor expansion of 0 in y
0.193 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.193 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.193 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.193 * [taylor]: Taking taylor expansion of y in y
0.193 * [taylor]: Taking taylor expansion of z in y
0.193 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.193 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.193 * [taylor]: Taking taylor expansion of y in z
0.193 * [taylor]: Taking taylor expansion of z in z
0.193 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.193 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.193 * [taylor]: Taking taylor expansion of y in z
0.193 * [taylor]: Taking taylor expansion of z in z
0.193 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.193 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.195 * [taylor]: Taking taylor expansion of 0 in y
0.195 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.195 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.195 * [taylor]: Taking taylor expansion of -1 in y
0.195 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.195 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.195 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.195 * [taylor]: Taking taylor expansion of -1 in y
0.195 * [taylor]: Taking taylor expansion of y in y
0.195 * [taylor]: Taking taylor expansion of z in y
0.195 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.195 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.195 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.195 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.195 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of y in z
0.195 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.195 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.195 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.196 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.196 * [taylor]: Taking taylor expansion of -1 in z
0.196 * [taylor]: Taking taylor expansion of y in z
0.196 * [taylor]: Taking taylor expansion of z in z
0.196 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.196 * [taylor]: Taking taylor expansion of -1 in y
0.196 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.196 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.196 * [taylor]: Taking taylor expansion of -1 in y
0.196 * [taylor]: Taking taylor expansion of y in y
0.196 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.198 * [taylor]: Taking taylor expansion of 0 in y
0.198 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.198 * [approximate]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in (x y z) around 0
0.198 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in z
0.198 * [taylor]: Taking taylor expansion of (+ (cos y) x) in z
0.198 * [taylor]: Taking taylor expansion of (cos y) in z
0.198 * [taylor]: Taking taylor expansion of y in z
0.198 * [taylor]: Taking taylor expansion of x in z
0.198 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
0.198 * [taylor]: Taking taylor expansion of z in z
0.198 * [taylor]: Taking taylor expansion of (sin y) in z
0.198 * [taylor]: Taking taylor expansion of y in z
0.198 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in y
0.198 * [taylor]: Taking taylor expansion of (+ (cos y) x) in y
0.198 * [taylor]: Taking taylor expansion of (cos y) in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of x in y
0.198 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.198 * [taylor]: Taking taylor expansion of z in y
0.198 * [taylor]: Taking taylor expansion of (sin y) in y
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
0.198 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.198 * [taylor]: Taking taylor expansion of (cos y) in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
0.198 * [taylor]: Taking taylor expansion of z in x
0.198 * [taylor]: Taking taylor expansion of (sin y) in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.198 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
0.198 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
0.198 * [taylor]: Taking taylor expansion of (cos y) in x
0.198 * [taylor]: Taking taylor expansion of y in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
0.199 * [taylor]: Taking taylor expansion of z in x
0.199 * [taylor]: Taking taylor expansion of (sin y) in x
0.199 * [taylor]: Taking taylor expansion of y in x
0.199 * [taylor]: Taking taylor expansion of (- (cos y) (* z (sin y))) in y
0.199 * [taylor]: Taking taylor expansion of (cos y) in y
0.199 * [taylor]: Taking taylor expansion of y in y
0.199 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
0.199 * [taylor]: Taking taylor expansion of z in y
0.199 * [taylor]: Taking taylor expansion of (sin y) in y
0.199 * [taylor]: Taking taylor expansion of y in y
0.199 * [taylor]: Taking taylor expansion of 1 in z
0.200 * [taylor]: Taking taylor expansion of 1 in y
0.200 * [taylor]: Taking taylor expansion of 1 in z
0.200 * [taylor]: Taking taylor expansion of (neg z) in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.201 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [taylor]: Taking taylor expansion of (neg 1/2) in z
0.201 * [taylor]: Taking taylor expansion of 1/2 in z
0.201 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.201 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z
0.201 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z
0.201 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.201 * [taylor]: Taking taylor expansion of y in z
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.201 * [taylor]: Taking taylor expansion of x in z
0.201 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.202 * [taylor]: Taking taylor expansion of y in z
0.202 * [taylor]: Taking taylor expansion of z in z
0.202 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y
0.202 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
0.202 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.202 * [taylor]: Taking taylor expansion of y in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.202 * [taylor]: Taking taylor expansion of x in y
0.202 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.202 * [taylor]: Taking taylor expansion of y in y
0.202 * [taylor]: Taking taylor expansion of z in y
0.202 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.202 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
0.203 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
0.203 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.203 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of 1 in y
0.203 * [taylor]: Taking taylor expansion of 1 in z
0.203 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y
0.203 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.204 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of z in y
0.204 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z
0.204 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.204 * [taylor]: Taking taylor expansion of y in z
0.204 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.204 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.204 * [taylor]: Taking taylor expansion of y in z
0.204 * [taylor]: Taking taylor expansion of z in z
0.204 * [taylor]: Taking taylor expansion of 0 in z
0.205 * [taylor]: Taking taylor expansion of 0 in y
0.205 * [taylor]: Taking taylor expansion of 0 in z
0.205 * [taylor]: Taking taylor expansion of 0 in z
0.205 * [taylor]: Taking taylor expansion of 0 in z
0.206 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0
0.206 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z
0.206 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.206 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.206 * [taylor]: Taking taylor expansion of -1 in z
0.206 * [taylor]: Taking taylor expansion of y in z
0.206 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.206 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.206 * [taylor]: Taking taylor expansion of -1 in z
0.206 * [taylor]: Taking taylor expansion of y in z
0.206 * [taylor]: Taking taylor expansion of z in z
0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.206 * [taylor]: Taking taylor expansion of x in z
0.206 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y
0.207 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.207 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.207 * [taylor]: Taking taylor expansion of -1 in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.207 * [taylor]: Taking taylor expansion of -1 in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of z in y
0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.207 * [taylor]: Taking taylor expansion of x in y
0.207 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.207 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.207 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.207 * [taylor]: Taking taylor expansion of -1 in x
0.207 * [taylor]: Taking taylor expansion of y in x
0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.207 * [taylor]: Taking taylor expansion of -1 in x
0.207 * [taylor]: Taking taylor expansion of y in x
0.207 * [taylor]: Taking taylor expansion of z in x
0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.207 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
0.207 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
0.207 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.207 * [taylor]: Taking taylor expansion of -1 in x
0.207 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.208 * [taylor]: Taking taylor expansion of -1 in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of z in x
0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (neg 1) in y
0.208 * [taylor]: Taking taylor expansion of 1 in y
0.208 * [taylor]: Taking taylor expansion of (neg 1) in z
0.208 * [taylor]: Taking taylor expansion of 1 in z
0.208 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
0.208 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.208 * [taylor]: Taking taylor expansion of -1 in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.209 * [taylor]: Taking taylor expansion of -1 in y
0.209 * [taylor]: Taking taylor expansion of y in y
0.209 * [taylor]: Taking taylor expansion of z in y
0.209 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
0.209 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.209 * [taylor]: Taking taylor expansion of -1 in z
0.209 * [taylor]: Taking taylor expansion of y in z
0.209 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.209 * [taylor]: Taking taylor expansion of -1 in z
0.209 * [taylor]: Taking taylor expansion of y in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.209 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.211 * * * [progress]: simplifying candidates
0.212 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (sin y))
  (+ (log z) (log (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (* (* (* z (sin y)) (* z (sin y))) (* z (sin y)))
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  (* z 1)
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (/ (* (exp x) (exp (cos y))) (exp (* z (sin y))))
  (/ (exp (+ x (cos y))) (exp (* z (sin y))))
  (log (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
  (cbrt (- (+ x (cos y)) (* z (sin y))))
  (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y)))))
  (neg (* z (sin y)))
  (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (+ x (cos y)) (* z (sin y)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ 1 x) (* 1/2 (pow y 2)))
  (- (+ (cos y) x) (* z (sin y)))
  (- (+ (cos y) x) (* z (sin y)))
0.213 * * [simplify]: iteration  0 :  69  enodes  (cost  365 )
0.228 * * [simplify]: iteration  1 :  155  enodes  (cost  346 )
0.256 * * [simplify]: iteration  2 :  430  enodes  (cost  320 )
0.398 * * [simplify]: iteration  3 :  1406  enodes  (cost  320 )
1.327 * * [simplify]: iteration  4 :  4957  enodes  (cost  320 )
2.379 * * [simplify]: iteration  done :  5000  enodes  (cost  320 )
2.379 * [simplify]: Simplified to:
   (* z (sin y))
  (log (* z (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (pow (* z (sin y)) 3)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (pow (* z (sin y)) 3)
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  z
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (log (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
  (cbrt (- (+ x (cos y)) (* z (sin y))))
  (pow (- (+ (cos y) x) (* z (sin y))) 3)
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (* z (sin y)) (+ (+ x (cos y)) (* z (sin y)))) (* (+ x (cos y)) (+ x (cos y))))
  (neg (* z (sin y)))
  (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (+ x (cos y)) (* z (sin y)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ 1 x) (* 1/2 (pow y 2)))
  (- (+ (cos y) x) (* z (sin y)))
  (- (+ (cos y) x) (* z (sin y)))
2.380 * * * [progress]: adding candidates to table
2.421 * * [progress]: iteration 2 / 4
2.421 * * * [progress]: picking best candidate
2.439 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))>
2.439 * * * [progress]: localizing error
2.452 * * * [progress]: generating rewritten candidates
2.452 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.455 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.458 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
2.460 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.468 * * * [progress]: generating series expansions
2.468 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.468 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
2.468 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
2.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
2.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
2.468 * [taylor]: Taking taylor expansion of 1/3 in y
2.468 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
2.468 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
2.468 * [taylor]: Taking taylor expansion of z in y
2.468 * [taylor]: Taking taylor expansion of (sin y) in y
2.468 * [taylor]: Taking taylor expansion of y in y
2.468 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.468 * [taylor]: Taking taylor expansion of 1/3 in z
2.468 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.468 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.468 * [taylor]: Taking taylor expansion of z in z
2.468 * [taylor]: Taking taylor expansion of (sin y) in z
2.468 * [taylor]: Taking taylor expansion of y in z
2.469 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.469 * [taylor]: Taking taylor expansion of 1/3 in z
2.469 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.469 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.469 * [taylor]: Taking taylor expansion of z in z
2.469 * [taylor]: Taking taylor expansion of (sin y) in z
2.469 * [taylor]: Taking taylor expansion of y in z
2.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
2.470 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
2.470 * [taylor]: Taking taylor expansion of 1/3 in y
2.470 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
2.470 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.470 * [taylor]: Taking taylor expansion of (sin y) in y
2.470 * [taylor]: Taking taylor expansion of y in y
2.470 * [taylor]: Taking taylor expansion of (log z) in y
2.470 * [taylor]: Taking taylor expansion of z in y
2.471 * [taylor]: Taking taylor expansion of 0 in y
2.472 * [taylor]: Taking taylor expansion of 0 in y
2.475 * [taylor]: Taking taylor expansion of 0 in y
2.478 * [taylor]: Taking taylor expansion of 0 in y
2.479 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
2.479 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
2.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
2.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
2.479 * [taylor]: Taking taylor expansion of 1/3 in y
2.479 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
2.479 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
2.479 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.479 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.479 * [taylor]: Taking taylor expansion of y in y
2.479 * [taylor]: Taking taylor expansion of z in y
2.479 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.479 * [taylor]: Taking taylor expansion of 1/3 in z
2.479 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.479 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.479 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.479 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.479 * [taylor]: Taking taylor expansion of y in z
2.479 * [taylor]: Taking taylor expansion of z in z
2.480 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.480 * [taylor]: Taking taylor expansion of 1/3 in z
2.480 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.480 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.480 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.480 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.480 * [taylor]: Taking taylor expansion of y in z
2.480 * [taylor]: Taking taylor expansion of z in z
2.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
2.480 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
2.481 * [taylor]: Taking taylor expansion of 1/3 in y
2.481 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
2.481 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.481 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.481 * [taylor]: Taking taylor expansion of y in y
2.481 * [taylor]: Taking taylor expansion of (log z) in y
2.481 * [taylor]: Taking taylor expansion of z in y
2.482 * [taylor]: Taking taylor expansion of 0 in y
2.483 * [taylor]: Taking taylor expansion of 0 in y
2.485 * [taylor]: Taking taylor expansion of 0 in y
2.485 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
2.485 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
2.485 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
2.486 * [taylor]: Taking taylor expansion of 1/3 in y
2.486 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
2.486 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
2.486 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.486 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.486 * [taylor]: Taking taylor expansion of -1 in y
2.486 * [taylor]: Taking taylor expansion of y in y
2.486 * [taylor]: Taking taylor expansion of z in y
2.486 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.486 * [taylor]: Taking taylor expansion of -1 in y
2.486 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.486 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.486 * [taylor]: Taking taylor expansion of 1/3 in z
2.486 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.486 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.486 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.486 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.486 * [taylor]: Taking taylor expansion of -1 in z
2.486 * [taylor]: Taking taylor expansion of y in z
2.486 * [taylor]: Taking taylor expansion of z in z
2.487 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.487 * [taylor]: Taking taylor expansion of -1 in z
2.487 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.487 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.487 * [taylor]: Taking taylor expansion of 1/3 in z
2.487 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.487 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.487 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.487 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.487 * [taylor]: Taking taylor expansion of -1 in z
2.487 * [taylor]: Taking taylor expansion of y in z
2.487 * [taylor]: Taking taylor expansion of z in z
2.487 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.487 * [taylor]: Taking taylor expansion of -1 in z
2.488 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
2.488 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.488 * [taylor]: Taking taylor expansion of -1 in y
2.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
2.488 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
2.488 * [taylor]: Taking taylor expansion of 1/3 in y
2.488 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
2.488 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.488 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.488 * [taylor]: Taking taylor expansion of -1 in y
2.488 * [taylor]: Taking taylor expansion of y in y
2.488 * [taylor]: Taking taylor expansion of (log z) in y
2.488 * [taylor]: Taking taylor expansion of z in y
2.489 * [taylor]: Taking taylor expansion of 0 in y
2.491 * [taylor]: Taking taylor expansion of 0 in y
2.497 * [taylor]: Taking taylor expansion of 0 in y
2.497 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.497 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
2.497 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
2.497 * [taylor]: Taking taylor expansion of 1/3 in y
2.497 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
2.497 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
2.497 * [taylor]: Taking taylor expansion of z in y
2.497 * [taylor]: Taking taylor expansion of (sin y) in y
2.497 * [taylor]: Taking taylor expansion of y in y
2.497 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.497 * [taylor]: Taking taylor expansion of 1/3 in z
2.497 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.497 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.497 * [taylor]: Taking taylor expansion of z in z
2.497 * [taylor]: Taking taylor expansion of (sin y) in z
2.497 * [taylor]: Taking taylor expansion of y in z
2.498 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.498 * [taylor]: Taking taylor expansion of 1/3 in z
2.498 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.498 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.498 * [taylor]: Taking taylor expansion of z in z
2.498 * [taylor]: Taking taylor expansion of (sin y) in z
2.498 * [taylor]: Taking taylor expansion of y in z
2.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
2.499 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
2.499 * [taylor]: Taking taylor expansion of 1/3 in y
2.499 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
2.499 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.499 * [taylor]: Taking taylor expansion of (sin y) in y
2.499 * [taylor]: Taking taylor expansion of y in y
2.499 * [taylor]: Taking taylor expansion of (log z) in y
2.499 * [taylor]: Taking taylor expansion of z in y
2.500 * [taylor]: Taking taylor expansion of 0 in y
2.501 * [taylor]: Taking taylor expansion of 0 in y
2.503 * [taylor]: Taking taylor expansion of 0 in y
2.506 * [taylor]: Taking taylor expansion of 0 in y
2.507 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
2.507 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
2.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
2.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
2.507 * [taylor]: Taking taylor expansion of 1/3 in y
2.507 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
2.507 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
2.507 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.507 * [taylor]: Taking taylor expansion of y in y
2.507 * [taylor]: Taking taylor expansion of z in y
2.507 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.507 * [taylor]: Taking taylor expansion of 1/3 in z
2.507 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.507 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.507 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.507 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.507 * [taylor]: Taking taylor expansion of y in z
2.507 * [taylor]: Taking taylor expansion of z in z
2.508 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.508 * [taylor]: Taking taylor expansion of 1/3 in z
2.508 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.508 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.508 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.508 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.508 * [taylor]: Taking taylor expansion of y in z
2.508 * [taylor]: Taking taylor expansion of z in z
2.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
2.508 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
2.508 * [taylor]: Taking taylor expansion of 1/3 in y
2.508 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
2.508 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.508 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.508 * [taylor]: Taking taylor expansion of y in y
2.509 * [taylor]: Taking taylor expansion of (log z) in y
2.509 * [taylor]: Taking taylor expansion of z in y
2.510 * [taylor]: Taking taylor expansion of 0 in y
2.511 * [taylor]: Taking taylor expansion of 0 in y
2.513 * [taylor]: Taking taylor expansion of 0 in y
2.513 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
2.513 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
2.513 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
2.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
2.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
2.513 * [taylor]: Taking taylor expansion of 1/3 in y
2.513 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
2.513 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
2.513 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.513 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.513 * [taylor]: Taking taylor expansion of -1 in y
2.513 * [taylor]: Taking taylor expansion of y in y
2.513 * [taylor]: Taking taylor expansion of z in y
2.514 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.514 * [taylor]: Taking taylor expansion of -1 in y
2.514 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.514 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.514 * [taylor]: Taking taylor expansion of 1/3 in z
2.514 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.514 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.514 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.514 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.514 * [taylor]: Taking taylor expansion of -1 in z
2.514 * [taylor]: Taking taylor expansion of y in z
2.514 * [taylor]: Taking taylor expansion of z in z
2.514 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.514 * [taylor]: Taking taylor expansion of -1 in z
2.514 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.515 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.515 * [taylor]: Taking taylor expansion of 1/3 in z
2.515 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.515 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.515 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.515 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.515 * [taylor]: Taking taylor expansion of -1 in z
2.515 * [taylor]: Taking taylor expansion of y in z
2.515 * [taylor]: Taking taylor expansion of z in z
2.515 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.515 * [taylor]: Taking taylor expansion of -1 in z
2.515 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
2.515 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.515 * [taylor]: Taking taylor expansion of -1 in y
2.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
2.516 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
2.516 * [taylor]: Taking taylor expansion of 1/3 in y
2.516 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
2.516 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.516 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.516 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.516 * [taylor]: Taking taylor expansion of -1 in y
2.516 * [taylor]: Taking taylor expansion of y in y
2.516 * [taylor]: Taking taylor expansion of (log z) in y
2.516 * [taylor]: Taking taylor expansion of z in y
2.517 * [taylor]: Taking taylor expansion of 0 in y
2.519 * [taylor]: Taking taylor expansion of 0 in y
2.521 * [taylor]: Taking taylor expansion of 0 in y
2.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.522 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
2.522 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
2.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
2.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
2.522 * [taylor]: Taking taylor expansion of 1/3 in y
2.522 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
2.522 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
2.522 * [taylor]: Taking taylor expansion of z in y
2.522 * [taylor]: Taking taylor expansion of (sin y) in y
2.522 * [taylor]: Taking taylor expansion of y in y
2.522 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.522 * [taylor]: Taking taylor expansion of 1/3 in z
2.522 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.522 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.522 * [taylor]: Taking taylor expansion of z in z
2.522 * [taylor]: Taking taylor expansion of (sin y) in z
2.522 * [taylor]: Taking taylor expansion of y in z
2.523 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
2.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
2.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
2.523 * [taylor]: Taking taylor expansion of 1/3 in z
2.523 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
2.523 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
2.523 * [taylor]: Taking taylor expansion of z in z
2.523 * [taylor]: Taking taylor expansion of (sin y) in z
2.523 * [taylor]: Taking taylor expansion of y in z
2.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
2.523 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
2.523 * [taylor]: Taking taylor expansion of 1/3 in y
2.523 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
2.524 * [taylor]: Taking taylor expansion of (log (sin y)) in y
2.524 * [taylor]: Taking taylor expansion of (sin y) in y
2.524 * [taylor]: Taking taylor expansion of y in y
2.524 * [taylor]: Taking taylor expansion of (log z) in y
2.524 * [taylor]: Taking taylor expansion of z in y
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.526 * [taylor]: Taking taylor expansion of 0 in y
2.528 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [taylor]: Taking taylor expansion of 0 in y
2.532 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
2.532 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
2.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
2.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
2.532 * [taylor]: Taking taylor expansion of 1/3 in y
2.532 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
2.532 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
2.532 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.532 * [taylor]: Taking taylor expansion of y in y
2.532 * [taylor]: Taking taylor expansion of z in y
2.532 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.532 * [taylor]: Taking taylor expansion of 1/3 in z
2.532 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.532 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.532 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.533 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.533 * [taylor]: Taking taylor expansion of y in z
2.533 * [taylor]: Taking taylor expansion of z in z
2.533 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
2.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
2.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
2.533 * [taylor]: Taking taylor expansion of 1/3 in z
2.533 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
2.533 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
2.533 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.533 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.533 * [taylor]: Taking taylor expansion of y in z
2.533 * [taylor]: Taking taylor expansion of z in z
2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
2.534 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
2.534 * [taylor]: Taking taylor expansion of 1/3 in y
2.534 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
2.534 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
2.534 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.534 * [taylor]: Taking taylor expansion of y in y
2.534 * [taylor]: Taking taylor expansion of (log z) in y
2.534 * [taylor]: Taking taylor expansion of z in y
2.535 * [taylor]: Taking taylor expansion of 0 in y
2.536 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
2.538 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
2.538 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
2.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
2.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
2.538 * [taylor]: Taking taylor expansion of 1/3 in y
2.539 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
2.539 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
2.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.539 * [taylor]: Taking taylor expansion of -1 in y
2.539 * [taylor]: Taking taylor expansion of y in y
2.539 * [taylor]: Taking taylor expansion of z in y
2.539 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.539 * [taylor]: Taking taylor expansion of -1 in y
2.539 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.539 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.539 * [taylor]: Taking taylor expansion of 1/3 in z
2.539 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.539 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.539 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.539 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.539 * [taylor]: Taking taylor expansion of -1 in z
2.539 * [taylor]: Taking taylor expansion of y in z
2.539 * [taylor]: Taking taylor expansion of z in z
2.540 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.540 * [taylor]: Taking taylor expansion of -1 in z
2.540 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
2.540 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
2.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
2.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
2.540 * [taylor]: Taking taylor expansion of 1/3 in z
2.540 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
2.540 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
2.540 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.540 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.540 * [taylor]: Taking taylor expansion of -1 in z
2.540 * [taylor]: Taking taylor expansion of y in z
2.540 * [taylor]: Taking taylor expansion of z in z
2.540 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.540 * [taylor]: Taking taylor expansion of -1 in z
2.541 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
2.541 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.541 * [taylor]: Taking taylor expansion of -1 in y
2.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
2.541 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
2.541 * [taylor]: Taking taylor expansion of 1/3 in y
2.541 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
2.541 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
2.541 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.541 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.541 * [taylor]: Taking taylor expansion of -1 in y
2.541 * [taylor]: Taking taylor expansion of y in y
2.541 * [taylor]: Taking taylor expansion of (log z) in y
2.541 * [taylor]: Taking taylor expansion of z in y
2.542 * [taylor]: Taking taylor expansion of 0 in y
2.544 * [taylor]: Taking taylor expansion of 0 in y
2.547 * [taylor]: Taking taylor expansion of 0 in y
2.547 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.547 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in (z y) around 0
2.547 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in y
2.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in y
2.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in y
2.548 * [taylor]: Taking taylor expansion of 1/3 in y
2.548 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in y
2.548 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in y
2.548 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.548 * [taylor]: Taking taylor expansion of z in y
2.548 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.548 * [taylor]: Taking taylor expansion of (sin y) in y
2.548 * [taylor]: Taking taylor expansion of y in y
2.548 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z
2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z
2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z
2.548 * [taylor]: Taking taylor expansion of 1/3 in z
2.548 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z
2.548 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z
2.548 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.548 * [taylor]: Taking taylor expansion of z in z
2.548 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
2.548 * [taylor]: Taking taylor expansion of (sin y) in z
2.548 * [taylor]: Taking taylor expansion of y in z
2.549 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z
2.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z
2.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z
2.549 * [taylor]: Taking taylor expansion of 1/3 in z
2.549 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z
2.549 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z
2.549 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.549 * [taylor]: Taking taylor expansion of z in z
2.549 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
2.549 * [taylor]: Taking taylor expansion of (sin y) in z
2.549 * [taylor]: Taking taylor expansion of y in z
2.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2))))) in y
2.550 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2)))) in y
2.550 * [taylor]: Taking taylor expansion of 1/3 in y
2.550 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (sin y) 2))) in y
2.550 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
2.550 * [taylor]: Taking taylor expansion of 2 in y
2.550 * [taylor]: Taking taylor expansion of (log z) in y
2.550 * [taylor]: Taking taylor expansion of z in y
2.550 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
2.550 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
2.550 * [taylor]: Taking taylor expansion of (sin y) in y
2.550 * [taylor]: Taking taylor expansion of y in y
2.551 * [taylor]: Taking taylor expansion of 0 in y
2.553 * [taylor]: Taking taylor expansion of 0 in y
2.555 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [taylor]: Taking taylor expansion of 0 in y
2.559 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0
2.559 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in y
2.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in y
2.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in y
2.559 * [taylor]: Taking taylor expansion of 1/3 in y
2.559 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in y
2.559 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in y
2.559 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.559 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.559 * [taylor]: Taking taylor expansion of y in y
2.559 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.559 * [taylor]: Taking taylor expansion of z in y
2.560 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z
2.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z
2.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z
2.560 * [taylor]: Taking taylor expansion of 1/3 in z
2.560 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z
2.560 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z
2.560 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
2.560 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.560 * [taylor]: Taking taylor expansion of y in z
2.560 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.560 * [taylor]: Taking taylor expansion of z in z
2.561 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z
2.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z
2.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z
2.561 * [taylor]: Taking taylor expansion of 1/3 in z
2.561 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z
2.561 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z
2.561 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
2.561 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
2.561 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.561 * [taylor]: Taking taylor expansion of y in z
2.561 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.561 * [taylor]: Taking taylor expansion of z in z
2.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))))) in y
2.562 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z)))) in y
2.562 * [taylor]: Taking taylor expansion of 1/3 in y
2.562 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))) in y
2.562 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
2.562 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
2.562 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
2.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.562 * [taylor]: Taking taylor expansion of y in y
2.562 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
2.562 * [taylor]: Taking taylor expansion of 2 in y
2.562 * [taylor]: Taking taylor expansion of (log z) in y
2.562 * [taylor]: Taking taylor expansion of z in y
2.563 * [taylor]: Taking taylor expansion of 0 in y
2.565 * [taylor]: Taking taylor expansion of 0 in y
2.568 * [taylor]: Taking taylor expansion of 0 in y
2.568 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z y) around 0
2.568 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in y
2.568 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in y
2.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in y
2.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in y
2.569 * [taylor]: Taking taylor expansion of 1/3 in y
2.569 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in y
2.569 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in y
2.569 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.569 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.569 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.569 * [taylor]: Taking taylor expansion of -1 in y
2.569 * [taylor]: Taking taylor expansion of y in y
2.569 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.569 * [taylor]: Taking taylor expansion of z in y
2.569 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.569 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.569 * [taylor]: Taking taylor expansion of -1 in y
2.569 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
2.569 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z
2.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z
2.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z
2.570 * [taylor]: Taking taylor expansion of 1/3 in z
2.570 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z
2.570 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z
2.570 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
2.570 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.570 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.570 * [taylor]: Taking taylor expansion of -1 in z
2.570 * [taylor]: Taking taylor expansion of y in z
2.570 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.570 * [taylor]: Taking taylor expansion of z in z
2.570 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.570 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.570 * [taylor]: Taking taylor expansion of -1 in z
2.571 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
2.571 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z
2.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z
2.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z
2.571 * [taylor]: Taking taylor expansion of 1/3 in z
2.571 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z
2.571 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z
2.571 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
2.571 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
2.571 * [taylor]: Taking taylor expansion of (/ -1 y) in z
2.571 * [taylor]: Taking taylor expansion of -1 in z
2.571 * [taylor]: Taking taylor expansion of y in z
2.571 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.571 * [taylor]: Taking taylor expansion of z in z
2.571 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
2.571 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.571 * [taylor]: Taking taylor expansion of -1 in z
2.572 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))))) in y
2.572 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
2.572 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.572 * [taylor]: Taking taylor expansion of -1 in y
2.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))))) in y
2.572 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))) in y
2.572 * [taylor]: Taking taylor expansion of 1/3 in y
2.572 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))) in y
2.572 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
2.572 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
2.572 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
2.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.572 * [taylor]: Taking taylor expansion of -1 in y
2.572 * [taylor]: Taking taylor expansion of y in y
2.572 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
2.572 * [taylor]: Taking taylor expansion of 2 in y
2.572 * [taylor]: Taking taylor expansion of (log z) in y
2.572 * [taylor]: Taking taylor expansion of z in y
2.575 * [taylor]: Taking taylor expansion of 0 in y
2.578 * [taylor]: Taking taylor expansion of 0 in y
2.582 * [taylor]: Taking taylor expansion of 0 in y
2.582 * * * [progress]: simplifying candidates
2.583 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* z (sin y)) (* z (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (+ 1 1)
  (+ (log (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))))
  (log (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (exp (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (* z (sin y)) (* z (sin y)))
  (* (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))))
  (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (cbrt z) (cbrt z))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* 1 1)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* z (sin y))) (cbrt z))
  (* (cbrt (* z (sin y))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))))
  (* (cbrt (* z (sin y))) (sqrt (cbrt (* z (sin y)))))
  (* (cbrt (* z (sin y))) 1)
  (* (cbrt (sin y)) (cbrt (* z (sin y))))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (* (sqrt (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (* 2 (log y)) (+ (* 2 (log z)) (log 1))))) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log y)) (+ (* 2 (log z)) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ 1 z))))))
  (* (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2))
2.586 * * [simplify]: iteration  0 :  90  enodes  (cost  814 )
2.603 * * [simplify]: iteration  1 :  196  enodes  (cost  733 )
2.638 * * [simplify]: iteration  2 :  513  enodes  (cost  637 )
2.856 * * [simplify]: iteration  3 :  1547  enodes  (cost  562 )
4.076 * * [simplify]: iteration  4 :  4985  enodes  (cost  495 )
4.915 * * [simplify]: iteration  done :  5000  enodes  (cost  495 )
4.915 * [simplify]: Simplified to:
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* z (sin y))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* z (sin y))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* z (sin y))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  2/3
  2
  (pow (cbrt (* z (sin y))) 6)
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  2
  (* 2 (log (cbrt (* z (sin y)))))
  (* 2 (log (cbrt (* z (sin y)))))
  (exp (pow (sqrt (cbrt (* z (sin y)))) 4))
  (pow (cbrt (* z (sin y))) 6)
  (* (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)))
  (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4))
  (pow (cbrt (* z (sin y))) 6)
  (fabs (cbrt (* z (sin y))))
  (fabs (cbrt (* z (sin y))))
  (pow z 2/3)
  (* (cbrt (sin y)) (cbrt (sin y)))
  (pow (cbrt (cbrt (* z (sin y)))) 4)
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (* z (sin y)))
  (cbrt (* z (sin y)))
  1
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  (cbrt (* z (sin y)))
  (cbrt (* z (sin y)))
  2/3
  2
  (* (cbrt (* z (sin y))) (cbrt z))
  (pow (cbrt (cbrt (* z (sin y)))) 5)
  (pow (sqrt (cbrt (* z (sin y)))) 3)
  (cbrt (* z (sin y)))
  (* (cbrt (sin y)) (cbrt (* z (sin y))))
  (pow (cbrt (cbrt (* z (sin y)))) 4)
  (pow (sqrt (cbrt (* z (sin y)))) 3)
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  (* (cbrt (* y z)) (- 1 (* (pow y 2) 1/18)))
  (cbrt (* z (sin y)))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (* y z)) (- 1 (* (pow y 2) 1/18)))
  (cbrt (* z (sin y)))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (* y z)) (- 1 (* (pow y 2) 1/18)))
  (cbrt (* z (sin y)))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (pow (* y z) 2)) (- 1 (* 1/9 (pow y 2))))
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  (* (* (pow (/ -1 z) -2/3) (pow (sin y) 2/3)) (pow (cbrt -1) 2))
4.916 * * * [progress]: adding candidates to table
4.991 * * [progress]: iteration 3 / 4
4.991 * * * [progress]: picking best candidate
5.015 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (cbrt z) (cbrt (sin y))))))>
5.015 * * * [progress]: localizing error
5.032 * * * [progress]: generating rewritten candidates
5.032 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
5.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
5.038 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
5.040 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.042 * * * [progress]: generating series expansions
5.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
5.042 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
5.042 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
5.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
5.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
5.042 * [taylor]: Taking taylor expansion of 1/3 in y
5.042 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
5.042 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
5.042 * [taylor]: Taking taylor expansion of z in y
5.042 * [taylor]: Taking taylor expansion of (sin y) in y
5.042 * [taylor]: Taking taylor expansion of y in y
5.042 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
5.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
5.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
5.042 * [taylor]: Taking taylor expansion of 1/3 in z
5.042 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
5.042 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
5.042 * [taylor]: Taking taylor expansion of z in z
5.042 * [taylor]: Taking taylor expansion of (sin y) in z
5.042 * [taylor]: Taking taylor expansion of y in z
5.043 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
5.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
5.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
5.043 * [taylor]: Taking taylor expansion of 1/3 in z
5.043 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
5.043 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
5.043 * [taylor]: Taking taylor expansion of z in z
5.043 * [taylor]: Taking taylor expansion of (sin y) in z
5.043 * [taylor]: Taking taylor expansion of y in z
5.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
5.043 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
5.044 * [taylor]: Taking taylor expansion of 1/3 in y
5.044 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
5.044 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.044 * [taylor]: Taking taylor expansion of (sin y) in y
5.044 * [taylor]: Taking taylor expansion of y in y
5.044 * [taylor]: Taking taylor expansion of (log z) in y
5.044 * [taylor]: Taking taylor expansion of z in y
5.045 * [taylor]: Taking taylor expansion of 0 in y
5.046 * [taylor]: Taking taylor expansion of 0 in y
5.049 * [taylor]: Taking taylor expansion of 0 in y
5.052 * [taylor]: Taking taylor expansion of 0 in y
5.052 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
5.052 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
5.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
5.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
5.052 * [taylor]: Taking taylor expansion of 1/3 in y
5.052 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
5.052 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
5.052 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.052 * [taylor]: Taking taylor expansion of y in y
5.052 * [taylor]: Taking taylor expansion of z in y
5.052 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
5.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
5.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
5.053 * [taylor]: Taking taylor expansion of 1/3 in z
5.053 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
5.053 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
5.053 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
5.053 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.053 * [taylor]: Taking taylor expansion of y in z
5.053 * [taylor]: Taking taylor expansion of z in z
5.053 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
5.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
5.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
5.053 * [taylor]: Taking taylor expansion of 1/3 in z
5.053 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
5.053 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
5.053 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
5.053 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.053 * [taylor]: Taking taylor expansion of y in z
5.053 * [taylor]: Taking taylor expansion of z in z
5.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
5.054 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
5.054 * [taylor]: Taking taylor expansion of 1/3 in y
5.054 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
5.054 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.054 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.054 * [taylor]: Taking taylor expansion of y in y
5.054 * [taylor]: Taking taylor expansion of (log z) in y
5.054 * [taylor]: Taking taylor expansion of z in y
5.055 * [taylor]: Taking taylor expansion of 0 in y
5.056 * [taylor]: Taking taylor expansion of 0 in y
5.058 * [taylor]: Taking taylor expansion of 0 in y
5.058 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
5.058 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
5.058 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
5.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
5.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
5.059 * [taylor]: Taking taylor expansion of 1/3 in y
5.059 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
5.059 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
5.059 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.059 * [taylor]: Taking taylor expansion of -1 in y
5.059 * [taylor]: Taking taylor expansion of y in y
5.059 * [taylor]: Taking taylor expansion of z in y
5.059 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.059 * [taylor]: Taking taylor expansion of -1 in y
5.059 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
5.059 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
5.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
5.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
5.059 * [taylor]: Taking taylor expansion of 1/3 in z
5.059 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
5.059 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
5.059 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
5.059 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.059 * [taylor]: Taking taylor expansion of -1 in z
5.059 * [taylor]: Taking taylor expansion of y in z
5.059 * [taylor]: Taking taylor expansion of z in z
5.060 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.060 * [taylor]: Taking taylor expansion of -1 in z
5.060 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
5.060 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
5.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
5.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
5.060 * [taylor]: Taking taylor expansion of 1/3 in z
5.060 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
5.060 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
5.060 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
5.060 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.060 * [taylor]: Taking taylor expansion of -1 in z
5.060 * [taylor]: Taking taylor expansion of y in z
5.060 * [taylor]: Taking taylor expansion of z in z
5.060 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.060 * [taylor]: Taking taylor expansion of -1 in z
5.061 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
5.061 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.061 * [taylor]: Taking taylor expansion of -1 in y
5.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
5.061 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
5.061 * [taylor]: Taking taylor expansion of 1/3 in y
5.061 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
5.061 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.061 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.061 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.061 * [taylor]: Taking taylor expansion of -1 in y
5.061 * [taylor]: Taking taylor expansion of y in y
5.061 * [taylor]: Taking taylor expansion of (log z) in y
5.061 * [taylor]: Taking taylor expansion of z in y
5.062 * [taylor]: Taking taylor expansion of 0 in y
5.064 * [taylor]: Taking taylor expansion of 0 in y
5.067 * [taylor]: Taking taylor expansion of 0 in y
5.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
5.067 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
5.067 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
5.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
5.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
5.067 * [taylor]: Taking taylor expansion of 1/3 in y
5.067 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
5.067 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
5.067 * [taylor]: Taking taylor expansion of z in y
5.067 * [taylor]: Taking taylor expansion of (sin y) in y
5.067 * [taylor]: Taking taylor expansion of y in y
5.067 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
5.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
5.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
5.067 * [taylor]: Taking taylor expansion of 1/3 in z
5.067 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
5.067 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
5.067 * [taylor]: Taking taylor expansion of z in z
5.067 * [taylor]: Taking taylor expansion of (sin y) in z
5.067 * [taylor]: Taking taylor expansion of y in z
5.068 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
5.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
5.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
5.068 * [taylor]: Taking taylor expansion of 1/3 in z
5.068 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
5.068 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
5.068 * [taylor]: Taking taylor expansion of z in z
5.068 * [taylor]: Taking taylor expansion of (sin y) in z
5.068 * [taylor]: Taking taylor expansion of y in z
5.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
5.069 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
5.069 * [taylor]: Taking taylor expansion of 1/3 in y
5.069 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
5.069 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.069 * [taylor]: Taking taylor expansion of (sin y) in y
5.069 * [taylor]: Taking taylor expansion of y in y
5.069 * [taylor]: Taking taylor expansion of (log z) in y
5.069 * [taylor]: Taking taylor expansion of z in y
5.070 * [taylor]: Taking taylor expansion of 0 in y
5.071 * [taylor]: Taking taylor expansion of 0 in y
5.073 * [taylor]: Taking taylor expansion of 0 in y
5.076 * [taylor]: Taking taylor expansion of 0 in y
5.077 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
5.077 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
5.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
5.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
5.077 * [taylor]: Taking taylor expansion of 1/3 in y
5.077 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
5.077 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
5.077 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.077 * [taylor]: Taking taylor expansion of y in y
5.077 * [taylor]: Taking taylor expansion of z in y
5.077 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
5.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
5.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
5.077 * [taylor]: Taking taylor expansion of 1/3 in z
5.077 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
5.077 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
5.077 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
5.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.077 * [taylor]: Taking taylor expansion of y in z
5.077 * [taylor]: Taking taylor expansion of z in z
5.078 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
5.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
5.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
5.078 * [taylor]: Taking taylor expansion of 1/3 in z
5.078 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
5.078 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
5.078 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
5.078 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.078 * [taylor]: Taking taylor expansion of y in z
5.078 * [taylor]: Taking taylor expansion of z in z
5.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
5.079 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
5.079 * [taylor]: Taking taylor expansion of 1/3 in y
5.079 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
5.079 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.079 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.079 * [taylor]: Taking taylor expansion of y in y
5.079 * [taylor]: Taking taylor expansion of (log z) in y
5.079 * [taylor]: Taking taylor expansion of z in y
5.080 * [taylor]: Taking taylor expansion of 0 in y
5.081 * [taylor]: Taking taylor expansion of 0 in y
5.083 * [taylor]: Taking taylor expansion of 0 in y
5.083 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
5.083 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
5.083 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
5.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
5.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
5.083 * [taylor]: Taking taylor expansion of 1/3 in y
5.083 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
5.083 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
5.083 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.083 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.084 * [taylor]: Taking taylor expansion of -1 in y
5.084 * [taylor]: Taking taylor expansion of y in y
5.084 * [taylor]: Taking taylor expansion of z in y
5.084 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.084 * [taylor]: Taking taylor expansion of -1 in y
5.084 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
5.084 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
5.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
5.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
5.084 * [taylor]: Taking taylor expansion of 1/3 in z
5.084 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
5.084 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
5.084 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
5.084 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.084 * [taylor]: Taking taylor expansion of -1 in z
5.084 * [taylor]: Taking taylor expansion of y in z
5.084 * [taylor]: Taking taylor expansion of z in z
5.085 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.085 * [taylor]: Taking taylor expansion of -1 in z
5.085 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
5.085 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
5.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
5.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
5.085 * [taylor]: Taking taylor expansion of 1/3 in z
5.085 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
5.085 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
5.085 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
5.085 * [taylor]: Taking taylor expansion of (/ -1 y) in z
5.085 * [taylor]: Taking taylor expansion of -1 in z
5.085 * [taylor]: Taking taylor expansion of y in z
5.085 * [taylor]: Taking taylor expansion of z in z
5.085 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.085 * [taylor]: Taking taylor expansion of -1 in z
5.086 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
5.086 * [taylor]: Taking taylor expansion of (cbrt -1) in y
5.086 * [taylor]: Taking taylor expansion of -1 in y
5.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
5.086 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
5.086 * [taylor]: Taking taylor expansion of 1/3 in y
5.086 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
5.086 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.086 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.086 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.086 * [taylor]: Taking taylor expansion of -1 in y
5.086 * [taylor]: Taking taylor expansion of y in y
5.086 * [taylor]: Taking taylor expansion of (log z) in y
5.086 * [taylor]: Taking taylor expansion of z in y
5.087 * [taylor]: Taking taylor expansion of 0 in y
5.089 * [taylor]: Taking taylor expansion of 0 in y
5.092 * [taylor]: Taking taylor expansion of 0 in y
5.092 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
5.092 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
5.092 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.092 * [taylor]: Taking taylor expansion of 1/3 in y
5.092 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.092 * [taylor]: Taking taylor expansion of (sin y) in y
5.092 * [taylor]: Taking taylor expansion of y in y
5.092 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
5.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
5.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
5.092 * [taylor]: Taking taylor expansion of 1/3 in y
5.092 * [taylor]: Taking taylor expansion of (log (sin y)) in y
5.092 * [taylor]: Taking taylor expansion of (sin y) in y
5.092 * [taylor]: Taking taylor expansion of y in y
5.097 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
5.097 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.097 * [taylor]: Taking taylor expansion of 1/3 in y
5.097 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.097 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.097 * [taylor]: Taking taylor expansion of y in y
5.097 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
5.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
5.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
5.097 * [taylor]: Taking taylor expansion of 1/3 in y
5.097 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
5.097 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
5.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.097 * [taylor]: Taking taylor expansion of y in y
5.105 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
5.105 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.105 * [taylor]: Taking taylor expansion of 1/3 in y
5.105 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.105 * [taylor]: Taking taylor expansion of -1 in y
5.105 * [taylor]: Taking taylor expansion of y in y
5.105 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
5.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
5.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
5.105 * [taylor]: Taking taylor expansion of 1/3 in y
5.105 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
5.105 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
5.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y
5.105 * [taylor]: Taking taylor expansion of -1 in y
5.105 * [taylor]: Taking taylor expansion of y in y
5.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
5.115 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
5.115 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
5.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
5.116 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
5.116 * [taylor]: Taking taylor expansion of 1/3 in z
5.116 * [taylor]: Taking taylor expansion of (log z) in z
5.116 * [taylor]: Taking taylor expansion of z in z
5.116 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
5.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
5.116 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
5.116 * [taylor]: Taking taylor expansion of 1/3 in z
5.116 * [taylor]: Taking taylor expansion of (log z) in z
5.116 * [taylor]: Taking taylor expansion of z in z
5.122 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
5.122 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
5.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
5.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
5.122 * [taylor]: Taking taylor expansion of 1/3 in z
5.122 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.122 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.123 * [taylor]: Taking taylor expansion of z in z
5.123 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
5.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
5.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
5.123 * [taylor]: Taking taylor expansion of 1/3 in z
5.123 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.123 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.123 * [taylor]: Taking taylor expansion of z in z
5.130 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0
5.130 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
5.130 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
5.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
5.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
5.130 * [taylor]: Taking taylor expansion of 1/3 in z
5.130 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.130 * [taylor]: Taking taylor expansion of z in z
5.130 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.130 * [taylor]: Taking taylor expansion of -1 in z
5.130 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z
5.130 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
5.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
5.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
5.130 * [taylor]: Taking taylor expansion of 1/3 in z
5.130 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
5.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.130 * [taylor]: Taking taylor expansion of z in z
5.130 * [taylor]: Taking taylor expansion of (cbrt -1) in z
5.130 * [taylor]: Taking taylor expansion of -1 in z
5.139 * * * [progress]: simplifying candidates
5.139 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (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 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (exp (* 1/3 (+ (log z) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
5.142 * * [simplify]: iteration  0 :  86  enodes  (cost  429 )
5.152 * * [simplify]: iteration  1 :  166  enodes  (cost  412 )
5.184 * * [simplify]: iteration  2 :  356  enodes  (cost  357 )
5.313 * * [simplify]: iteration  3 :  1078  enodes  (cost  304 )
7.028 * * [simplify]: iteration  4 :  4957  enodes  (cost  284 )
8.015 * * [simplify]: iteration  done :  5000  enodes  (cost  284 )
8.016 * [simplify]: Simplified to:
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (sin y) z)
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (sin y) z)
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (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))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  (* (cbrt (* y z)) (- 1 (* (pow y 2) 1/18)))
  (cbrt (* z (sin y)))
  (* (cbrt (/ (sin y) (/ -1 z))) (cbrt -1))
  (* (cbrt (* y z)) (- 1 (* (pow y 2) 1/18)))
  (cbrt (* z (sin y)))
  (* (cbrt (/ (sin y) (/ -1 z))) (cbrt -1))
  (* (cbrt y) (+ (* (pow y 4) -1/3240) (- 1 (* (pow y 2) 1/18))))
  (cbrt (sin y))
  (cbrt (sin y))
  (cbrt z)
  (cbrt z)
  (* (cbrt -1) (cbrt (/ 1 (/ -1 z))))
8.016 * * * [progress]: adding candidates to table
8.075 * * [progress]: iteration 4 / 4
8.075 * * * [progress]: picking best candidate
8.100 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
8.100 * * * [progress]: localizing error
8.113 * * * [progress]: generating rewritten candidates
8.113 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
8.114 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
8.116 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
8.118 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
8.127 * * * [progress]: generating series expansions
8.127 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
8.127 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
8.127 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.127 * [taylor]: Taking taylor expansion of 1/3 in y
8.127 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.127 * [taylor]: Taking taylor expansion of (sin y) in y
8.127 * [taylor]: Taking taylor expansion of y in y
8.127 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.127 * [taylor]: Taking taylor expansion of 1/3 in y
8.127 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.127 * [taylor]: Taking taylor expansion of (sin y) in y
8.127 * [taylor]: Taking taylor expansion of y in y
8.131 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
8.131 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.131 * [taylor]: Taking taylor expansion of 1/3 in y
8.131 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.131 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.131 * [taylor]: Taking taylor expansion of y in y
8.132 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.132 * [taylor]: Taking taylor expansion of 1/3 in y
8.132 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.132 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.132 * [taylor]: Taking taylor expansion of y in y
8.139 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
8.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.139 * [taylor]: Taking taylor expansion of 1/3 in y
8.139 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.139 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.139 * [taylor]: Taking taylor expansion of -1 in y
8.139 * [taylor]: Taking taylor expansion of y in y
8.139 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.139 * [taylor]: Taking taylor expansion of 1/3 in y
8.139 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.139 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.139 * [taylor]: Taking taylor expansion of -1 in y
8.139 * [taylor]: Taking taylor expansion of y in y
8.146 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
8.147 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
8.147 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.147 * [taylor]: Taking taylor expansion of 1/3 in y
8.147 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.147 * [taylor]: Taking taylor expansion of (sin y) in y
8.147 * [taylor]: Taking taylor expansion of y in y
8.147 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.147 * [taylor]: Taking taylor expansion of 1/3 in y
8.147 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.147 * [taylor]: Taking taylor expansion of (sin y) in y
8.147 * [taylor]: Taking taylor expansion of y in y
8.151 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
8.151 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.151 * [taylor]: Taking taylor expansion of 1/3 in y
8.151 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.151 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.151 * [taylor]: Taking taylor expansion of y in y
8.152 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.152 * [taylor]: Taking taylor expansion of 1/3 in y
8.152 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.152 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.152 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.152 * [taylor]: Taking taylor expansion of y in y
8.162 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
8.162 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.162 * [taylor]: Taking taylor expansion of 1/3 in y
8.162 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.162 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.162 * [taylor]: Taking taylor expansion of -1 in y
8.162 * [taylor]: Taking taylor expansion of y in y
8.162 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.162 * [taylor]: Taking taylor expansion of 1/3 in y
8.162 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.162 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.162 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.162 * [taylor]: Taking taylor expansion of -1 in y
8.162 * [taylor]: Taking taylor expansion of y in y
8.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
8.170 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
8.170 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.170 * [taylor]: Taking taylor expansion of 1/3 in y
8.170 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.170 * [taylor]: Taking taylor expansion of (sin y) in y
8.170 * [taylor]: Taking taylor expansion of y in y
8.170 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
8.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
8.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
8.170 * [taylor]: Taking taylor expansion of 1/3 in y
8.170 * [taylor]: Taking taylor expansion of (log (sin y)) in y
8.170 * [taylor]: Taking taylor expansion of (sin y) in y
8.170 * [taylor]: Taking taylor expansion of y in y
8.174 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
8.174 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.174 * [taylor]: Taking taylor expansion of 1/3 in y
8.174 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.174 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.174 * [taylor]: Taking taylor expansion of y in y
8.174 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
8.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
8.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
8.174 * [taylor]: Taking taylor expansion of 1/3 in y
8.174 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
8.174 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.174 * [taylor]: Taking taylor expansion of y in y
8.182 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
8.182 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.182 * [taylor]: Taking taylor expansion of 1/3 in y
8.182 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.182 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.182 * [taylor]: Taking taylor expansion of -1 in y
8.182 * [taylor]: Taking taylor expansion of y in y
8.182 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
8.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
8.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
8.182 * [taylor]: Taking taylor expansion of 1/3 in y
8.182 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
8.182 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.182 * [taylor]: Taking taylor expansion of -1 in y
8.182 * [taylor]: Taking taylor expansion of y in y
8.189 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
8.190 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
8.190 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
8.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
8.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
8.190 * [taylor]: Taking taylor expansion of 1/3 in y
8.190 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
8.190 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
8.190 * [taylor]: Taking taylor expansion of (sin y) in y
8.190 * [taylor]: Taking taylor expansion of y in y
8.190 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
8.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
8.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
8.190 * [taylor]: Taking taylor expansion of 1/3 in y
8.190 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
8.190 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
8.190 * [taylor]: Taking taylor expansion of (sin y) in y
8.190 * [taylor]: Taking taylor expansion of y in y
8.194 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
8.194 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
8.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
8.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
8.195 * [taylor]: Taking taylor expansion of 1/3 in y
8.195 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
8.195 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
8.195 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.195 * [taylor]: Taking taylor expansion of y in y
8.195 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
8.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
8.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
8.195 * [taylor]: Taking taylor expansion of 1/3 in y
8.195 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
8.195 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
8.195 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
8.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.195 * [taylor]: Taking taylor expansion of y in y
8.204 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
8.204 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
8.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
8.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
8.204 * [taylor]: Taking taylor expansion of 1/3 in y
8.204 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
8.204 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
8.204 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.205 * [taylor]: Taking taylor expansion of -1 in y
8.205 * [taylor]: Taking taylor expansion of y in y
8.205 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
8.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
8.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
8.205 * [taylor]: Taking taylor expansion of 1/3 in y
8.205 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
8.205 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
8.205 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
8.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.205 * [taylor]: Taking taylor expansion of -1 in y
8.205 * [taylor]: Taking taylor expansion of y in y
8.214 * * * [progress]: simplifying candidates
8.215 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (+ 1 1)
  (+ (log (cbrt (sin y))) (log (cbrt (sin y))))
  (log (* (cbrt (sin y)) (cbrt (sin y))))
  (exp (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sin y) (sin y))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 1 1)
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (* (cbrt (sin y)) (cbrt 1))
  (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (sin y)) (sqrt (cbrt (sin y))))
  (* (cbrt (sin y)) 1)
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (* (pow y 4) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* 1/9 (* (pow y 2) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
8.218 * * [simplify]: iteration  0 :  76  enodes  (cost  792 )
8.232 * * [simplify]: iteration  1 :  161  enodes  (cost  709 )
8.263 * * [simplify]: iteration  2 :  449  enodes  (cost  581 )
8.682 * * [simplify]: iteration  3 :  1845  enodes  (cost  515 )
9.746 * * [simplify]: iteration  done :  5000  enodes  (cost  515 )
9.746 * [simplify]: Simplified to:
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  2/3
  2
  (pow (sin y) 2)
  (pow (sin y) 2/3)
  2
  (log (pow (sin y) 2/3))
  (log (pow (sin y) 2/3))
  (exp (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (cbrt (pow (sin y) 2/3))
  (pow (sin y) 2)
  (fabs (cbrt (sin y)))
  (fabs (cbrt (sin y)))
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  1
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  1
  (pow (sin y) 2/3)
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  2/3
  2
  (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y))))
  (pow (sqrt (cbrt (sin y))) 3)
  (cbrt (sin y))
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 2/3)
  (- (cbrt y) (* (cbrt y) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (* (cbrt y) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (* (cbrt y) (+ (* 1/3240 (pow y 4)) (* 1/18 (pow y 2)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (* (pow y 2/3) (+ (* -1/9 (* y y)) (+ (* 1/405 (pow y 4)) 1)))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
9.747 * * * [progress]: adding candidates to table
9.829 * [progress]: [Phase 3 of 3] Extracting.
9.829 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ x (cos y)) (* (pow (cbrt (cbrt (* z (sin y)))) 6) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (cbrt (pow (- (+ (cos y) x) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>)
9.830 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x)
9.830 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (#<alt (λ (x y z) (- (+ x (cos y)) (* (pow (cbrt (cbrt (* z (sin y)))) 6) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (cbrt (pow (- (+ (cos y) x) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>)
9.904 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ x (cos y)) (* (pow (cbrt (cbrt (* z (sin y)))) 6) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (cbrt (pow (- (+ (cos y) x) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>)
9.966 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ x (cos y)) (* (pow (cbrt (cbrt (* z (sin y)))) 6) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (cbrt (pow (- (+ (cos y) x) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>)
10.029 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ x (cos y)) (* (pow (cbrt (cbrt (* z (sin y)))) 6) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))> #<alt (λ (x y z) (cbrt (pow (- (+ (cos y) x) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>)
10.095 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
10.095 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ x (cos y)) (* z (sin y)))
10.096 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
10.096 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
10.096 * * [simplify]: iteration  done :  10  enodes  (cost  9 )
10.096 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
12.473 * [regime-testing]: End program error score: 0.053881735216902114