16.227 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.192 * * * [progress]: [2/2] Setting up program.
0.197 * [progress]: [Phase 2 of 3] Improving.
0.198 * [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.199 * * [simplify]: iteration  0 :  40  enodes  (cost  13 )
0.201 * * [simplify]: iteration  1 :  101  enodes  (cost  13 )
0.203 * * [simplify]: iteration  2 :  245  enodes  (cost  13 )
0.206 * * [simplify]: iteration  3 :  697  enodes  (cost  13 )
0.222 * * [simplify]: iteration  4 :  3463  enodes  (cost  13 )
0.292 * * [simplify]: iteration  5 :  5001  enodes  (cost  13 )
0.293 * [simplify]: Simplified to:
  (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
0.293 * * [progress]: iteration 1 / 4
0.293 * * * [progress]: picking best candidate
0.298 * * * * [pick]: Picked  #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))>
0.298 * * * [progress]: localizing error
0.314 * * * [progress]: generating rewritten candidates
0.314 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.318 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.321 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.325 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.336 * * * [progress]: generating series expansions
0.336 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.336 * [approximate]: Approximating (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0
0.338 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.340 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.341 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.341 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.342 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.344 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.344 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.345 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.346 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.349 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.350 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.350 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.352 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.354 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.358 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
0.359 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.360 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.362 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.367 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.370 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
0.371 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
0.375 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.376 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.378 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.378 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.379 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.380 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.380 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.380 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.381 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.381 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
0.385 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.386 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.388 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.388 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.388 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.390 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
0.390 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.390 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.391 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
0.391 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.391 * [approximate]: Approximating (- (exp (* a eps)) 1.0) in (a eps) around 0
0.394 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.394 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.396 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.399 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.403 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.409 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.417 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps
0.419 * [approximate]: Approximating (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0
0.421 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.423 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.424 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.425 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.426 * [approximate]: Approximating (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0
0.428 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.430 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.431 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.433 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps
0.433 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.433 * [approximate]: Approximating (- (exp (* eps b)) 1.0) in (b eps) around 0
0.435 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.436 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.437 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.440 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.443 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.451 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.459 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
0.461 * [approximate]: Approximating (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
0.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.464 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.466 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.467 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.467 * [approximate]: Approximating (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
0.469 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.471 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.472 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.474 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
0.474 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.474 * [approximate]: Approximating (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in (a eps b) around 0
0.478 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps
0.478 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.480 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps
0.482 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.482 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.486 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps
0.489 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.489 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b
0.490 * [approximate]: Approximating (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0
0.494 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.496 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.501 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.501 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.502 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.508 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.508 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.508 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.509 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.510 * [approximate]: Approximating (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0
0.514 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.516 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.520 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.520 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.522 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.530 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps
0.530 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.530 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.532 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b
0.532 * * * [progress]: simplifying candidates
0.533 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (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)))
  (neg 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)
  (neg 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)))
  (neg 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)
  (neg 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)))
  (neg 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)
  (neg 1.0)
  (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
  (+ (log (- (exp (* a eps)) 1.0)) (log (- (exp (* b eps)) 1.0)))
  (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (exp (* (- (exp (* a eps)) 1.0) (- (exp (* 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)))
  (* (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (cbrt (* (- (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))) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (+ (exp (* b eps)) 1.0))
  (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (exp (* a eps)) 1.0) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))))
  (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (exp (* a eps)) 1.0) (+ (exp (* b eps)) 1.0))
  (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)))
  (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (exp (* b eps)) (- (exp (* a eps)) 1.0))
  (* (neg 1.0) (- (exp (* a eps)) 1.0))
  (* (exp (* b eps)) (- (exp (* a eps)) 1.0))
  (* (neg 1.0) (- (exp (* a eps)) 1.0))
  (* (- (exp (* a eps)) 1.0) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))))
  (* (- (exp (* a eps)) 1.0) (sqrt (- (exp (* b eps)) 1.0)))
  (* (- (exp (* a eps)) 1.0) 1)
  (* (- (exp (* a eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0)))
  (* (- (exp (* a eps)) 1.0) 1)
  (* (cbrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0))
  (* (sqrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0))
  (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
  (* (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0))
  (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
  (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (- (exp (* a eps)) 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0))
  (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (exp (* 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)
  0
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
0.538 * * [simplify]: iteration  0 :  346  enodes  (cost  733 )
0.545 * * [simplify]: iteration  1 :  1449  enodes  (cost  673 )
0.570 * * [simplify]: iteration  2 :  5001  enodes  (cost  673 )
0.574 * [simplify]: Simplified to:
  (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))
  (+ (+ (pow (exp (+ a b)) (* 2 eps)) (* (exp (* (+ a b) eps)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (pow (exp (+ a b)) (* 2 eps)))
  (+ (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)
  (neg 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))
  (+ (* 1.0 (+ 1.0 (exp (* a eps)))) (exp (+ (* a eps) (* a eps))))
  (neg 1.0)
  (+ (neg (* 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)
  (neg 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))
  (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps))))
  (neg 1.0)
  (+ (neg (* 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)
  (neg 1.0)
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
  (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (exp (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3)
  (* (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))))
  (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3)
  (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps)))) (+ (* 1.0 (+ 1.0 (exp (* a eps)))) (exp (+ (* a eps) (* a eps)))))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (exp (* b eps)) 1.0) (+ (* 1.0 (+ 1.0 (exp (* a eps)))) (exp (+ (* a eps) (* a eps)))))
  (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps)))) (+ (exp (* a eps)) 1.0))
  (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (exp (* a eps)) 1.0) (+ (exp (* b eps)) 1.0))
  (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)))
  (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (- (exp (* a eps)) 1.0) (exp (* b eps)))
  (* (- (exp (* a eps)) 1.0) (neg 1.0))
  (* (- (exp (* a eps)) 1.0) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))))
  (* (- (exp (* a eps)) 1.0) (sqrt (- (exp (* b eps)) 1.0)))
  (- (exp (* a eps)) 1.0)
  (* (- (exp (* a eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0)))
  (- (exp (* a eps)) 1.0)
  (* (cbrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0))
  (* (sqrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0))
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
  (* (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0))
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
  (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (- (exp (* a eps)) 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0))
  (* (+ (neg (* 1.0 1.0)) (pow (exp a) (* 2 eps))) (- (exp (* eps b)) 1.0))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* (+ a b) eps))
  (- (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)
  0
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
  (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0))
