3.920 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x (cos y)) (* z (sin y)))
0.056 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.057 * * [simplify]: iteration  1 :  19  enodes  (cost  5 )
0.058 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
0.058 * [simplify]: Simplified to:
   (- (* x (cos y)) (* z (sin y)))
0.059 * * [progress]: iteration 1 / 4
0.059 * * * [progress]: picking best candidate
0.061 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (cos y)) (* z (sin y))))>
0.061 * * * [progress]: localizing error
0.070 * * * [progress]: generating rewritten candidates
0.071 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.075 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.079 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.094 * * * [progress]: generating series expansions
0.094 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.094 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
0.094 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.094 * [taylor]: Taking taylor expansion of (sin y) in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of z in y
0.094 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.094 * [taylor]: Taking taylor expansion of (sin y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.094 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.094 * [taylor]: Taking taylor expansion of (sin y) in z
0.094 * [taylor]: Taking taylor expansion of y in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of (sin y) in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
0.107 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.107 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of z in y
0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.108 * [taylor]: Taking taylor expansion of y in z
0.108 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.108 * [taylor]: Taking taylor expansion of y in z
0.108 * [taylor]: Taking taylor expansion of z in z
0.108 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of 0 in y
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
0.122 * [taylor]: Taking taylor expansion of -1 in y
0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.122 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.122 * [taylor]: Taking taylor expansion of -1 in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.123 * [taylor]: Taking taylor expansion of z in y
0.123 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.123 * [taylor]: Taking taylor expansion of -1 in z
0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.123 * [taylor]: Taking taylor expansion of -1 in z
0.123 * [taylor]: Taking taylor expansion of y in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
0.123 * [taylor]: Taking taylor expansion of -1 in z
0.123 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.123 * [taylor]: Taking taylor expansion of -1 in z
0.123 * [taylor]: Taking taylor expansion of y in z
0.123 * [taylor]: Taking taylor expansion of z in z
0.123 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.124 * [taylor]: Taking taylor expansion of -1 in y
0.124 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.124 * [taylor]: Taking taylor expansion of -1 in y
0.124 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.136 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.136 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
0.136 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.136 * [taylor]: Taking taylor expansion of x in y
0.136 * [taylor]: Taking taylor expansion of (cos y) in y
0.136 * [taylor]: Taking taylor expansion of y in y
0.136 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of (cos y) in x
0.136 * [taylor]: Taking taylor expansion of y in x
0.136 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of (cos y) in x
0.136 * [taylor]: Taking taylor expansion of y in x
0.137 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [taylor]: Taking taylor expansion of (cos y) in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of x in y
0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.146 * [taylor]: Taking taylor expansion of y in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.147 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.147 * [taylor]: Taking taylor expansion of y in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.148 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.148 * [taylor]: Taking taylor expansion of y in y
0.150 * [taylor]: Taking taylor expansion of 0 in y
0.154 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
0.158 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
0.158 * [taylor]: Taking taylor expansion of -1 in y
0.158 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.158 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.158 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.158 * [taylor]: Taking taylor expansion of -1 in y
0.158 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of x in y
0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of y in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of y in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.160 * [taylor]: Taking taylor expansion of -1 in y
0.160 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.160 * [taylor]: Taking taylor expansion of -1 in y
0.160 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of 0 in y
0.168 * [taylor]: Taking taylor expansion of 0 in y
0.173 * [taylor]: Taking taylor expansion of 0 in y
0.173 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.174 * [approximate]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in (x y z) around 0
0.174 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z
0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in z
0.174 * [taylor]: Taking taylor expansion of x in z
0.174 * [taylor]: Taking taylor expansion of (cos y) in z
0.174 * [taylor]: Taking taylor expansion of y in z
0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
0.174 * [taylor]: Taking taylor expansion of (sin y) in z
0.174 * [taylor]: Taking taylor expansion of y in z
0.174 * [taylor]: Taking taylor expansion of z in z
0.174 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in y
0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
0.174 * [taylor]: Taking taylor expansion of x in y
0.174 * [taylor]: Taking taylor expansion of (cos y) in y
0.174 * [taylor]: Taking taylor expansion of y in y
0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.174 * [taylor]: Taking taylor expansion of (sin y) in y
0.174 * [taylor]: Taking taylor expansion of y in y
0.174 * [taylor]: Taking taylor expansion of z in y
0.174 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (cos y) in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.174 * [taylor]: Taking taylor expansion of (sin y) in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of z in x
0.174 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x
0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (cos y) in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in x
0.174 * [taylor]: Taking taylor expansion of (sin y) in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of z in x
0.175 * [taylor]: Taking taylor expansion of (- (* (sin y) z)) in y
0.175 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
0.175 * [taylor]: Taking taylor expansion of (sin y) in y
0.175 * [taylor]: Taking taylor expansion of y in y
0.175 * [taylor]: Taking taylor expansion of z in y
0.175 * [taylor]: Taking taylor expansion of 0 in z
0.179 * [taylor]: Taking taylor expansion of (cos y) in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of 1 in z
0.180 * [taylor]: Taking taylor expansion of (- z) in z
0.180 * [taylor]: Taking taylor expansion of z in z
0.186 * [taylor]: Taking taylor expansion of 0 in y
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.187 * [taylor]: Taking taylor expansion of 0 in z
0.188 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0
0.188 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z
0.188 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z
0.188 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.188 * [taylor]: Taking taylor expansion of y in z
0.188 * [taylor]: Taking taylor expansion of x in z
0.188 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
0.188 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.188 * [taylor]: Taking taylor expansion of y in z
0.188 * [taylor]: Taking taylor expansion of z in z
0.189 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y
0.189 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
0.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of x in y
0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.189 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of z in y
0.189 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.189 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.190 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.190 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of z in x
0.190 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x
0.190 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
0.190 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.190 * [taylor]: Taking taylor expansion of y in x
0.190 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
0.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.191 * [taylor]: Taking taylor expansion of y in x
0.191 * [taylor]: Taking taylor expansion of z in x
0.191 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.192 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.192 * [taylor]: Taking taylor expansion of y in z
0.194 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in y
0.194 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
0.194 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.194 * [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 (- (/ (sin (/ 1 y)) z)) 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 y in z
0.195 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of 0 in z
0.204 * [taylor]: Taking taylor expansion of 0 in y
0.204 * [taylor]: Taking taylor expansion of 0 in z
0.204 * [taylor]: Taking taylor expansion of 0 in z
0.204 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in y
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.217 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0
0.217 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z
0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.217 * [taylor]: Taking taylor expansion of -1 in z
0.217 * [taylor]: Taking taylor expansion of y in z
0.217 * [taylor]: Taking taylor expansion of z in z
0.217 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z
0.217 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.217 * [taylor]: Taking taylor expansion of -1 in z
0.217 * [taylor]: Taking taylor expansion of y in z
0.217 * [taylor]: Taking taylor expansion of x in z
0.218 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y
0.218 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.218 * [taylor]: Taking taylor expansion of -1 in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.218 * [taylor]: Taking taylor expansion of z in y
0.218 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
0.218 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.218 * [taylor]: Taking taylor expansion of -1 in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of x in y
0.219 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.219 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.219 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.219 * [taylor]: Taking taylor expansion of -1 in x
0.219 * [taylor]: Taking taylor expansion of y in x
0.219 * [taylor]: Taking taylor expansion of z in x
0.219 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.219 * [taylor]: Taking taylor expansion of -1 in x
0.219 * [taylor]: Taking taylor expansion of y in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.220 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x
0.220 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
0.220 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.220 * [taylor]: Taking taylor expansion of -1 in x
0.220 * [taylor]: Taking taylor expansion of y in x
0.220 * [taylor]: Taking taylor expansion of z in x
0.220 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
0.220 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.220 * [taylor]: Taking taylor expansion of -1 in x
0.220 * [taylor]: Taking taylor expansion of y in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y
0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.221 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.221 * [taylor]: Taking taylor expansion of -1 in y
0.221 * [taylor]: Taking taylor expansion of y in y
0.221 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z
0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.221 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.221 * [taylor]: Taking taylor expansion of -1 in z
0.221 * [taylor]: Taking taylor expansion of y in z
0.224 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
0.224 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.224 * [taylor]: Taking taylor expansion of -1 in y
0.224 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of z in y
0.225 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
0.225 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.225 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.225 * [taylor]: Taking taylor expansion of -1 in z
0.225 * [taylor]: Taking taylor expansion of y in z
0.225 * [taylor]: Taking taylor expansion of z in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in y
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.232 * [taylor]: Taking taylor expansion of 0 in z
0.243 * [taylor]: Taking taylor expansion of 0 in y
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.244 * * * [progress]: simplifying candidates
0.245 * [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)))))
  (- (* z (sin y)))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (* x (cos y)) (* z (sin y)))
  (+ (sqrt (* x (cos y))) (sqrt (* z (sin y))))
  (- (sqrt (* x (cos y))) (sqrt (* z (sin y))))
  (+ (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y))))
  (+ (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y))))
  (- (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y))))
  (+ (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (* x (cos y)) (* z (sin y)))
  (- (* x (cos y)) (* z (sin y)))
  (- (* x (cos y)) (* z (sin y)))
  (- (* x (cos y)) (* z (sin 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.249 * * [simplify]: iteration  0 :  186  enodes  (cost  338 )
0.253 * * [simplify]: iteration  1 :  641  enodes  (cost  317 )
0.266 * * [simplify]: iteration  2 :  1884  enodes  (cost  317 )
0.298 * * [simplify]: iteration  3 :  4329  enodes  (cost  317 )
0.369 * * [simplify]: iteration  4 :  5001  enodes  (cost  317 )
0.371 * [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))))
  (- (* z (sin y)))
  (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (* x (cos y)) (* z (sin y)))
  (+ (sqrt (* x (cos y))) (sqrt (* z (sin y))))
  (- (sqrt (* x (cos y))) (sqrt (* z (sin y))))
  (+ (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y))))
  (+ (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y))))
  (- (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y))))
  (+ (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y))))
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
  (- (* x (cos y)) (* (sin y) z))
  (- (* 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.372 * * * [progress]: adding candidates to table
0.471 * * [progress]: iteration 2 / 4
0.471 * * * [progress]: picking best candidate
0.495 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cos y))) (* z (sin y))))>
0.496 * * * [progress]: localizing error
0.510 * * * [progress]: generating rewritten candidates
0.510 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.511 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
0.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
0.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
0.522 * * * [progress]: generating series expansions
0.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.522 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.523 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.523 * [taylor]: Taking taylor expansion of 1/3 in y
0.523 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.523 * [taylor]: Taking taylor expansion of (cos y) in y
0.523 * [taylor]: Taking taylor expansion of y in y
0.527 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.527 * [taylor]: Taking taylor expansion of 1/3 in y
0.527 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.527 * [taylor]: Taking taylor expansion of (cos y) in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.548 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.548 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.548 * [taylor]: Taking taylor expansion of 1/3 in y
0.548 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.548 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.549 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.549 * [taylor]: Taking taylor expansion of 1/3 in y
0.549 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.549 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.549 * [taylor]: Taking taylor expansion of y in y
0.587 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.587 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.587 * [taylor]: Taking taylor expansion of 1/3 in y
0.587 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.587 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.587 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.587 * [taylor]: Taking taylor expansion of -1 in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.588 * [taylor]: Taking taylor expansion of 1/3 in y
0.588 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.588 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.588 * [taylor]: Taking taylor expansion of -1 in y
0.588 * [taylor]: Taking taylor expansion of y in y
0.620 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
0.621 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.621 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.621 * [taylor]: Taking taylor expansion of 1/3 in y
0.621 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.621 * [taylor]: Taking taylor expansion of (cos y) in y
0.621 * [taylor]: Taking taylor expansion of y in y
0.625 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.625 * [taylor]: Taking taylor expansion of 1/3 in y
0.625 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.625 * [taylor]: Taking taylor expansion of (cos y) in y
0.625 * [taylor]: Taking taylor expansion of y in y
0.646 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.646 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.646 * [taylor]: Taking taylor expansion of 1/3 in y
0.646 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.646 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.646 * [taylor]: Taking taylor expansion of y in y
0.647 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.647 * [taylor]: Taking taylor expansion of 1/3 in y
0.647 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.647 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.647 * [taylor]: Taking taylor expansion of y in y
0.683 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.683 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.683 * [taylor]: Taking taylor expansion of 1/3 in y
0.683 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.683 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.683 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.683 * [taylor]: Taking taylor expansion of -1 in y
0.683 * [taylor]: Taking taylor expansion of y in y
0.683 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.683 * [taylor]: Taking taylor expansion of 1/3 in y
0.683 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.684 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.684 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.684 * [taylor]: Taking taylor expansion of -1 in y
0.684 * [taylor]: Taking taylor expansion of y in y
0.716 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
0.716 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
0.716 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.717 * [taylor]: Taking taylor expansion of 1/3 in y
0.717 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.717 * [taylor]: Taking taylor expansion of (cos y) in y
0.717 * [taylor]: Taking taylor expansion of y in y
0.721 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
0.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
0.721 * [taylor]: Taking taylor expansion of 1/3 in y
0.721 * [taylor]: Taking taylor expansion of (log (cos y)) in y
0.721 * [taylor]: Taking taylor expansion of (cos y) in y
0.721 * [taylor]: Taking taylor expansion of y in y
0.746 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
0.746 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.746 * [taylor]: Taking taylor expansion of 1/3 in y
0.746 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.746 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.746 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
0.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
0.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
0.746 * [taylor]: Taking taylor expansion of 1/3 in y
0.746 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
0.746 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.779 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
0.779 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.779 * [taylor]: Taking taylor expansion of 1/3 in y
0.779 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.779 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.779 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.779 * [taylor]: Taking taylor expansion of -1 in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.780 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
0.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
0.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
0.780 * [taylor]: Taking taylor expansion of 1/3 in y
0.780 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
0.780 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.780 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.780 * [taylor]: Taking taylor expansion of -1 in y
0.780 * [taylor]: Taking taylor expansion of y in y
0.813 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
0.813 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0
0.813 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.813 * [taylor]: Taking taylor expansion of 1/3 in y
0.813 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.813 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.813 * [taylor]: Taking taylor expansion of (cos y) in y
0.813 * [taylor]: Taking taylor expansion of y in y
0.821 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y
0.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y
0.821 * [taylor]: Taking taylor expansion of 1/3 in y
0.821 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y
0.821 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
0.821 * [taylor]: Taking taylor expansion of (cos y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.887 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0
0.887 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.887 * [taylor]: Taking taylor expansion of 1/3 in y
0.887 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.887 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.887 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.888 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y
0.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y
0.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y
0.888 * [taylor]: Taking taylor expansion of 1/3 in y
0.888 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y
0.888 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
0.888 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.888 * [taylor]: Taking taylor expansion of y in y
0.928 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0
0.928 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.928 * [taylor]: Taking taylor expansion of 1/3 in y
0.928 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.928 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.928 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.928 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.928 * [taylor]: Taking taylor expansion of -1 in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y
0.929 * [taylor]: Taking taylor expansion of 1/3 in y
0.929 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y
0.929 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.929 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.929 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.929 * [taylor]: Taking taylor expansion of -1 in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.971 * * * [progress]: simplifying candidates
0.972 * [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))
  (* (cos y) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))))
  (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (cos y))
  (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (* (* (cbrt (cos y)) (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 (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)
0.977 * * [simplify]: iteration  0 :  131  enodes  (cost  478 )
0.980 * * [simplify]: iteration  1 :  525  enodes  (cost  405 )
0.996 * * [simplify]: iteration  2 :  3612  enodes  (cost  363 )
1.068 * * [simplify]: iteration  3 :  5001  enodes  (cost  357 )
1.070 * [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)
  (pow (cos y) 2)
  (pow (cos y) 2)
  (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.071 * * * [progress]: adding candidates to table
1.247 * * [progress]: iteration 3 / 4
1.247 * * * [progress]: picking best candidate
1.273 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* z (sin y))))>
1.273 * * * [progress]: localizing error
1.289 * * * [progress]: generating rewritten candidates
1.289 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1.291 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.293 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.310 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.319 * * * [progress]: generating series expansions
1.319 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.319 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.319 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.319 * [taylor]: Taking taylor expansion of 1/3 in y
1.319 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.319 * [taylor]: Taking taylor expansion of (cos y) in y
1.319 * [taylor]: Taking taylor expansion of y in y
1.324 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.324 * [taylor]: Taking taylor expansion of 1/3 in y
1.324 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.324 * [taylor]: Taking taylor expansion of (cos y) in y
1.324 * [taylor]: Taking taylor expansion of y in y
1.349 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.349 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.349 * [taylor]: Taking taylor expansion of 1/3 in y
1.349 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.349 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.349 * [taylor]: Taking taylor expansion of y in y
1.349 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.350 * [taylor]: Taking taylor expansion of 1/3 in y
1.350 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.350 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.350 * [taylor]: Taking taylor expansion of y in y
1.384 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
1.384 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.384 * [taylor]: Taking taylor expansion of 1/3 in y
1.384 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.384 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.384 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.384 * [taylor]: Taking taylor expansion of -1 in y
1.384 * [taylor]: Taking taylor expansion of y in y
1.385 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
1.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
1.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
1.385 * [taylor]: Taking taylor expansion of 1/3 in y
1.385 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
1.385 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.385 * [taylor]: Taking taylor expansion of -1 in y
1.385 * [taylor]: Taking taylor expansion of y in y
1.418 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.418 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
1.418 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.418 * [taylor]: Taking taylor expansion of (cos y) in y
1.418 * [taylor]: Taking taylor expansion of y in y
1.418 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.418 * [taylor]: Taking taylor expansion of (cos y) in y
1.418 * [taylor]: Taking taylor expansion of y in y
1.430 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
1.430 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.430 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.430 * [taylor]: Taking taylor expansion of y in y
1.430 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.430 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.430 * [taylor]: Taking taylor expansion of y in y
1.435 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
1.435 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.435 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.435 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.435 * [taylor]: Taking taylor expansion of -1 in y
1.435 * [taylor]: Taking taylor expansion of y in y
1.436 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.436 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.436 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.436 * [taylor]: Taking taylor expansion of -1 in y
1.436 * [taylor]: Taking taylor expansion of y in y
1.441 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.441 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
1.441 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
1.441 * [taylor]: Taking taylor expansion of x in y
1.441 * [taylor]: Taking taylor expansion of (cos y) in y
1.441 * [taylor]: Taking taylor expansion of y in y
1.441 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
1.441 * [taylor]: Taking taylor expansion of x in x
1.441 * [taylor]: Taking taylor expansion of (cos y) in x
1.441 * [taylor]: Taking taylor expansion of y in x
1.441 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
1.441 * [taylor]: Taking taylor expansion of x in x
1.441 * [taylor]: Taking taylor expansion of (cos y) in x
1.441 * [taylor]: Taking taylor expansion of y in x
1.442 * [taylor]: Taking taylor expansion of 0 in y
1.444 * [taylor]: Taking taylor expansion of (cos y) in y
1.444 * [taylor]: Taking taylor expansion of y in y
1.446 * [taylor]: Taking taylor expansion of 0 in y
1.450 * [taylor]: Taking taylor expansion of 0 in y
1.450 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
1.451 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
1.451 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.451 * [taylor]: Taking taylor expansion of y in y
1.451 * [taylor]: Taking taylor expansion of x in y
1.451 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
1.451 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.451 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.451 * [taylor]: Taking taylor expansion of y in x
1.451 * [taylor]: Taking taylor expansion of x in x
1.452 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
1.452 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.452 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.452 * [taylor]: Taking taylor expansion of y in x
1.452 * [taylor]: Taking taylor expansion of x in x
1.452 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.455 * [taylor]: Taking taylor expansion of 0 in y
1.458 * [taylor]: Taking taylor expansion of 0 in y
1.462 * [taylor]: Taking taylor expansion of 0 in y
1.463 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
1.463 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
1.463 * [taylor]: Taking taylor expansion of -1 in y
1.463 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
1.463 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.463 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.463 * [taylor]: Taking taylor expansion of -1 in y
1.463 * [taylor]: Taking taylor expansion of y in y
1.463 * [taylor]: Taking taylor expansion of x in y
1.463 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
1.463 * [taylor]: Taking taylor expansion of -1 in x
1.463 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
1.463 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.463 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.463 * [taylor]: Taking taylor expansion of -1 in x
1.463 * [taylor]: Taking taylor expansion of y in x
1.463 * [taylor]: Taking taylor expansion of x in x
1.464 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
1.464 * [taylor]: Taking taylor expansion of -1 in x
1.464 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
1.464 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.464 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.464 * [taylor]: Taking taylor expansion of -1 in x
1.464 * [taylor]: Taking taylor expansion of y in x
1.464 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
1.465 * [taylor]: Taking taylor expansion of -1 in y
1.465 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.465 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.465 * [taylor]: Taking taylor expansion of -1 in y
1.465 * [taylor]: Taking taylor expansion of y in y
1.468 * [taylor]: Taking taylor expansion of 0 in y
1.472 * [taylor]: Taking taylor expansion of 0 in y
1.478 * [taylor]: Taking taylor expansion of 0 in y
1.478 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.478 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0
1.478 * [taylor]: Taking taylor expansion of (* (sin y) z) in y
1.478 * [taylor]: Taking taylor expansion of (sin y) in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.478 * [taylor]: Taking taylor expansion of z in y
1.478 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
1.478 * [taylor]: Taking taylor expansion of (sin y) in z
1.478 * [taylor]: Taking taylor expansion of y in z
1.478 * [taylor]: Taking taylor expansion of z in z
1.478 * [taylor]: Taking taylor expansion of (* (sin y) z) in z
1.478 * [taylor]: Taking taylor expansion of (sin y) in z
1.478 * [taylor]: Taking taylor expansion of y in z
1.478 * [taylor]: Taking taylor expansion of z in z
1.478 * [taylor]: Taking taylor expansion of 0 in y
1.480 * [taylor]: Taking taylor expansion of (sin y) in y
1.480 * [taylor]: Taking taylor expansion of y in y
1.483 * [taylor]: Taking taylor expansion of 0 in y
1.486 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
1.490 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
1.490 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.490 * [taylor]: Taking taylor expansion of y in y
1.491 * [taylor]: Taking taylor expansion of z in y
1.491 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
1.491 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.491 * [taylor]: Taking taylor expansion of y in z
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
1.491 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
1.491 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.491 * [taylor]: Taking taylor expansion of y in z
1.491 * [taylor]: Taking taylor expansion of z in z
1.491 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.492 * [taylor]: Taking taylor expansion of y in y
1.494 * [taylor]: Taking taylor expansion of 0 in y
1.497 * [taylor]: Taking taylor expansion of 0 in y
1.506 * [taylor]: Taking taylor expansion of 0 in y
1.506 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
1.506 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
1.506 * [taylor]: Taking taylor expansion of -1 in y
1.506 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
1.506 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.506 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.506 * [taylor]: Taking taylor expansion of -1 in y
1.506 * [taylor]: Taking taylor expansion of y in y
1.507 * [taylor]: Taking taylor expansion of z in y
1.507 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
1.507 * [taylor]: Taking taylor expansion of -1 in z
1.507 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
1.507 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
1.507 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.507 * [taylor]: Taking taylor expansion of -1 in z
1.507 * [taylor]: Taking taylor expansion of y in z
1.507 * [taylor]: Taking taylor expansion of z in z
1.507 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
1.507 * [taylor]: Taking taylor expansion of -1 in z
1.507 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
1.507 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
1.507 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.507 * [taylor]: Taking taylor expansion of -1 in z
1.507 * [taylor]: Taking taylor expansion of y in z
1.507 * [taylor]: Taking taylor expansion of z in z
1.507 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
1.507 * [taylor]: Taking taylor expansion of -1 in y
1.507 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.507 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.507 * [taylor]: Taking taylor expansion of -1 in y
1.508 * [taylor]: Taking taylor expansion of y in y
1.511 * [taylor]: Taking taylor expansion of 0 in y
1.514 * [taylor]: Taking taylor expansion of 0 in y
1.520 * [taylor]: Taking taylor expansion of 0 in y
1.520 * * * [progress]: simplifying candidates
1.522 * [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 (cos y)) 2)
  (* (log (cos y)) 2)
  (* 1 2)
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (pow (cos y) 1)
  (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)
  (pow (cbrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow 1 2)
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 2))
  (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (pow (cos y) (/ 2 2))
  (pow (cos y) (/ 2 2))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y))))
  (+ (+ (log x) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y))))
  (+ (log (* x (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (* (* (* x x) x) (pow (cos y) 2)) (cos y))
  (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))))
  (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y))
  (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))))
  (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (cos y))
  (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))))
  (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))))
  (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt 1))
  (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) 1)
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (cos y)))
  (* (pow (pow (cbrt (cos y)) 2) 1/3) (cbrt (cos y)))
  (* (pow (pow (sqrt (cos y)) 2) 1/3) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (pow (cos y) 1/3) (cbrt (cos y)))
  (* (pow (cbrt (pow (cos y) 2)) 1/3) (cbrt (cos y)))
  (* (pow (sqrt (pow (cos y) 2)) 1/3) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (pow (pow (cos y) (/ 2 2)) 1/3) (cbrt (cos y)))
  (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) (/ 1/3 2)) (cbrt (cos y)))
  (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* x (cbrt (cos y)))
  (* 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))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
  (* z y)
  (* (sin y) z)
  (* (sin y) z)
