7.976 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.116 * * * [progress]: [2/2] Setting up program.
0.120 * [progress]: [Phase 2 of 3] Improving.
0.120 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
0.122 * * [simplify]: iteration  0 :  38  enodes  (cost  11 )
0.124 * * [simplify]: iteration  1 :  101  enodes  (cost  11 )
0.126 * * [simplify]: iteration  2 :  428  enodes  (cost  11 )
0.133 * * [simplify]: iteration  3 :  1514  enodes  (cost  11 )
0.155 * * [simplify]: iteration  4 :  4620  enodes  (cost  11 )
0.190 * * [simplify]: iteration  5 :  5001  enodes  (cost  11 )
0.191 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
0.191 * * [progress]: iteration 1 / 4
0.191 * * * [progress]: picking best candidate
0.194 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))>
0.194 * * * [progress]: localizing error
0.212 * * * [progress]: generating rewritten candidates
0.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
0.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.228 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
0.231 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.251 * * * [progress]: generating series expansions
0.251 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
0.251 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
0.251 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.251 * [taylor]: Taking taylor expansion of x in y
0.251 * [taylor]: Taking taylor expansion of (log y) in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (log y) in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (log y) in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of 0 in y
0.253 * [taylor]: Taking taylor expansion of (log y) in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.258 * [taylor]: Taking taylor expansion of 0 in y
0.258 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
0.258 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.258 * [taylor]: Taking taylor expansion of (log (/ 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.259 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.262 * [taylor]: Taking taylor expansion of 0 in y
0.265 * [taylor]: Taking taylor expansion of 0 in y
0.270 * [taylor]: Taking taylor expansion of 0 in y
0.270 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
0.270 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
0.270 * [taylor]: Taking taylor expansion of -1 in y
0.270 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.270 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.270 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.270 * [taylor]: Taking taylor expansion of -1 in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.272 * [taylor]: Taking taylor expansion of -1 in x
0.272 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.272 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.272 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.272 * [taylor]: Taking taylor expansion of -1 in x
0.272 * [taylor]: Taking taylor expansion of y in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
0.273 * [taylor]: Taking taylor expansion of -1 in x
0.273 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.273 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.273 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.273 * [taylor]: Taking taylor expansion of -1 in x
0.273 * [taylor]: Taking taylor expansion of y in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
0.273 * [taylor]: Taking taylor expansion of -1 in y
0.273 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.273 * [taylor]: Taking taylor expansion of -1 in y
0.273 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of 0 in y
0.281 * [taylor]: Taking taylor expansion of 0 in y
0.288 * [taylor]: Taking taylor expansion of 0 in y
0.289 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.289 * [approximate]: Taking taylor expansion of (* (- b 0.5) (log c)) in (b c) around 0
0.289 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in c
0.289 * [taylor]: Taking taylor expansion of (- b 0.5) in c
0.289 * [taylor]: Taking taylor expansion of b in c
0.289 * [taylor]: Taking taylor expansion of 0.5 in c
0.289 * [taylor]: Taking taylor expansion of (log c) in c
0.289 * [taylor]: Taking taylor expansion of c in c
0.289 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b
0.289 * [taylor]: Taking taylor expansion of (- b 0.5) in b
0.289 * [taylor]: Taking taylor expansion of b in b
0.289 * [taylor]: Taking taylor expansion of 0.5 in b
0.289 * [taylor]: Taking taylor expansion of (log c) in b
0.289 * [taylor]: Taking taylor expansion of c in b
0.289 * [taylor]: Taking taylor expansion of (* (- b 0.5) (log c)) in b
0.289 * [taylor]: Taking taylor expansion of (- b 0.5) in b
0.289 * [taylor]: Taking taylor expansion of b in b
0.289 * [taylor]: Taking taylor expansion of 0.5 in b
0.289 * [taylor]: Taking taylor expansion of (log c) in b
0.289 * [taylor]: Taking taylor expansion of c in b
0.290 * [taylor]: Taking taylor expansion of (* -0.5 (log c)) in c
0.291 * [taylor]: Taking taylor expansion of -0.5 in c
0.291 * [taylor]: Taking taylor expansion of (log c) in c
0.291 * [taylor]: Taking taylor expansion of c in c
0.293 * [taylor]: Taking taylor expansion of (log c) in c
0.293 * [taylor]: Taking taylor expansion of c in c
0.297 * [taylor]: Taking taylor expansion of 0 in c
0.303 * [taylor]: Taking taylor expansion of 0 in c
0.303 * [approximate]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in (b c) around 0
0.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in c
0.303 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in c
0.303 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.303 * [taylor]: Taking taylor expansion of b in c
0.303 * [taylor]: Taking taylor expansion of 0.5 in c
0.303 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.303 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.303 * [taylor]: Taking taylor expansion of c in c
0.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b
0.304 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
0.304 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.304 * [taylor]: Taking taylor expansion of b in b
0.304 * [taylor]: Taking taylor expansion of 0.5 in b
0.304 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
0.304 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.304 * [taylor]: Taking taylor expansion of c in b
0.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 b) 0.5) (log (/ 1 c))) in b
0.304 * [taylor]: Taking taylor expansion of (- (/ 1 b) 0.5) in b
0.304 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.304 * [taylor]: Taking taylor expansion of b in b
0.304 * [taylor]: Taking taylor expansion of 0.5 in b
0.305 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
0.305 * [taylor]: Taking taylor expansion of (/ 1 c) in b
0.305 * [taylor]: Taking taylor expansion of c in b
0.305 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.305 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.305 * [taylor]: Taking taylor expansion of c in c
0.308 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ 1 c)))) in c
0.308 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ 1 c))) in c
0.308 * [taylor]: Taking taylor expansion of 0.5 in c
0.308 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.308 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.308 * [taylor]: Taking taylor expansion of c in c
0.313 * [taylor]: Taking taylor expansion of 0 in c
0.320 * [taylor]: Taking taylor expansion of 0 in c
0.321 * [approximate]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in (b c) around 0
0.321 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in c
0.321 * [taylor]: Taking taylor expansion of -1 in c
0.321 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in c
0.321 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
0.321 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.321 * [taylor]: Taking taylor expansion of -1 in c
0.321 * [taylor]: Taking taylor expansion of c in c
0.321 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in c
0.322 * [taylor]: Taking taylor expansion of (/ 1 b) in c
0.322 * [taylor]: Taking taylor expansion of b in c
0.322 * [taylor]: Taking taylor expansion of 0.5 in c
0.322 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b
0.322 * [taylor]: Taking taylor expansion of -1 in b
0.322 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b
0.322 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
0.322 * [taylor]: Taking taylor expansion of (/ -1 c) in b
0.322 * [taylor]: Taking taylor expansion of -1 in b
0.322 * [taylor]: Taking taylor expansion of c in b
0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
0.322 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.322 * [taylor]: Taking taylor expansion of b in b
0.322 * [taylor]: Taking taylor expansion of 0.5 in b
0.322 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 c)) (+ (/ 1 b) 0.5))) in b
0.322 * [taylor]: Taking taylor expansion of -1 in b
0.322 * [taylor]: Taking taylor expansion of (* (log (/ -1 c)) (+ (/ 1 b) 0.5)) in b
0.322 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in b
0.322 * [taylor]: Taking taylor expansion of (/ -1 c) in b
0.322 * [taylor]: Taking taylor expansion of -1 in b
0.322 * [taylor]: Taking taylor expansion of c in b
0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 b) 0.5) in b
0.322 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.322 * [taylor]: Taking taylor expansion of b in b
0.323 * [taylor]: Taking taylor expansion of 0.5 in b
0.323 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 c))) in c
0.323 * [taylor]: Taking taylor expansion of -1 in c
0.323 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
0.323 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.323 * [taylor]: Taking taylor expansion of -1 in c
0.323 * [taylor]: Taking taylor expansion of c in c
0.326 * [taylor]: Taking taylor expansion of (- (* 0.5 (log (/ -1 c)))) in c
0.327 * [taylor]: Taking taylor expansion of (* 0.5 (log (/ -1 c))) in c
0.327 * [taylor]: Taking taylor expansion of 0.5 in c
0.327 * [taylor]: Taking taylor expansion of (log (/ -1 c)) in c
0.327 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.327 * [taylor]: Taking taylor expansion of -1 in c
0.327 * [taylor]: Taking taylor expansion of c in c
0.337 * [taylor]: Taking taylor expansion of 0 in c
0.347 * [taylor]: Taking taylor expansion of 0 in c
0.348 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.349 * [approximate]: Taking taylor expansion of (+ (* x (log y)) z) in (x y z) around 0
0.349 * [taylor]: Taking taylor expansion of (+ (* x (log y)) z) in z
0.349 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.349 * [taylor]: Taking taylor expansion of x in z
0.349 * [taylor]: Taking taylor expansion of (log y) in z
0.349 * [taylor]: Taking taylor expansion of y in z
0.349 * [taylor]: Taking taylor expansion of z in z
0.349 * [taylor]: Taking taylor expansion of (+ (* x (log y)) z) in y
0.349 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of (log y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of (+ (* x (log y)) z) in x
0.349 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (log y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of z in x
0.349 * [taylor]: Taking taylor expansion of (+ (* x (log y)) z) in x
0.349 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (log y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of z in x
0.349 * [taylor]: Taking taylor expansion of z in y
0.349 * [taylor]: Taking taylor expansion of z in z
0.350 * [taylor]: Taking taylor expansion of (log y) in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of (log y) in z
0.351 * [taylor]: Taking taylor expansion of y in z
0.351 * [taylor]: Taking taylor expansion of 0 in z
0.353 * [taylor]: Taking taylor expansion of 0 in y
0.353 * [taylor]: Taking taylor expansion of 0 in z
0.353 * [taylor]: Taking taylor expansion of 0 in z
0.354 * [taylor]: Taking taylor expansion of 0 in z
0.355 * [approximate]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0
0.355 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ 1 z)) in z
0.355 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.355 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.355 * [taylor]: Taking taylor expansion of y in z
0.355 * [taylor]: Taking taylor expansion of x in z
0.355 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.355 * [taylor]: Taking taylor expansion of z in z
0.355 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ 1 z)) in y
0.355 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.355 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of x in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.356 * [taylor]: Taking taylor expansion of z in y
0.356 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.356 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.356 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.357 * [taylor]: Taking taylor expansion of z in x
0.357 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (/ 1 z)) in x
0.357 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.357 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.357 * [taylor]: Taking taylor expansion of z in x
0.357 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.357 * [taylor]: Taking taylor expansion of y in y
0.358 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.358 * [taylor]: Taking taylor expansion of (log y) in z
0.358 * [taylor]: Taking taylor expansion of y in z
0.359 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.359 * [taylor]: Taking taylor expansion of z in y
0.359 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.359 * [taylor]: Taking taylor expansion of z in z
0.360 * [taylor]: Taking taylor expansion of 0 in z
0.363 * [taylor]: Taking taylor expansion of 0 in y
0.363 * [taylor]: Taking taylor expansion of 0 in z
0.363 * [taylor]: Taking taylor expansion of 0 in z
0.365 * [taylor]: Taking taylor expansion of 0 in z
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [taylor]: Taking taylor expansion of 0 in z
0.369 * [taylor]: Taking taylor expansion of 0 in z
0.370 * [taylor]: Taking taylor expansion of 0 in z
0.372 * [taylor]: Taking taylor expansion of 0 in z
0.373 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) x))) in (x y z) around 0
0.373 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) x))) in z
0.373 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) x)) in z
0.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.373 * [taylor]: Taking taylor expansion of z in z
0.373 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.373 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.373 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.373 * [taylor]: Taking taylor expansion of -1 in z
0.374 * [taylor]: Taking taylor expansion of y in z
0.374 * [taylor]: Taking taylor expansion of x in z
0.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) x))) in y
0.374 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) x)) in y
0.374 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.374 * [taylor]: Taking taylor expansion of z in y
0.374 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.374 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.374 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.374 * [taylor]: Taking taylor expansion of -1 in y
0.374 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of x in y
0.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) x))) in x
0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.376 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.376 * [taylor]: Taking taylor expansion of z in x
0.376 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.376 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.376 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.376 * [taylor]: Taking taylor expansion of -1 in x
0.376 * [taylor]: Taking taylor expansion of y in x
0.376 * [taylor]: Taking taylor expansion of x in x
0.376 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ (log (/ -1 y)) x))) in x
0.376 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log (/ -1 y)) x)) in x
0.376 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.376 * [taylor]: Taking taylor expansion of z in x
0.376 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.376 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.376 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.376 * [taylor]: Taking taylor expansion of -1 in x
0.376 * [taylor]: Taking taylor expansion of y in x
0.376 * [taylor]: Taking taylor expansion of x in x
0.376 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.376 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.376 * [taylor]: Taking taylor expansion of -1 in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.378 * [taylor]: Taking taylor expansion of (log y) in z
0.378 * [taylor]: Taking taylor expansion of y in z
0.378 * [taylor]: Taking taylor expansion of (log -1) in z
0.378 * [taylor]: Taking taylor expansion of -1 in z
0.379 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
0.379 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.379 * [taylor]: Taking taylor expansion of z in y
0.379 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
0.379 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.380 * [taylor]: Taking taylor expansion of z in z
0.381 * [taylor]: Taking taylor expansion of 0 in z
0.385 * [taylor]: Taking taylor expansion of 0 in y
0.385 * [taylor]: Taking taylor expansion of 0 in z
0.386 * [taylor]: Taking taylor expansion of 0 in z
0.388 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of 0 in y
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.394 * [taylor]: Taking taylor expansion of 0 in z
0.398 * [taylor]: Taking taylor expansion of 0 in z
0.399 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.399 * [approximate]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in (x y z t) around 0
0.399 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in t
0.399 * [taylor]: Taking taylor expansion of (* x (log y)) in t
0.399 * [taylor]: Taking taylor expansion of x in t
0.399 * [taylor]: Taking taylor expansion of (log y) in t
0.399 * [taylor]: Taking taylor expansion of y in t
0.399 * [taylor]: Taking taylor expansion of (+ t z) in t
0.399 * [taylor]: Taking taylor expansion of t in t
0.399 * [taylor]: Taking taylor expansion of z in t
0.399 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in z
0.399 * [taylor]: Taking taylor expansion of (* x (log y)) in z
0.399 * [taylor]: Taking taylor expansion of x in z
0.399 * [taylor]: Taking taylor expansion of (log y) in z
0.399 * [taylor]: Taking taylor expansion of y in z
0.399 * [taylor]: Taking taylor expansion of (+ t z) in z
0.399 * [taylor]: Taking taylor expansion of t in z
0.399 * [taylor]: Taking taylor expansion of z in z
0.399 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in y
0.399 * [taylor]: Taking taylor expansion of (* x (log y)) in y
0.399 * [taylor]: Taking taylor expansion of x in y
0.399 * [taylor]: Taking taylor expansion of (log y) in y
0.399 * [taylor]: Taking taylor expansion of y in y
0.399 * [taylor]: Taking taylor expansion of (+ t z) in y
0.399 * [taylor]: Taking taylor expansion of t in y
0.399 * [taylor]: Taking taylor expansion of z in y
0.399 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in x
0.399 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.400 * [taylor]: Taking taylor expansion of x in x
0.400 * [taylor]: Taking taylor expansion of (log y) in x
0.400 * [taylor]: Taking taylor expansion of y in x
0.400 * [taylor]: Taking taylor expansion of (+ t z) in x
0.400 * [taylor]: Taking taylor expansion of t in x
0.400 * [taylor]: Taking taylor expansion of z in x
0.400 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (+ t z)) in x
0.400 * [taylor]: Taking taylor expansion of (* x (log y)) in x
0.400 * [taylor]: Taking taylor expansion of x in x
0.400 * [taylor]: Taking taylor expansion of (log y) in x
0.400 * [taylor]: Taking taylor expansion of y in x
0.400 * [taylor]: Taking taylor expansion of (+ t z) in x
0.400 * [taylor]: Taking taylor expansion of t in x
0.400 * [taylor]: Taking taylor expansion of z in x
0.400 * [taylor]: Taking taylor expansion of (+ t z) in y
0.400 * [taylor]: Taking taylor expansion of t in y
0.400 * [taylor]: Taking taylor expansion of z in y
0.400 * [taylor]: Taking taylor expansion of (+ t z) in z
0.400 * [taylor]: Taking taylor expansion of t in z
0.400 * [taylor]: Taking taylor expansion of z in z
0.400 * [taylor]: Taking taylor expansion of t in t
0.401 * [taylor]: Taking taylor expansion of (log y) in y
0.401 * [taylor]: Taking taylor expansion of y in y
0.402 * [taylor]: Taking taylor expansion of (log y) in z
0.402 * [taylor]: Taking taylor expansion of y in z
0.402 * [taylor]: Taking taylor expansion of (log y) in t
0.402 * [taylor]: Taking taylor expansion of y in t
0.402 * [taylor]: Taking taylor expansion of 0 in z
0.402 * [taylor]: Taking taylor expansion of 0 in t
0.403 * [taylor]: Taking taylor expansion of 1 in t
0.404 * [approximate]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in (x y z t) around 0
0.404 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in t
0.404 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t
0.404 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t
0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.404 * [taylor]: Taking taylor expansion of y in t
0.404 * [taylor]: Taking taylor expansion of x in t
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in t
0.404 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.404 * [taylor]: Taking taylor expansion of z in t
0.404 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.404 * [taylor]: Taking taylor expansion of t in t
0.404 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in z
0.404 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z
0.404 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.404 * [taylor]: Taking taylor expansion of y in z
0.404 * [taylor]: Taking taylor expansion of x in z
0.404 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.404 * [taylor]: Taking taylor expansion of z in z
0.405 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.405 * [taylor]: Taking taylor expansion of t in z
0.405 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in y
0.405 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
0.405 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.405 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.405 * [taylor]: Taking taylor expansion of y in y
0.405 * [taylor]: Taking taylor expansion of x in y
0.406 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y
0.406 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.406 * [taylor]: Taking taylor expansion of z in y
0.406 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.406 * [taylor]: Taking taylor expansion of t in y
0.406 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in x
0.406 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.406 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.406 * [taylor]: Taking taylor expansion of y in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.406 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.406 * [taylor]: Taking taylor expansion of z in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.406 * [taylor]: Taking taylor expansion of t in x
0.406 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 t))) in x
0.406 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
0.406 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
0.406 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.406 * [taylor]: Taking taylor expansion of y in x
0.406 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.407 * [taylor]: Taking taylor expansion of z in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.407 * [taylor]: Taking taylor expansion of t in x
0.407 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
0.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.407 * [taylor]: Taking taylor expansion of y in y
0.408 * [taylor]: Taking taylor expansion of (- (log y)) in z
0.408 * [taylor]: Taking taylor expansion of (log y) in z
0.408 * [taylor]: Taking taylor expansion of y in z
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.409 * [taylor]: Taking taylor expansion of z in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.409 * [taylor]: Taking taylor expansion of t in y
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.409 * [taylor]: Taking taylor expansion of z in z
0.409 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.409 * [taylor]: Taking taylor expansion of t in z
0.410 * [taylor]: Taking taylor expansion of 1 in t
0.411 * [taylor]: Taking taylor expansion of 0 in z
0.411 * [taylor]: Taking taylor expansion of (- (log y)) in t
0.411 * [taylor]: Taking taylor expansion of (log y) in t
0.411 * [taylor]: Taking taylor expansion of y in t
0.414 * [taylor]: Taking taylor expansion of 0 in y
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.414 * [taylor]: Taking taylor expansion of 0 in z
0.416 * [taylor]: Taking taylor expansion of 0 in z
0.417 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.417 * [taylor]: Taking taylor expansion of t in t
0.417 * [taylor]: Taking taylor expansion of 0 in t
0.418 * [taylor]: Taking taylor expansion of 0 in t
0.422 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in (x y z t) around 0
0.422 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in t
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in t
0.422 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.422 * [taylor]: Taking taylor expansion of z in t
0.422 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in t
0.422 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t
0.422 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t
0.422 * [taylor]: Taking taylor expansion of (/ -1 y) in t
0.422 * [taylor]: Taking taylor expansion of -1 in t
0.422 * [taylor]: Taking taylor expansion of y in t
0.422 * [taylor]: Taking taylor expansion of x in t
0.422 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.422 * [taylor]: Taking taylor expansion of t in t
0.422 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in z
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in z
0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.423 * [taylor]: Taking taylor expansion of z in z
0.423 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in z
0.423 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z
0.423 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z
0.423 * [taylor]: Taking taylor expansion of (/ -1 y) in z
0.423 * [taylor]: Taking taylor expansion of -1 in z
0.423 * [taylor]: Taking taylor expansion of y in z
0.423 * [taylor]: Taking taylor expansion of x in z
0.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.423 * [taylor]: Taking taylor expansion of t in z
0.423 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in y
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in y
0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.423 * [taylor]: Taking taylor expansion of z in y
0.423 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in y
0.423 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
0.423 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.423 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.423 * [taylor]: Taking taylor expansion of -1 in y
0.423 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of x in y
0.425 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.425 * [taylor]: Taking taylor expansion of t in y
0.425 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in x
0.425 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in x
0.425 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.425 * [taylor]: Taking taylor expansion of z in x
0.425 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in x
0.425 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.425 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.425 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.425 * [taylor]: Taking taylor expansion of -1 in x
0.425 * [taylor]: Taking taylor expansion of y in x
0.425 * [taylor]: Taking taylor expansion of x in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.426 * [taylor]: Taking taylor expansion of t in x
0.426 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t)))) in x
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ (log (/ -1 y)) x) (/ 1 t))) in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.426 * [taylor]: Taking taylor expansion of z in x
0.426 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (/ 1 t)) in x
0.426 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
0.426 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
0.426 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.426 * [taylor]: Taking taylor expansion of -1 in x
0.426 * [taylor]: Taking taylor expansion of y in x
0.426 * [taylor]: Taking taylor expansion of x in x
0.426 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.426 * [taylor]: Taking taylor expansion of t in x
0.426 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y
0.426 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
0.426 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.426 * [taylor]: Taking taylor expansion of -1 in y
0.426 * [taylor]: Taking taylor expansion of y in y
0.428 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z
0.428 * [taylor]: Taking taylor expansion of (log y) in z
0.428 * [taylor]: Taking taylor expansion of y in z
0.428 * [taylor]: Taking taylor expansion of (log -1) in z
0.428 * [taylor]: Taking taylor expansion of -1 in z
0.429 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 t))) in y
0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in y
0.429 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.429 * [taylor]: Taking taylor expansion of z in y
0.429 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.430 * [taylor]: Taking taylor expansion of t in y
0.430 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 t))) in z
0.430 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 t)) in z
0.430 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.430 * [taylor]: Taking taylor expansion of z in z
0.430 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.430 * [taylor]: Taking taylor expansion of t in z
0.431 * [taylor]: Taking taylor expansion of -1 in t
0.432 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t
0.433 * [taylor]: Taking taylor expansion of (log y) in t
0.433 * [taylor]: Taking taylor expansion of y in t
0.433 * [taylor]: Taking taylor expansion of (log -1) in t
0.433 * [taylor]: Taking taylor expansion of -1 in t
0.436 * [taylor]: Taking taylor expansion of 0 in y
0.437 * [taylor]: Taking taylor expansion of 0 in z
0.437 * [taylor]: Taking taylor expansion of 0 in z
0.439 * [taylor]: Taking taylor expansion of 0 in z
0.440 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.440 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.440 * [taylor]: Taking taylor expansion of t in t
0.441 * [taylor]: Taking taylor expansion of 0 in t
0.443 * [taylor]: Taking taylor expansion of 0 in t
0.445 * * * [progress]: simplifying candidates
0.446 * [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))
  (* (- b 0.5) (log c))
  (+ (log (- b 0.5)) (log (log c)))
  (log (* (- b 0.5) (log c)))
  (exp (* (- b 0.5) (log c)))
  (* (* (* (- b 0.5) (- b 0.5)) (- b 0.5)) (* (* (log c) (log c)) (log c)))
  (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c))))
  (cbrt (* (- b 0.5) (log c)))
  (* (* (* (- b 0.5) (log c)) (* (- b 0.5) (log c))) (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (- b 0.5) (log (* (cbrt c) (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log 1))
  (* (- b 0.5) (log c))
  (* (log (* (cbrt c) (cbrt c))) (- b 0.5))
  (* (log (cbrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log (sqrt c)) (- b 0.5))
  (* (log 1) (- b 0.5))
  (* (log c) (- b 0.5))
  (* (- b 0.5) 1)
  (* (- b 0.5) (* (cbrt (log c)) (cbrt (log c))))
  (* (- b 0.5) (sqrt (log c)))
  (* (- b 0.5) 1)
  (* (cbrt (- b 0.5)) (log c))
  (* (sqrt (- b 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (sqrt b) (sqrt 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (pow b 3) (pow 0.5 3)) (log c))
  (* (- (* b b) (* 0.5 0.5)) (log c))
  (* (exp (* x (log y))) (exp z))
  (log (+ (* x (log y)) z))
  (exp (+ (* x (log y)) z))
  (* (cbrt (+ (* x (log y)) z)) (cbrt (+ (* x (log y)) z)))
  (cbrt (+ (* x (log y)) z))
  (* (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (+ (* x (log y)) z))
  (sqrt (+ (* x (log y)) z))
  (sqrt (+ (* x (log y)) z))
  (+ (pow (* x (log y)) 3) (pow z 3))
  (+ (* (* x (log y)) (* x (log y))) (- (* z z) (* (* x (log y)) z)))
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (- (* x (log y)) z)
  (+ (* x (log (cbrt y))) z)
  (+ (* x (log (sqrt y))) z)
  (+ (* x (log y)) z)
  (+ (* (log (cbrt y)) x) z)
  (+ (* (log (sqrt y)) x) z)
  (+ (* (log y) x) z)
  (* (* (exp (* x (log y))) (exp z)) (exp t))
  (* (exp (+ (* x (log y)) z)) (exp t))
  (log (+ (+ (* x (log y)) z) t))
  (exp (+ (+ (* x (log y)) z) t))
  (* (cbrt (+ (+ (* x (log y)) z) t)) (cbrt (+ (+ (* x (log y)) z) t)))
  (cbrt (+ (+ (* x (log y)) z) t))
  (* (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (+ (+ (* x (log y)) z) t))
  (sqrt (+ (+ (* x (log y)) z) t))
  (sqrt (+ (+ (* x (log y)) z) t))
  (+ (pow (+ (* x (log y)) z) 3) (pow t 3))
  (+ (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (- (* t t) (* (+ (* x (log y)) z) t)))
  (- (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (* t t))
  (- (+ (* x (log y)) z) t)
  (+ (+ (* x (log y)) z) t)
  (+ z t)
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
  (- (* (log c) b) (* 0.5 (log c)))
  (- (* 0.5 (log (/ 1 c))) (* (log (/ 1 c)) b))
  (- (+ (* 0.5 (log (/ -1 c))) (* (log -1) b)) (+ (* 0.5 (log -1)) (* (log (/ -1 c)) b)))
  (+ (* x (log y)) z)
  (- z (* x (log (/ 1 y))))
  (- (+ z (* (log -1) x)) (* x (log (/ -1 y))))
  (+ (* x (log y)) (+ t z))
  (- (+ t z) (* x (log (/ 1 y))))
  (- (+ t (+ (* (log -1) x) z)) (* x (log (/ -1 y))))
0.451 * * [simplify]: iteration  0 :  409  enodes  (cost  505 )
0.458 * * [simplify]: iteration  1 :  1422  enodes  (cost  455 )
0.483 * * [simplify]: iteration  2 :  5001  enodes  (cost  433 )
0.485 * [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))
  (* (- b 0.5) (log c))
  (log (* (- b 0.5) (log c)))
  (log (* (- b 0.5) (log c)))
  (pow c (- b 0.5))
  (pow (* (- b 0.5) (log c)) 3)
  (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c))))
  (cbrt (* (- b 0.5) (log c)))
  (pow (* (- b 0.5) (log c)) 3)
  (sqrt (* (- b 0.5) (log c)))
  (sqrt (* (- b 0.5) (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (sqrt (- b 0.5)) (sqrt (log c)))
  (* (- b 0.5) (* 2 (log (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  0
  (* (- b 0.5) (log c))
  (* (- b 0.5) (* 2 (log (cbrt c))))
  (* (- b 0.5) (log (cbrt c)))
  (* (- b 0.5) (log (sqrt c)))
  (* (- b 0.5) (log (sqrt c)))
  0
  (* (- b 0.5) (log c))
  (- b 0.5)
  (* (- b 0.5) (* (cbrt (log c)) (cbrt (log c))))
  (* (- b 0.5) (sqrt (log c)))
  (- b 0.5)
  (* (cbrt (- b 0.5)) (log c))
  (* (sqrt (- b 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (sqrt b) (sqrt 0.5)) (log c))
  (* (- b 0.5) (log c))
  (* (- (pow b 3) (pow 0.5 3)) (log c))
  (* (- (* b b) (* 0.5 0.5)) (log c))
  (exp (+ (* x (log y)) z))
  (log (+ (* x (log y)) z))
  (exp (+ (* x (log y)) z))
  (* (cbrt (+ (* x (log y)) z)) (cbrt (+ (* x (log y)) z)))
  (cbrt (+ (* x (log y)) z))
  (pow (+ (* x (log y)) z) 3)
  (sqrt (+ (* x (log y)) z))
  (sqrt (+ (* x (log y)) z))
  (+ (pow (* x (log y)) 3) (pow z 3))
  (+ (* z (- z (* x (log y)))) (* (* x (log y)) (* x (log y))))
  (- (* (* x (log y)) (* x (log y))) (* z z))
  (- (* x (log y)) z)
  (+ (* (log (cbrt y)) x) z)
  (+ (* (log (sqrt y)) x) z)
  (+ (* (log y) x) z)
  (+ (* (log (cbrt y)) x) z)
  (+ (* (log (sqrt y)) x) z)
  (+ (* (log y) x) z)
  (* (exp (+ z t)) (pow y x))
  (* (exp (+ z t)) (pow y x))
  (log (+ (+ (* x (log y)) z) t))
  (* (exp (+ z t)) (pow y x))
  (* (cbrt (+ (+ (* x (log y)) z) t)) (cbrt (+ (+ (* x (log y)) z) t)))
  (cbrt (+ (+ (* x (log y)) z) t))
  (pow (+ (* x (log y)) (+ t z)) 3)
  (sqrt (+ (+ (* x (log y)) z) t))
  (sqrt (+ (+ (* x (log y)) z) t))
  (+ (pow (+ (* x (log y)) z) 3) (pow t 3))
  (+ (* t (- t (+ (* x (log y)) z))) (* (+ (* x (log y)) z) (+ (* x (log y)) z)))
  (- (* (+ (* x (log y)) z) (+ (* x (log y)) z)) (* t t))
  (- (+ (* x (log y)) z) t)
  (+ (+ (* x (log y)) t) z)
  (+ z t)
  (* x (log y))
  (* x (log y))
  (* x (log y))
  (* (- b 0.5) (log c))
  (* (- b 0.5) (log c))
  (- (* (log -1) (- b 0.5)) (- (* (log (/ -1 c)) b) (* 0.5 (log (/ -1 c)))))
  (+ (* (log y) x) z)
  (+ (* (log y) x) z)
  (+ (* (log y) x) z)
  (+ (+ (* x (log y)) t) z)
  (+ (+ (* x (log y)) t) z)
  (+ (+ (* x (log y)) t) z)
0.486 * * * [progress]: adding candidates to table
0.802 * * [progress]: iteration 2 / 4
0.802 * * * [progress]: picking best candidate
0.825 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (* y i)))>
0.825 * * * [progress]: localizing error
0.851 * * * [progress]: generating rewritten candidates
0.851 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1)
0.852 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1)
0.852 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.877 * * * [progress]: generating series expansions
0.877 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1)
0.877 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
0.877 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
0.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
0.877 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
0.877 * [taylor]: Taking taylor expansion of 1/3 in c
0.877 * [taylor]: Taking taylor expansion of (log c) in c
0.877 * [taylor]: Taking taylor expansion of c in c
0.878 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
0.878 * [taylor]: Taking taylor expansion of 1/3 in c
0.878 * [taylor]: Taking taylor expansion of (log c) in c
0.878 * [taylor]: Taking taylor expansion of c in c
0.933 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
0.933 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
0.933 * [taylor]: Taking taylor expansion of 1/3 in c
0.933 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.933 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.933 * [taylor]: Taking taylor expansion of c in c
0.934 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
0.934 * [taylor]: Taking taylor expansion of 1/3 in c
0.934 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.934 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.934 * [taylor]: Taking taylor expansion of c in c
0.986 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
0.986 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
0.986 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.986 * [taylor]: Taking taylor expansion of -1 in c
0.987 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
0.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
0.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
0.987 * [taylor]: Taking taylor expansion of 1/3 in c
0.987 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.987 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.987 * [taylor]: Taking taylor expansion of c in c
0.988 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
0.988 * [taylor]: Taking taylor expansion of (cbrt -1) in c
0.988 * [taylor]: Taking taylor expansion of -1 in c
0.989 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
0.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
0.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
0.989 * [taylor]: Taking taylor expansion of 1/3 in c
0.989 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
0.989 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.989 * [taylor]: Taking taylor expansion of c in c
1.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1)
1.056 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
1.056 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.056 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.056 * [taylor]: Taking taylor expansion of 1/3 in c
1.056 * [taylor]: Taking taylor expansion of (log c) in c
1.056 * [taylor]: Taking taylor expansion of c in c
1.056 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.056 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.056 * [taylor]: Taking taylor expansion of 1/3 in c
1.056 * [taylor]: Taking taylor expansion of (log c) in c
1.056 * [taylor]: Taking taylor expansion of c in c
1.110 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
1.110 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.110 * [taylor]: Taking taylor expansion of 1/3 in c
1.110 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.110 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.110 * [taylor]: Taking taylor expansion of c in c
1.111 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.111 * [taylor]: Taking taylor expansion of 1/3 in c
1.111 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.111 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.111 * [taylor]: Taking taylor expansion of c in c
1.167 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
1.167 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.167 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.167 * [taylor]: Taking taylor expansion of -1 in c
1.168 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.168 * [taylor]: Taking taylor expansion of 1/3 in c
1.168 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.168 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.168 * [taylor]: Taking taylor expansion of c in c
1.169 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.169 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.169 * [taylor]: Taking taylor expansion of -1 in c
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.169 * [taylor]: Taking taylor expansion of 1/3 in c
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.169 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.170 * [taylor]: Taking taylor expansion of c in c
1.236 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.236 * [approximate]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in (b c) around 0
1.236 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in c
1.236 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in c
1.236 * [taylor]: Taking taylor expansion of 3 in c
1.236 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in c
1.236 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.236 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.236 * [taylor]: Taking taylor expansion of 1/3 in c
1.236 * [taylor]: Taking taylor expansion of (log c) in c
1.236 * [taylor]: Taking taylor expansion of c in c
1.237 * [taylor]: Taking taylor expansion of b in c
1.237 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.237 * [taylor]: Taking taylor expansion of 1.5 in c
1.237 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.237 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.237 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.237 * [taylor]: Taking taylor expansion of 1/3 in c
1.237 * [taylor]: Taking taylor expansion of (log c) in c
1.237 * [taylor]: Taking taylor expansion of c in c
1.238 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.238 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.238 * [taylor]: Taking taylor expansion of 3 in b
1.238 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.238 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.238 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.238 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.238 * [taylor]: Taking taylor expansion of 1/3 in b
1.238 * [taylor]: Taking taylor expansion of (log c) in b
1.238 * [taylor]: Taking taylor expansion of c in b
1.238 * [taylor]: Taking taylor expansion of b in b
1.238 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.238 * [taylor]: Taking taylor expansion of 1.5 in b
1.238 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.238 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.238 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.238 * [taylor]: Taking taylor expansion of 1/3 in b
1.238 * [taylor]: Taking taylor expansion of (log c) in b
1.238 * [taylor]: Taking taylor expansion of c in b
1.239 * [taylor]: Taking taylor expansion of (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3)))) in b
1.239 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow c 1/3)) b)) in b
1.239 * [taylor]: Taking taylor expansion of 3 in b
1.239 * [taylor]: Taking taylor expansion of (* (log (pow c 1/3)) b) in b
1.239 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.239 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.239 * [taylor]: Taking taylor expansion of 1/3 in b
1.239 * [taylor]: Taking taylor expansion of (log c) in b
1.239 * [taylor]: Taking taylor expansion of c in b
1.239 * [taylor]: Taking taylor expansion of b in b
1.239 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in b
1.239 * [taylor]: Taking taylor expansion of 1.5 in b
1.239 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in b
1.239 * [taylor]: Taking taylor expansion of (pow c 1/3) in b
1.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in b
1.239 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in b
1.239 * [taylor]: Taking taylor expansion of 1/3 in b
1.239 * [taylor]: Taking taylor expansion of (log c) in b
1.239 * [taylor]: Taking taylor expansion of c in b
1.240 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (pow c 1/3)))) in c
1.240 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow c 1/3))) in c
1.240 * [taylor]: Taking taylor expansion of 1.5 in c
1.240 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.240 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.240 * [taylor]: Taking taylor expansion of 1/3 in c
1.240 * [taylor]: Taking taylor expansion of (log c) in c
1.240 * [taylor]: Taking taylor expansion of c in c
1.246 * [taylor]: Taking taylor expansion of (* 3 (log (pow c 1/3))) in c
1.246 * [taylor]: Taking taylor expansion of 3 in c
1.246 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
1.246 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
1.246 * [taylor]: Taking taylor expansion of 1/3 in c
1.246 * [taylor]: Taking taylor expansion of (log c) in c
1.246 * [taylor]: Taking taylor expansion of c in c
1.259 * [taylor]: Taking taylor expansion of 0 in c
1.280 * [taylor]: Taking taylor expansion of 0 in c
1.280 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in (b c) around 0
1.280 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.280 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in c
1.280 * [taylor]: Taking taylor expansion of 3 in c
1.280 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in c
1.280 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.280 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.280 * [taylor]: Taking taylor expansion of 1/3 in c
1.280 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.280 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.280 * [taylor]: Taking taylor expansion of c in c
1.281 * [taylor]: Taking taylor expansion of b in c
1.282 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.282 * [taylor]: Taking taylor expansion of 1.5 in c
1.282 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.282 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.282 * [taylor]: Taking taylor expansion of 1/3 in c
1.282 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.282 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.282 * [taylor]: Taking taylor expansion of c in c
1.283 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.283 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.283 * [taylor]: Taking taylor expansion of 3 in b
1.283 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.283 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.283 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.283 * [taylor]: Taking taylor expansion of 1/3 in b
1.283 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.283 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.283 * [taylor]: Taking taylor expansion of c in b
1.283 * [taylor]: Taking taylor expansion of b in b
1.283 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.283 * [taylor]: Taking taylor expansion of 1.5 in b
1.283 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.283 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.283 * [taylor]: Taking taylor expansion of 1/3 in b
1.283 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.283 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.283 * [taylor]: Taking taylor expansion of c in b
1.284 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) (* 1.5 (log (pow (/ 1 c) 1/3)))) in b
1.284 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 c) 1/3)) b)) in b
1.284 * [taylor]: Taking taylor expansion of 3 in b
1.284 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/3)) b) in b
1.284 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.284 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.284 * [taylor]: Taking taylor expansion of 1/3 in b
1.284 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.284 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.284 * [taylor]: Taking taylor expansion of c in b
1.284 * [taylor]: Taking taylor expansion of b in b
1.284 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in b
1.284 * [taylor]: Taking taylor expansion of 1.5 in b
1.284 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in b
1.284 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.284 * [taylor]: Taking taylor expansion of 1/3 in b
1.284 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.284 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.284 * [taylor]: Taking taylor expansion of c in b
1.285 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 c) 1/3))) in c
1.285 * [taylor]: Taking taylor expansion of 3 in c
1.285 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.285 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.285 * [taylor]: Taking taylor expansion of 1/3 in c
1.285 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.285 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.285 * [taylor]: Taking taylor expansion of c in c
1.289 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (pow (/ 1 c) 1/3)))) in c
1.289 * [taylor]: Taking taylor expansion of (* 1.5 (log (pow (/ 1 c) 1/3))) in c
1.289 * [taylor]: Taking taylor expansion of 1.5 in c
1.289 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
1.289 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.290 * [taylor]: Taking taylor expansion of 1/3 in c
1.290 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.290 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.290 * [taylor]: Taking taylor expansion of c in c
1.303 * [taylor]: Taking taylor expansion of 0 in c
1.327 * [taylor]: Taking taylor expansion of 0 in c
1.327 * [approximate]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in (b c) around 0
1.327 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in c
1.327 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.328 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in c
1.328 * [taylor]: Taking taylor expansion of 3 in c
1.328 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in c
1.328 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.328 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.328 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.328 * [taylor]: Taking taylor expansion of -1 in c
1.328 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.328 * [taylor]: Taking taylor expansion of 1/3 in c
1.328 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.328 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.328 * [taylor]: Taking taylor expansion of c in c
1.330 * [taylor]: Taking taylor expansion of b in c
1.330 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.331 * [taylor]: Taking taylor expansion of 1.5 in c
1.331 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.331 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.331 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.331 * [taylor]: Taking taylor expansion of -1 in c
1.331 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.331 * [taylor]: Taking taylor expansion of 1/3 in c
1.331 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.331 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.331 * [taylor]: Taking taylor expansion of c in c
1.333 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in b
1.333 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in b
1.333 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.333 * [taylor]: Taking taylor expansion of 3 in b
1.333 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.333 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.333 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.333 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.333 * [taylor]: Taking taylor expansion of -1 in b
1.334 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.334 * [taylor]: Taking taylor expansion of 1/3 in b
1.334 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.334 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.334 * [taylor]: Taking taylor expansion of c in b
1.335 * [taylor]: Taking taylor expansion of b in b
1.335 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.335 * [taylor]: Taking taylor expansion of 1.5 in b
1.335 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.335 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.335 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.335 * [taylor]: Taking taylor expansion of -1 in b
1.336 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.336 * [taylor]: Taking taylor expansion of 1/3 in b
1.336 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.336 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.336 * [taylor]: Taking taylor expansion of c in b
1.337 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))))) in b
1.337 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in b
1.337 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b)) in b
1.337 * [taylor]: Taking taylor expansion of 3 in b
1.337 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 c) 1/3))) b) in b
1.337 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.337 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.337 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.337 * [taylor]: Taking taylor expansion of -1 in b
1.338 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.338 * [taylor]: Taking taylor expansion of 1/3 in b
1.338 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.338 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.338 * [taylor]: Taking taylor expansion of c in b
1.339 * [taylor]: Taking taylor expansion of b in b
1.340 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in b
1.340 * [taylor]: Taking taylor expansion of 1.5 in b
1.340 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in b
1.340 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in b
1.340 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.340 * [taylor]: Taking taylor expansion of -1 in b
1.340 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in b
1.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in b
1.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in b
1.340 * [taylor]: Taking taylor expansion of 1/3 in b
1.340 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
1.341 * [taylor]: Taking taylor expansion of (/ 1 c) in b
1.341 * [taylor]: Taking taylor expansion of c in b
1.343 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.343 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.343 * [taylor]: Taking taylor expansion of 3 in c
1.343 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.343 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.343 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.343 * [taylor]: Taking taylor expansion of -1 in c
1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.344 * [taylor]: Taking taylor expansion of 1/3 in c
1.344 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.344 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.344 * [taylor]: Taking taylor expansion of c in c
1.352 * [taylor]: Taking taylor expansion of (- (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3))))) in c
1.352 * [taylor]: Taking taylor expansion of (* 1.5 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
1.352 * [taylor]: Taking taylor expansion of 1.5 in c
1.352 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
1.352 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
1.352 * [taylor]: Taking taylor expansion of (cbrt -1) in c
1.352 * [taylor]: Taking taylor expansion of -1 in c
1.353 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
1.353 * [taylor]: Taking taylor expansion of 1/3 in c
1.353 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
1.353 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.353 * [taylor]: Taking taylor expansion of c in c
1.372 * [taylor]: Taking taylor expansion of 0 in c
1.403 * [taylor]: Taking taylor expansion of 0 in c
1.405 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
1.405 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
1.405 * [taylor]: Taking taylor expansion of (* x (log y)) in y
1.405 * [taylor]: Taking taylor expansion of x in y
1.405 * [taylor]: Taking taylor expansion of (log y) in y
1.405 * [taylor]: Taking taylor expansion of y in y
1.405 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (log y) in x
1.405 * [taylor]: Taking taylor expansion of y in x
1.405 * [taylor]: Taking taylor expansion of (* x (log y)) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of (log y) in x
1.405 * [taylor]: Taking taylor expansion of y in x
1.405 * [taylor]: Taking taylor expansion of 0 in y
1.411 * [taylor]: Taking taylor expansion of (log y) in y
1.411 * [taylor]: Taking taylor expansion of y in y
1.414 * [taylor]: Taking taylor expansion of 0 in y
1.417 * [taylor]: Taking taylor expansion of 0 in y
1.417 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
1.417 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
1.417 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.417 * [taylor]: Taking taylor expansion of y in y
1.418 * [taylor]: Taking taylor expansion of x in y
1.419 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.419 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.419 * [taylor]: Taking taylor expansion of y in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
1.419 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.419 * [taylor]: Taking taylor expansion of y in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
1.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.419 * [taylor]: Taking taylor expansion of y in y
1.421 * [taylor]: Taking taylor expansion of 0 in y
1.424 * [taylor]: Taking taylor expansion of 0 in y
1.429 * [taylor]: Taking taylor expansion of 0 in y
1.430 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
1.430 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
1.430 * [taylor]: Taking taylor expansion of -1 in y
1.430 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
1.430 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.430 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.430 * [taylor]: Taking taylor expansion of -1 in y
1.430 * [taylor]: Taking taylor expansion of y in y
1.430 * [taylor]: Taking taylor expansion of x in y
1.432 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.432 * [taylor]: Taking taylor expansion of -1 in x
1.432 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.432 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.432 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.432 * [taylor]: Taking taylor expansion of -1 in x
1.432 * [taylor]: Taking taylor expansion of y in x
1.432 * [taylor]: Taking taylor expansion of x in x
1.432 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
1.432 * [taylor]: Taking taylor expansion of -1 in x
1.432 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
1.432 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
1.432 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.432 * [taylor]: Taking taylor expansion of -1 in x
1.432 * [taylor]: Taking taylor expansion of y in x
1.432 * [taylor]: Taking taylor expansion of x in x
1.432 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
1.432 * [taylor]: Taking taylor expansion of -1 in y
1.432 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
1.432 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.432 * [taylor]: Taking taylor expansion of -1 in y
1.432 * [taylor]: Taking taylor expansion of y in y
1.435 * [taylor]: Taking taylor expansion of 0 in y
1.440 * [taylor]: Taking taylor expansion of 0 in y
1.448 * [taylor]: Taking taylor expansion of 0 in y
1.448 * * * [progress]: simplifying candidates
1.450 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (* (exp (* (- b 0.5) (* 2 (log (cbrt c))))) (exp (* (- b 0.5) (log (cbrt c)))))
  (log (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (exp (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (* (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ b 0.5) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ b 0.5) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ b 0.5) (+ b 0.5))
  (+ (pow (* (- b 0.5) (* 2 (log (cbrt c)))) 3) (pow (* (- b 0.5) (log (cbrt c))) 3))
  (+ (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (- (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c)))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (- (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))) (* (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (log (cbrt c)))))
  (- (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* 2 (log (cbrt c))) (log (cbrt c)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt (* (cbrt c) (cbrt c))))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt 1))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (sqrt (cbrt c)))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log 1)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt (* (cbrt c) (cbrt c)))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt (sqrt c))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (cbrt 1)) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (* (cbrt (cbrt c)) (cbrt (cbrt c)))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log (sqrt (cbrt c))) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (log 1) (- b 0.5)))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (sqrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (sqrt (cbrt c))))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (sqrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (sqrt (cbrt c))) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (- b 0.5) (* (log (cbrt c)) 2)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (sqrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (sqrt (cbrt c)))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* 2 (log (cbrt c))) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (sqrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (sqrt (cbrt c))) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (+ (* (* (log (cbrt c)) 2) (- b 0.5)) (* (- b 0.5) (log (cbrt c))))
  (* 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))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3))))
  (- (* 3 (* b (log (pow (/ 1 c) -1/3)))) (* 1.5 (log (pow (/ 1 c) -1/3))))
  (- (* 3 (* b (log (* (pow (* -1 c) 1/3) (cbrt -1))))) (* 1.5 (log (* (pow (* -1 c) 1/3) (cbrt -1)))))
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
1.456 * * [simplify]: iteration  0 :  549  enodes  (cost  851 )
1.466 * * [simplify]: iteration  1 :  2155  enodes  (cost  729 )
1.508 * * [simplify]: iteration  2 :  5001  enodes  (cost  698 )
1.512 * [simplify]: Simplified to:
   (log (pow c 1/3))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (pow c 1/3)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (log (pow c 1/3))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (pow c 1/3)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  c
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (pow (pow (pow c 1/3) (- b 0.5)) 3)
  (+ (log (- b 0.5)) (log (* 3 (log (cbrt c)))))
  (pow (pow (pow c 1/3) (- b 0.5)) 3)
  (* (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))) (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))))
  (cbrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (pow (* (log c) (- b 0.5)) 3)
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (sqrt (+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c)))))
  (* (+ (* 0.5 (+ 0.5 b)) (* b b)) (+ (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c))) (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c))))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* 2 (log (cbrt c)))) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (- (* b b) (* 0.5 0.5)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c)))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (- (pow b 3) (pow 0.5 3)) (log (cbrt c)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (* (+ b 0.5) (+ (* (- (* b b) (* 0.5 0.5)) (log (cbrt c))) (* (- (* b b) (* 0.5 0.5)) (* 2 (log (cbrt c))))))
  (* (+ b 0.5) (+ b 0.5))
  (* (pow (- b 0.5) 3) (+ (pow (log (cbrt c)) 3) (pow (* 2 (log (cbrt c))) 3)))
  (+ (* (* (- b 0.5) (log (cbrt c))) (- (* (- b 0.5) (log (cbrt c))) (* (- b 0.5) (* 2 (log (cbrt c)))))) (* (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (* 2 (log (cbrt c))))))
  (* (- b 0.5) (* (* 1 (log c)) (* (log (pow c 1/3)) (- (* 2 (- b 0.5)) (- b 0.5)))))
  (* (log (pow c 1/3)) (- (* 2 (- b 0.5)) (- b 0.5)))
  (log c)
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (* (cbrt c) (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt 1))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (cbrt c)))))
  (* (- b 0.5) (* (log (cbrt c)) 2))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (* (cbrt c) (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt 1))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (* (cbrt (cbrt c)) (cbrt (cbrt c))))))
  (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (sqrt (cbrt c)))))
  (* (- b 0.5) (* (log (cbrt c)) 2))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* (- b 0.5) (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt c))))
  (* (- b 0.5) (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt c))))
  (* (log c) (- b 0.5))
  (* 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))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (- (* 3 (* (log (pow c 1/3)) b)) (* 1.5 (log (pow c 1/3))))
  (* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5))
  (* (log (* (pow (* -1 c) 1/3) (cbrt -1))) (- (* 3 b) 1.5))
  (* x (log y))
  (* x (log y))
  (* x (log y))
