4.532 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.058 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* x (sin y)) (* z (cos y)))
0.064 * * [simplify]: iteration  0 :  11  enodes  (cost  5 )
0.065 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
0.065 * [simplify]: Simplified to:
   (+ (* x (sin y)) (* z (cos y)))
0.066 * * [progress]: iteration 1 / 4
0.066 * * * [progress]: picking best candidate
0.068 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* z (cos y))))>
0.068 * * * [progress]: localizing error
0.077 * * * [progress]: generating rewritten candidates
0.077 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.080 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.084 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.087 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.088 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.088 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.088 * [taylor]: Taking taylor expansion of (cos y) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of z in y
0.088 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.088 * [taylor]: Taking taylor expansion of (cos y) in z
0.088 * [taylor]: Taking taylor expansion of y in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.088 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.088 * [taylor]: Taking taylor expansion of (cos y) in z
0.088 * [taylor]: Taking taylor expansion of y in z
0.088 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of (cos y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [taylor]: Taking taylor expansion of 0 in y
0.097 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.097 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.097 * [taylor]: Taking taylor expansion of y in y
0.098 * [taylor]: Taking taylor expansion of z in y
0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.098 * [taylor]: Taking taylor expansion of y in z
0.098 * [taylor]: Taking taylor expansion of z in z
0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.098 * [taylor]: Taking taylor expansion of y in z
0.098 * [taylor]: Taking taylor expansion of z in z
0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.105 * [taylor]: Taking taylor expansion of 0 in y
0.108 * [taylor]: Taking taylor expansion of 0 in y
0.109 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.109 * [taylor]: Taking taylor expansion of -1 in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of z in y
0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.109 * [taylor]: Taking taylor expansion of -1 in z
0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.109 * [taylor]: Taking taylor expansion of -1 in z
0.109 * [taylor]: Taking taylor expansion of y in z
0.109 * [taylor]: Taking taylor expansion of z in z
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.110 * [taylor]: Taking taylor expansion of -1 in z
0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.110 * [taylor]: Taking taylor expansion of -1 in z
0.110 * [taylor]: Taking taylor expansion of y in z
0.110 * [taylor]: Taking taylor expansion of z in z
0.111 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.111 * [taylor]: Taking taylor expansion of -1 in y
0.111 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.111 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.111 * [taylor]: Taking taylor expansion of -1 in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.130 * [taylor]: Taking taylor expansion of 0 in y
0.130 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.130 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.130 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.130 * [taylor]: Taking taylor expansion of x in y
0.130 * [taylor]: Taking taylor expansion of (sin y) in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.130 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (sin y) in x
0.130 * [taylor]: Taking taylor expansion of y in x
0.130 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (sin y) in x
0.131 * [taylor]: Taking taylor expansion of y in x
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.133 * [taylor]: Taking taylor expansion of (sin y) in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.135 * [taylor]: Taking taylor expansion of 0 in y
0.139 * [taylor]: Taking taylor expansion of 0 in y
0.144 * [taylor]: Taking taylor expansion of 0 in y
0.144 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.144 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of x in y
0.144 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.144 * [taylor]: Taking taylor expansion of y in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.145 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.145 * [taylor]: Taking taylor expansion of y in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.145 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.150 * [taylor]: Taking taylor expansion of 0 in y
0.154 * [taylor]: Taking taylor expansion of 0 in y
0.154 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.154 * [taylor]: Taking taylor expansion of -1 in y
0.154 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.154 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.154 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.154 * [taylor]: Taking taylor expansion of -1 in y
0.154 * [taylor]: Taking taylor expansion of y in y
0.155 * [taylor]: Taking taylor expansion of x in y
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.155 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.155 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of y in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.155 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.155 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of y in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
0.156 * [taylor]: Taking taylor expansion of -1 in y
0.156 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.156 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.156 * [taylor]: Taking taylor expansion of -1 in y
0.156 * [taylor]: Taking taylor expansion of y in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.162 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.167 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.167 * [approximate]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in (x y z) around 0
0.167 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in z
0.167 * [taylor]: Taking taylor expansion of (* x (sin y)) in z
0.167 * [taylor]: Taking taylor expansion of x in z
0.167 * [taylor]: Taking taylor expansion of (sin y) in z
0.167 * [taylor]: Taking taylor expansion of y in z
0.167 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.168 * [taylor]: Taking taylor expansion of (cos y) in z
0.168 * [taylor]: Taking taylor expansion of y in z
0.168 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in y
0.168 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.168 * [taylor]: Taking taylor expansion of x in y
0.168 * [taylor]: Taking taylor expansion of (sin y) in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.168 * [taylor]: Taking taylor expansion of (* z (cos y)) in y
0.168 * [taylor]: Taking taylor expansion of z in y
0.168 * [taylor]: Taking taylor expansion of (cos y) in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.168 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in x
0.168 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of (sin y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.168 * [taylor]: Taking taylor expansion of (* z (cos y)) in x
0.168 * [taylor]: Taking taylor expansion of z in x
0.168 * [taylor]: Taking taylor expansion of (cos y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.168 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in x
0.168 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of (sin y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.168 * [taylor]: Taking taylor expansion of (* z (cos y)) in x
0.168 * [taylor]: Taking taylor expansion of z in x
0.168 * [taylor]: Taking taylor expansion of (cos y) in x
0.168 * [taylor]: Taking taylor expansion of y in x
0.169 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.169 * [taylor]: Taking taylor expansion of (cos y) in y
0.169 * [taylor]: Taking taylor expansion of y in y
0.169 * [taylor]: Taking taylor expansion of z in y
0.169 * [taylor]: Taking taylor expansion of z in z
0.173 * [taylor]: Taking taylor expansion of (sin y) in y
0.173 * [taylor]: Taking taylor expansion of y in y
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.173 * [taylor]: Taking taylor expansion of 0 in z
0.178 * [taylor]: Taking taylor expansion of 0 in y
0.178 * [taylor]: Taking taylor expansion of 0 in z
0.178 * [taylor]: Taking taylor expansion of 1 in z
0.180 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z
0.180 * [taylor]: Taking taylor expansion of (* 1/2 z) in z
0.180 * [taylor]: Taking taylor expansion of 1/2 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.187 * [taylor]: Taking taylor expansion of 0 in z
0.187 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in (x y z) around 0
0.187 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in z
0.187 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z
0.187 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.187 * [taylor]: Taking taylor expansion of y in z
0.187 * [taylor]: Taking taylor expansion of x in z
0.187 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.187 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.187 * [taylor]: Taking taylor expansion of y in z
0.188 * [taylor]: Taking taylor expansion of z in z
0.188 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in y
0.188 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.188 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.188 * [taylor]: Taking taylor expansion of y in y
0.188 * [taylor]: Taking taylor expansion of x in y
0.188 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.188 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.188 * [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 (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x
0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.189 * [taylor]: Taking taylor expansion of (sin (/ 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.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) 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.189 * [taylor]: Taking taylor expansion of z in x
0.190 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x
0.190 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) 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 x in x
0.190 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) 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 z in x
0.191 * [taylor]: Taking taylor expansion of (sin (/ 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.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.191 * [taylor]: Taking taylor expansion of y in z
0.193 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.193 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.193 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of z in y
0.194 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.194 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.194 * [taylor]: Taking taylor expansion of y in z
0.194 * [taylor]: Taking taylor expansion of z in z
0.194 * [taylor]: Taking taylor expansion of 0 in z
0.199 * [taylor]: Taking taylor expansion of 0 in y
0.199 * [taylor]: Taking taylor expansion of 0 in z
0.199 * [taylor]: Taking taylor expansion of 0 in z
0.199 * [taylor]: Taking taylor expansion of 0 in z
0.214 * [taylor]: Taking taylor expansion of 0 in y
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [approximate]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in (x y z) around 0
0.215 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in z
0.215 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in z
0.215 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.215 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.215 * [taylor]: Taking taylor expansion of -1 in z
0.215 * [taylor]: Taking taylor expansion of y in z
0.216 * [taylor]: Taking taylor expansion of z in z
0.216 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z
0.216 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.216 * [taylor]: Taking taylor expansion of -1 in z
0.216 * [taylor]: Taking taylor expansion of y in z
0.216 * [taylor]: Taking taylor expansion of x in z
0.216 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in y
0.216 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in y
0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.216 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.216 * [taylor]: Taking taylor expansion of -1 in y
0.216 * [taylor]: Taking taylor expansion of y in y
0.217 * [taylor]: Taking taylor expansion of z in y
0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.217 * [taylor]: Taking taylor expansion of -1 in y
0.217 * [taylor]: Taking taylor expansion of y in y
0.217 * [taylor]: Taking taylor expansion of x in y
0.217 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x
0.217 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x
0.217 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.217 * [taylor]: Taking taylor expansion of -1 in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.218 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.218 * [taylor]: Taking taylor expansion of -1 in x
0.218 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x
0.218 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x
0.218 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.218 * [taylor]: Taking taylor expansion of -1 in x
0.218 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of z in x
0.219 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) 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 x in x
0.219 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in y
0.219 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.219 * [taylor]: Taking taylor expansion of -1 in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.220 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z
0.220 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.220 * [taylor]: Taking taylor expansion of -1 in z
0.220 * [taylor]: Taking taylor expansion of y in z
0.222 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in y
0.222 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.222 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.222 * [taylor]: Taking taylor expansion of -1 in y
0.222 * [taylor]: Taking taylor expansion of y in y
0.222 * [taylor]: Taking taylor expansion of z in y
0.223 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in z
0.223 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.223 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.223 * [taylor]: Taking taylor expansion of -1 in z
0.223 * [taylor]: Taking taylor expansion of y in z
0.223 * [taylor]: Taking taylor expansion of z in z
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.229 * [taylor]: Taking taylor expansion of 0 in z
0.240 * [taylor]: Taking taylor expansion of 0 in y
0.240 * [taylor]: Taking taylor expansion of 0 in z
0.240 * [taylor]: Taking taylor expansion of 0 in z
0.241 * [taylor]: Taking taylor expansion of 0 in z
0.241 * [taylor]: Taking taylor expansion of 0 in z
0.241 * * * [progress]: simplifying candidates
0.242 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (* (* (* x (sin y)) (* x (sin y))) (* x (sin y)))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (* (exp (* x (sin y))) (exp (* z (cos y))))
  (log (+ (* x (sin y)) (* z (cos y))))
  (exp (+ (* x (sin y)) (* z (cos y))))
  (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y)))))
  (cbrt (+ (* x (sin y)) (* z (cos y))))
  (* (* (+ (* x (sin y)) (* z (cos y))) (+ (* x (sin y)) (* z (cos y)))) (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3))
  (+ (* (* x (sin y)) (* x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (* x (sin y)) (* z (cos y)))))
  (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y))))
  (- (* x (sin y)) (* z (cos y)))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (+ z (* x y))
  (+ (* (cos y) z) (* x (sin y)))
  (+ (* (cos y) z) (* x (sin y)))