1.529 * * [simplify]: iteration  0 :  459  enodes  (cost  909 )
1.537 * * [simplify]: iteration  1 :  1868  enodes  (cost  785 )
1.571 * * [simplify]: iteration  2 :  5002  enodes  (cost  756 )
1.576 * [simplify]: Simplified to:
   (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (pow (pow (cos y) 2/3) 1/3)
  (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 (pow (cos y) 2))
  (log (pow (cos y) 2))
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cos y) 4/3)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (pow (pow (cos y) 2) 1/3)
  (pow (cos y) 6)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (pow (cos y) 3) (pow x 3))
  (* (pow (cos y) 3) (pow x 3))
  (* (pow (cos y) 3) (pow x 3))
  (* (pow (cos y) 3) (pow x 3))
  (* (pow (cos y) 3) (pow x 3))
  (* (pow (cos y) 3) (pow x 3))
  (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))))
  (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (pow (cos y) 3) (pow x 3))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (cbrt (sqrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x))
  (* (* (cbrt (sqrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x))
  (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x))
  (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x))
  (* (* x (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2/3) 1/3))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* x (pow (pow (cos y) 2) 1/3))
  (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* x (pow (pow (cos y) 2) 1/3))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (* (sqrt x) (pow (cos y) 1/3)) (pow (fabs (cos y)) 1/3))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y)))
  (* (* (sqrt x) (pow (cos y) 1/3)) (pow (pow (cos y) 2) 1/6))
  (* (pow (pow (cos y) 2/3) 1/3) (pow (cos y) 1/3))
  (pow (cos y) 2/3)
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (pow (cos y) 2/3)
  (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (pow (fabs (cos y)) 1/3) (pow (cos y) 1/3))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (pow (cos y) 2/3)
  (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y)))
  (* (pow (pow (cos y) 2) 1/6) (pow (cos y) 1/3))
  (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* x (cbrt (cos y)))
  (* 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))
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  x
  (* x (cos y))
  (* x (cos y))
  (* z y)
  (* z (sin y))
  (* z (sin y))