1.513 * * * [progress]: adding candidates to table
2.119 * * [progress]: iteration 3 / 4
2.119 * * * [progress]: picking best candidate
2.143 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>
2.143 * * * [progress]: localizing error
2.178 * * * [progress]: generating rewritten candidates
2.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
2.179 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1)
2.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 2 1)
2.180 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
2.189 * * * [progress]: generating series expansions
2.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1)
2.189 * [approximate]: Taking taylor expansion of (pow c 1/6) in (c) around 0
2.189 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.189 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.189 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.189 * [taylor]: Taking taylor expansion of 1/6 in c
2.189 * [taylor]: Taking taylor expansion of (log c) in c
2.189 * [taylor]: Taking taylor expansion of c in c
2.190 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.190 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.190 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.190 * [taylor]: Taking taylor expansion of 1/6 in c
2.190 * [taylor]: Taking taylor expansion of (log c) in c
2.190 * [taylor]: Taking taylor expansion of c in c
2.245 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/6) in (c) around 0
2.245 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.245 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.245 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.245 * [taylor]: Taking taylor expansion of 1/6 in c
2.246 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.246 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.246 * [taylor]: Taking taylor expansion of c in c
2.247 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.247 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.247 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.247 * [taylor]: Taking taylor expansion of 1/6 in c
2.247 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.247 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.247 * [taylor]: Taking taylor expansion of c in c
2.299 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in (c) around 0
2.299 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
2.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
2.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
2.299 * [taylor]: Taking taylor expansion of 1/3 in c
2.299 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
2.299 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
2.299 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.299 * [taylor]: Taking taylor expansion of -1 in c
2.299 * [taylor]: Taking taylor expansion of c in c
2.302 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
2.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
2.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
2.303 * [taylor]: Taking taylor expansion of 1/3 in c
2.303 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
2.303 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
2.303 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.303 * [taylor]: Taking taylor expansion of -1 in c
2.303 * [taylor]: Taking taylor expansion of c in c
2.345 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1)
2.345 * [approximate]: Taking taylor expansion of (pow c 1/6) in (c) around 0
2.345 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.345 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.345 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.345 * [taylor]: Taking taylor expansion of 1/6 in c
2.345 * [taylor]: Taking taylor expansion of (log c) in c
2.345 * [taylor]: Taking taylor expansion of c in c
2.345 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.346 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.346 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.346 * [taylor]: Taking taylor expansion of 1/6 in c
2.346 * [taylor]: Taking taylor expansion of (log c) in c
2.346 * [taylor]: Taking taylor expansion of c in c
2.395 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/6) in (c) around 0
2.395 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.395 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.395 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.395 * [taylor]: Taking taylor expansion of 1/6 in c
2.395 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.395 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.395 * [taylor]: Taking taylor expansion of c in c
2.396 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.396 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.396 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.396 * [taylor]: Taking taylor expansion of 1/6 in c
2.396 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.396 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.396 * [taylor]: Taking taylor expansion of c in c
2.455 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in (c) around 0
2.455 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
2.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
2.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
2.455 * [taylor]: Taking taylor expansion of 1/3 in c
2.455 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
2.455 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
2.455 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.455 * [taylor]: Taking taylor expansion of -1 in c
2.455 * [taylor]: Taking taylor expansion of c in c
2.459 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
2.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
2.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
2.459 * [taylor]: Taking taylor expansion of 1/3 in c
2.459 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
2.459 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
2.459 * [taylor]: Taking taylor expansion of (/ -1 c) in c
2.459 * [taylor]: Taking taylor expansion of -1 in c
2.459 * [taylor]: Taking taylor expansion of c in c
2.501 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 2 1)
2.501 * [approximate]: Taking taylor expansion of (pow c 1/3) in (c) around 0
2.501 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.501 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.501 * [taylor]: Taking taylor expansion of 1/3 in c
2.501 * [taylor]: Taking taylor expansion of (log c) in c
2.501 * [taylor]: Taking taylor expansion of c in c
2.501 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.501 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.502 * [taylor]: Taking taylor expansion of 1/3 in c
2.502 * [taylor]: Taking taylor expansion of (log c) in c
2.502 * [taylor]: Taking taylor expansion of c in c
2.551 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/3) in (c) around 0
2.551 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.551 * [taylor]: Taking taylor expansion of 1/3 in c
2.551 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.551 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.551 * [taylor]: Taking taylor expansion of c in c
2.552 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.552 * [taylor]: Taking taylor expansion of 1/3 in c
2.552 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.552 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.552 * [taylor]: Taking taylor expansion of c in c
2.611 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in (c) around 0
2.611 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
2.611 * [taylor]: Taking taylor expansion of (cbrt -1) in c
2.611 * [taylor]: Taking taylor expansion of -1 in c
2.612 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.612 * [taylor]: Taking taylor expansion of 1/3 in c
2.612 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.612 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.612 * [taylor]: Taking taylor expansion of c in c
2.613 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
2.613 * [taylor]: Taking taylor expansion of (cbrt -1) in c
2.613 * [taylor]: Taking taylor expansion of -1 in c
2.614 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.614 * [taylor]: Taking taylor expansion of 1/3 in c
2.614 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.614 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.614 * [taylor]: Taking taylor expansion of c in c
2.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
2.685 * [approximate]: Taking taylor expansion of (+ (* 2 (log (pow c 1/3))) (log (pow c 1/6))) in (c) around 0
2.685 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow c 1/3))) (log (pow c 1/6))) in c
2.685 * [taylor]: Taking taylor expansion of (* 2 (log (pow c 1/3))) in c
2.685 * [taylor]: Taking taylor expansion of 2 in c
2.685 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.685 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.685 * [taylor]: Taking taylor expansion of 1/3 in c
2.685 * [taylor]: Taking taylor expansion of (log c) in c
2.685 * [taylor]: Taking taylor expansion of c in c
2.686 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
2.686 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.686 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.686 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.686 * [taylor]: Taking taylor expansion of 1/6 in c
2.686 * [taylor]: Taking taylor expansion of (log c) in c
2.686 * [taylor]: Taking taylor expansion of c in c
2.687 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow c 1/3))) (log (pow c 1/6))) in c
2.687 * [taylor]: Taking taylor expansion of (* 2 (log (pow c 1/3))) in c
2.687 * [taylor]: Taking taylor expansion of 2 in c
2.687 * [taylor]: Taking taylor expansion of (log (pow c 1/3)) in c
2.687 * [taylor]: Taking taylor expansion of (pow c 1/3) in c
2.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log c))) in c
2.687 * [taylor]: Taking taylor expansion of (* 1/3 (log c)) in c
2.687 * [taylor]: Taking taylor expansion of 1/3 in c
2.687 * [taylor]: Taking taylor expansion of (log c) in c
2.687 * [taylor]: Taking taylor expansion of c in c
2.688 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
2.688 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
2.688 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
2.688 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
2.688 * [taylor]: Taking taylor expansion of 1/6 in c
2.688 * [taylor]: Taking taylor expansion of (log c) in c
2.688 * [taylor]: Taking taylor expansion of c in c
2.843 * [approximate]: Taking taylor expansion of (+ (* 2 (log (pow (/ 1 c) 1/3))) (log (pow (/ 1 c) 1/6))) in (c) around 0
2.843 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (/ 1 c) 1/3))) (log (pow (/ 1 c) 1/6))) in c
2.843 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 c) 1/3))) in c
2.843 * [taylor]: Taking taylor expansion of 2 in c
2.843 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.843 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.843 * [taylor]: Taking taylor expansion of 1/3 in c
2.843 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.843 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.843 * [taylor]: Taking taylor expansion of c in c
2.844 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
2.844 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.844 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.844 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.844 * [taylor]: Taking taylor expansion of 1/6 in c
2.844 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.845 * [taylor]: Taking taylor expansion of c in c
2.845 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (/ 1 c) 1/3))) (log (pow (/ 1 c) 1/6))) in c
2.845 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 c) 1/3))) in c
2.845 * [taylor]: Taking taylor expansion of 2 in c
2.845 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/3)) in c
2.845 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
2.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
2.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
2.846 * [taylor]: Taking taylor expansion of 1/3 in c
2.846 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.846 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.846 * [taylor]: Taking taylor expansion of c in c
2.847 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
2.847 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
2.847 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
2.847 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
2.847 * [taylor]: Taking taylor expansion of 1/6 in c
2.847 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
2.847 * [taylor]: Taking taylor expansion of (/ 1 c) in c
2.847 * [taylor]: Taking taylor expansion of c in c
3.009 * [approximate]: Taking taylor expansion of (+ (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (log (pow (sqrt (/ -1 c)) 1/3))) in (c) around 0
3.009 * [taylor]: Taking taylor expansion of (+ (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (log (pow (sqrt (/ -1 c)) 1/3))) in c
3.009 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
3.009 * [taylor]: Taking taylor expansion of 2 in c
3.009 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
3.009 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
3.009 * [taylor]: Taking taylor expansion of (cbrt -1) in c
3.009 * [taylor]: Taking taylor expansion of -1 in c
3.010 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
3.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
3.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
3.010 * [taylor]: Taking taylor expansion of 1/3 in c
3.010 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.010 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.010 * [taylor]: Taking taylor expansion of c in c
3.012 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
3.012 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
3.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
3.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
3.012 * [taylor]: Taking taylor expansion of 1/3 in c
3.012 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
3.012 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
3.012 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.012 * [taylor]: Taking taylor expansion of -1 in c
3.012 * [taylor]: Taking taylor expansion of c in c
3.016 * [taylor]: Taking taylor expansion of (+ (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) (log (pow (sqrt (/ -1 c)) 1/3))) in c
3.016 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 c) 1/3)))) in c
3.016 * [taylor]: Taking taylor expansion of 2 in c
3.016 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 c) 1/3))) in c
3.016 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 c) 1/3)) in c
3.016 * [taylor]: Taking taylor expansion of (cbrt -1) in c
3.016 * [taylor]: Taking taylor expansion of -1 in c
3.017 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/3) in c
3.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 c)))) in c
3.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 c))) in c
3.017 * [taylor]: Taking taylor expansion of 1/3 in c
3.017 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.017 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.017 * [taylor]: Taking taylor expansion of c in c
3.019 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
3.019 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
3.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
3.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
3.019 * [taylor]: Taking taylor expansion of 1/3 in c
3.019 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
3.019 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
3.019 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.019 * [taylor]: Taking taylor expansion of -1 in c
3.019 * [taylor]: Taking taylor expansion of c in c
3.095 * * * [progress]: simplifying candidates
3.097 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt 1))
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt 1)
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (* (* (cbrt (sqrt c)) (cbrt (sqrt c))) (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt 1))
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt 1)
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (* (* (cbrt (sqrt c)) (cbrt (sqrt c))) (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (log (cbrt c))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  (cbrt 1)
  (cbrt c)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  (* (* (cbrt c) (cbrt c)) (cbrt c))
  (sqrt (cbrt c))
  (sqrt (cbrt c))
  (* (exp (* 2 (log (cbrt c)))) (cbrt (sqrt c)))
  (log (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (exp (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))))
  (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (* (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (sqrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (sqrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (+ (pow (* 2 (log (cbrt c))) 3) (pow (log (cbrt (sqrt c))) 3))
  (+ (* (* 2 (log (cbrt c))) (* 2 (log (cbrt c)))) (- (* (log (cbrt (sqrt c))) (log (cbrt (sqrt c)))) (* (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))))
  (- (* (* 2 (log (cbrt c))) (* 2 (log (cbrt c)))) (* (log (cbrt (sqrt c))) (log (cbrt (sqrt c)))))
  (- (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt (* (cbrt c) (cbrt c))))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt (sqrt c)))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt 1))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt (sqrt c)))))
  (+ (* 2 (log (cbrt c))) (log (cbrt 1)))
  (+ (* 2 (log (cbrt c))) (log (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))))
  (+ (* 2 (log (cbrt c))) (log (sqrt (cbrt (sqrt c)))))
  (+ (* 2 (log (cbrt c))) (log 1))
  (+ (* 2 (log (cbrt (cbrt c)))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (cbrt (sqrt c)))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (cbrt (cbrt c)))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (sqrt (cbrt c)))) (log (cbrt (sqrt c))))
  (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (+ (* (log (cbrt (sqrt c))) 2) (log (cbrt (sqrt c))))
  (+ (* (log (cbrt c)) 2) (log (cbrt (sqrt c))))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (+ (* (log (sqrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (+ (* (log (cbrt c)) 2) (log (cbrt (sqrt c))))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 c))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow c 2)))))))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 c))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow c 2)))))))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (+ (* 2 (log (pow c 1/3))) (log (pow c 1/6)))
  (+ (log (pow (/ 1 c) -1/6)) (* 2 (log (pow (/ 1 c) -1/3))))
  (- (+ (log (pow +nan.0 1/3)) (* 2 (log (* (pow (* -1 c) 1/3) (cbrt -1))))) (+ (* +nan.0 (/ 1 (pow c 2))) (- (* +nan.0 (/ 1 c)))))