0.246 * * [simplify]: iteration  0 :  185  enodes  (cost  250 )
0.250 * * [simplify]: iteration  1 :  702  enodes  (cost  229 )
0.265 * * [simplify]: iteration  2 :  2218  enodes  (cost  229 )
0.311 * * [simplify]: iteration  3 :  5001  enodes  (cost  229 )
0.312 * [simplify]: Simplified to:
   (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (pow (* x (sin y)) 3)
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (exp (+ (* x (sin y)) (* z (cos y))))
  (log (+ (* x (sin y)) (* z (cos y))))
  (exp (+ (* x (sin y)) (* z (cos y))))
  (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y)))))
  (cbrt (+ (* x (sin y)) (* z (cos y))))
  (pow (+ (* (cos y) z) (* x (sin y))) 3)
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (sqrt (+ (* x (sin y)) (* z (cos y))))
  (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3))
  (+ (* (* z (cos y)) (- (* z (cos y)) (* x (sin y)))) (* (* x (sin y)) (* x (sin y))))
  (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y))))
  (- (* x (sin y)) (* z (cos y)))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (+ z (* x y))
  (+ (* (cos y) z) (* x (sin y)))
  (+ (* (cos y) z) (* x (sin y)))
0.312 * * * [progress]: adding candidates to table
0.428 * * [progress]: iteration 2 / 4
0.428 * * * [progress]: picking best candidate
0.439 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))>
0.439 * * * [progress]: localizing error
0.453 * * * [progress]: generating rewritten candidates
0.453 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.455 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.471 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.477 * * * [progress]: generating series expansions
0.477 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.477 * [approximate]: Taking taylor expansion of (sqrt (* x (sin y))) in (x y) around 0
0.477 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in y
0.477 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.477 * [taylor]: Taking taylor expansion of x in y
0.477 * [taylor]: Taking taylor expansion of (sin y) in y
0.477 * [taylor]: Taking taylor expansion of y in y
0.479 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in x
0.479 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of (sin y) in x
0.479 * [taylor]: Taking taylor expansion of y in x
0.481 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in x
0.481 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.481 * [taylor]: Taking taylor expansion of (sin y) in x
0.481 * [taylor]: Taking taylor expansion of y in x
0.484 * [taylor]: Taking taylor expansion of 0 in y
0.484 * [taylor]: Taking taylor expansion of (* +nan.0 (sin y)) in y
0.484 * [taylor]: Taking taylor expansion of +nan.0 in y
0.484 * [taylor]: Taking taylor expansion of (sin y) in y
0.484 * [taylor]: Taking taylor expansion of y in y
0.487 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 2)) in y
0.487 * [taylor]: Taking taylor expansion of +nan.0 in y
0.487 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.487 * [taylor]: Taking taylor expansion of (sin y) in y
0.487 * [taylor]: Taking taylor expansion of y in y
0.493 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 3)) in y
0.493 * [taylor]: Taking taylor expansion of +nan.0 in y
0.493 * [taylor]: Taking taylor expansion of (pow (sin y) 3) in y
0.493 * [taylor]: Taking taylor expansion of (sin y) in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 4)) in y
0.499 * [taylor]: Taking taylor expansion of +nan.0 in y
0.499 * [taylor]: Taking taylor expansion of (pow (sin y) 4) in y
0.499 * [taylor]: Taking taylor expansion of (sin y) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.503 * [approximate]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in (x y) around 0
0.503 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in y
0.503 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.503 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in x
0.504 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.504 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.504 * [taylor]: Taking taylor expansion of y in x
0.504 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in x
0.505 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.505 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of 0 in y
0.506 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 y))) in y
0.506 * [taylor]: Taking taylor expansion of +nan.0 in y
0.506 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.509 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ 1 y)) 2)) in y
0.509 * [taylor]: Taking taylor expansion of +nan.0 in y
0.509 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.509 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.509 * [taylor]: Taking taylor expansion of y in y
0.514 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ 1 y)) 3)) in y
0.514 * [taylor]: Taking taylor expansion of +nan.0 in y
0.514 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 3) in y
0.514 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.514 * [taylor]: Taking taylor expansion of y in y
0.515 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in (x y) around 0
0.515 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in y
0.515 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.515 * [taylor]: Taking taylor expansion of -1 in y
0.515 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.515 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.515 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.515 * [taylor]: Taking taylor expansion of -1 in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.516 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.516 * [taylor]: Taking taylor expansion of -1 in x
0.516 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.516 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.516 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.516 * [taylor]: Taking taylor expansion of -1 in x
0.516 * [taylor]: Taking taylor expansion of y in x
0.516 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.517 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.517 * [taylor]: Taking taylor expansion of -1 in x
0.517 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.517 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.517 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.517 * [taylor]: Taking taylor expansion of -1 in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of 0 in y
0.518 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 y))) in y
0.518 * [taylor]: Taking taylor expansion of +nan.0 in y
0.518 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.518 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.518 * [taylor]: Taking taylor expansion of -1 in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.522 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 2)) in y
0.522 * [taylor]: Taking taylor expansion of +nan.0 in y
0.522 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.522 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.522 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.522 * [taylor]: Taking taylor expansion of -1 in y
0.522 * [taylor]: Taking taylor expansion of y in y
0.526 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 3)) in y
0.527 * [taylor]: Taking taylor expansion of +nan.0 in y
0.527 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 3) in y
0.527 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.527 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.527 * [taylor]: Taking taylor expansion of -1 in y
0.527 * [taylor]: Taking taylor expansion of y in y
0.528 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.528 * [approximate]: Taking taylor expansion of (sqrt (* x (sin y))) in (x y) around 0
0.528 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in y
0.528 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (sin y) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in x
0.529 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (sin y) in x
0.529 * [taylor]: Taking taylor expansion of y in x
0.532 * [taylor]: Taking taylor expansion of (sqrt (* x (sin y))) in x
0.532 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.532 * [taylor]: Taking taylor expansion of x in x
0.532 * [taylor]: Taking taylor expansion of (sin y) in x
0.532 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of 0 in y
0.534 * [taylor]: Taking taylor expansion of (* +nan.0 (sin y)) in y
0.534 * [taylor]: Taking taylor expansion of +nan.0 in y
0.534 * [taylor]: Taking taylor expansion of (sin y) in y
0.534 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 2)) in y
0.538 * [taylor]: Taking taylor expansion of +nan.0 in y
0.538 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
0.538 * [taylor]: Taking taylor expansion of (sin y) in y
0.538 * [taylor]: Taking taylor expansion of y in y
0.548 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 3)) in y
0.548 * [taylor]: Taking taylor expansion of +nan.0 in y
0.548 * [taylor]: Taking taylor expansion of (pow (sin y) 3) in y
0.548 * [taylor]: Taking taylor expansion of (sin y) in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin y) 4)) in y
0.554 * [taylor]: Taking taylor expansion of +nan.0 in y
0.554 * [taylor]: Taking taylor expansion of (pow (sin y) 4) in y
0.554 * [taylor]: Taking taylor expansion of (sin y) in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.559 * [approximate]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in (x y) around 0
0.559 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in y
0.559 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.559 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.559 * [taylor]: Taking taylor expansion of y in y
0.559 * [taylor]: Taking taylor expansion of x in y
0.559 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in x
0.559 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.559 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.559 * [taylor]: Taking taylor expansion of y in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of (sqrt (/ (sin (/ 1 y)) x)) in x
0.560 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.560 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.560 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.560 * [taylor]: Taking taylor expansion of y in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of 0 in y
0.561 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ 1 y))) in y
0.561 * [taylor]: Taking taylor expansion of +nan.0 in y
0.561 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ 1 y)) 2)) in y
0.565 * [taylor]: Taking taylor expansion of +nan.0 in y
0.565 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
0.565 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.569 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ 1 y)) 3)) in y
0.569 * [taylor]: Taking taylor expansion of +nan.0 in y
0.569 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 3) in y
0.569 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.570 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in (x y) around 0
0.570 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in y
0.570 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.570 * [taylor]: Taking taylor expansion of -1 in y
0.570 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.570 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.570 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.570 * [taylor]: Taking taylor expansion of -1 in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of x in y
0.571 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.571 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.571 * [taylor]: Taking taylor expansion of -1 in x
0.571 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.571 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.571 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.571 * [taylor]: Taking taylor expansion of -1 in x
0.571 * [taylor]: Taking taylor expansion of y in x
0.572 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.572 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.572 * [taylor]: Taking taylor expansion of -1 in x
0.572 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.572 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.572 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.572 * [taylor]: Taking taylor expansion of -1 in x
0.572 * [taylor]: Taking taylor expansion of y in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of (* +nan.0 (sin (/ -1 y))) in y
0.573 * [taylor]: Taking taylor expansion of +nan.0 in y
0.573 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.573 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.573 * [taylor]: Taking taylor expansion of -1 in y
0.574 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 2)) in y
0.577 * [taylor]: Taking taylor expansion of +nan.0 in y
0.577 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.577 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.577 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.577 * [taylor]: Taking taylor expansion of -1 in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.582 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 3)) in y
0.582 * [taylor]: Taking taylor expansion of +nan.0 in y
0.582 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 3) in y
0.582 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.582 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.582 * [taylor]: Taking taylor expansion of -1 in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.583 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.583 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
0.583 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
0.583 * [taylor]: Taking taylor expansion of x in y
0.583 * [taylor]: Taking taylor expansion of (sin y) in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.584 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (sin y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (sin y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of 0 in y
0.586 * [taylor]: Taking taylor expansion of (sin y) in y
0.586 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of 0 in y
0.592 * [taylor]: Taking taylor expansion of 0 in y
0.596 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
0.597 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
0.597 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.597 * [taylor]: Taking taylor expansion of y in y
0.597 * [taylor]: Taking taylor expansion of x in y
0.597 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.597 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.597 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.597 * [taylor]: Taking taylor expansion of y in x
0.597 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
0.598 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.598 * [taylor]: Taking taylor expansion of y in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.601 * [taylor]: Taking taylor expansion of 0 in y
0.604 * [taylor]: Taking taylor expansion of 0 in y
0.607 * [taylor]: Taking taylor expansion of 0 in y
0.608 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (/ (sin (/ -1 y)) x))) 2) in (x y) around 0
0.608 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (sin (/ -1 y)) x))) 2) in y
0.608 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in y
0.608 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
0.608 * [taylor]: Taking taylor expansion of -1 in y
0.608 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
0.608 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.608 * [taylor]: Taking taylor expansion of -1 in y
0.608 * [taylor]: Taking taylor expansion of y in y
0.608 * [taylor]: Taking taylor expansion of x in y
0.609 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (sin (/ -1 y)) x))) 2) in x
0.609 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.609 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.609 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.609 * [taylor]: Taking taylor expansion of -1 in x
0.609 * [taylor]: Taking taylor expansion of y in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (sin (/ -1 y)) x))) 2) in x
0.610 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (sin (/ -1 y)) x))) in x
0.610 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
0.610 * [taylor]: Taking taylor expansion of -1 in x
0.610 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
0.610 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
0.610 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.610 * [taylor]: Taking taylor expansion of -1 in x
0.610 * [taylor]: Taking taylor expansion of y in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 2)) in y
0.611 * [taylor]: Taking taylor expansion of +nan.0 in y
0.611 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
0.611 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.611 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.611 * [taylor]: Taking taylor expansion of -1 in y
0.611 * [taylor]: Taking taylor expansion of y in y
0.615 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (sin (/ -1 y)) 3))) in y
0.615 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 3)) in y
0.615 * [taylor]: Taking taylor expansion of +nan.0 in y
0.615 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 3) in y
0.615 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.615 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.616 * [taylor]: Taking taylor expansion of -1 in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.621 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (sin (/ -1 y)) 4))) in y
0.621 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (sin (/ -1 y)) 4)) in y
0.621 * [taylor]: Taking taylor expansion of +nan.0 in y
0.621 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 4) in y
0.621 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
0.621 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.621 * [taylor]: Taking taylor expansion of -1 in y
0.621 * [taylor]: Taking taylor expansion of y in y
0.623 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.623 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.623 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.623 * [taylor]: Taking taylor expansion of (cos y) in y
0.623 * [taylor]: Taking taylor expansion of y in y
0.623 * [taylor]: Taking taylor expansion of z in y
0.623 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.623 * [taylor]: Taking taylor expansion of (cos y) in z
0.623 * [taylor]: Taking taylor expansion of y in z
0.623 * [taylor]: Taking taylor expansion of z in z
0.623 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.623 * [taylor]: Taking taylor expansion of (cos y) in z
0.623 * [taylor]: Taking taylor expansion of y in z
0.623 * [taylor]: Taking taylor expansion of z in z
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.626 * [taylor]: Taking taylor expansion of (cos y) in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of 0 in y
0.637 * [taylor]: Taking taylor expansion of 0 in y
0.637 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.637 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.637 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.637 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.637 * [taylor]: Taking taylor expansion of y in y
0.637 * [taylor]: Taking taylor expansion of z in y
0.637 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.637 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.637 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.637 * [taylor]: Taking taylor expansion of y in z
0.638 * [taylor]: Taking taylor expansion of z in z
0.638 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.638 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.638 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.638 * [taylor]: Taking taylor expansion of y in z
0.638 * [taylor]: Taking taylor expansion of z in z
0.639 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.639 * [taylor]: Taking taylor expansion of y in y
0.642 * [taylor]: Taking taylor expansion of 0 in y
0.645 * [taylor]: Taking taylor expansion of 0 in y
0.648 * [taylor]: Taking taylor expansion of 0 in y
0.649 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
0.649 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.649 * [taylor]: Taking taylor expansion of -1 in y
0.649 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.649 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.649 * [taylor]: Taking taylor expansion of -1 in y
0.649 * [taylor]: Taking taylor expansion of y in y
0.649 * [taylor]: Taking taylor expansion of z in y
0.649 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.649 * [taylor]: Taking taylor expansion of -1 in z
0.649 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.649 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.649 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.649 * [taylor]: Taking taylor expansion of -1 in z
0.649 * [taylor]: Taking taylor expansion of y in z
0.650 * [taylor]: Taking taylor expansion of z in z
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.650 * [taylor]: Taking taylor expansion of -1 in z
0.650 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.650 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.650 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.650 * [taylor]: Taking taylor expansion of -1 in z
0.650 * [taylor]: Taking taylor expansion of y in z
0.650 * [taylor]: Taking taylor expansion of z in z
0.651 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
0.651 * [taylor]: Taking taylor expansion of -1 in y
0.651 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.651 * [taylor]: Taking taylor expansion of -1 in y
0.651 * [taylor]: Taking taylor expansion of y in y
0.654 * [taylor]: Taking taylor expansion of 0 in y
0.658 * [taylor]: Taking taylor expansion of 0 in y
0.663 * [taylor]: Taking taylor expansion of 0 in y
0.664 * * * [progress]: simplifying candidates
0.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* x (sin y))))
  (exp (sqrt (* x (sin y))))
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  (cbrt (sqrt (* x (sin y))))
  (* (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (sqrt (* x (sin y))))
  (sqrt x)
  (sqrt (sin y))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* x (sin y))))
  (sqrt (sqrt (* x (sin y))))
  (log (sqrt (* x (sin y))))
  (exp (sqrt (* x (sin y))))
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  (cbrt (sqrt (* x (sin y))))
  (* (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (sqrt (* x (sin y))))
  (sqrt x)
  (sqrt (sin y))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* x (sin y))))
  (sqrt (sqrt (* x (sin y))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* x (sin y)) (* x (sin y)))
  (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))
  (* (* x (sin y)) (* x (sin y)))
  (* (* x (sin y)) (* x (sin y)))
  (* (* x (sin y)) (* x (sin y)))
  (* (* x (sin y)) (* x (sin y)))
  (+ 1 1)
  (+ (log (sqrt (* x (sin y)))) (log (sqrt (* x (sin y)))))
  (log (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (exp (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (* (* (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (sqrt (* x (sin y)))) (* (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (sqrt (* x (sin y)))))
  (* (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))) (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))))
  (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (* (* (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))) (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (* (* x (sin y)) (* x (sin y)))
  (sqrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (sqrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (* (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y))))) (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y))))))
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  (* (sqrt x) (sqrt x))
  (* (sqrt (sin y)) (sqrt (sin y)))
  (* (sqrt (sqrt (* x (sin y)))) (sqrt (sqrt (* x (sin y)))))
  (* (sqrt (sqrt (* x (sin y)))) (sqrt (sqrt (* x (sin y)))))
  (* 1 1)
  (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))
  (* (sqrt (sqrt (* x (sin y)))) (sqrt (sqrt (* x (sin y)))))
  (* (sqrt (sqrt (* x (sin y)))) (sqrt (sqrt (* x (sin y)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* x (sin y))) (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y))))))
  (* (sqrt (* x (sin y))) (sqrt x))
  (* (sqrt (* x (sin y))) (sqrt (sqrt (* x (sin y)))))
  (* (sqrt (* x (sin y))) 1)
  (* (cbrt (sqrt (* x (sin y)))) (sqrt (* x (sin y))))
  (* (sqrt (sin y)) (sqrt (* x (sin y))))
  (* (sqrt (sqrt (* x (sin y)))) (sqrt (* x (sin y))))
  (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))
  (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (- (+ (* +nan.0 (* (pow x 2) (pow y 2))) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* x (pow y 3))))))))
  (- (+ (* +nan.0 (/ (pow (sin y) 3) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sin y) 2) x)) (- (* +nan.0 (sin y)))))))
  (- (+ (* +nan.0 (/ (pow (sin y) 3) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sin y) 2) x)) (- (* +nan.0 (sin y)))))))
  (- (+ (* +nan.0 (* (pow x 2) (pow y 2))) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* x (pow y 3))))))))
  (- (+ (* +nan.0 (/ (pow (sin y) 3) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sin y) 2) x)) (- (* +nan.0 (sin y)))))))
  (- (+ (* +nan.0 (/ (pow (sin y) 3) (pow x 2))) (- (+ (* +nan.0 (/ (pow (sin y) 2) x)) (- (* +nan.0 (sin y)))))))
  (* x y)
  (* x (sin y))
  (- (+ (* +nan.0 (pow (sin y) 2)) (- (+ (* +nan.0 (/ (pow (sin y) 4) (pow x 2))) (- (* +nan.0 (/ (pow (sin y) 3) x)))))))
  z
  (* z (cos y))
  (* z (cos y))