1.576 * * * [progress]: adding candidates to table
1.870 * * [progress]: iteration 4 / 4
1.870 * * * [progress]: picking best candidate
1.901 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y))))>
1.901 * * * [progress]: localizing error
1.920 * * * [progress]: generating rewritten candidates
1.920 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
1.922 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.924 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.926 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.951 * * * [progress]: generating series expansions
1.951 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
1.951 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
1.951 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.951 * [taylor]: Taking taylor expansion of 1/3 in y
1.951 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.951 * [taylor]: Taking taylor expansion of (cos y) in y
1.951 * [taylor]: Taking taylor expansion of y in y
1.956 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
1.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
1.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
1.956 * [taylor]: Taking taylor expansion of 1/3 in y
1.956 * [taylor]: Taking taylor expansion of (log (cos y)) in y
1.956 * [taylor]: Taking taylor expansion of (cos y) in y
1.956 * [taylor]: Taking taylor expansion of y in y
1.981 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
1.981 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.981 * [taylor]: Taking taylor expansion of 1/3 in y
1.981 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.981 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.981 * [taylor]: Taking taylor expansion of y in y
1.981 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
1.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
1.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
1.981 * [taylor]: Taking taylor expansion of 1/3 in y
1.981 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
1.981 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.981 * [taylor]: Taking taylor expansion of y in y
2.015 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.015 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.016 * [taylor]: Taking taylor expansion of 1/3 in y
2.016 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.016 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.016 * [taylor]: Taking taylor expansion of -1 in y
2.016 * [taylor]: Taking taylor expansion of y in y
2.016 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.016 * [taylor]: Taking taylor expansion of 1/3 in y
2.016 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.016 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.016 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.016 * [taylor]: Taking taylor expansion of -1 in y
2.016 * [taylor]: Taking taylor expansion of y in y
2.055 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.056 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
2.056 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.056 * [taylor]: Taking taylor expansion of (cos y) in y
2.056 * [taylor]: Taking taylor expansion of y in y
2.056 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
2.056 * [taylor]: Taking taylor expansion of (cos y) in y
2.056 * [taylor]: Taking taylor expansion of y in y
2.062 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
2.062 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.062 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.062 * [taylor]: Taking taylor expansion of y in y
2.062 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
2.062 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.062 * [taylor]: Taking taylor expansion of y in y
2.067 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
2.067 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.067 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.068 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.068 * [taylor]: Taking taylor expansion of -1 in y
2.068 * [taylor]: Taking taylor expansion of y in y
2.068 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
2.068 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.068 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.068 * [taylor]: Taking taylor expansion of -1 in y
2.068 * [taylor]: Taking taylor expansion of y in y
2.073 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.073 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0
2.073 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.073 * [taylor]: Taking taylor expansion of 1/3 in y
2.073 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.073 * [taylor]: Taking taylor expansion of (cos y) in y
2.073 * [taylor]: Taking taylor expansion of y in y
2.078 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y
2.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y
2.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y
2.078 * [taylor]: Taking taylor expansion of 1/3 in y
2.078 * [taylor]: Taking taylor expansion of (log (cos y)) in y
2.078 * [taylor]: Taking taylor expansion of (cos y) in y
2.078 * [taylor]: Taking taylor expansion of y in y
2.099 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0
2.099 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.099 * [taylor]: Taking taylor expansion of 1/3 in y
2.099 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.099 * [taylor]: Taking taylor expansion of y in y
2.100 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y
2.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y
2.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y
2.100 * [taylor]: Taking taylor expansion of 1/3 in y
2.100 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y
2.100 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.100 * [taylor]: Taking taylor expansion of y in y
2.138 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0
2.139 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.139 * [taylor]: Taking taylor expansion of 1/3 in y
2.139 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.139 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.139 * [taylor]: Taking taylor expansion of -1 in y
2.139 * [taylor]: Taking taylor expansion of y in y
2.139 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y
2.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y
2.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y
2.139 * [taylor]: Taking taylor expansion of 1/3 in y
2.139 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y
2.139 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.139 * [taylor]: Taking taylor expansion of -1 in y
2.139 * [taylor]: Taking taylor expansion of y in y
2.172 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.173 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0
2.173 * [taylor]: Taking taylor expansion of (* x (cos y)) in y
2.173 * [taylor]: Taking taylor expansion of x in y
2.173 * [taylor]: Taking taylor expansion of (cos y) in y
2.173 * [taylor]: Taking taylor expansion of y in y
2.173 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
2.173 * [taylor]: Taking taylor expansion of x in x
2.173 * [taylor]: Taking taylor expansion of (cos y) in x
2.173 * [taylor]: Taking taylor expansion of y in x
2.173 * [taylor]: Taking taylor expansion of (* x (cos y)) in x
2.173 * [taylor]: Taking taylor expansion of x in x
2.173 * [taylor]: Taking taylor expansion of (cos y) in x
2.173 * [taylor]: Taking taylor expansion of y in x
2.174 * [taylor]: Taking taylor expansion of 0 in y
2.176 * [taylor]: Taking taylor expansion of (cos y) in y
2.176 * [taylor]: Taking taylor expansion of y in y
2.179 * [taylor]: Taking taylor expansion of 0 in y
2.183 * [taylor]: Taking taylor expansion of 0 in y
2.183 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0
2.183 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y
2.183 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.183 * [taylor]: Taking taylor expansion of y in y
2.183 * [taylor]: Taking taylor expansion of x in y
2.184 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
2.184 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.184 * [taylor]: Taking taylor expansion of y in x
2.184 * [taylor]: Taking taylor expansion of x in x
2.184 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x
2.184 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.184 * [taylor]: Taking taylor expansion of y in x
2.184 * [taylor]: Taking taylor expansion of x in x
2.185 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.185 * [taylor]: Taking taylor expansion of y in y
2.188 * [taylor]: Taking taylor expansion of 0 in y
2.191 * [taylor]: Taking taylor expansion of 0 in y
2.195 * [taylor]: Taking taylor expansion of 0 in y
2.196 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0
2.196 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y
2.196 * [taylor]: Taking taylor expansion of -1 in y
2.196 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y
2.196 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.196 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.196 * [taylor]: Taking taylor expansion of -1 in y
2.196 * [taylor]: Taking taylor expansion of y in y
2.196 * [taylor]: Taking taylor expansion of x in y
2.196 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
2.196 * [taylor]: Taking taylor expansion of -1 in x
2.196 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
2.196 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.196 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.196 * [taylor]: Taking taylor expansion of -1 in x
2.196 * [taylor]: Taking taylor expansion of y in x
2.196 * [taylor]: Taking taylor expansion of x in x
2.197 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x
2.197 * [taylor]: Taking taylor expansion of -1 in x
2.197 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x
2.197 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.197 * [taylor]: Taking taylor expansion of -1 in x
2.197 * [taylor]: Taking taylor expansion of y in x
2.197 * [taylor]: Taking taylor expansion of x in x
2.198 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
2.198 * [taylor]: Taking taylor expansion of -1 in y
2.198 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.198 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.198 * [taylor]: Taking taylor expansion of -1 in y
2.198 * [taylor]: Taking taylor expansion of y in y
2.206 * [taylor]: Taking taylor expansion of 0 in y
2.210 * [taylor]: Taking taylor expansion of 0 in y
2.216 * [taylor]: Taking taylor expansion of 0 in y
2.216 * * * [progress]: simplifying candidates
2.218 * [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 (cos y)) 2)
  (* (log (cos y)) 2)
  (* 1 2)
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (pow (cos y) 1)
  (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)
  (pow (cbrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow (sqrt (cos y)) 2)
  (pow 1 2)
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))
  (cbrt (pow (cos y) 2))
  (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (sqrt (pow (cos y) 2))
  (pow (cos y) (/ 2 2))
  (pow (cos y) (/ 2 2))
  (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y))))))
  (log (cbrt (exp (cbrt (cos y)))))
  (log (sqrt (exp (cbrt (cos y)))))
  (log (sqrt (exp (cbrt (cos y)))))
  (log 1)
  (log (exp (cbrt (cos y))))
  (log (exp (cbrt (cos y))))
  (log (exp (cbrt (* (cbrt (cos y)) (cbrt (cos y))))))
  (log (exp (cbrt (sqrt (cos y)))))
  (log (exp (cbrt 1)))
  (log (exp (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))))
  (log (exp (sqrt (cbrt (cos y)))))
  (log (exp 1))
  (log (log (exp (cbrt (cos y)))))
  (exp (log (exp (cbrt (cos y)))))
  (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y))))))
  (cbrt (log (exp (cbrt (cos y)))))
  (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))
  (sqrt (log (exp (cbrt (cos y)))))
  (sqrt (log (exp (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (log (exp (cbrt (cos y))))))
  (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (log (exp (cbrt (cos y))))))
  (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (log (exp (cbrt (cos y))))))
  (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (log (exp (cbrt (cos y))))))
  (+ (+ (log x) (log (pow (pow (cos y) 2) 1/3))) (log (log (exp (cbrt (cos y))))))
  (+ (log (* x (pow (pow (cos y) 2) 1/3))) (log (log (exp (cbrt (cos y))))))
  (log (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (exp (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y))))))
  (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y))))))
  (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y))))))
  (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))))
  (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y))))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (log (exp (cbrt (cos y))))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (log (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log 1))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (log (cbrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (log (sqrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (log (sqrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (log 1) (* x (pow (pow (cos y) 2) 1/3)))
  (* (log (exp (cbrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (* x (pow (pow (cos y) 2) 1/3)) 1)
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))
  (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y)))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (log (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) 1)
  (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y)))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cbrt (cos y)) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (pow (sqrt (cos y)) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (cos y) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (cbrt (pow (cos y) 2)) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (sqrt (pow (cos y) 2)) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cos y) (/ 2 2)) 1/3) (log (exp (cbrt (cos y)))))
  (* (cbrt (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (sqrt (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y)))))
  (* (pow (pow (cos y) 2) (/ 1/3 2)) (log (exp (cbrt (cos y)))))
  (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))
  (* x (log (exp (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/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  x
  (* x (cos y))
  (* x (cos y))
2.225 * * [simplify]: iteration  0 :  424  enodes  (cost  974 )
2.232 * * [simplify]: iteration  1 :  1690  enodes  (cost  803 )
2.264 * * [simplify]: iteration  2 :  5001  enodes  (cost  778 )
2.268 * [simplify]: Simplified to:
   (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (pow (pow (cos y) 2/3) 1/3)
  (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 (pow (cos y) 2))
  (log (pow (cos y) 2))
  2
  (pow (cos y) (* (cbrt 2) (cbrt 2)))
  (pow (cos y) (sqrt 2))
  (cos y)
  (pow (cos y) 4/3)
  (pow (cos y) 2/3)
  (cos y)
  (cos y)
  1
  (pow (cos y) 2)
  (log (pow (cos y) 2))
  (exp (pow (cos y) 2))
  (pow (pow (cos y) 2) 2/3)
  (pow (pow (cos y) 2) 1/3)
  (pow (pow (cos y) 2) 3)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (* 2 (log (cbrt (exp (cbrt (cos y))))))
  (log (cbrt (exp (cbrt (cos y)))))
  (log (sqrt (exp (cbrt (cos y)))))
  (log (sqrt (exp (cbrt (cos y)))))
  0
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (pow (pow (cos y) 2/3) 1/3)
  (cbrt (sqrt (cos y)))
  1
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (sqrt (cbrt (cos y)))
  1
  (log (cbrt (cos y)))
  (exp (cbrt (cos y)))
  (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))
  (cbrt (cbrt (cos y)))
  (cos y)
  (sqrt (cbrt (cos y)))
  (sqrt (cbrt (cos y)))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3))
  (pow (exp (cbrt (cos y))) (* x (pow (pow (cos y) 2) 1/3)))
  (* (pow (cos y) 2) (* (cos y) (pow x 3)))
  (* (pow (cos y) 2) (* (cos y) (pow x 3)))
  (* (pow (cos y) 2) (* (cos y) (pow x 3)))
  (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))))
  (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (* (pow (cos y) 2) (* (cos y) (pow x 3)))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (sqrt (cbrt (cos y))))
  (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (sqrt (cbrt (cos y))))
  (* (* (* 2 (log (cbrt (exp (cbrt (cos y)))))) (pow (pow (cos y) 2) 1/3)) x)
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  0
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (* (* 2 (log (cbrt (exp (cbrt (cos y)))))) (pow (pow (cos y) 2) 1/3)) x)
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y))))))
  0
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* x (pow (pow (cos y) 2) 1/3))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y))))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))))
  (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y))))
  (* x (pow (pow (cos y) 2) 1/3))
  (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3))
  (* (pow (cos y) 1/3) (cbrt (* x (pow (pow (cos y) 2) 1/3))))
  (* (pow (cos y) 1/3) (sqrt (* x (pow (pow (cos y) 2) 1/3))))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (* (sqrt x) (pow (cos y) 1/3)) (pow (fabs (cos y)) 1/3))
  (* (pow (cos y) 2/3) (sqrt x))
  (* (pow (cos y) 1/3) (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))))
  (* (pow (cos y) 1/3) (* (sqrt x) (pow (pow (cos y) 2) 1/6)))
  (* (pow (pow (cos y) 2/3) 1/3) (pow (cos y) 1/3))
  (pow (cos y) 2/3)
  (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3))
  (pow (cos y) 2/3)
  (* (pow (cos y) 1/3) (cbrt (pow (pow (cos y) 2) 1/3)))
  (* (pow (fabs (cos y)) 1/3) (pow (cos y) 1/3))
  (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3))
  (pow (cos y) 2/3)
  (* (pow (cos y) 1/3) (cbrt (pow (pow (cos y) 2) 1/3)))
  (* (pow (cos y) 1/3) (sqrt (pow (pow (cos y) 2) 1/3)))
  (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3))
  (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/6))
  (* (pow (cos y) 1/3) (* (cbrt x) (pow (pow (cos y) 2) 1/3)))
  (* (pow (cos y) 1/3) (* (sqrt x) (pow (pow (cos y) 2) 1/3)))
  (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3))
  (* (pow (cos y) 1/3) x)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4))))
  (pow (cos y) 1/3)
  (pow (cos y) 1/3)
  x
  (* x (cos y))
  (* x (cos y))