3.101 * * [simplify]: iteration  0 :  282  enodes  (cost  529 )
3.106 * * [simplify]: iteration  1 :  791  enodes  (cost  474 )
3.121 * * [simplify]: iteration  2 :  3216  enodes  (cost  449 )
3.198 * * [simplify]: iteration  3 :  5001  enodes  (cost  425 )
3.200 * [simplify]: Simplified to:
   (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  1
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  1
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (sqrt c)
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  1
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  1
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (sqrt c)
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (log (pow c 1/3))
  (exp (cbrt c))
  (cbrt (* (cbrt c) (cbrt c)))
  (cbrt (cbrt c))
  (cbrt (sqrt c))
  (cbrt (sqrt c))
  1
  (pow c 1/3)
  (* (cbrt (cbrt c)) (cbrt (cbrt c)))
  (cbrt (cbrt c))
  c
  (pow c 1/6)
  (pow c 1/6)
  (* (cbrt (sqrt c)) (pow (pow c 1/3) 2))
  (log (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (* (cbrt (sqrt c)) (pow (pow c 1/3) 2))
  (* (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))))
  (cbrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (pow (+ (* (log (cbrt c)) 2) (log (cbrt (sqrt c)))) 3)
  (sqrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (sqrt (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))))
  (+ (pow (* 2 (log (cbrt c))) 3) (pow (log (cbrt (sqrt c))) 3))
  (+ (* (log (cbrt (sqrt c))) (- (log (cbrt (sqrt c))) (* 2 (log (cbrt c))))) (* 4 (* (log (cbrt c)) (log (cbrt c)))))
  (* (- (* 2 (log (cbrt c))) (log (cbrt (sqrt c)))) (+ (log (cbrt (sqrt c))) (* 2/3 (log c))))
  (- (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))
  (+ (* 2/3 (log c)) (log (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))))
  (+ (* 2/3 (log c)) (log (cbrt (sqrt (* (cbrt c) (cbrt c))))))
  (+ (* 2/3 (log c)) (log (cbrt (sqrt (sqrt c)))))
  (* 2/3 (log c))
  (+ (* 2/3 (log c)) (log (cbrt (sqrt (sqrt c)))))
  (* 2/3 (log c))
  (+ (* 2/3 (log c)) (* 2 (log (cbrt (cbrt (sqrt c))))))
  (+ (* 2/3 (log c)) (log (sqrt (cbrt (sqrt c)))))
  (* 2/3 (log c))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (log (pow c 1/2))
  (+ (log (cbrt (sqrt c))) (* 2/3 (log c)))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (+ (log (cbrt (sqrt c))) (log (pow c 1/3)))
  (+ (log (cbrt (sqrt c))) (* 2/3 (log c)))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (log (pow c 1/2))
  (+ (log (cbrt (sqrt c))) (* 2/3 (log c)))
  (+ (* (log (cbrt (cbrt c))) 2) (log (cbrt (sqrt c))))
  (+ (log (cbrt (sqrt c))) (log (pow c 1/3)))
  (+ (log (cbrt (sqrt c))) (* 2/3 (log c)))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (+ (/ (/ (pow +nan.0 4/3) c) c) (* (pow +nan.0 1/3) (- 1 (/ +nan.0 c))))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (+ (/ (/ (pow +nan.0 4/3) c) c) (* (pow +nan.0 1/3) (- 1 (/ +nan.0 c))))
  (pow c 1/3)
  (pow (/ 1 c) -1/3)
  (* (pow (* -1 c) 1/3) (cbrt -1))
  (* (log c) 5/6)
  (* (log (/ 1 c)) -5/6)
  (- (+ (log (pow +nan.0 1/3)) (* 2 (log (* (pow (* -1 c) 1/3) (cbrt -1))))) (- (/ (/ +nan.0 c) c) (/ +nan.0 c)))