0.575 * * * [progress]: adding candidates to table
1.010 * * [progress]: iteration 2 / 4
1.010 * * * [progress]: picking best candidate
1.042 * * * * [pick]: Picked  #<alt (λ (a b eps) (/ (* eps (- (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 (* b eps)) 1.0))))>
1.042 * * * [progress]: localizing error
1.070 * * * [progress]: generating rewritten candidates
1.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2)
1.079 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
1.089 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.093 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.109 * * * [progress]: generating series expansions
1.109 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2)
1.109 * [approximate]: Approximating (* (pow a 3) (pow eps 3)) in (a eps) around 0
1.111 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps
1.113 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps
1.116 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps
1.121 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps
1.121 * [approximate]: Approximating (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.126 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.131 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.144 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.153 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.153 * [approximate]: Approximating (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0
1.156 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.158 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.167 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.179 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.188 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps
1.188 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
1.188 * [approximate]: Approximating (* (pow a 2) (pow eps 2)) in (a eps) around 0
1.189 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
1.190 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
1.192 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
1.196 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
1.196 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
1.197 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.199 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.202 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.206 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.211 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.211 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
1.213 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.215 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.218 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.222 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.227 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
1.227 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.227 * [approximate]: Approximating (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0
1.229 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
1.230 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.231 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
1.231 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.232 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.234 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
1.234 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.235 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.236 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.239 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
1.240 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.243 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.245 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.248 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.252 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
1.252 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.253 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.255 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.258 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.261 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
1.262 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
1.266 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.267 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.269 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.269 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.270 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.271 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.271 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.271 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.272 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.272 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
1.276 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.277 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.279 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.279 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.280 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.281 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
1.281 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.281 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.282 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
1.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.282 * [approximate]: Approximating (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in (a eps) around 0
1.283 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.284 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.285 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.289 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.295 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.305 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
1.307 * [approximate]: Approximating (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in (a eps) around 0
1.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.339 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.355 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.356 * [approximate]: Approximating (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in (a eps) around 0
1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.373 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a eps)) (+ (* 1/6 (/ 1 (* (pow a 3) (pow eps 3)))) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
1.405 * * * [progress]: simplifying candidates
1.407 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* a eps)
  (+ (* (log a) 3) (* (log eps) 3))
  (+ (* (log a) 3) (* (log eps) 3))
  (+ (* (log a) 3) (log (pow eps 3)))
  (+ (* (log a) 3) (* (log eps) 3))
  (+ (* (log a) 3) (* (log eps) 3))
  (+ (* (log a) 3) (log (pow eps 3)))
  (+ (log (pow a 3)) (* (log eps) 3))
  (+ (log (pow a 3)) (* (log eps) 3))
  (+ (log (pow a 3)) (log (pow eps 3)))
  (log (* (pow a 3) (pow eps 3)))
  (exp (* (pow a 3) (pow eps 3)))
  (* (* (* (pow a 3) (pow a 3)) (pow a 3)) (* (* (pow eps 3) (pow eps 3)) (pow eps 3)))
  (* (cbrt (* (pow a 3) (pow eps 3))) (cbrt (* (pow a 3) (pow eps 3))))
  (cbrt (* (pow a 3) (pow eps 3)))
  (* (* (* (pow a 3) (pow eps 3)) (* (pow a 3) (pow eps 3))) (* (pow a 3) (pow eps 3)))
  (sqrt (* (pow a 3) (pow eps 3)))
  (sqrt (* (pow a 3) (pow eps 3)))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (sqrt (pow eps 3)))
  (* (pow (sqrt a) 3) (sqrt (pow eps 3)))
  (* (pow (sqrt a) 3) (pow eps (/ 3 2)))
  (* (pow (sqrt a) 3) (pow eps (/ 3 2)))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (pow (sqrt eps) 3))
  (* (pow (sqrt a) 3) (sqrt (pow eps 3)))
  (* (pow (sqrt a) 3) (sqrt (pow eps 3)))
  (* (pow (sqrt a) 3) (pow eps (/ 3 2)))
  (* (pow (sqrt a) 3) (pow eps (/ 3 2)))
  (* (sqrt (pow a 3)) (pow (sqrt eps) 3))
  (* (sqrt (pow a 3)) (pow (sqrt eps) 3))
  (* (sqrt (pow a 3)) (pow (sqrt eps) 3))
  (* (sqrt (pow a 3)) (pow (sqrt eps) 3))
  (* (sqrt (pow a 3)) (sqrt (pow eps 3)))
  (* (sqrt (pow a 3)) (sqrt (pow eps 3)))
  (* (sqrt (pow a 3)) (pow eps (/ 3 2)))
  (* (sqrt (pow a 3)) (pow eps (/ 3 2)))
  (* (pow a (/ 3 2)) (pow (sqrt eps) 3))
  (* (pow a (/ 3 2)) (pow (sqrt eps) 3))
  (* (pow a (/ 3 2)) (pow (sqrt eps) 3))
  (* (pow a (/ 3 2)) (pow (sqrt eps) 3))
  (* (pow a (/ 3 2)) (sqrt (pow eps 3)))
  (* (pow a (/ 3 2)) (sqrt (pow eps 3)))
  (* (pow a (/ 3 2)) (pow eps (/ 3 2)))
  (* (pow a (/ 3 2)) (pow eps (/ 3 2)))
  (* (pow a 3) (pow (* (cbrt eps) (cbrt eps)) 3))
  (* (pow a 3) (pow (sqrt eps) 3))
  (* (pow a 3) (pow 1 3))
  (* (pow a 3) (* eps eps))
  (* (pow a 3) (* (cbrt (pow eps 3)) (cbrt (pow eps 3))))
  (* (pow a 3) (pow (* (cbrt eps) (cbrt eps)) 3))
  (* (pow a 3) (pow (sqrt eps) 3))
  (* (pow a 3) (pow 1 3))
  (* (pow a 3) eps)
  (* (pow a 3) (sqrt (pow eps 3)))
  (* (pow a 3) 1)
  (* (pow a 3) (pow eps (/ 3 2)))
  (* (pow (cbrt a) 3) (pow eps 3))
  (* (pow (sqrt a) 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* a (pow eps 3))
  (* (cbrt (pow a 3)) (pow eps 3))
  (* (pow (cbrt a) 3) (pow eps 3))
  (* (pow (sqrt a) 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (* a a) (pow eps 3))
  (* (sqrt (pow a 3)) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a (/ 3 2)) (pow eps 3))
  (* a eps)
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (log (pow eps 2)))
  (log (* (pow a 2) (pow eps 2)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow eps 2) (pow eps 2)) (pow eps 2)))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))) (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* a (pow (sqrt eps) 2))
  (* a (pow (sqrt eps) 2))
  (* a eps)
  (* a eps)
  (* a (sqrt (pow eps 2)))
  (* a (sqrt (pow eps 2)))
  (* a (pow eps (/ 2 2)))
  (* a (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) (pow (sqrt eps) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow eps (/ 2 2)))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow (sqrt a) 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a (/ 2 2)) (pow eps 2))
  (/ (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)))
  (neg 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)
  (neg 1.0)
  (* (exp (* 1/6 (* (pow a 3) (pow eps 3)))) (* (exp (* 1/2 (* (pow a 2) (pow eps 2)))) (exp (* a eps))))
  (* (exp (* 1/6 (* (pow a 3) (pow eps 3)))) (exp (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (log (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (exp (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (* (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))))
  (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (* (* (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (sqrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (sqrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (+ (pow (* 1/6 (* (pow a 3) (pow eps 3))) 3) (pow (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) 3))
  (+ (* (* 1/6 (* (pow a 3) (pow eps 3))) (* 1/6 (* (pow a 3) (pow eps 3)))) (- (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))))
  (- (* (* 1/6 (* (pow a 3) (pow eps 3))) (* 1/6 (* (pow a 3) (pow eps 3)))) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (- (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* 1/2 (* (pow a 2) (pow eps 2))))
  (* (pow a 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (+ (* 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/2 (* (pow a 2) (pow eps 2))) (* a eps))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* a eps)))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* a eps)))
1.414 * * [simplify]: iteration  0 :  504  enodes  (cost  927 )
1.425 * * [simplify]: iteration  1 :  2461  enodes  (cost  815 )
1.496 * * [simplify]: iteration  2 :  5002  enodes  (cost  772 )
1.501 * [simplify]: Simplified to:
  (* eps a)
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (* 3 (+ (log a) (log eps)))
  (exp (* (pow a 3) (pow eps 3)))
  (pow (* (pow a 3) (pow eps 3)) 3)
  (* (cbrt (* (pow a 3) (pow eps 3))) (cbrt (* (pow a 3) (pow eps 3))))
  (cbrt (* (pow a 3) (pow eps 3)))
  (pow (* (pow a 3) (pow eps 3)) 3)
  (sqrt (* (pow a 3) (pow eps 3)))
  (sqrt (* (pow a 3) (pow eps 3)))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (sqrt (pow a 3)) (sqrt (pow eps 3)))
  (* (sqrt (pow a 3)) (sqrt (pow eps 3)))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (sqrt (pow a 3)) (pow eps 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow a 3/2) (sqrt (pow eps 3)))
  (* (pow eps 3/2) (pow a 3/2))
  (* (pow eps 3/2) (pow a 3/2))
  (* (* (pow a 3) eps) eps)
  (* (pow a 3) (pow eps 3/2))
  (pow a 3)
  (* (* (pow a 3) eps) eps)
  (* (* (pow a 3) eps) eps)
  (* (* (pow a 3) eps) eps)
  (* (pow a 3) (pow eps 3/2))
  (pow a 3)
  (* (pow a 3) eps)
  (* (pow a 3) (sqrt (pow eps 3)))
  (pow a 3)
  (* (pow a 3) (pow eps 3/2))
  (* a (pow eps 3))
  (* (pow a 3/2) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* a (pow eps 3))
  (* a (pow eps 3))
  (* a (pow eps 3))
  (* (pow a 3/2) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (* a a) (pow eps 3))
  (* (sqrt (pow a 3)) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a 3/2) (pow eps 3))
  (* eps a)
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (pow eps 6) (pow a 6))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (pow eps 6) (pow a 6))
  (fabs (* eps a))
  (fabs (* eps a))
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* a (fabs eps))
  (* a (fabs eps))
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* a (fabs eps))
  (* a (fabs eps))
  (* eps a)
  (* eps a)
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* a (fabs eps))
  (* a (fabs eps))
  (* eps a)
  (* eps a)
  (* (* (* eps (cbrt eps)) a) a)
  (* (* eps a) a)
  (pow a 2)
  (* (* eps a) a)
  (* (* (* eps (cbrt eps)) a) a)
  (* (* (fabs eps) a) a)
  (pow a 2)
  (* (* eps a) a)
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow eps 2) a)
  (* (pow a 2) (pow eps 2))
  (* (pow eps 2) a)
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow eps 2) a)
  (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))
  (+ (+ (pow (exp (+ a b)) (* 2 eps)) (* (exp (* (+ a b) eps)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (pow (exp (+ a b)) (* 2 eps)))
  (+ (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)
  (neg 1.0)
  (exp (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (exp (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (log (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (exp (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (* (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))))
  (cbrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (pow (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* a eps))) 3)
  (sqrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (sqrt (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))))
  (+ (pow (* 1/6 (* (pow a 3) (pow eps 3))) 3) (pow (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) 3))
  (+ (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (* 1/6 (* (pow a 3) (pow eps 3))))) (* 1/36 (* (* (pow a 3) (pow eps 3)) (* (pow a 3) (pow eps 3)))))
  (+ (neg (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (* (* 1/36 (pow a 6)) (pow eps 6)))
  (- (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* 1/2 (* (pow a 2) (pow eps 2))))
  (* (pow a 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a 3) (pow eps 3))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (+ (* 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/2 (* (pow a 2) (pow eps 2))) (* a eps))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* a eps)))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* a eps)))
1.502 * * * [progress]: adding candidates to table
2.541 * * [progress]: iteration 3 / 4
2.541 * * * [progress]: picking best candidate
2.588 * * * * [pick]: Picked  #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))>
2.588 * * * [progress]: localizing error
2.612 * * * [progress]: generating rewritten candidates
2.612 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2)
2.619 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.624 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.627 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.643 * * * [progress]: generating series expansions
2.643 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2)
2.643 * [approximate]: Approximating (* (pow a 2) (pow eps 2)) in (a eps) around 0
2.644 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
2.645 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
2.647 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
2.650 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
2.650 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
2.652 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.654 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.656 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.660 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.665 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.666 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
2.667 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.669 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.672 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.676 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.680 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
2.681 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.681 * [approximate]: Approximating (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0
2.683 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
2.684 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.685 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
2.685 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.686 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.692 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
2.692 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.693 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.695 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.697 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
2.698 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.699 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.700 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.702 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.706 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
2.707 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.708 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.710 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.712 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.715 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
2.716 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
2.720 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.721 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.723 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.723 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.724 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.725 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.725 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.725 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.726 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.726 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
2.729 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.731 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.732 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.733 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.733 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.734 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
2.734 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.734 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.735 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
2.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.735 * [approximate]: Approximating (- (exp (* eps b)) 1.0) in (b eps) around 0
2.738 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.738 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.740 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.742 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.745 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.750 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.758 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps
2.759 * [approximate]: Approximating (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
2.761 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.763 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.764 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.766 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.766 * [approximate]: Approximating (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0
2.770 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.772 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.773 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.775 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps
2.775 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.775 * [approximate]: Approximating (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in (a eps b) around 0
2.777 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
2.777 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in b
2.779 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
2.781 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in b
2.781 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in b
2.785 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in eps
2.788 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in b
2.788 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) in b
2.788 * [approximate]: Approximating (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in (a eps b) around 0
2.793 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.795 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.799 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.802 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.809 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.810 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.814 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.824 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.826 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.830 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.832 * [approximate]: Approximating (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in (a eps b) around 0
2.837 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.838 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.842 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.848 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.855 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.856 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.861 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.870 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in eps
2.872 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.876 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (+ (/ 1 (* a eps)) (* 1/2 (/ 1 (* (pow a 2) (pow eps 2)))))) in b
2.878 * * * [progress]: simplifying candidates
2.879 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* a eps)
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (log (pow eps 2)))
  (log (* (pow a 2) (pow eps 2)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow eps 2) (pow eps 2)) (pow eps 2)))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))) (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* a (pow (sqrt eps) 2))
  (* a (pow (sqrt eps) 2))
  (* a eps)
  (* a eps)
  (* a (sqrt (pow eps 2)))
  (* a (sqrt (pow eps 2)))
  (* a (pow eps (/ 2 2)))
  (* a (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) (pow (sqrt eps) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow eps (/ 2 2)))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow (sqrt a) 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a (/ 2 2)) (pow eps 2))
  (/ (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)))
  (neg 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)
  (neg 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)))
  (neg 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)
  (neg 1.0)
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))
  (+ (log (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (log (- (exp (* b eps)) 1.0)))
  (log (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (exp (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (* (* (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0)))
  (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))
  (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (* (* (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (sqrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (sqrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (* (* a eps) (* a eps)) (* (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (* (* a eps) (* a eps)) (* (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))) (+ (exp (* b eps)) 1.0))
  (* (- (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (* (* a eps) (* a eps))) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (- (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))))
  (* (- (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (* (* a eps) (* a eps))) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (- (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (exp (* b eps)) 1.0))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (sqrt (- (exp (* b eps)) 1.0)))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (sqrt (- (exp (* b eps)) 1.0)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (* b eps)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (neg 1.0))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (* b eps)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (neg 1.0))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (sqrt (- (exp (* b eps)) 1.0)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) 1)
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (sqrt (exp (* b eps))) (sqrt 1.0)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) 1)
  (* (cbrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (exp (* b eps)) 1.0))
  (* (- (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (* (* a eps) (* a eps))) (- (exp (* b eps)) 1.0))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (+ (* 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 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)
  0
  (- (+ (* a (* eps (exp (* eps b)))) (* 1/2 (* (pow a 2) (* (pow eps 2) (exp (* eps b)))))) (+ (* 0.5 (* (pow a 2) (pow eps 2))) (* 1.0 (* a eps))))
  (- (+ (* a (* eps (exp (* eps b)))) (* 1/2 (* (pow a 2) (* (pow eps 2) (exp (* eps b)))))) (+ (* 0.5 (* (pow a 2) (pow eps 2))) (* 1.0 (* a eps))))
2.886 * * [simplify]: iteration  0 :  545  enodes  (cost  1039 )
2.897 * * [simplify]: iteration  1 :  2595  enodes  (cost  923 )
2.954 * * [simplify]: iteration  2 :  5001  enodes  (cost  919 )
2.960 * [simplify]: Simplified to:
  (* eps a)
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (exp (* (pow a 2) (pow eps 2)))
  (pow (* eps a) 6)
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (pow (* eps a) 6)
  (fabs (* eps a))
  (fabs (* eps a))
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* (sqrt (pow eps 2)) a)
  (* (sqrt (pow eps 2)) a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* (sqrt (pow eps 2)) a)
  (* (sqrt (pow eps 2)) a)
  (* eps a)
  (* eps a)
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* eps (sqrt (pow a 2)))
  (* eps (sqrt (pow a 2)))
  (* eps a)
  (* eps a)
  (* eps a)
  (* eps a)
  (* (sqrt (pow eps 2)) a)
  (* (sqrt (pow eps 2)) a)
  (* eps a)
  (* eps a)
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* eps (pow a 2))
  (pow a 2)
  (* eps (pow a 2))
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (pow a 2)
  (* eps (pow a 2))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow eps 2) a)
  (* (* a eps) (* a eps))
  (* (pow eps 2) a)
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (* a eps) (* a eps))
  (* (pow eps 2) a)
  (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))
  (+ (+ (pow (exp (+ a b)) (* 2 eps)) (* (exp (* (+ a b) eps)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (pow (exp (+ a b)) (* 2 eps)))
  (+ (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)
  (neg 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))
  (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps))))
  (neg 1.0)
  (+ (neg (* 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)
  (neg 1.0)
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))
  (log (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (log (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (exp (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (pow (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)) 3)
  (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))
  (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (pow (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)) 3)
  (sqrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (sqrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps)))) (+ (* (* a eps) (- (* a eps) (* 1/2 (* (pow a 2) (pow eps 2))))) (* 1/4 (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))))))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (exp (* b eps)) 1.0) (+ (* (* a eps) (- (* a eps) (* 1/2 (* (pow a 2) (pow eps 2))))) (* 1/4 (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))))))
  (* (- (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (* (* a eps) (* a eps))) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1.0 (+ 1.0 (exp (* b eps)))) (exp (+ (* b eps) (* b eps)))) (- (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (- (* (* 1/2 (* (pow a 2) (pow eps 2))) (* 1/2 (* (pow a 2) (pow eps 2)))) (* (* a eps) (* a eps))) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (- (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (exp (* b eps)) 1.0))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (sqrt (- (exp (* b eps)) 1.0)))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (sqrt (- (exp (* b eps)) 1.0)))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (exp (* b eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (neg 1.0) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (sqrt (- (exp (* b eps)) 1.0)))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (sqrt (exp (* b eps))) (sqrt 1.0)))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))
  (* (cbrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))
  (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* b eps)) 1.0))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)))
  (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)))
  (* (+ (pow (* 1/2 (* (pow a 2) (pow eps 2))) 3) (pow (* a eps) 3)) (- (exp (* b eps)) 1.0))
  (* (+ (neg (* (* a eps) (* a eps))) (* (* 1/4 (pow a 4)) (pow eps 4))) (- (exp (* eps b)) 1.0))
  (* (* a eps) (* a eps))
  (* (* a eps) (* a eps))
  (* (* a eps) (* a eps))
  (+ (* 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 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)
  0
  (- (+ (* a (* eps (exp (* eps b)))) (* 1/2 (* (pow a 2) (* (pow eps 2) (exp (* eps b)))))) (+ (* 0.5 (* (pow a 2) (pow eps 2))) (* 1.0 (* a eps))))
  (- (+ (* a (* eps (exp (* eps b)))) (* 1/2 (* (pow a 2) (* (pow eps 2) (exp (* eps b)))))) (+ (* 0.5 (* (pow a 2) (pow eps 2))) (* 1.0 (* a eps))))
2.961 * * * [progress]: adding candidates to table
3.728 * * [progress]: iteration 4 / 4
3.728 * * * [progress]: picking best candidate
3.782 * * * * [pick]: Picked  #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))))>
3.783 * * * [progress]: localizing error
3.810 * * * [progress]: generating rewritten candidates
3.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 2)
3.819 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1 2)
3.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1 2)
3.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.844 * * * [progress]: generating series expansions
3.844 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 2)
3.844 * [approximate]: Approximating (* (pow a 2) (pow eps 2)) in (a eps) around 0
3.845 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.846 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.849 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.851 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.852 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.853 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.855 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.858 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.862 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.866 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.867 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.868 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.870 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.873 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.876 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1 2)
3.882 * [approximate]: Approximating (* (pow a 2) (pow eps 2)) in (a eps) around 0
3.882 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.883 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.886 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.889 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.889 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.892 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.895 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.902 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.907 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.907 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.909 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.910 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.913 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.917 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.922 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.922 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1 2)
3.922 * [approximate]: Approximating (* (pow a 2) (pow eps 2)) in (a eps) around 0
3.922 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.924 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.926 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.929 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow eps 2)) in eps
3.929 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.931 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.932 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.935 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.939 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.944 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.944 * [approximate]: Approximating (/ 1 (* (pow a 2) (pow eps 2))) in (a eps) around 0
3.945 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.947 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.950 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.954 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow eps 2))) in eps
3.958 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.959 * [approximate]: Approximating (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0
3.960 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
3.962 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.963 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
3.963 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.963 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.965 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
3.966 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.966 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.968 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.971 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
3.971 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.972 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.976 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.978 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.982 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b
3.982 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.983 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.985 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.987 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.990 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps
3.992 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
3.995 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
3.996 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
3.998 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
3.998 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
3.999 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.000 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
4.000 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.000 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.001 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.001 * [approximate]: Approximating (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0
4.004 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
4.006 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.008 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
4.008 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.008 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.010 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b
4.010 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.010 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.010 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps
4.011 * * * [progress]: simplifying candidates
4.013 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* a eps)
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (log (pow eps 2)))
  (log (* (pow a 2) (pow eps 2)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow eps 2) (pow eps 2)) (pow eps 2)))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))) (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* a (pow (sqrt eps) 2))
  (* a (pow (sqrt eps) 2))
  (* a eps)
  (* a eps)
  (* a (sqrt (pow eps 2)))
  (* a (sqrt (pow eps 2)))
  (* a (pow eps (/ 2 2)))
  (* a (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) (pow (sqrt eps) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow eps (/ 2 2)))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow (sqrt a) 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a (/ 2 2)) (pow eps 2))
  (* a eps)
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (log (pow eps 2)))
  (log (* (pow a 2) (pow eps 2)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow eps 2) (pow eps 2)) (pow eps 2)))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))) (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* a (pow (sqrt eps) 2))
  (* a (pow (sqrt eps) 2))
  (* a eps)
  (* a eps)
  (* a (sqrt (pow eps 2)))
  (* a (sqrt (pow eps 2)))
  (* a (pow eps (/ 2 2)))
  (* a (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) (pow (sqrt eps) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow eps (/ 2 2)))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow (sqrt a) 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a (/ 2 2)) (pow eps 2))
  (* a eps)
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (* (log eps) 2))
  (+ (* (log a) 2) (log (pow eps 2)))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (* (log eps) 2))
  (+ (log (pow a 2)) (log (pow eps 2)))
  (log (* (pow a 2) (pow eps 2)))
  (exp (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow eps 2) (pow eps 2)) (pow eps 2)))
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (* (* (* (pow a 2) (pow eps 2)) (* (pow a 2) (pow eps 2))) (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (sqrt (* (pow a 2) (pow eps 2)))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) (pow (sqrt eps) 2))
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) eps)
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (sqrt (pow eps 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* (pow (sqrt a) 2) (pow eps (/ 2 2)))
  (* a (pow (sqrt eps) 2))
  (* a (pow (sqrt eps) 2))
  (* a eps)
  (* a eps)
  (* a (sqrt (pow eps 2)))
  (* a (sqrt (pow eps 2)))
  (* a (pow eps (/ 2 2)))
  (* a (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) (pow (sqrt eps) 2))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (sqrt (pow a 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) (pow (sqrt eps) 2))
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) eps)
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (sqrt (pow eps 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a (/ 2 2)) (pow eps (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) (pow (sqrt eps) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (pow a 2) (sqrt (pow eps 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow eps (/ 2 2)))
  (* (pow (cbrt a) 2) (pow eps 2))
  (* (pow (sqrt a) 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a (/ 2 2)) (pow eps 2))
  (/ (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)))
  (neg 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)
  (neg 1.0)
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))
  (- (exp (* (+ a b) eps)) 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
4.019 * * [simplify]: iteration  0 :  243  enodes  (cost  954 )
4.024 * * [simplify]: iteration  1 :  973  enodes  (cost  695 )
4.045 * * [simplify]: iteration  2 :  4873  enodes  (cost  660 )
4.189 * * [simplify]: iteration  3 :  5001  enodes  (cost  660 )
4.194 * [simplify]: Simplified to:
  (* a eps)
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (exp (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (fabs (* a eps))
  (fabs (* a eps))
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) eps)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (* (fabs eps) a) a)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow (cbrt a) 2) (pow eps 2))
  (* a (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* a eps)
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (exp (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (fabs (* a eps))
  (fabs (* a eps))
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) eps)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (* (fabs eps) a) a)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow (cbrt a) 2) (pow eps 2))
  (* a (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* a eps)
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (* 2 (+ (log a) (log eps)))
  (exp (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (* (cbrt (* (pow a 2) (pow eps 2))) (cbrt (* (pow a 2) (pow eps 2))))
  (cbrt (* (pow a 2) (pow eps 2)))
  (pow (* (pow a 2) (pow eps 2)) 3)
  (fabs (* a eps))
  (fabs (* a eps))
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) (sqrt (pow eps 2)))
  (* (sqrt (pow a 2)) eps)
  (* (sqrt (pow a 2)) eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* a eps)
  (* (fabs eps) a)
  (* (fabs eps) a)
  (* a eps)
  (* a eps)
  (* (pow a 2) (pow (* (cbrt eps) (cbrt eps)) 2))
  (* (pow a 2) eps)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow a 2) (* (cbrt (pow eps 2)) (cbrt (pow eps 2))))
  (* (* (fabs eps) a) a)
  (pow a 2)
  (* (pow a 2) eps)
  (* (pow (cbrt a) 2) (pow eps 2))
  (* a (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (* (cbrt (pow a 2)) (pow eps 2))
  (* (sqrt (pow a 2)) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* a (pow eps 2))
  (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))
  (+ (* (exp (* (+ a b) eps)) (+ (exp (* (+ a b) eps)) 1.0)) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (pow (exp (+ a b)) (* 2 eps)))
  (+ (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)
  (neg 1.0)
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* (pow a 2) (pow eps 2))
  (* eps (+ (* (* 1/2 (pow a 2)) eps) (+ a b)))
  (- (exp (* (+ a b) eps)) 1.0)
  (- (exp (* (+ a b) eps)) 1.0)
4.195 * * * [progress]: adding candidates to table
5.071 * [progress]: [Phase 3 of 3] Extracting.
5.071 * * [regime]: Finding splitpoints for: (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.080 * * * [regime-changes]: Trying 3 branch expressions: (eps b a)
5.080 * * * * [regimes]: Trying to branch on eps from (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.168 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.271 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.375 * * * [regime]: Found split indices: #<option (#s(si 5 32) #s(si 3 211) #s(si 5 255))>
5.376 * [binary-search]: Improving bounds with binary search for b and (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.621 * [regimes]: Found splitpoints: (#s(sp 5 b -1.8286874142428294e+104) #s(sp 3 b 8.497467814633822e+55) #s(sp 5 b +nan.0)) , with alts (#<alt (λ (a b eps) (/ (* eps (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b)))) (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) 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))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (sqrt (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (* (sqrt (+ (* 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)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 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)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (exp (log (- (exp (* eps b)) 1.0))))))> #<alt (λ (a b eps) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (/ (+ (neg (* 1.0 1.0)) (pow (exp b) (* 2 eps))) (+ (exp (* b eps)) 1.0)))))>)
5.622 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= b -1.8286874142428294e+104) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))) (if (<= b 8.497467814633822e+55) (/ (* eps (- (exp (* (+ a b) 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))))) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))))))
5.623 * * [simplify]: iteration  0 :  66  enodes  (cost  62 )
5.623 * * [simplify]: iteration  1 :  68  enodes  (cost  62 )
5.623 * * [simplify]: iteration  2 :  68  enodes  (cost  62 )
5.624 * [simplify]: Simplified to:
  (if (or (<= b -1.8286874142428294e+104) (not (<= b 8.497467814633822e+55))) (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (* (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0)))) (cbrt (* (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (- (exp (* b eps)) 1.0))))) (/ (* eps (- (exp (* (+ a b) 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))))))