9.615 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.054 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (* x (cos y)) (* z (sin y)))
0.060 * * [simplify]: iteration  0 :  11  enodes  (cost  5 )
0.061 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.061 * [simplify]: Simplified to:
  (+ (* x (cos y)) (* z (sin y)))
0.061 * * [progress]: iteration 1 / 4
0.061 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (cos y)) (* z (sin y))))>
0.065 * * * [progress]: localizing error
0.079 * * * [progress]: generating rewritten candidates
0.079 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.083 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.087 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.091 * * * [progress]: generating series expansions
0.091 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.092 * [approximate]: Approximating (* (sin y) z) in (z y) around 0
0.092 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.094 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.097 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.101 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.107 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.107 * [approximate]: Approximating (/ (sin (/ 1 y)) z) in (z y) around 0
0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.114 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.119 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.119 * [approximate]: Approximating (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.120 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.124 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.128 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.135 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.135 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.135 * [approximate]: Approximating (* x (cos y)) in (x y) around 0
0.136 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.138 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.142 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.146 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.146 * [approximate]: Approximating (/ (cos (/ 1 y)) x) in (x y) around 0
0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.151 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.164 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.164 * [approximate]: Approximating (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.166 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.169 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.174 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.181 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.181 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.182 * [approximate]: Approximating (+ (* x (cos y)) (* (sin y) z)) in (x y z) around 0
0.182 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y
0.182 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.187 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y
0.187 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.188 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.194 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y
0.194 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.194 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.196 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z
0.196 * [approximate]: Approximating (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.199 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.199 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.202 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.203 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.203 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.210 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.210 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.210 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.210 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.223 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.223 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.223 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.223 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.223 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.224 * [approximate]: Approximating (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in (x y z) around 0
0.227 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y
0.228 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.234 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y
0.234 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.235 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.242 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y
0.242 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.243 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.243 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y
0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.256 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.257 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.257 * [taylor]: Taking taylor expansion of (neg (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z
0.258 * * * [progress]: simplifying candidates
0.259 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* 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))
  (* x (cos y))
  (+ (log x) (log (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (* (* (* x (cos y)) (* x (cos y))) (* x (cos y)))
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  (* x 1)
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos 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)))))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (- (* x (cos y)) (* z (sin y)))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
  x
  (* x (cos y))
  (* x (cos y))
  x
  (+ (* x (cos y)) (* (sin y) z))
  (+ (* x (cos y)) (* (sin y) z))
0.262 * * [simplify]: iteration  0 :  183  enodes  (cost  248 )
0.266 * * [simplify]: iteration  1 :  698  enodes  (cost  227 )
0.280 * * [simplify]: iteration  2 :  2213  enodes  (cost  227 )
0.326 * * [simplify]: iteration  3 :  5001  enodes  (cost  227 )
0.328 * [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))
  (* x (cos y))
  (log (* x (cos y)))
  (log (* x (cos y)))
  (exp (* x (cos y)))
  (pow (* x (cos y)) 3)
  (* (cbrt (* x (cos y))) (cbrt (* x (cos y))))
  (cbrt (* x (cos y)))
  (pow (* x (cos y)) 3)
  (sqrt (* x (cos y)))
  (sqrt (* x (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* (sqrt x) (sqrt (cos y)))
  (* x (* (cbrt (cos y)) (cbrt (cos y))))
  (* x (sqrt (cos y)))
  x
  (* (cbrt x) (cos y))
  (* (sqrt x) (cos y))
  (* x (cos 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 (+ (* x (cos y)) (* (sin y) z)) 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)) (- (* z (sin y)) (* x (cos y)))) (* (* x (cos y)) (* x (cos y))))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (- (* x (cos y)) (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  x
  (* x (cos y))
  (* x (cos y))
  x
  (+ (* x (cos y)) (* (sin y) z))
  (+ (* x (cos y)) (* (sin y) z))
0.328 * * * [progress]: adding candidates to table
0.446 * * [progress]: iteration 2 / 4
0.446 * * * [progress]: picking best candidate
0.486 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))>
0.486 * * * [progress]: localizing error
0.499 * * * [progress]: generating rewritten candidates
0.499 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.500 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
0.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
0.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.512 * * * [progress]: generating series expansions
0.512 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.512 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
0.542 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.585 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.624 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
0.624 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
0.652 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.695 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.737 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
0.737 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
0.766 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.805 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.849 * [approximate]: Approximating (pow (pow (cos y) 2) 1/3) in (y) around 0
0.927 * [approximate]: Approximating (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
0.975 * [approximate]: Approximating (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
1.021 * * * [progress]: simplifying candidates
1.022 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (cos y) (cos y))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (+ 1 1)
  (+ (log (cbrt (cos y))) (log (cbrt (cos y))))
  (log (* (cbrt (cos y)) (cbrt (cos y))))
  (exp (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cos y) (cos y))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (sqrt (* (cbrt (cos y)) (cbrt (cos y))))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 1 1)
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (* (cbrt (cos y)) (cbrt 1))
  (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (cbrt (cos y)) (sqrt (cbrt (cos y))))
  (* (cbrt (cos y)) 1)
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (sqrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (* (cbrt (cbrt (cos y))) (cbrt (cos y)))
  (* (sqrt (cbrt (cos y))) (cbrt (cos y)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 1/3)
1.026 * * [simplify]: iteration  0 :  122  enodes  (cost  441 )
1.029 * * [simplify]: iteration  1 :  481  enodes  (cost  389 )
1.045 * * [simplify]: iteration  2 :  3180  enodes  (cost  357 )
1.121 * * [simplify]: iteration  3 :  5001  enodes  (cost  351 )
1.124 * [simplify]: Simplified to:
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  2/3
  2
  (pow (cos y) 2)
  (pow (cos y) 2/3)
  2
  (* 2/3 (log (cos y)))
  (* 2/3 (log (cos y)))
  (pow (exp 1) (pow (cos y) 2/3))
  (pow (cos y) 2)
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (pow (cos y) 2)
  (fabs (pow (cos y) 1/3))
  (fabs (pow (cos y) 1/3))
  (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  1
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  1
  (pow (cos y) 2/3)
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  2/3
  2
  (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (sqrt (cbrt (cos y))) 3)
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (* (cbrt (cos y)) (cbrt (sqrt (cos y))))
  (pow (cos y) 2/3)
  (pow (cbrt (cbrt (cos y))) 4)
  (pow (sqrt (cbrt (cos y))) 3)
  (pow (cos y) 2/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6))))
  (pow (cos y) 2/3)
  (pow (cos y) 2/3)
1.124 * * * [progress]: adding candidates to table
1.464 * * [progress]: iteration 3 / 4
1.464 * * * [progress]: picking best candidate
1.503 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (pow (cbrt (cbrt (cos y))) 5) (cbrt (cbrt (cos y))))) (cbrt (cos y))) (* z (sin y))))>
1.503 * * * [progress]: localizing error
1.519 * * * [progress]: generating rewritten candidates
1.519 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
1.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1)
1.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1)
1.528 * * * [progress]: generating series expansions
1.528 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
1.529 * [approximate]: Approximating (pow (pow (cos y) 1/9) 5) in (y) around 0
1.569 * [approximate]: Approximating (pow (pow (cos (/ 1 y)) 1/9) 5) in (y) around 0
1.628 * [approximate]: Approximating (pow (pow (cos (/ -1 y)) 1/9) 5) in (y) around 0
1.685 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.685 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
1.717 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.757 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.798 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1)
1.799 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
1.829 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.870 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.910 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1)
1.910 * [approximate]: Approximating (pow (cos y) 1/3) in (y) around 0
1.942 * [approximate]: Approximating (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.981 * [approximate]: Approximating (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.023 * * * [progress]: simplifying candidates
2.024 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (log (cbrt (cbrt (cos y)))) 5)
  (* (log (cbrt (cbrt (cos y)))) 5)
  (* 1/3 5)
  (* 1 5)
  (pow (cbrt (cbrt (cos y))) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt (cbrt (cos y))) (sqrt 5))
  (pow (cbrt (cbrt (cos y))) 1)
  (pow (cbrt (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (cbrt (cbrt (sqrt (cos y)))) 5)
  (pow (cbrt (cbrt (sqrt (cos y)))) 5)
  (pow (cbrt (cbrt 1)) 5)
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (cbrt (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (cbrt (sqrt (cbrt (cos y)))) 5)
  (pow (cbrt (sqrt (cbrt (cos y)))) 5)
  (pow (cbrt 1) 5)
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (* (cbrt (cbrt (cbrt (cos y)))) (cbrt (cbrt (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (sqrt (cbrt (cbrt (cos y)))) 5)
  (pow (sqrt (cbrt (cbrt (cos y)))) 5)
  (pow 1 5)
  (pow (cbrt (cbrt (cos y))) 5)
  (log (pow (cbrt (cbrt (cos y))) 5))
  (exp (pow (cbrt (cbrt (cos y))) 5))
  (* (cbrt (pow (cbrt (cbrt (cos y))) 5)) (cbrt (pow (cbrt (cbrt (cos y))) 5)))
  (cbrt (pow (cbrt (cbrt (cos y))) 5))
  (* (* (pow (cbrt (cbrt (cos y))) 5) (pow (cbrt (cbrt (cos y))) 5)) (pow (cbrt (cbrt (cos y))) 5))
  (sqrt (pow (cbrt (cbrt (cos y))) 5))
  (sqrt (pow (cbrt (cbrt (cos y))) 5))
  (pow (cbrt (cbrt (cos y))) (/ 5 2))
  (pow (cbrt (cbrt (cos y))) (/ 5 2))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt 1)
  (cbrt (cos y))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (- 1 (+ (* 5/18 (pow y 2)) (* 5/648 (pow y 4))))
  (pow (pow (cos y) 5) 1/9)
  (pow (pow (cos y) 5) 1/9)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
2.028 * * [simplify]: iteration  0 :  146  enodes  (cost  353 )
2.031 * * [simplify]: iteration  1 :  462  enodes  (cost  325 )
2.040 * * [simplify]: iteration  2 :  1525  enodes  (cost  319 )
2.085 * * [simplify]: iteration  3 :  5001  enodes  (cost  311 )
2.087 * [simplify]: Simplified to:
  (log (pow (cbrt (cbrt (cos y))) 5))
  (log (pow (cbrt (cbrt (cos y))) 5))
  5/3
  5
  (pow (cbrt (cbrt (cos y))) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt (cbrt (cos y))) (sqrt 5))
  (cbrt (cbrt (cos y)))
  (pow (cbrt (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (cbrt (cbrt (sqrt (cos y)))) 5)
  (pow (cbrt (cbrt (sqrt (cos y)))) 5)
  1
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (cbrt (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (cbrt (sqrt (cbrt (cos y)))) 5)
  (pow (cbrt (sqrt (cbrt (cos y)))) 5)
  1
  (pow (cbrt (cbrt (cos y))) 5)
  (pow (* (cbrt (cbrt (cbrt (cos y)))) (cbrt (cbrt (cbrt (cos y))))) 5)
  (pow (cbrt (cbrt (cbrt (cos y)))) 5)
  (pow (sqrt (cbrt (cbrt (cos y)))) 5)
  (pow (sqrt (cbrt (cbrt (cos y)))) 5)
  1
  (pow (cbrt (cbrt (cos y))) 5)
  (log (pow (cbrt (cbrt (cos y))) 5))
  (exp (pow (cbrt (cbrt (cos y))) 5))
  (* (cbrt (pow (cbrt (cbrt (cos y))) 5)) (cbrt (pow (cbrt (cbrt (cos y))) 5)))
  (cbrt (pow (cbrt (cbrt (cos y))) 5))
  (pow (pow (cbrt (cbrt (cos y))) 5) 3)
  (sqrt (pow (cbrt (cbrt (cos y))) 5))
  (sqrt (pow (cbrt (cbrt (cos y))) 5))
  (pow (cbrt (cbrt (cos y))) 5/2)
  (pow (cbrt (cbrt (cos y))) 5/2)
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 2)
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 2)
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (cbrt (* (cbrt (cos y)) (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cbrt (sqrt (cos y)))
  (cbrt (sqrt (cos y)))
  1
  (pow (cos y) 1/3)
  (pow (cbrt (cbrt (cos y))) 2)
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (- 1 (+ (* 5/18 (pow y 2)) (* 5/648 (pow y 4))))
  (pow (pow (cos y) 5) 1/9)
  (pow (pow (cos y) 5) 1/9)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
2.087 * * * [progress]: adding candidates to table
2.454 * * [progress]: iteration 4 / 4
2.454 * * * [progress]: picking best candidate
2.490 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
2.491 * * * [progress]: localizing error
2.503 * * * [progress]: generating rewritten candidates
2.503 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.505 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
2.506 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
2.507 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.515 * * * [progress]: generating series expansions
2.515 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.515 * [approximate]: Approximating (pow (sin y) 1/3) in (y) around 0
2.547 * [approximate]: Approximating (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.586 * [approximate]: Approximating (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.628 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
2.629 * [approximate]: Approximating (pow (sin y) 1/3) in (y) around 0
2.658 * [approximate]: Approximating (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.697 * [approximate]: Approximating (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.739 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
2.739 * [approximate]: Approximating (pow (sin y) 1/3) in (y) around 0
2.768 * [approximate]: Approximating (pow (sin (/ 1 y)) 1/3) in (y) around 0
2.811 * [approximate]: Approximating (pow (sin (/ -1 y)) 1/3) in (y) around 0
2.850 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.851 * [approximate]: Approximating (pow (pow (sin y) 2) 1/3) in (y) around 0
2.886 * [approximate]: Approximating (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
2.935 * [approximate]: Approximating (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
2.982 * * * [progress]: simplifying candidates
2.983 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (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)))
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3)))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
2.987 * * [simplify]: iteration  0 :  154  enodes  (cost  453 )
2.991 * * [simplify]: iteration  1 :  551  enodes  (cost  401 )
3.007 * * [simplify]: iteration  2 :  3082  enodes  (cost  369 )
3.073 * * [simplify]: iteration  3 :  5002  enodes  (cost  363 )
3.076 * [simplify]: Simplified to:
  (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)))
  1
  (pow (sin y) 1/3)
  (* (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 (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (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 (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (pow (sin y) 1/3)
  (* (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
  (* 2/3 (log (sin y)))
  (* 2/3 (log (sin y)))
  (pow (exp 1) (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (pow (sin y) 2)
  (fabs (pow (sin y) 1/3))
  (fabs (pow (sin y) 1/3))
  (* (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))))
  1
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  1
  (pow (sin y) 2/3)
  (* (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))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  2/3
  2
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 1/3)
  (pow (cbrt (cbrt (sin y))) 5)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 1/3)
  (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)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3)))
  (pow (sin y) 2/3)
  (pow (sin y) 2/3)
3.076 * * * [progress]: adding candidates to table
3.436 * [progress]: [Phase 3 of 3] Extracting.
3.436 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (/ (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (cos y))) (sqrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (pow (cbrt (cbrt (cos y))) 5) (cbrt (cbrt (cos y))))) (cbrt (cos y))) (* z (sin y))))>)
3.439 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
3.439 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (/ (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (cos y))) (sqrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (pow (cbrt (cbrt (cos y))) 5) (cbrt (cbrt (cos y))))) (cbrt (cos y))) (* z (sin y))))>)
3.531 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (/ (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (cos y))) (sqrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (pow (cbrt (cbrt (cos y))) 5) (cbrt (cbrt (cos y))))) (cbrt (cos y))) (* z (sin y))))>)
3.623 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))> #<alt (λ (x y z) (/ (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (+ (* (* x (sqrt (cos y))) (sqrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))))))> #<alt (λ (x y z) (+ (* x (cos y)) (cbrt (pow (* z (sin y)) 3))))> #<alt (λ (x y z) (+ (cbrt (pow (* x (cos y)) 3)) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))> #<alt (λ (x y z) (+ (* (* x (* (pow (cbrt (cbrt (cos y))) 5) (cbrt (cbrt (cos y))))) (cbrt (cos y))) (* z (sin y))))>)
3.716 * * * [regime]: Found split indices: #<option (#s(si 10 255))>
3.716 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y)))
3.717 * * [simplify]: iteration  0 :  15  enodes  (cost  12 )
3.717 * * [simplify]: iteration  1 :  15  enodes  (cost  12 )
3.717 * [simplify]: Simplified to:
  (+ (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y)))