12.919 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.075 * [progress]: [Phase 2 of 3] Improving.
0.075 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- (* x (log y)) y) z) (log t))
0.078 * * [simplify]: iteration  0 :  20  enodes  (cost  6 )
0.079 * * [simplify]: iteration  1 :  48  enodes  (cost  6 )
0.081 * * [simplify]: iteration  2 :  118  enodes  (cost  6 )
0.083 * * [simplify]: iteration  3 :  247  enodes  (cost  6 )
0.086 * * [simplify]: iteration  4 :  525  enodes  (cost  6 )
0.089 * * [simplify]: iteration  5 :  732  enodes  (cost  6 )
0.093 * * [simplify]: iteration  6 :  937  enodes  (cost  6 )
0.098 * * [simplify]: iteration  7 :  1108  enodes  (cost  6 )
0.103 * * [simplify]: iteration  8 :  1128  enodes  (cost  6 )
0.107 * * [simplify]: iteration  9 :  1128  enodes  (cost  6 )
0.107 * [simplify]: Simplified to:
   (+ (- (- (* x (log y)) y) z) (log t))
0.108 * * [progress]: iteration 1 / 4
0.108 * * * [progress]: picking best candidate
0.110 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))>
0.110 * * * [progress]: localizing error
0.120 * * * [progress]: generating rewritten candidates
0.120 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
0.125 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.136 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.168 * * * [progress]: generating series expansions
0.168 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
0.168 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.168 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.168 * [taylor]: Taking taylor expansion of x in y
0.168 * [taylor]: Taking taylor expansion of (log y) in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.169 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (log y) in x
0.169 * [taylor]: Taking taylor expansion of y in x
0.169 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (log y) in x
0.169 * [taylor]: Taking taylor expansion of y in x
0.169 * [taylor]: Taking taylor expansion of 0 in y
0.170 * [taylor]: Taking taylor expansion of (log y) in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.176 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.176 * [taylor]: Taking taylor expansion of y in y
0.176 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.188 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.188 * [taylor]: Taking taylor expansion of -1 in y
0.188 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.188 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.188 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.188 * [taylor]: Taking taylor expansion of -1 in y
0.188 * [taylor]: Taking taylor expansion of y in y
0.189 * [taylor]: Taking taylor expansion of x in y
0.190 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.191 * [taylor]: Taking taylor expansion of -1 in x
0.191 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.191 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.191 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.191 * [taylor]: Taking taylor expansion of -1 in x
0.191 * [taylor]: Taking taylor expansion of y in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.191 * [taylor]: Taking taylor expansion of -1 in x
0.191 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.191 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.191 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.191 * [taylor]: Taking taylor expansion of -1 in x
0.191 * [taylor]: Taking taylor expansion of y in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.191 * [taylor]: Taking taylor expansion of -1 in y
0.191 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.191 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.191 * [taylor]: Taking taylor expansion of -1 in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.199 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.207 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0
0.207 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z
0.207 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.207 * [taylor]: Taking taylor expansion of x in z
0.207 * [taylor]: Taking taylor expansion of (log y) in z
0.207 * [taylor]: Taking taylor expansion of y in z
0.207 * [taylor]: Taking taylor expansion of (+ z y) in z
0.207 * [taylor]: Taking taylor expansion of z in z
0.207 * [taylor]: Taking taylor expansion of y in z
0.207 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y
0.207 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.207 * [taylor]: Taking taylor expansion of x in y
0.207 * [taylor]: Taking taylor expansion of (log y) in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (+ z y) in y
0.208 * [taylor]: Taking taylor expansion of z in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.208 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (log y) in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (+ z y) in x
0.208 * [taylor]: Taking taylor expansion of z in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x
0.208 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (log y) in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (+ z y) in x
0.208 * [taylor]: Taking taylor expansion of z in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (- (+ z y)) in y
0.208 * [taylor]: Taking taylor expansion of (+ z y) in y
0.208 * [taylor]: Taking taylor expansion of z in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.208 * [taylor]: Taking taylor expansion of (- z) in z
0.208 * [taylor]: Taking taylor expansion of z in z
0.210 * [taylor]: Taking taylor expansion of (log y) in y
0.210 * [taylor]: Taking taylor expansion of y in y
0.210 * [taylor]: Taking taylor expansion of (log y) in z
0.210 * [taylor]: Taking taylor expansion of y in z
0.211 * [taylor]: Taking taylor expansion of -1 in z
0.212 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0
0.212 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z
0.212 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.212 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.212 * [taylor]: Taking taylor expansion of y in z
0.212 * [taylor]: Taking taylor expansion of x in z
0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.212 * [taylor]: Taking taylor expansion of z in z
0.212 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.212 * [taylor]: Taking taylor expansion of y in z
0.212 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y
0.212 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of x in y
0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.214 * [taylor]: Taking taylor expansion of z in y
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.214 * [taylor]: Taking taylor expansion of y in y
0.214 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x
0.214 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.214 * [taylor]: Taking taylor expansion of y in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.214 * [taylor]: Taking taylor expansion of z in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.214 * [taylor]: Taking taylor expansion of y in x
0.214 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x
0.214 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.214 * [taylor]: Taking taylor expansion of y in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.215 * [taylor]: Taking taylor expansion of z in x
0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.215 * [taylor]: Taking taylor expansion of y in x
0.215 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.215 * [taylor]: Taking taylor expansion of y in y
0.217 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.217 * [taylor]: Taking taylor expansion of z in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.217 * [taylor]: Taking taylor expansion of y in y
0.218 * [taylor]: Taking taylor expansion of -1 in z
0.218 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.218 * [taylor]: Taking taylor expansion of (log y) in z
0.218 * [taylor]: Taking taylor expansion of y in z
0.221 * [taylor]: Taking taylor expansion of 0 in y
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.221 * [taylor]: Taking taylor expansion of z in z
0.223 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0
0.224 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.224 * [taylor]: Taking taylor expansion of z in z
0.224 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.224 * [taylor]: Taking taylor expansion of y in z
0.224 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.224 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.224 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.224 * [taylor]: Taking taylor expansion of -1 in z
0.224 * [taylor]: Taking taylor expansion of y in z
0.224 * [taylor]: Taking taylor expansion of x in z
0.224 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.225 * [taylor]: Taking taylor expansion of z in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.225 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.225 * [taylor]: Taking taylor expansion of -1 in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of x in y
0.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.227 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.227 * [taylor]: Taking taylor expansion of z in x
0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.227 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.227 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.227 * [taylor]: Taking taylor expansion of -1 in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.227 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.227 * [taylor]: Taking taylor expansion of z in x
0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.227 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.227 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.227 * [taylor]: Taking taylor expansion of -1 in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.228 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.228 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.228 * [taylor]: Taking taylor expansion of -1 in y
0.228 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.230 * [taylor]: Taking taylor expansion of z in y
0.230 * [taylor]: Taking taylor expansion of 1 in z
0.232 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.232 * [taylor]: Taking taylor expansion of (log y) in z
0.232 * [taylor]: Taking taylor expansion of y in z
0.232 * [taylor]: Taking taylor expansion of (log -1) in z
0.232 * [taylor]: Taking taylor expansion of -1 in z
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.235 * [taylor]: Taking taylor expansion of z in z
0.237 * [taylor]: Taking taylor expansion of 0 in z
0.240 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.240 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0
0.240 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y
0.240 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.240 * [taylor]: Taking taylor expansion of x in y
0.240 * [taylor]: Taking taylor expansion of (log y) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x
0.240 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [taylor]: Taking taylor expansion of (log y) in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x
0.240 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [taylor]: Taking taylor expansion of (log y) in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.241 * [taylor]: Taking taylor expansion of y in x
0.241 * [taylor]: Taking taylor expansion of (- y) in y
0.241 * [taylor]: Taking taylor expansion of y in y
0.245 * [taylor]: Taking taylor expansion of (log y) in y
0.245 * [taylor]: Taking taylor expansion of y in y
0.248 * [taylor]: Taking taylor expansion of 0 in y
0.252 * [taylor]: Taking taylor expansion of 0 in y
0.254 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0
0.254 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y
0.254 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.254 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.256 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x
0.256 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x
0.256 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.256 * [taylor]: Taking taylor expansion of y in x
0.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.256 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0
0.275 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y
0.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.275 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.276 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.276 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.276 * [taylor]: Taking taylor expansion of -1 in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of x in y
0.278 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.278 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.278 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.278 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.278 * [taylor]: Taking taylor expansion of -1 in x
0.278 * [taylor]: Taking taylor expansion of y in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.278 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.278 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.278 * [taylor]: Taking taylor expansion of -1 in y
0.278 * [taylor]: Taking taylor expansion of y in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.281 * [taylor]: Taking taylor expansion of y in y
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.298 * [taylor]: Taking taylor expansion of 0 in y
0.299 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.299 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0
0.299 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t
0.299 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t
0.299 * [taylor]: Taking taylor expansion of (* x (log y)) in t
0.299 * [taylor]: Taking taylor expansion of x in t
0.299 * [taylor]: Taking taylor expansion of (log y) in t
0.299 * [taylor]: Taking taylor expansion of y in t
0.299 * [taylor]: Taking taylor expansion of (log t) in t
0.299 * [taylor]: Taking taylor expansion of t in t
0.300 * [taylor]: Taking taylor expansion of (+ z y) in t
0.300 * [taylor]: Taking taylor expansion of z in t
0.300 * [taylor]: Taking taylor expansion of y in t
0.300 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z
0.300 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z
0.300 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.300 * [taylor]: Taking taylor expansion of x in z
0.300 * [taylor]: Taking taylor expansion of (log y) in z
0.300 * [taylor]: Taking taylor expansion of y in z
0.300 * [taylor]: Taking taylor expansion of (log t) in z
0.300 * [taylor]: Taking taylor expansion of t in z
0.300 * [taylor]: Taking taylor expansion of (+ z y) in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of y in z
0.300 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y
0.300 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y
0.300 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.300 * [taylor]: Taking taylor expansion of x in y
0.300 * [taylor]: Taking taylor expansion of (log y) in y
0.300 * [taylor]: Taking taylor expansion of y in y
0.300 * [taylor]: Taking taylor expansion of (log t) in y
0.300 * [taylor]: Taking taylor expansion of t in y
0.300 * [taylor]: Taking taylor expansion of (+ z y) in y
0.300 * [taylor]: Taking taylor expansion of z in y
0.300 * [taylor]: Taking taylor expansion of y in y
0.300 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x
0.300 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x
0.300 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of (log y) in x
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of (log t) in x
0.300 * [taylor]: Taking taylor expansion of t in x
0.301 * [taylor]: Taking taylor expansion of (+ z y) in x
0.301 * [taylor]: Taking taylor expansion of z in x
0.301 * [taylor]: Taking taylor expansion of y in x
0.301 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x
0.301 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x
0.301 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.301 * [taylor]: Taking taylor expansion of (log y) in x
0.301 * [taylor]: Taking taylor expansion of y in x
0.301 * [taylor]: Taking taylor expansion of (log t) in x
0.301 * [taylor]: Taking taylor expansion of t in x
0.301 * [taylor]: Taking taylor expansion of (+ z y) in x
0.301 * [taylor]: Taking taylor expansion of z in x
0.301 * [taylor]: Taking taylor expansion of y in x
0.301 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y
0.301 * [taylor]: Taking taylor expansion of (log t) in y
0.301 * [taylor]: Taking taylor expansion of t in y
0.301 * [taylor]: Taking taylor expansion of (+ z y) in y
0.301 * [taylor]: Taking taylor expansion of z in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [taylor]: Taking taylor expansion of (- (log t) z) in z
0.301 * [taylor]: Taking taylor expansion of (log t) in z
0.301 * [taylor]: Taking taylor expansion of t in z
0.301 * [taylor]: Taking taylor expansion of z in z
0.301 * [taylor]: Taking taylor expansion of (log t) in t
0.302 * [taylor]: Taking taylor expansion of t in t
0.304 * [taylor]: Taking taylor expansion of (log y) in y
0.304 * [taylor]: Taking taylor expansion of y in y
0.304 * [taylor]: Taking taylor expansion of (log y) in z
0.304 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of (log y) in t
0.305 * [taylor]: Taking taylor expansion of y in t
0.306 * [taylor]: Taking taylor expansion of -1 in z
0.306 * [taylor]: Taking taylor expansion of -1 in t
0.306 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0
0.306 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t
0.306 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t
0.306 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.306 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.306 * [taylor]: Taking taylor expansion of t in t
0.307 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t
0.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.307 * [taylor]: Taking taylor expansion of y in t
0.307 * [taylor]: Taking taylor expansion of x in t
0.307 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.307 * [taylor]: Taking taylor expansion of y in t
0.307 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.307 * [taylor]: Taking taylor expansion of z in t
0.307 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z
0.307 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z
0.307 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.307 * [taylor]: Taking taylor expansion of t in z
0.307 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.307 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.307 * [taylor]: Taking taylor expansion of y in z
0.307 * [taylor]: Taking taylor expansion of x in z
0.308 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.308 * [taylor]: Taking taylor expansion of y in z
0.308 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.308 * [taylor]: Taking taylor expansion of z in z
0.308 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y
0.308 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y
0.308 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.308 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.308 * [taylor]: Taking taylor expansion of t in y
0.308 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.308 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.309 * [taylor]: Taking taylor expansion of x in y
0.309 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.309 * [taylor]: Taking taylor expansion of y in y
0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.310 * [taylor]: Taking taylor expansion of z in y
0.310 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x
0.310 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x
0.310 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.310 * [taylor]: Taking taylor expansion of t in x
0.310 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.310 * [taylor]: Taking taylor expansion of z in x
0.310 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x
0.310 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x
0.310 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.310 * [taylor]: Taking taylor expansion of t in x
0.310 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.310 * [taylor]: Taking taylor expansion of z in x
0.311 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.311 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y
0.313 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.313 * [taylor]: Taking taylor expansion of t in y
0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.313 * [taylor]: Taking taylor expansion of z in y
0.314 * [taylor]: Taking taylor expansion of -1 in z
0.314 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.315 * [taylor]: Taking taylor expansion of (log y) in z
0.315 * [taylor]: Taking taylor expansion of y in z
0.318 * [taylor]: Taking taylor expansion of 0 in y
0.319 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z
0.319 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.319 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.319 * [taylor]: Taking taylor expansion of t in z
0.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.319 * [taylor]: Taking taylor expansion of z in z
0.320 * [taylor]: Taking taylor expansion of -1 in t
0.321 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [taylor]: Taking taylor expansion of -1 in t
0.321 * [taylor]: Taking taylor expansion of (- (log y)) in t
0.321 * [taylor]: Taking taylor expansion of (log y) in t
0.321 * [taylor]: Taking taylor expansion of y in t
0.322 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0
0.322 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t
0.322 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t
0.322 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.322 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.322 * [taylor]: Taking taylor expansion of -1 in t
0.322 * [taylor]: Taking taylor expansion of t in t
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.323 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.323 * [taylor]: Taking taylor expansion of y in t
0.323 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.323 * [taylor]: Taking taylor expansion of z in t
0.323 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t
0.323 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t
0.323 * [taylor]: Taking taylor expansion of (/ -1 y) in t
0.323 * [taylor]: Taking taylor expansion of -1 in t
0.323 * [taylor]: Taking taylor expansion of y in t
0.323 * [taylor]: Taking taylor expansion of x in t
0.323 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z
0.323 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z
0.323 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.323 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.323 * [taylor]: Taking taylor expansion of -1 in z
0.323 * [taylor]: Taking taylor expansion of t in z
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.323 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.323 * [taylor]: Taking taylor expansion of y in z
0.323 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.323 * [taylor]: Taking taylor expansion of z in z
0.324 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.324 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.324 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.324 * [taylor]: Taking taylor expansion of -1 in z
0.324 * [taylor]: Taking taylor expansion of y in z
0.324 * [taylor]: Taking taylor expansion of x in z
0.324 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y
0.324 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y
0.324 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.324 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.324 * [taylor]: Taking taylor expansion of -1 in y
0.324 * [taylor]: Taking taylor expansion of t in y
0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.324 * [taylor]: Taking taylor expansion of z in y
0.324 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.324 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.324 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.324 * [taylor]: Taking taylor expansion of -1 in y
0.325 * [taylor]: Taking taylor expansion of y in y
0.325 * [taylor]: Taking taylor expansion of x in y
0.329 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x
0.329 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x
0.329 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.329 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.329 * [taylor]: Taking taylor expansion of -1 in x
0.329 * [taylor]: Taking taylor expansion of t in x
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.329 * [taylor]: Taking taylor expansion of z in x
0.329 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.329 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.330 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.330 * [taylor]: Taking taylor expansion of -1 in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x
0.330 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x
0.330 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.330 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.330 * [taylor]: Taking taylor expansion of -1 in x
0.330 * [taylor]: Taking taylor expansion of t in x
0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.330 * [taylor]: Taking taylor expansion of z in x
0.330 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.330 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.330 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.330 * [taylor]: Taking taylor expansion of -1 in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.330 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.330 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.330 * [taylor]: Taking taylor expansion of -1 in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y
0.333 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.333 * [taylor]: Taking taylor expansion of z in y
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.333 * [taylor]: Taking taylor expansion of y in y
0.333 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.333 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.333 * [taylor]: Taking taylor expansion of -1 in y
0.333 * [taylor]: Taking taylor expansion of t in y
0.334 * [taylor]: Taking taylor expansion of 1 in z
0.335 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.335 * [taylor]: Taking taylor expansion of (log y) in z
0.335 * [taylor]: Taking taylor expansion of y in z
0.335 * [taylor]: Taking taylor expansion of (log -1) in z
0.335 * [taylor]: Taking taylor expansion of -1 in z
0.339 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z
0.340 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.340 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.340 * [taylor]: Taking taylor expansion of -1 in z
0.340 * [taylor]: Taking taylor expansion of t in z
0.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.340 * [taylor]: Taking taylor expansion of z in z
0.340 * [taylor]: Taking taylor expansion of 1 in t
0.342 * [taylor]: Taking taylor expansion of 0 in z
0.342 * [taylor]: Taking taylor expansion of 1 in t
0.343 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t
0.343 * [taylor]: Taking taylor expansion of (log y) in t
0.343 * [taylor]: Taking taylor expansion of y in t
0.343 * [taylor]: Taking taylor expansion of (log -1) in t
0.343 * [taylor]: Taking taylor expansion of -1 in t
0.346 * * * [progress]: simplifying candidates
0.347 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (log y))
  (+ (log x) (log (log y)))
  (log (* x (log y)))
  (exp (* x (log y)))
  (* (* (* x x) x) (* (* (log y) (log y)) (log y)))
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (* (* (* x (log y)) (* x (log y))) (* x (log y)))
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (log (* (cbrt y) (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  (* x (log 1))
  (* x (log y))
  (* (log (* (cbrt y) (cbrt y))) x)
  (* (log (cbrt y)) x)
  (* (log (sqrt y)) x)
  (* (log (sqrt y)) x)
  (* (log 1) x)
  (* (log y) x)
  (* x 1)
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  (* x 1)
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (/ (/ (exp (* x (log y))) (exp y)) (exp z))
  (/ (exp (- (* x (log y)) y)) (exp z))
  (log (- (- (* x (log y)) y) z))
  (exp (- (- (* x (log y)) y) z))
  (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z)))
  (cbrt (- (- (* x (log y)) y) z))
  (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z))
  (sqrt (- (- (* x (log y)) y) z))
  (sqrt (- (- (* x (log y)) y) z))
  (- (pow (- (* x (log y)) y) 3) (pow z 3))
  (+ (* (- (* x (log y)) y) (- (* x (log y)) y)) (+ (* z z) (* (- (* x (log y)) y) z)))
  (- z)
  (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z))
  (+ (- (* x (log y)) y) z)
  (+ (sqrt (- (* x (log y)) y)) (sqrt z))
  (- (sqrt (- (* x (log y)) y)) (sqrt z))
  (- (- (* x (log y)) y) z)
  (- (- (* x (log y)) y) z)
  (- (- (* x (log y)) y) z)
  (- (- y) z)
  (- (- (* x (log (cbrt y))) y) z)
  (- (- (* x (log (sqrt y))) y) z)
  (- (- (* x (log y)) y) z)
  (- (- (* (log (cbrt y)) x) y) z)
  (- (- (* (log (sqrt y)) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (- y) z)
  (+ y z)
  (- z)
  (/ (exp (* x (log y))) (exp y))
  (log (- (* x (log y)) y))
  (exp (- (* x (log y)) y))
  (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y)))
  (cbrt (- (* x (log y)) y))
  (* (* (- (* x (log y)) y) (- (* x (log y)) y)) (- (* x (log y)) y))
  (sqrt (- (* x (log y)) y))
  (sqrt (- (* x (log y)) y))
  (- (pow (* x (log y)) 3) (pow y 3))
  (+ (* (* x (log y)) (* x (log y))) (+ (* y y) (* (* x (log y)) y)))
  (- y)
  (- (* (* x (log y)) (* x (log y))) (* y y))
  (+ (* x (log y)) y)
  (+ (sqrt (* x (log y))) (sqrt y))
  (- (sqrt (* x (log y))) (sqrt y))
  (+ (* (sqrt x) (sqrt (log y))) (sqrt y))
  (- (* (sqrt x) (sqrt (log y))) (sqrt y))
  (- (* x (log y)) y)
  (- (* x (log y)) y)
  (- (* x (log (cbrt y))) y)
  (- (* x (log (sqrt y))) y)
  (- (* x (log y)) y)
  (- (* (log (cbrt y)) x) y)
  (- (* (log (sqrt y)) x) y)
  (- (* (log y) x) y)
  (- y)
  (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) t)
  (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) (exp (log t)))
  (* (/ (exp (- (* x (log y)) y)) (exp z)) t)
  (* (/ (exp (- (* x (log y)) y)) (exp z)) (exp (log t)))
  (* (exp (- (- (* x (log y)) y) z)) t)
  (* (exp (- (- (* x (log y)) y) z)) (exp (log t)))
  (log (+ (- (- (* x (log y)) y) z) (log t)))
  (exp (+ (- (- (* x (log y)) y) z) (log t)))
  (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))))
  (cbrt (+ (- (- (* x (log y)) y) z) (log t)))
  (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t)))
  (sqrt (+ (- (- (* x (log y)) y) z) (log t)))
  (sqrt (+ (- (- (* x (log y)) y) z) (log t)))
  (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3))
  (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t))))
  (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t)))
  (- (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t))))
  (+ (- (- (* x (log y)) y) z) (log (sqrt t)))
  (+ (- (- (* x (log y)) y) z) (log 1))
  (+ (- z) (log t))
  (+ (- (- y) z) (log t))
  (+ (- (- (* x (log (cbrt y))) y) z) (log t))
  (+ (- (- (* x (log (sqrt y))) y) z) (log t))
  (+ (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* (log (cbrt y)) x) y) z) (log t))
  (+ (- (- (* (log (sqrt y)) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- y) z) (log t))
  (+ (- z) (log t))
  (- z (log t))
  (- (+ y z) (log t))
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* x (log y)) (+ z y))
  (- (+ (* x (log (/ 1 y))) (+ z y)))
  (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y))))))
  (- (* x (log y)) y)
  (- (+ (* x (log (/ 1 y))) y))
  (- (* (log -1) x) (+ y (* x (log (/ -1 y)))))
  (- (+ (* x (log y)) (log t)) y)
  (- (+ (* x (log (/ 1 y))) (+ z y)))
  (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y))))))
