0.361 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.243 * * * [progress]: [2/2] Setting up program. 0.247 * [progress]: [Phase 2 of 3] Improving. 0.247 * [simplify]: Simplifying using # : (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 0.248 * * [simplify]: iteration 0 : 17 enodes (cost 24 ) 0.250 * * [simplify]: iteration 1 : 40 enodes (cost 24 ) 0.256 * * [simplify]: iteration 2 : 101 enodes (cost 24 ) 0.273 * * [simplify]: iteration 3 : 240 enodes (cost 24 ) 0.313 * * [simplify]: iteration 4 : 663 enodes (cost 24 ) 0.493 * * [simplify]: iteration 5 : 3002 enodes (cost 24 ) 1.404 * * [simplify]: iteration done : 5001 enodes (cost 24 ) 1.404 * [simplify]: Simplified to: (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 1.405 * * [progress]: iteration 1 / 4 1.405 * * * [progress]: picking best candidate 1.408 * * * * [pick]: Picked # 1.408 * * * [progress]: localizing error 1.424 * * * [progress]: generating rewritten candidates 1.424 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.432 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.436 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.461 * * * [progress]: generating series expansions 1.462 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.462 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 1.462 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 1.462 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 1.462 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 1.462 * [taylor]: Taking taylor expansion of (+ a b) in eps 1.462 * [taylor]: Taking taylor expansion of a in eps 1.462 * [taylor]: Taking taylor expansion of b in eps 1.462 * [taylor]: Taking taylor expansion of eps in eps 1.466 * [taylor]: Taking taylor expansion of 1.0 in eps 1.466 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 1.466 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 1.466 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 1.466 * [taylor]: Taking taylor expansion of (+ a b) in b 1.466 * [taylor]: Taking taylor expansion of a in b 1.466 * [taylor]: Taking taylor expansion of b in b 1.466 * [taylor]: Taking taylor expansion of eps in b 1.466 * [taylor]: Taking taylor expansion of 1.0 in b 1.466 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.466 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.466 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.466 * [taylor]: Taking taylor expansion of (+ a b) in a 1.466 * [taylor]: Taking taylor expansion of a in a 1.466 * [taylor]: Taking taylor expansion of b in a 1.466 * [taylor]: Taking taylor expansion of eps in a 1.466 * [taylor]: Taking taylor expansion of 1.0 in a 1.466 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.466 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.466 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.466 * [taylor]: Taking taylor expansion of (+ a b) in a 1.466 * [taylor]: Taking taylor expansion of a in a 1.466 * [taylor]: Taking taylor expansion of b in a 1.466 * [taylor]: Taking taylor expansion of eps in a 1.466 * [taylor]: Taking taylor expansion of 1.0 in a 1.467 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.467 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.467 * [taylor]: Taking taylor expansion of (* eps b) in b 1.467 * [taylor]: Taking taylor expansion of eps in b 1.467 * [taylor]: Taking taylor expansion of b in b 1.467 * [taylor]: Taking taylor expansion of 1.0 in b 1.468 * [taylor]: Taking taylor expansion of 0 in eps 1.469 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 1.469 * [taylor]: Taking taylor expansion of eps in b 1.469 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.469 * [taylor]: Taking taylor expansion of (* eps b) in b 1.469 * [taylor]: Taking taylor expansion of eps in b 1.469 * [taylor]: Taking taylor expansion of b in b 1.470 * [taylor]: Taking taylor expansion of eps in eps 1.470 * [taylor]: Taking taylor expansion of eps in eps 1.472 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 1.472 * [taylor]: Taking taylor expansion of 1/2 in b 1.472 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 1.472 * [taylor]: Taking taylor expansion of (pow eps 2) in b 1.472 * [taylor]: Taking taylor expansion of eps in b 1.472 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.472 * [taylor]: Taking taylor expansion of (* eps b) in b 1.472 * [taylor]: Taking taylor expansion of eps in b 1.472 * [taylor]: Taking taylor expansion of b in b 1.472 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.472 * [taylor]: Taking taylor expansion of 1/2 in eps 1.472 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.472 * [taylor]: Taking taylor expansion of eps in eps 1.473 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.473 * [taylor]: Taking taylor expansion of eps in eps 1.474 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.474 * [taylor]: Taking taylor expansion of 1/2 in eps 1.474 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.474 * [taylor]: Taking taylor expansion of eps in eps 1.476 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 1.476 * [taylor]: Taking taylor expansion of 1/6 in b 1.476 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 1.476 * [taylor]: Taking taylor expansion of (pow eps 3) in b 1.476 * [taylor]: Taking taylor expansion of eps in b 1.476 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.476 * [taylor]: Taking taylor expansion of (* eps b) in b 1.476 * [taylor]: Taking taylor expansion of eps in b 1.476 * [taylor]: Taking taylor expansion of b in b 1.477 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.477 * [taylor]: Taking taylor expansion of 1/6 in eps 1.477 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.477 * [taylor]: Taking taylor expansion of eps in eps 1.478 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.478 * [taylor]: Taking taylor expansion of 1/2 in eps 1.478 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.478 * [taylor]: Taking taylor expansion of eps in eps 1.479 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.479 * [taylor]: Taking taylor expansion of 1/2 in eps 1.479 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.479 * [taylor]: Taking taylor expansion of eps in eps 1.481 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.481 * [taylor]: Taking taylor expansion of 1/6 in eps 1.481 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.481 * [taylor]: Taking taylor expansion of eps in eps 1.484 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 1.484 * [taylor]: Taking taylor expansion of 1/24 in b 1.484 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 1.484 * [taylor]: Taking taylor expansion of (pow eps 4) in b 1.484 * [taylor]: Taking taylor expansion of eps in b 1.484 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.484 * [taylor]: Taking taylor expansion of (* eps b) in b 1.484 * [taylor]: Taking taylor expansion of eps in b 1.484 * [taylor]: Taking taylor expansion of b in b 1.485 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.485 * [taylor]: Taking taylor expansion of 1/24 in eps 1.485 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.485 * [taylor]: Taking taylor expansion of eps in eps 1.486 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.486 * [taylor]: Taking taylor expansion of 1/6 in eps 1.486 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.486 * [taylor]: Taking taylor expansion of eps in eps 1.488 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 1.488 * [taylor]: Taking taylor expansion of 1/4 in eps 1.488 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.488 * [taylor]: Taking taylor expansion of eps in eps 1.489 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.490 * [taylor]: Taking taylor expansion of 1/6 in eps 1.490 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.490 * [taylor]: Taking taylor expansion of eps in eps 1.492 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.492 * [taylor]: Taking taylor expansion of 1/24 in eps 1.492 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.492 * [taylor]: Taking taylor expansion of eps in eps 1.493 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.493 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.493 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.493 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.493 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.493 * [taylor]: Taking taylor expansion of b in eps 1.493 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.494 * [taylor]: Taking taylor expansion of a in eps 1.494 * [taylor]: Taking taylor expansion of eps in eps 1.494 * [taylor]: Taking taylor expansion of 1.0 in eps 1.494 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.494 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.494 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.494 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.494 * [taylor]: Taking taylor expansion of b in b 1.494 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.494 * [taylor]: Taking taylor expansion of a in b 1.494 * [taylor]: Taking taylor expansion of eps in b 1.495 * [taylor]: Taking taylor expansion of 1.0 in b 1.495 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.495 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.495 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.495 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.495 * [taylor]: Taking taylor expansion of b in a 1.495 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.495 * [taylor]: Taking taylor expansion of a in a 1.495 * [taylor]: Taking taylor expansion of eps in a 1.495 * [taylor]: Taking taylor expansion of 1.0 in a 1.495 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.495 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.495 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.495 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.496 * [taylor]: Taking taylor expansion of b in a 1.496 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.496 * [taylor]: Taking taylor expansion of a in a 1.496 * [taylor]: Taking taylor expansion of eps in a 1.496 * [taylor]: Taking taylor expansion of 1.0 in a 1.497 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.497 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.497 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.497 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.497 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.497 * [taylor]: Taking taylor expansion of b in b 1.497 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.497 * [taylor]: Taking taylor expansion of a in b 1.497 * [taylor]: Taking taylor expansion of eps in b 1.498 * [taylor]: Taking taylor expansion of 1.0 in b 1.498 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.498 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.498 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.498 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.498 * [taylor]: Taking taylor expansion of b in eps 1.498 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.498 * [taylor]: Taking taylor expansion of a in eps 1.498 * [taylor]: Taking taylor expansion of eps in eps 1.499 * [taylor]: Taking taylor expansion of 1.0 in eps 1.500 * [taylor]: Taking taylor expansion of 0 in b 1.500 * [taylor]: Taking taylor expansion of 0 in eps 1.500 * [taylor]: Taking taylor expansion of 0 in eps 1.501 * [taylor]: Taking taylor expansion of 0 in b 1.501 * [taylor]: Taking taylor expansion of 0 in eps 1.501 * [taylor]: Taking taylor expansion of 0 in eps 1.502 * [taylor]: Taking taylor expansion of 0 in eps 1.502 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.502 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.502 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.502 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.502 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.502 * [taylor]: Taking taylor expansion of b in eps 1.502 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.502 * [taylor]: Taking taylor expansion of a in eps 1.502 * [taylor]: Taking taylor expansion of eps in eps 1.502 * [taylor]: Taking taylor expansion of 1.0 in eps 1.502 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.502 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.502 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.502 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.502 * [taylor]: Taking taylor expansion of b in b 1.503 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.503 * [taylor]: Taking taylor expansion of a in b 1.503 * [taylor]: Taking taylor expansion of eps in b 1.503 * [taylor]: Taking taylor expansion of 1.0 in b 1.503 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.503 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.503 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.504 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.504 * [taylor]: Taking taylor expansion of b in a 1.504 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.504 * [taylor]: Taking taylor expansion of a in a 1.504 * [taylor]: Taking taylor expansion of eps in a 1.504 * [taylor]: Taking taylor expansion of 1.0 in a 1.504 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.504 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.504 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.504 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.504 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.504 * [taylor]: Taking taylor expansion of b in a 1.504 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.504 * [taylor]: Taking taylor expansion of a in a 1.505 * [taylor]: Taking taylor expansion of eps in a 1.505 * [taylor]: Taking taylor expansion of 1.0 in a 1.506 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.506 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.506 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.506 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.506 * [taylor]: Taking taylor expansion of b in b 1.506 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.506 * [taylor]: Taking taylor expansion of a in b 1.506 * [taylor]: Taking taylor expansion of eps in b 1.506 * [taylor]: Taking taylor expansion of 1.0 in b 1.507 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.507 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.507 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.507 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.507 * [taylor]: Taking taylor expansion of b in eps 1.507 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.507 * [taylor]: Taking taylor expansion of a in eps 1.507 * [taylor]: Taking taylor expansion of eps in eps 1.507 * [taylor]: Taking taylor expansion of 1.0 in eps 1.509 * [taylor]: Taking taylor expansion of 0 in b 1.509 * [taylor]: Taking taylor expansion of 0 in eps 1.509 * [taylor]: Taking taylor expansion of 0 in eps 1.510 * [taylor]: Taking taylor expansion of 0 in b 1.510 * [taylor]: Taking taylor expansion of 0 in eps 1.510 * [taylor]: Taking taylor expansion of 0 in eps 1.510 * [taylor]: Taking taylor expansion of 0 in eps 1.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.511 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0 1.511 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.511 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.511 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.511 * [taylor]: Taking taylor expansion of a in eps 1.511 * [taylor]: Taking taylor expansion of eps in eps 1.511 * [taylor]: Taking taylor expansion of 1.0 in eps 1.511 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.511 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.511 * [taylor]: Taking taylor expansion of (* a eps) in a 1.511 * [taylor]: Taking taylor expansion of a in a 1.511 * [taylor]: Taking taylor expansion of eps in a 1.512 * [taylor]: Taking taylor expansion of 1.0 in a 1.512 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.512 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.512 * [taylor]: Taking taylor expansion of (* a eps) in a 1.512 * [taylor]: Taking taylor expansion of a in a 1.512 * [taylor]: Taking taylor expansion of eps in a 1.512 * [taylor]: Taking taylor expansion of 1.0 in a 1.513 * [taylor]: Taking taylor expansion of 0 in eps 1.513 * [taylor]: Taking taylor expansion of eps in eps 1.515 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.515 * [taylor]: Taking taylor expansion of 1/2 in eps 1.515 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.515 * [taylor]: Taking taylor expansion of eps in eps 1.517 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.517 * [taylor]: Taking taylor expansion of 1/6 in eps 1.517 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.517 * [taylor]: Taking taylor expansion of eps in eps 1.520 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.520 * [taylor]: Taking taylor expansion of 1/24 in eps 1.520 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.520 * [taylor]: Taking taylor expansion of eps in eps 1.524 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.524 * [taylor]: Taking taylor expansion of 1/120 in eps 1.524 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.524 * [taylor]: Taking taylor expansion of eps in eps 1.531 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.531 * [taylor]: Taking taylor expansion of 1/720 in eps 1.531 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.531 * [taylor]: Taking taylor expansion of eps in eps 1.532 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.532 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.532 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.532 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.532 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.532 * [taylor]: Taking taylor expansion of a in eps 1.532 * [taylor]: Taking taylor expansion of eps in eps 1.533 * [taylor]: Taking taylor expansion of 1.0 in eps 1.533 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.533 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.533 * [taylor]: Taking taylor expansion of (* a eps) in a 1.533 * [taylor]: Taking taylor expansion of a in a 1.533 * [taylor]: Taking taylor expansion of eps in a 1.533 * [taylor]: Taking taylor expansion of 1.0 in a 1.533 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.533 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.533 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.533 * [taylor]: Taking taylor expansion of (* a eps) in a 1.533 * [taylor]: Taking taylor expansion of a in a 1.533 * [taylor]: Taking taylor expansion of eps in a 1.534 * [taylor]: Taking taylor expansion of 1.0 in a 1.534 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.534 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.534 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.534 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.534 * [taylor]: Taking taylor expansion of a in eps 1.534 * [taylor]: Taking taylor expansion of eps in eps 1.535 * [taylor]: Taking taylor expansion of 1.0 in eps 1.536 * [taylor]: Taking taylor expansion of 0 in eps 1.537 * [taylor]: Taking taylor expansion of 0 in eps 1.538 * [taylor]: Taking taylor expansion of 0 in eps 1.538 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.538 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.538 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.538 * [taylor]: Taking taylor expansion of a in eps 1.538 * [taylor]: Taking taylor expansion of eps in eps 1.538 * [taylor]: Taking taylor expansion of 1.0 in eps 1.538 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.538 * [taylor]: Taking taylor expansion of (* a eps) in a 1.538 * [taylor]: Taking taylor expansion of a in a 1.538 * [taylor]: Taking taylor expansion of eps in a 1.539 * [taylor]: Taking taylor expansion of 1.0 in a 1.539 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.539 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.539 * [taylor]: Taking taylor expansion of (* a eps) in a 1.539 * [taylor]: Taking taylor expansion of a in a 1.539 * [taylor]: Taking taylor expansion of eps in a 1.539 * [taylor]: Taking taylor expansion of 1.0 in a 1.540 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.540 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.540 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.540 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.540 * [taylor]: Taking taylor expansion of a in eps 1.540 * [taylor]: Taking taylor expansion of eps in eps 1.540 * [taylor]: Taking taylor expansion of 1.0 in eps 1.541 * [taylor]: Taking taylor expansion of 0 in eps 1.542 * [taylor]: Taking taylor expansion of 0 in eps 1.543 * [taylor]: Taking taylor expansion of 0 in eps 1.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.543 * [approximate]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in (b eps) around 0 1.543 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.543 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.544 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.544 * [taylor]: Taking taylor expansion of eps in eps 1.544 * [taylor]: Taking taylor expansion of b in eps 1.544 * [taylor]: Taking taylor expansion of 1.0 in eps 1.544 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.544 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.544 * [taylor]: Taking taylor expansion of (* eps b) in b 1.544 * [taylor]: Taking taylor expansion of eps in b 1.544 * [taylor]: Taking taylor expansion of b in b 1.544 * [taylor]: Taking taylor expansion of 1.0 in b 1.544 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.544 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.544 * [taylor]: Taking taylor expansion of (* eps b) in b 1.544 * [taylor]: Taking taylor expansion of eps in b 1.544 * [taylor]: Taking taylor expansion of b in b 1.545 * [taylor]: Taking taylor expansion of 1.0 in b 1.545 * [taylor]: Taking taylor expansion of 0 in eps 1.546 * [taylor]: Taking taylor expansion of eps in eps 1.547 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.547 * [taylor]: Taking taylor expansion of 1/2 in eps 1.547 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.547 * [taylor]: Taking taylor expansion of eps in eps 1.549 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.549 * [taylor]: Taking taylor expansion of 1/6 in eps 1.549 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.549 * [taylor]: Taking taylor expansion of eps in eps 1.551 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.551 * [taylor]: Taking taylor expansion of 1/24 in eps 1.551 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.551 * [taylor]: Taking taylor expansion of eps in eps 1.558 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.558 * [taylor]: Taking taylor expansion of 1/120 in eps 1.558 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.558 * [taylor]: Taking taylor expansion of eps in eps 1.564 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.564 * [taylor]: Taking taylor expansion of 1/720 in eps 1.564 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.564 * [taylor]: Taking taylor expansion of eps in eps 1.566 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.566 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.566 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.566 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.566 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.566 * [taylor]: Taking taylor expansion of eps in eps 1.566 * [taylor]: Taking taylor expansion of b in eps 1.566 * [taylor]: Taking taylor expansion of 1.0 in eps 1.566 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.566 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.566 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.566 * [taylor]: Taking taylor expansion of (* eps b) in b 1.566 * [taylor]: Taking taylor expansion of eps in b 1.566 * [taylor]: Taking taylor expansion of b in b 1.567 * [taylor]: Taking taylor expansion of 1.0 in b 1.567 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.567 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.567 * [taylor]: Taking taylor expansion of (* eps b) in b 1.567 * [taylor]: Taking taylor expansion of eps in b 1.567 * [taylor]: Taking taylor expansion of b in b 1.567 * [taylor]: Taking taylor expansion of 1.0 in b 1.568 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.568 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.568 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.568 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.568 * [taylor]: Taking taylor expansion of eps in eps 1.568 * [taylor]: Taking taylor expansion of b in eps 1.568 * [taylor]: Taking taylor expansion of 1.0 in eps 1.569 * [taylor]: Taking taylor expansion of 0 in eps 1.570 * [taylor]: Taking taylor expansion of 0 in eps 1.571 * [taylor]: Taking taylor expansion of 0 in eps 1.571 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.571 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.571 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.571 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.571 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.571 * [taylor]: Taking taylor expansion of eps in eps 1.571 * [taylor]: Taking taylor expansion of b in eps 1.572 * [taylor]: Taking taylor expansion of 1.0 in eps 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.572 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.572 * [taylor]: Taking taylor expansion of (* eps b) in b 1.572 * [taylor]: Taking taylor expansion of eps in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of 1.0 in b 1.572 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.572 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.572 * [taylor]: Taking taylor expansion of (* eps b) in b 1.572 * [taylor]: Taking taylor expansion of eps in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of 1.0 in b 1.573 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.573 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.573 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.573 * [taylor]: Taking taylor expansion of eps in eps 1.573 * [taylor]: Taking taylor expansion of b in eps 1.573 * [taylor]: Taking taylor expansion of 1.0 in eps 1.575 * [taylor]: Taking taylor expansion of 0 in eps 1.575 * [taylor]: Taking taylor expansion of 0 in eps 1.576 * [taylor]: Taking taylor expansion of 0 in eps 1.577 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.577 * [approximate]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in (a eps b) around 0 1.577 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b 1.577 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.577 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.577 * [taylor]: Taking taylor expansion of (* eps b) in b 1.577 * [taylor]: Taking taylor expansion of eps in b 1.577 * [taylor]: Taking taylor expansion of b in b 1.577 * [taylor]: Taking taylor expansion of 1.0 in b 1.577 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in b 1.577 * [taylor]: Taking taylor expansion of (exp (* a eps)) in b 1.577 * [taylor]: Taking taylor expansion of (* a eps) in b 1.577 * [taylor]: Taking taylor expansion of a in b 1.577 * [taylor]: Taking taylor expansion of eps in b 1.577 * [taylor]: Taking taylor expansion of 1.0 in b 1.577 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps 1.577 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.577 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.577 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.577 * [taylor]: Taking taylor expansion of eps in eps 1.577 * [taylor]: Taking taylor expansion of b in eps 1.578 * [taylor]: Taking taylor expansion of 1.0 in eps 1.578 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.578 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.578 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.578 * [taylor]: Taking taylor expansion of a in eps 1.578 * [taylor]: Taking taylor expansion of eps in eps 1.578 * [taylor]: Taking taylor expansion of 1.0 in eps 1.578 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.578 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.578 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.578 * [taylor]: Taking taylor expansion of (* eps b) in a 1.578 * [taylor]: Taking taylor expansion of eps in a 1.578 * [taylor]: Taking taylor expansion of b in a 1.578 * [taylor]: Taking taylor expansion of 1.0 in a 1.578 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.578 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.578 * [taylor]: Taking taylor expansion of (* a eps) in a 1.578 * [taylor]: Taking taylor expansion of a in a 1.578 * [taylor]: Taking taylor expansion of eps in a 1.579 * [taylor]: Taking taylor expansion of 1.0 in a 1.579 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.579 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.579 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.579 * [taylor]: Taking taylor expansion of (* eps b) in a 1.579 * [taylor]: Taking taylor expansion of eps in a 1.579 * [taylor]: Taking taylor expansion of b in a 1.579 * [taylor]: Taking taylor expansion of 1.0 in a 1.579 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.579 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.579 * [taylor]: Taking taylor expansion of (* a eps) in a 1.579 * [taylor]: Taking taylor expansion of a in a 1.579 * [taylor]: Taking taylor expansion of eps in a 1.579 * [taylor]: Taking taylor expansion of 1.0 in a 1.580 * [taylor]: Taking taylor expansion of 0 in eps 1.580 * [taylor]: Taking taylor expansion of 0 in b 1.582 * [taylor]: Taking taylor expansion of (- (* eps (exp (* eps b))) (* 1.0 eps)) in eps 1.582 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in eps 1.582 * [taylor]: Taking taylor expansion of eps in eps 1.582 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.582 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.582 * [taylor]: Taking taylor expansion of eps in eps 1.582 * [taylor]: Taking taylor expansion of b in eps 1.582 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 1.583 * [taylor]: Taking taylor expansion of 1.0 in eps 1.583 * [taylor]: Taking taylor expansion of eps in eps 1.583 * [taylor]: Taking taylor expansion of 0 in b 1.584 * [taylor]: Taking taylor expansion of 0 in b 1.587 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow eps 2) (exp (* eps b)))) (* 0.5 (pow eps 2))) in eps 1.587 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in eps 1.587 * [taylor]: Taking taylor expansion of 1/2 in eps 1.587 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in eps 1.587 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.587 * [taylor]: Taking taylor expansion of eps in eps 1.587 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.587 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.587 * [taylor]: Taking taylor expansion of eps in eps 1.587 * [taylor]: Taking taylor expansion of b in eps 1.587 * [taylor]: Taking taylor expansion of (* 0.5 (pow eps 2)) in eps 1.587 * [taylor]: Taking taylor expansion of 0.5 in eps 1.587 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.587 * [taylor]: Taking taylor expansion of eps in eps 1.589 * [taylor]: Taking taylor expansion of 0 in b 1.589 * [taylor]: Taking taylor expansion of 0 in b 1.589 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.589 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.589 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.590 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.590 * [taylor]: Taking taylor expansion of (* eps b) in b 1.590 * [taylor]: Taking taylor expansion of eps in b 1.590 * [taylor]: Taking taylor expansion of b in b 1.590 * [taylor]: Taking taylor expansion of 1.0 in b 1.590 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.590 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.590 * [taylor]: Taking taylor expansion of (* a eps) in b 1.590 * [taylor]: Taking taylor expansion of a in b 1.590 * [taylor]: Taking taylor expansion of eps in b 1.590 * [taylor]: Taking taylor expansion of 1.0 in b 1.590 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.590 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.590 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.590 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.590 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.590 * [taylor]: Taking taylor expansion of eps in eps 1.590 * [taylor]: Taking taylor expansion of b in eps 1.591 * [taylor]: Taking taylor expansion of 1.0 in eps 1.591 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.591 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.591 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.591 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.591 * [taylor]: Taking taylor expansion of a in eps 1.591 * [taylor]: Taking taylor expansion of eps in eps 1.591 * [taylor]: Taking taylor expansion of 1.0 in eps 1.591 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.591 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.591 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.591 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.591 * [taylor]: Taking taylor expansion of (* eps b) in a 1.591 * [taylor]: Taking taylor expansion of eps in a 1.591 * [taylor]: Taking taylor expansion of b in a 1.591 * [taylor]: Taking taylor expansion of 1.0 in a 1.591 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.591 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.591 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.591 * [taylor]: Taking taylor expansion of (* a eps) in a 1.591 * [taylor]: Taking taylor expansion of a in a 1.591 * [taylor]: Taking taylor expansion of eps in a 1.592 * [taylor]: Taking taylor expansion of 1.0 in a 1.592 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.592 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.592 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.592 * [taylor]: Taking taylor expansion of (* eps b) in a 1.592 * [taylor]: Taking taylor expansion of eps in a 1.592 * [taylor]: Taking taylor expansion of b in a 1.592 * [taylor]: Taking taylor expansion of 1.0 in a 1.592 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.592 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.592 * [taylor]: Taking taylor expansion of (* a eps) in a 1.592 * [taylor]: Taking taylor expansion of a in a 1.592 * [taylor]: Taking taylor expansion of eps in a 1.592 * [taylor]: Taking taylor expansion of 1.0 in a 1.594 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.594 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.594 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.594 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.594 * [taylor]: Taking taylor expansion of a in eps 1.594 * [taylor]: Taking taylor expansion of eps in eps 1.594 * [taylor]: Taking taylor expansion of 1.0 in eps 1.594 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.594 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.594 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.594 * [taylor]: Taking taylor expansion of eps in eps 1.594 * [taylor]: Taking taylor expansion of b in eps 1.595 * [taylor]: Taking taylor expansion of 1.0 in eps 1.596 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.596 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.596 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.596 * [taylor]: Taking taylor expansion of (* eps b) in b 1.596 * [taylor]: Taking taylor expansion of eps in b 1.596 * [taylor]: Taking taylor expansion of b in b 1.596 * [taylor]: Taking taylor expansion of 1.0 in b 1.596 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.596 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.596 * [taylor]: Taking taylor expansion of (* a eps) in b 1.596 * [taylor]: Taking taylor expansion of a in b 1.596 * [taylor]: Taking taylor expansion of eps in b 1.596 * [taylor]: Taking taylor expansion of 1.0 in b 1.599 * [taylor]: Taking taylor expansion of 0 in eps 1.599 * [taylor]: Taking taylor expansion of 0 in b 1.600 * [taylor]: Taking taylor expansion of 0 in b 1.605 * [taylor]: Taking taylor expansion of 0 in eps 1.605 * [taylor]: Taking taylor expansion of 0 in b 1.605 * [taylor]: Taking taylor expansion of 0 in b 1.606 * [taylor]: Taking taylor expansion of 0 in b 1.606 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.606 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.606 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.606 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.606 * [taylor]: Taking taylor expansion of (* eps b) in b 1.606 * [taylor]: Taking taylor expansion of eps in b 1.606 * [taylor]: Taking taylor expansion of b in b 1.607 * [taylor]: Taking taylor expansion of 1.0 in b 1.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.607 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.607 * [taylor]: Taking taylor expansion of (* a eps) in b 1.607 * [taylor]: Taking taylor expansion of a in b 1.607 * [taylor]: Taking taylor expansion of eps in b 1.607 * [taylor]: Taking taylor expansion of 1.0 in b 1.607 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.607 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.607 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.607 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.607 * [taylor]: Taking taylor expansion of eps in eps 1.607 * [taylor]: Taking taylor expansion of b in eps 1.607 * [taylor]: Taking taylor expansion of 1.0 in eps 1.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.608 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.608 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.608 * [taylor]: Taking taylor expansion of a in eps 1.608 * [taylor]: Taking taylor expansion of eps in eps 1.608 * [taylor]: Taking taylor expansion of 1.0 in eps 1.608 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.608 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.608 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.608 * [taylor]: Taking taylor expansion of (* eps b) in a 1.608 * [taylor]: Taking taylor expansion of eps in a 1.608 * [taylor]: Taking taylor expansion of b in a 1.608 * [taylor]: Taking taylor expansion of 1.0 in a 1.608 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.608 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.608 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.608 * [taylor]: Taking taylor expansion of (* a eps) in a 1.608 * [taylor]: Taking taylor expansion of a in a 1.608 * [taylor]: Taking taylor expansion of eps in a 1.609 * [taylor]: Taking taylor expansion of 1.0 in a 1.609 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.609 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.609 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.609 * [taylor]: Taking taylor expansion of (* eps b) in a 1.609 * [taylor]: Taking taylor expansion of eps in a 1.609 * [taylor]: Taking taylor expansion of b in a 1.609 * [taylor]: Taking taylor expansion of 1.0 in a 1.609 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.609 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.609 * [taylor]: Taking taylor expansion of (* a eps) in a 1.609 * [taylor]: Taking taylor expansion of a in a 1.609 * [taylor]: Taking taylor expansion of eps in a 1.609 * [taylor]: Taking taylor expansion of 1.0 in a 1.610 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.611 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.611 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.611 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.611 * [taylor]: Taking taylor expansion of a in eps 1.611 * [taylor]: Taking taylor expansion of eps in eps 1.611 * [taylor]: Taking taylor expansion of 1.0 in eps 1.611 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.611 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.611 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.611 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.611 * [taylor]: Taking taylor expansion of eps in eps 1.611 * [taylor]: Taking taylor expansion of b in eps 1.611 * [taylor]: Taking taylor expansion of 1.0 in eps 1.613 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.613 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.613 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.613 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.613 * [taylor]: Taking taylor expansion of (* eps b) in b 1.613 * [taylor]: Taking taylor expansion of eps in b 1.613 * [taylor]: Taking taylor expansion of b in b 1.613 * [taylor]: Taking taylor expansion of 1.0 in b 1.613 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.613 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.613 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.613 * [taylor]: Taking taylor expansion of (* a eps) in b 1.613 * [taylor]: Taking taylor expansion of a in b 1.613 * [taylor]: Taking taylor expansion of eps in b 1.613 * [taylor]: Taking taylor expansion of 1.0 in b 1.616 * [taylor]: Taking taylor expansion of 0 in eps 1.616 * [taylor]: Taking taylor expansion of 0 in b 1.617 * [taylor]: Taking taylor expansion of 0 in b 1.621 * [taylor]: Taking taylor expansion of 0 in eps 1.621 * [taylor]: Taking taylor expansion of 0 in b 1.621 * [taylor]: Taking taylor expansion of 0 in b 1.622 * [taylor]: Taking taylor expansion of 0 in b 1.623 * * * [progress]: simplifying candidates 1.624 * [simplify]: Simplifying using # : (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (/ (exp (exp (* a eps))) (exp 1.0)) (log (- (exp (* a eps)) 1.0)) (exp (- (exp (* a eps)) 1.0)) (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0))) (cbrt (- (exp (* a eps)) 1.0)) (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (- 1.0) (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (/ (exp (exp (* b eps))) (exp 1.0)) (log (- (exp (* b eps)) 1.0)) (exp (- (exp (* b eps)) 1.0)) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))) (cbrt (- (exp (* b eps)) 1.0)) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))) (- 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)) (+ (exp (* b eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0)) (- (sqrt (exp (* b eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0) (- 1.0) (* (- (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) (- 1.0)) (* (- (exp (* a eps)) 1.0) (exp (* b eps))) (* (- (exp (* a eps)) 1.0) (- 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 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)) 1.628 * * [simplify]: iteration 0 : 143 enodes (cost 1364 ) 1.653 * * [simplify]: iteration 1 : 349 enodes (cost 1326 ) 1.727 * * [simplify]: iteration 2 : 1358 enodes (cost 1196 ) 2.076 * * [simplify]: iteration done : 5001 enodes (cost 1190 ) 2.076 * [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)) (+ (exp (* 2 (* (+ a b) eps))) (* 1.0 (+ (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (exp (* 2 (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (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)) (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0)) (- 1.0) (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (exp (- (exp (* b eps)) 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)) (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)) (+ (exp (* 2 (* b eps))) (* 1.0 (+ (exp (* b eps)) 1.0))) (- 1.0) (- (exp (* 2 (* 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 (* eps b)) 1.0) (- 1.0) (* (- (exp (* a eps)) 1.0) (- (exp (* b 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 (* a eps)) 1.0) (- (exp (* b 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 (* a eps)) 1.0) (- (exp (* b 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))) (* (+ (exp (* 2 (* b eps))) (* 1.0 (+ (exp (* b eps)) 1.0))) (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0))) (* (- (exp (* 2 (* b eps))) (* 1.0 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3))) (* (+ (exp (* b eps)) 1.0) (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0))) (* (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (exp (* 2 (* b eps))) (* 1.0 (+ (exp (* b eps)) 1.0))) (+ (exp (* a eps)) 1.0)) (* (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (- (exp (* 2 (* 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 (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 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) (* (- (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 (* 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 (* 2 (* b eps))) (* 1.0 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* 2 (* a eps))) (* 1.0 1.0))) (* eps (+ (+ a b) (* (* 1/2 (pow a 2)) eps))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* b (+ eps (* (* 1/2 (pow eps 2)) b)))) (- (exp (* eps b)) 1.0) (- (exp (* eps b)) 1.0) 0 (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) 2.077 * * * [progress]: adding candidates to table 2.385 * * [progress]: iteration 2 / 4 2.385 * * * [progress]: picking best candidate 2.398 * * * * [pick]: Picked # 2.398 * * * [progress]: localizing error 2.429 * * * [progress]: generating rewritten candidates 2.429 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2) 2.441 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 2.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.453 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.464 * * * [progress]: generating series expansions 2.464 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2) 2.465 * [approximate]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in (a eps) around 0 2.465 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.465 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.465 * [taylor]: Taking taylor expansion of a in eps 2.465 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.465 * [taylor]: Taking taylor expansion of eps in eps 2.465 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.465 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.465 * [taylor]: Taking taylor expansion of a in a 2.465 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.465 * [taylor]: Taking taylor expansion of eps in a 2.465 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.465 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.465 * [taylor]: Taking taylor expansion of a in a 2.465 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.465 * [taylor]: Taking taylor expansion of eps in a 2.466 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.466 * [taylor]: Taking taylor expansion of eps in eps 2.468 * [taylor]: Taking taylor expansion of 0 in eps 2.471 * [taylor]: Taking taylor expansion of 0 in eps 2.475 * [taylor]: Taking taylor expansion of 0 in eps 2.475 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0 2.475 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps 2.475 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.475 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.475 * [taylor]: Taking taylor expansion of a in eps 2.475 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.475 * [taylor]: Taking taylor expansion of eps in eps 2.476 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.476 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.476 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.476 * [taylor]: Taking taylor expansion of a in a 2.476 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.476 * [taylor]: Taking taylor expansion of eps in a 2.477 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.477 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.477 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.477 * [taylor]: Taking taylor expansion of a in a 2.477 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.477 * [taylor]: Taking taylor expansion of eps in a 2.478 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 3)) in eps 2.478 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.478 * [taylor]: Taking taylor expansion of eps in eps 2.480 * [taylor]: Taking taylor expansion of 0 in eps 2.483 * [taylor]: Taking taylor expansion of 0 in eps 2.488 * [taylor]: Taking taylor expansion of 0 in eps 2.493 * [taylor]: Taking taylor expansion of 0 in eps 2.500 * [taylor]: Taking taylor expansion of 0 in eps 2.501 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0 2.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps 2.501 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.501 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.501 * [taylor]: Taking taylor expansion of a in eps 2.501 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.501 * [taylor]: Taking taylor expansion of eps in eps 2.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.502 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.502 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.502 * [taylor]: Taking taylor expansion of a in a 2.502 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.502 * [taylor]: Taking taylor expansion of eps in a 2.502 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.502 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.502 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.502 * [taylor]: Taking taylor expansion of a in a 2.502 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.502 * [taylor]: Taking taylor expansion of eps in a 2.507 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 3)) in eps 2.507 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.507 * [taylor]: Taking taylor expansion of eps in eps 2.509 * [taylor]: Taking taylor expansion of 0 in eps 2.513 * [taylor]: Taking taylor expansion of 0 in eps 2.517 * [taylor]: Taking taylor expansion of 0 in eps 2.523 * [taylor]: Taking taylor expansion of 0 in eps 2.530 * [taylor]: Taking taylor expansion of 0 in eps 2.530 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 2.530 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in (a eps) around 0 2.530 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.530 * [taylor]: Taking taylor expansion of 1/2 in eps 2.530 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.530 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.530 * [taylor]: Taking taylor expansion of a in eps 2.530 * [taylor]: Taking taylor expansion of eps in eps 2.530 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.530 * [taylor]: Taking taylor expansion of 1/2 in a 2.530 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.530 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.530 * [taylor]: Taking taylor expansion of a in a 2.530 * [taylor]: Taking taylor expansion of eps in a 2.530 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.530 * [taylor]: Taking taylor expansion of 1/2 in a 2.530 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.530 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.530 * [taylor]: Taking taylor expansion of a in a 2.530 * [taylor]: Taking taylor expansion of eps in a 2.531 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 2.531 * [taylor]: Taking taylor expansion of 1/2 in eps 2.531 * [taylor]: Taking taylor expansion of eps in eps 2.532 * [taylor]: Taking taylor expansion of 0 in eps 2.534 * [taylor]: Taking taylor expansion of 0 in eps 2.536 * [taylor]: Taking taylor expansion of 0 in eps 2.537 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in (a eps) around 0 2.537 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in eps 2.537 * [taylor]: Taking taylor expansion of 1/2 in eps 2.537 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.537 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.537 * [taylor]: Taking taylor expansion of a in eps 2.537 * [taylor]: Taking taylor expansion of eps in eps 2.537 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in a 2.538 * [taylor]: Taking taylor expansion of 1/2 in a 2.538 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.538 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.538 * [taylor]: Taking taylor expansion of a in a 2.538 * [taylor]: Taking taylor expansion of eps in a 2.538 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in a 2.538 * [taylor]: Taking taylor expansion of 1/2 in a 2.538 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.538 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.538 * [taylor]: Taking taylor expansion of a in a 2.538 * [taylor]: Taking taylor expansion of eps in a 2.538 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 2.538 * [taylor]: Taking taylor expansion of 1/2 in eps 2.538 * [taylor]: Taking taylor expansion of eps in eps 2.539 * [taylor]: Taking taylor expansion of 0 in eps 2.541 * [taylor]: Taking taylor expansion of 0 in eps 2.543 * [taylor]: Taking taylor expansion of 0 in eps 2.544 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in (a eps) around 0 2.544 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in eps 2.544 * [taylor]: Taking taylor expansion of -1/2 in eps 2.544 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.544 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.544 * [taylor]: Taking taylor expansion of a in eps 2.544 * [taylor]: Taking taylor expansion of eps in eps 2.545 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in a 2.545 * [taylor]: Taking taylor expansion of -1/2 in a 2.545 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.545 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.545 * [taylor]: Taking taylor expansion of a in a 2.545 * [taylor]: Taking taylor expansion of eps in a 2.545 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in a 2.545 * [taylor]: Taking taylor expansion of -1/2 in a 2.545 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.545 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.545 * [taylor]: Taking taylor expansion of a in a 2.545 * [taylor]: Taking taylor expansion of eps in a 2.546 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 2.546 * [taylor]: Taking taylor expansion of -1/2 in eps 2.546 * [taylor]: Taking taylor expansion of eps in eps 2.547 * [taylor]: Taking taylor expansion of 0 in eps 2.548 * [taylor]: Taking taylor expansion of 0 in eps 2.550 * [taylor]: Taking taylor expansion of 0 in eps 2.551 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.551 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 2.551 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 2.551 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 2.551 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 2.551 * [taylor]: Taking taylor expansion of (+ a b) in eps 2.551 * [taylor]: Taking taylor expansion of a in eps 2.551 * [taylor]: Taking taylor expansion of b in eps 2.551 * [taylor]: Taking taylor expansion of eps in eps 2.552 * [taylor]: Taking taylor expansion of 1.0 in eps 2.552 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 2.552 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 2.552 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 2.552 * [taylor]: Taking taylor expansion of (+ a b) in b 2.552 * [taylor]: Taking taylor expansion of a in b 2.552 * [taylor]: Taking taylor expansion of b in b 2.552 * [taylor]: Taking taylor expansion of eps in b 2.552 * [taylor]: Taking taylor expansion of 1.0 in b 2.552 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.552 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.552 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.552 * [taylor]: Taking taylor expansion of (+ a b) in a 2.552 * [taylor]: Taking taylor expansion of a in a 2.552 * [taylor]: Taking taylor expansion of b in a 2.552 * [taylor]: Taking taylor expansion of eps in a 2.552 * [taylor]: Taking taylor expansion of 1.0 in a 2.552 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.552 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.553 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.553 * [taylor]: Taking taylor expansion of (+ a b) in a 2.553 * [taylor]: Taking taylor expansion of a in a 2.553 * [taylor]: Taking taylor expansion of b in a 2.553 * [taylor]: Taking taylor expansion of eps in a 2.553 * [taylor]: Taking taylor expansion of 1.0 in a 2.553 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 2.553 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.553 * [taylor]: Taking taylor expansion of (* eps b) in b 2.553 * [taylor]: Taking taylor expansion of eps in b 2.553 * [taylor]: Taking taylor expansion of b in b 2.554 * [taylor]: Taking taylor expansion of 1.0 in b 2.554 * [taylor]: Taking taylor expansion of 0 in eps 2.555 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 2.555 * [taylor]: Taking taylor expansion of eps in b 2.555 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.555 * [taylor]: Taking taylor expansion of (* eps b) in b 2.555 * [taylor]: Taking taylor expansion of eps in b 2.555 * [taylor]: Taking taylor expansion of b in b 2.556 * [taylor]: Taking taylor expansion of eps in eps 2.556 * [taylor]: Taking taylor expansion of eps in eps 2.558 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 2.558 * [taylor]: Taking taylor expansion of 1/2 in b 2.558 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 2.558 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.558 * [taylor]: Taking taylor expansion of eps in b 2.558 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.558 * [taylor]: Taking taylor expansion of (* eps b) in b 2.558 * [taylor]: Taking taylor expansion of eps in b 2.558 * [taylor]: Taking taylor expansion of b in b 2.558 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.558 * [taylor]: Taking taylor expansion of 1/2 in eps 2.558 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.558 * [taylor]: Taking taylor expansion of eps in eps 2.559 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.559 * [taylor]: Taking taylor expansion of eps in eps 2.560 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.560 * [taylor]: Taking taylor expansion of 1/2 in eps 2.560 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.560 * [taylor]: Taking taylor expansion of eps in eps 2.563 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 2.563 * [taylor]: Taking taylor expansion of 1/6 in b 2.563 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 2.563 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.563 * [taylor]: Taking taylor expansion of eps in b 2.563 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.563 * [taylor]: Taking taylor expansion of (* eps b) in b 2.563 * [taylor]: Taking taylor expansion of eps in b 2.563 * [taylor]: Taking taylor expansion of b in b 2.563 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.563 * [taylor]: Taking taylor expansion of 1/6 in eps 2.563 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.563 * [taylor]: Taking taylor expansion of eps in eps 2.564 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.564 * [taylor]: Taking taylor expansion of 1/2 in eps 2.564 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.564 * [taylor]: Taking taylor expansion of eps in eps 2.565 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.565 * [taylor]: Taking taylor expansion of 1/2 in eps 2.565 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.565 * [taylor]: Taking taylor expansion of eps in eps 2.567 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.567 * [taylor]: Taking taylor expansion of 1/6 in eps 2.567 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.567 * [taylor]: Taking taylor expansion of eps in eps 2.570 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 2.570 * [taylor]: Taking taylor expansion of 1/24 in b 2.570 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 2.570 * [taylor]: Taking taylor expansion of (pow eps 4) in b 2.570 * [taylor]: Taking taylor expansion of eps in b 2.570 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.570 * [taylor]: Taking taylor expansion of (* eps b) in b 2.570 * [taylor]: Taking taylor expansion of eps in b 2.571 * [taylor]: Taking taylor expansion of b in b 2.571 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.571 * [taylor]: Taking taylor expansion of 1/24 in eps 2.571 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.571 * [taylor]: Taking taylor expansion of eps in eps 2.572 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.572 * [taylor]: Taking taylor expansion of 1/6 in eps 2.572 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.572 * [taylor]: Taking taylor expansion of eps in eps 2.574 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 2.574 * [taylor]: Taking taylor expansion of 1/4 in eps 2.574 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.574 * [taylor]: Taking taylor expansion of eps in eps 2.576 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.576 * [taylor]: Taking taylor expansion of 1/6 in eps 2.576 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.576 * [taylor]: Taking taylor expansion of eps in eps 2.579 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.579 * [taylor]: Taking taylor expansion of 1/24 in eps 2.579 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.579 * [taylor]: Taking taylor expansion of eps in eps 2.580 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.580 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.580 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.580 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.580 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.580 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.580 * [taylor]: Taking taylor expansion of b in eps 2.580 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.580 * [taylor]: Taking taylor expansion of a in eps 2.580 * [taylor]: Taking taylor expansion of eps in eps 2.580 * [taylor]: Taking taylor expansion of 1.0 in eps 2.580 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.580 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.580 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.580 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.580 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.580 * [taylor]: Taking taylor expansion of b in b 2.581 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.581 * [taylor]: Taking taylor expansion of a in b 2.581 * [taylor]: Taking taylor expansion of eps in b 2.581 * [taylor]: Taking taylor expansion of 1.0 in b 2.581 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.581 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.581 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.581 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.581 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.581 * [taylor]: Taking taylor expansion of b in a 2.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.581 * [taylor]: Taking taylor expansion of a in a 2.581 * [taylor]: Taking taylor expansion of eps in a 2.582 * [taylor]: Taking taylor expansion of 1.0 in a 2.582 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.582 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.582 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.582 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.582 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.582 * [taylor]: Taking taylor expansion of b in a 2.582 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.582 * [taylor]: Taking taylor expansion of a in a 2.582 * [taylor]: Taking taylor expansion of eps in a 2.583 * [taylor]: Taking taylor expansion of 1.0 in a 2.583 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.583 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.583 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.583 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.583 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.583 * [taylor]: Taking taylor expansion of b in b 2.584 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.584 * [taylor]: Taking taylor expansion of a in b 2.584 * [taylor]: Taking taylor expansion of eps in b 2.584 * [taylor]: Taking taylor expansion of 1.0 in b 2.585 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.585 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.585 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.585 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.585 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.585 * [taylor]: Taking taylor expansion of b in eps 2.585 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.585 * [taylor]: Taking taylor expansion of a in eps 2.585 * [taylor]: Taking taylor expansion of eps in eps 2.585 * [taylor]: Taking taylor expansion of 1.0 in eps 2.586 * [taylor]: Taking taylor expansion of 0 in b 2.586 * [taylor]: Taking taylor expansion of 0 in eps 2.587 * [taylor]: Taking taylor expansion of 0 in eps 2.588 * [taylor]: Taking taylor expansion of 0 in b 2.588 * [taylor]: Taking taylor expansion of 0 in eps 2.588 * [taylor]: Taking taylor expansion of 0 in eps 2.588 * [taylor]: Taking taylor expansion of 0 in eps 2.588 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.588 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.588 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.588 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.589 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.589 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.589 * [taylor]: Taking taylor expansion of b in eps 2.589 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.589 * [taylor]: Taking taylor expansion of a in eps 2.589 * [taylor]: Taking taylor expansion of eps in eps 2.589 * [taylor]: Taking taylor expansion of 1.0 in eps 2.589 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.589 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.589 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.589 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.589 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.589 * [taylor]: Taking taylor expansion of b in b 2.589 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.589 * [taylor]: Taking taylor expansion of a in b 2.589 * [taylor]: Taking taylor expansion of eps in b 2.590 * [taylor]: Taking taylor expansion of 1.0 in b 2.590 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.590 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.590 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.590 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.590 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.590 * [taylor]: Taking taylor expansion of b in a 2.590 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.590 * [taylor]: Taking taylor expansion of a in a 2.590 * [taylor]: Taking taylor expansion of eps in a 2.590 * [taylor]: Taking taylor expansion of 1.0 in a 2.590 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.590 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.591 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.591 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.591 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.591 * [taylor]: Taking taylor expansion of b in a 2.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.591 * [taylor]: Taking taylor expansion of a in a 2.591 * [taylor]: Taking taylor expansion of eps in a 2.591 * [taylor]: Taking taylor expansion of 1.0 in a 2.592 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.592 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.592 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.592 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.592 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.592 * [taylor]: Taking taylor expansion of b in b 2.592 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.592 * [taylor]: Taking taylor expansion of a in b 2.592 * [taylor]: Taking taylor expansion of eps in b 2.593 * [taylor]: Taking taylor expansion of 1.0 in b 2.593 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.593 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.593 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.593 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.593 * [taylor]: Taking taylor expansion of b in eps 2.593 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.593 * [taylor]: Taking taylor expansion of a in eps 2.594 * [taylor]: Taking taylor expansion of eps in eps 2.594 * [taylor]: Taking taylor expansion of 1.0 in eps 2.598 * [taylor]: Taking taylor expansion of 0 in b 2.598 * [taylor]: Taking taylor expansion of 0 in eps 2.598 * [taylor]: Taking taylor expansion of 0 in eps 2.599 * [taylor]: Taking taylor expansion of 0 in b 2.599 * [taylor]: Taking taylor expansion of 0 in eps 2.599 * [taylor]: Taking taylor expansion of 0 in eps 2.600 * [taylor]: Taking taylor expansion of 0 in eps 2.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.600 * [approximate]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in (eps a) around 0 2.600 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in a 2.600 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in a 2.600 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.600 * [taylor]: Taking taylor expansion of 1/2 in a 2.600 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.600 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.600 * [taylor]: Taking taylor expansion of a in a 2.601 * [taylor]: Taking taylor expansion of eps in a 2.601 * [taylor]: Taking taylor expansion of a in a 2.601 * [taylor]: Taking taylor expansion of eps in a 2.601 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in eps 2.601 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in eps 2.601 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.601 * [taylor]: Taking taylor expansion of 1/2 in eps 2.601 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.601 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.601 * [taylor]: Taking taylor expansion of a in eps 2.601 * [taylor]: Taking taylor expansion of eps in eps 2.601 * [taylor]: Taking taylor expansion of a in eps 2.601 * [taylor]: Taking taylor expansion of eps in eps 2.601 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in eps 2.601 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in eps 2.601 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.601 * [taylor]: Taking taylor expansion of 1/2 in eps 2.601 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.601 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.601 * [taylor]: Taking taylor expansion of a in eps 2.601 * [taylor]: Taking taylor expansion of eps in eps 2.601 * [taylor]: Taking taylor expansion of a in eps 2.601 * [taylor]: Taking taylor expansion of eps in eps 2.601 * [taylor]: Taking taylor expansion of 0 in a 2.602 * [taylor]: Taking taylor expansion of a in a 2.604 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 2.604 * [taylor]: Taking taylor expansion of 1/2 in a 2.604 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.604 * [taylor]: Taking taylor expansion of a in a 2.607 * [taylor]: Taking taylor expansion of 0 in a 2.610 * [taylor]: Taking taylor expansion of 0 in a 2.610 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in (eps a) around 0 2.610 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in a 2.610 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in a 2.610 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in a 2.610 * [taylor]: Taking taylor expansion of 1/2 in a 2.610 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in a 2.611 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.611 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.611 * [taylor]: Taking taylor expansion of a in a 2.611 * [taylor]: Taking taylor expansion of eps in a 2.611 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.611 * [taylor]: Taking taylor expansion of a in a 2.611 * [taylor]: Taking taylor expansion of eps in a 2.611 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.611 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.611 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.611 * [taylor]: Taking taylor expansion of 1/2 in eps 2.611 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.611 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.611 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.611 * [taylor]: Taking taylor expansion of a in eps 2.611 * [taylor]: Taking taylor expansion of eps in eps 2.612 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.612 * [taylor]: Taking taylor expansion of a in eps 2.612 * [taylor]: Taking taylor expansion of eps in eps 2.612 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.612 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.612 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.612 * [taylor]: Taking taylor expansion of 1/2 in eps 2.612 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.612 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.612 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.612 * [taylor]: Taking taylor expansion of a in eps 2.612 * [taylor]: Taking taylor expansion of eps in eps 2.613 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.613 * [taylor]: Taking taylor expansion of a in eps 2.613 * [taylor]: Taking taylor expansion of eps in eps 2.613 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 2.613 * [taylor]: Taking taylor expansion of 1/2 in a 2.613 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.613 * [taylor]: Taking taylor expansion of a in a 2.615 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.615 * [taylor]: Taking taylor expansion of a in a 2.619 * [taylor]: Taking taylor expansion of 0 in a 2.624 * [taylor]: Taking taylor expansion of 0 in a 2.631 * [taylor]: Taking taylor expansion of 0 in a 2.633 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in (eps a) around 0 2.633 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in a 2.633 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in a 2.633 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in a 2.633 * [taylor]: Taking taylor expansion of 1/2 in a 2.633 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in a 2.633 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.633 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.633 * [taylor]: Taking taylor expansion of a in a 2.634 * [taylor]: Taking taylor expansion of eps in a 2.634 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.634 * [taylor]: Taking taylor expansion of a in a 2.634 * [taylor]: Taking taylor expansion of eps in a 2.634 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.634 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.634 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.634 * [taylor]: Taking taylor expansion of 1/2 in eps 2.634 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.634 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.634 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.634 * [taylor]: Taking taylor expansion of a in eps 2.634 * [taylor]: Taking taylor expansion of eps in eps 2.635 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.635 * [taylor]: Taking taylor expansion of a in eps 2.635 * [taylor]: Taking taylor expansion of eps in eps 2.635 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.635 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.635 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.635 * [taylor]: Taking taylor expansion of 1/2 in eps 2.635 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.635 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.635 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.635 * [taylor]: Taking taylor expansion of a in eps 2.635 * [taylor]: Taking taylor expansion of eps in eps 2.636 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.636 * [taylor]: Taking taylor expansion of a in eps 2.636 * [taylor]: Taking taylor expansion of eps in eps 2.636 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 2.636 * [taylor]: Taking taylor expansion of 1/2 in a 2.636 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.636 * [taylor]: Taking taylor expansion of a in a 2.639 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.639 * [taylor]: Taking taylor expansion of a in a 2.643 * [taylor]: Taking taylor expansion of 0 in a 2.648 * [taylor]: Taking taylor expansion of 0 in a 2.654 * [taylor]: Taking taylor expansion of 0 in a 2.656 * * * [progress]: simplifying candidates 2.658 * [simplify]: Simplifying using # : (* 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)) (* (* 1/2 (pow a 2)) eps) (+ (+ (log 1/2) (* (log a) 2)) (log eps)) (+ (+ (log 1/2) (* (log a) 2)) (log eps)) (+ (+ (log 1/2) (log (pow a 2))) (log eps)) (+ (log (* 1/2 (pow a 2))) (log eps)) (log (* (* 1/2 (pow a 2)) eps)) (exp (* (* 1/2 (pow a 2)) eps)) (* (* (* (* 1/2 1/2) 1/2) (* (* (pow a 2) (pow a 2)) (pow a 2))) (* (* eps eps) eps)) (* (* (* (* 1/2 (pow a 2)) (* 1/2 (pow a 2))) (* 1/2 (pow a 2))) (* (* eps eps) eps)) (* (cbrt (* (* 1/2 (pow a 2)) eps)) (cbrt (* (* 1/2 (pow a 2)) eps))) (cbrt (* (* 1/2 (pow a 2)) eps)) (* (* (* (* 1/2 (pow a 2)) eps) (* (* 1/2 (pow a 2)) eps)) (* (* 1/2 (pow a 2)) eps)) (sqrt (* (* 1/2 (pow a 2)) eps)) (sqrt (* (* 1/2 (pow a 2)) eps)) (* (* 1/2 (pow a 2)) (* (cbrt eps) (cbrt eps))) (* (* 1/2 (pow a 2)) (sqrt eps)) (* (* 1/2 (pow a 2)) 1) (* (pow a 2) eps) (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* eps (+ a (* (* 1/2 (pow a 2)) eps))) (+ (log eps) (log (+ a (* (* 1/2 (pow a 2)) eps)))) (log (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (exp (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (* (* (* eps eps) eps) (* (* (+ a (* (* 1/2 (pow a 2)) eps)) (+ a (* (* 1/2 (pow a 2)) eps))) (+ a (* (* 1/2 (pow a 2)) eps)))) (* (cbrt (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (cbrt (* eps (+ a (* (* 1/2 (pow a 2)) eps))))) (cbrt (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (* (* (* eps (+ a (* (* 1/2 (pow a 2)) eps))) (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (sqrt (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (sqrt (* eps (+ a (* (* 1/2 (pow a 2)) eps)))) (* (sqrt eps) (sqrt (+ a (* (* 1/2 (pow a 2)) eps)))) (* (sqrt eps) (sqrt (+ a (* (* 1/2 (pow a 2)) eps)))) (* eps a) (* eps (* (* 1/2 (pow a 2)) eps)) (* a eps) (* (* (* 1/2 (pow a 2)) eps) eps) (* eps (* (cbrt (+ a (* (* 1/2 (pow a 2)) eps))) (cbrt (+ a (* (* 1/2 (pow a 2)) eps))))) (* eps (sqrt (+ a (* (* 1/2 (pow a 2)) eps)))) (* eps 1) (* (cbrt eps) (+ a (* (* 1/2 (pow a 2)) eps))) (* (sqrt eps) (+ a (* (* 1/2 (pow a 2)) eps))) (* eps (+ a (* (* 1/2 (pow a 2)) eps))) (* eps (+ (pow a 3) (pow (* (* 1/2 (pow a 2)) eps) 3))) (* eps (- (* a a) (* (* (* 1/2 (pow a 2)) eps) (* (* 1/2 (pow a 2)) eps)))) (* (pow a 3) (pow eps 3)) (* (pow a 3) (pow eps 3)) (* (pow a 3) (pow eps 3)) (* 1/2 (* (pow a 2) eps)) (* 1/2 (* (pow a 2) eps)) (* 1/2 (* (pow a 2) 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) (* a eps) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)) 2.663 * * [simplify]: iteration 0 : 180 enodes (cost 1520 )