23.496 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.246 * * * [progress]: [2/2] Setting up program.
0.250 * [progress]: [Phase 2 of 3] Improving.
0.250 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
0.252 * * [simplify]: iteration  0 :  40  enodes  (cost  13 )
0.254 * * [simplify]: iteration  1 :  101  enodes  (cost  13 )
0.256 * * [simplify]: iteration  2 :  258  enodes  (cost  13 )
0.260 * * [simplify]: iteration  3 :  766  enodes  (cost  13 )
0.277 * * [simplify]: iteration  4 :  3895  enodes  (cost  13 )
0.348 * * [simplify]: iteration  5 :  5001  enodes  (cost  13 )
0.349 * [simplify]: Simplified to:
   (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
0.349 * * [progress]: iteration 1 / 4
0.349 * * * [progress]: picking best candidate
0.352 * * * * [pick]: Picked  #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))>
0.352 * * * [progress]: localizing error
0.368 * * * [progress]: generating rewritten candidates
0.368 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.373 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.377 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.382 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.405 * * * [progress]: generating series expansions
0.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.405 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0
0.405 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.405 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps
0.405 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps
0.405 * [taylor]: Taking taylor expansion of (+ a b) in eps
0.405 * [taylor]: Taking taylor expansion of a in eps
0.405 * [taylor]: Taking taylor expansion of b in eps
0.405 * [taylor]: Taking taylor expansion of eps in eps
0.406 * [taylor]: Taking taylor expansion of 1.0 in eps
0.406 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.406 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b
0.406 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b
0.406 * [taylor]: Taking taylor expansion of (+ a b) in b
0.406 * [taylor]: Taking taylor expansion of a in b
0.406 * [taylor]: Taking taylor expansion of b in b
0.406 * [taylor]: Taking taylor expansion of eps in b
0.406 * [taylor]: Taking taylor expansion of 1.0 in b
0.406 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a
0.406 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a
0.406 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a
0.406 * [taylor]: Taking taylor expansion of (+ a b) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of b in a
0.407 * [taylor]: Taking taylor expansion of eps in a
0.407 * [taylor]: Taking taylor expansion of 1.0 in a
0.407 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a
0.407 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a
0.407 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a
0.407 * [taylor]: Taking taylor expansion of (+ a b) in a
0.407 * [taylor]: Taking taylor expansion of a in a
0.407 * [taylor]: Taking taylor expansion of b in a
0.407 * [taylor]: Taking taylor expansion of eps in a
0.407 * [taylor]: Taking taylor expansion of 1.0 in a
0.407 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b
0.408 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.408 * [taylor]: Taking taylor expansion of (* eps b) in b
0.408 * [taylor]: Taking taylor expansion of eps in b
0.408 * [taylor]: Taking taylor expansion of b in b
0.408 * [taylor]: Taking taylor expansion of 1.0 in b
0.409 * [taylor]: Taking taylor expansion of 0 in eps
0.409 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b
0.409 * [taylor]: Taking taylor expansion of eps in b
0.409 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.409 * [taylor]: Taking taylor expansion of (* eps b) in b
0.410 * [taylor]: Taking taylor expansion of eps in b
0.410 * [taylor]: Taking taylor expansion of b in b
0.410 * [taylor]: Taking taylor expansion of eps in eps
0.410 * [taylor]: Taking taylor expansion of eps in eps
0.412 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b
0.412 * [taylor]: Taking taylor expansion of 1/2 in b
0.412 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b
0.412 * [taylor]: Taking taylor expansion of (pow eps 2) in b
0.412 * [taylor]: Taking taylor expansion of eps in b
0.412 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.412 * [taylor]: Taking taylor expansion of (* eps b) in b
0.412 * [taylor]: Taking taylor expansion of eps in b
0.412 * [taylor]: Taking taylor expansion of b in b
0.412 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps
0.412 * [taylor]: Taking taylor expansion of 1/2 in eps
0.412 * [taylor]: Taking taylor expansion of (pow eps 2) in eps
0.412 * [taylor]: Taking taylor expansion of eps in eps
0.413 * [taylor]: Taking taylor expansion of (pow eps 2) in eps
0.413 * [taylor]: Taking taylor expansion of eps in eps
0.414 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps
0.414 * [taylor]: Taking taylor expansion of 1/2 in eps
0.414 * [taylor]: Taking taylor expansion of (pow eps 2) in eps
0.414 * [taylor]: Taking taylor expansion of eps in eps
0.416 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b
0.416 * [taylor]: Taking taylor expansion of 1/6 in b
0.416 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b
0.416 * [taylor]: Taking taylor expansion of (pow eps 3) in b
0.416 * [taylor]: Taking taylor expansion of eps in b
0.416 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.416 * [taylor]: Taking taylor expansion of (* eps b) in b
0.417 * [taylor]: Taking taylor expansion of eps in b
0.417 * [taylor]: Taking taylor expansion of b in b
0.417 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps
0.417 * [taylor]: Taking taylor expansion of 1/6 in eps
0.417 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.417 * [taylor]: Taking taylor expansion of eps in eps
0.418 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps
0.418 * [taylor]: Taking taylor expansion of 1/2 in eps
0.418 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.418 * [taylor]: Taking taylor expansion of eps in eps
0.419 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps
0.419 * [taylor]: Taking taylor expansion of 1/2 in eps
0.419 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.419 * [taylor]: Taking taylor expansion of eps in eps
0.421 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps
0.421 * [taylor]: Taking taylor expansion of 1/6 in eps
0.421 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.421 * [taylor]: Taking taylor expansion of eps in eps
0.425 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b
0.425 * [taylor]: Taking taylor expansion of 1/24 in b
0.425 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b
0.425 * [taylor]: Taking taylor expansion of (pow eps 4) in b
0.425 * [taylor]: Taking taylor expansion of eps in b
0.425 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.425 * [taylor]: Taking taylor expansion of (* eps b) in b
0.425 * [taylor]: Taking taylor expansion of eps in b
0.425 * [taylor]: Taking taylor expansion of b in b
0.425 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps
0.425 * [taylor]: Taking taylor expansion of 1/24 in eps
0.425 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.425 * [taylor]: Taking taylor expansion of eps in eps
0.426 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps
0.426 * [taylor]: Taking taylor expansion of 1/6 in eps
0.426 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.426 * [taylor]: Taking taylor expansion of eps in eps
0.428 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps
0.428 * [taylor]: Taking taylor expansion of 1/4 in eps
0.428 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.428 * [taylor]: Taking taylor expansion of eps in eps
0.430 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps
0.430 * [taylor]: Taking taylor expansion of 1/6 in eps
0.430 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.430 * [taylor]: Taking taylor expansion of eps in eps
0.432 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps
0.432 * [taylor]: Taking taylor expansion of 1/24 in eps
0.432 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.432 * [taylor]: Taking taylor expansion of eps in eps
0.433 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
0.433 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.433 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.433 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.433 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.433 * [taylor]: Taking taylor expansion of b in eps
0.434 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.434 * [taylor]: Taking taylor expansion of a in eps
0.434 * [taylor]: Taking taylor expansion of eps in eps
0.434 * [taylor]: Taking taylor expansion of 1.0 in eps
0.434 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.434 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.434 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.434 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.434 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.434 * [taylor]: Taking taylor expansion of b in b
0.434 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.434 * [taylor]: Taking taylor expansion of a in b
0.434 * [taylor]: Taking taylor expansion of eps in b
0.435 * [taylor]: Taking taylor expansion of 1.0 in b
0.435 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.435 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.435 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.435 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.435 * [taylor]: Taking taylor expansion of b in a
0.435 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.435 * [taylor]: Taking taylor expansion of a in a
0.435 * [taylor]: Taking taylor expansion of eps in a
0.435 * [taylor]: Taking taylor expansion of 1.0 in a
0.435 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.435 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.435 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.436 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.436 * [taylor]: Taking taylor expansion of b in a
0.436 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.436 * [taylor]: Taking taylor expansion of a in a
0.436 * [taylor]: Taking taylor expansion of eps in a
0.436 * [taylor]: Taking taylor expansion of 1.0 in a
0.437 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.437 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.437 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.437 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.437 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.437 * [taylor]: Taking taylor expansion of b in b
0.437 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.437 * [taylor]: Taking taylor expansion of a in b
0.437 * [taylor]: Taking taylor expansion of eps in b
0.438 * [taylor]: Taking taylor expansion of 1.0 in b
0.438 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.438 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.438 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.438 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.438 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.438 * [taylor]: Taking taylor expansion of b in eps
0.438 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.438 * [taylor]: Taking taylor expansion of a in eps
0.438 * [taylor]: Taking taylor expansion of eps in eps
0.439 * [taylor]: Taking taylor expansion of 1.0 in eps
0.440 * [taylor]: Taking taylor expansion of 0 in b
0.440 * [taylor]: Taking taylor expansion of 0 in eps
0.440 * [taylor]: Taking taylor expansion of 0 in eps
0.441 * [taylor]: Taking taylor expansion of 0 in b
0.441 * [taylor]: Taking taylor expansion of 0 in eps
0.441 * [taylor]: Taking taylor expansion of 0 in eps
0.442 * [taylor]: Taking taylor expansion of 0 in eps
0.442 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
0.442 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.442 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.442 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.442 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.442 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.442 * [taylor]: Taking taylor expansion of b in eps
0.442 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.442 * [taylor]: Taking taylor expansion of a in eps
0.442 * [taylor]: Taking taylor expansion of eps in eps
0.442 * [taylor]: Taking taylor expansion of 1.0 in eps
0.443 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.443 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.443 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.443 * [taylor]: Taking taylor expansion of b in b
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.443 * [taylor]: Taking taylor expansion of a in b
0.443 * [taylor]: Taking taylor expansion of eps in b
0.443 * [taylor]: Taking taylor expansion of 1.0 in b
0.443 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.443 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.443 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.443 * [taylor]: Taking taylor expansion of b in a
0.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.443 * [taylor]: Taking taylor expansion of a in a
0.444 * [taylor]: Taking taylor expansion of eps in a
0.444 * [taylor]: Taking taylor expansion of 1.0 in a
0.444 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.444 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.444 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.444 * [taylor]: Taking taylor expansion of b in a
0.444 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.444 * [taylor]: Taking taylor expansion of a in a
0.445 * [taylor]: Taking taylor expansion of eps in a
0.445 * [taylor]: Taking taylor expansion of 1.0 in a
0.446 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.446 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.446 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.446 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.446 * [taylor]: Taking taylor expansion of b in b
0.446 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.446 * [taylor]: Taking taylor expansion of a in b
0.446 * [taylor]: Taking taylor expansion of eps in b
0.446 * [taylor]: Taking taylor expansion of 1.0 in b
0.447 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.447 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.447 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.447 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.447 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.447 * [taylor]: Taking taylor expansion of b in eps
0.447 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.447 * [taylor]: Taking taylor expansion of a in eps
0.447 * [taylor]: Taking taylor expansion of eps in eps
0.447 * [taylor]: Taking taylor expansion of 1.0 in eps
0.449 * [taylor]: Taking taylor expansion of 0 in b
0.449 * [taylor]: Taking taylor expansion of 0 in eps
0.449 * [taylor]: Taking taylor expansion of 0 in eps
0.450 * [taylor]: Taking taylor expansion of 0 in b
0.450 * [taylor]: Taking taylor expansion of 0 in eps
0.450 * [taylor]: Taking taylor expansion of 0 in eps
0.450 * [taylor]: Taking taylor expansion of 0 in eps
0.451 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.451 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0
0.451 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.451 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps
0.451 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.451 * [taylor]: Taking taylor expansion of a in eps
0.451 * [taylor]: Taking taylor expansion of eps in eps
0.451 * [taylor]: Taking taylor expansion of 1.0 in eps
0.451 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a
0.451 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a
0.451 * [taylor]: Taking taylor expansion of (* a eps) in a
0.451 * [taylor]: Taking taylor expansion of a in a
0.451 * [taylor]: Taking taylor expansion of eps in a
0.452 * [taylor]: Taking taylor expansion of 1.0 in a
0.452 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a
0.452 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a
0.452 * [taylor]: Taking taylor expansion of (* a eps) in a
0.452 * [taylor]: Taking taylor expansion of a in a
0.452 * [taylor]: Taking taylor expansion of eps in a
0.452 * [taylor]: Taking taylor expansion of 1.0 in a
0.453 * [taylor]: Taking taylor expansion of 0 in eps
0.453 * [taylor]: Taking taylor expansion of eps in eps
0.455 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps
0.455 * [taylor]: Taking taylor expansion of 1/2 in eps
0.455 * [taylor]: Taking taylor expansion of (pow eps 2) in eps
0.455 * [taylor]: Taking taylor expansion of eps in eps
0.457 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps
0.457 * [taylor]: Taking taylor expansion of 1/6 in eps
0.457 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.457 * [taylor]: Taking taylor expansion of eps in eps
0.460 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps
0.460 * [taylor]: Taking taylor expansion of 1/24 in eps
0.460 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.460 * [taylor]: Taking taylor expansion of eps in eps
0.465 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps
0.465 * [taylor]: Taking taylor expansion of 1/120 in eps
0.465 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
0.465 * [taylor]: Taking taylor expansion of eps in eps
0.472 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps
0.472 * [taylor]: Taking taylor expansion of 1/720 in eps
0.472 * [taylor]: Taking taylor expansion of (pow eps 6) in eps
0.472 * [taylor]: Taking taylor expansion of eps in eps
0.473 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0
0.473 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.473 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.473 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.473 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.473 * [taylor]: Taking taylor expansion of a in eps
0.473 * [taylor]: Taking taylor expansion of eps in eps
0.474 * [taylor]: Taking taylor expansion of 1.0 in eps
0.474 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.474 * [taylor]: Taking taylor expansion of (* a eps) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [taylor]: Taking taylor expansion of eps in a
0.474 * [taylor]: Taking taylor expansion of 1.0 in a
0.474 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.474 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.474 * [taylor]: Taking taylor expansion of (* a eps) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [taylor]: Taking taylor expansion of eps in a
0.475 * [taylor]: Taking taylor expansion of 1.0 in a
0.475 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.475 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.475 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.475 * [taylor]: Taking taylor expansion of a in eps
0.475 * [taylor]: Taking taylor expansion of eps in eps
0.476 * [taylor]: Taking taylor expansion of 1.0 in eps
0.477 * [taylor]: Taking taylor expansion of 0 in eps
0.478 * [taylor]: Taking taylor expansion of 0 in eps
0.479 * [taylor]: Taking taylor expansion of 0 in eps
0.479 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0
0.479 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.479 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.479 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.479 * [taylor]: Taking taylor expansion of a in eps
0.479 * [taylor]: Taking taylor expansion of eps in eps
0.479 * [taylor]: Taking taylor expansion of 1.0 in eps
0.479 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.479 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.479 * [taylor]: Taking taylor expansion of (* a eps) in a
0.479 * [taylor]: Taking taylor expansion of a in a
0.479 * [taylor]: Taking taylor expansion of eps in a
0.480 * [taylor]: Taking taylor expansion of 1.0 in a
0.480 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.480 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.480 * [taylor]: Taking taylor expansion of (* a eps) in a
0.480 * [taylor]: Taking taylor expansion of a in a
0.480 * [taylor]: Taking taylor expansion of eps in a
0.480 * [taylor]: Taking taylor expansion of 1.0 in a
0.481 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.481 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.481 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.481 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.481 * [taylor]: Taking taylor expansion of a in eps
0.481 * [taylor]: Taking taylor expansion of eps in eps
0.481 * [taylor]: Taking taylor expansion of 1.0 in eps
0.482 * [taylor]: Taking taylor expansion of 0 in eps
0.483 * [taylor]: Taking taylor expansion of 0 in eps
0.484 * [taylor]: Taking taylor expansion of 0 in eps
0.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.484 * [approximate]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in (b eps) around 0
0.484 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.484 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps
0.484 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.484 * [taylor]: Taking taylor expansion of eps in eps
0.485 * [taylor]: Taking taylor expansion of b in eps
0.485 * [taylor]: Taking taylor expansion of 1.0 in eps
0.485 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b
0.485 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.485 * [taylor]: Taking taylor expansion of (* eps b) in b
0.485 * [taylor]: Taking taylor expansion of eps in b
0.485 * [taylor]: Taking taylor expansion of b in b
0.485 * [taylor]: Taking taylor expansion of 1.0 in b
0.485 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b
0.485 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.485 * [taylor]: Taking taylor expansion of (* eps b) in b
0.485 * [taylor]: Taking taylor expansion of eps in b
0.485 * [taylor]: Taking taylor expansion of b in b
0.486 * [taylor]: Taking taylor expansion of 1.0 in b
0.486 * [taylor]: Taking taylor expansion of 0 in eps
0.487 * [taylor]: Taking taylor expansion of eps in eps
0.493 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps
0.493 * [taylor]: Taking taylor expansion of 1/2 in eps
0.493 * [taylor]: Taking taylor expansion of (pow eps 2) in eps
0.493 * [taylor]: Taking taylor expansion of eps in eps
0.495 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps
0.495 * [taylor]: Taking taylor expansion of 1/6 in eps
0.495 * [taylor]: Taking taylor expansion of (pow eps 3) in eps
0.495 * [taylor]: Taking taylor expansion of eps in eps
0.499 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps
0.499 * [taylor]: Taking taylor expansion of 1/24 in eps
0.499 * [taylor]: Taking taylor expansion of (pow eps 4) in eps
0.499 * [taylor]: Taking taylor expansion of eps in eps
0.503 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps
0.503 * [taylor]: Taking taylor expansion of 1/120 in eps
0.503 * [taylor]: Taking taylor expansion of (pow eps 5) in eps
0.503 * [taylor]: Taking taylor expansion of eps in eps
0.509 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps
0.509 * [taylor]: Taking taylor expansion of 1/720 in eps
0.509 * [taylor]: Taking taylor expansion of (pow eps 6) in eps
0.509 * [taylor]: Taking taylor expansion of eps in eps
0.511 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
0.511 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.511 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.511 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.511 * [taylor]: Taking taylor expansion of eps in eps
0.511 * [taylor]: Taking taylor expansion of b in eps
0.511 * [taylor]: Taking taylor expansion of 1.0 in eps
0.511 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.511 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.511 * [taylor]: Taking taylor expansion of (* eps b) in b
0.511 * [taylor]: Taking taylor expansion of eps in b
0.511 * [taylor]: Taking taylor expansion of b in b
0.512 * [taylor]: Taking taylor expansion of 1.0 in b
0.512 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.512 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.512 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.512 * [taylor]: Taking taylor expansion of (* eps b) in b
0.512 * [taylor]: Taking taylor expansion of eps in b
0.512 * [taylor]: Taking taylor expansion of b in b
0.512 * [taylor]: Taking taylor expansion of 1.0 in b
0.513 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.513 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.513 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.513 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.513 * [taylor]: Taking taylor expansion of eps in eps
0.513 * [taylor]: Taking taylor expansion of b in eps
0.513 * [taylor]: Taking taylor expansion of 1.0 in eps
0.514 * [taylor]: Taking taylor expansion of 0 in eps
0.515 * [taylor]: Taking taylor expansion of 0 in eps
0.516 * [taylor]: Taking taylor expansion of 0 in eps
0.517 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
0.517 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.517 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.517 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.517 * [taylor]: Taking taylor expansion of eps in eps
0.517 * [taylor]: Taking taylor expansion of b in eps
0.517 * [taylor]: Taking taylor expansion of 1.0 in eps
0.517 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.517 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.517 * [taylor]: Taking taylor expansion of (* eps b) in b
0.517 * [taylor]: Taking taylor expansion of eps in b
0.517 * [taylor]: Taking taylor expansion of b in b
0.517 * [taylor]: Taking taylor expansion of 1.0 in b
0.518 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.518 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.518 * [taylor]: Taking taylor expansion of (* eps b) in b
0.518 * [taylor]: Taking taylor expansion of eps in b
0.518 * [taylor]: Taking taylor expansion of b in b
0.518 * [taylor]: Taking taylor expansion of 1.0 in b
0.519 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.519 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.519 * [taylor]: Taking taylor expansion of eps in eps
0.519 * [taylor]: Taking taylor expansion of b in eps
0.519 * [taylor]: Taking taylor expansion of 1.0 in eps
0.520 * [taylor]: Taking taylor expansion of 0 in eps
0.521 * [taylor]: Taking taylor expansion of 0 in eps
0.522 * [taylor]: Taking taylor expansion of 0 in eps
0.522 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.522 * [approximate]: Taking taylor expansion of (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))) in (eps a b) around 0
0.522 * [taylor]: Taking taylor expansion of (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))) in b
0.522 * [taylor]: Taking taylor expansion of (* eps (- (exp (* (+ a b) eps)) 1.0)) in b
0.522 * [taylor]: Taking taylor expansion of eps in b
0.522 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.522 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b
0.522 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b
0.523 * [taylor]: Taking taylor expansion of (+ a b) in b
0.523 * [taylor]: Taking taylor expansion of a in b
0.523 * [taylor]: Taking taylor expansion of b in b
0.523 * [taylor]: Taking taylor expansion of eps in b
0.523 * [taylor]: Taking taylor expansion of 1.0 in b
0.523 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.523 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b
0.523 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b
0.523 * [taylor]: Taking taylor expansion of (* eps b) in b
0.523 * [taylor]: Taking taylor expansion of eps in b
0.523 * [taylor]: Taking taylor expansion of b in b
0.523 * [taylor]: Taking taylor expansion of 1.0 in b
0.523 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in b
0.523 * [taylor]: Taking taylor expansion of (exp (* a eps)) in b
0.523 * [taylor]: Taking taylor expansion of (* a eps) in b
0.523 * [taylor]: Taking taylor expansion of a in b
0.523 * [taylor]: Taking taylor expansion of eps in b
0.523 * [taylor]: Taking taylor expansion of 1.0 in b
0.527 * [taylor]: Taking taylor expansion of (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))) in a
0.527 * [taylor]: Taking taylor expansion of (* eps (- (exp (* (+ a b) eps)) 1.0)) in a
0.527 * [taylor]: Taking taylor expansion of eps in a
0.527 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a
0.527 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a
0.527 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a
0.527 * [taylor]: Taking taylor expansion of (+ a b) in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of b in a
0.527 * [taylor]: Taking taylor expansion of eps in a
0.527 * [taylor]: Taking taylor expansion of 1.0 in a
0.527 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a
0.527 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a
0.527 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a
0.527 * [taylor]: Taking taylor expansion of (* eps b) in a
0.527 * [taylor]: Taking taylor expansion of eps in a
0.527 * [taylor]: Taking taylor expansion of b in a
0.527 * [taylor]: Taking taylor expansion of 1.0 in a
0.527 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a
0.527 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a
0.527 * [taylor]: Taking taylor expansion of (* a eps) in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of eps in a
0.528 * [taylor]: Taking taylor expansion of 1.0 in a
0.531 * [taylor]: Taking taylor expansion of (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))) in eps
0.531 * [taylor]: Taking taylor expansion of (* eps (- (exp (* (+ a b) eps)) 1.0)) in eps
0.531 * [taylor]: Taking taylor expansion of eps in eps
0.531 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.531 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps
0.531 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps
0.531 * [taylor]: Taking taylor expansion of (+ a b) in eps
0.531 * [taylor]: Taking taylor expansion of a in eps
0.531 * [taylor]: Taking taylor expansion of b in eps
0.532 * [taylor]: Taking taylor expansion of eps in eps
0.532 * [taylor]: Taking taylor expansion of 1.0 in eps
0.532 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps
0.532 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.532 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps
0.532 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.532 * [taylor]: Taking taylor expansion of eps in eps
0.532 * [taylor]: Taking taylor expansion of b in eps
0.532 * [taylor]: Taking taylor expansion of 1.0 in eps
0.533 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.533 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps
0.533 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.533 * [taylor]: Taking taylor expansion of a in eps
0.533 * [taylor]: Taking taylor expansion of eps in eps
0.533 * [taylor]: Taking taylor expansion of 1.0 in eps
0.542 * [taylor]: Taking taylor expansion of (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))) in eps
0.542 * [taylor]: Taking taylor expansion of (* eps (- (exp (* (+ a b) eps)) 1.0)) in eps
0.542 * [taylor]: Taking taylor expansion of eps in eps
0.542 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.542 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps
0.542 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps
0.542 * [taylor]: Taking taylor expansion of (+ a b) in eps
0.542 * [taylor]: Taking taylor expansion of a in eps
0.542 * [taylor]: Taking taylor expansion of b in eps
0.542 * [taylor]: Taking taylor expansion of eps in eps
0.543 * [taylor]: Taking taylor expansion of 1.0 in eps
0.543 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps
0.543 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.543 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps
0.543 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.543 * [taylor]: Taking taylor expansion of eps in eps
0.543 * [taylor]: Taking taylor expansion of b in eps
0.543 * [taylor]: Taking taylor expansion of 1.0 in eps
0.543 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.543 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps
0.543 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.543 * [taylor]: Taking taylor expansion of a in eps
0.543 * [taylor]: Taking taylor expansion of eps in eps
0.543 * [taylor]: Taking taylor expansion of 1.0 in eps
0.553 * [taylor]: Taking taylor expansion of (/ (+ a b) (* a b)) in a
0.553 * [taylor]: Taking taylor expansion of (+ a b) in a
0.553 * [taylor]: Taking taylor expansion of a in a
0.553 * [taylor]: Taking taylor expansion of b in a
0.553 * [taylor]: Taking taylor expansion of (* a b) in a
0.553 * [taylor]: Taking taylor expansion of a in a
0.553 * [taylor]: Taking taylor expansion of b in a
0.553 * [taylor]: Taking taylor expansion of 1 in b
0.562 * [taylor]: Taking taylor expansion of 0 in a
0.563 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.563 * [taylor]: Taking taylor expansion of b in b
0.577 * [taylor]: Taking taylor expansion of (+ (* 1/12 a) (* 1/12 b)) in a
0.577 * [taylor]: Taking taylor expansion of (* 1/12 a) in a
0.577 * [taylor]: Taking taylor expansion of 1/12 in a
0.577 * [taylor]: Taking taylor expansion of a in a
0.577 * [taylor]: Taking taylor expansion of (* 1/12 b) in a
0.577 * [taylor]: Taking taylor expansion of 1/12 in a
0.577 * [taylor]: Taking taylor expansion of b in a
0.577 * [taylor]: Taking taylor expansion of 0 in b
0.579 * [taylor]: Taking taylor expansion of 0 in b
0.604 * [taylor]: Taking taylor expansion of 0 in a
0.605 * [taylor]: Taking taylor expansion of (* 1/12 b) in b
0.605 * [taylor]: Taking taylor expansion of 1/12 in b
0.605 * [taylor]: Taking taylor expansion of b in b
0.605 * [taylor]: Taking taylor expansion of 0 in b
0.606 * [taylor]: Taking taylor expansion of 0 in b
0.607 * [approximate]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in (eps a b) around 0
0.607 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in b
0.607 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.607 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.607 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.608 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.608 * [taylor]: Taking taylor expansion of b in b
0.608 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.608 * [taylor]: Taking taylor expansion of a in b
0.608 * [taylor]: Taking taylor expansion of eps in b
0.608 * [taylor]: Taking taylor expansion of 1.0 in b
0.608 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in b
0.608 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.608 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.608 * [taylor]: Taking taylor expansion of (* eps b) in b
0.608 * [taylor]: Taking taylor expansion of eps in b
0.608 * [taylor]: Taking taylor expansion of b in b
0.609 * [taylor]: Taking taylor expansion of 1.0 in b
0.609 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in b
0.609 * [taylor]: Taking taylor expansion of eps in b
0.609 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b
0.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.609 * [taylor]: Taking taylor expansion of (* a eps) in b
0.609 * [taylor]: Taking taylor expansion of a in b
0.609 * [taylor]: Taking taylor expansion of eps in b
0.609 * [taylor]: Taking taylor expansion of 1.0 in b
0.611 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in a
0.611 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.611 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.611 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.611 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.611 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.611 * [taylor]: Taking taylor expansion of b in a
0.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.611 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of eps in a
0.612 * [taylor]: Taking taylor expansion of 1.0 in a
0.612 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in a
0.612 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a
0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.612 * [taylor]: Taking taylor expansion of (* eps b) in a
0.612 * [taylor]: Taking taylor expansion of eps in a
0.612 * [taylor]: Taking taylor expansion of b in a
0.612 * [taylor]: Taking taylor expansion of 1.0 in a
0.612 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in a
0.612 * [taylor]: Taking taylor expansion of eps in a
0.612 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.612 * [taylor]: Taking taylor expansion of (* a eps) in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of eps in a
0.613 * [taylor]: Taking taylor expansion of 1.0 in a
0.615 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in eps
0.615 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.615 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.615 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.615 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.615 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.615 * [taylor]: Taking taylor expansion of b in eps
0.615 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.615 * [taylor]: Taking taylor expansion of a in eps
0.615 * [taylor]: Taking taylor expansion of eps in eps
0.615 * [taylor]: Taking taylor expansion of 1.0 in eps
0.615 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in eps
0.615 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.615 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.615 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.615 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.615 * [taylor]: Taking taylor expansion of eps in eps
0.615 * [taylor]: Taking taylor expansion of b in eps
0.616 * [taylor]: Taking taylor expansion of 1.0 in eps
0.616 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.616 * [taylor]: Taking taylor expansion of eps in eps
0.616 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.616 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.616 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.616 * [taylor]: Taking taylor expansion of a in eps
0.616 * [taylor]: Taking taylor expansion of eps in eps
0.616 * [taylor]: Taking taylor expansion of 1.0 in eps
0.620 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in eps
0.620 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.620 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.620 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.620 * [taylor]: Taking taylor expansion of b in eps
0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.620 * [taylor]: Taking taylor expansion of a in eps
0.620 * [taylor]: Taking taylor expansion of eps in eps
0.620 * [taylor]: Taking taylor expansion of 1.0 in eps
0.620 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in eps
0.620 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.620 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.620 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.620 * [taylor]: Taking taylor expansion of eps in eps
0.620 * [taylor]: Taking taylor expansion of b in eps
0.621 * [taylor]: Taking taylor expansion of 1.0 in eps
0.621 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.621 * [taylor]: Taking taylor expansion of eps in eps
0.621 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.621 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.621 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.621 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.621 * [taylor]: Taking taylor expansion of a in eps
0.621 * [taylor]: Taking taylor expansion of eps in eps
0.621 * [taylor]: Taking taylor expansion of 1.0 in eps
0.625 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 a) (/ 1 b)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))))) in a
0.625 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 a) (/ 1 b)) eps)) 1.0) in a
0.625 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 a) (/ 1 b)) eps)) in a
0.625 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) (/ 1 b)) eps) in a
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.625 * [taylor]: Taking taylor expansion of a in a
0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.625 * [taylor]: Taking taylor expansion of b in a
0.626 * [taylor]: Taking taylor expansion of eps in a
0.626 * [taylor]: Taking taylor expansion of 1.0 in a
0.626 * [taylor]: Taking taylor expansion of (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))) in a
0.626 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) in a
0.626 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) in a
0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.626 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.626 * [taylor]: Taking taylor expansion of (* a eps) in a
0.626 * [taylor]: Taking taylor expansion of a in a
0.626 * [taylor]: Taking taylor expansion of eps in a
0.626 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.626 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.626 * [taylor]: Taking taylor expansion of (* eps b) in a
0.626 * [taylor]: Taking taylor expansion of eps in a
0.626 * [taylor]: Taking taylor expansion of b in a
0.627 * [taylor]: Taking taylor expansion of 1.0 in a
0.627 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))) in a
0.627 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* a eps)))) in a
0.627 * [taylor]: Taking taylor expansion of 1.0 in a
0.627 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.627 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.627 * [taylor]: Taking taylor expansion of (* a eps) in a
0.627 * [taylor]: Taking taylor expansion of a in a
0.627 * [taylor]: Taking taylor expansion of eps in a
0.627 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* eps b)))) in a
0.627 * [taylor]: Taking taylor expansion of 1.0 in a
0.627 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.627 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.627 * [taylor]: Taking taylor expansion of (* eps b) in a
0.627 * [taylor]: Taking taylor expansion of eps in a
0.627 * [taylor]: Taking taylor expansion of b in a
0.629 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))))) in b
0.629 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.629 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.629 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.629 * [taylor]: Taking taylor expansion of b in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.629 * [taylor]: Taking taylor expansion of a in b
0.629 * [taylor]: Taking taylor expansion of eps in b
0.630 * [taylor]: Taking taylor expansion of 1.0 in b
0.630 * [taylor]: Taking taylor expansion of (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))) in b
0.630 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) in b
0.630 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) in b
0.630 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.630 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.630 * [taylor]: Taking taylor expansion of (* a eps) in b
0.630 * [taylor]: Taking taylor expansion of a in b
0.630 * [taylor]: Taking taylor expansion of eps in b
0.630 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.630 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.630 * [taylor]: Taking taylor expansion of (* eps b) in b
0.630 * [taylor]: Taking taylor expansion of eps in b
0.630 * [taylor]: Taking taylor expansion of b in b
0.631 * [taylor]: Taking taylor expansion of 1.0 in b
0.631 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))) in b
0.631 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* a eps)))) in b
0.631 * [taylor]: Taking taylor expansion of 1.0 in b
0.631 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.631 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.631 * [taylor]: Taking taylor expansion of (* a eps) in b
0.631 * [taylor]: Taking taylor expansion of a in b
0.631 * [taylor]: Taking taylor expansion of eps in b
0.631 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* eps b)))) in b
0.631 * [taylor]: Taking taylor expansion of 1.0 in b
0.631 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.631 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.631 * [taylor]: Taking taylor expansion of (* eps b) in b
0.631 * [taylor]: Taking taylor expansion of eps in b
0.631 * [taylor]: Taking taylor expansion of b in b
0.637 * [taylor]: Taking taylor expansion of 0 in a
0.637 * [taylor]: Taking taylor expansion of 0 in b
0.641 * [taylor]: Taking taylor expansion of 0 in b
0.650 * [taylor]: Taking taylor expansion of 0 in a
0.650 * [taylor]: Taking taylor expansion of 0 in b
0.650 * [taylor]: Taking taylor expansion of 0 in b
0.657 * [taylor]: Taking taylor expansion of 0 in b
0.658 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))))) in (eps a b) around 0
0.658 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))))) in b
0.659 * [taylor]: Taking taylor expansion of -1 in b
0.659 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in b
0.659 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.659 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.659 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.659 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.659 * [taylor]: Taking taylor expansion of b in b
0.659 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.659 * [taylor]: Taking taylor expansion of a in b
0.659 * [taylor]: Taking taylor expansion of eps in b
0.660 * [taylor]: Taking taylor expansion of 1.0 in b
0.660 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in b
0.660 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b
0.660 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.660 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.660 * [taylor]: Taking taylor expansion of (* eps b) in b
0.660 * [taylor]: Taking taylor expansion of eps in b
0.660 * [taylor]: Taking taylor expansion of b in b
0.660 * [taylor]: Taking taylor expansion of 1.0 in b
0.660 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in b
0.660 * [taylor]: Taking taylor expansion of eps in b
0.660 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b
0.660 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.660 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.660 * [taylor]: Taking taylor expansion of (* a eps) in b
0.660 * [taylor]: Taking taylor expansion of a in b
0.660 * [taylor]: Taking taylor expansion of eps in b
0.661 * [taylor]: Taking taylor expansion of 1.0 in b
0.663 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))))) in a
0.663 * [taylor]: Taking taylor expansion of -1 in a
0.663 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in a
0.663 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.663 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.663 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.663 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.663 * [taylor]: Taking taylor expansion of b in a
0.663 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.663 * [taylor]: Taking taylor expansion of a in a
0.663 * [taylor]: Taking taylor expansion of eps in a
0.664 * [taylor]: Taking taylor expansion of 1.0 in a
0.664 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in a
0.664 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a
0.664 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.664 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.664 * [taylor]: Taking taylor expansion of (* eps b) in a
0.664 * [taylor]: Taking taylor expansion of eps in a
0.664 * [taylor]: Taking taylor expansion of b in a
0.664 * [taylor]: Taking taylor expansion of 1.0 in a
0.664 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in a
0.664 * [taylor]: Taking taylor expansion of eps in a
0.664 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a
0.664 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.664 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.664 * [taylor]: Taking taylor expansion of (* a eps) in a
0.664 * [taylor]: Taking taylor expansion of a in a
0.664 * [taylor]: Taking taylor expansion of eps in a
0.664 * [taylor]: Taking taylor expansion of 1.0 in a
0.666 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))))) in eps
0.666 * [taylor]: Taking taylor expansion of -1 in eps
0.666 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in eps
0.666 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.666 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.666 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.666 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.666 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.666 * [taylor]: Taking taylor expansion of b in eps
0.666 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.667 * [taylor]: Taking taylor expansion of a in eps
0.667 * [taylor]: Taking taylor expansion of eps in eps
0.667 * [taylor]: Taking taylor expansion of 1.0 in eps
0.667 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in eps
0.667 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.667 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.667 * [taylor]: Taking taylor expansion of eps in eps
0.667 * [taylor]: Taking taylor expansion of b in eps
0.667 * [taylor]: Taking taylor expansion of 1.0 in eps
0.667 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.667 * [taylor]: Taking taylor expansion of eps in eps
0.667 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.667 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.667 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.667 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.667 * [taylor]: Taking taylor expansion of a in eps
0.667 * [taylor]: Taking taylor expansion of eps in eps
0.668 * [taylor]: Taking taylor expansion of 1.0 in eps
0.676 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))))) in eps
0.676 * [taylor]: Taking taylor expansion of -1 in eps
0.676 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0)))) in eps
0.676 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.676 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps
0.676 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps
0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps
0.676 * [taylor]: Taking taylor expansion of (/ 1 b) in eps
0.676 * [taylor]: Taking taylor expansion of b in eps
0.676 * [taylor]: Taking taylor expansion of (/ 1 a) in eps
0.676 * [taylor]: Taking taylor expansion of a in eps
0.676 * [taylor]: Taking taylor expansion of eps in eps
0.676 * [taylor]: Taking taylor expansion of 1.0 in eps
0.676 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (* eps (- (exp (/ 1 (* a eps))) 1.0))) in eps
0.676 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps
0.676 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps
0.676 * [taylor]: Taking taylor expansion of (* eps b) in eps
0.676 * [taylor]: Taking taylor expansion of eps in eps
0.676 * [taylor]: Taking taylor expansion of b in eps
0.677 * [taylor]: Taking taylor expansion of 1.0 in eps
0.677 * [taylor]: Taking taylor expansion of (* eps (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.677 * [taylor]: Taking taylor expansion of eps in eps
0.677 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.677 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps
0.677 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps
0.677 * [taylor]: Taking taylor expansion of (* a eps) in eps
0.677 * [taylor]: Taking taylor expansion of a in eps
0.677 * [taylor]: Taking taylor expansion of eps in eps
0.677 * [taylor]: Taking taylor expansion of 1.0 in eps
0.681 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))))) in a
0.682 * [taylor]: Taking taylor expansion of -1 in a
0.682 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))))) in a
0.682 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a
0.682 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a
0.682 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a
0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a
0.682 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.682 * [taylor]: Taking taylor expansion of b in a
0.682 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.682 * [taylor]: Taking taylor expansion of a in a
0.682 * [taylor]: Taking taylor expansion of eps in a
0.682 * [taylor]: Taking taylor expansion of 1.0 in a
0.682 * [taylor]: Taking taylor expansion of (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))) in a
0.682 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) in a
0.682 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) in a
0.682 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.683 * [taylor]: Taking taylor expansion of (* a eps) in a
0.683 * [taylor]: Taking taylor expansion of a in a
0.683 * [taylor]: Taking taylor expansion of eps in a
0.683 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.683 * [taylor]: Taking taylor expansion of (* eps b) in a
0.683 * [taylor]: Taking taylor expansion of eps in a
0.683 * [taylor]: Taking taylor expansion of b in a
0.683 * [taylor]: Taking taylor expansion of 1.0 in a
0.683 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))) in a
0.683 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* a eps)))) in a
0.683 * [taylor]: Taking taylor expansion of 1.0 in a
0.683 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a
0.683 * [taylor]: Taking taylor expansion of (* a eps) in a
0.683 * [taylor]: Taking taylor expansion of a in a
0.683 * [taylor]: Taking taylor expansion of eps in a
0.684 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* eps b)))) in a
0.684 * [taylor]: Taking taylor expansion of 1.0 in a
0.684 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a
0.684 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a
0.684 * [taylor]: Taking taylor expansion of (* eps b) in a
0.684 * [taylor]: Taking taylor expansion of eps in a
0.684 * [taylor]: Taking taylor expansion of b in a
0.686 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))))) in b
0.686 * [taylor]: Taking taylor expansion of -1 in b
0.686 * [taylor]: Taking taylor expansion of (/ (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))))) in b
0.686 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.686 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b
0.686 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.686 * [taylor]: Taking taylor expansion of b in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.686 * [taylor]: Taking taylor expansion of a in b
0.686 * [taylor]: Taking taylor expansion of eps in b
0.687 * [taylor]: Taking taylor expansion of 1.0 in b
0.687 * [taylor]: Taking taylor expansion of (- (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b)))))) in b
0.687 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) 1.0) in b
0.687 * [taylor]: Taking taylor expansion of (* (exp (/ 1 (* a eps))) (exp (/ 1 (* eps b)))) in b
0.687 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.687 * [taylor]: Taking taylor expansion of (* a eps) in b
0.687 * [taylor]: Taking taylor expansion of a in b
0.687 * [taylor]: Taking taylor expansion of eps in b
0.687 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.687 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.687 * [taylor]: Taking taylor expansion of (* eps b) in b
0.687 * [taylor]: Taking taylor expansion of eps in b
0.687 * [taylor]: Taking taylor expansion of b in b
0.687 * [taylor]: Taking taylor expansion of 1.0 in b
0.688 * [taylor]: Taking taylor expansion of (+ (* 1.0 (exp (/ 1 (* a eps)))) (* 1.0 (exp (/ 1 (* eps b))))) in b
0.688 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* a eps)))) in b
0.688 * [taylor]: Taking taylor expansion of 1.0 in b
0.688 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b
0.688 * [taylor]: Taking taylor expansion of (* a eps) in b
0.688 * [taylor]: Taking taylor expansion of a in b
0.688 * [taylor]: Taking taylor expansion of eps in b
0.688 * [taylor]: Taking taylor expansion of (* 1.0 (exp (/ 1 (* eps b)))) in b
0.688 * [taylor]: Taking taylor expansion of 1.0 in b
0.688 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b
0.688 * [taylor]: Taking taylor expansion of (* eps b) in b
0.688 * [taylor]: Taking taylor expansion of eps in b
0.688 * [taylor]: Taking taylor expansion of b in b
0.695 * [taylor]: Taking taylor expansion of 0 in a
0.695 * [taylor]: Taking taylor expansion of 0 in b
0.700 * [taylor]: Taking taylor expansion of 0 in b
0.710 * [taylor]: Taking taylor expansion of 0 in a
0.710 * [taylor]: Taking taylor expansion of 0 in b
0.710 * [taylor]: Taking taylor expansion of 0 in b
0.717 * [taylor]: Taking taylor expansion of 0 in b
0.718 * * * [progress]: simplifying candidates
0.720 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp (* (+ a b) eps))) (sqrt (exp (* (+ a b) eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp (* (+ a b) eps))) (sqrt (exp (* (+ a b) eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp (* (+ a b) eps))) (sqrt (exp (* (+ a b) eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp (* (+ a b) eps)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp (* (+ a b) eps)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp (* (+ a b) eps)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp (* (+ a b) eps)) 1.0))
  (log1p (- (exp (* (+ a b) eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp (* (+ a b) eps))) (exp 1.0))
  (log (- (exp (* (+ a b) eps)) 1.0))
  (exp (- (exp (* (+ a b) eps)) 1.0))
  (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0)))
  (cbrt (- (exp (* (+ a b) eps)) 1.0))
  (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0))
  (sqrt (- (exp (* (+ a b) eps)) 1.0))
  (sqrt (- (exp (* (+ a b) eps)) 1.0))
  (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3))
  (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0)))
  (- 1.0)
  (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0))
  (+ (exp (* (+ a b) eps)) 1.0)
  (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
  (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
  (- (exp (* (+ a b) eps)) 1.0)
  (- 1.0)
  (fma (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp (* a eps))) (sqrt (exp (* a eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp (* a eps))) (sqrt (exp (* a eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp (* a eps))) (sqrt (exp (* a eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp (* a eps)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp (* a eps)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp (* a eps)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp (* a eps)) 1.0))
  (log1p (- (exp (* a eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp (* a eps))) (exp 1.0))
  (log (- (exp (* a eps)) 1.0))
  (exp (- (exp (* a eps)) 1.0))
  (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0)))
  (cbrt (- (exp (* a eps)) 1.0))
  (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0))
  (sqrt (- (exp (* a eps)) 1.0))
  (sqrt (- (exp (* a eps)) 1.0))
  (- (pow (exp (* a eps)) 3) (pow 1.0 3))
  (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0)))
  (- 1.0)
  (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0))
  (+ (exp (* a eps)) 1.0)
  (+ (sqrt (exp (* a eps))) (sqrt 1.0))
  (- (sqrt (exp (* a eps))) (sqrt 1.0))
  (- (exp (* a eps)) 1.0)
  (- 1.0)
  (fma (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp (* b eps))) (sqrt (exp (* b eps))) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp (* b eps))) (sqrt (exp (* b eps))) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp (* b eps))) (sqrt (exp (* b eps))) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp (* b eps)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp (* b eps)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp (* b eps)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp (* b eps)) 1.0))
  (log1p (- (exp (* b eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp (* b eps))) (exp 1.0))
  (log (- (exp (* b eps)) 1.0))
  (exp (- (exp (* b eps)) 1.0))
  (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0)))
  (cbrt (- (exp (* b eps)) 1.0))
  (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0))
  (sqrt (- (exp (* b eps)) 1.0))
  (sqrt (- (exp (* b eps)) 1.0))
  (- (pow (exp (* b eps)) 3) (pow 1.0 3))
  (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0)))
  (- 1.0)
  (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))
  (+ (exp (* b eps)) 1.0)
  (+ (sqrt (exp (* b eps))) (sqrt 1.0))
  (- (sqrt (exp (* b eps))) (sqrt 1.0))
  (- (exp (* b eps)) 1.0)
  (- 1.0)
  (expm1 (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log1p (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (- (+ (log eps) (log (- (exp (* (+ a b) eps)) 1.0))) (+ (log (- (exp (* a eps)) 1.0)) (log (- (exp (* b eps)) 1.0))))
  (- (+ (log eps) (log (- (exp (* (+ a b) eps)) 1.0))) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (- (log (* eps (- (exp (* (+ a b) eps)) 1.0))) (+ (log (- (exp (* a eps)) 1.0)) (log (- (exp (* b eps)) 1.0))))
  (- (log (* eps (- (exp (* (+ a b) eps)) 1.0))) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (exp (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (/ (* (* (* eps eps) eps) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0))))
  (/ (* (* (* eps eps) eps) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (/ (* (* (* eps (- (exp (* (+ a b) eps)) 1.0)) (* eps (- (exp (* (+ a b) eps)) 1.0))) (* eps (- (exp (* (+ a b) eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0))))
  (/ (* (* (* eps (- (exp (* (+ a b) eps)) 1.0)) (* eps (- (exp (* (+ a b) eps)) 1.0))) (* eps (- (exp (* (+ a b) eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (* (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))))
  (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (* (* (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (sqrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (sqrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (- (* eps (- (exp (* (+ a b) eps)) 1.0)))
  (- (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (/ eps (- (exp (* a eps)) 1.0))
  (/ (- (exp (* (+ a b) eps)) 1.0) (- (exp (* b eps)) 1.0))
  (/ 1 (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (/ (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* eps (- (exp (* (+ a b) eps)) 1.0)))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* a eps)) 1.0))
  (/ (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (exp (* b eps)) 1.0)))
  (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))))
  (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (+ (exp (* (+ a b) eps)) 1.0))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))
  (- (exp (* (+ a b) eps)) 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (- (exp (* a eps)) 1.0)
  (- (exp (* a eps)) 1.0)
  (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b)))
  (- (exp (* eps b)) 1.0)
  (- (exp (* eps b)) 1.0)
  (+ (/ 1 b) (/ 1 a))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (- (+ (* (exp (* a eps)) (exp (* eps b))) 1.0) (+ (* 1.0 (exp (* eps b))) (* 1.0 (exp (* a eps))))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (- (+ (* (exp (* a eps)) (exp (* eps b))) 1.0) (+ (* 1.0 (exp (* eps b))) (* 1.0 (exp (* a eps))))))
0.729 * * [simplify]: iteration  0 :  608  enodes  (cost  1462 )
0.740 * * [simplify]: iteration  1 :  2778  enodes  (cost  1079 )
0.788 * * [simplify]: iteration  2 :  5002  enodes  (cost  1072 )
0.794 * [simplify]: Simplified to:
   (- (* (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* (+ a b) eps))) (cbrt (exp (* (+ a b) eps)))) (cbrt (exp (* (+ a b) eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (expm1 (- (exp (* (+ a b) eps)) 1.0))
  (log1p (- (exp (* (+ a b) eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp (* (+ a b) eps)) 1.0))
  (log (- (exp (* (+ a b) eps)) 1.0))
  (exp (- (exp (* (+ a b) eps)) 1.0))
  (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0)))
  (cbrt (- (exp (* (+ a b) eps)) 1.0))
  (pow (- (exp (* (+ a b) eps)) 1.0) 3)
  (sqrt (- (exp (* (+ a b) eps)) 1.0))
  (sqrt (- (exp (* (+ a b) eps)) 1.0))
  (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3))
  (fma 1.0 (+ 1.0 (exp (fma a eps (* eps b)))) (pow (exp (+ a b)) (* 2 eps)))
  (- 1.0)
  (fma (- 1.0) 1.0 (pow (exp (+ a b)) (* 2 eps)))
  (+ 1.0 (exp (fma a eps (* eps b))))
  (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
  (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0))
  (- (exp (* (+ a b) eps)) 1.0)
  (- 1.0)
  (- (* (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* a eps))) (cbrt (exp (* a eps)))) (cbrt (exp (* a eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* a eps)) 1.0)
  (fma (- 1.0) 1 1.0)
  (expm1 (- (exp (* a eps)) 1.0))
  (log1p (- (exp (* a eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp (* a eps)) 1.0))
  (log (- (exp (* a eps)) 1.0))
  (exp (- (exp (* a eps)) 1.0))
  (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0)))
  (cbrt (- (exp (* a eps)) 1.0))
  (pow (- (exp (* a eps)) 1.0) 3)
  (sqrt (- (exp (* a eps)) 1.0))
  (sqrt (- (exp (* a eps)) 1.0))
  (- (pow (exp (* a eps)) 3) (pow 1.0 3))
  (fma (+ (exp (* a eps)) 1.0) 1.0 (pow (exp a) (* 2 eps)))
  (- 1.0)
  (fma (- 1.0) 1.0 (pow (exp a) (* 2 eps)))
  (+ (exp (* a eps)) 1.0)
  (+ (sqrt (exp (* a eps))) (sqrt 1.0))
  (- (sqrt (exp (* a eps))) (sqrt 1.0))
  (- (exp (* a eps)) 1.0)
  (- 1.0)
  (- (* (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (* (* (cbrt (exp (* b eps))) (cbrt (exp (* b eps)))) (cbrt (exp (* b eps)))) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (- (exp (* eps b)) 1.0)
  (fma (- 1.0) 1 1.0)
  (expm1 (- (exp (* b eps)) 1.0))
  (log1p (- (exp (* b eps)) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp (* b eps)) 1.0))
  (log (- (exp (* eps b)) 1.0))
  (exp (- (exp (* b eps)) 1.0))
  (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0)))
  (cbrt (- (exp (* b eps)) 1.0))
  (pow (- (exp (* eps b)) 1.0) 3)
  (sqrt (- (exp (* b eps)) 1.0))
  (sqrt (- (exp (* b eps)) 1.0))
  (- (pow (exp (* b eps)) 3) (pow 1.0 3))
  (fma (+ (exp (* b eps)) 1.0) 1.0 (pow (exp b) (* 2 eps)))
  (- 1.0)
  (fma (- 1.0) 1.0 (pow (exp b) (* 2 eps)))
  (+ (exp (* b eps)) 1.0)
  (+ (sqrt (exp (* b eps))) (sqrt 1.0))
  (- (sqrt (exp (* b eps))) (sqrt 1.0))
  (- (exp (* eps b)) 1.0)
  (- 1.0)
  (expm1 (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log1p (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (log (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (exp (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (pow (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 3)
  (pow (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 3)
  (pow (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 3)
  (pow (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 3)
  (* (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))))
  (cbrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (pow (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 3)
  (sqrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (sqrt (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (- (* eps (- (exp (* (+ a b) eps)) 1.0)))
  (- (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (/ eps (- (exp (* a eps)) 1.0))
  (/ (- (exp (* (+ a b) eps)) 1.0) (- (exp (* b eps)) 1.0))
  (/ 1 (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (/ (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* eps (- (exp (* (+ a b) eps)) 1.0)))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* a eps)) 1.0))
  (/ (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)))
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (exp (* b eps)) 1.0)))
  (* (* (- (exp (* a eps)) 1.0) (- (exp (* eps b)) 1.0)) (fma 1.0 (+ (exp (* (+ a b) eps)) 1.0) (exp (+ (* (+ a b) eps) (* (+ a b) eps)))))
  (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (+ (exp (* (+ a b) eps)) 1.0))
  (fma 1/2 (* (pow a 2) (pow eps 2)) (fma a eps (* eps b)))
  (- (exp (* (+ a b) eps)) 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
  (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps)))
  (- (exp (* a eps)) 1.0)
  (- (exp (* a eps)) 1.0)
  (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b)))
  (- (exp (* eps b)) 1.0)
  (- (exp (* eps b)) 1.0)
  (+ (/ 1 b) (/ 1 a))
  (/ eps (/ (+ (exp (fma a eps (* eps b))) (- 1.0 (fma 1.0 (exp (* eps b)) (* 1.0 (exp (* a eps)))))) (- (exp (* (+ a b) eps)) 1.0)))
  (/ eps (/ (+ (exp (fma a eps (* eps b))) (- 1.0 (fma 1.0 (exp (* eps b)) (* 1.0 (exp (* a eps)))))) (- (exp (* (+ a b) eps)) 1.0)))
0.795 * * * [progress]: adding candidates to table
1.370 * * [progress]: iteration 2 / 4
1.370 * * * [progress]: picking best candidate
1.386 * * * * [pick]: Picked  #<alt (λ (a b eps) (+ (/ 1 b) (/ 1 a)))>
1.386 * * * [progress]: localizing error
1.391 * * * [progress]: generating rewritten candidates
1.391 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.405 * * * [progress]: generating series expansions
1.405 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.405 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in (b a) around 0
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a
1.405 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.405 * [taylor]: Taking taylor expansion of a in a
1.405 * [taylor]: Taking taylor expansion of (/ 1 b) in a
1.405 * [taylor]: Taking taylor expansion of b in a
1.405 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.405 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.405 * [taylor]: Taking taylor expansion of a in b
1.405 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.405 * [taylor]: Taking taylor expansion of b in b
1.406 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b
1.406 * [taylor]: Taking taylor expansion of (/ 1 a) in b
1.406 * [taylor]: Taking taylor expansion of a in b
1.406 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.406 * [taylor]: Taking taylor expansion of b in b
1.406 * [taylor]: Taking taylor expansion of 1 in a
1.407 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.407 * [taylor]: Taking taylor expansion of a in a
1.408 * [taylor]: Taking taylor expansion of 0 in a
1.409 * [taylor]: Taking taylor expansion of 0 in a
1.411 * [taylor]: Taking taylor expansion of 0 in a
1.411 * [approximate]: Taking taylor expansion of (+ a b) in (b a) around 0
1.411 * [taylor]: Taking taylor expansion of (+ a b) in a
1.411 * [taylor]: Taking taylor expansion of a in a
1.411 * [taylor]: Taking taylor expansion of b in a
1.411 * [taylor]: Taking taylor expansion of (+ a b) in b
1.411 * [taylor]: Taking taylor expansion of a in b
1.411 * [taylor]: Taking taylor expansion of b in b
1.411 * [taylor]: Taking taylor expansion of (+ a b) in b
1.411 * [taylor]: Taking taylor expansion of a in b
1.411 * [taylor]: Taking taylor expansion of b in b
1.411 * [taylor]: Taking taylor expansion of a in a
1.411 * [taylor]: Taking taylor expansion of 1 in a
1.412 * [taylor]: Taking taylor expansion of 0 in a
1.412 * [taylor]: Taking taylor expansion of 0 in a
1.412 * [approximate]: Taking taylor expansion of (- (+ a b)) in (b a) around 0
1.412 * [taylor]: Taking taylor expansion of (- (+ a b)) in a
1.412 * [taylor]: Taking taylor expansion of (+ a b) in a
1.412 * [taylor]: Taking taylor expansion of a in a
1.412 * [taylor]: Taking taylor expansion of b in a
1.412 * [taylor]: Taking taylor expansion of (- (+ a b)) in b
1.412 * [taylor]: Taking taylor expansion of (+ a b) in b
1.412 * [taylor]: Taking taylor expansion of a in b
1.412 * [taylor]: Taking taylor expansion of b in b
1.412 * [taylor]: Taking taylor expansion of (- (+ a b)) in b
1.412 * [taylor]: Taking taylor expansion of (+ a b) in b
1.412 * [taylor]: Taking taylor expansion of a in b
1.412 * [taylor]: Taking taylor expansion of b in b
1.412 * [taylor]: Taking taylor expansion of (- a) in a
1.412 * [taylor]: Taking taylor expansion of a in a
1.413 * [taylor]: Taking taylor expansion of -1 in a
1.414 * [taylor]: Taking taylor expansion of 0 in a
1.417 * [taylor]: Taking taylor expansion of 0 in a
1.418 * * * [progress]: simplifying candidates
1.418 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (+ (/ 1 b) (/ 1 a)))
  (log1p (+ (/ 1 b) (/ 1 a)))
  (* (exp (/ 1 b)) (exp (/ 1 a)))
  (log (+ (/ 1 b) (/ 1 a)))
  (exp (+ (/ 1 b) (/ 1 a)))
  (* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
  (cbrt (+ (/ 1 b) (/ 1 a)))
  (* (* (+ (/ 1 b) (/ 1 a)) (+ (/ 1 b) (/ 1 a))) (+ (/ 1 b) (/ 1 a)))
  (sqrt (+ (/ 1 b) (/ 1 a)))
  (sqrt (+ (/ 1 b) (/ 1 a)))
  (+ (* 1 a) (* b 1))
  (* b a)
  (+ (pow (/ 1 b) 3) (pow (/ 1 a) 3))
  (+ (* (/ 1 b) (/ 1 b)) (- (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 a))))
  (- (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 a)))
  (- (/ 1 b) (/ 1 a))
  (+ (/ (cbrt 1) b) (/ (cbrt 1) a))
  (+ (/ (sqrt 1) b) (/ (sqrt 1) a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 a) (/ 1 b))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
1.421 * * [simplify]: iteration  0 :  107  enodes  (cost  112 )
1.424 * * [simplify]: iteration  1 :  368  enodes  (cost  101 )
1.431 * * [simplify]: iteration  2 :  1274  enodes  (cost  98 )
1.447 * * [simplify]: iteration  3 :  3144  enodes  (cost  98 )
1.484 * * [simplify]: iteration  4 :  5001  enodes  (cost  98 )
1.485 * [simplify]: Simplified to:
   (expm1 (+ (/ 1 b) (/ 1 a)))
  (log1p (+ (/ 1 b) (/ 1 a)))
  (exp (+ (/ 1 b) (/ 1 a)))
  (log (+ (/ 1 b) (/ 1 a)))
  (exp (+ (/ 1 b) (/ 1 a)))
  (* (cbrt (+ (/ 1 b) (/ 1 a))) (cbrt (+ (/ 1 b) (/ 1 a))))
  (cbrt (+ (/ 1 b) (/ 1 a)))
  (pow (+ (/ 1 b) (/ 1 a)) 3)
  (sqrt (+ (/ 1 b) (/ 1 a)))
  (sqrt (+ (/ 1 b) (/ 1 a)))
  (+ b a)
  (* b a)
  (+ (pow (/ 1 b) 3) (pow (/ 1 a) 3))
  (fma (/ 1 a) (- (/ 1 a) (/ 1 b)) (/ (/ 1 b) b))
  (+ (/ (- (/ 1 a)) a) (/ (/ 1 b) b))
  (- (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
  (+ (/ 1 b) (/ 1 a))
1.485 * * * [progress]: adding candidates to table
1.548 * * [progress]: iteration 3 / 4
1.548 * * * [progress]: picking best candidate
1.569 * * * * [pick]: Picked  #<alt (λ (a b eps) (fma (/ 1 (* (cbrt b) (cbrt b))) (/ 1 (cbrt b)) (/ 1 a)))>
1.569 * * * [progress]: localizing error
1.579 * * * [progress]: generating rewritten candidates
1.579 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.580 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
1.582 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.590 * * * [progress]: generating series expansions
1.590 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.590 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
1.590 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.590 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.590 * [taylor]: Taking taylor expansion of 1/3 in b
1.590 * [taylor]: Taking taylor expansion of (log b) in b
1.590 * [taylor]: Taking taylor expansion of b in b
1.591 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.591 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.591 * [taylor]: Taking taylor expansion of 1/3 in b
1.591 * [taylor]: Taking taylor expansion of (log b) in b
1.591 * [taylor]: Taking taylor expansion of b in b
1.642 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.642 * [taylor]: Taking taylor expansion of 1/3 in b
1.642 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.642 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.642 * [taylor]: Taking taylor expansion of b in b
1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.643 * [taylor]: Taking taylor expansion of 1/3 in b
1.643 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.643 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.643 * [taylor]: Taking taylor expansion of b in b
1.696 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
1.696 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
1.696 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.696 * [taylor]: Taking taylor expansion of -1 in b
1.697 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.697 * [taylor]: Taking taylor expansion of 1/3 in b
1.697 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.697 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.697 * [taylor]: Taking taylor expansion of b in b
1.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
1.698 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.698 * [taylor]: Taking taylor expansion of -1 in b
1.698 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.699 * [taylor]: Taking taylor expansion of 1/3 in b
1.699 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.699 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.699 * [taylor]: Taking taylor expansion of b in b
1.765 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1.765 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
1.765 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.765 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.765 * [taylor]: Taking taylor expansion of 1/3 in b
1.765 * [taylor]: Taking taylor expansion of (log b) in b
1.765 * [taylor]: Taking taylor expansion of b in b
1.766 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.766 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.766 * [taylor]: Taking taylor expansion of 1/3 in b
1.766 * [taylor]: Taking taylor expansion of (log b) in b
1.766 * [taylor]: Taking taylor expansion of b in b
1.813 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
1.813 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.813 * [taylor]: Taking taylor expansion of 1/3 in b
1.813 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.813 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.813 * [taylor]: Taking taylor expansion of b in b
1.814 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.814 * [taylor]: Taking taylor expansion of 1/3 in b
1.814 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.814 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.814 * [taylor]: Taking taylor expansion of b in b
1.868 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
1.868 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
1.868 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.868 * [taylor]: Taking taylor expansion of -1 in b
1.869 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.869 * [taylor]: Taking taylor expansion of 1/3 in b
1.869 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.869 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.869 * [taylor]: Taking taylor expansion of b in b
1.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
1.870 * [taylor]: Taking taylor expansion of (cbrt -1) in b
1.870 * [taylor]: Taking taylor expansion of -1 in b
1.871 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.871 * [taylor]: Taking taylor expansion of 1/3 in b
1.871 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.871 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.871 * [taylor]: Taking taylor expansion of b in b
1.936 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
1.937 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0
1.937 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.937 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.937 * [taylor]: Taking taylor expansion of 1/3 in b
1.937 * [taylor]: Taking taylor expansion of (log b) in b
1.937 * [taylor]: Taking taylor expansion of b in b
1.937 * [taylor]: Taking taylor expansion of (pow b 1/3) in b
1.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b
1.937 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b
1.937 * [taylor]: Taking taylor expansion of 1/3 in b
1.937 * [taylor]: Taking taylor expansion of (log b) in b
1.937 * [taylor]: Taking taylor expansion of b in b
1.989 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0
1.989 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.989 * [taylor]: Taking taylor expansion of 1/3 in b
1.989 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.989 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.989 * [taylor]: Taking taylor expansion of b in b
1.990 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
1.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
1.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
1.990 * [taylor]: Taking taylor expansion of 1/3 in b
1.990 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
1.990 * [taylor]: Taking taylor expansion of (/ 1 b) in b
1.990 * [taylor]: Taking taylor expansion of b in b
2.039 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0
2.039 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.039 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.039 * [taylor]: Taking taylor expansion of -1 in b
2.040 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.040 * [taylor]: Taking taylor expansion of 1/3 in b
2.040 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.040 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.040 * [taylor]: Taking taylor expansion of b in b
2.041 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b
2.041 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.041 * [taylor]: Taking taylor expansion of -1 in b
2.042 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b
2.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b
2.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b
2.042 * [taylor]: Taking taylor expansion of 1/3 in b
2.042 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.042 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.042 * [taylor]: Taking taylor expansion of b in b
2.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.110 * [approximate]: Taking taylor expansion of (pow (pow b 2) 1/3) in (b) around 0
2.110 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.110 * [taylor]: Taking taylor expansion of 1/3 in b
2.110 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.110 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.110 * [taylor]: Taking taylor expansion of b in b
2.111 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b
2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b
2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b
2.111 * [taylor]: Taking taylor expansion of 1/3 in b
2.111 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
2.111 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.111 * [taylor]: Taking taylor expansion of b in b
2.167 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in (b) around 0
2.167 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.167 * [taylor]: Taking taylor expansion of 1/3 in b
2.167 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.167 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.167 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.167 * [taylor]: Taking taylor expansion of b in b
2.168 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.168 * [taylor]: Taking taylor expansion of 1/3 in b
2.168 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.168 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.168 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.168 * [taylor]: Taking taylor expansion of b in b
2.229 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in (b) around 0
2.229 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b
2.229 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.229 * [taylor]: Taking taylor expansion of -1 in b
2.230 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.230 * [taylor]: Taking taylor expansion of 1/3 in b
2.230 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.230 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.230 * [taylor]: Taking taylor expansion of b in b
2.231 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b
2.231 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b
2.231 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.231 * [taylor]: Taking taylor expansion of -1 in b
2.232 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b
2.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b
2.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b
2.232 * [taylor]: Taking taylor expansion of 1/3 in b
2.232 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b
2.232 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
2.232 * [taylor]: Taking taylor expansion of (pow b 2) in b
2.232 * [taylor]: Taking taylor expansion of b in b
2.310 * * * [progress]: simplifying candidates
2.311 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  (cbrt 1)
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  (cbrt 1)
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  (cbrt 1)
  (cbrt b)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  (* (* (cbrt b) (cbrt b)) (cbrt b))
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (* (cbrt b) (cbrt b)))
  (log1p (* (cbrt b) (cbrt b)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* b b)
  (* (cbrt b) (cbrt b))
  (+ 1 1)
  (+ (log (cbrt b)) (log (cbrt b)))
  (log (* (cbrt b) (cbrt b)))
  (exp (* (cbrt b) (cbrt b)))
  (* b b)
  (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (* (cbrt b) (cbrt b)))
  (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b)))
  (sqrt (* (cbrt b) (cbrt b)))
  (sqrt (* (cbrt b) (cbrt b)))
  (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b))))
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt b) (cbrt b))
  (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (* (sqrt (cbrt b)) (sqrt (cbrt b)))
  (* (sqrt (cbrt b)) (sqrt (cbrt b)))
  (* 1 1)
  (* (cbrt b) (cbrt b))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (* (sqrt (cbrt b)) (cbrt (sqrt b)))
  (* (sqrt (cbrt b)) (cbrt (sqrt b)))
  (* (sqrt (cbrt b)) (sqrt (cbrt b)))
  (* (sqrt (cbrt b)) (sqrt (cbrt b)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt b) (cbrt (* (cbrt b) (cbrt b))))
  (* (cbrt b) (cbrt (sqrt b)))
  (* (cbrt b) (cbrt 1))
  (* (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (* (cbrt b) (sqrt (cbrt b)))
  (* (cbrt b) 1)
  (* (cbrt (cbrt b)) (cbrt b))
  (* (cbrt (sqrt b)) (cbrt b))
  (* (cbrt b) (cbrt b))
  (* (cbrt (cbrt b)) (cbrt b))
  (* (sqrt (cbrt b)) (cbrt b))
  (* (cbrt b) (cbrt b))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 2/3)
  (pow (/ 1 b) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow b 2) 1/3))
2.315 * * [simplify]: iteration  0 :  119  enodes  (cost  308 )
2.318 * * [simplify]: iteration  1 :  477  enodes  (cost  281 )
2.333 * * [simplify]: iteration  2 :  2972  enodes  (cost  258 )
2.397 * * [simplify]: iteration  3 :  5001  enodes  (cost  255 )
2.400 * [simplify]: Simplified to:
   (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  1
  (pow b 1/3)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  b
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  1
  (pow b 1/3)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  b
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (cbrt b))
  (log1p (cbrt b))
  (log (cbrt b))
  (exp (cbrt b))
  (cbrt (* (cbrt b) (cbrt b)))
  (cbrt (cbrt b))
  (cbrt (sqrt b))
  (cbrt (sqrt b))
  1
  (pow b 1/3)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (cbrt (cbrt b))
  b
  (sqrt (cbrt b))
  (sqrt (cbrt b))
  (expm1 (* (cbrt b) (cbrt b)))
  (log1p (* (cbrt b) (cbrt b)))
  2/3
  2
  (pow b 2)
  (pow b 2/3)
  2
  (* 2/3 (log b))
  (* 2/3 (log b))
  (exp (pow b 2/3))
  (pow b 2)
  (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (* (cbrt b) (cbrt b)))
  (pow b 2)
  (fabs (pow b 1/3))
  (fabs (pow b 1/3))
  (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b))))
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  1
  (pow b 2/3)
  (pow (cbrt (cbrt b)) 4)
  (* (cbrt (cbrt b)) (cbrt (cbrt b)))
  (pow b 1/3)
  (pow b 1/3)
  1
  (pow b 2/3)
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (cbrt (sqrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (* (cbrt (sqrt b)) (sqrt (cbrt b)))
  (pow b 1/3)
  (pow b 1/3)
  2/3
  2
  (* (cbrt b) (cbrt (* (cbrt b) (cbrt b))))
  (* (cbrt b) (cbrt (sqrt b)))
  (pow b 1/3)
  (pow (cbrt (cbrt b)) 5)
  (pow (sqrt (cbrt b)) 3)
  (pow b 1/3)
  (pow (cbrt (cbrt b)) 4)
  (* (cbrt b) (cbrt (sqrt b)))
  (pow b 2/3)
  (pow (cbrt (cbrt b)) 4)
  (pow (sqrt (cbrt b)) 3)
  (pow b 2/3)
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 1/3)
  (pow (/ 1 b) -1/3)
  (* (pow (* -1 b) 1/3) (cbrt -1))
  (pow b 2/3)
  (pow (/ 1 b) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow b 2) 1/3))
2.400 * * * [progress]: adding candidates to table
2.614 * * [progress]: iteration 4 / 4
2.614 * * * [progress]: picking best candidate
2.635 * * * * [pick]: Picked  #<alt (λ (a b eps) (fma (/ 1 (* (pow (cbrt (cbrt b)) 4) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ 1 (cbrt b)) (/ 1 a)))>
2.635 * * * [progress]: localizing error
2.650 * * * [progress]: generating rewritten candidates
2.650 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.654 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2)
2.655 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
2.657 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.663 * * * [progress]: generating series expansions
2.663 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.664 * [approximate]: Taking taylor expansion of (pow (pow b 1/9) 4) in (b) around 0
2.664 * [taylor]: Taking taylor expansion of (pow (pow b 1/9) 4) in b
2.664 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
2.664 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
2.664 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
2.664 * [taylor]: Taking taylor expansion of 1/9 in b
2.664 * [taylor]: Taking taylor expansion of (log b) in b
2.664 * [taylor]: Taking taylor expansion of b in b
2.665 * [taylor]: Taking taylor expansion of (pow (pow b 1/9) 4) in b
2.665 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
2.665 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
2.665 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
2.665 * [taylor]: Taking taylor expansion of 1/9 in b
2.665 * [taylor]: Taking taylor expansion of (log b) in b
2.665 * [taylor]: Taking taylor expansion of b in b
2.722 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 b) 1/9) 4) in (b) around 0
2.722 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 b) 1/9) 4) in b
2.722 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
2.722 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
2.722 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
2.722 * [taylor]: Taking taylor expansion of 1/9 in b
2.722 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.722 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.722 * [taylor]: Taking taylor expansion of b in b
2.723 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 b) 1/9) 4) in b
2.723 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
2.723 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
2.723 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
2.723 * [taylor]: Taking taylor expansion of 1/9 in b
2.723 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.723 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.723 * [taylor]: Taking taylor expansion of b in b
2.789 * [approximate]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) 4) in (b) around 0
2.789 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) 4) in b
2.789 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
2.789 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
2.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
2.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
2.789 * [taylor]: Taking taylor expansion of 1/3 in b
2.789 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
2.789 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.789 * [taylor]: Taking taylor expansion of -1 in b
2.793 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
2.793 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
2.793 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
2.793 * [taylor]: Taking taylor expansion of 1/9 in b
2.793 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.793 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.793 * [taylor]: Taking taylor expansion of b in b
2.795 * [taylor]: Taking taylor expansion of (pow (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) 4) in b
2.795 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
2.795 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
2.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
2.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
2.795 * [taylor]: Taking taylor expansion of 1/3 in b
2.795 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
2.795 * [taylor]: Taking taylor expansion of (cbrt -1) in b
2.795 * [taylor]: Taking taylor expansion of -1 in b
2.799 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
2.799 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
2.799 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
2.799 * [taylor]: Taking taylor expansion of 1/9 in b
2.799 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
2.799 * [taylor]: Taking taylor expansion of (/ 1 b) in b
2.799 * [taylor]: Taking taylor expansion of b in b
2.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2)
2.959 * [approximate]: Taking taylor expansion of (pow b 1/9) in (b) around 0
2.959 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
2.959 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
2.960 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
2.960 * [taylor]: Taking taylor expansion of 1/9 in b
2.960 * [taylor]: Taking taylor expansion of (log b) in b
2.960 * [taylor]: Taking taylor expansion of b in b
2.960 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
2.960 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
2.960 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
2.960 * [taylor]: Taking taylor expansion of 1/9 in b
2.960 * [taylor]: Taking taylor expansion of (log b) in b
2.960 * [taylor]: Taking taylor expansion of b in b
3.013 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/9) in (b) around 0
3.013 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.013 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.013 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.013 * [taylor]: Taking taylor expansion of 1/9 in b
3.013 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.013 * [taylor]: Taking taylor expansion of b in b
3.014 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.014 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.014 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.014 * [taylor]: Taking taylor expansion of 1/9 in b
3.014 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.014 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.014 * [taylor]: Taking taylor expansion of b in b
3.071 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in (b) around 0
3.071 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.071 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.071 * [taylor]: Taking taylor expansion of 1/3 in b
3.071 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.071 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.071 * [taylor]: Taking taylor expansion of -1 in b
3.075 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.075 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.075 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.075 * [taylor]: Taking taylor expansion of 1/9 in b
3.075 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.075 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.075 * [taylor]: Taking taylor expansion of b in b
3.076 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.076 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.076 * [taylor]: Taking taylor expansion of 1/3 in b
3.076 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.076 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.076 * [taylor]: Taking taylor expansion of -1 in b
3.079 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.079 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.079 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.079 * [taylor]: Taking taylor expansion of 1/9 in b
3.079 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.079 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.079 * [taylor]: Taking taylor expansion of b in b
3.200 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
3.200 * [approximate]: Taking taylor expansion of (pow b 1/9) in (b) around 0
3.200 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
3.200 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
3.200 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
3.200 * [taylor]: Taking taylor expansion of 1/9 in b
3.200 * [taylor]: Taking taylor expansion of (log b) in b
3.200 * [taylor]: Taking taylor expansion of b in b
3.201 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
3.201 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
3.201 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
3.201 * [taylor]: Taking taylor expansion of 1/9 in b
3.201 * [taylor]: Taking taylor expansion of (log b) in b
3.201 * [taylor]: Taking taylor expansion of b in b
3.254 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/9) in (b) around 0
3.254 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.254 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.254 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.254 * [taylor]: Taking taylor expansion of 1/9 in b
3.254 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.254 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.254 * [taylor]: Taking taylor expansion of b in b
3.255 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.255 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.255 * [taylor]: Taking taylor expansion of 1/9 in b
3.255 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.255 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.255 * [taylor]: Taking taylor expansion of b in b
3.312 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in (b) around 0
3.312 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.312 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.312 * [taylor]: Taking taylor expansion of 1/3 in b
3.312 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.312 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.312 * [taylor]: Taking taylor expansion of -1 in b
3.316 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.316 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.316 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.316 * [taylor]: Taking taylor expansion of 1/9 in b
3.316 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.316 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.316 * [taylor]: Taking taylor expansion of b in b
3.317 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.317 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.317 * [taylor]: Taking taylor expansion of 1/3 in b
3.317 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.317 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.317 * [taylor]: Taking taylor expansion of -1 in b
3.320 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.320 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.320 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.320 * [taylor]: Taking taylor expansion of 1/9 in b
3.320 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.320 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.320 * [taylor]: Taking taylor expansion of b in b
3.448 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
3.448 * [approximate]: Taking taylor expansion of (pow b 1/9) in (b) around 0
3.448 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
3.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
3.448 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
3.448 * [taylor]: Taking taylor expansion of 1/9 in b
3.448 * [taylor]: Taking taylor expansion of (log b) in b
3.448 * [taylor]: Taking taylor expansion of b in b
3.448 * [taylor]: Taking taylor expansion of (pow b 1/9) in b
3.448 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log b))) in b
3.448 * [taylor]: Taking taylor expansion of (* 1/9 (log b)) in b
3.448 * [taylor]: Taking taylor expansion of 1/9 in b
3.449 * [taylor]: Taking taylor expansion of (log b) in b
3.449 * [taylor]: Taking taylor expansion of b in b
3.496 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/9) in (b) around 0
3.496 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.496 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.496 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.496 * [taylor]: Taking taylor expansion of 1/9 in b
3.496 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.496 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.496 * [taylor]: Taking taylor expansion of b in b
3.497 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.497 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.497 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.497 * [taylor]: Taking taylor expansion of 1/9 in b
3.497 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.497 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.497 * [taylor]: Taking taylor expansion of b in b
3.554 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in (b) around 0
3.554 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.554 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.554 * [taylor]: Taking taylor expansion of 1/3 in b
3.554 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.554 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.554 * [taylor]: Taking taylor expansion of -1 in b
3.557 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.557 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.558 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.558 * [taylor]: Taking taylor expansion of 1/9 in b
3.558 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.558 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.558 * [taylor]: Taking taylor expansion of b in b
3.558 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 b) 1/9)) in b
3.558 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in b
3.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in b
3.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in b
3.558 * [taylor]: Taking taylor expansion of 1/3 in b
3.559 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in b
3.559 * [taylor]: Taking taylor expansion of (cbrt -1) in b
3.559 * [taylor]: Taking taylor expansion of -1 in b
3.562 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/9) in b
3.562 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 b)))) in b
3.562 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 b))) in b
3.562 * [taylor]: Taking taylor expansion of 1/9 in b
3.562 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b
3.562 * [taylor]: Taking taylor expansion of (/ 1 b) in b
3.562 * [taylor]: Taking taylor expansion of b in b
3.702 * * * [progress]: simplifying candidates
3.703 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (pow (cbrt (cbrt b)) 4))
  (log1p (pow (cbrt (cbrt b)) 4))
  (* (log (cbrt (cbrt b))) 4)
  (* (log (cbrt (cbrt b))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (cbrt b)) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt b)) (sqrt 4))
  (pow (cbrt (cbrt b)) 1)
  (pow (cbrt (cbrt (* (cbrt b) (cbrt b)))) 4)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (cbrt (cbrt (sqrt b))) 4)
  (pow (cbrt (cbrt (sqrt b))) 4)
  (pow (cbrt (cbrt 1)) 4)
  (pow (cbrt (cbrt b)) 4)
  (pow (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b)))) 4)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (cbrt (sqrt (cbrt b))) 4)
  (pow (cbrt (sqrt (cbrt b))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (cbrt b)) 4)
  (pow (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b)))) 4)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (sqrt (cbrt (cbrt b))) 4)
  (pow (sqrt (cbrt (cbrt b))) 4)
  (pow 1 4)
  (pow (cbrt (cbrt b)) 4)
  (log (pow (cbrt (cbrt b)) 4))
  (exp (pow (cbrt (cbrt b)) 4))
  (* (cbrt (pow (cbrt (cbrt b)) 4)) (cbrt (pow (cbrt (cbrt b)) 4)))
  (cbrt (pow (cbrt (cbrt b)) 4))
  (* (* (pow (cbrt (cbrt b)) 4) (pow (cbrt (cbrt b)) 4)) (pow (cbrt (cbrt b)) 4))
  (sqrt (pow (cbrt (cbrt b)) 4))
  (sqrt (pow (cbrt (cbrt b)) 4))
  (pow (cbrt (cbrt b)) (/ 4 2))
  (pow (cbrt (cbrt b)) (/ 4 2))
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt 1))
  (cbrt (cbrt b))
  (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt 1)
  (cbrt (cbrt b))
  (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt 1))
  (cbrt (cbrt b))
  (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt 1)
  (cbrt (cbrt b))
  (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt 1))
  (cbrt (cbrt b))
  (cbrt (* (cbrt (cbrt b)) (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt 1)
  (cbrt (cbrt b))
  (* (cbrt (cbrt (cbrt b))) (cbrt (cbrt (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (sqrt (cbrt (cbrt b)))
  (pow (pow b 4) 1/9)
  (pow (pow b 4) 1/9)
  (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow b 4) 1/9))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
3.707 * * [simplify]: iteration  0 :  142  enodes  (cost  385 )
3.710 * * [simplify]: iteration  1 :  424  enodes  (cost  359 )
3.720 * * [simplify]: iteration  2 :  1551  enodes  (cost  337 )
3.768 * * [simplify]: iteration  3 :  5002  enodes  (cost  331 )
3.770 * [simplify]: Simplified to:
   (expm1 (pow (cbrt (cbrt b)) 4))
  (log1p (pow (cbrt (cbrt b)) 4))
  (log (pow (cbrt (cbrt b)) 4))
  (log (pow (cbrt (cbrt b)) 4))
  4/3
  4
  (pow (cbrt (cbrt b)) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt b)) 2)
  (cbrt (cbrt b))
  (pow (cbrt (cbrt (* (cbrt b) (cbrt b)))) 4)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (cbrt (cbrt (sqrt b))) 4)
  (pow (cbrt (cbrt (sqrt b))) 4)
  1
  (pow (cbrt (cbrt b)) 4)
  (pow (cbrt (cbrt (* (cbrt b) (cbrt b)))) 4)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (cbrt (sqrt (cbrt b))) 4)
  (pow (cbrt (sqrt (cbrt b))) 4)
  1
  (pow (cbrt (cbrt b)) 4)
  (pow (cbrt (cbrt (cbrt b))) 8)
  (pow (cbrt (cbrt (cbrt b))) 4)
  (pow (cbrt (cbrt b)) 2)
  (pow (cbrt (cbrt b)) 2)
  1
  (pow (cbrt (cbrt b)) 4)
  (log (pow (cbrt (cbrt b)) 4))
  (exp (pow (cbrt (cbrt b)) 4))
  (* (cbrt (pow (cbrt (cbrt b)) 4)) (cbrt (pow (cbrt (cbrt b)) 4)))
  (cbrt (pow (cbrt (cbrt b)) 4))
  (pow (cbrt b) 4)
  (sqrt (pow (cbrt (cbrt b)) 4))
  (sqrt (pow (cbrt (cbrt b)) 4))
  (pow (cbrt (cbrt b)) 2)
  (pow (cbrt (cbrt b)) 2)
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  1
  (cbrt (cbrt b))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  1
  (cbrt (cbrt b))
  (pow (cbrt (cbrt (cbrt b))) 2)
  (cbrt (cbrt (cbrt b)))
  (cbrt b)
  (pow (cbrt (cbrt b)) 1/2)
  (pow (cbrt (cbrt b)) 1/2)
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  1
  (cbrt (cbrt b))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  1
  (cbrt (cbrt b))
  (pow (cbrt (cbrt (cbrt b))) 2)
  (cbrt (cbrt (cbrt b)))
  (cbrt b)
  (pow (cbrt (cbrt b)) 1/2)
  (pow (cbrt (cbrt b)) 1/2)
  (expm1 (cbrt (cbrt b)))
  (log1p (cbrt (cbrt b)))
  (log (cbrt (cbrt b)))
  (exp (cbrt (cbrt b)))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (cbrt (sqrt b)))
  (cbrt (cbrt (sqrt b)))
  1
  (cbrt (cbrt b))
  (cbrt (cbrt (* (cbrt b) (cbrt b))))
  (cbrt (cbrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  (cbrt (sqrt (cbrt b)))
  1
  (cbrt (cbrt b))
  (pow (cbrt (cbrt (cbrt b))) 2)
  (cbrt (cbrt (cbrt b)))
  (cbrt b)
  (pow (cbrt (cbrt b)) 1/2)
  (pow (cbrt (cbrt b)) 1/2)
  (pow (pow b 4) 1/9)
  (pow (pow b 4) 1/9)
  (* (pow (pow (cbrt -1) 4) 1/3) (pow (pow b 4) 1/9))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
  (pow b 1/9)
  (pow (/ 1 b) -1/9)
  (* (pow (* -1 b) 1/9) (pow (cbrt -1) 1/3))
3.771 * * * [progress]: adding candidates to table
4.018 * [progress]: [Phase 3 of 3] Extracting.
4.018 * * [regime]: Finding splitpoints for: (#<alt (λ (a b eps) (fma (sqrt (/ 1 b)) (sqrt (/ 1 b)) (/ 1 a)))> #<alt (λ (a b eps) (fma (/ 1 (* (cbrt b) (cbrt b))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (* (sqrt (+ (/ 1 b) (/ 1 a))) (sqrt (+ (/ 1 b) (/ 1 a)))))> #<alt (λ (a b eps) (fma (/ 1 (* (expm1 (log1p (pow (cbrt (cbrt b)) 4))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (log (exp (- (exp (* a eps)) 1.0))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b))))))> #<alt (λ (a b eps) (+ (/ 1 b) (/ 1 a)))>)
4.021 * * * [regime-changes]: Trying 3 branch expressions: (eps b a)
4.021 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (a b eps) (fma (sqrt (/ 1 b)) (sqrt (/ 1 b)) (/ 1 a)))> #<alt (λ (a b eps) (fma (/ 1 (* (cbrt b) (cbrt b))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (* (sqrt (+ (/ 1 b) (/ 1 a))) (sqrt (+ (/ 1 b) (/ 1 a)))))> #<alt (λ (a b eps) (fma (/ 1 (* (expm1 (log1p (pow (cbrt (cbrt b)) 4))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (log (exp (- (exp (* a eps)) 1.0))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b))))))> #<alt (λ (a b eps) (+ (/ 1 b) (/ 1 a)))>)
4.062 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b eps) (fma (sqrt (/ 1 b)) (sqrt (/ 1 b)) (/ 1 a)))> #<alt (λ (a b eps) (fma (/ 1 (* (cbrt b) (cbrt b))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (* (sqrt (+ (/ 1 b) (/ 1 a))) (sqrt (+ (/ 1 b) (/ 1 a)))))> #<alt (λ (a b eps) (fma (/ 1 (* (expm1 (log1p (pow (cbrt (cbrt b)) 4))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (log (exp (- (exp (* a eps)) 1.0))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b))))))> #<alt (λ (a b eps) (+ (/ 1 b) (/ 1 a)))>)
4.103 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b eps) (fma (sqrt (/ 1 b)) (sqrt (/ 1 b)) (/ 1 a)))> #<alt (λ (a b eps) (fma (/ 1 (* (cbrt b) (cbrt b))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (* (sqrt (+ (/ 1 b) (/ 1 a))) (sqrt (+ (/ 1 b) (/ 1 a)))))> #<alt (λ (a b eps) (fma (/ 1 (* (expm1 (log1p (pow (cbrt (cbrt b)) 4))) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ 1 (cbrt b)) (/ 1 a)))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (log (exp (- (exp (* a eps)) 1.0))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (fma 1/6 (* (pow a 3) (pow eps 3)) (fma 1/2 (* (pow a 2) (pow eps 2)) (* a eps))) (- (exp (* b eps)) 1.0))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (fma 1/6 (* (pow eps 3) (pow b 3)) (fma 1/2 (* (pow eps 2) (pow b 2)) (* eps b))))))> #<alt (λ (a b eps) (+ (/ 1 b) (/ 1 a)))>)
4.143 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
4.144 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (/ 1 b) (/ 1 a))
4.144 * * [simplify]: iteration  0 :  9  enodes  (cost  3 )
4.144 * * [simplify]: iteration  1 :  9  enodes  (cost  3 )
4.145 * [simplify]: Simplified to:
   (+ (/ 1 b) (/ 1 a))
11.403 * [regime-testing]: Baseline error score: 3.1574716502737505
11.403 * [regime-testing]: Oracle error score: 0.11652827524732577
11.404 * [regime-testing]: End program error score: 3.1574716502737505
11.426 * [regime-testing]: Target error score: 14.71795591366953