0.353 * * [simplify]: iteration  0 :  391  enodes  (cost  697 )
0.360 * * [simplify]: iteration  1 :  1225  enodes  (cost  662 )
0.382 * * [simplify]: iteration  2 :  4381  enodes  (cost  626 )
0.451 * * [simplify]: iteration  3 :  5001  enodes  (cost  626 )
0.455 * [simplify]: Simplified to:
   (* x (log y))
  (log (* x (log y)))
  (log (* x (log y)))
  (pow y x)
  (pow (* x (log y)) 3)
  (* (cbrt (* x (log y))) (cbrt (* x (log y))))
  (cbrt (* x (log y)))
  (pow (* x (log y)) 3)
  (sqrt (* x (log y)))
  (sqrt (* x (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* (sqrt x) (sqrt (log y)))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  (* x (* 2 (log (cbrt y))))
  (* x (log (cbrt y)))
  (* x (log (sqrt y)))
  (* x (log (sqrt y)))
  0
  (* x (log y))
  x
  (* x (* (cbrt (log y)) (cbrt (log y))))
  (* x (sqrt (log y)))
  x
  (* (cbrt x) (log y))
  (* (sqrt x) (log y))
  (* x (log y))
  (exp (- (- (* x (log y)) y) z))
  (exp (- (- (* x (log y)) y) z))
  (log (- (- (* x (log y)) y) z))
  (exp (- (- (* x (log y)) y) z))
  (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z)))
  (cbrt (- (- (* x (log y)) y) z))
  (pow (- (- (* x (log y)) y) z) 3)
  (sqrt (- (- (* x (log y)) y) z))
  (sqrt (- (- (* x (log y)) y) z))
  (- (pow (- (* x (log y)) y) 3) (pow z 3))
  (+ (* (- (* (log y) x) y) (+ (- (* x (log y)) y) z)) (* z z))
  (- z)
  (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z))
  (+ (- (* x (log y)) y) z)
  (+ (sqrt (- (* x (log y)) y)) (sqrt z))
  (- (sqrt (- (* x (log y)) y)) (sqrt z))
  (- (- (* (log y) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (+ z y))
  (- (- (* (log (cbrt y)) x) y) z)
  (- (- (* (log (sqrt y)) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (- (* (log (cbrt y)) x) y) z)
  (- (- (* (log (sqrt y)) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (+ z y))
  (+ y z)
  (- z)
  (exp (- (* x (log y)) y))
  (log (- (* x (log y)) y))
  (exp (- (* x (log y)) y))
  (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y)))
  (cbrt (- (* x (log y)) y))
  (pow (- (* x (log y)) y) 3)
  (sqrt (- (* x (log y)) y))
  (sqrt (- (* x (log y)) y))
  (- (pow (* x (log y)) 3) (pow y 3))
  (+ (* (* x (log y)) (+ (* x (log y)) y)) (* y y))
  (- y)
  (- (* (* x (log y)) (* x (log y))) (* y y))
  (+ (* x (log y)) y)
  (+ (sqrt (* x (log y))) (sqrt y))
  (- (sqrt (* x (log y))) (sqrt y))
  (+ (* (sqrt x) (sqrt (log y))) (sqrt y))
  (- (* (sqrt x) (sqrt (log y))) (sqrt y))
  (- (* (log y) x) y)
  (- (* (log y) x) y)
  (- (* (log (cbrt y)) x) y)
  (- (* (log (sqrt y)) x) y)
  (- (* (log y) x) y)
  (- (* (log (cbrt y)) x) y)
  (- (* (log (sqrt y)) x) y)
  (- (* (log y) x) y)
  (- y)
  (/ (* t (pow y x)) (exp (+ y z)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (log (+ (- (- (* x (log y)) y) z) (log t)))
  (/ (* t (pow y x)) (exp (+ y z)))
  (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))))
  (cbrt (+ (- (- (* x (log y)) y) z) (log t)))
  (pow (+ (- (- (* (log y) x) y) z) (log t)) 3)
  (sqrt (+ (- (- (* x (log y)) y) z) (log t)))
  (sqrt (+ (- (- (* x (log y)) y) z) (log t)))
  (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3))
  (+ (* (- (- (* (log y) x) y) z) (- (- (- (* x (log y)) y) z) (log t))) (* (log t) (log t)))
  (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t)))
  (- (- (- (* x (log y)) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (- (+ (* 2 (log (cbrt t))) (* x (log y))) (+ y z))
  (+ (- (- (* x (log y)) y) z) (log (sqrt t)))
  (- (- (* (log y) x) y) z)
  (- (log t) z)
  (- (- (log t) y) z)
  (+ (- (- (* (log (cbrt y)) x) y) z) (log t))
  (+ (- (- (* (log (sqrt y)) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (+ (- (- (* (log (cbrt y)) x) y) z) (log t))
  (+ (- (- (* (log (sqrt y)) x) y) z) (log t))
  (+ (- (- (* (log y) x) y) z) (log t))
  (- (- (log t) y) z)
  (- (log t) z)
  (- z (log t))
  (- (+ y z) (log t))
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (- (- (* (log y) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (- (* (log y) x) y) z)
  (- (* (log y) x) y)
  (- (* (log y) x) y)
  (- (* (log y) x) y)
  (- (+ (* x (log y)) (log t)) y)
  (- (- (* (log y) x) y) z)
  (- (- (* (log y) x) y) z)
0.455 * * * [progress]: adding candidates to table
0.655 * * [progress]: iteration 2 / 4
0.655 * * * [progress]: picking best candidate
0.665 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) y) z) (log t)))>
0.665 * * * [progress]: localizing error
0.682 * * * [progress]: generating rewritten candidates
0.682 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1)
0.683 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1)
0.685 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.716 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
0.727 * * * [progress]: generating series expansions
0.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1)
0.727 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.727 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.727 * [taylor]: Taking taylor expansion of 1/3 in y
0.727 * [taylor]: Taking taylor expansion of (log y) in y
0.727 * [taylor]: Taking taylor expansion of y in y
0.728 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.728 * [taylor]: Taking taylor expansion of 1/3 in y
0.729 * [taylor]: Taking taylor expansion of (log y) in y
0.729 * [taylor]: Taking taylor expansion of y in y
0.783 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.783 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.783 * [taylor]: Taking taylor expansion of 1/3 in y
0.783 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.783 * [taylor]: Taking taylor expansion of y in y
0.784 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.784 * [taylor]: Taking taylor expansion of 1/3 in y
0.784 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.784 * [taylor]: Taking taylor expansion of y in y
0.839 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
0.839 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.839 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.839 * [taylor]: Taking taylor expansion of -1 in y
0.840 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.840 * [taylor]: Taking taylor expansion of 1/3 in y
0.840 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.840 * [taylor]: Taking taylor expansion of y in y
0.841 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
0.841 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.841 * [taylor]: Taking taylor expansion of -1 in y
0.841 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.841 * [taylor]: Taking taylor expansion of 1/3 in y
0.841 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.841 * [taylor]: Taking taylor expansion of y in y
0.929 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1)
0.929 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
0.929 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.929 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.929 * [taylor]: Taking taylor expansion of 1/3 in y
0.929 * [taylor]: Taking taylor expansion of (log y) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.932 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
0.933 * [taylor]: Taking taylor expansion of 1/3 in y
0.933 * [taylor]: Taking taylor expansion of (log y) in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.981 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
0.981 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.981 * [taylor]: Taking taylor expansion of 1/3 in y
0.981 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.981 * [taylor]: Taking taylor expansion of y in y
0.982 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
0.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
0.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
0.982 * [taylor]: Taking taylor expansion of 1/3 in y
0.982 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.982 * [taylor]: Taking taylor expansion of y in y
1.036 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
1.036 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.036 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.036 * [taylor]: Taking taylor expansion of -1 in y
1.037 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.037 * [taylor]: Taking taylor expansion of 1/3 in y
1.037 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.037 * [taylor]: Taking taylor expansion of y in y
1.038 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.038 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.038 * [taylor]: Taking taylor expansion of -1 in y
1.038 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.038 * [taylor]: Taking taylor expansion of 1/3 in y
1.038 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.039 * [taylor]: Taking taylor expansion of y in y
1.103 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.103 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0
1.103 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
1.103 * [taylor]: Taking taylor expansion of 3 in y
1.103 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
1.103 * [taylor]: Taking taylor expansion of x in y
1.103 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.103 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.103 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.103 * [taylor]: Taking taylor expansion of 1/3 in y
1.103 * [taylor]: Taking taylor expansion of (log y) in y
1.103 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
1.104 * [taylor]: Taking taylor expansion of 3 in x
1.104 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.104 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.104 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.104 * [taylor]: Taking taylor expansion of 1/3 in x
1.104 * [taylor]: Taking taylor expansion of (log y) in x
1.104 * [taylor]: Taking taylor expansion of y in x
1.104 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
1.104 * [taylor]: Taking taylor expansion of 3 in x
1.104 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.104 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.104 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.104 * [taylor]: Taking taylor expansion of 1/3 in x
1.104 * [taylor]: Taking taylor expansion of (log y) in x
1.105 * [taylor]: Taking taylor expansion of y in x
1.105 * [taylor]: Taking taylor expansion of 0 in y
1.107 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y
1.107 * [taylor]: Taking taylor expansion of 3 in y
1.108 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.108 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.108 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.108 * [taylor]: Taking taylor expansion of 1/3 in y
1.108 * [taylor]: Taking taylor expansion of (log y) in y
1.108 * [taylor]: Taking taylor expansion of y in y
1.113 * [taylor]: Taking taylor expansion of 0 in y
1.123 * [taylor]: Taking taylor expansion of 0 in y
1.123 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
1.123 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
1.123 * [taylor]: Taking taylor expansion of 3 in y
1.123 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
1.123 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.123 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.123 * [taylor]: Taking taylor expansion of 1/3 in y
1.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.123 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of x in y
1.124 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.124 * [taylor]: Taking taylor expansion of 3 in x
1.124 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.124 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.124 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.124 * [taylor]: Taking taylor expansion of 1/3 in x
1.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.124 * [taylor]: Taking taylor expansion of y in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
1.125 * [taylor]: Taking taylor expansion of 3 in x
1.125 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.125 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.125 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.125 * [taylor]: Taking taylor expansion of 1/3 in x
1.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.125 * [taylor]: Taking taylor expansion of y in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y
1.125 * [taylor]: Taking taylor expansion of 3 in y
1.125 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.125 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.125 * [taylor]: Taking taylor expansion of 1/3 in y
1.125 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.125 * [taylor]: Taking taylor expansion of y in y
1.129 * [taylor]: Taking taylor expansion of 0 in y
1.138 * [taylor]: Taking taylor expansion of 0 in y
1.154 * [taylor]: Taking taylor expansion of 0 in y
1.154 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y) around 0
1.154 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
1.154 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
1.154 * [taylor]: Taking taylor expansion of 3 in y
1.154 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
1.154 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.154 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.154 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.154 * [taylor]: Taking taylor expansion of -1 in y
1.155 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.155 * [taylor]: Taking taylor expansion of 1/3 in y
1.155 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.155 * [taylor]: Taking taylor expansion of y in y
1.157 * [taylor]: Taking taylor expansion of x in y
1.157 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
1.157 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.157 * [taylor]: Taking taylor expansion of 3 in x
1.157 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.157 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.157 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.157 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.157 * [taylor]: Taking taylor expansion of -1 in x
1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.158 * [taylor]: Taking taylor expansion of 1/3 in x
1.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.158 * [taylor]: Taking taylor expansion of y in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.160 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
1.160 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.160 * [taylor]: Taking taylor expansion of 3 in x
1.160 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.160 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.160 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.160 * [taylor]: Taking taylor expansion of -1 in x
1.160 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.161 * [taylor]: Taking taylor expansion of 1/3 in x
1.161 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.161 * [taylor]: Taking taylor expansion of y in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.163 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
1.163 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
1.163 * [taylor]: Taking taylor expansion of 3 in y
1.163 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.163 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.163 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.163 * [taylor]: Taking taylor expansion of -1 in y
1.164 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.164 * [taylor]: Taking taylor expansion of 1/3 in y
1.164 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.164 * [taylor]: Taking taylor expansion of y in y
1.171 * [taylor]: Taking taylor expansion of 0 in y
1.184 * [taylor]: Taking taylor expansion of 0 in y
1.203 * [taylor]: Taking taylor expansion of 0 in y
1.204 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.204 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
1.204 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
1.204 * [taylor]: Taking taylor expansion of x in y
1.204 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.204 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.204 * [taylor]: Taking taylor expansion of 1/3 in y
1.204 * [taylor]: Taking taylor expansion of (log y) in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.205 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.205 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.205 * [taylor]: Taking taylor expansion of 1/3 in x
1.205 * [taylor]: Taking taylor expansion of (log y) in x
1.205 * [taylor]: Taking taylor expansion of y in x
1.205 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
1.205 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
1.205 * [taylor]: Taking taylor expansion of 1/3 in x
1.205 * [taylor]: Taking taylor expansion of (log y) in x
1.205 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of 0 in y
1.208 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
1.208 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.208 * [taylor]: Taking taylor expansion of 1/3 in y
1.208 * [taylor]: Taking taylor expansion of (log y) in y
1.208 * [taylor]: Taking taylor expansion of y in y
1.213 * [taylor]: Taking taylor expansion of 0 in y
1.221 * [taylor]: Taking taylor expansion of 0 in y
1.222 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
1.222 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
1.222 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.222 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.222 * [taylor]: Taking taylor expansion of 1/3 in y
1.222 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.222 * [taylor]: Taking taylor expansion of y in y
1.223 * [taylor]: Taking taylor expansion of x in y
1.223 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.223 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.223 * [taylor]: Taking taylor expansion of 1/3 in x
1.223 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.223 * [taylor]: Taking taylor expansion of y in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
1.223 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.224 * [taylor]: Taking taylor expansion of 1/3 in x
1.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.224 * [taylor]: Taking taylor expansion of y in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.224 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
1.224 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.224 * [taylor]: Taking taylor expansion of 1/3 in y
1.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.224 * [taylor]: Taking taylor expansion of y in y
1.228 * [taylor]: Taking taylor expansion of 0 in y
1.238 * [taylor]: Taking taylor expansion of 0 in y
1.249 * [taylor]: Taking taylor expansion of 0 in y
1.250 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0
1.250 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
1.250 * [taylor]: Taking taylor expansion of -1 in y
1.250 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
1.250 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.250 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.250 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.250 * [taylor]: Taking taylor expansion of -1 in y
1.251 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.251 * [taylor]: Taking taylor expansion of 1/3 in y
1.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.251 * [taylor]: Taking taylor expansion of y in y
1.252 * [taylor]: Taking taylor expansion of x in y
1.253 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.253 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.253 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.253 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.254 * [taylor]: Taking taylor expansion of 1/3 in x
1.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.254 * [taylor]: Taking taylor expansion of y in x
1.255 * [taylor]: Taking taylor expansion of x in x
1.255 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
1.255 * [taylor]: Taking taylor expansion of -1 in x
1.255 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
1.255 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
1.255 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
1.255 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.255 * [taylor]: Taking taylor expansion of -1 in x
1.256 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
1.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
1.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
1.256 * [taylor]: Taking taylor expansion of 1/3 in x
1.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.256 * [taylor]: Taking taylor expansion of y in x
1.257 * [taylor]: Taking taylor expansion of x in x
1.258 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
1.258 * [taylor]: Taking taylor expansion of -1 in y
1.258 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
1.258 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
1.258 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.258 * [taylor]: Taking taylor expansion of -1 in y
1.259 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.259 * [taylor]: Taking taylor expansion of 1/3 in y
1.259 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.259 * [taylor]: Taking taylor expansion of y in y
1.266 * [taylor]: Taking taylor expansion of 0 in y
1.278 * [taylor]: Taking taylor expansion of 0 in y
1.302 * [taylor]: Taking taylor expansion of 0 in y
1.302 * * * [progress]: simplifying candidates
1.304 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (exp (* x (* 2 (log (cbrt y))))) (exp (* x (log (cbrt y)))))
  (log (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (exp (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (* (* (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (cbrt y))) 3))
  (+ (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (- (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* (* x (log (cbrt y))) (* x (log (cbrt y)))))
  (- (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* (cbrt x) (* 2 (log (cbrt y)))) (* (cbrt x) (log (cbrt y))))
  (+ (* (sqrt x) (* 2 (log (cbrt y)))) (* (sqrt x) (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x 2) x)
  (+ (* x 2) (* x 1))
  (+ (* x 2) (* x 1))
  (+ (* x (* 2 1/3)) (* x 1/3))
  (+ (* x (* 2 1)) x)
  (+ (* x (* 2 1)) (* x 1))
  (+ (* x (* 2 1)) (* x 1))
  (+ (* x (* 2 (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))))
  (+ (* x (* 2 (sqrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))))
  (+ (* x (* 2 1)) x)
  (+ (* x (* 2 1)) (* x 1))
  (+ (* x (* 2 1)) (* x 1))
  (+ (* 2 (log (cbrt y))) (log (cbrt y)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (sqrt y)))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt 1))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (sqrt (cbrt y)))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log 1)))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (sqrt y))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt 1)) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (sqrt (cbrt y))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log 1) x))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (sqrt (cbrt y))))) (* x (log (cbrt y))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (sqrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (sqrt (cbrt y))) 2)) (* x (log (cbrt y))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (sqrt (cbrt y)))) x) (* x (log (cbrt y))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (sqrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (sqrt (cbrt y))) 2) x) (* x (log (cbrt y))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y))))
  (* x (log (cbrt y)))
  (+ (log x) (log (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (exp (* x (log (cbrt y))))
  (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))))
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (cbrt y)))
  (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log 1))
  (* x (log (cbrt y)))
  (* (log (cbrt (* (cbrt y) (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt (sqrt y))) x)
  (* (log (cbrt 1)) x)
  (* (log (cbrt y)) x)
  (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)
  (* (log (cbrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log (sqrt (cbrt y))) x)
  (* (log 1) x)
  (* (log (cbrt y)) x)
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  (* x 1)
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (cbrt y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
1.310 * * [simplify]: iteration  0 :  398  enodes  (cost  823 )
1.319 * * [simplify]: iteration  1 :  1899  enodes  (cost  687 )
1.364 * * [simplify]: iteration  2 :  5003  enodes  (cost  649 )
1.372 * [simplify]: Simplified to:
   (log (pow y 1/3))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (pow y 1/3))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow (pow y 1/3) (* x 3))
  (log (* (log y) x))
  (pow (pow y 1/3) (* x 3))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (pow (* x (+ (* (log (cbrt y)) 2) (log (cbrt y)))) 3)
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))
  (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (cbrt y))) 3))
  (+ (* (* x (log (cbrt y))) (- (* x (log (cbrt y))) (* x (* 2 (log (cbrt y)))))) (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))))
  (* x (* (* 1 (log y)) (* (log (pow y 1/3)) (- (* x 2) x))))
  (* (log (pow y 1/3)) (- (* x 2) x))
  (log y)
  (* (log y) x)
  (* (log y) x)
  (log y)
  (log y)
  (log y)
  (log y)
  (* (log y) (cbrt x))
  (* (log y) (sqrt x))
  (* (log y) x)
  (* (log y) x)
  (* x 3)
  (* x 3)
  (* x 3)
  x
  (* x 3)
  (* x 3)
  (* x 3)
  (* (* 3 (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) x)
  (* (* 3 (sqrt (log (cbrt y)))) x)
  (* x 3)
  (* x 3)
  (* x 3)
  (log y)
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt (* (cbrt y) (cbrt y))))))
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt 1))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt (cbrt y))) 2)))
  (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y)))))
  (* x (* (log (cbrt y)) 2))
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt (* (cbrt y) (cbrt y))))))
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (cbrt 1))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (* (log (cbrt (cbrt y))) 2)))
  (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y)))))
  (* x (* (log (cbrt y)) 2))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y))))
  (* (log y) x)
  (* x (log (pow y 1/3)))
  (log (* x (log (cbrt y))))
  (log (* x (log (cbrt y))))
  (pow (pow y 1/3) x)
  (pow (* x (log (cbrt y))) 3)
  (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y)))))
  (cbrt (* x (log (cbrt y))))
  (pow (* x (log (cbrt y))) 3)
  (sqrt (* x (log (cbrt y))))
  (sqrt (* x (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* (sqrt x) (sqrt (log (cbrt y))))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (pow y 1/3)))
  (* x (* (log (cbrt (cbrt y))) 2))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x (log (cbrt (* (cbrt y) (cbrt y)))))
  (* x (log (cbrt (cbrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt (sqrt y))))
  (* x (log (cbrt 1)))
  (* x (log (pow y 1/3)))
  (* x (* (log (cbrt (cbrt y))) 2))
  (* x (log (cbrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  (* x (log (sqrt (cbrt y))))
  0
  (* x (log (pow y 1/3)))
  (* x 1/3)
  x
  (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))))
  (* x (sqrt (log (cbrt y))))
  x
  (* (cbrt x) (log (cbrt y)))
  (* (sqrt x) (log (cbrt y)))
  (* x (log (pow y 1/3)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* (log y) x)
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))
1.373 * * * [progress]: adding candidates to table
1.717 * * [progress]: iteration 3 / 4
1.717 * * * [progress]: picking best candidate
1.729 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))>
1.729 * * * [progress]: localizing error
1.752 * * * [progress]: generating rewritten candidates
1.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1)
1.754 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1)
1.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.801 * * * [progress]: generating series expansions
1.801 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1)
1.802 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.802 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.802 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.802 * [taylor]: Taking taylor expansion of 1/3 in y
1.802 * [taylor]: Taking taylor expansion of (log y) in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.803 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.803 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.803 * [taylor]: Taking taylor expansion of 1/3 in y
1.803 * [taylor]: Taking taylor expansion of (log y) in y
1.803 * [taylor]: Taking taylor expansion of y in y
1.851 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
1.851 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.851 * [taylor]: Taking taylor expansion of 1/3 in y
1.851 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.851 * [taylor]: Taking taylor expansion of y in y
1.852 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
1.852 * [taylor]: Taking taylor expansion of 1/3 in y
1.852 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.852 * [taylor]: Taking taylor expansion of y in y
1.910 * [approximate]: Taking taylor expansion of (pow (/ -1 y) 1/3) in (y) around 0
1.910 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.910 * [taylor]: Taking taylor expansion of 1/3 in y
1.910 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.910 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.910 * [taylor]: Taking taylor expansion of -1 in y
1.910 * [taylor]: Taking taylor expansion of y in y
1.912 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
1.912 * [taylor]: Taking taylor expansion of 1/3 in y
1.912 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.912 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.912 * [taylor]: Taking taylor expansion of -1 in y
1.912 * [taylor]: Taking taylor expansion of y in y
1.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1)
1.978 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
1.978 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.978 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.978 * [taylor]: Taking taylor expansion of 1/3 in y
1.978 * [taylor]: Taking taylor expansion of (log y) in y
1.978 * [taylor]: Taking taylor expansion of y in y
1.979 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
1.979 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
1.979 * [taylor]: Taking taylor expansion of 1/3 in y
1.979 * [taylor]: Taking taylor expansion of (log y) in y
1.979 * [taylor]: Taking taylor expansion of y in y
2.034 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.034 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.034 * [taylor]: Taking taylor expansion of 1/3 in y
2.034 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.034 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.034 * [taylor]: Taking taylor expansion of y in y
2.035 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.035 * [taylor]: Taking taylor expansion of 1/3 in y
2.035 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.035 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.035 * [taylor]: Taking taylor expansion of y in y
2.089 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
2.089 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.089 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.089 * [taylor]: Taking taylor expansion of -1 in y
2.090 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.090 * [taylor]: Taking taylor expansion of 1/3 in y
2.090 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.090 * [taylor]: Taking taylor expansion of y in y
2.091 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.091 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.091 * [taylor]: Taking taylor expansion of -1 in y
2.092 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.092 * [taylor]: Taking taylor expansion of 1/3 in y
2.092 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.092 * [taylor]: Taking taylor expansion of y in y
2.163 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.163 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0
2.163 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
2.163 * [taylor]: Taking taylor expansion of 3 in y
2.163 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
2.163 * [taylor]: Taking taylor expansion of x in y
2.163 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.163 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.163 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.163 * [taylor]: Taking taylor expansion of 1/3 in y
2.163 * [taylor]: Taking taylor expansion of (log y) in y
2.163 * [taylor]: Taking taylor expansion of y in y
2.164 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
2.164 * [taylor]: Taking taylor expansion of 3 in x
2.164 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.164 * [taylor]: Taking taylor expansion of x in x
2.164 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.164 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.164 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.164 * [taylor]: Taking taylor expansion of 1/3 in x
2.164 * [taylor]: Taking taylor expansion of (log y) in x
2.164 * [taylor]: Taking taylor expansion of y in x
2.165 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
2.165 * [taylor]: Taking taylor expansion of 3 in x
2.165 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.165 * [taylor]: Taking taylor expansion of x in x
2.165 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.165 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.165 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.165 * [taylor]: Taking taylor expansion of 1/3 in x
2.165 * [taylor]: Taking taylor expansion of (log y) in x
2.165 * [taylor]: Taking taylor expansion of y in x
2.165 * [taylor]: Taking taylor expansion of 0 in y
2.168 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y
2.168 * [taylor]: Taking taylor expansion of 3 in y
2.168 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.168 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.168 * [taylor]: Taking taylor expansion of 1/3 in y
2.168 * [taylor]: Taking taylor expansion of (log y) in y
2.168 * [taylor]: Taking taylor expansion of y in y
2.173 * [taylor]: Taking taylor expansion of 0 in y
2.189 * [taylor]: Taking taylor expansion of 0 in y
2.189 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0
2.189 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
2.189 * [taylor]: Taking taylor expansion of 3 in y
2.189 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
2.189 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.189 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.189 * [taylor]: Taking taylor expansion of 1/3 in y
2.189 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.189 * [taylor]: Taking taylor expansion of y in y
2.190 * [taylor]: Taking taylor expansion of x in y
2.190 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
2.190 * [taylor]: Taking taylor expansion of 3 in x
2.190 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.190 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.190 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.190 * [taylor]: Taking taylor expansion of 1/3 in x
2.190 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.190 * [taylor]: Taking taylor expansion of y in x
2.191 * [taylor]: Taking taylor expansion of x in x
2.191 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
2.191 * [taylor]: Taking taylor expansion of 3 in x
2.191 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.191 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.191 * [taylor]: Taking taylor expansion of 1/3 in x
2.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.191 * [taylor]: Taking taylor expansion of y in x
2.191 * [taylor]: Taking taylor expansion of x in x
2.191 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y
2.191 * [taylor]: Taking taylor expansion of 3 in y
2.191 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.191 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.191 * [taylor]: Taking taylor expansion of 1/3 in y
2.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.191 * [taylor]: Taking taylor expansion of y in y
2.195 * [taylor]: Taking taylor expansion of 0 in y
2.204 * [taylor]: Taking taylor expansion of 0 in y
2.217 * [taylor]: Taking taylor expansion of 0 in y
2.217 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x))) in (x y) around 0
2.217 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x))) in y
2.217 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x)) in y
2.217 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
2.217 * [taylor]: Taking taylor expansion of 2 in y
2.217 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
2.217 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.217 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.217 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.217 * [taylor]: Taking taylor expansion of -1 in y
2.218 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.218 * [taylor]: Taking taylor expansion of 1/3 in y
2.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.218 * [taylor]: Taking taylor expansion of y in y
2.220 * [taylor]: Taking taylor expansion of x in y
2.220 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y
2.220 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
2.220 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
2.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
2.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
2.220 * [taylor]: Taking taylor expansion of 1/3 in y
2.220 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.220 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.220 * [taylor]: Taking taylor expansion of -1 in y
2.220 * [taylor]: Taking taylor expansion of y in y
2.223 * [taylor]: Taking taylor expansion of x in y
2.223 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x))) in x
2.223 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x)) in x
2.223 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.223 * [taylor]: Taking taylor expansion of 2 in x
2.223 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.223 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.223 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.223 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.223 * [taylor]: Taking taylor expansion of -1 in x
2.224 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.224 * [taylor]: Taking taylor expansion of 1/3 in x
2.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.224 * [taylor]: Taking taylor expansion of y in x
2.225 * [taylor]: Taking taylor expansion of x in x
2.225 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
2.225 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
2.225 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
2.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
2.225 * [taylor]: Taking taylor expansion of 1/3 in x
2.225 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.225 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.225 * [taylor]: Taking taylor expansion of -1 in x
2.225 * [taylor]: Taking taylor expansion of y in x
2.226 * [taylor]: Taking taylor expansion of x in x
2.226 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x))) in x
2.226 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (/ (log (pow (/ -1 y) 1/3)) x)) in x
2.226 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
2.226 * [taylor]: Taking taylor expansion of 2 in x
2.226 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
2.226 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
2.226 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
2.226 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.226 * [taylor]: Taking taylor expansion of -1 in x
2.227 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.227 * [taylor]: Taking taylor expansion of 1/3 in x
2.227 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.227 * [taylor]: Taking taylor expansion of y in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
2.228 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
2.228 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
2.228 * [taylor]: Taking taylor expansion of 1/3 in x
2.228 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.228 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.228 * [taylor]: Taking taylor expansion of -1 in x
2.228 * [taylor]: Taking taylor expansion of y in x
2.229 * [taylor]: Taking taylor expansion of x in x
2.230 * [taylor]: Taking taylor expansion of (- (+ (log (pow (/ -1 y) 1/3)) (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y
2.230 * [taylor]: Taking taylor expansion of (+ (log (pow (/ -1 y) 1/3)) (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y
2.230 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
2.230 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
2.230 * [taylor]: Taking taylor expansion of 1/3 in y
2.230 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.230 * [taylor]: Taking taylor expansion of -1 in y
2.230 * [taylor]: Taking taylor expansion of y in y
2.232 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y
2.233 * [taylor]: Taking taylor expansion of 2 in y
2.233 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
2.233 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
2.233 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.233 * [taylor]: Taking taylor expansion of -1 in y
2.233 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.233 * [taylor]: Taking taylor expansion of 1/3 in y
2.233 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.234 * [taylor]: Taking taylor expansion of y in y
2.246 * [taylor]: Taking taylor expansion of 0 in y
2.274 * [taylor]: Taking taylor expansion of 0 in y
2.307 * [taylor]: Taking taylor expansion of 0 in y
2.309 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
2.309 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0
2.309 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
2.309 * [taylor]: Taking taylor expansion of x in y
2.309 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.309 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.309 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.309 * [taylor]: Taking taylor expansion of 1/3 in y
2.309 * [taylor]: Taking taylor expansion of (log y) in y
2.309 * [taylor]: Taking taylor expansion of y in y
2.310 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.310 * [taylor]: Taking taylor expansion of x in x
2.310 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.310 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.310 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.310 * [taylor]: Taking taylor expansion of 1/3 in x
2.310 * [taylor]: Taking taylor expansion of (log y) in x
2.310 * [taylor]: Taking taylor expansion of y in x
2.310 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
2.310 * [taylor]: Taking taylor expansion of x in x
2.310 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
2.310 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
2.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
2.310 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
2.310 * [taylor]: Taking taylor expansion of 1/3 in x
2.310 * [taylor]: Taking taylor expansion of (log y) in x
2.310 * [taylor]: Taking taylor expansion of y in x
2.310 * [taylor]: Taking taylor expansion of 0 in y
2.313 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
2.313 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.313 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.313 * [taylor]: Taking taylor expansion of 1/3 in y
2.313 * [taylor]: Taking taylor expansion of (log y) in y
2.313 * [taylor]: Taking taylor expansion of y in y
2.318 * [taylor]: Taking taylor expansion of 0 in y
2.326 * [taylor]: Taking taylor expansion of 0 in y
2.327 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0
2.327 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
2.327 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.327 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.327 * [taylor]: Taking taylor expansion of 1/3 in y
2.327 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.327 * [taylor]: Taking taylor expansion of y in y
2.328 * [taylor]: Taking taylor expansion of x in y
2.328 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.328 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.328 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.328 * [taylor]: Taking taylor expansion of 1/3 in x
2.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.328 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.328 * [taylor]: Taking taylor expansion of y in x
2.328 * [taylor]: Taking taylor expansion of x in x
2.328 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
2.328 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
2.328 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
2.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
2.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
2.328 * [taylor]: Taking taylor expansion of 1/3 in x
2.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
2.328 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.328 * [taylor]: Taking taylor expansion of y in x
2.329 * [taylor]: Taking taylor expansion of x in x
2.329 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
2.329 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.329 * [taylor]: Taking taylor expansion of 1/3 in y
2.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.329 * [taylor]: Taking taylor expansion of y in y
2.333 * [taylor]: Taking taylor expansion of 0 in y
2.341 * [taylor]: Taking taylor expansion of 0 in y
2.357 * [taylor]: Taking taylor expansion of 0 in y
2.358 * [approximate]: Taking taylor expansion of (* -1 (/ (log (pow (/ -1 y) 1/3)) x)) in (x y) around 0
2.358 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (/ -1 y) 1/3)) x)) in y
2.358 * [taylor]: Taking taylor expansion of -1 in y
2.358 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in y
2.358 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
2.358 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
2.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
2.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
2.358 * [taylor]: Taking taylor expansion of 1/3 in y
2.358 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.358 * [taylor]: Taking taylor expansion of -1 in y
2.358 * [taylor]: Taking taylor expansion of y in y
2.360 * [taylor]: Taking taylor expansion of x in y
2.361 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (/ -1 y) 1/3)) x)) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
2.361 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
2.361 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
2.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
2.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
2.361 * [taylor]: Taking taylor expansion of 1/3 in x
2.361 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.361 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of y in x
2.361 * [taylor]: Taking taylor expansion of x in x
2.361 * [taylor]: Taking taylor expansion of (* -1 (/ (log (pow (/ -1 y) 1/3)) x)) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 y) 1/3)) x) in x
2.361 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in x
2.361 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in x
2.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in x
2.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in x
2.361 * [taylor]: Taking taylor expansion of 1/3 in x
2.361 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
2.361 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.361 * [taylor]: Taking taylor expansion of -1 in x
2.361 * [taylor]: Taking taylor expansion of y in x
2.361 * [taylor]: Taking taylor expansion of x in x
2.362 * [taylor]: Taking taylor expansion of (* -1 (log (pow (/ -1 y) 1/3))) in y
2.362 * [taylor]: Taking taylor expansion of -1 in y
2.362 * [taylor]: Taking taylor expansion of (log (pow (/ -1 y) 1/3)) in y
2.362 * [taylor]: Taking taylor expansion of (pow (/ -1 y) 1/3) in y
2.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 y)))) in y
2.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 y))) in y
2.362 * [taylor]: Taking taylor expansion of 1/3 in y
2.362 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
2.362 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.362 * [taylor]: Taking taylor expansion of -1 in y
2.362 * [taylor]: Taking taylor expansion of y in y
2.368 * [taylor]: Taking taylor expansion of 0 in y
2.378 * [taylor]: Taking taylor expansion of 0 in y
2.393 * [taylor]: Taking taylor expansion of 0 in y
2.394 * * * [progress]: simplifying candidates
2.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log y) 1/3)
  (* (log y) 1/3)
  (* 1 1/3)
  (pow y (* (cbrt 1/3) (cbrt 1/3)))
  (pow y (sqrt 1/3))
  (pow y 1)
  (pow (* (cbrt y) (cbrt y)) 1/3)
  (pow (cbrt y) 1/3)
  (pow (sqrt y) 1/3)
  (pow (sqrt y) 1/3)
  (pow 1 1/3)
  (pow y 1/3)
  (log (pow y 1/3))
  (exp (pow y 1/3))
  (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3)))
  (cbrt (pow y 1/3))
  (* (* (pow y 1/3) (pow y 1/3)) (pow y 1/3))
  (sqrt (pow y 1/3))
  (sqrt (pow y 1/3))
  (pow y (/ 1/3 2))
  (pow y (/ 1/3 2))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (exp (* x (* 2 (log (cbrt y))))) (exp (* x (log (pow y 1/3)))))
  (log (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (exp (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (* (* (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (pow y 1/3))) 3))
  (+ (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (- (* (* x (log (pow y 1/3))) (* x (log (pow y 1/3)))) (* (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))))
  (- (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* (* x (log (pow y 1/3))) (* x (log (pow y 1/3)))))
  (- (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* (cbrt x) (* 2 (log (cbrt y)))) (* (cbrt x) (log (pow y 1/3))))
  (+ (* (sqrt x) (* 2 (log (cbrt y)))) (* (sqrt x) (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 1/3)) (* x 1/3))
  (+ (* x (* 2 1/3)) (* x (* 1 1/3)))
  (+ (* 2 (log (cbrt y))) (log (pow y 1/3)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow (* (cbrt y) (cbrt y)) 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow (sqrt y) 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow 1 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3))))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (sqrt (pow y 1/3)))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log 1)))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y (/ 1/3 2)))))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (pow (* (cbrt y) (cbrt y)) 1/3)) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (pow (sqrt y) 1/3)) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (pow 1 1/3)) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3)))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (sqrt (pow y 1/3))) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log 1) x))
  (+ (* x (* 2 (log (cbrt y)))) (* (log (pow y (/ 1/3 2))) x))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (sqrt (cbrt y))))) (* x (log (pow y 1/3))))
  (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (pow y 1/3))))
  (+ (* x (* (log (cbrt (sqrt y))) 2)) (* x (log (pow y 1/3))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (pow y 1/3))))
  (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (pow y 1/3))))
  (+ (* x (* (log (sqrt (cbrt y))) 2)) (* x (log (pow y 1/3))))
  (+ (* x (* (log (cbrt y)) 2)) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (sqrt (cbrt y)))) x) (* x (log (pow y 1/3))))
  (+ (* (* 2 (log (cbrt y))) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (cbrt (sqrt y))) 2) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (sqrt (cbrt y))) 2) x) (* x (log (pow y 1/3))))
  (+ (* (* (log (cbrt y)) 2) x) (* x (log (pow y 1/3))))
  (* x (log (pow y 1/3)))
  (+ (log x) (log (log (pow y 1/3))))
  (log (* x (log (pow y 1/3))))
  (exp (* x (log (pow y 1/3))))
  (* (* (* x x) x) (* (* (log (pow y 1/3)) (log (pow y 1/3))) (log (pow y 1/3))))
  (* (cbrt (* x (log (pow y 1/3)))) (cbrt (* x (log (pow y 1/3)))))
  (cbrt (* x (log (pow y 1/3))))
  (* (* (* x (log (pow y 1/3))) (* x (log (pow y 1/3)))) (* x (log (pow y 1/3))))
  (sqrt (* x (log (pow y 1/3))))
  (sqrt (* x (log (pow y 1/3))))
  (* (sqrt x) (sqrt (log (pow y 1/3))))
  (* (sqrt x) (sqrt (log (pow y 1/3))))
  (* x (log (pow (* (cbrt y) (cbrt y)) 1/3)))
  (* x (log (pow (cbrt y) 1/3)))
  (* x (log (pow (sqrt y) 1/3)))
  (* x (log (pow (sqrt y) 1/3)))
  (* x (log (pow 1 1/3)))
  (* x (log (pow y 1/3)))
  (* x (log (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3)))))
  (* x (log (cbrt (pow y 1/3))))
  (* x (log (sqrt (pow y 1/3))))
  (* x (log (sqrt (pow y 1/3))))
  (* x (log 1))
  (* x (log (pow y 1/3)))
  (* x (log (pow y (/ 1/3 2))))
  (* x (log (pow y (/ 1/3 2))))
  (* (log (pow (* (cbrt y) (cbrt y)) 1/3)) x)
  (* (log (pow (cbrt y) 1/3)) x)
  (* (log (pow (sqrt y) 1/3)) x)
  (* (log (pow (sqrt y) 1/3)) x)
  (* (log (pow 1 1/3)) x)
  (* (log (pow y 1/3)) x)
  (* (log (* (cbrt (pow y 1/3)) (cbrt (pow y 1/3)))) x)
  (* (log (cbrt (pow y 1/3))) x)
  (* (log (sqrt (pow y 1/3))) x)
  (* (log (sqrt (pow y 1/3))) x)
  (* (log 1) x)
  (* (log (pow y 1/3)) x)
  (* (log (pow y (/ 1/3 2))) x)
  (* (log (pow y (/ 1/3 2))) x)
  (* x 1/3)
  (* x (* 1 1/3))
  (* x (cbrt 1/3))
  (* x (sqrt 1/3))
  (* x 1/3)
  (* x 1)
  (* x (* (cbrt (log (pow y 1/3))) (cbrt (log (pow y 1/3)))))
  (* x (sqrt (log (pow y 1/3))))
  (* x 1)
  (* (cbrt x) (log (pow y 1/3)))
  (* (sqrt x) (log (pow y 1/3)))
  (* x (log (pow y 1/3)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (exp (* 1/3 (- (log -1) (log (/ -1 y)))))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* -1 (* x (- (* 1/3 (log (/ -1 y))) (+ (* 1/3 (log -1)) (* 2 (log (* (pow (* -1 y) 1/3) (cbrt -1))))))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* 1/3 (* (- (log -1) (log (/ -1 y))) x))
2.403 * * [simplify]: iteration  0 :  472  enodes  (cost  850 )
2.414 * * [simplify]: iteration  1 :  2078  enodes  (cost  713 )
2.467 * * [simplify]: iteration  2 :  5001  enodes  (cost  674 )
2.472 * [simplify]: Simplified to:
   (log (pow y 1/3))
  (log (pow y 1/3))
  1/3
  (pow y (* (cbrt 1/3) (cbrt 1/3)))
  (pow y (sqrt 1/3))
  y
  (cbrt (pow y 2/3))
  (pow (cbrt y) 1/3)
  (pow (sqrt y) 1/3)
  (pow (sqrt y) 1/3)
  1
  (pow y 1/3)
  (log (pow y 1/3))
  (exp (cbrt y))
  (pow (pow y 1/3) 2/3)
  (pow (cbrt y) 1/3)
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow y 1/6)
  (pow y 1/6)
  (log (pow y 1/3))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (pow (cbrt y) 1/3)
  (pow (sqrt y) 1/3)
  (pow (sqrt y) 1/3)
  1
  (pow y 1/3)
  (pow (pow y 1/3) 2/3)
  (pow (cbrt y) 1/3)
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (pow (pow y 1/3) (* 3 x))
  (log (* 3 (* x (log (pow y 1/3)))))
  (pow (pow y 1/3) (* 3 x))
  (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))))
  (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (pow (* 3 (* x (log (pow y 1/3)))) 3)
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))))
  (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (pow y 1/3))) 3))
  (+ (* (* x (log (pow y 1/3))) (- (* x (log (pow y 1/3))) (* x (* 2 (log (cbrt y)))))) (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))))
  (* x (* (* 3 (log (pow y 1/3))) (* (log (pow y 1/3)) (- (* 2 x) x))))
  (* (log (pow y 1/3)) (- (* 2 x) x))
  (* 3 (log (pow y 1/3)))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (log (pow y 1/3)))
  (* 3 (log (pow y 1/3)))
  (* 3 (log (pow y 1/3)))
  (* 3 (log (pow y 1/3)))
  (* (* 3 (log (pow y 1/3))) (cbrt x))
  (* (* 3 (log (pow y 1/3))) (sqrt x))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  x
  x
  (* 3 (log (pow y 1/3)))
  (* x (+ (* 1/3 (* 2/3 (log y))) (* 2 (log (cbrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (pow y 1/6))))
  (* (* 2/3 (log y)) x)
  (* x (+ (* 1/3 (* 2/3 (log y))) (* 2 (log (cbrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (sqrt (pow y 1/3)))))
  (* (* 2/3 (log y)) x)
  (* x (+ (* 2 (log (cbrt y))) (log (pow y 1/6))))
  (* x (+ (* 1/3 (* 2/3 (log y))) (* 2 (log (cbrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (pow y 1/6))))
  (* (* 2/3 (log y)) x)
  (* x (+ (* 1/3 (* 2/3 (log y))) (* 2 (log (cbrt y)))))
  (* x (+ (* 2 (log (cbrt y))) (log (sqrt (pow y 1/3)))))
  (* (* 2/3 (log y)) x)
  (* x (+ (* 2 (log (cbrt y))) (log (pow y 1/6))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (sqrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (+ (* (log (cbrt (cbrt y))) 2) (log (pow y 1/3))))
  (* x (+ (* (log (sqrt (cbrt y))) 2) (log (pow y 1/3))))
  (* 3 (* x (log (pow y 1/3))))
  (* x (log (pow y 1/3)))
  (log (* x (log (pow y 1/3))))
  (log (* x (log (pow y 1/3))))
  (pow (pow y 1/3) x)
  (pow (* x (log (pow y 1/3))) 3)
  (* (cbrt (* x (log (pow y 1/3)))) (cbrt (* x (log (pow y 1/3)))))
  (cbrt (* x (log (pow y 1/3))))
  (pow (* x (log (pow y 1/3))) 3)
  (sqrt (* x (log (pow y 1/3))))
  (sqrt (* x (log (pow y 1/3))))
  (* (sqrt x) (sqrt (log (pow y 1/3))))
  (* (sqrt x) (sqrt (log (pow y 1/3))))
  (* (* 1/9 (log y)) (* 2 x))
  (* x (log (pow (cbrt y) 1/3)))
  (* x (log (pow y 1/6)))
  (* x (log (pow y 1/6)))
  0
  (* x (log (pow y 1/3)))
  (* (* 1/9 (log y)) (* 2 x))
  (* x (log (pow (cbrt y) 1/3)))
  (* x (log (sqrt (pow y 1/3))))
  (* x (log (sqrt (pow y 1/3))))
  0
  (* x (log (pow y 1/3)))
  (* x (log (pow y 1/6)))
  (* x (log (pow y 1/6)))
  (* (* 1/9 (log y)) (* 2 x))
  (* x (log (pow (cbrt y) 1/3)))
  (* x (log (pow y 1/6)))
  (* x (log (pow y 1/6)))
  0
  (* x (log (pow y 1/3)))
  (* (* 1/9 (log y)) (* 2 x))
  (* x (log (pow (cbrt y) 1/3)))
  (* x (log (sqrt (pow y 1/3))))
  (* x (log (sqrt (pow y 1/3))))
  0
  (* x (log (pow y 1/3)))
  (* x (log (pow y 1/6)))
  (* x (log (pow y 1/6)))
  (* x 1/3)
  (* x 1/3)
  (* x (cbrt 1/3))
  (* x (sqrt 1/3))
  (* x 1/3)
  x
  (* x (* (cbrt (log (pow y 1/3))) (cbrt (log (pow y 1/3)))))
  (* x (sqrt (log (pow y 1/3))))
  x
  (* (cbrt x) (log (pow y 1/3)))
  (* (sqrt x) (log (pow y 1/3)))
  (* x (log (pow y 1/3)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (exp (* 1/3 (- (log -1) (log (/ -1 y)))))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* -1 (* x (- (* 1/3 (log (/ -1 y))) (+ (* 1/3 (log -1)) (* 2 (log (* (pow (* -1 y) 1/3) (cbrt -1))))))))
  (* x (log (pow y 1/3)))
  (* x (log (pow (/ 1 y) -1/3)))
  (* 1/3 (* (- (log -1) (log (/ -1 y))) x))
2.473 * * * [progress]: adding candidates to table
2.864 * * [progress]: iteration 4 / 4
2.864 * * * [progress]: picking best candidate
2.872 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>
2.872 * * * [progress]: localizing error
2.884 * * * [progress]: generating rewritten candidates
2.884 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
2.886 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
2.894 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.913 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
2.919 * * * [progress]: generating series expansions
2.920 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
2.920 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
2.920 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.920 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.920 * [taylor]: Taking taylor expansion of 1/3 in y
2.920 * [taylor]: Taking taylor expansion of (log y) in y
2.920 * [taylor]: Taking taylor expansion of y in y
2.921 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
2.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
2.921 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
2.921 * [taylor]: Taking taylor expansion of 1/3 in y
2.921 * [taylor]: Taking taylor expansion of (log y) in y
2.921 * [taylor]: Taking taylor expansion of y in y
2.970 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
2.970 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.970 * [taylor]: Taking taylor expansion of 1/3 in y
2.970 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.970 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.970 * [taylor]: Taking taylor expansion of y in y
2.971 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.971 * [taylor]: Taking taylor expansion of 1/3 in y
2.971 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.972 * [taylor]: Taking taylor expansion of y in y
3.030 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0
3.030 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.030 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.030 * [taylor]: Taking taylor expansion of -1 in y
3.031 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.031 * [taylor]: Taking taylor expansion of 1/3 in y
3.031 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.031 * [taylor]: Taking taylor expansion of y in y
3.032 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.032 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.032 * [taylor]: Taking taylor expansion of -1 in y
3.033 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.033 * [taylor]: Taking taylor expansion of 1/3 in y
3.033 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.033 * [taylor]: Taking taylor expansion of y in y
3.103 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.103 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0
3.103 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
3.103 * [taylor]: Taking taylor expansion of 3 in x
3.103 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
3.103 * [taylor]: Taking taylor expansion of x in x
3.103 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
3.103 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
3.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
3.103 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
3.103 * [taylor]: Taking taylor expansion of 1/3 in x
3.103 * [taylor]: Taking taylor expansion of (log y) in x
3.103 * [taylor]: Taking taylor expansion of y in x
3.103 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
3.103 * [taylor]: Taking taylor expansion of 3 in y
3.103 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.104 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.104 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.104 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.104 * [taylor]: Taking taylor expansion of 1/3 in y
3.104 * [taylor]: Taking taylor expansion of (log y) in y
3.104 * [taylor]: Taking taylor expansion of y in y
3.104 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
3.104 * [taylor]: Taking taylor expansion of 3 in y
3.104 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
3.104 * [taylor]: Taking taylor expansion of x in y
3.104 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.104 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.104 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.104 * [taylor]: Taking taylor expansion of 1/3 in y
3.105 * [taylor]: Taking taylor expansion of (log y) in y
3.105 * [taylor]: Taking taylor expansion of y in y
3.105 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
3.105 * [taylor]: Taking taylor expansion of 3 in x
3.105 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
3.105 * [taylor]: Taking taylor expansion of x in x
3.105 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
3.105 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
3.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
3.106 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
3.106 * [taylor]: Taking taylor expansion of 1/3 in x
3.106 * [taylor]: Taking taylor expansion of (log y) in x
3.106 * [taylor]: Taking taylor expansion of y in x
3.109 * [taylor]: Taking taylor expansion of 0 in x
3.117 * [taylor]: Taking taylor expansion of 0 in x
3.130 * [taylor]: Taking taylor expansion of 0 in x
3.130 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0
3.130 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
3.130 * [taylor]: Taking taylor expansion of 3 in x
3.130 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
3.130 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
3.130 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.130 * [taylor]: Taking taylor expansion of 1/3 in x
3.130 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.131 * [taylor]: Taking taylor expansion of y in x
3.131 * [taylor]: Taking taylor expansion of x in x
3.131 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
3.131 * [taylor]: Taking taylor expansion of 3 in y
3.131 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
3.131 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.131 * [taylor]: Taking taylor expansion of 1/3 in y
3.131 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.131 * [taylor]: Taking taylor expansion of y in y
3.132 * [taylor]: Taking taylor expansion of x in y
3.132 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
3.132 * [taylor]: Taking taylor expansion of 3 in y
3.132 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
3.132 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.132 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.132 * [taylor]: Taking taylor expansion of 1/3 in y
3.132 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.132 * [taylor]: Taking taylor expansion of y in y
3.133 * [taylor]: Taking taylor expansion of x in y
3.133 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x
3.133 * [taylor]: Taking taylor expansion of 3 in x
3.133 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x
3.133 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x
3.133 * [taylor]: Taking taylor expansion of (pow y -1/3) in x
3.133 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x
3.134 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x
3.134 * [taylor]: Taking taylor expansion of -1/3 in x
3.134 * [taylor]: Taking taylor expansion of (log y) in x
3.134 * [taylor]: Taking taylor expansion of y in x
3.134 * [taylor]: Taking taylor expansion of x in x
3.137 * [taylor]: Taking taylor expansion of 0 in x
3.146 * [taylor]: Taking taylor expansion of 0 in x
3.165 * [taylor]: Taking taylor expansion of 0 in x
3.173 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0
3.173 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
3.173 * [taylor]: Taking taylor expansion of -3 in x
3.173 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
3.173 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
3.173 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
3.173 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.173 * [taylor]: Taking taylor expansion of -1 in x
3.174 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.174 * [taylor]: Taking taylor expansion of 1/3 in x
3.174 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.174 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.174 * [taylor]: Taking taylor expansion of y in x
3.175 * [taylor]: Taking taylor expansion of x in x
3.175 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
3.175 * [taylor]: Taking taylor expansion of -3 in y
3.175 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
3.175 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.175 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.175 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.175 * [taylor]: Taking taylor expansion of -1 in y
3.176 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.176 * [taylor]: Taking taylor expansion of 1/3 in y
3.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.176 * [taylor]: Taking taylor expansion of y in y
3.178 * [taylor]: Taking taylor expansion of x in y
3.178 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
3.178 * [taylor]: Taking taylor expansion of -3 in y
3.179 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
3.179 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.179 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.179 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.179 * [taylor]: Taking taylor expansion of -1 in y
3.179 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.179 * [taylor]: Taking taylor expansion of 1/3 in y
3.179 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.179 * [taylor]: Taking taylor expansion of y in y
3.181 * [taylor]: Taking taylor expansion of x in y
3.182 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
3.182 * [taylor]: Taking taylor expansion of -3 in x
3.182 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
3.182 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
3.182 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
3.182 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.182 * [taylor]: Taking taylor expansion of -1 in x
3.183 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.183 * [taylor]: Taking taylor expansion of 1/3 in x
3.183 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.183 * [taylor]: Taking taylor expansion of y in x
3.184 * [taylor]: Taking taylor expansion of x in x
3.190 * [taylor]: Taking taylor expansion of 0 in x
3.203 * [taylor]: Taking taylor expansion of 0 in x
3.223 * [taylor]: Taking taylor expansion of 0 in x
3.235 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.235 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in (y x z) around 0
3.235 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in z
3.235 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in z
3.235 * [taylor]: Taking taylor expansion of 3 in z
3.235 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in z
3.235 * [taylor]: Taking taylor expansion of x in z
3.235 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z
3.235 * [taylor]: Taking taylor expansion of (pow y 1/3) in z
3.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z
3.235 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z
3.235 * [taylor]: Taking taylor expansion of 1/3 in z
3.235 * [taylor]: Taking taylor expansion of (log y) in z
3.235 * [taylor]: Taking taylor expansion of y in z
3.235 * [taylor]: Taking taylor expansion of (+ z y) in z
3.235 * [taylor]: Taking taylor expansion of z in z
3.235 * [taylor]: Taking taylor expansion of y in z
3.235 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in x
3.235 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
3.235 * [taylor]: Taking taylor expansion of 3 in x
3.235 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
3.235 * [taylor]: Taking taylor expansion of x in x
3.235 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
3.235 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
3.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
3.236 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
3.236 * [taylor]: Taking taylor expansion of 1/3 in x
3.236 * [taylor]: Taking taylor expansion of (log y) in x
3.236 * [taylor]: Taking taylor expansion of y in x
3.236 * [taylor]: Taking taylor expansion of (+ z y) in x
3.236 * [taylor]: Taking taylor expansion of z in x
3.236 * [taylor]: Taking taylor expansion of y in x
3.236 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y
3.236 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
3.236 * [taylor]: Taking taylor expansion of 3 in y
3.236 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
3.236 * [taylor]: Taking taylor expansion of x in y
3.236 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.236 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.236 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.236 * [taylor]: Taking taylor expansion of 1/3 in y
3.236 * [taylor]: Taking taylor expansion of (log y) in y
3.236 * [taylor]: Taking taylor expansion of y in y
3.237 * [taylor]: Taking taylor expansion of (+ z y) in y
3.237 * [taylor]: Taking taylor expansion of z in y
3.237 * [taylor]: Taking taylor expansion of y in y
3.237 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y
3.237 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y
3.237 * [taylor]: Taking taylor expansion of 3 in y
3.237 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y
3.237 * [taylor]: Taking taylor expansion of x in y
3.237 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.237 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.237 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.237 * [taylor]: Taking taylor expansion of 1/3 in y
3.237 * [taylor]: Taking taylor expansion of (log y) in y
3.237 * [taylor]: Taking taylor expansion of y in y
3.242 * [taylor]: Taking taylor expansion of (+ z y) in y
3.242 * [taylor]: Taking taylor expansion of z in y
3.242 * [taylor]: Taking taylor expansion of y in y
3.243 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) z) in x
3.243 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x
3.243 * [taylor]: Taking taylor expansion of 3 in x
3.243 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x
3.243 * [taylor]: Taking taylor expansion of x in x
3.243 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x
3.243 * [taylor]: Taking taylor expansion of (pow y 1/3) in x
3.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x
3.243 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x
3.243 * [taylor]: Taking taylor expansion of 1/3 in x
3.243 * [taylor]: Taking taylor expansion of (log y) in x
3.243 * [taylor]: Taking taylor expansion of y in x
3.243 * [taylor]: Taking taylor expansion of z in x
3.244 * [taylor]: Taking taylor expansion of (- z) in z
3.244 * [taylor]: Taking taylor expansion of z in z
3.248 * [taylor]: Taking taylor expansion of -1 in x
3.248 * [taylor]: Taking taylor expansion of -1 in z
3.251 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in z
3.251 * [taylor]: Taking taylor expansion of 3 in z
3.251 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z
3.251 * [taylor]: Taking taylor expansion of (pow y 1/3) in z
3.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z
3.251 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z
3.251 * [taylor]: Taking taylor expansion of 1/3 in z
3.251 * [taylor]: Taking taylor expansion of (log y) in z
3.251 * [taylor]: Taking taylor expansion of y in z
3.252 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in (y x z) around 0
3.252 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in z
3.252 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in z
3.252 * [taylor]: Taking taylor expansion of 3 in z
3.252 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in z
3.252 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in z
3.252 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z
3.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z
3.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z
3.252 * [taylor]: Taking taylor expansion of 1/3 in z
3.252 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
3.252 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.252 * [taylor]: Taking taylor expansion of y in z
3.252 * [taylor]: Taking taylor expansion of x in z
3.253 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
3.253 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.253 * [taylor]: Taking taylor expansion of z in z
3.253 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.253 * [taylor]: Taking taylor expansion of y in z
3.253 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in x
3.253 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x
3.253 * [taylor]: Taking taylor expansion of 3 in x
3.253 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x
3.253 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x
3.253 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.253 * [taylor]: Taking taylor expansion of 1/3 in x
3.253 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.253 * [taylor]: Taking taylor expansion of y in x
3.253 * [taylor]: Taking taylor expansion of x in x
3.254 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
3.254 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.254 * [taylor]: Taking taylor expansion of z in x
3.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.254 * [taylor]: Taking taylor expansion of y in x
3.254 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y
3.254 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
3.254 * [taylor]: Taking taylor expansion of 3 in y
3.254 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
3.254 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.254 * [taylor]: Taking taylor expansion of 1/3 in y
3.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.254 * [taylor]: Taking taylor expansion of y in y
3.255 * [taylor]: Taking taylor expansion of x in y
3.255 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
3.255 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.255 * [taylor]: Taking taylor expansion of z in y
3.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.255 * [taylor]: Taking taylor expansion of y in y
3.255 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y
3.255 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y
3.255 * [taylor]: Taking taylor expansion of 3 in y
3.255 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y
3.255 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.256 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.256 * [taylor]: Taking taylor expansion of 1/3 in y
3.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.256 * [taylor]: Taking taylor expansion of y in y
3.257 * [taylor]: Taking taylor expansion of x in y
3.257 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
3.257 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.257 * [taylor]: Taking taylor expansion of z in y
3.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.257 * [taylor]: Taking taylor expansion of y in y
3.258 * [taylor]: Taking taylor expansion of -1 in x
3.259 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow y -1/3)) x)) (/ 1 z)) in x
3.259 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x
3.259 * [taylor]: Taking taylor expansion of 3 in x
3.259 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x
3.259 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x
3.259 * [taylor]: Taking taylor expansion of (pow y -1/3) in x
3.259 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x
3.259 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x
3.259 * [taylor]: Taking taylor expansion of -1/3 in x
3.259 * [taylor]: Taking taylor expansion of (log y) in x
3.259 * [taylor]: Taking taylor expansion of y in x
3.259 * [taylor]: Taking taylor expansion of x in x
3.259 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.259 * [taylor]: Taking taylor expansion of z in x
3.259 * [taylor]: Taking taylor expansion of (* 3 (log (pow y -1/3))) in z
3.259 * [taylor]: Taking taylor expansion of 3 in z
3.259 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in z
3.259 * [taylor]: Taking taylor expansion of (pow y -1/3) in z
3.259 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in z
3.259 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in z
3.260 * [taylor]: Taking taylor expansion of -1/3 in z
3.260 * [taylor]: Taking taylor expansion of (log y) in z
3.260 * [taylor]: Taking taylor expansion of y in z
3.260 * [taylor]: Taking taylor expansion of -1 in z
3.264 * [taylor]: Taking taylor expansion of 0 in x
3.267 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.268 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.268 * [taylor]: Taking taylor expansion of z in z
3.268 * [taylor]: Taking taylor expansion of 0 in z
3.269 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x z) around 0
3.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in z
3.269 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
3.269 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.269 * [taylor]: Taking taylor expansion of z in z
3.269 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.270 * [taylor]: Taking taylor expansion of y in z
3.270 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in z
3.270 * [taylor]: Taking taylor expansion of 3 in z
3.270 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in z
3.270 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z
3.270 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z
3.270 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.270 * [taylor]: Taking taylor expansion of -1 in z
3.270 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z
3.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z
3.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z
3.270 * [taylor]: Taking taylor expansion of 1/3 in z
3.270 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
3.271 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.271 * [taylor]: Taking taylor expansion of y in z
3.271 * [taylor]: Taking taylor expansion of x in z
3.272 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
3.272 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.272 * [taylor]: Taking taylor expansion of z in x
3.272 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.272 * [taylor]: Taking taylor expansion of y in x
3.272 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
3.272 * [taylor]: Taking taylor expansion of 3 in x
3.272 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
3.272 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
3.272 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
3.272 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.272 * [taylor]: Taking taylor expansion of -1 in x
3.273 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.273 * [taylor]: Taking taylor expansion of 1/3 in x
3.273 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.273 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.273 * [taylor]: Taking taylor expansion of y in x
3.274 * [taylor]: Taking taylor expansion of x in x
3.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
3.274 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
3.274 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.274 * [taylor]: Taking taylor expansion of z in y
3.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.275 * [taylor]: Taking taylor expansion of y in y
3.275 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
3.275 * [taylor]: Taking taylor expansion of 3 in y
3.275 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
3.275 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.275 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.275 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.275 * [taylor]: Taking taylor expansion of -1 in y
3.276 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.276 * [taylor]: Taking taylor expansion of 1/3 in y
3.276 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.276 * [taylor]: Taking taylor expansion of y in y
3.278 * [taylor]: Taking taylor expansion of x in y
3.278 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y
3.278 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
3.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.278 * [taylor]: Taking taylor expansion of z in y
3.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.278 * [taylor]: Taking taylor expansion of y in y
3.278 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y
3.278 * [taylor]: Taking taylor expansion of 3 in y
3.278 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y
3.278 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.278 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.278 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.278 * [taylor]: Taking taylor expansion of -1 in y
3.279 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.279 * [taylor]: Taking taylor expansion of 1/3 in y
3.279 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.279 * [taylor]: Taking taylor expansion of y in y
3.281 * [taylor]: Taking taylor expansion of x in y
3.282 * [taylor]: Taking taylor expansion of 1 in x
3.284 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x
3.284 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.284 * [taylor]: Taking taylor expansion of z in x
3.284 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x
3.284 * [taylor]: Taking taylor expansion of 3 in x
3.284 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x
3.284 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x
3.284 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x
3.284 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.284 * [taylor]: Taking taylor expansion of -1 in x
3.285 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x
3.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x
3.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x
3.285 * [taylor]: Taking taylor expansion of 1/3 in x
3.285 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
3.285 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.285 * [taylor]: Taking taylor expansion of y in x
3.286 * [taylor]: Taking taylor expansion of x in x
3.288 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in z
3.288 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in z
3.288 * [taylor]: Taking taylor expansion of 3 in z
3.288 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z
3.288 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z
3.288 * [taylor]: Taking taylor expansion of (cbrt -1) in z
3.288 * [taylor]: Taking taylor expansion of -1 in z
3.289 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z
3.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z
3.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z
3.289 * [taylor]: Taking taylor expansion of 1/3 in z
3.289 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
3.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.289 * [taylor]: Taking taylor expansion of y in z
3.290 * [taylor]: Taking taylor expansion of 1 in z
3.296 * [taylor]: Taking taylor expansion of 0 in x
3.301 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.301 * [taylor]: Taking taylor expansion of z in z
3.301 * [taylor]: Taking taylor expansion of 0 in z
3.303 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
3.304 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0
3.304 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.304 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.304 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.304 * [taylor]: Taking taylor expansion of 1/3 in y
3.304 * [taylor]: Taking taylor expansion of (log y) in y
3.304 * [taylor]: Taking taylor expansion of y in y
3.304 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y
3.304 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.304 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.304 * [taylor]: Taking taylor expansion of 1/3 in y
3.304 * [taylor]: Taking taylor expansion of (log y) in y
3.304 * [taylor]: Taking taylor expansion of y in y
3.378 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0
3.378 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.378 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.378 * [taylor]: Taking taylor expansion of 1/3 in y
3.378 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.378 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.378 * [taylor]: Taking taylor expansion of y in y
3.379 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y
3.379 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.379 * [taylor]: Taking taylor expansion of 1/3 in y
3.379 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.379 * [taylor]: Taking taylor expansion of y in y
3.458 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0
3.458 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.458 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.458 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.458 * [taylor]: Taking taylor expansion of -1 in y
3.458 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.459 * [taylor]: Taking taylor expansion of 1/3 in y
3.459 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.459 * [taylor]: Taking taylor expansion of y in y
3.460 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y
3.460 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y
3.460 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.460 * [taylor]: Taking taylor expansion of -1 in y
3.461 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.461 * [taylor]: Taking taylor expansion of 1/3 in y
3.461 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.461 * [taylor]: Taking taylor expansion of y in y
3.568 * * * [progress]: simplifying candidates
3.569 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (log (cbrt y)) (* x 3))
  (* (log (cbrt y)) (* x 3))
  (+ (log (log (cbrt y))) (+ (log x) (log 3)))
  (+ (log (log (cbrt y))) (log (* x 3)))
  (log (* (log (cbrt y)) (* x 3)))
  (exp (* (log (cbrt y)) (* x 3)))
  (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (* x x) x) (* (* 3 3) 3)))
  (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (* x 3) (* x 3)) (* x 3)))
  (* (cbrt (* (log (cbrt y)) (* x 3))) (cbrt (* (log (cbrt y)) (* x 3))))
  (cbrt (* (log (cbrt y)) (* x 3)))
  (* (* (* (log (cbrt y)) (* x 3)) (* (log (cbrt y)) (* x 3))) (* (log (cbrt y)) (* x 3)))
  (sqrt (* (log (cbrt y)) (* x 3)))
  (sqrt (* (log (cbrt y)) (* x 3)))
  (* (sqrt (log (cbrt y))) (sqrt (* x 3)))
  (* (sqrt (log (cbrt y))) (sqrt (* x 3)))
  (* (sqrt (log (cbrt y))) (* (sqrt x) (sqrt 3)))
  (* (sqrt (log (cbrt y))) (* (sqrt x) (sqrt 3)))
  (* (log (cbrt y)) x)
  (* (log (cbrt y)) (* (cbrt (* x 3)) (cbrt (* x 3))))
  (* (log (cbrt y)) (sqrt (* x 3)))
  (* (log (cbrt y)) 1)
  (* (log (cbrt y)) (* (sqrt x) (sqrt 3)))
  (* (log (cbrt y)) (* x (* (cbrt 3) (cbrt 3))))
  (* (log (cbrt y)) (* x (sqrt 3)))
  (* (log (cbrt y)) (* x 1))
  (* (log (cbrt y)) (* (cbrt x) (cbrt x)))
  (* (log (cbrt y)) (sqrt x))
  (* (log (cbrt y)) 1)
  (* (log (cbrt y)) 3)
  (* (log y) (* x 3))
  (* (log (cbrt y)) (* x 3))
  (* (cbrt (log (cbrt y))) (* x 3))
  (* (sqrt (log (cbrt y))) (* x 3))
  (* (log (cbrt y)) (* x 3))
  (/ (/ (exp (* (log (cbrt y)) (* x 3))) (exp y)) (exp z))
  (/ (exp (- (* (log (cbrt y)) (* x 3)) y)) (exp z))
  (log (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (exp (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (* (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z)) (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z)))
  (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (* (* (- (- (* (log (cbrt y)) (* x 3)) y) z) (- (- (* (log (cbrt y)) (* x 3)) y) z)) (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (sqrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (sqrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (- (pow (- (* (log (cbrt y)) (* x 3)) y) 3) (pow z 3))
  (+ (* (- (* (log (cbrt y)) (* x 3)) y) (- (* (log (cbrt y)) (* x 3)) y)) (+ (* z z) (* (- (* (log (cbrt y)) (* x 3)) y) z)))
  (- z)
  (- (* (- (* (log (cbrt y)) (* x 3)) y) (- (* (log (cbrt y)) (* x 3)) y)) (* z z))
  (+ (- (* (log (cbrt y)) (* x 3)) y) z)
  (+ (sqrt (- (* (log (cbrt y)) (* x 3)) y)) (sqrt z))
  (- (sqrt (- (* (log (cbrt y)) (* x 3)) y)) (sqrt z))
  (- (- (* (log (cbrt y)) (* x 3)) y) z)
  (- (- (* (log (cbrt y)) (* x 3)) y) z)
  (- (- (* (log (cbrt y)) (* x 3)) y) z)
  (- (- (* (log (cbrt y)) (* x 3)) y) z)
  (- (- y) z)
  (- (- y) z)
  (+ y z)
  (- z)
  (log (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (cbrt y)))
  (log (cbrt (sqrt y)))
  (log (cbrt (sqrt y)))
  (log (cbrt 1))
  (log (cbrt y))
  (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (log (cbrt (cbrt y)))
  (log (sqrt (cbrt y)))
  (log (sqrt (cbrt y)))
  (log 1)
  (log (cbrt y))
  (log y)
  (log (cbrt y))
  (log (log (cbrt y)))
  (exp (log (cbrt y)))
  (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))
  (cbrt (log (cbrt y)))
  (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))
  (sqrt (log (cbrt y)))
  (sqrt (log (cbrt y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* 3 (* x (log (pow y 1/3))))
  (* 3 (* x (log (pow (/ 1 y) -1/3))))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (* 3 (* x (log (pow (/ 1 y) -1/3)))) (+ z y))
  (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (+ z y))
  (log (pow y 1/3))
  (log (pow (/ 1 y) -1/3))
  (log (* (pow (* -1 y) 1/3) (cbrt -1)))
3.575 * * [simplify]: iteration  0 :  295  enodes  (cost  526 )
3.581 * * [simplify]: iteration  1 :  1201  enodes  (cost  474 )
3.608 * * [simplify]: iteration  2 :  5001  enodes  (cost  449 )
3.611 * [simplify]: Simplified to:
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (pow y 1/3)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (* (log y) x)
  (* (log y) x)
  (log (* (log y) x))
  (log (* (log y) x))
  (log (* (log y) x))
  (pow (cbrt y) (* x 3))
  (pow (* 3 (* x (log (pow y 1/3)))) 3)
  (pow (* 3 (* x (log (pow y 1/3)))) 3)
  (* (cbrt (* (log (cbrt y)) (* x 3))) (cbrt (* (log (cbrt y)) (* x 3))))
  (cbrt (* (log (cbrt y)) (* x 3)))
  (pow (* 3 (* x (log (pow y 1/3)))) 3)
  (sqrt (* (log (cbrt y)) (* x 3)))
  (sqrt (* (log (cbrt y)) (* x 3)))
  (* (sqrt (log (cbrt y))) (sqrt (* x 3)))
  (* (sqrt (log (cbrt y))) (sqrt (* x 3)))
  (* (sqrt (log (cbrt y))) (* (sqrt x) (sqrt 3)))
  (* (sqrt (log (cbrt y))) (* (sqrt x) (sqrt 3)))
  (* x (log (cbrt y)))
  (* (log (cbrt y)) (* (cbrt (* x 3)) (cbrt (* x 3))))
  (* (log (cbrt y)) (sqrt (* x 3)))
  (log (cbrt y))
  (* (log (cbrt y)) (* (sqrt x) (sqrt 3)))
  (* (log (cbrt y)) (* x (* (cbrt 3) (cbrt 3))))
  (* (log (cbrt y)) (* x (sqrt 3)))
  (* x (log (cbrt y)))
  (* (log (cbrt y)) (* (cbrt x) (cbrt x)))
  (* (log (cbrt y)) (sqrt x))
  (log (cbrt y))
  (log y)
  (* (log y) (* x 3))
  (* (log y) x)
  (* (cbrt (log (cbrt y))) (* x 3))
  (* (sqrt (log (cbrt y))) (* x 3))
  (* (log y) x)
  (exp (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (exp (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (log (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (exp (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (* (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z)) (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z)))
  (cbrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (pow (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) 3)
  (sqrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (sqrt (- (- (* (log (cbrt y)) (* x 3)) y) z))
  (- (pow (- (* (log (cbrt y)) (* x 3)) y) 3) (pow z 3))
  (+ (* (- (* (log (cbrt y)) (* x 3)) y) (+ (- (* (log (cbrt y)) (* x 3)) y) z)) (* z z))
  (- z)
  (- (* (- (* (log (cbrt y)) (* x 3)) y) (- (* (log (cbrt y)) (* x 3)) y)) (* z z))
  (+ (- (* (log (cbrt y)) (* x 3)) y) z)
  (+ (sqrt (- (* (log (cbrt y)) (* x 3)) y)) (sqrt z))
  (- (sqrt (- (* (log (cbrt y)) (* x 3)) y)) (sqrt z))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (- y) z)
  (- (- y) z)
  (+ y z)
  (- z)
  (log (cbrt (* (cbrt y) (cbrt y))))
  (log (cbrt (cbrt y)))
  (log (cbrt (sqrt y)))
  (log (cbrt (sqrt y)))
  (log (cbrt 1))
  (log (cbrt y))
  (* 2 (log (cbrt (cbrt y))))
  (log (cbrt (cbrt y)))
  (log (sqrt (cbrt y)))
  (log (sqrt (cbrt y)))
  0
  (log (cbrt y))
  (log y)
  (log (cbrt y))
  (log (log (cbrt y)))
  (pow y 1/3)
  (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))
  (cbrt (log (cbrt y)))
  (pow (log (cbrt y)) 3)
  (sqrt (log (cbrt y)))
  (sqrt (log (cbrt y)))
  (pow y 1/3)
  (pow (/ 1 y) -1/3)
  (* (pow (* -1 y) 1/3) (cbrt -1))
  (* (log y) x)
  (* -1 (* (log (/ 1 y)) x))
  (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))))
  (- (* 3 (* x (log (pow y 1/3)))) (+ z y))
  (- (* 3 (* x (log (pow (/ 1 y) -1/3)))) (+ z y))
  (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (+ z y))
  (log (cbrt y))
  (log (pow (/ 1 y) -1/3))
  (log (* (pow (* -1 y) 1/3) (cbrt -1)))
3.611 * * * [progress]: adding candidates to table
3.807 * [progress]: [Phase 3 of 3] Extracting.
3.807 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.809 * * * [regime-changes]: Trying 8 branch expressions: ((log t) (- (* x (log y)) y) (- (- (* x (log y)) y) z) (+ (- (- (* x (log y)) y) z) (log t)) t z y x)
3.809 * * * * [regimes]: Trying to branch on (log t) from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.837 * * * * [regimes]: Trying to branch on (- (* x (log y)) y) from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.869 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) y) z) from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.899 * * * * [regimes]: Trying to branch on (+ (- (- (* x (log y)) y) z) (log t)) from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.934 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.959 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
3.986 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
4.014 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (- (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* x (log y)) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (sqrt x) (* (log y) (sqrt x))) y) z) (log t)))> #<alt (λ (x y z t) (+ (- (- (* (log (cbrt y)) (* x 3)) y) z) (log t)))>)
4.039 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
4.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t))
4.040 * * [simplify]: iteration  0 :  23  enodes  (cost  12 )
4.040 * * [simplify]: iteration  1 :  23  enodes  (cost  12 )
4.040 * [simplify]: Simplified to:
   (+ (- (- (+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3)))) y) z) (log t))
6.377 * [regime-testing]: Baseline error score: 0.09795340980284793
6.378 * [regime-testing]: Oracle error score: 0.01577321227671488
6.379 * [regime-testing]: End program error score: 0.09795340980284793