2.269 * * * [progress]: adding candidates to table
2.794 * [progress]: [Phase 3 of 3] Extracting.
2.794 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* (* x (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (cbrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (+ (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))))) (* z (sin y))))>)
2.796 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
2.796 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* (* x (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (cbrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (+ (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))))) (* z (sin y))))>)
2.840 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* (* x (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (cbrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (+ (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))))) (* z (sin y))))>)
2.883 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* (* x (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt (* z (sin y))) (sqrt (* z (sin y))))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (* (cbrt z) (cbrt z)) (* (cbrt z) (sin y)))))> #<alt (λ (x y z) (- (* x (cos y)) (* (sqrt z) (* (sqrt z) (sin y)))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (cbrt (cbrt (cos y)))) (* z (sin y))))> #<alt (λ (x y z) (- (* (* x (pow (pow (cos y) 2) 1/3)) (+ (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))))) (* z (sin y))))>)
2.925 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
2.925 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y)))
2.926 * * [simplify]: iteration  0 :  19  enodes  (cost  12 )
2.926 * * [simplify]: iteration  1 :  19  enodes  (cost  12 )
2.926 * [simplify]: Simplified to:
   (- (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* z (sin y)))
5.070 * [regime-testing]: Baseline error score: 0.2422799992802542
5.071 * [regime-testing]: Oracle error score: 0.047204020815192045
5.072 * [regime-testing]: End program error score: 0.2422799992802542