3.201 * * * [progress]: adding candidates to table
3.742 * * [progress]: iteration 4 / 4
3.742 * * * [progress]: picking best candidate
3.762 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>
3.763 * * * [progress]: localizing error
3.796 * * * [progress]: generating rewritten candidates
3.796 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1)
3.797 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
3.801 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
3.819 * * * [progress]: generating series expansions
3.819 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1)
3.819 * [approximate]: Taking taylor expansion of (pow c 1/6) in (c) around 0
3.819 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
3.820 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
3.820 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
3.820 * [taylor]: Taking taylor expansion of 1/6 in c
3.820 * [taylor]: Taking taylor expansion of (log c) in c
3.820 * [taylor]: Taking taylor expansion of c in c
3.821 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
3.821 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
3.821 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
3.821 * [taylor]: Taking taylor expansion of 1/6 in c
3.821 * [taylor]: Taking taylor expansion of (log c) in c
3.821 * [taylor]: Taking taylor expansion of c in c
3.877 * [approximate]: Taking taylor expansion of (pow (/ 1 c) 1/6) in (c) around 0
3.877 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
3.877 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
3.877 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
3.877 * [taylor]: Taking taylor expansion of 1/6 in c
3.877 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.877 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.877 * [taylor]: Taking taylor expansion of c in c
3.878 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
3.878 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
3.878 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
3.878 * [taylor]: Taking taylor expansion of 1/6 in c
3.878 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.878 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.878 * [taylor]: Taking taylor expansion of c in c
3.931 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in (c) around 0
3.931 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
3.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
3.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
3.932 * [taylor]: Taking taylor expansion of 1/3 in c
3.932 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
3.932 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
3.932 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.932 * [taylor]: Taking taylor expansion of -1 in c
3.932 * [taylor]: Taking taylor expansion of c in c
3.941 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
3.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
3.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
3.941 * [taylor]: Taking taylor expansion of 1/3 in c
3.941 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
3.941 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
3.941 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.941 * [taylor]: Taking taylor expansion of -1 in c
3.941 * [taylor]: Taking taylor expansion of c in c
3.977 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2)
3.977 * [approximate]: Taking taylor expansion of (* -5/6 (log (/ 1 c))) in (c) around 0
3.977 * [taylor]: Taking taylor expansion of (* -5/6 (log (/ 1 c))) in c
3.977 * [taylor]: Taking taylor expansion of -5/6 in c
3.977 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.977 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.977 * [taylor]: Taking taylor expansion of c in c
3.978 * [taylor]: Taking taylor expansion of (* -5/6 (log (/ 1 c))) in c
3.978 * [taylor]: Taking taylor expansion of -5/6 in c
3.978 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
3.978 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.978 * [taylor]: Taking taylor expansion of c in c
4.028 * [approximate]: Taking taylor expansion of (* -5/6 (log c)) in (c) around 0
4.028 * [taylor]: Taking taylor expansion of (* -5/6 (log c)) in c
4.028 * [taylor]: Taking taylor expansion of -5/6 in c
4.028 * [taylor]: Taking taylor expansion of (log c) in c
4.028 * [taylor]: Taking taylor expansion of c in c
4.029 * [taylor]: Taking taylor expansion of (* -5/6 (log c)) in c
4.029 * [taylor]: Taking taylor expansion of -5/6 in c
4.029 * [taylor]: Taking taylor expansion of (log c) in c
4.029 * [taylor]: Taking taylor expansion of c in c
4.069 * [approximate]: Taking taylor expansion of (* -5/6 (log (* -1 c))) in (c) around 0
4.070 * [taylor]: Taking taylor expansion of (* -5/6 (log (* -1 c))) in c
4.070 * [taylor]: Taking taylor expansion of -5/6 in c
4.070 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.070 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.070 * [taylor]: Taking taylor expansion of -1 in c
4.070 * [taylor]: Taking taylor expansion of c in c
4.071 * [taylor]: Taking taylor expansion of (* -5/6 (log (* -1 c))) in c
4.071 * [taylor]: Taking taylor expansion of -5/6 in c
4.071 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.071 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.071 * [taylor]: Taking taylor expansion of -1 in c
4.071 * [taylor]: Taking taylor expansion of c in c
4.128 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
4.128 * [approximate]: Taking taylor expansion of (- (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6))))) in (b c) around 0
4.128 * [taylor]: Taking taylor expansion of (- (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6))))) in c
4.128 * [taylor]: Taking taylor expansion of (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) in c
4.128 * [taylor]: Taking taylor expansion of (* (log (pow c 1/6)) b) in c
4.128 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
4.128 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
4.128 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
4.128 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
4.128 * [taylor]: Taking taylor expansion of 1/6 in c
4.128 * [taylor]: Taking taylor expansion of (log c) in c
4.128 * [taylor]: Taking taylor expansion of c in c
4.129 * [taylor]: Taking taylor expansion of b in c
4.129 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (/ 1 c))) in c
4.129 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.129 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.129 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.129 * [taylor]: Taking taylor expansion of c in c
4.130 * [taylor]: Taking taylor expansion of (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6)))) in c
4.130 * [taylor]: Taking taylor expansion of (* 5/6 (* (log (/ 1 c)) b)) in c
4.130 * [taylor]: Taking taylor expansion of 5/6 in c
4.130 * [taylor]: Taking taylor expansion of (* (log (/ 1 c)) b) in c
4.130 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.130 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.130 * [taylor]: Taking taylor expansion of c in c
4.130 * [taylor]: Taking taylor expansion of b in c
4.130 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow c 1/6))) in c
4.130 * [taylor]: Taking taylor expansion of 0.5 in c
4.130 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
4.130 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
4.130 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
4.130 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
4.130 * [taylor]: Taking taylor expansion of 1/6 in c
4.130 * [taylor]: Taking taylor expansion of (log c) in c
4.130 * [taylor]: Taking taylor expansion of c in c
4.131 * [taylor]: Taking taylor expansion of (- (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6))))) in b
4.131 * [taylor]: Taking taylor expansion of (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) in b
4.131 * [taylor]: Taking taylor expansion of (* (log (pow c 1/6)) b) in b
4.131 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in b
4.131 * [taylor]: Taking taylor expansion of (pow c 1/6) in b
4.131 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in b
4.131 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in b
4.131 * [taylor]: Taking taylor expansion of 1/6 in b
4.131 * [taylor]: Taking taylor expansion of (log c) in b
4.131 * [taylor]: Taking taylor expansion of c in b
4.132 * [taylor]: Taking taylor expansion of b in b
4.132 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (/ 1 c))) in b
4.132 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.132 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.132 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.132 * [taylor]: Taking taylor expansion of c in b
4.132 * [taylor]: Taking taylor expansion of (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6)))) in b
4.132 * [taylor]: Taking taylor expansion of (* 5/6 (* (log (/ 1 c)) b)) in b
4.132 * [taylor]: Taking taylor expansion of 5/6 in b
4.132 * [taylor]: Taking taylor expansion of (* (log (/ 1 c)) b) in b
4.132 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.132 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.132 * [taylor]: Taking taylor expansion of c in b
4.132 * [taylor]: Taking taylor expansion of b in b
4.132 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow c 1/6))) in b
4.132 * [taylor]: Taking taylor expansion of 0.5 in b
4.132 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in b
4.132 * [taylor]: Taking taylor expansion of (pow c 1/6) in b
4.132 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in b
4.132 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in b
4.132 * [taylor]: Taking taylor expansion of 1/6 in b
4.132 * [taylor]: Taking taylor expansion of (log c) in b
4.132 * [taylor]: Taking taylor expansion of c in b
4.132 * [taylor]: Taking taylor expansion of (- (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6))))) in b
4.132 * [taylor]: Taking taylor expansion of (+ (* (log (pow c 1/6)) b) (* 0.4166666666666667 (log (/ 1 c)))) in b
4.132 * [taylor]: Taking taylor expansion of (* (log (pow c 1/6)) b) in b
4.132 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in b
4.132 * [taylor]: Taking taylor expansion of (pow c 1/6) in b
4.132 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in b
4.132 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in b
4.132 * [taylor]: Taking taylor expansion of 1/6 in b
4.132 * [taylor]: Taking taylor expansion of (log c) in b
4.132 * [taylor]: Taking taylor expansion of c in b
4.133 * [taylor]: Taking taylor expansion of b in b
4.133 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (/ 1 c))) in b
4.133 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.133 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.133 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.133 * [taylor]: Taking taylor expansion of c in b
4.133 * [taylor]: Taking taylor expansion of (+ (* 5/6 (* (log (/ 1 c)) b)) (* 0.5 (log (pow c 1/6)))) in b
4.133 * [taylor]: Taking taylor expansion of (* 5/6 (* (log (/ 1 c)) b)) in b
4.133 * [taylor]: Taking taylor expansion of 5/6 in b
4.133 * [taylor]: Taking taylor expansion of (* (log (/ 1 c)) b) in b
4.133 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.133 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.133 * [taylor]: Taking taylor expansion of c in b
4.133 * [taylor]: Taking taylor expansion of b in b
4.133 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow c 1/6))) in b
4.133 * [taylor]: Taking taylor expansion of 0.5 in b
4.133 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in b
4.133 * [taylor]: Taking taylor expansion of (pow c 1/6) in b
4.133 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in b
4.133 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in b
4.133 * [taylor]: Taking taylor expansion of 1/6 in b
4.133 * [taylor]: Taking taylor expansion of (log c) in b
4.133 * [taylor]: Taking taylor expansion of c in b
4.134 * [taylor]: Taking taylor expansion of (- (* 0.4166666666666667 (log (/ 1 c))) (* 0.5 (log (pow c 1/6)))) in c
4.134 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (/ 1 c))) in c
4.135 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.135 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.135 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.135 * [taylor]: Taking taylor expansion of c in c
4.135 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow c 1/6))) in c
4.135 * [taylor]: Taking taylor expansion of 0.5 in c
4.135 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
4.135 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
4.135 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
4.135 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
4.135 * [taylor]: Taking taylor expansion of 1/6 in c
4.135 * [taylor]: Taking taylor expansion of (log c) in c
4.135 * [taylor]: Taking taylor expansion of c in c
4.143 * [taylor]: Taking taylor expansion of (- (log (pow c 1/6)) (* 5/6 (log (/ 1 c)))) in c
4.143 * [taylor]: Taking taylor expansion of (log (pow c 1/6)) in c
4.143 * [taylor]: Taking taylor expansion of (pow c 1/6) in c
4.143 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log c))) in c
4.143 * [taylor]: Taking taylor expansion of (* 1/6 (log c)) in c
4.143 * [taylor]: Taking taylor expansion of 1/6 in c
4.143 * [taylor]: Taking taylor expansion of (log c) in c
4.143 * [taylor]: Taking taylor expansion of c in c
4.144 * [taylor]: Taking taylor expansion of (* 5/6 (log (/ 1 c))) in c
4.144 * [taylor]: Taking taylor expansion of 5/6 in c
4.144 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.144 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.144 * [taylor]: Taking taylor expansion of c in c
4.162 * [taylor]: Taking taylor expansion of 0 in c
4.199 * [taylor]: Taking taylor expansion of 0 in c
4.200 * [approximate]: Taking taylor expansion of (- (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b)))) in (b c) around 0
4.200 * [taylor]: Taking taylor expansion of (- (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b)))) in c
4.200 * [taylor]: Taking taylor expansion of (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) in c
4.200 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log c)) in c
4.200 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.200 * [taylor]: Taking taylor expansion of (log c) in c
4.200 * [taylor]: Taking taylor expansion of c in c
4.200 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/6)) b) in c
4.200 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
4.200 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
4.200 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
4.200 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
4.200 * [taylor]: Taking taylor expansion of 1/6 in c
4.200 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.200 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.200 * [taylor]: Taking taylor expansion of c in c
4.201 * [taylor]: Taking taylor expansion of b in c
4.201 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b))) in c
4.201 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 c) 1/6))) in c
4.201 * [taylor]: Taking taylor expansion of 0.5 in c
4.201 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
4.201 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
4.201 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
4.201 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
4.201 * [taylor]: Taking taylor expansion of 1/6 in c
4.201 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.202 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.202 * [taylor]: Taking taylor expansion of c in c
4.202 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log c) b)) in c
4.202 * [taylor]: Taking taylor expansion of 5/6 in c
4.202 * [taylor]: Taking taylor expansion of (/ (log c) b) in c
4.202 * [taylor]: Taking taylor expansion of (log c) in c
4.203 * [taylor]: Taking taylor expansion of c in c
4.203 * [taylor]: Taking taylor expansion of b in c
4.203 * [taylor]: Taking taylor expansion of (- (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b)))) in b
4.203 * [taylor]: Taking taylor expansion of (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) in b
4.203 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log c)) in b
4.203 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.203 * [taylor]: Taking taylor expansion of (log c) in b
4.204 * [taylor]: Taking taylor expansion of c in b
4.204 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/6)) b) in b
4.204 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in b
4.204 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in b
4.204 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in b
4.204 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in b
4.204 * [taylor]: Taking taylor expansion of 1/6 in b
4.204 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.204 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.204 * [taylor]: Taking taylor expansion of c in b
4.204 * [taylor]: Taking taylor expansion of b in b
4.204 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b))) in b
4.204 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 c) 1/6))) in b
4.204 * [taylor]: Taking taylor expansion of 0.5 in b
4.204 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in b
4.204 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in b
4.204 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in b
4.204 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in b
4.204 * [taylor]: Taking taylor expansion of 1/6 in b
4.204 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.204 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.204 * [taylor]: Taking taylor expansion of c in b
4.204 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log c) b)) in b
4.204 * [taylor]: Taking taylor expansion of 5/6 in b
4.204 * [taylor]: Taking taylor expansion of (/ (log c) b) in b
4.204 * [taylor]: Taking taylor expansion of (log c) in b
4.204 * [taylor]: Taking taylor expansion of c in b
4.205 * [taylor]: Taking taylor expansion of b in b
4.205 * [taylor]: Taking taylor expansion of (- (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b)))) in b
4.205 * [taylor]: Taking taylor expansion of (+ (* 0.4166666666666667 (log c)) (/ (log (pow (/ 1 c) 1/6)) b)) in b
4.205 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log c)) in b
4.205 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.205 * [taylor]: Taking taylor expansion of (log c) in b
4.205 * [taylor]: Taking taylor expansion of c in b
4.205 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 c) 1/6)) b) in b
4.205 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in b
4.205 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in b
4.205 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in b
4.205 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in b
4.205 * [taylor]: Taking taylor expansion of 1/6 in b
4.205 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.205 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.205 * [taylor]: Taking taylor expansion of c in b
4.205 * [taylor]: Taking taylor expansion of b in b
4.205 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (/ 1 c) 1/6))) (* 5/6 (/ (log c) b))) in b
4.205 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 c) 1/6))) in b
4.205 * [taylor]: Taking taylor expansion of 0.5 in b
4.205 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in b
4.205 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in b
4.205 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in b
4.205 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in b
4.205 * [taylor]: Taking taylor expansion of 1/6 in b
4.205 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in b
4.205 * [taylor]: Taking taylor expansion of (/ 1 c) in b
4.205 * [taylor]: Taking taylor expansion of c in b
4.206 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log c) b)) in b
4.206 * [taylor]: Taking taylor expansion of 5/6 in b
4.206 * [taylor]: Taking taylor expansion of (/ (log c) b) in b
4.206 * [taylor]: Taking taylor expansion of (log c) in b
4.206 * [taylor]: Taking taylor expansion of c in b
4.206 * [taylor]: Taking taylor expansion of b in b
4.206 * [taylor]: Taking taylor expansion of (- (log (pow (/ 1 c) 1/6)) (* 5/6 (log c))) in c
4.206 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
4.206 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
4.206 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
4.206 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
4.206 * [taylor]: Taking taylor expansion of 1/6 in c
4.206 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.206 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.206 * [taylor]: Taking taylor expansion of c in c
4.207 * [taylor]: Taking taylor expansion of (* 5/6 (log c)) in c
4.207 * [taylor]: Taking taylor expansion of 5/6 in c
4.207 * [taylor]: Taking taylor expansion of (log c) in c
4.207 * [taylor]: Taking taylor expansion of c in c
4.213 * [taylor]: Taking taylor expansion of (- (* 0.4166666666666667 (log c)) (* 0.5 (log (pow (/ 1 c) 1/6)))) in c
4.213 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log c)) in c
4.213 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.213 * [taylor]: Taking taylor expansion of (log c) in c
4.213 * [taylor]: Taking taylor expansion of c in c
4.213 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (/ 1 c) 1/6))) in c
4.213 * [taylor]: Taking taylor expansion of 0.5 in c
4.213 * [taylor]: Taking taylor expansion of (log (pow (/ 1 c) 1/6)) in c
4.213 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 1/6) in c
4.213 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 c)))) in c
4.213 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 c))) in c
4.213 * [taylor]: Taking taylor expansion of 1/6 in c
4.213 * [taylor]: Taking taylor expansion of (log (/ 1 c)) in c
4.213 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.213 * [taylor]: Taking taylor expansion of c in c
4.230 * [taylor]: Taking taylor expansion of 0 in c
4.260 * [taylor]: Taking taylor expansion of 0 in c
4.260 * [approximate]: Taking taylor expansion of (- (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b))) in (b c) around 0
4.260 * [taylor]: Taking taylor expansion of (- (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b))) in c
4.260 * [taylor]: Taking taylor expansion of (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) in c
4.261 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (* -1 c)) b)) in c
4.261 * [taylor]: Taking taylor expansion of 5/6 in c
4.261 * [taylor]: Taking taylor expansion of (/ (log (* -1 c)) b) in c
4.261 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.261 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.261 * [taylor]: Taking taylor expansion of -1 in c
4.261 * [taylor]: Taking taylor expansion of c in c
4.262 * [taylor]: Taking taylor expansion of b in c
4.263 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (* -1 c))) in c
4.263 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.263 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.263 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.263 * [taylor]: Taking taylor expansion of -1 in c
4.263 * [taylor]: Taking taylor expansion of c in c
4.264 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b)) in c
4.264 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) in c
4.264 * [taylor]: Taking taylor expansion of 0.5 in c
4.264 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
4.264 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
4.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
4.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
4.264 * [taylor]: Taking taylor expansion of 1/3 in c
4.264 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
4.264 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
4.264 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.264 * [taylor]: Taking taylor expansion of -1 in c
4.264 * [taylor]: Taking taylor expansion of c in c
4.268 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 c)) 1/3)) b) in c
4.268 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
4.268 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
4.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
4.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
4.268 * [taylor]: Taking taylor expansion of 1/3 in c
4.268 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
4.268 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
4.268 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.268 * [taylor]: Taking taylor expansion of -1 in c
4.268 * [taylor]: Taking taylor expansion of c in c
4.272 * [taylor]: Taking taylor expansion of b in c
4.273 * [taylor]: Taking taylor expansion of (- (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b))) in b
4.273 * [taylor]: Taking taylor expansion of (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) in b
4.273 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (* -1 c)) b)) in b
4.273 * [taylor]: Taking taylor expansion of 5/6 in b
4.273 * [taylor]: Taking taylor expansion of (/ (log (* -1 c)) b) in b
4.273 * [taylor]: Taking taylor expansion of (log (* -1 c)) in b
4.273 * [taylor]: Taking taylor expansion of (* -1 c) in b
4.273 * [taylor]: Taking taylor expansion of -1 in b
4.273 * [taylor]: Taking taylor expansion of c in b
4.273 * [taylor]: Taking taylor expansion of b in b
4.273 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (* -1 c))) in b
4.273 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.273 * [taylor]: Taking taylor expansion of (log (* -1 c)) in b
4.273 * [taylor]: Taking taylor expansion of (* -1 c) in b
4.273 * [taylor]: Taking taylor expansion of -1 in b
4.273 * [taylor]: Taking taylor expansion of c in b
4.273 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b)) in b
4.273 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) in b
4.273 * [taylor]: Taking taylor expansion of 0.5 in b
4.273 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in b
4.273 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in b
4.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in b
4.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in b
4.273 * [taylor]: Taking taylor expansion of 1/3 in b
4.273 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in b
4.273 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in b
4.273 * [taylor]: Taking taylor expansion of (/ -1 c) in b
4.273 * [taylor]: Taking taylor expansion of -1 in b
4.278 * [taylor]: Taking taylor expansion of c in b
4.279 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 c)) 1/3)) b) in b
4.279 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in b
4.279 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in b
4.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in b
4.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in b
4.279 * [taylor]: Taking taylor expansion of 1/3 in b
4.279 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in b
4.279 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in b
4.279 * [taylor]: Taking taylor expansion of (/ -1 c) in b
4.279 * [taylor]: Taking taylor expansion of -1 in b
4.279 * [taylor]: Taking taylor expansion of c in b
4.279 * [taylor]: Taking taylor expansion of b in b
4.280 * [taylor]: Taking taylor expansion of (- (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b))) in b
4.280 * [taylor]: Taking taylor expansion of (+ (* 5/6 (/ (log (* -1 c)) b)) (* 0.4166666666666667 (log (* -1 c)))) in b
4.280 * [taylor]: Taking taylor expansion of (* 5/6 (/ (log (* -1 c)) b)) in b
4.280 * [taylor]: Taking taylor expansion of 5/6 in b
4.280 * [taylor]: Taking taylor expansion of (/ (log (* -1 c)) b) in b
4.280 * [taylor]: Taking taylor expansion of (log (* -1 c)) in b
4.280 * [taylor]: Taking taylor expansion of (* -1 c) in b
4.280 * [taylor]: Taking taylor expansion of -1 in b
4.280 * [taylor]: Taking taylor expansion of c in b
4.280 * [taylor]: Taking taylor expansion of b in b
4.280 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (* -1 c))) in b
4.280 * [taylor]: Taking taylor expansion of 0.4166666666666667 in b
4.280 * [taylor]: Taking taylor expansion of (log (* -1 c)) in b
4.280 * [taylor]: Taking taylor expansion of (* -1 c) in b
4.280 * [taylor]: Taking taylor expansion of -1 in b
4.280 * [taylor]: Taking taylor expansion of c in b
4.280 * [taylor]: Taking taylor expansion of (+ (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) (/ (log (pow (sqrt (/ -1 c)) 1/3)) b)) in b
4.280 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) in b
4.280 * [taylor]: Taking taylor expansion of 0.5 in b
4.280 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in b
4.280 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in b
4.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in b
4.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in b
4.280 * [taylor]: Taking taylor expansion of 1/3 in b
4.280 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in b
4.280 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in b
4.280 * [taylor]: Taking taylor expansion of (/ -1 c) in b
4.280 * [taylor]: Taking taylor expansion of -1 in b
4.280 * [taylor]: Taking taylor expansion of c in b
4.281 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 c)) 1/3)) b) in b
4.281 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in b
4.281 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in b
4.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in b
4.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in b
4.281 * [taylor]: Taking taylor expansion of 1/3 in b
4.281 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in b
4.281 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in b
4.281 * [taylor]: Taking taylor expansion of (/ -1 c) in b
4.281 * [taylor]: Taking taylor expansion of -1 in b
4.281 * [taylor]: Taking taylor expansion of c in b
4.281 * [taylor]: Taking taylor expansion of b in b
4.282 * [taylor]: Taking taylor expansion of (- (* 5/6 (log (* -1 c))) (log (pow (sqrt (/ -1 c)) 1/3))) in c
4.282 * [taylor]: Taking taylor expansion of (* 5/6 (log (* -1 c))) in c
4.282 * [taylor]: Taking taylor expansion of 5/6 in c
4.282 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.282 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.282 * [taylor]: Taking taylor expansion of -1 in c
4.282 * [taylor]: Taking taylor expansion of c in c
4.283 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
4.283 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
4.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
4.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
4.283 * [taylor]: Taking taylor expansion of 1/3 in c
4.283 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
4.283 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
4.283 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.283 * [taylor]: Taking taylor expansion of -1 in c
4.283 * [taylor]: Taking taylor expansion of c in c
4.296 * [taylor]: Taking taylor expansion of (- (* 0.4166666666666667 (log (* -1 c))) (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3)))) in c
4.297 * [taylor]: Taking taylor expansion of (* 0.4166666666666667 (log (* -1 c))) in c
4.297 * [taylor]: Taking taylor expansion of 0.4166666666666667 in c
4.297 * [taylor]: Taking taylor expansion of (log (* -1 c)) in c
4.297 * [taylor]: Taking taylor expansion of (* -1 c) in c
4.297 * [taylor]: Taking taylor expansion of -1 in c
4.297 * [taylor]: Taking taylor expansion of c in c
4.298 * [taylor]: Taking taylor expansion of (* 0.5 (log (pow (sqrt (/ -1 c)) 1/3))) in c
4.298 * [taylor]: Taking taylor expansion of 0.5 in c
4.298 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 c)) 1/3)) in c
4.298 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 c)) 1/3) in c
4.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 c))))) in c
4.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 c)))) in c
4.298 * [taylor]: Taking taylor expansion of 1/3 in c
4.298 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 c))) in c
4.298 * [taylor]: Taking taylor expansion of (sqrt (/ -1 c)) in c
4.298 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.298 * [taylor]: Taking taylor expansion of -1 in c
4.298 * [taylor]: Taking taylor expansion of c in c
4.333 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
4.333 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0
4.333 * [taylor]: Taking taylor expansion of (* x (log y)) in y
4.333 * [taylor]: Taking taylor expansion of x in y
4.333 * [taylor]: Taking taylor expansion of (log y) in y
4.333 * [taylor]: Taking taylor expansion of y in y
4.333 * [taylor]: Taking taylor expansion of (* x (log y)) in x
4.333 * [taylor]: Taking taylor expansion of x in x
4.333 * [taylor]: Taking taylor expansion of (log y) in x
4.333 * [taylor]: Taking taylor expansion of y in x
4.333 * [taylor]: Taking taylor expansion of (* x (log y)) in x
4.333 * [taylor]: Taking taylor expansion of x in x
4.333 * [taylor]: Taking taylor expansion of (log y) in x
4.333 * [taylor]: Taking taylor expansion of y in x
4.334 * [taylor]: Taking taylor expansion of 0 in y
4.334 * [taylor]: Taking taylor expansion of (log y) in y
4.334 * [taylor]: Taking taylor expansion of y in y
4.337 * [taylor]: Taking taylor expansion of 0 in y
4.340 * [taylor]: Taking taylor expansion of 0 in y
4.340 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0
4.340 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y
4.340 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
4.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.340 * [taylor]: Taking taylor expansion of y in y
4.341 * [taylor]: Taking taylor expansion of x in y
4.341 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
4.341 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
4.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.341 * [taylor]: Taking taylor expansion of y in x
4.341 * [taylor]: Taking taylor expansion of x in x
4.341 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x
4.341 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x
4.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.341 * [taylor]: Taking taylor expansion of y in x
4.341 * [taylor]: Taking taylor expansion of x in x
4.342 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
4.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.342 * [taylor]: Taking taylor expansion of y in y
4.344 * [taylor]: Taking taylor expansion of 0 in y
4.347 * [taylor]: Taking taylor expansion of 0 in y
4.352 * [taylor]: Taking taylor expansion of 0 in y
4.353 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0
4.353 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y
4.353 * [taylor]: Taking taylor expansion of -1 in y
4.353 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y
4.353 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
4.353 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.353 * [taylor]: Taking taylor expansion of -1 in y
4.353 * [taylor]: Taking taylor expansion of y in y
4.353 * [taylor]: Taking taylor expansion of x in y
4.355 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
4.355 * [taylor]: Taking taylor expansion of -1 in x
4.355 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
4.355 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
4.355 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.355 * [taylor]: Taking taylor expansion of -1 in x
4.355 * [taylor]: Taking taylor expansion of y in x
4.355 * [taylor]: Taking taylor expansion of x in x
4.355 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x
4.355 * [taylor]: Taking taylor expansion of -1 in x
4.355 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x
4.355 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x
4.355 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.355 * [taylor]: Taking taylor expansion of -1 in x
4.355 * [taylor]: Taking taylor expansion of y in x
4.355 * [taylor]: Taking taylor expansion of x in x
4.355 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y
4.355 * [taylor]: Taking taylor expansion of -1 in y
4.355 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y
4.355 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.355 * [taylor]: Taking taylor expansion of -1 in y
4.355 * [taylor]: Taking taylor expansion of y in y
4.358 * [taylor]: Taking taylor expansion of 0 in y
4.363 * [taylor]: Taking taylor expansion of 0 in y
4.377 * [taylor]: Taking taylor expansion of 0 in y
4.378 * * * [progress]: simplifying candidates
4.379 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt 1))
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt 1)
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (* (* (cbrt (sqrt c)) (cbrt (sqrt c))) (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (* (log (/ 1 c)) -5/6)
  (+ (log (log (/ 1 c))) (log -5/6))
  (log (* (log (/ 1 c)) -5/6))
  (exp (* (log (/ 1 c)) -5/6))
  (* (* (* (log (/ 1 c)) (log (/ 1 c))) (log (/ 1 c))) (* (* -5/6 -5/6) -5/6))
  (* (cbrt (* (log (/ 1 c)) -5/6)) (cbrt (* (log (/ 1 c)) -5/6)))
  (cbrt (* (log (/ 1 c)) -5/6))
  (* (* (* (log (/ 1 c)) -5/6) (* (log (/ 1 c)) -5/6)) (* (log (/ 1 c)) -5/6))
  (sqrt (* (log (/ 1 c)) -5/6))
  (sqrt (* (log (/ 1 c)) -5/6))
  (* (sqrt (log (/ 1 c))) (sqrt -5/6))
  (* (sqrt (log (/ 1 c))) (sqrt -5/6))
  (* (log c) -5/6)
  (* (log (/ 1 c)) (* (cbrt -5/6) (cbrt -5/6)))
  (* (log (/ 1 c)) (sqrt -5/6))
  (* (log (/ 1 c)) 1)
  (* (log c) -5/6)
  (* (log c) -5/6)
  (* (log (/ 1 c)) -5/6)
  (* (cbrt (log (/ 1 c))) -5/6)
  (* (sqrt (log (/ 1 c))) -5/6)
  (* (log (/ 1 c)) -5/6)
  (* (exp (* (- b 0.5) (* (log (/ 1 c)) -5/6))) (exp (* (log (cbrt (sqrt c))) (- b 0.5))))
  (log (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (exp (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (* (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))))
  (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (* (* (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (sqrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (sqrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* (log (/ 1 c)) -5/6)) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (log (cbrt (sqrt c))) (- (pow b 3) (pow 0.5 3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* (log (/ 1 c)) -5/6)) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (log (cbrt (sqrt c))) (- (* b b) (* 0.5 0.5)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* (log (/ 1 c)) -5/6)) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (log (cbrt (sqrt c))) (- (pow b 3) (pow 0.5 3)))))
  (* (+ b 0.5) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* (log (/ 1 c)) -5/6)) (+ b 0.5)) (* (+ b 0.5) (* (log (cbrt (sqrt c))) (- (* b b) (* 0.5 0.5)))))
  (* (+ b 0.5) (+ b 0.5))
  (+ (pow (* (- b 0.5) (* (log (/ 1 c)) -5/6)) 3) (pow (* (log (cbrt (sqrt c))) (- b 0.5)) 3))
  (+ (* (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (- b 0.5) (* (log (/ 1 c)) -5/6))) (- (* (* (log (cbrt (sqrt c))) (- b 0.5)) (* (log (cbrt (sqrt c))) (- b 0.5))) (* (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))))
  (- (* (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (- b 0.5) (* (log (/ 1 c)) -5/6))) (* (* (log (cbrt (sqrt c))) (- b 0.5)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (- (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) b))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) b))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (* 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))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 c))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow c 2)))))))
  (* 5/6 (log c))
  (* -5/6 (log (/ 1 c)))
  (* -5/6 (+ (log -1) (log (/ -1 c))))
  (- (+ (* (log (pow c 1/6)) b) (* 5/6 (* (log c) b))) (+ (* 0.5 (log (pow c 1/6))) (* 0.4166666666666667 (log c))))
  (- (+ (* 0.4166666666666667 (log (/ 1 c))) (* (log (pow (/ 1 c) -1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) -1/6))) (* 5/6 (* (log (/ 1 c)) b))))
  (- (+ (* 0.4166666666666667 (log -1)) (+ (* 0.4166666666666667 (log (/ -1 c))) (* (log (pow +nan.0 1/3)) b))) (+ (* 0.5 (log (pow +nan.0 1/3))) (- (+ (* 5/6 (* (log (/ -1 c)) b)) (* 5/6 (* (log -1) b))) (* +nan.0 (/ b c)))))
  (* x (log y))
  (* -1 (* x (log (/ 1 y))))
  (* (- (log -1) (log (/ -1 y))) x)
