0.359 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.238 * * * [progress]: [2/2] Setting up program. 0.241 * [progress]: [Phase 2 of 3] Improving. 0.241 * [simplify]: Simplifying using # : (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 0.242 * * [simplify]: iteration 0 : 17 enodes (cost 24 ) 0.244 * * [simplify]: iteration 1 : 40 enodes (cost 24 ) 0.250 * * [simplify]: iteration 2 : 101 enodes (cost 24 ) 0.266 * * [simplify]: iteration 3 : 240 enodes (cost 24 ) 0.307 * * [simplify]: iteration 4 : 663 enodes (cost 24 ) 0.481 * * [simplify]: iteration 5 : 3002 enodes (cost 24 ) 1.363 * * [simplify]: iteration done : 5001 enodes (cost 24 ) 1.363 * [simplify]: Simplified to: (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 1.364 * * [progress]: iteration 1 / 4 1.364 * * * [progress]: picking best candidate 1.367 * * * * [pick]: Picked # 1.367 * * * [progress]: localizing error 1.382 * * * [progress]: generating rewritten candidates 1.382 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.387 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.390 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.394 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.422 * * * [progress]: generating series expansions 1.422 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.423 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 1.423 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 1.423 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 1.423 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 1.423 * [taylor]: Taking taylor expansion of (+ a b) in eps 1.423 * [taylor]: Taking taylor expansion of a in eps 1.423 * [taylor]: Taking taylor expansion of b in eps 1.423 * [taylor]: Taking taylor expansion of eps in eps 1.424 * [taylor]: Taking taylor expansion of 1.0 in eps 1.424 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 1.424 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 1.424 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 1.424 * [taylor]: Taking taylor expansion of (+ a b) in b 1.424 * [taylor]: Taking taylor expansion of a in b 1.424 * [taylor]: Taking taylor expansion of b in b 1.424 * [taylor]: Taking taylor expansion of eps in b 1.424 * [taylor]: Taking taylor expansion of 1.0 in b 1.424 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.424 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.424 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.424 * [taylor]: Taking taylor expansion of (+ a b) in a 1.424 * [taylor]: Taking taylor expansion of a in a 1.424 * [taylor]: Taking taylor expansion of b in a 1.424 * [taylor]: Taking taylor expansion of eps in a 1.424 * [taylor]: Taking taylor expansion of 1.0 in a 1.424 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.424 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.424 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.424 * [taylor]: Taking taylor expansion of (+ a b) in a 1.424 * [taylor]: Taking taylor expansion of a in a 1.424 * [taylor]: Taking taylor expansion of b in a 1.424 * [taylor]: Taking taylor expansion of eps in a 1.424 * [taylor]: Taking taylor expansion of 1.0 in a 1.425 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.425 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.425 * [taylor]: Taking taylor expansion of (* eps b) in b 1.425 * [taylor]: Taking taylor expansion of eps in b 1.425 * [taylor]: Taking taylor expansion of b in b 1.425 * [taylor]: Taking taylor expansion of 1.0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in eps 1.427 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 1.427 * [taylor]: Taking taylor expansion of eps in b 1.427 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.427 * [taylor]: Taking taylor expansion of (* eps b) in b 1.427 * [taylor]: Taking taylor expansion of eps in b 1.427 * [taylor]: Taking taylor expansion of b in b 1.428 * [taylor]: Taking taylor expansion of eps in eps 1.428 * [taylor]: Taking taylor expansion of eps in eps 1.429 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 1.430 * [taylor]: Taking taylor expansion of 1/2 in b 1.430 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 1.430 * [taylor]: Taking taylor expansion of (pow eps 2) in b 1.430 * [taylor]: Taking taylor expansion of eps in b 1.430 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.430 * [taylor]: Taking taylor expansion of (* eps b) in b 1.430 * [taylor]: Taking taylor expansion of eps in b 1.430 * [taylor]: Taking taylor expansion of b in b 1.430 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.430 * [taylor]: Taking taylor expansion of 1/2 in eps 1.430 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.430 * [taylor]: Taking taylor expansion of eps in eps 1.431 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.431 * [taylor]: Taking taylor expansion of eps in eps 1.432 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.432 * [taylor]: Taking taylor expansion of 1/2 in eps 1.432 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.432 * [taylor]: Taking taylor expansion of eps in eps 1.434 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 1.434 * [taylor]: Taking taylor expansion of 1/6 in b 1.434 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 1.434 * [taylor]: Taking taylor expansion of (pow eps 3) in b 1.434 * [taylor]: Taking taylor expansion of eps in b 1.434 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.434 * [taylor]: Taking taylor expansion of (* eps b) in b 1.434 * [taylor]: Taking taylor expansion of eps in b 1.434 * [taylor]: Taking taylor expansion of b in b 1.435 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.435 * [taylor]: Taking taylor expansion of 1/6 in eps 1.435 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.435 * [taylor]: Taking taylor expansion of eps in eps 1.436 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.436 * [taylor]: Taking taylor expansion of 1/2 in eps 1.436 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.436 * [taylor]: Taking taylor expansion of eps in eps 1.437 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.437 * [taylor]: Taking taylor expansion of 1/2 in eps 1.437 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.437 * [taylor]: Taking taylor expansion of eps in eps 1.439 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.439 * [taylor]: Taking taylor expansion of 1/6 in eps 1.439 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.439 * [taylor]: Taking taylor expansion of eps in eps 1.442 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 1.442 * [taylor]: Taking taylor expansion of 1/24 in b 1.442 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 1.442 * [taylor]: Taking taylor expansion of (pow eps 4) in b 1.442 * [taylor]: Taking taylor expansion of eps in b 1.442 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.442 * [taylor]: Taking taylor expansion of (* eps b) in b 1.442 * [taylor]: Taking taylor expansion of eps in b 1.442 * [taylor]: Taking taylor expansion of b in b 1.443 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.443 * [taylor]: Taking taylor expansion of 1/24 in eps 1.443 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.443 * [taylor]: Taking taylor expansion of eps in eps 1.443 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.443 * [taylor]: Taking taylor expansion of 1/6 in eps 1.443 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.444 * [taylor]: Taking taylor expansion of eps in eps 1.445 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 1.445 * [taylor]: Taking taylor expansion of 1/4 in eps 1.445 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.445 * [taylor]: Taking taylor expansion of eps in eps 1.447 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.447 * [taylor]: Taking taylor expansion of 1/6 in eps 1.447 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.447 * [taylor]: Taking taylor expansion of eps in eps 1.450 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.450 * [taylor]: Taking taylor expansion of 1/24 in eps 1.450 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.450 * [taylor]: Taking taylor expansion of eps in eps 1.451 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.451 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.451 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.451 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.451 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.451 * [taylor]: Taking taylor expansion of b in eps 1.451 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.451 * [taylor]: Taking taylor expansion of a in eps 1.451 * [taylor]: Taking taylor expansion of eps in eps 1.451 * [taylor]: Taking taylor expansion of 1.0 in eps 1.451 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.451 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.451 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.451 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.451 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.451 * [taylor]: Taking taylor expansion of b in b 1.451 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.452 * [taylor]: Taking taylor expansion of a in b 1.452 * [taylor]: Taking taylor expansion of eps in b 1.452 * [taylor]: Taking taylor expansion of 1.0 in b 1.452 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.452 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.452 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.452 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.452 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.452 * [taylor]: Taking taylor expansion of b in a 1.452 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.452 * [taylor]: Taking taylor expansion of a in a 1.452 * [taylor]: Taking taylor expansion of eps in a 1.453 * [taylor]: Taking taylor expansion of 1.0 in a 1.453 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.453 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.453 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.453 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.453 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.453 * [taylor]: Taking taylor expansion of b in a 1.453 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.453 * [taylor]: Taking taylor expansion of a in a 1.453 * [taylor]: Taking taylor expansion of eps in a 1.453 * [taylor]: Taking taylor expansion of 1.0 in a 1.454 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.454 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.454 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.454 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.454 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.454 * [taylor]: Taking taylor expansion of b in b 1.454 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.455 * [taylor]: Taking taylor expansion of a in b 1.455 * [taylor]: Taking taylor expansion of eps in b 1.455 * [taylor]: Taking taylor expansion of 1.0 in b 1.455 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.456 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.456 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.456 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.456 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.456 * [taylor]: Taking taylor expansion of b in eps 1.456 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.456 * [taylor]: Taking taylor expansion of a in eps 1.456 * [taylor]: Taking taylor expansion of eps in eps 1.456 * [taylor]: Taking taylor expansion of 1.0 in eps 1.457 * [taylor]: Taking taylor expansion of 0 in b 1.457 * [taylor]: Taking taylor expansion of 0 in eps 1.458 * [taylor]: Taking taylor expansion of 0 in eps 1.459 * [taylor]: Taking taylor expansion of 0 in b 1.459 * [taylor]: Taking taylor expansion of 0 in eps 1.459 * [taylor]: Taking taylor expansion of 0 in eps 1.459 * [taylor]: Taking taylor expansion of 0 in eps 1.459 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.459 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.459 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.459 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.459 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.459 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.459 * [taylor]: Taking taylor expansion of b in eps 1.460 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.460 * [taylor]: Taking taylor expansion of a in eps 1.460 * [taylor]: Taking taylor expansion of eps in eps 1.460 * [taylor]: Taking taylor expansion of 1.0 in eps 1.460 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.460 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.460 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.460 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.460 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.460 * [taylor]: Taking taylor expansion of b in b 1.460 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.460 * [taylor]: Taking taylor expansion of a in b 1.460 * [taylor]: Taking taylor expansion of eps in b 1.461 * [taylor]: Taking taylor expansion of 1.0 in b 1.461 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.461 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.461 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.461 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.461 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.461 * [taylor]: Taking taylor expansion of b in a 1.461 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.461 * [taylor]: Taking taylor expansion of a in a 1.461 * [taylor]: Taking taylor expansion of eps in a 1.461 * [taylor]: Taking taylor expansion of 1.0 in a 1.461 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.461 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.461 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.461 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.461 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.461 * [taylor]: Taking taylor expansion of b in a 1.461 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.462 * [taylor]: Taking taylor expansion of a in a 1.462 * [taylor]: Taking taylor expansion of eps in a 1.462 * [taylor]: Taking taylor expansion of 1.0 in a 1.463 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.463 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.463 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.463 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.463 * [taylor]: Taking taylor expansion of b in b 1.463 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.463 * [taylor]: Taking taylor expansion of a in b 1.463 * [taylor]: Taking taylor expansion of eps in b 1.464 * [taylor]: Taking taylor expansion of 1.0 in b 1.464 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.464 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.464 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.464 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.464 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.464 * [taylor]: Taking taylor expansion of b in eps 1.464 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.464 * [taylor]: Taking taylor expansion of a in eps 1.464 * [taylor]: Taking taylor expansion of eps in eps 1.465 * [taylor]: Taking taylor expansion of 1.0 in eps 1.466 * [taylor]: Taking taylor expansion of 0 in b 1.466 * [taylor]: Taking taylor expansion of 0 in eps 1.466 * [taylor]: Taking taylor expansion of 0 in eps 1.467 * [taylor]: Taking taylor expansion of 0 in b 1.467 * [taylor]: Taking taylor expansion of 0 in eps 1.467 * [taylor]: Taking taylor expansion of 0 in eps 1.468 * [taylor]: Taking taylor expansion of 0 in eps 1.468 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.468 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0 1.468 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.468 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.468 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.468 * [taylor]: Taking taylor expansion of a in eps 1.468 * [taylor]: Taking taylor expansion of eps in eps 1.468 * [taylor]: Taking taylor expansion of 1.0 in eps 1.468 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.468 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.468 * [taylor]: Taking taylor expansion of (* a eps) in a 1.468 * [taylor]: Taking taylor expansion of a in a 1.468 * [taylor]: Taking taylor expansion of eps in a 1.469 * [taylor]: Taking taylor expansion of 1.0 in a 1.469 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.469 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.469 * [taylor]: Taking taylor expansion of (* a eps) in a 1.469 * [taylor]: Taking taylor expansion of a in a 1.469 * [taylor]: Taking taylor expansion of eps in a 1.469 * [taylor]: Taking taylor expansion of 1.0 in a 1.470 * [taylor]: Taking taylor expansion of 0 in eps 1.470 * [taylor]: Taking taylor expansion of eps in eps 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.474 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.474 * [taylor]: Taking taylor expansion of 1/6 in eps 1.474 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.474 * [taylor]: Taking taylor expansion of eps in eps 1.476 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.477 * [taylor]: Taking taylor expansion of 1/24 in eps 1.477 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.477 * [taylor]: Taking taylor expansion of eps in eps 1.481 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.481 * [taylor]: Taking taylor expansion of 1/120 in eps 1.481 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.481 * [taylor]: Taking taylor expansion of eps in eps 1.488 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.488 * [taylor]: Taking taylor expansion of 1/720 in eps 1.488 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.488 * [taylor]: Taking taylor expansion of eps in eps 1.489 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.489 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.489 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.489 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.489 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.489 * [taylor]: Taking taylor expansion of a in eps 1.489 * [taylor]: Taking taylor expansion of eps in eps 1.489 * [taylor]: Taking taylor expansion of 1.0 in eps 1.489 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.489 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.489 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.490 * [taylor]: Taking taylor expansion of (* a eps) in a 1.490 * [taylor]: Taking taylor expansion of a in a 1.490 * [taylor]: Taking taylor expansion of eps in a 1.490 * [taylor]: Taking taylor expansion of 1.0 in a 1.490 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.490 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.490 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.490 * [taylor]: Taking taylor expansion of (* a eps) in a 1.490 * [taylor]: Taking taylor expansion of a in a 1.490 * [taylor]: Taking taylor expansion of eps in a 1.490 * [taylor]: Taking taylor expansion of 1.0 in a 1.491 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.491 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.491 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.491 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.491 * [taylor]: Taking taylor expansion of a in eps 1.491 * [taylor]: Taking taylor expansion of eps in eps 1.491 * [taylor]: Taking taylor expansion of 1.0 in eps 1.492 * [taylor]: Taking taylor expansion of 0 in eps 1.493 * [taylor]: Taking taylor expansion of 0 in eps 1.494 * [taylor]: Taking taylor expansion of 0 in eps 1.494 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.494 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.494 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.494 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.494 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.494 * [taylor]: Taking taylor expansion of a in eps 1.494 * [taylor]: Taking taylor expansion of eps in eps 1.495 * [taylor]: Taking taylor expansion of 1.0 in eps 1.495 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.495 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.495 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.495 * [taylor]: Taking taylor expansion of (* a eps) 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 (* a eps))) 1.0) in a 1.495 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.495 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.495 * [taylor]: Taking taylor expansion of (* a eps) in a 1.495 * [taylor]: Taking taylor expansion of a in a 1.495 * [taylor]: Taking taylor expansion of eps in a 1.496 * [taylor]: Taking taylor expansion of 1.0 in a 1.496 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.496 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.496 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.496 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.496 * [taylor]: Taking taylor expansion of a in eps 1.496 * [taylor]: Taking taylor expansion of eps in eps 1.497 * [taylor]: Taking taylor expansion of 1.0 in eps 1.498 * [taylor]: Taking taylor expansion of 0 in eps 1.499 * [taylor]: Taking taylor expansion of 0 in eps 1.499 * [taylor]: Taking taylor expansion of 0 in eps 1.500 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.500 * [approximate]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in (b eps) around 0 1.500 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.500 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.500 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.500 * [taylor]: Taking taylor expansion of eps in eps 1.500 * [taylor]: Taking taylor expansion of b in eps 1.500 * [taylor]: Taking taylor expansion of 1.0 in eps 1.500 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.500 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.500 * [taylor]: Taking taylor expansion of (* eps b) in b 1.500 * [taylor]: Taking taylor expansion of eps in b 1.500 * [taylor]: Taking taylor expansion of b in b 1.500 * [taylor]: Taking taylor expansion of 1.0 in b 1.500 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.501 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.501 * [taylor]: Taking taylor expansion of (* eps b) in b 1.501 * [taylor]: Taking taylor expansion of eps in b 1.501 * [taylor]: Taking taylor expansion of b in b 1.501 * [taylor]: Taking taylor expansion of 1.0 in b 1.502 * [taylor]: Taking taylor expansion of 0 in eps 1.502 * [taylor]: Taking taylor expansion of eps in eps 1.503 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.503 * [taylor]: Taking taylor expansion of 1/2 in eps 1.503 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.503 * [taylor]: Taking taylor expansion of eps in eps 1.508 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.508 * [taylor]: Taking taylor expansion of 1/6 in eps 1.508 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.508 * [taylor]: Taking taylor expansion of eps in eps 1.511 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.511 * [taylor]: Taking taylor expansion of 1/24 in eps 1.511 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.511 * [taylor]: Taking taylor expansion of eps in eps 1.515 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.515 * [taylor]: Taking taylor expansion of 1/120 in eps 1.515 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.515 * [taylor]: Taking taylor expansion of eps in eps 1.521 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.521 * [taylor]: Taking taylor expansion of 1/720 in eps 1.521 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.521 * [taylor]: Taking taylor expansion of eps in eps 1.522 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.522 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.522 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.522 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.522 * [taylor]: Taking taylor expansion of eps in eps 1.522 * [taylor]: Taking taylor expansion of b in eps 1.523 * [taylor]: Taking taylor expansion of 1.0 in eps 1.523 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.523 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.523 * [taylor]: Taking taylor expansion of (* eps b) in b 1.523 * [taylor]: Taking taylor expansion of eps in b 1.523 * [taylor]: Taking taylor expansion of b in b 1.523 * [taylor]: Taking taylor expansion of 1.0 in b 1.523 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.523 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.523 * [taylor]: Taking taylor expansion of (* eps b) in b 1.523 * [taylor]: Taking taylor expansion of eps in b 1.523 * [taylor]: Taking taylor expansion of b in b 1.524 * [taylor]: Taking taylor expansion of 1.0 in b 1.524 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.524 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.524 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.524 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.524 * [taylor]: Taking taylor expansion of eps in eps 1.524 * [taylor]: Taking taylor expansion of b in eps 1.525 * [taylor]: Taking taylor expansion of 1.0 in eps 1.526 * [taylor]: Taking taylor expansion of 0 in eps 1.527 * [taylor]: Taking taylor expansion of 0 in eps 1.527 * [taylor]: Taking taylor expansion of 0 in eps 1.528 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.528 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.528 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.528 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.528 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.528 * [taylor]: Taking taylor expansion of eps in eps 1.528 * [taylor]: Taking taylor expansion of b in eps 1.528 * [taylor]: Taking taylor expansion of 1.0 in eps 1.528 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.528 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.528 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.528 * [taylor]: Taking taylor expansion of (* eps b) in b 1.528 * [taylor]: Taking taylor expansion of eps in b 1.528 * [taylor]: Taking taylor expansion of b in b 1.529 * [taylor]: Taking taylor expansion of 1.0 in b 1.529 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.529 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.529 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.529 * [taylor]: Taking taylor expansion of (* eps b) in b 1.529 * [taylor]: Taking taylor expansion of eps in b 1.529 * [taylor]: Taking taylor expansion of b in b 1.529 * [taylor]: Taking taylor expansion of 1.0 in b 1.530 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.530 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.530 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.530 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.530 * [taylor]: Taking taylor expansion of eps in eps 1.530 * [taylor]: Taking taylor expansion of b in eps 1.530 * [taylor]: Taking taylor expansion of 1.0 in eps 1.531 * [taylor]: Taking taylor expansion of 0 in eps 1.532 * [taylor]: Taking taylor expansion of 0 in eps 1.533 * [taylor]: Taking taylor expansion of 0 in eps 1.533 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.533 * [approximate]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in (a eps b) around 0 1.533 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b 1.533 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.533 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.533 * [taylor]: Taking taylor expansion of (* eps b) in b 1.533 * [taylor]: Taking taylor expansion of eps in b 1.533 * [taylor]: Taking taylor expansion of b in b 1.534 * [taylor]: Taking taylor expansion of 1.0 in b 1.534 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in b 1.534 * [taylor]: Taking taylor expansion of (exp (* a eps)) in b 1.534 * [taylor]: Taking taylor expansion of (* a eps) in b 1.534 * [taylor]: Taking taylor expansion of a in b 1.534 * [taylor]: Taking taylor expansion of eps in b 1.534 * [taylor]: Taking taylor expansion of 1.0 in b 1.534 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps 1.534 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.534 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.534 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.534 * [taylor]: Taking taylor expansion of eps in eps 1.534 * [taylor]: Taking taylor expansion of b in eps 1.534 * [taylor]: Taking taylor expansion of 1.0 in eps 1.534 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.534 * [taylor]: Taking taylor expansion of (exp (* 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.535 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.535 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.535 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.535 * [taylor]: Taking taylor expansion of (* eps b) in a 1.535 * [taylor]: Taking taylor expansion of eps in a 1.535 * [taylor]: Taking taylor expansion of b in a 1.535 * [taylor]: Taking taylor expansion of 1.0 in a 1.535 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.535 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.535 * [taylor]: Taking taylor expansion of (* a eps) in a 1.535 * [taylor]: Taking taylor expansion of a in a 1.535 * [taylor]: Taking taylor expansion of eps in a 1.535 * [taylor]: Taking taylor expansion of 1.0 in a 1.535 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.535 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.535 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.535 * [taylor]: Taking taylor expansion of (* eps b) in a 1.535 * [taylor]: Taking taylor expansion of eps in a 1.535 * [taylor]: Taking taylor expansion of b in a 1.535 * [taylor]: Taking taylor expansion of 1.0 in a 1.535 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.535 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.535 * [taylor]: Taking taylor expansion of (* a eps) in a 1.535 * [taylor]: Taking taylor expansion of a in a 1.535 * [taylor]: Taking taylor expansion of eps in a 1.536 * [taylor]: Taking taylor expansion of 1.0 in a 1.537 * [taylor]: Taking taylor expansion of 0 in eps 1.537 * [taylor]: Taking taylor expansion of 0 in b 1.539 * [taylor]: Taking taylor expansion of (- (* eps (exp (* eps b))) (* 1.0 eps)) in eps 1.539 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in eps 1.539 * [taylor]: Taking taylor expansion of eps in eps 1.539 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.539 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.539 * [taylor]: Taking taylor expansion of eps in eps 1.539 * [taylor]: Taking taylor expansion of b in eps 1.539 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 1.539 * [taylor]: Taking taylor expansion of 1.0 in eps 1.539 * [taylor]: Taking taylor expansion of eps in eps 1.540 * [taylor]: Taking taylor expansion of 0 in b 1.540 * [taylor]: Taking taylor expansion of 0 in b 1.543 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow eps 2) (exp (* eps b)))) (* 0.5 (pow eps 2))) in eps 1.543 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in eps 1.543 * [taylor]: Taking taylor expansion of 1/2 in eps 1.543 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in eps 1.543 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.543 * [taylor]: Taking taylor expansion of eps in eps 1.543 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.543 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.543 * [taylor]: Taking taylor expansion of eps in eps 1.543 * [taylor]: Taking taylor expansion of b in eps 1.544 * [taylor]: Taking taylor expansion of (* 0.5 (pow eps 2)) in eps 1.544 * [taylor]: Taking taylor expansion of 0.5 in eps 1.544 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.544 * [taylor]: Taking taylor expansion of eps in eps 1.546 * [taylor]: Taking taylor expansion of 0 in b 1.546 * [taylor]: Taking taylor expansion of 0 in b 1.546 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.546 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.546 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.546 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.546 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.546 * [taylor]: Taking taylor expansion of (* eps b) in b 1.546 * [taylor]: Taking taylor expansion of eps in b 1.546 * [taylor]: Taking taylor expansion of b in b 1.546 * [taylor]: Taking taylor expansion of 1.0 in b 1.546 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.546 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.547 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.547 * [taylor]: Taking taylor expansion of (* a eps) in b 1.547 * [taylor]: Taking taylor expansion of a in b 1.547 * [taylor]: Taking taylor expansion of eps in b 1.547 * [taylor]: Taking taylor expansion of 1.0 in b 1.547 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.547 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.547 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.547 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.547 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.547 * [taylor]: Taking taylor expansion of eps in eps 1.547 * [taylor]: Taking taylor expansion of b in eps 1.547 * [taylor]: Taking taylor expansion of 1.0 in eps 1.547 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.547 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.547 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.547 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.547 * [taylor]: Taking taylor expansion of a in eps 1.547 * [taylor]: Taking taylor expansion of eps in eps 1.548 * [taylor]: Taking taylor expansion of 1.0 in eps 1.548 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.548 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.548 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.548 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.548 * [taylor]: Taking taylor expansion of (* eps b) in a 1.548 * [taylor]: Taking taylor expansion of eps in a 1.548 * [taylor]: Taking taylor expansion of b in a 1.548 * [taylor]: Taking taylor expansion of 1.0 in a 1.548 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.548 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.548 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.548 * [taylor]: Taking taylor expansion of (* a eps) in a 1.548 * [taylor]: Taking taylor expansion of a in a 1.548 * [taylor]: Taking taylor expansion of eps in a 1.548 * [taylor]: Taking taylor expansion of 1.0 in a 1.548 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.548 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.548 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.548 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.548 * [taylor]: Taking taylor expansion of (* eps b) in a 1.548 * [taylor]: Taking taylor expansion of eps in a 1.548 * [taylor]: Taking taylor expansion of b in a 1.548 * [taylor]: Taking taylor expansion of 1.0 in a 1.548 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.549 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.549 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.549 * [taylor]: Taking taylor expansion of (* a eps) in a 1.549 * [taylor]: Taking taylor expansion of a in a 1.549 * [taylor]: Taking taylor expansion of eps in a 1.549 * [taylor]: Taking taylor expansion of 1.0 in a 1.550 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.550 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.550 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.550 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.550 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.550 * [taylor]: Taking taylor expansion of a in eps 1.550 * [taylor]: Taking taylor expansion of eps in eps 1.551 * [taylor]: Taking taylor expansion of 1.0 in eps 1.551 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.551 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.551 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.551 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.551 * [taylor]: Taking taylor expansion of eps in eps 1.551 * [taylor]: Taking taylor expansion of b in eps 1.551 * [taylor]: Taking taylor expansion of 1.0 in eps 1.552 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.552 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.552 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.552 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.552 * [taylor]: Taking taylor expansion of (* eps b) in b 1.552 * [taylor]: Taking taylor expansion of eps in b 1.552 * [taylor]: Taking taylor expansion of b in b 1.553 * [taylor]: Taking taylor expansion of 1.0 in b 1.553 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.553 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.553 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.553 * [taylor]: Taking taylor expansion of (* a eps) in b 1.553 * [taylor]: Taking taylor expansion of a in b 1.553 * [taylor]: Taking taylor expansion of eps in b 1.553 * [taylor]: Taking taylor expansion of 1.0 in b 1.556 * [taylor]: Taking taylor expansion of 0 in eps 1.556 * [taylor]: Taking taylor expansion of 0 in b 1.557 * [taylor]: Taking taylor expansion of 0 in b 1.561 * [taylor]: Taking taylor expansion of 0 in eps 1.561 * [taylor]: Taking taylor expansion of 0 in b 1.561 * [taylor]: Taking taylor expansion of 0 in b 1.562 * [taylor]: Taking taylor expansion of 0 in b 1.563 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.563 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.563 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.563 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.563 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.563 * [taylor]: Taking taylor expansion of (* eps b) in b 1.563 * [taylor]: Taking taylor expansion of eps in b 1.563 * [taylor]: Taking taylor expansion of b in b 1.563 * [taylor]: Taking taylor expansion of 1.0 in b 1.563 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.563 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.563 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.563 * [taylor]: Taking taylor expansion of (* a eps) in b 1.563 * [taylor]: Taking taylor expansion of a in b 1.563 * [taylor]: Taking taylor expansion of eps in b 1.563 * [taylor]: Taking taylor expansion of 1.0 in b 1.563 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.563 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.563 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.563 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.564 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.564 * [taylor]: Taking taylor expansion of eps in eps 1.564 * [taylor]: Taking taylor expansion of b in eps 1.564 * [taylor]: Taking taylor expansion of 1.0 in eps 1.564 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.564 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.564 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.564 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.564 * [taylor]: Taking taylor expansion of a in eps 1.564 * [taylor]: Taking taylor expansion of eps in eps 1.564 * [taylor]: Taking taylor expansion of 1.0 in eps 1.564 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.564 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.564 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.564 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.564 * [taylor]: Taking taylor expansion of (* eps b) in a 1.564 * [taylor]: Taking taylor expansion of eps in a 1.564 * [taylor]: Taking taylor expansion of b in a 1.565 * [taylor]: Taking taylor expansion of 1.0 in a 1.565 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.565 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.565 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.565 * [taylor]: Taking taylor expansion of (* a eps) in a 1.565 * [taylor]: Taking taylor expansion of a in a 1.565 * [taylor]: Taking taylor expansion of eps in a 1.565 * [taylor]: Taking taylor expansion of 1.0 in a 1.565 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.565 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.565 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.565 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.565 * [taylor]: Taking taylor expansion of (* eps b) in a 1.565 * [taylor]: Taking taylor expansion of eps in a 1.565 * [taylor]: Taking taylor expansion of b in a 1.565 * [taylor]: Taking taylor expansion of 1.0 in a 1.565 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.565 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.565 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.565 * [taylor]: Taking taylor expansion of (* a eps) in a 1.565 * [taylor]: Taking taylor expansion of a in a 1.565 * [taylor]: Taking taylor expansion of eps in a 1.566 * [taylor]: Taking taylor expansion of 1.0 in a 1.567 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.567 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.567 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.567 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.567 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.567 * [taylor]: Taking taylor expansion of a in eps 1.567 * [taylor]: Taking taylor expansion of eps in eps 1.568 * [taylor]: Taking taylor expansion of 1.0 in eps 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 (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.569 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.569 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.569 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.569 * [taylor]: Taking taylor expansion of (* eps b) in b 1.569 * [taylor]: Taking taylor expansion of eps in b 1.569 * [taylor]: Taking taylor expansion of b in b 1.570 * [taylor]: Taking taylor expansion of 1.0 in b 1.570 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.570 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.570 * [taylor]: Taking taylor expansion of (* a eps) in b 1.570 * [taylor]: Taking taylor expansion of a in b 1.570 * [taylor]: Taking taylor expansion of eps in b 1.570 * [taylor]: Taking taylor expansion of 1.0 in b 1.573 * [taylor]: Taking taylor expansion of 0 in eps 1.573 * [taylor]: Taking taylor expansion of 0 in b 1.574 * [taylor]: Taking taylor expansion of 0 in b 1.578 * [taylor]: Taking taylor expansion of 0 in eps 1.578 * [taylor]: Taking taylor expansion of 0 in b 1.578 * [taylor]: Taking taylor expansion of 0 in b 1.579 * [taylor]: Taking taylor expansion of 0 in b 1.580 * * * [progress]: simplifying candidates 1.581 * [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.585 * * [simplify]: iteration 0 : 143 enodes (cost 1364 ) 1.611 * * [simplify]: iteration 1 : 349 enodes (cost 1326 ) 1.683 * * [simplify]: iteration 2 : 1358 enodes (cost 1196 ) 2.024 * * [simplify]: iteration done : 5001 enodes (cost 1190 ) 2.024 * [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.025 * * * [progress]: adding candidates to table 2.323 * * [progress]: iteration 2 / 4 2.323 * * * [progress]: picking best candidate 2.337 * * * * [pick]: Picked # 2.338 * * * [progress]: localizing error 2.366 * * * [progress]: generating rewritten candidates 2.366 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2) 2.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 2.387 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.401 * * * [progress]: generating series expansions 2.402 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2) 2.402 * [approximate]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in (a eps) around 0 2.402 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.402 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.402 * [taylor]: Taking taylor expansion of a in eps 2.402 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.402 * [taylor]: Taking taylor expansion of eps in eps 2.402 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.402 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.402 * [taylor]: Taking taylor expansion of a in a 2.402 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.402 * [taylor]: Taking taylor expansion of eps in a 2.402 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.402 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.402 * [taylor]: Taking taylor expansion of a in a 2.402 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.402 * [taylor]: Taking taylor expansion of eps in a 2.403 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.403 * [taylor]: Taking taylor expansion of eps in eps 2.405 * [taylor]: Taking taylor expansion of 0 in eps 2.407 * [taylor]: Taking taylor expansion of 0 in eps 2.411 * [taylor]: Taking taylor expansion of 0 in eps 2.412 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0 2.412 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps 2.412 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.412 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.412 * [taylor]: Taking taylor expansion of a in eps 2.412 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.412 * [taylor]: Taking taylor expansion of eps in eps 2.412 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.412 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.412 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.412 * [taylor]: Taking taylor expansion of a in a 2.412 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.412 * [taylor]: Taking taylor expansion of eps in a 2.413 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.413 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.413 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.413 * [taylor]: Taking taylor expansion of a in a 2.413 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.413 * [taylor]: Taking taylor expansion of eps in a 2.414 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 3)) in eps 2.414 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.414 * [taylor]: Taking taylor expansion of eps in eps 2.416 * [taylor]: Taking taylor expansion of 0 in eps 2.419 * [taylor]: Taking taylor expansion of 0 in eps 2.424 * [taylor]: Taking taylor expansion of 0 in eps 2.430 * [taylor]: Taking taylor expansion of 0 in eps 2.442 * [taylor]: Taking taylor expansion of 0 in eps 2.442 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in (a eps) around 0 2.442 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in eps 2.442 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in eps 2.443 * [taylor]: Taking taylor expansion of (pow a 3) in eps 2.443 * [taylor]: Taking taylor expansion of a in eps 2.443 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.443 * [taylor]: Taking taylor expansion of eps in eps 2.443 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.443 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.443 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.443 * [taylor]: Taking taylor expansion of a in a 2.443 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.443 * [taylor]: Taking taylor expansion of eps in a 2.444 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow eps 3))) in a 2.444 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow eps 3)) in a 2.444 * [taylor]: Taking taylor expansion of (pow a 3) in a 2.444 * [taylor]: Taking taylor expansion of a in a 2.444 * [taylor]: Taking taylor expansion of (pow eps 3) in a 2.444 * [taylor]: Taking taylor expansion of eps in a 2.445 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 3)) in eps 2.445 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.445 * [taylor]: Taking taylor expansion of eps in eps 2.447 * [taylor]: Taking taylor expansion of 0 in eps 2.450 * [taylor]: Taking taylor expansion of 0 in eps 2.455 * [taylor]: Taking taylor expansion of 0 in eps 2.461 * [taylor]: Taking taylor expansion of 0 in eps 2.467 * [taylor]: Taking taylor expansion of 0 in eps 2.468 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 2.468 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in (a eps) around 0 2.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.468 * [taylor]: Taking taylor expansion of 1/2 in eps 2.468 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.468 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.468 * [taylor]: Taking taylor expansion of a in eps 2.468 * [taylor]: Taking taylor expansion of eps in eps 2.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.468 * [taylor]: Taking taylor expansion of 1/2 in a 2.468 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.468 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.468 * [taylor]: Taking taylor expansion of a in a 2.468 * [taylor]: Taking taylor expansion of eps in a 2.468 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.468 * [taylor]: Taking taylor expansion of 1/2 in a 2.468 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.468 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.468 * [taylor]: Taking taylor expansion of a in a 2.468 * [taylor]: Taking taylor expansion of eps in a 2.468 * [taylor]: Taking taylor expansion of (* 1/2 eps) in eps 2.468 * [taylor]: Taking taylor expansion of 1/2 in eps 2.468 * [taylor]: Taking taylor expansion of eps in eps 2.470 * [taylor]: Taking taylor expansion of 0 in eps 2.472 * [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/2 (* (pow a 2) eps)) in (a eps) around 0 2.475 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in eps 2.475 * [taylor]: Taking taylor expansion of 1/2 in eps 2.475 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.475 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.475 * [taylor]: Taking taylor expansion of a in eps 2.475 * [taylor]: Taking taylor expansion of eps in eps 2.476 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in a 2.476 * [taylor]: Taking taylor expansion of 1/2 in a 2.476 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.476 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.476 * [taylor]: Taking taylor expansion of a in a 2.476 * [taylor]: Taking taylor expansion of eps in a 2.476 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) eps)) in a 2.476 * [taylor]: Taking taylor expansion of 1/2 in a 2.476 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.476 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.476 * [taylor]: Taking taylor expansion of a in a 2.476 * [taylor]: Taking taylor expansion of eps in a 2.477 * [taylor]: Taking taylor expansion of (/ 1/2 eps) in eps 2.477 * [taylor]: Taking taylor expansion of 1/2 in eps 2.477 * [taylor]: Taking taylor expansion of eps in eps 2.478 * [taylor]: Taking taylor expansion of 0 in eps 2.479 * [taylor]: Taking taylor expansion of 0 in eps 2.481 * [taylor]: Taking taylor expansion of 0 in eps 2.482 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in (a eps) around 0 2.482 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in eps 2.482 * [taylor]: Taking taylor expansion of -1/2 in eps 2.482 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.482 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.482 * [taylor]: Taking taylor expansion of a in eps 2.482 * [taylor]: Taking taylor expansion of eps in eps 2.483 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in a 2.483 * [taylor]: Taking taylor expansion of -1/2 in a 2.483 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.483 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.483 * [taylor]: Taking taylor expansion of a in a 2.483 * [taylor]: Taking taylor expansion of eps in a 2.483 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) eps)) in a 2.483 * [taylor]: Taking taylor expansion of -1/2 in a 2.483 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.483 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.483 * [taylor]: Taking taylor expansion of a in a 2.483 * [taylor]: Taking taylor expansion of eps in a 2.484 * [taylor]: Taking taylor expansion of (/ -1/2 eps) in eps 2.484 * [taylor]: Taking taylor expansion of -1/2 in eps 2.484 * [taylor]: Taking taylor expansion of eps in eps 2.485 * [taylor]: Taking taylor expansion of 0 in eps 2.486 * [taylor]: Taking taylor expansion of 0 in eps 2.488 * [taylor]: Taking taylor expansion of 0 in eps 2.489 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.489 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 2.489 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 2.489 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 2.489 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 2.489 * [taylor]: Taking taylor expansion of (+ a b) in eps 2.489 * [taylor]: Taking taylor expansion of a in eps 2.489 * [taylor]: Taking taylor expansion of b in eps 2.489 * [taylor]: Taking taylor expansion of eps in eps 2.490 * [taylor]: Taking taylor expansion of 1.0 in eps 2.490 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 2.490 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 2.490 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 2.490 * [taylor]: Taking taylor expansion of (+ a b) in b 2.490 * [taylor]: Taking taylor expansion of a in b 2.490 * [taylor]: Taking taylor expansion of b in b 2.490 * [taylor]: Taking taylor expansion of eps in b 2.490 * [taylor]: Taking taylor expansion of 1.0 in b 2.490 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.490 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.490 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.490 * [taylor]: Taking taylor expansion of (+ a b) in a 2.490 * [taylor]: Taking taylor expansion of a in a 2.490 * [taylor]: Taking taylor expansion of b in a 2.490 * [taylor]: Taking taylor expansion of eps in a 2.490 * [taylor]: Taking taylor expansion of 1.0 in a 2.490 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.490 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.490 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.490 * [taylor]: Taking taylor expansion of (+ a b) in a 2.490 * [taylor]: Taking taylor expansion of a in a 2.490 * [taylor]: Taking taylor expansion of b in a 2.490 * [taylor]: Taking taylor expansion of eps in a 2.491 * [taylor]: Taking taylor expansion of 1.0 in a 2.491 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 2.491 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.491 * [taylor]: Taking taylor expansion of (* eps b) in b 2.491 * [taylor]: Taking taylor expansion of eps in b 2.491 * [taylor]: Taking taylor expansion of b in b 2.492 * [taylor]: Taking taylor expansion of 1.0 in b 2.492 * [taylor]: Taking taylor expansion of 0 in eps 2.493 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 2.493 * [taylor]: Taking taylor expansion of eps in b 2.493 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.493 * [taylor]: Taking taylor expansion of (* eps b) in b 2.493 * [taylor]: Taking taylor expansion of eps in b 2.493 * [taylor]: Taking taylor expansion of b in b 2.493 * [taylor]: Taking taylor expansion of eps in eps 2.494 * [taylor]: Taking taylor expansion of eps in eps 2.495 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 2.495 * [taylor]: Taking taylor expansion of 1/2 in b 2.495 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 2.495 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.495 * [taylor]: Taking taylor expansion of eps in b 2.495 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.496 * [taylor]: Taking taylor expansion of (* eps b) in b 2.496 * [taylor]: Taking taylor expansion of eps in b 2.496 * [taylor]: Taking taylor expansion of b in b 2.496 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.496 * [taylor]: Taking taylor expansion of 1/2 in eps 2.496 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.496 * [taylor]: Taking taylor expansion of eps in eps 2.496 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.496 * [taylor]: Taking taylor expansion of eps in eps 2.498 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.498 * [taylor]: Taking taylor expansion of 1/2 in eps 2.498 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.498 * [taylor]: Taking taylor expansion of eps in eps 2.500 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 2.500 * [taylor]: Taking taylor expansion of 1/6 in b 2.500 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 2.500 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.500 * [taylor]: Taking taylor expansion of eps in b 2.500 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.500 * [taylor]: Taking taylor expansion of (* eps b) in b 2.500 * [taylor]: Taking taylor expansion of eps in b 2.500 * [taylor]: Taking taylor expansion of b in b 2.501 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.501 * [taylor]: Taking taylor expansion of 1/6 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/2 (pow eps 3)) in eps 2.501 * [taylor]: Taking taylor expansion of 1/2 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.503 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.503 * [taylor]: Taking taylor expansion of 1/2 in eps 2.503 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.503 * [taylor]: Taking taylor expansion of eps in eps 2.504 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.504 * [taylor]: Taking taylor expansion of 1/6 in eps 2.504 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.504 * [taylor]: Taking taylor expansion of eps in eps 2.507 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 2.507 * [taylor]: Taking taylor expansion of 1/24 in b 2.508 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 2.508 * [taylor]: Taking taylor expansion of (pow eps 4) in b 2.508 * [taylor]: Taking taylor expansion of eps in b 2.508 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.508 * [taylor]: Taking taylor expansion of (* eps b) in b 2.508 * [taylor]: Taking taylor expansion of eps in b 2.508 * [taylor]: Taking taylor expansion of b in b 2.508 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.508 * [taylor]: Taking taylor expansion of 1/24 in eps 2.508 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.508 * [taylor]: Taking taylor expansion of eps in eps 2.509 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.509 * [taylor]: Taking taylor expansion of 1/6 in eps 2.509 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.509 * [taylor]: Taking taylor expansion of eps in eps 2.511 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 2.511 * [taylor]: Taking taylor expansion of 1/4 in eps 2.511 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.511 * [taylor]: Taking taylor expansion of eps in eps 2.513 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.513 * [taylor]: Taking taylor expansion of 1/6 in eps 2.513 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.513 * [taylor]: Taking taylor expansion of eps in eps 2.515 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.515 * [taylor]: Taking taylor expansion of 1/24 in eps 2.515 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.515 * [taylor]: Taking taylor expansion of eps in eps 2.516 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.516 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.516 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.516 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.516 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.516 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.516 * [taylor]: Taking taylor expansion of b in eps 2.516 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.516 * [taylor]: Taking taylor expansion of a in eps 2.516 * [taylor]: Taking taylor expansion of eps in eps 2.517 * [taylor]: Taking taylor expansion of 1.0 in eps 2.517 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.517 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.517 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.517 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.517 * [taylor]: Taking taylor expansion of b in b 2.517 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.517 * [taylor]: Taking taylor expansion of a in b 2.517 * [taylor]: Taking taylor expansion of eps in b 2.517 * [taylor]: Taking taylor expansion of 1.0 in b 2.517 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.517 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.517 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.518 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.518 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.518 * [taylor]: Taking taylor expansion of b in a 2.518 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.518 * [taylor]: Taking taylor expansion of a in a 2.518 * [taylor]: Taking taylor expansion of eps in a 2.518 * [taylor]: Taking taylor expansion of 1.0 in a 2.518 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.518 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.518 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.518 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.518 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.518 * [taylor]: Taking taylor expansion of b in a 2.518 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.518 * [taylor]: Taking taylor expansion of a in a 2.519 * [taylor]: Taking taylor expansion of eps in a 2.519 * [taylor]: Taking taylor expansion of 1.0 in a 2.520 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.520 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.520 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.520 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.520 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.520 * [taylor]: Taking taylor expansion of b in b 2.520 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.520 * [taylor]: Taking taylor expansion of a in b 2.520 * [taylor]: Taking taylor expansion of eps in b 2.520 * [taylor]: Taking taylor expansion of 1.0 in b 2.526 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.526 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.526 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.526 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.526 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.526 * [taylor]: Taking taylor expansion of b in eps 2.526 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.526 * [taylor]: Taking taylor expansion of a in eps 2.526 * [taylor]: Taking taylor expansion of eps in eps 2.526 * [taylor]: Taking taylor expansion of 1.0 in eps 2.527 * [taylor]: Taking taylor expansion of 0 in b 2.527 * [taylor]: Taking taylor expansion of 0 in eps 2.528 * [taylor]: Taking taylor expansion of 0 in eps 2.529 * [taylor]: Taking taylor expansion of 0 in b 2.529 * [taylor]: Taking taylor expansion of 0 in eps 2.529 * [taylor]: Taking taylor expansion of 0 in eps 2.529 * [taylor]: Taking taylor expansion of 0 in eps 2.530 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.530 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.530 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.530 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.530 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.530 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.530 * [taylor]: Taking taylor expansion of b in eps 2.530 * [taylor]: Taking taylor expansion of (/ 1 a) 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.0 in eps 2.530 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.530 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.530 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.530 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.530 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.530 * [taylor]: Taking taylor expansion of b in b 2.531 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.531 * [taylor]: Taking taylor expansion of a in b 2.531 * [taylor]: Taking taylor expansion of eps in b 2.531 * [taylor]: Taking taylor expansion of 1.0 in b 2.531 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.531 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.531 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.531 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.531 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.531 * [taylor]: Taking taylor expansion of b in a 2.531 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.531 * [taylor]: Taking taylor expansion of a in a 2.531 * [taylor]: Taking taylor expansion of eps in a 2.532 * [taylor]: Taking taylor expansion of 1.0 in a 2.532 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.532 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.532 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.532 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.532 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.532 * [taylor]: Taking taylor expansion of b in a 2.532 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.532 * [taylor]: Taking taylor expansion of a in a 2.532 * [taylor]: Taking taylor expansion of eps in a 2.533 * [taylor]: Taking taylor expansion of 1.0 in a 2.533 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.533 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.533 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.533 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.533 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.533 * [taylor]: Taking taylor expansion of b in b 2.534 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.534 * [taylor]: Taking taylor expansion of a in b 2.534 * [taylor]: Taking taylor expansion of eps in b 2.534 * [taylor]: Taking taylor expansion of 1.0 in b 2.535 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.535 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.535 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.535 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.535 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.535 * [taylor]: Taking taylor expansion of b in eps 2.535 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.535 * [taylor]: Taking taylor expansion of a in eps 2.535 * [taylor]: Taking taylor expansion of eps in eps 2.535 * [taylor]: Taking taylor expansion of 1.0 in eps 2.536 * [taylor]: Taking taylor expansion of 0 in b 2.536 * [taylor]: Taking taylor expansion of 0 in eps 2.537 * [taylor]: Taking taylor expansion of 0 in eps 2.538 * [taylor]: Taking taylor expansion of 0 in b 2.538 * [taylor]: Taking taylor expansion of 0 in eps 2.538 * [taylor]: Taking taylor expansion of 0 in eps 2.538 * [taylor]: Taking taylor expansion of 0 in eps 2.538 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.539 * [approximate]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in (eps a) around 0 2.539 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in a 2.539 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in a 2.539 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in a 2.539 * [taylor]: Taking taylor expansion of 1/2 in a 2.539 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.539 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.539 * [taylor]: Taking taylor expansion of a in a 2.539 * [taylor]: Taking taylor expansion of eps in a 2.539 * [taylor]: Taking taylor expansion of a in a 2.539 * [taylor]: Taking taylor expansion of eps in a 2.539 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in eps 2.539 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in eps 2.539 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.539 * [taylor]: Taking taylor expansion of 1/2 in eps 2.539 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.539 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.539 * [taylor]: Taking taylor expansion of a in eps 2.539 * [taylor]: Taking taylor expansion of eps in eps 2.539 * [taylor]: Taking taylor expansion of a in eps 2.539 * [taylor]: Taking taylor expansion of eps in eps 2.539 * [taylor]: Taking taylor expansion of (* (+ (* 1/2 (* (pow a 2) eps)) a) eps) in eps 2.539 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) eps)) a) in eps 2.539 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) eps)) in eps 2.539 * [taylor]: Taking taylor expansion of 1/2 in eps 2.539 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.539 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.539 * [taylor]: Taking taylor expansion of a in eps 2.539 * [taylor]: Taking taylor expansion of eps in eps 2.539 * [taylor]: Taking taylor expansion of a in eps 2.539 * [taylor]: Taking taylor expansion of eps in eps 2.539 * [taylor]: Taking taylor expansion of 0 in a 2.540 * [taylor]: Taking taylor expansion of a in a 2.542 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 2.542 * [taylor]: Taking taylor expansion of 1/2 in a 2.542 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.542 * [taylor]: Taking taylor expansion of a in a 2.545 * [taylor]: Taking taylor expansion of 0 in a 2.548 * [taylor]: Taking taylor expansion of 0 in a 2.548 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in (eps a) around 0 2.548 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in a 2.548 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in a 2.548 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in a 2.548 * [taylor]: Taking taylor expansion of 1/2 in a 2.548 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in a 2.548 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.548 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.548 * [taylor]: Taking taylor expansion of a in a 2.548 * [taylor]: Taking taylor expansion of eps in a 2.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.549 * [taylor]: Taking taylor expansion of a in a 2.549 * [taylor]: Taking taylor expansion of eps in a 2.549 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.549 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.549 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.549 * [taylor]: Taking taylor expansion of 1/2 in eps 2.549 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.549 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.549 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.549 * [taylor]: Taking taylor expansion of a in eps 2.549 * [taylor]: Taking taylor expansion of eps in eps 2.550 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.550 * [taylor]: Taking taylor expansion of a in eps 2.550 * [taylor]: Taking taylor expansion of eps in eps 2.550 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.550 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.550 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.550 * [taylor]: Taking taylor expansion of 1/2 in eps 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.550 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.550 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.550 * [taylor]: Taking taylor expansion of a in eps 2.550 * [taylor]: Taking taylor expansion of eps in eps 2.551 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.551 * [taylor]: Taking taylor expansion of a in eps 2.551 * [taylor]: Taking taylor expansion of eps in eps 2.551 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 2.551 * [taylor]: Taking taylor expansion of 1/2 in a 2.551 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.551 * [taylor]: Taking taylor expansion of a in a 2.553 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.553 * [taylor]: Taking taylor expansion of a in a 2.557 * [taylor]: Taking taylor expansion of 0 in a 2.562 * [taylor]: Taking taylor expansion of 0 in a 2.568 * [taylor]: Taking taylor expansion of 0 in a 2.571 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in (eps a) around 0 2.571 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in a 2.571 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in a 2.571 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in a 2.571 * [taylor]: Taking taylor expansion of 1/2 in a 2.571 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in a 2.571 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in a 2.571 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.571 * [taylor]: Taking taylor expansion of a in a 2.571 * [taylor]: Taking taylor expansion of eps in a 2.571 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.571 * [taylor]: Taking taylor expansion of a in a 2.571 * [taylor]: Taking taylor expansion of eps in a 2.571 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.571 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.571 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.571 * [taylor]: Taking taylor expansion of 1/2 in eps 2.571 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.571 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.572 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.572 * [taylor]: Taking taylor expansion of a in eps 2.572 * [taylor]: Taking taylor expansion of eps in eps 2.572 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.572 * [taylor]: Taking taylor expansion of a in eps 2.572 * [taylor]: Taking taylor expansion of eps in eps 2.572 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) eps) in eps 2.572 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) eps))) (/ 1 a)) in eps 2.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) eps))) in eps 2.573 * [taylor]: Taking taylor expansion of 1/2 in eps 2.573 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) eps)) in eps 2.573 * [taylor]: Taking taylor expansion of (* (pow a 2) eps) in eps 2.573 * [taylor]: Taking taylor expansion of (pow a 2) in eps 2.573 * [taylor]: Taking taylor expansion of a in eps 2.573 * [taylor]: Taking taylor expansion of eps in eps 2.573 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.573 * [taylor]: Taking taylor expansion of a in eps 2.573 * [taylor]: Taking taylor expansion of eps in eps 2.573 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 2.573 * [taylor]: Taking taylor expansion of 1/2 in a 2.574 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.574 * [taylor]: Taking taylor expansion of a in a 2.576 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.576 * [taylor]: Taking taylor expansion of a in a 2.580 * [taylor]: Taking taylor expansion of 0 in a 2.585 * [taylor]: Taking taylor expansion of 0 in a 2.591 * [taylor]: Taking taylor expansion of 0 in a 2.593 * * * [progress]: simplifying candidates 2.595 * [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.600 * * [simplify]: iteration 0 : 180 enodes (cost 1520 )