0.670 * * [simplify]: iteration  0 :  266  enodes  (cost  457 )
0.676 * * [simplify]: iteration  1 :  1204  enodes  (cost  378 )
0.705 * * [simplify]: iteration  2 :  5001  enodes  (cost  362 )
0.708 * [simplify]: Simplified to:
   (log (sqrt (* x (sin y))))
  (exp (sqrt (* x (sin y))))
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  (cbrt (sqrt (* x (sin y))))
  (pow (sqrt (* x (sin y))) 3)
  (sqrt x)
  (sqrt (sin y))
  1/2
  1/2
  (sqrt (sqrt (* x (sin y))))
  (sqrt (sqrt (* x (sin y))))
  (log (sqrt (* x (sin y))))
  (exp (sqrt (* x (sin y))))
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  (cbrt (sqrt (* x (sin y))))
  (pow (sqrt (* x (sin y))) 3)
  (sqrt x)
  (sqrt (sin y))
  1/2
  1/2
  (sqrt (sqrt (* x (sin y))))
  (sqrt (sqrt (* x (sin y))))
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  (* (pow x 2) (pow (sin y) 2))
  (* x (sin y))
  (* (pow x 2) (pow (sin y) 2))
  (* (pow x 2) (pow (sin y) 2))
  (* (pow x 2) (pow (sin y) 2))
  (* (pow x 2) (pow (sin y) 2))
  2
  (+ (log x) (log (sin y)))
  (+ (log x) (log (sin y)))
  (pow (exp x) (sin y))
  (pow (* x (sin y)) 3)
  (* (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))) (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y))))))
  (cbrt (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))))
  (pow (* x (sin y)) 3)
  (* (pow x 2) (pow (sin y) 2))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (pow (cbrt (sqrt (* x (sin y)))) 4)
  (* (cbrt (sqrt (* x (sin y)))) (cbrt (sqrt (* x (sin y)))))
  x
  (sin y)
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  1
  (* x (sin y))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  1
  2
  1
  1
  1
  1
  (* (pow (cbrt (sqrt (* x (sin y)))) 4) (cbrt (sqrt (* x (sin y)))))
  (* (sqrt (* x (sin y))) (sqrt x))
  (pow (sqrt (sqrt (* x (sin y)))) 3)
  (sqrt (* x (sin y)))
  (pow (cbrt (sqrt (* x (sin y)))) 4)
  (* (sqrt (sin y)) (sqrt (* x (sin y))))
  (pow (sqrt (sqrt (* x (sin y)))) 3)
  (* x (sin y))
  (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (+ (* (* +nan.0 x) (- y (pow y 3))) (- (* +nan.0 (* (pow x 2) (pow y 2)))))
  (* +nan.0 (+ (- (/ (pow (sin y) 3) (pow x 2))) (- (/ (pow (sin y) 2) x) (sin y))))
  (* +nan.0 (+ (- (/ (pow (sin y) 3) (pow x 2))) (- (/ (pow (sin y) 2) x) (sin y))))
  (+ (* (* +nan.0 x) (- y (pow y 3))) (- (* +nan.0 (* (pow x 2) (pow y 2)))))
  (* +nan.0 (+ (- (/ (pow (sin y) 3) (pow x 2))) (- (/ (pow (sin y) 2) x) (sin y))))
  (* +nan.0 (+ (- (/ (pow (sin y) 3) (pow x 2))) (- (/ (pow (sin y) 2) x) (sin y))))
  (* x y)
  (* x (sin y))
  (* +nan.0 (+ (- (pow (sin y) 2)) (- (/ (pow (sin y) 4) (pow x 2)) (/ (pow (sin y) 3) x))))
  z
  (* z (cos y))
  (* z (cos y))
0.708 * * * [progress]: adding candidates to table
0.907 * * [progress]: iteration 3 / 4
0.907 * * * [progress]: picking best candidate
0.920 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))>
0.920 * * * [progress]: localizing error
0.931 * * * [progress]: generating rewritten candidates
0.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.944 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.951 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.957 * * * [progress]: generating series expansions
0.958 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.958 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.958 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.958 * [taylor]: Taking taylor expansion of (cos y) in y
0.958 * [taylor]: Taking taylor expansion of y in y
0.958 * [taylor]: Taking taylor expansion of z in y
0.958 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.958 * [taylor]: Taking taylor expansion of (cos y) in z
0.958 * [taylor]: Taking taylor expansion of y in z
0.958 * [taylor]: Taking taylor expansion of z in z
0.958 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.958 * [taylor]: Taking taylor expansion of (cos y) in z
0.958 * [taylor]: Taking taylor expansion of y in z
0.958 * [taylor]: Taking taylor expansion of z in z
0.959 * [taylor]: Taking taylor expansion of 0 in y
0.961 * [taylor]: Taking taylor expansion of (cos y) in y
0.961 * [taylor]: Taking taylor expansion of y in y
0.963 * [taylor]: Taking taylor expansion of 0 in y
0.967 * [taylor]: Taking taylor expansion of 0 in y
0.967 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
0.967 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
0.967 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.967 * [taylor]: Taking taylor expansion of y in y
0.967 * [taylor]: Taking taylor expansion of z in y
0.967 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.967 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.967 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.967 * [taylor]: Taking taylor expansion of y in z
0.967 * [taylor]: Taking taylor expansion of z in z
0.968 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
0.968 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.968 * [taylor]: Taking taylor expansion of y in z
0.968 * [taylor]: Taking taylor expansion of z in z
0.968 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
0.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.968 * [taylor]: Taking taylor expansion of y in y
0.971 * [taylor]: Taking taylor expansion of 0 in y
0.974 * [taylor]: Taking taylor expansion of 0 in y
0.978 * [taylor]: Taking taylor expansion of 0 in y
0.979 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (/ (cos (/ -1 y)) z))) 2) in (z y) around 0
0.979 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (cos (/ -1 y)) z))) 2) in y
0.979 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (cos (/ -1 y)) z))) in y
0.979 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
0.979 * [taylor]: Taking taylor expansion of -1 in y
0.979 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
0.979 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.979 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.979 * [taylor]: Taking taylor expansion of -1 in y
0.979 * [taylor]: Taking taylor expansion of y in y
0.979 * [taylor]: Taking taylor expansion of z in y
0.980 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (cos (/ -1 y)) z))) 2) in z
0.980 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (cos (/ -1 y)) z))) in z
0.980 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.980 * [taylor]: Taking taylor expansion of -1 in z
0.980 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.980 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.980 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.980 * [taylor]: Taking taylor expansion of -1 in z
0.980 * [taylor]: Taking taylor expansion of y in z
0.980 * [taylor]: Taking taylor expansion of z in z
0.981 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (cos (/ -1 y)) z))) 2) in z
0.981 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (cos (/ -1 y)) z))) in z
0.981 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
0.981 * [taylor]: Taking taylor expansion of -1 in z
0.981 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
0.981 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
0.981 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.981 * [taylor]: Taking taylor expansion of -1 in z
0.981 * [taylor]: Taking taylor expansion of y in z
0.982 * [taylor]: Taking taylor expansion of z in z
0.983 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (cos (/ -1 y)) 2)) in y
0.983 * [taylor]: Taking taylor expansion of +nan.0 in y
0.983 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
0.983 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.983 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.983 * [taylor]: Taking taylor expansion of -1 in y
0.983 * [taylor]: Taking taylor expansion of y in y
0.987 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (cos (/ -1 y)) 3))) in y
0.987 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (cos (/ -1 y)) 3)) in y
0.987 * [taylor]: Taking taylor expansion of +nan.0 in y
0.987 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 3) in y
0.987 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.987 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.987 * [taylor]: Taking taylor expansion of -1 in y
0.987 * [taylor]: Taking taylor expansion of y in y
0.993 * [taylor]: Taking taylor expansion of (- (* +nan.0 (pow (cos (/ -1 y)) 4))) in y
0.993 * [taylor]: Taking taylor expansion of (* +nan.0 (pow (cos (/ -1 y)) 4)) in y
0.993 * [taylor]: Taking taylor expansion of +nan.0 in y
0.993 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 4) in y
0.993 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
0.993 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.993 * [taylor]: Taking taylor expansion of -1 in y
0.993 * [taylor]: Taking taylor expansion of y in y
0.995 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.995 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
0.995 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
0.995 * [taylor]: Taking taylor expansion of (cos y) in y
0.995 * [taylor]: Taking taylor expansion of y in y
0.995 * [taylor]: Taking taylor expansion of z in y
0.995 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.995 * [taylor]: Taking taylor expansion of (cos y) in z
0.995 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of z in z
0.995 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
0.995 * [taylor]: Taking taylor expansion of (cos y) in z
0.995 * [taylor]: Taking taylor expansion of y in z
0.995 * [taylor]: Taking taylor expansion of z in z
0.996 * [taylor]: Taking taylor expansion of 0 in y
0.998 * [taylor]: Taking taylor expansion of (cos y) in y
0.998 * [taylor]: Taking taylor expansion of y in y
1.000 * [taylor]: Taking taylor expansion of 0 in y
1.008 * [taylor]: Taking taylor expansion of 0 in y
1.009 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
1.009 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
1.009 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.009 * [taylor]: Taking taylor expansion of y in y
1.009 * [taylor]: Taking taylor expansion of z in y
1.009 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.009 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.009 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.009 * [taylor]: Taking taylor expansion of y in z
1.009 * [taylor]: Taking taylor expansion of z in z
1.010 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.010 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.010 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.010 * [taylor]: Taking taylor expansion of y in z
1.010 * [taylor]: Taking taylor expansion of z in z
1.011 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.011 * [taylor]: Taking taylor expansion of y in y
1.013 * [taylor]: Taking taylor expansion of 0 in y
1.017 * [taylor]: Taking taylor expansion of 0 in y
1.021 * [taylor]: Taking taylor expansion of 0 in y
1.021 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
1.021 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
1.021 * [taylor]: Taking taylor expansion of -1 in y
1.021 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
1.021 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.021 * [taylor]: Taking taylor expansion of -1 in y
1.021 * [taylor]: Taking taylor expansion of y in y
1.021 * [taylor]: Taking taylor expansion of z in y
1.021 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
1.021 * [taylor]: Taking taylor expansion of -1 in z
1.022 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.022 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.022 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.022 * [taylor]: Taking taylor expansion of -1 in z
1.022 * [taylor]: Taking taylor expansion of y in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.022 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
1.022 * [taylor]: Taking taylor expansion of -1 in z
1.022 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.022 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.022 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.022 * [taylor]: Taking taylor expansion of -1 in z
1.022 * [taylor]: Taking taylor expansion of y in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.023 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
1.023 * [taylor]: Taking taylor expansion of -1 in y
1.023 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.023 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.023 * [taylor]: Taking taylor expansion of -1 in y
1.023 * [taylor]: Taking taylor expansion of y in y
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.031 * [taylor]: Taking taylor expansion of 0 in y
1.036 * [taylor]: Taking taylor expansion of 0 in y
1.036 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.037 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0
1.037 * [taylor]: Taking taylor expansion of (* (cos y) z) in y
1.037 * [taylor]: Taking taylor expansion of (cos y) in y
1.037 * [taylor]: Taking taylor expansion of y in y
1.037 * [taylor]: Taking taylor expansion of z in y
1.037 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
1.037 * [taylor]: Taking taylor expansion of (cos y) in z
1.037 * [taylor]: Taking taylor expansion of y in z
1.037 * [taylor]: Taking taylor expansion of z in z
1.037 * [taylor]: Taking taylor expansion of (* (cos y) z) in z
1.037 * [taylor]: Taking taylor expansion of (cos y) in z
1.037 * [taylor]: Taking taylor expansion of y in z
1.037 * [taylor]: Taking taylor expansion of z in z
1.037 * [taylor]: Taking taylor expansion of 0 in y
1.039 * [taylor]: Taking taylor expansion of (cos y) in y
1.039 * [taylor]: Taking taylor expansion of y in y
1.042 * [taylor]: Taking taylor expansion of 0 in y
1.045 * [taylor]: Taking taylor expansion of 0 in y
1.045 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
1.045 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
1.045 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.045 * [taylor]: Taking taylor expansion of y in y
1.046 * [taylor]: Taking taylor expansion of z in y
1.046 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.046 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.046 * [taylor]: Taking taylor expansion of y in z
1.046 * [taylor]: Taking taylor expansion of z in z
1.046 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.046 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.046 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.046 * [taylor]: Taking taylor expansion of y in z
1.046 * [taylor]: Taking taylor expansion of z in z
1.047 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.047 * [taylor]: Taking taylor expansion of y in y
1.049 * [taylor]: Taking taylor expansion of 0 in y
1.053 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0
1.057 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y
1.057 * [taylor]: Taking taylor expansion of -1 in y
1.057 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
1.057 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.057 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.057 * [taylor]: Taking taylor expansion of -1 in y
1.057 * [taylor]: Taking taylor expansion of y in y
1.057 * [taylor]: Taking taylor expansion of z in y
1.057 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
1.057 * [taylor]: Taking taylor expansion of -1 in z
1.057 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.057 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.057 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.057 * [taylor]: Taking taylor expansion of -1 in z
1.057 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of z in z
1.058 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z
1.058 * [taylor]: Taking taylor expansion of -1 in z
1.058 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.058 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.058 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.058 * [taylor]: Taking taylor expansion of -1 in z
1.058 * [taylor]: Taking taylor expansion of y in z
1.058 * [taylor]: Taking taylor expansion of z in z
1.059 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y
1.059 * [taylor]: Taking taylor expansion of -1 in y
1.059 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.059 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.059 * [taylor]: Taking taylor expansion of -1 in y
1.059 * [taylor]: Taking taylor expansion of y in y
1.062 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [taylor]: Taking taylor expansion of 0 in y
1.071 * [taylor]: Taking taylor expansion of 0 in y
1.071 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.071 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
1.071 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
1.071 * [taylor]: Taking taylor expansion of x in y
1.071 * [taylor]: Taking taylor expansion of (sin y) in y
1.071 * [taylor]: Taking taylor expansion of y in y
1.071 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.071 * [taylor]: Taking taylor expansion of x in x
1.071 * [taylor]: Taking taylor expansion of (sin y) in x
1.071 * [taylor]: Taking taylor expansion of y in x
1.071 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.071 * [taylor]: Taking taylor expansion of x in x
1.071 * [taylor]: Taking taylor expansion of (sin y) in x
1.071 * [taylor]: Taking taylor expansion of y in x
1.072 * [taylor]: Taking taylor expansion of 0 in y
1.073 * [taylor]: Taking taylor expansion of (sin y) in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.076 * [taylor]: Taking taylor expansion of 0 in y
1.079 * [taylor]: Taking taylor expansion of 0 in y
1.084 * [taylor]: Taking taylor expansion of 0 in y
1.084 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
1.084 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
1.084 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.084 * [taylor]: Taking taylor expansion of y in y
1.084 * [taylor]: Taking taylor expansion of x in y
1.085 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
1.085 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.085 * [taylor]: Taking taylor expansion of y in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
1.085 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.085 * [taylor]: Taking taylor expansion of y in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.085 * [taylor]: Taking taylor expansion of y in y
1.088 * [taylor]: Taking taylor expansion of 0 in y
1.091 * [taylor]: Taking taylor expansion of 0 in y
1.099 * [taylor]: Taking taylor expansion of 0 in y
1.100 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
1.100 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
1.100 * [taylor]: Taking taylor expansion of -1 in y
1.100 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
1.100 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.100 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.100 * [taylor]: Taking taylor expansion of -1 in y
1.100 * [taylor]: Taking taylor expansion of y in y
1.100 * [taylor]: Taking taylor expansion of x in y
1.100 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
1.100 * [taylor]: Taking taylor expansion of -1 in x
1.100 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
1.100 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.100 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.100 * [taylor]: Taking taylor expansion of -1 in x
1.100 * [taylor]: Taking taylor expansion of y in x
1.101 * [taylor]: Taking taylor expansion of x in x
1.101 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
1.101 * [taylor]: Taking taylor expansion of -1 in x
1.101 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
1.101 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.101 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.101 * [taylor]: Taking taylor expansion of -1 in x
1.101 * [taylor]: Taking taylor expansion of y in x
1.101 * [taylor]: Taking taylor expansion of x in x
1.101 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
1.101 * [taylor]: Taking taylor expansion of -1 in y
1.101 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.101 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.101 * [taylor]: Taking taylor expansion of -1 in y
1.101 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of 0 in y
1.108 * [taylor]: Taking taylor expansion of 0 in y
1.113 * [taylor]: Taking taylor expansion of 0 in y
1.114 * * * [progress]: simplifying candidates
1.115 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* z (cos y)) (* z (cos y)))
  (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))
  (* (* z (cos y)) (* z (cos y)))
  (* (* z (cos y)) (* z (cos y)))
  (* (* z (cos y)) (* z (cos y)))
  (* (* z (cos y)) (* z (cos y)))
  (+ 1 1)
  (+ (log (sqrt (* z (cos y)))) (log (sqrt (* z (cos y)))))
  (log (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (exp (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (* (* (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))) (sqrt (* z (cos y)))) (* (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))) (sqrt (* z (cos y)))))
  (* (cbrt (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))) (cbrt (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))))
  (cbrt (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (* (* (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))) (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))) (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (* (* z (cos y)) (* z (cos y)))
  (sqrt (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (sqrt (* (sqrt (* z (cos y))) (sqrt (* z (cos y)))))
  (* (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y))))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y))))))
  (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))
  (* (sqrt z) (sqrt z))
  (* (sqrt (cos y)) (sqrt (cos y)))
  (* (sqrt (sqrt (* z (cos y)))) (sqrt (sqrt (* z (cos y)))))
  (* (sqrt (sqrt (* z (cos y)))) (sqrt (sqrt (* z (cos y)))))
  (* 1 1)
  (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))
  (* (sqrt (sqrt (* z (cos y)))) (sqrt (sqrt (* z (cos y)))))
  (* (sqrt (sqrt (* z (cos y)))) (sqrt (sqrt (* z (cos y)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y))))))
  (* (sqrt (* z (cos y))) (sqrt z))
  (* (sqrt (* z (cos y))) (sqrt (sqrt (* z (cos y)))))
  (* (sqrt (* z (cos y))) 1)
  (* (cbrt (sqrt (* z (cos y)))) (sqrt (* z (cos y))))
  (* (sqrt (cos y)) (sqrt (* z (cos y))))
  (* (sqrt (sqrt (* z (cos y)))) (sqrt (* z (cos y))))
  (* (sqrt (* z (cos y))) (sqrt (* z (cos y))))
  (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* z (cos y))
  (+ (log z) (log (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (* (* (* z (cos y)) (* z (cos y))) (* z (cos y)))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  (* z 1)
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (* (* (* x (sin y)) (* x (sin y))) (* x (sin y)))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (- (+ (* +nan.0 (/ (pow (cos y) 3) z)) (- (+ (* +nan.0 (/ (pow (cos y) 4) (pow z 2))) (- (* +nan.0 (pow (cos y) 2)))))))
  z
  (* z (cos y))
  (* z (cos y))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
1.120 * * [simplify]: iteration  0 :  238  enodes  (cost  389 )
1.126 * * [simplify]: iteration  1 :  1137  enodes  (cost  341 )
1.157 * * [simplify]: iteration  2 :  5001  enodes  (cost  332 )
1.159 * [simplify]: Simplified to:
   1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  (* (pow z 2) (pow (cos y) 2))
  (* z (cos y))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  2
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (pow z 2) (pow (cos y) 2))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (pow (cbrt (sqrt (* z (cos y)))) 4)
  (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))
  z
  (cos y)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  1
  (* z (cos y))
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  1
  2
  1
  1
  1
  1
  (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y))))))
  (* (sqrt (* z (cos y))) (sqrt z))
  (pow (sqrt (sqrt (* z (cos y)))) 3)
  (sqrt (* z (cos y)))
  (pow (cbrt (sqrt (* z (cos y)))) 4)
  (* (sqrt (cos y)) (sqrt (* z (cos y))))
  (pow (sqrt (sqrt (* z (cos y)))) 3)
  (* z (cos y))
  (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* z (cos y))
  (log (* z (cos y)))
  (log (* z (cos y)))
  (exp (* z (cos y)))
  (pow (* z (cos y)) 3)
  (* (cbrt (* z (cos y))) (cbrt (* z (cos y))))
  (cbrt (* z (cos y)))
  (pow (* z (cos y)) 3)
  (sqrt (* z (cos y)))
  (sqrt (* z (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* (sqrt z) (sqrt (cos y)))
  (* z (* (cbrt (cos y)) (cbrt (cos y))))
  (* z (sqrt (cos y)))
  z
  (* (cbrt z) (cos y))
  (* (sqrt z) (cos y))
  (* z (cos y))
  (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (pow (* x (sin y)) 3)
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  z
  (* z (cos y))
  (* +nan.0 (+ (- (/ (pow (cos y) 3) z)) (- (/ (pow (cos y) 4) (pow z 2)) (pow (cos y) 2))))
  z
  (* z (cos y))
  (* z (cos y))
  z
  (* z (cos y))
  (* z (cos y))
  (* x y)
  (* x (sin y))
  (* x (sin y))
1.159 * * * [progress]: adding candidates to table
1.381 * * [progress]: iteration 4 / 4
1.382 * * * [progress]: picking best candidate
1.393 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))>
1.393 * * * [progress]: localizing error
1.407 * * * [progress]: generating rewritten candidates
1.407 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.410 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
1.412 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.427 * * * [progress]: generating series expansions
1.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.427 * [approximate]: Taking taylor expansion of (* z (cos y)) in (z y) around 0
1.427 * [taylor]: Taking taylor expansion of (* z (cos y)) in y
1.427 * [taylor]: Taking taylor expansion of z in y
1.427 * [taylor]: Taking taylor expansion of (cos y) in y
1.427 * [taylor]: Taking taylor expansion of y in y
1.427 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.427 * [taylor]: Taking taylor expansion of (cos y) in z
1.427 * [taylor]: Taking taylor expansion of y in z
1.427 * [taylor]: Taking taylor expansion of (* z (cos y)) in z
1.427 * [taylor]: Taking taylor expansion of z in z
1.427 * [taylor]: Taking taylor expansion of (cos y) in z
1.427 * [taylor]: Taking taylor expansion of y in z
1.428 * [taylor]: Taking taylor expansion of 0 in y
1.430 * [taylor]: Taking taylor expansion of (cos y) in y
1.430 * [taylor]: Taking taylor expansion of y in y
1.433 * [taylor]: Taking taylor expansion of 0 in y
1.437 * [taylor]: Taking taylor expansion of 0 in y
1.437 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0
1.437 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y
1.437 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.437 * [taylor]: Taking taylor expansion of y in y
1.438 * [taylor]: Taking taylor expansion of z in y
1.438 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.438 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.438 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.438 * [taylor]: Taking taylor expansion of y in z
1.438 * [taylor]: Taking taylor expansion of z in z
1.438 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z
1.438 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.438 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.438 * [taylor]: Taking taylor expansion of y in z
1.438 * [taylor]: Taking taylor expansion of z in z
1.439 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.439 * [taylor]: Taking taylor expansion of y in y
1.441 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.448 * [taylor]: Taking taylor expansion of 0 in y
1.449 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in (z y) around 0
1.449 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y
1.449 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.449 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.449 * [taylor]: Taking taylor expansion of -1 in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [taylor]: Taking taylor expansion of z in y
1.449 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.449 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.449 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.449 * [taylor]: Taking taylor expansion of -1 in z
1.449 * [taylor]: Taking taylor expansion of y in z
1.449 * [taylor]: Taking taylor expansion of z in z
1.450 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z
1.450 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.450 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.450 * [taylor]: Taking taylor expansion of -1 in z
1.450 * [taylor]: Taking taylor expansion of y in z
1.450 * [taylor]: Taking taylor expansion of z in z
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 -1 in y
1.451 * [taylor]: Taking taylor expansion of y in y
1.453 * [taylor]: Taking taylor expansion of 0 in y
1.461 * [taylor]: Taking taylor expansion of 0 in y
1.465 * [taylor]: Taking taylor expansion of 0 in y
1.465 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
1.466 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0
1.466 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.466 * [taylor]: Taking taylor expansion of (cos y) in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.466 * [taylor]: Taking taylor expansion of (cos y) in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.472 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0
1.472 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.472 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.472 * [taylor]: Taking taylor expansion of y in y
1.472 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.472 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.472 * [taylor]: Taking taylor expansion of y in y
1.477 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0
1.477 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.477 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.477 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.477 * [taylor]: Taking taylor expansion of -1 in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.477 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.477 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.477 * [taylor]: Taking taylor expansion of -1 in y
1.477 * [taylor]: Taking taylor expansion of y in y
1.482 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.482 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0
1.482 * [taylor]: Taking taylor expansion of (* x (sin y)) in y
1.482 * [taylor]: Taking taylor expansion of x in y
1.482 * [taylor]: Taking taylor expansion of (sin y) in y
1.482 * [taylor]: Taking taylor expansion of y in y
1.482 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (sin y) in x
1.482 * [taylor]: Taking taylor expansion of y in x
1.482 * [taylor]: Taking taylor expansion of (* x (sin y)) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (sin y) in x
1.482 * [taylor]: Taking taylor expansion of y in x
1.483 * [taylor]: Taking taylor expansion of 0 in y
1.484 * [taylor]: Taking taylor expansion of (sin y) in y
1.484 * [taylor]: Taking taylor expansion of y in y
1.487 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [taylor]: Taking taylor expansion of 0 in y
1.495 * [taylor]: Taking taylor expansion of 0 in y
1.495 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0
1.495 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y
1.495 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.495 * [taylor]: Taking taylor expansion of y in y
1.495 * [taylor]: Taking taylor expansion of x in y
1.495 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
1.495 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.495 * [taylor]: Taking taylor expansion of y in x
1.496 * [taylor]: Taking taylor expansion of x in x
1.496 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x
1.496 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
1.496 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.496 * [taylor]: Taking taylor expansion of y in x
1.496 * [taylor]: Taking taylor expansion of x in x
1.496 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
1.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.496 * [taylor]: Taking taylor expansion of y in y
1.498 * [taylor]: Taking taylor expansion of 0 in y
1.501 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [taylor]: Taking taylor expansion of 0 in y
1.505 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0
1.505 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y
1.505 * [taylor]: Taking taylor expansion of -1 in y
1.505 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y
1.505 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
1.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.505 * [taylor]: Taking taylor expansion of -1 in y
1.505 * [taylor]: Taking taylor expansion of y in y
1.506 * [taylor]: Taking taylor expansion of x in y
1.506 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
1.506 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
1.506 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.506 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.506 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x
1.506 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x
1.506 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
1.506 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.506 * [taylor]: Taking taylor expansion of -1 in x
1.506 * [taylor]: Taking taylor expansion of y in x
1.506 * [taylor]: Taking taylor expansion of x in x
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.507 * [taylor]: Taking taylor expansion of y in y
1.509 * [taylor]: Taking taylor expansion of 0 in y
1.513 * [taylor]: Taking taylor expansion of 0 in y
1.518 * [taylor]: Taking taylor expansion of 0 in y
1.519 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.519 * [approximate]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in (z y) around 0
1.519 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in y
1.519 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.519 * [taylor]: Taking taylor expansion of (cos y) in y
1.519 * [taylor]: Taking taylor expansion of y in y
1.519 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.519 * [taylor]: Taking taylor expansion of z in y
1.519 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z
1.519 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
1.519 * [taylor]: Taking taylor expansion of (cos y) in z
1.519 * [taylor]: Taking taylor expansion of y in z
1.520 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.520 * [taylor]: Taking taylor expansion of z in z
1.520 * [taylor]: Taking taylor expansion of (* (pow (cos y) 2) (pow z 2)) in z
1.520 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z
1.520 * [taylor]: Taking taylor expansion of (cos y) in z
1.520 * [taylor]: Taking taylor expansion of y in z
1.520 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.520 * [taylor]: Taking taylor expansion of z in z
1.521 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y
1.521 * [taylor]: Taking taylor expansion of (cos y) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.523 * [taylor]: Taking taylor expansion of 0 in y
1.527 * [taylor]: Taking taylor expansion of 0 in y
1.532 * [taylor]: Taking taylor expansion of 0 in y
1.540 * [taylor]: Taking taylor expansion of 0 in y
1.540 * [approximate]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in (z y) around 0
1.540 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in y
1.540 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.540 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.540 * [taylor]: Taking taylor expansion of y in y
1.541 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.541 * [taylor]: Taking taylor expansion of z in y
1.541 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z
1.541 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
1.541 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.541 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.541 * [taylor]: Taking taylor expansion of y in z
1.541 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.541 * [taylor]: Taking taylor expansion of z in z
1.542 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ 1 y)) 2) (pow z 2)) in z
1.542 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z
1.542 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
1.542 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.542 * [taylor]: Taking taylor expansion of y in z
1.542 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.542 * [taylor]: Taking taylor expansion of z in z
1.543 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y
1.543 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.543 * [taylor]: Taking taylor expansion of y in y
1.552 * [taylor]: Taking taylor expansion of 0 in y
1.556 * [taylor]: Taking taylor expansion of 0 in y
1.562 * [taylor]: Taking taylor expansion of 0 in y
1.563 * [approximate]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in (z y) around 0
1.563 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in y
1.563 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.563 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.563 * [taylor]: Taking taylor expansion of -1 in y
1.563 * [taylor]: Taking taylor expansion of y in y
1.563 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.563 * [taylor]: Taking taylor expansion of z in y
1.563 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z
1.563 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
1.563 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.563 * [taylor]: Taking taylor expansion of -1 in z
1.563 * [taylor]: Taking taylor expansion of y in z
1.564 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.564 * [taylor]: Taking taylor expansion of z in z
1.564 * [taylor]: Taking taylor expansion of (/ (pow (cos (/ -1 y)) 2) (pow z 2)) in z
1.564 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z
1.564 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
1.564 * [taylor]: Taking taylor expansion of (/ -1 y) in z
1.564 * [taylor]: Taking taylor expansion of -1 in z
1.564 * [taylor]: Taking taylor expansion of y in z
1.565 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.565 * [taylor]: Taking taylor expansion of z in z
1.565 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y
1.565 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.565 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.565 * [taylor]: Taking taylor expansion of -1 in y
1.565 * [taylor]: Taking taylor expansion of y in y
1.569 * [taylor]: Taking taylor expansion of 0 in y
1.573 * [taylor]: Taking taylor expansion of 0 in y
1.579 * [taylor]: Taking taylor expansion of 0 in y
1.579 * * * [progress]: simplifying candidates
1.580 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* (pow z 2) (pow (cos y) 2))))
  (exp (sqrt (* (pow z 2) (pow (cos y) 2))))
  (* (cbrt (sqrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (sqrt (* (pow z 2) (pow (cos y) 2)))))
  (cbrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (* (* (sqrt (* (pow z 2) (pow (cos y) 2))) (sqrt (* (pow z 2) (pow (cos y) 2)))) (sqrt (* (pow z 2) (pow (cos y) 2))))
  (sqrt (pow z 2))
  (sqrt (pow (cos y) 2))
  (/ 2 2)
  (/ 1 2)
  (sqrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (sqrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (* (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 (sin y))
  (+ (log x) (log (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (* (* (* x (sin y)) (* x (sin y))) (* x (sin y)))
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  (* x 1)
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (* z (cos y))
  (+ (* (log z) 2) (* (log (cos y)) 2))
  (+ (* (log z) 2) (* (log (cos y)) 2))
  (+ (* (log z) 2) (log (pow (cos y) 2)))
  (+ (* (log z) 2) (* (log (cos y)) 2))
  (+ (* (log z) 2) (* (log (cos y)) 2))
  (+ (* (log z) 2) (log (pow (cos y) 2)))
  (+ (log (pow z 2)) (* (log (cos y)) 2))
  (+ (log (pow z 2)) (* (log (cos y)) 2))
  (+ (log (pow z 2)) (log (pow (cos y) 2)))
  (log (* (pow z 2) (pow (cos y) 2)))
  (exp (* (pow z 2) (pow (cos y) 2)))
  (* (* (* (pow z 2) (pow z 2)) (pow z 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)))
  (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* (pow z 2) (pow (cos y) 2))))
  (cbrt (* (pow z 2) (pow (cos y) 2)))
  (* (* (* (pow z 2) (pow (cos y) 2)) (* (pow z 2) (pow (cos y) 2))) (* (pow z 2) (pow (cos y) 2)))
  (sqrt (* (pow z 2) (pow (cos y) 2)))
  (sqrt (* (pow z 2) (pow (cos y) 2)))
  (* (pow (sqrt z) 2) (pow (sqrt (cos y)) 2))
  (* (pow (sqrt z) 2) (pow (sqrt (cos y)) 2))
  (* (pow (sqrt z) 2) (cos y))
  (* (pow (sqrt z) 2) (cos y))
  (* (pow (sqrt z) 2) (sqrt (pow (cos y) 2)))
  (* (pow (sqrt z) 2) (sqrt (pow (cos y) 2)))
  (* (pow (sqrt z) 2) (pow (cos y) (/ 2 2)))
  (* (pow (sqrt z) 2) (pow (cos y) (/ 2 2)))
  (* z (pow (sqrt (cos y)) 2))
  (* z (pow (sqrt (cos y)) 2))
  (* z (cos y))
  (* z (cos y))
  (* z (sqrt (pow (cos y) 2)))
  (* z (sqrt (pow (cos y) 2)))
  (* z (pow (cos y) (/ 2 2)))
  (* z (pow (cos y) (/ 2 2)))
  (* (sqrt (pow z 2)) (pow (sqrt (cos y)) 2))
  (* (sqrt (pow z 2)) (pow (sqrt (cos y)) 2))
  (* (sqrt (pow z 2)) (cos y))
  (* (sqrt (pow z 2)) (cos y))
  (* (sqrt (pow z 2)) (sqrt (pow (cos y) 2)))
  (* (sqrt (pow z 2)) (sqrt (pow (cos y) 2)))
  (* (sqrt (pow z 2)) (pow (cos y) (/ 2 2)))
  (* (sqrt (pow z 2)) (pow (cos y) (/ 2 2)))
  (* (pow z (/ 2 2)) (pow (sqrt (cos y)) 2))
  (* (pow z (/ 2 2)) (pow (sqrt (cos y)) 2))
  (* (pow z (/ 2 2)) (cos y))
  (* (pow z (/ 2 2)) (cos y))
  (* (pow z (/ 2 2)) (sqrt (pow (cos y) 2)))
  (* (pow z (/ 2 2)) (sqrt (pow (cos y) 2)))
  (* (pow z (/ 2 2)) (pow (cos y) (/ 2 2)))
  (* (pow z (/ 2 2)) (pow (cos y) (/ 2 2)))
  (* (pow z 2) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2))
  (* (pow z 2) (pow (sqrt (cos y)) 2))
  (* (pow z 2) (pow 1 2))
  (* (pow z 2) (cos y))
  (* (pow z 2) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (* (pow z 2) (sqrt (pow (cos y) 2)))
  (* (pow z 2) 1)
  (* (pow z 2) (pow (cos y) (/ 2 2)))
  (* (pow (cbrt z) 2) (pow (cos y) 2))
  (* (pow (sqrt z) 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  (* z (pow (cos y) 2))
  (* (cbrt (pow z 2)) (pow (cos y) 2))
  (* (sqrt (pow z 2)) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z (/ 2 2)) (pow (cos y) 2))
  z
  (* z (cos y))
  (* -1 (* z (cos y)))
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (- (pow z 2) (* (pow z 2) (pow y 2)))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
1.586 * * [simplify]: iteration  0 :  286  enodes  (cost  522 )
1.591 * * [simplify]: iteration  1 :  1184  enodes  (cost  436 )
1.617 * * [simplify]: iteration  2 :  5001  enodes  (cost  423 )
1.619 * [simplify]: Simplified to:
   (log (sqrt (* (pow z 2) (pow (cos y) 2))))
  (exp (sqrt (* (pow z 2) (pow (cos y) 2))))
  (* (cbrt (sqrt (* (pow z 2) (pow (cos y) 2)))) (cbrt (sqrt (* (pow z 2) (pow (cos y) 2)))))
  (cbrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (pow (sqrt (* (pow z 2) (pow (cos y) 2))) 3)
  (fabs z)
  (fabs (cos y))
  1
  1/2
  (sqrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (sqrt (sqrt (* (pow z 2) (pow (cos y) 2))))
  (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 (cbrt (cos y)) 4)
  (pow (cbrt (cos y)) 2)
  (cos y)
  (cos y)
  1
  (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 (pow (cos y) 2) 3)
  (fabs (cos y))
  (fabs (cos y))
  (cos y)
  (cos y)
  (* x (sin y))
  (log (* x (sin y)))
  (log (* x (sin y)))
  (exp (* x (sin y)))
  (pow (* x (sin y)) 3)
  (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))
  (cbrt (* x (sin y)))
  (pow (* x (sin y)) 3)
  (sqrt (* x (sin y)))
  (sqrt (* x (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* (sqrt x) (sqrt (sin y)))
  (* x (* (cbrt (sin y)) (cbrt (sin y))))
  (* x (sqrt (sin y)))
  x
  (* (cbrt x) (sin y))
  (* (sqrt x) (sin y))
  (* x (sin y))
  (* z (cos y))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (* 2 (+ (log z) (log (cos y))))
  (exp (* (pow z 2) (pow (cos y) 2)))
  (pow (fabs (* z (cos y))) 6)
  (* (cbrt (* (pow z 2) (pow (cos y) 2))) (cbrt (* (pow z 2) (pow (cos y) 2))))
  (cbrt (* (pow z 2) (pow (cos y) 2)))
  (pow (fabs (* z (cos y))) 6)
  (fabs (* z (cos y)))
  (fabs (* z (cos y)))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* (fabs (cos y)) z)
  (* (fabs (cos y)) z)
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* (fabs (cos y)) z)
  (* (fabs (cos y)) z)
  (* z (cos y))
  (* z (cos y))
  (* (fabs z) (cos y))
  (* (fabs z) (cos y))
  (* (fabs z) (cos y))
  (* (fabs z) (cos y))
  (* (sqrt (pow z 2)) (sqrt (pow (cos y) 2)))
  (* (sqrt (pow z 2)) (sqrt (pow (cos y) 2)))
  (* (fabs z) (cos y))
  (* (fabs z) (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* z (cos y))
  (* (fabs (cos y)) z)
  (* (fabs (cos y)) z)
  (* z (cos y))
  (* z (cos y))
  (* (* (pow (cbrt (cos y)) 4) z) z)
  (* (cos y) (pow z 2))
  (pow z 2)
  (* (cos y) (pow z 2))
  (* (pow z 2) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))))
  (* (* (fabs (cos y)) z) z)
  (pow z 2)
  (* (cos y) (pow z 2))
  (* (pow (cbrt z) 2) (pow (cos y) 2))
  (* (pow (cos y) 2) z)
  (* (pow z 2) (pow (cos y) 2))
  (* (pow (cos y) 2) z)
  (* (cbrt (pow z 2)) (pow (cos y) 2))
  (* (sqrt (pow z 2)) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow (cos y) 2) z)
  z
  (* z (cos y))
  (* -1 (* z (cos y)))
  (- (+ (* 1/3 (pow y 4)) 1) (pow y 2))
  (pow (cos y) 2)
  (pow (cos y) 2)
  (* x y)
  (* x (sin y))
  (* x (sin y))
  (* (pow z 2) (- 1 (pow y 2)))
  (* (pow z 2) (pow (cos y) 2))
  (* (pow z 2) (pow (cos y) 2))
1.620 * * * [progress]: adding candidates to table
1.874 * [progress]: [Phase 3 of 3] Extracting.
1.874 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
1.875 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
1.875 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
1.939 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
2.000 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
2.050 * * * [regime]: Found split indices: #<option (#s(si 2 45) #s(si 3 91) #s(si 4 100) #s(si 3 121) #s(si 1 255))>
2.051 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
2.306 * [regimes]: Found splitpoints: (#s(sp 2 x -2.419249552228977e+58) #s(sp 3 x -4.926365677979376e-161) #s(sp 4 x -8.811798188204722e-213) #s(sp 3 x -4.008635328086667e-293) #s(sp 1 x +nan.0)) , with alts (#<alt (λ (x y z) (+ (* x (sin y)) (* (* (sqrt (* z (cos y))) (* (cbrt (sqrt (* z (cos y)))) (cbrt (sqrt (* z (cos y)))))) (cbrt (sqrt (* z (cos y)))))))> #<alt (λ (x y z) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))))> #<alt (λ (x y z) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))))> #<alt (λ (x y z) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))))> #<alt (λ (x y z) (+ (* x (sin y)) (* (sqrt z) (* (sqrt z) (cos y)))))>)
2.306 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -2.419249552228977e+58) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))) (if (<= x -4.926365677979376e-161) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))) (if (<= x -8.811798188204722e-213) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))) (if (<= x -4.008635328086667e-293) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y)))))))
2.307 * * [simplify]: iteration  0 :  47  enodes  (cost  45 )
2.308 * * [simplify]: iteration  1 :  47  enodes  (cost  45 )
2.308 * [simplify]: Simplified to:
   (if (<= x -2.419249552228977e+58) (+ (* x (sin y)) (sqrt (* (pow z 2) (pow (cos y) 2)))) (if (<= x -4.926365677979376e-161) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))) (if (<= x -8.811798188204722e-213) (+ (* (* x (sqrt (sin y))) (sqrt (sin y))) (* z (cos y))) (if (<= x -4.008635328086667e-293) (+ (* (sqrt (* x (sin y))) (sqrt (* x (sin y)))) (* z (cos y))) (+ (* (sqrt x) (* (sqrt x) (sin y))) (* z (cos y)))))))
4.475 * [regime-testing]: Baseline error score: 30.053373468784333
4.475 * [regime-testing]: Oracle error score: 0.07987558601120212
4.477 * [regime-testing]: End program error score: 12.97177084822116