4.386 * * [simplify]: iteration  0 :  588  enodes  (cost  728 )
4.397 * * [simplify]: iteration  1 :  2167  enodes  (cost  652 )
4.441 * * [simplify]: iteration  2 :  5001  enodes  (cost  639 )
4.444 * [simplify]: Simplified to:
   (log (cbrt (sqrt c)))
  (exp (cbrt (sqrt c)))
  (cbrt (* (cbrt (sqrt c)) (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (cbrt (sqrt (* (cbrt c) (cbrt c))))
  (cbrt (sqrt (cbrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt 1)
  (cbrt (sqrt c))
  (cbrt (sqrt (sqrt c)))
  (cbrt (sqrt (sqrt c)))
  (cbrt 1)
  (cbrt (sqrt c))
  (* (cbrt (cbrt (sqrt c))) (cbrt (cbrt (sqrt c))))
  (cbrt (cbrt (sqrt c)))
  (sqrt c)
  (sqrt (cbrt (sqrt c)))
  (sqrt (cbrt (sqrt c)))
  (* (log (/ 1 c)) -5/6)
  (log (* (log (/ 1 c)) -5/6))
  (log (* (log (/ 1 c)) -5/6))
  (pow (/ 1 c) -5/6)
  (pow (* (log (/ 1 c)) -5/6) 3)
  (* (cbrt (* (log (/ 1 c)) -5/6)) (cbrt (* (log (/ 1 c)) -5/6)))
  (cbrt (* (log (/ 1 c)) -5/6))
  (pow (* (log (/ 1 c)) -5/6) 3)
  (sqrt (* (log (/ 1 c)) -5/6))
  (sqrt (* (log (/ 1 c)) -5/6))
  (* (sqrt (log (/ 1 c))) (sqrt -5/6))
  (* (sqrt (log (/ 1 c))) (sqrt -5/6))
  (* (log c) -5/6)
  (* (log (/ 1 c)) (* (cbrt -5/6) (cbrt -5/6)))
  (* (log (/ 1 c)) (sqrt -5/6))
  (log (/ 1 c))
  (* (log c) -5/6)
  (* (log c) -5/6)
  (* (log (/ 1 c)) -5/6)
  (* (cbrt (log (/ 1 c))) -5/6)
  (* (sqrt (log (/ 1 c))) -5/6)
  (* (log (/ 1 c)) -5/6)
  (pow (exp (- b 0.5)) (+ (log (cbrt (sqrt c))) (* (log (/ 1 c)) -5/6)))
  (+ (log (- b 0.5)) (log (+ (log (cbrt (sqrt c))) (* (log (/ 1 c)) -5/6))))
  (pow (exp (- b 0.5)) (+ (log (cbrt (sqrt c))) (* (log (/ 1 c)) -5/6)))
  (* (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))))
  (cbrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (pow (* (- b 0.5) (+ (log (cbrt (sqrt c))) (* (log (/ 1 c)) -5/6))) 3)
  (sqrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (sqrt (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5))))
  (* (+ (* 0.5 (+ 0.5 b)) (* b b)) (+ (* (log (cbrt (sqrt c))) (- (pow b 3) (pow 0.5 3))) (* (- (pow b 3) (pow 0.5 3)) (* (log (/ 1 c)) -5/6))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))))
  (+ (* (* (- (pow b 3) (pow 0.5 3)) (* (log (/ 1 c)) -5/6)) (+ b 0.5)) (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (* (log (cbrt (sqrt c))) (- (* b b) (* 0.5 0.5)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (+ (* (* (- (* b b) (* 0.5 0.5)) (* (log (/ 1 c)) -5/6)) (+ (* b b) (+ (* 0.5 0.5) (* b 0.5)))) (* (+ b 0.5) (* (log (cbrt (sqrt c))) (- (pow b 3) (pow 0.5 3)))))
  (* (+ (* b b) (+ (* 0.5 0.5) (* b 0.5))) (+ b 0.5))
  (* (+ b 0.5) (+ (* (log (cbrt (sqrt c))) (- (* b b) (* 0.5 0.5))) (* (- (* b b) (* 0.5 0.5)) (* (log (/ 1 c)) -5/6))))
  (* (+ b 0.5) (+ b 0.5))
  (+ (pow (* (- b 0.5) (* (log (/ 1 c)) -5/6)) 3) (pow (* (log (cbrt (sqrt c))) (- b 0.5)) 3))
  (+ (* (* (log (cbrt (sqrt c))) (- b 0.5)) (- (* (log (cbrt (sqrt c))) (- b 0.5)) (* (- b 0.5) (* (log (/ 1 c)) -5/6)))) (* (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (- b 0.5) (* (log (/ 1 c)) -5/6))))
  (* (* (- b 0.5) (- (* (log (/ 1 c)) -5/6) (log (cbrt (sqrt c))))) (* (- b 0.5) (+ (log (cbrt (sqrt c))) (* (log (/ 1 c)) -5/6))))
  (* (- b 0.5) (- (* (log (/ 1 c)) -5/6) (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* b (log (cbrt (sqrt c)))))
  (* 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))
  (pow c 1/6)
  (pow (/ 1 c) -1/6)
  (+ (- (pow +nan.0 1/3) (* +nan.0 (* (pow +nan.0 1/3) (/ 1 c)))) (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow c 2)))))
  (* 5/6 (log c))
  (* (log (/ 1 c)) -5/6)
  (* -5/6 (+ (log -1) (log (/ -1 c))))
  (- (- (* b (+ (* 5/6 (log c)) (log (pow c 1/6)))) (* 0.4166666666666667 (log c))) (* 0.5 (log (pow c 1/6))))
  (- (+ (* 0.4166666666666667 (log (/ 1 c))) (* (log (pow (/ 1 c) -1/6)) b)) (+ (* 0.5 (log (pow (/ 1 c) -1/6))) (* 5/6 (* (log (/ 1 c)) b))))
  (+ (* 0.4166666666666667 (+ (log -1) (log (/ -1 c)))) (- (* (log (pow +nan.0 1/3)) b) (- (+ (* 0.5 (log (pow +nan.0 1/3))) (* 5/6 (+ (* (log (/ -1 c)) b) (* (log -1) b)))) (* +nan.0 (/ b c)))))
  (* x (log y))
  (* x (log y))
  (+ (* x 0) (* x (log y)))
4.444 * * * [progress]: adding candidates to table
4.939 * [progress]: [Phase 3 of 3] Extracting.
4.939 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
4.944 * * * [regime-changes]: Trying 11 branch expressions: ((log c) (- b 0.5) (* (- b 0.5) (log c)) i c b a t z y x)
4.945 * * * * [regimes]: Trying to branch on (log c) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
4.994 * * * * [regimes]: Trying to branch on (log c) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))>)
5.031 * * * * [regimes]: Trying to branch on (- b 0.5) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.075 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.125 * * * * [regimes]: Trying to branch on (* (- b 0.5) (log c)) from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))>)
5.162 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.208 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.255 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.300 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.347 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.392 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.437 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.482 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (log y))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) z) t) a) (* (- b 0.5) (log c))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (cbrt (* (- b 0.5) (log c))) (cbrt (* (- b 0.5) (log c)))) (cbrt (* (- b 0.5) (log c))))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (* (- b 0.5) (sqrt (log c))) (sqrt (log c)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (+ (* 2 (log (cbrt c))) (log (cbrt (sqrt c))))) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))> #<alt (λ (x y z t a b c i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i)))>)
5.531 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
5.531 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i))
5.532 * * [simplify]: iteration  0 :  42  enodes  (cost  19 )
5.532 * * [simplify]: iteration  1 :  42  enodes  (cost  19 )
5.532 * [simplify]: Simplified to:
   (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (+ (* (- b 0.5) (* (log (/ 1 c)) -5/6)) (* (log (cbrt (sqrt c))) (- b 0.5)))) (* y i))
9.551 * [regime-testing]: Baseline error score: 0.15627566997198153
9.551 * [regime-testing]: Oracle error score: 0.03765830962501512
9.552 * [regime-testing]: End program error score: 0.15627566997198153