17.654 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.217 * * * [progress]: [2/2] Setting up program. 0.220 * [progress]: [Phase 2 of 3] Improving. 0.221 * [simplify]: Simplifying using # : (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 0.222 * * [simplify]: iteration 0 : 17 enodes (cost 24 ) 0.224 * * [simplify]: iteration 1 : 40 enodes (cost 24 ) 0.229 * * [simplify]: iteration 2 : 101 enodes (cost 24 ) 0.246 * * [simplify]: iteration 3 : 239 enodes (cost 24 ) 0.288 * * [simplify]: iteration 4 : 653 enodes (cost 24 ) 0.518 * * [simplify]: iteration 5 : 2845 enodes (cost 24 ) 1.329 * * [simplify]: iteration done : 5000 enodes (cost 24 ) 1.329 * [simplify]: Simplified to: (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 1.329 * * [progress]: iteration 1 / 4 1.329 * * * [progress]: picking best candidate 1.333 * * * * [pick]: Picked # 1.333 * * * [progress]: localizing error 1.348 * * * [progress]: generating rewritten candidates 1.348 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.352 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.356 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1.360 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.387 * * * [progress]: generating series expansions 1.387 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.387 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 1.387 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 1.387 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 1.387 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 1.387 * [taylor]: Taking taylor expansion of (+ a b) in eps 1.387 * [taylor]: Taking taylor expansion of a in eps 1.387 * [taylor]: Taking taylor expansion of b in eps 1.387 * [taylor]: Taking taylor expansion of eps in eps 1.388 * [taylor]: Taking taylor expansion of 1.0 in eps 1.388 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 1.388 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 1.388 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 1.388 * [taylor]: Taking taylor expansion of (+ a b) in b 1.388 * [taylor]: Taking taylor expansion of a in b 1.388 * [taylor]: Taking taylor expansion of b in b 1.388 * [taylor]: Taking taylor expansion of eps in b 1.388 * [taylor]: Taking taylor expansion of 1.0 in b 1.388 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.388 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.388 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.388 * [taylor]: Taking taylor expansion of (+ a b) in a 1.388 * [taylor]: Taking taylor expansion of a in a 1.388 * [taylor]: Taking taylor expansion of b in a 1.388 * [taylor]: Taking taylor expansion of eps in a 1.388 * [taylor]: Taking taylor expansion of 1.0 in a 1.388 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.388 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.388 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.388 * [taylor]: Taking taylor expansion of (+ a b) in a 1.388 * [taylor]: Taking taylor expansion of a in a 1.388 * [taylor]: Taking taylor expansion of b in a 1.388 * [taylor]: Taking taylor expansion of eps in a 1.388 * [taylor]: Taking taylor expansion of 1.0 in a 1.389 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.389 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.389 * [taylor]: Taking taylor expansion of (* eps b) in b 1.389 * [taylor]: Taking taylor expansion of eps in b 1.389 * [taylor]: Taking taylor expansion of b in b 1.389 * [taylor]: Taking taylor expansion of 1.0 in b 1.390 * [taylor]: Taking taylor expansion of 0 in eps 1.391 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 1.391 * [taylor]: Taking taylor expansion of eps in b 1.391 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.391 * [taylor]: Taking taylor expansion of (* eps b) in b 1.391 * [taylor]: Taking taylor expansion of eps in b 1.391 * [taylor]: Taking taylor expansion of b in b 1.391 * [taylor]: Taking taylor expansion of eps in eps 1.392 * [taylor]: Taking taylor expansion of eps in eps 1.393 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 1.393 * [taylor]: Taking taylor expansion of 1/2 in b 1.393 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 1.393 * [taylor]: Taking taylor expansion of (pow eps 2) in b 1.393 * [taylor]: Taking taylor expansion of eps in b 1.393 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.393 * [taylor]: Taking taylor expansion of (* eps b) in b 1.393 * [taylor]: Taking taylor expansion of eps in b 1.393 * [taylor]: Taking taylor expansion of b in b 1.394 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.394 * [taylor]: Taking taylor expansion of 1/2 in eps 1.394 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.394 * [taylor]: Taking taylor expansion of eps in eps 1.394 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.394 * [taylor]: Taking taylor expansion of eps in eps 1.396 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.396 * [taylor]: Taking taylor expansion of 1/2 in eps 1.396 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.396 * [taylor]: Taking taylor expansion of eps in eps 1.401 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 1.401 * [taylor]: Taking taylor expansion of 1/6 in b 1.401 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 1.401 * [taylor]: Taking taylor expansion of (pow eps 3) in b 1.401 * [taylor]: Taking taylor expansion of eps in b 1.401 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.401 * [taylor]: Taking taylor expansion of (* eps b) in b 1.401 * [taylor]: Taking taylor expansion of eps in b 1.401 * [taylor]: Taking taylor expansion of b in b 1.402 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.402 * [taylor]: Taking taylor expansion of 1/6 in eps 1.402 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.402 * [taylor]: Taking taylor expansion of eps in eps 1.402 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.402 * [taylor]: Taking taylor expansion of 1/2 in eps 1.402 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.402 * [taylor]: Taking taylor expansion of eps in eps 1.404 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.404 * [taylor]: Taking taylor expansion of 1/2 in eps 1.404 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.404 * [taylor]: Taking taylor expansion of eps in eps 1.405 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.405 * [taylor]: Taking taylor expansion of 1/6 in eps 1.405 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.405 * [taylor]: Taking taylor expansion of eps in eps 1.409 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 1.409 * [taylor]: Taking taylor expansion of 1/24 in b 1.409 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 1.409 * [taylor]: Taking taylor expansion of (pow eps 4) in b 1.409 * [taylor]: Taking taylor expansion of eps in b 1.409 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.409 * [taylor]: Taking taylor expansion of (* eps b) in b 1.409 * [taylor]: Taking taylor expansion of eps in b 1.409 * [taylor]: Taking taylor expansion of b in b 1.409 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.410 * [taylor]: Taking taylor expansion of 1/24 in eps 1.410 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.410 * [taylor]: Taking taylor expansion of eps in eps 1.410 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.410 * [taylor]: Taking taylor expansion of 1/6 in eps 1.410 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.410 * [taylor]: Taking taylor expansion of eps in eps 1.412 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 1.412 * [taylor]: Taking taylor expansion of 1/4 in eps 1.412 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.412 * [taylor]: Taking taylor expansion of eps in eps 1.414 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.414 * [taylor]: Taking taylor expansion of 1/6 in eps 1.414 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.414 * [taylor]: Taking taylor expansion of eps in eps 1.417 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.417 * [taylor]: Taking taylor expansion of 1/24 in eps 1.417 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.417 * [taylor]: Taking taylor expansion of eps in eps 1.418 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.418 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.418 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.418 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.418 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.418 * [taylor]: Taking taylor expansion of b in eps 1.418 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.418 * [taylor]: Taking taylor expansion of a in eps 1.418 * [taylor]: Taking taylor expansion of eps in eps 1.418 * [taylor]: Taking taylor expansion of 1.0 in eps 1.418 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.418 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.418 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.418 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.418 * [taylor]: Taking taylor expansion of b in b 1.418 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.419 * [taylor]: Taking taylor expansion of a in b 1.419 * [taylor]: Taking taylor expansion of eps in b 1.419 * [taylor]: Taking taylor expansion of 1.0 in b 1.419 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.419 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.419 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.419 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.419 * [taylor]: Taking taylor expansion of b in a 1.419 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.419 * [taylor]: Taking taylor expansion of a in a 1.419 * [taylor]: Taking taylor expansion of eps in a 1.420 * [taylor]: Taking taylor expansion of 1.0 in a 1.420 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.420 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.420 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.420 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.420 * [taylor]: Taking taylor expansion of b in a 1.420 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.420 * [taylor]: Taking taylor expansion of a in a 1.420 * [taylor]: Taking taylor expansion of eps in a 1.421 * [taylor]: Taking taylor expansion of 1.0 in a 1.422 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.422 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.422 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.422 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.422 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.422 * [taylor]: Taking taylor expansion of b in b 1.422 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.422 * [taylor]: Taking taylor expansion of a in b 1.422 * [taylor]: Taking taylor expansion of eps in b 1.422 * [taylor]: Taking taylor expansion of 1.0 in b 1.423 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.423 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.423 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.423 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.423 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.423 * [taylor]: Taking taylor expansion of b in eps 1.423 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.423 * [taylor]: Taking taylor expansion of a in eps 1.423 * [taylor]: Taking taylor expansion of eps in eps 1.423 * [taylor]: Taking taylor expansion of 1.0 in eps 1.424 * [taylor]: Taking taylor expansion of 0 in b 1.425 * [taylor]: Taking taylor expansion of 0 in eps 1.425 * [taylor]: Taking taylor expansion of 0 in eps 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in eps 1.426 * [taylor]: Taking taylor expansion of 0 in eps 1.426 * [taylor]: Taking taylor expansion of 0 in eps 1.427 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.427 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.427 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.427 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.427 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.427 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.427 * [taylor]: Taking taylor expansion of b in eps 1.427 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.427 * [taylor]: Taking taylor expansion of a in eps 1.427 * [taylor]: Taking taylor expansion of eps in eps 1.427 * [taylor]: Taking taylor expansion of 1.0 in eps 1.427 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.427 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.427 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.427 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.427 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.427 * [taylor]: Taking taylor expansion of b in b 1.428 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.428 * [taylor]: Taking taylor expansion of a in b 1.428 * [taylor]: Taking taylor expansion of eps in b 1.428 * [taylor]: Taking taylor expansion of 1.0 in b 1.428 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.428 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.428 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.428 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.428 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.428 * [taylor]: Taking taylor expansion of b in a 1.428 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.428 * [taylor]: Taking taylor expansion of a in a 1.428 * [taylor]: Taking taylor expansion of eps in a 1.429 * [taylor]: Taking taylor expansion of 1.0 in a 1.429 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.429 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.429 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.429 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.429 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.429 * [taylor]: Taking taylor expansion of b in a 1.429 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.429 * [taylor]: Taking taylor expansion of a in a 1.429 * [taylor]: Taking taylor expansion of eps in a 1.430 * [taylor]: Taking taylor expansion of 1.0 in a 1.430 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.430 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.430 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.430 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.430 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.430 * [taylor]: Taking taylor expansion of b in b 1.431 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.431 * [taylor]: Taking taylor expansion of a in b 1.431 * [taylor]: Taking taylor expansion of eps in b 1.431 * [taylor]: Taking taylor expansion of 1.0 in b 1.432 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.432 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.432 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.432 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.432 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.432 * [taylor]: Taking taylor expansion of b in eps 1.432 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.432 * [taylor]: Taking taylor expansion of a in eps 1.432 * [taylor]: Taking taylor expansion of eps in eps 1.432 * [taylor]: Taking taylor expansion of 1.0 in eps 1.433 * [taylor]: Taking taylor expansion of 0 in b 1.433 * [taylor]: Taking taylor expansion of 0 in eps 1.434 * [taylor]: Taking taylor expansion of 0 in eps 1.435 * [taylor]: Taking taylor expansion of 0 in b 1.435 * [taylor]: Taking taylor expansion of 0 in eps 1.435 * [taylor]: Taking taylor expansion of 0 in eps 1.436 * [taylor]: Taking taylor expansion of 0 in eps 1.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.436 * [approximate]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in (b eps) around 0 1.436 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.436 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.436 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.436 * [taylor]: Taking taylor expansion of eps in eps 1.436 * [taylor]: Taking taylor expansion of b in eps 1.436 * [taylor]: Taking taylor expansion of 1.0 in eps 1.436 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.436 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.436 * [taylor]: Taking taylor expansion of (* eps b) in b 1.436 * [taylor]: Taking taylor expansion of eps in b 1.436 * [taylor]: Taking taylor expansion of b in b 1.437 * [taylor]: Taking taylor expansion of 1.0 in b 1.437 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.437 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.437 * [taylor]: Taking taylor expansion of (* eps b) in b 1.437 * [taylor]: Taking taylor expansion of eps in b 1.437 * [taylor]: Taking taylor expansion of b in b 1.437 * [taylor]: Taking taylor expansion of 1.0 in b 1.438 * [taylor]: Taking taylor expansion of 0 in eps 1.438 * [taylor]: Taking taylor expansion of eps in eps 1.440 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.440 * [taylor]: Taking taylor expansion of 1/2 in eps 1.440 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.440 * [taylor]: Taking taylor expansion of eps in eps 1.442 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.442 * [taylor]: Taking taylor expansion of 1/6 in eps 1.442 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.442 * [taylor]: Taking taylor expansion of eps in eps 1.444 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.444 * [taylor]: Taking taylor expansion of 1/24 in eps 1.444 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.444 * [taylor]: Taking taylor expansion of eps in eps 1.448 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.448 * [taylor]: Taking taylor expansion of 1/120 in eps 1.449 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.449 * [taylor]: Taking taylor expansion of eps in eps 1.455 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.455 * [taylor]: Taking taylor expansion of 1/720 in eps 1.455 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.455 * [taylor]: Taking taylor expansion of eps in eps 1.456 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.456 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.456 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.456 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.456 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.456 * [taylor]: Taking taylor expansion of eps in eps 1.456 * [taylor]: Taking taylor expansion of b in eps 1.457 * [taylor]: Taking taylor expansion of 1.0 in eps 1.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.457 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.457 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.457 * [taylor]: Taking taylor expansion of (* eps b) in b 1.457 * [taylor]: Taking taylor expansion of eps in b 1.457 * [taylor]: Taking taylor expansion of b in b 1.457 * [taylor]: Taking taylor expansion of 1.0 in b 1.457 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.457 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.457 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.457 * [taylor]: Taking taylor expansion of (* eps b) in b 1.457 * [taylor]: Taking taylor expansion of eps in b 1.457 * [taylor]: Taking taylor expansion of b in b 1.458 * [taylor]: Taking taylor expansion of 1.0 in b 1.458 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.458 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.458 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.458 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.458 * [taylor]: Taking taylor expansion of eps in eps 1.458 * [taylor]: Taking taylor expansion of b in eps 1.459 * [taylor]: Taking taylor expansion of 1.0 in eps 1.460 * [taylor]: Taking taylor expansion of 0 in eps 1.461 * [taylor]: Taking taylor expansion of 0 in eps 1.462 * [taylor]: Taking taylor expansion of 0 in eps 1.462 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.462 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.462 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.462 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.462 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.462 * [taylor]: Taking taylor expansion of eps in eps 1.462 * [taylor]: Taking taylor expansion of b in eps 1.462 * [taylor]: Taking taylor expansion of 1.0 in eps 1.462 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.462 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.462 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.462 * [taylor]: Taking taylor expansion of (* eps b) in b 1.462 * [taylor]: Taking taylor expansion of eps in b 1.462 * [taylor]: Taking taylor expansion of b in b 1.463 * [taylor]: Taking taylor expansion of 1.0 in b 1.463 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.463 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.463 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.463 * [taylor]: Taking taylor expansion of (* eps b) in b 1.463 * [taylor]: Taking taylor expansion of eps in b 1.463 * [taylor]: Taking taylor expansion of b in b 1.463 * [taylor]: Taking taylor expansion of 1.0 in b 1.464 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.464 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.464 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.464 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.464 * [taylor]: Taking taylor expansion of eps in eps 1.464 * [taylor]: Taking taylor expansion of b in eps 1.464 * [taylor]: Taking taylor expansion of 1.0 in eps 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 eps 1.468 * * * * [progress]: [ 3 / 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.477 * [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.482 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.482 * [taylor]: Taking taylor expansion of 1/120 in eps 1.482 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.482 * [taylor]: Taking taylor expansion of eps in eps 1.489 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.489 * [taylor]: Taking taylor expansion of 1/720 in eps 1.489 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.489 * [taylor]: Taking taylor expansion of eps 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.494 * [taylor]: Taking taylor expansion of 1.0 in eps 1.494 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.494 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.494 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.494 * [taylor]: Taking taylor expansion of (* a eps) in a 1.494 * [taylor]: Taking taylor expansion of a in a 1.494 * [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.495 * [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 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.500 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.500 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.500 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.500 * [taylor]: Taking taylor expansion of a in eps 1.500 * [taylor]: Taking taylor expansion of eps in eps 1.500 * [taylor]: Taking taylor expansion of 1.0 in eps 1.500 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.500 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.500 * [taylor]: Taking taylor expansion of (* a eps) in a 1.500 * [taylor]: Taking taylor expansion of a in a 1.500 * [taylor]: Taking taylor expansion of eps in a 1.501 * [taylor]: Taking taylor expansion of 1.0 in a 1.501 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.501 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.501 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.501 * [taylor]: Taking taylor expansion of (* a eps) in a 1.501 * [taylor]: Taking taylor expansion of a in a 1.501 * [taylor]: Taking taylor expansion of eps in a 1.501 * [taylor]: Taking taylor expansion of 1.0 in a 1.502 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.502 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.502 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.502 * [taylor]: Taking taylor expansion of a in eps 1.502 * [taylor]: Taking taylor expansion of eps in eps 1.502 * [taylor]: Taking taylor expansion of 1.0 in eps 1.503 * [taylor]: Taking taylor expansion of 0 in eps 1.504 * [taylor]: Taking taylor expansion of 0 in eps 1.505 * [taylor]: Taking taylor expansion of 0 in eps 1.505 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.505 * [approximate]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in (a eps b) around 0 1.505 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b 1.505 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.505 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.505 * [taylor]: Taking taylor expansion of (* eps b) in b 1.505 * [taylor]: Taking taylor expansion of eps in b 1.505 * [taylor]: Taking taylor expansion of b in b 1.506 * [taylor]: Taking taylor expansion of 1.0 in b 1.506 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in b 1.506 * [taylor]: Taking taylor expansion of (exp (* a eps)) in b 1.506 * [taylor]: Taking taylor expansion of (* a eps) in b 1.506 * [taylor]: Taking taylor expansion of a in b 1.506 * [taylor]: Taking taylor expansion of eps in b 1.506 * [taylor]: Taking taylor expansion of 1.0 in b 1.506 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps 1.506 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.506 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.506 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.506 * [taylor]: Taking taylor expansion of eps in eps 1.506 * [taylor]: Taking taylor expansion of b in eps 1.506 * [taylor]: Taking taylor expansion of 1.0 in eps 1.506 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.506 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.506 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.506 * [taylor]: Taking taylor expansion of a in eps 1.506 * [taylor]: Taking taylor expansion of eps in eps 1.507 * [taylor]: Taking taylor expansion of 1.0 in eps 1.507 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.507 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.507 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.507 * [taylor]: Taking taylor expansion of (* eps b) in a 1.507 * [taylor]: Taking taylor expansion of eps in a 1.507 * [taylor]: Taking taylor expansion of b in a 1.507 * [taylor]: Taking taylor expansion of 1.0 in a 1.507 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.507 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.507 * [taylor]: Taking taylor expansion of (* a eps) in a 1.507 * [taylor]: Taking taylor expansion of a in a 1.507 * [taylor]: Taking taylor expansion of eps in a 1.507 * [taylor]: Taking taylor expansion of 1.0 in a 1.507 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.507 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.507 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.507 * [taylor]: Taking taylor expansion of (* eps b) in a 1.507 * [taylor]: Taking taylor expansion of eps in a 1.507 * [taylor]: Taking taylor expansion of b in a 1.508 * [taylor]: Taking taylor expansion of 1.0 in a 1.508 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.508 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.508 * [taylor]: Taking taylor expansion of (* a eps) in a 1.508 * [taylor]: Taking taylor expansion of a in a 1.508 * [taylor]: Taking taylor expansion of eps in a 1.508 * [taylor]: Taking taylor expansion of 1.0 in a 1.509 * [taylor]: Taking taylor expansion of 0 in eps 1.509 * [taylor]: Taking taylor expansion of 0 in b 1.511 * [taylor]: Taking taylor expansion of (- (* eps (exp (* eps b))) (* 1.0 eps)) in eps 1.511 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in eps 1.511 * [taylor]: Taking taylor expansion of eps in eps 1.511 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.511 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.511 * [taylor]: Taking taylor expansion of eps in eps 1.511 * [taylor]: Taking taylor expansion of b in eps 1.511 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 1.511 * [taylor]: Taking taylor expansion of 1.0 in eps 1.511 * [taylor]: Taking taylor expansion of eps in eps 1.512 * [taylor]: Taking taylor expansion of 0 in b 1.512 * [taylor]: Taking taylor expansion of 0 in b 1.516 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow eps 2) (exp (* eps b)))) (* 0.5 (pow eps 2))) in eps 1.516 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in eps 1.516 * [taylor]: Taking taylor expansion of 1/2 in eps 1.516 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in eps 1.516 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.516 * [taylor]: Taking taylor expansion of eps in eps 1.516 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.516 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.516 * [taylor]: Taking taylor expansion of eps in eps 1.516 * [taylor]: Taking taylor expansion of b in eps 1.516 * [taylor]: Taking taylor expansion of (* 0.5 (pow eps 2)) in eps 1.516 * [taylor]: Taking taylor expansion of 0.5 in eps 1.516 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.516 * [taylor]: Taking taylor expansion of eps in eps 1.519 * [taylor]: Taking taylor expansion of 0 in b 1.519 * [taylor]: Taking taylor expansion of 0 in b 1.519 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.519 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.519 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.519 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.519 * [taylor]: Taking taylor expansion of (* eps b) in b 1.519 * [taylor]: Taking taylor expansion of eps in b 1.519 * [taylor]: Taking taylor expansion of b in b 1.519 * [taylor]: Taking taylor expansion of 1.0 in b 1.519 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.519 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.520 * [taylor]: Taking taylor expansion of (* a eps) in b 1.520 * [taylor]: Taking taylor expansion of a in b 1.520 * [taylor]: Taking taylor expansion of eps in b 1.520 * [taylor]: Taking taylor expansion of 1.0 in b 1.520 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.520 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.520 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.520 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.520 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.520 * [taylor]: Taking taylor expansion of eps in eps 1.520 * [taylor]: Taking taylor expansion of b in eps 1.520 * [taylor]: Taking taylor expansion of 1.0 in eps 1.520 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.520 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.520 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.520 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.520 * [taylor]: Taking taylor expansion of a in eps 1.520 * [taylor]: Taking taylor expansion of eps in eps 1.521 * [taylor]: Taking taylor expansion of 1.0 in eps 1.521 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.521 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.521 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.521 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.521 * [taylor]: Taking taylor expansion of (* eps b) in a 1.521 * [taylor]: Taking taylor expansion of eps in a 1.521 * [taylor]: Taking taylor expansion of b in a 1.521 * [taylor]: Taking taylor expansion of 1.0 in a 1.521 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.521 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.521 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.521 * [taylor]: Taking taylor expansion of (* a eps) in a 1.521 * [taylor]: Taking taylor expansion of a in a 1.521 * [taylor]: Taking taylor expansion of eps in a 1.521 * [taylor]: Taking taylor expansion of 1.0 in a 1.522 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.522 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.522 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.522 * [taylor]: Taking taylor expansion of (* eps b) in a 1.522 * [taylor]: Taking taylor expansion of eps in a 1.522 * [taylor]: Taking taylor expansion of b in a 1.522 * [taylor]: Taking taylor expansion of 1.0 in a 1.522 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.522 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.522 * [taylor]: Taking taylor expansion of (* a eps) in a 1.522 * [taylor]: Taking taylor expansion of a in a 1.522 * [taylor]: Taking taylor expansion of eps in a 1.522 * [taylor]: Taking taylor expansion of 1.0 in a 1.523 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.523 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.523 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.523 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.524 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.524 * [taylor]: Taking taylor expansion of a in eps 1.524 * [taylor]: Taking taylor expansion of eps in eps 1.524 * [taylor]: Taking taylor expansion of 1.0 in eps 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.524 * [taylor]: Taking taylor expansion of 1.0 in eps 1.526 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.526 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.526 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.526 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.526 * [taylor]: Taking taylor expansion of (* eps b) in b 1.526 * [taylor]: Taking taylor expansion of eps in b 1.526 * [taylor]: Taking taylor expansion of b in b 1.526 * [taylor]: Taking taylor expansion of 1.0 in b 1.526 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.526 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.526 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.526 * [taylor]: Taking taylor expansion of (* a eps) in b 1.526 * [taylor]: Taking taylor expansion of a in b 1.526 * [taylor]: Taking taylor expansion of eps in b 1.526 * [taylor]: Taking taylor expansion of 1.0 in b 1.529 * [taylor]: Taking taylor expansion of 0 in eps 1.529 * [taylor]: Taking taylor expansion of 0 in b 1.530 * [taylor]: Taking taylor expansion of 0 in b 1.534 * [taylor]: Taking taylor expansion of 0 in eps 1.534 * [taylor]: Taking taylor expansion of 0 in b 1.534 * [taylor]: Taking taylor expansion of 0 in b 1.536 * [taylor]: Taking taylor expansion of 0 in b 1.536 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.536 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.536 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.536 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.536 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.536 * [taylor]: Taking taylor expansion of (* eps b) in b 1.536 * [taylor]: Taking taylor expansion of eps in b 1.536 * [taylor]: Taking taylor expansion of b in b 1.537 * [taylor]: Taking taylor expansion of 1.0 in b 1.537 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.537 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.537 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.537 * [taylor]: Taking taylor expansion of (* a eps) in b 1.537 * [taylor]: Taking taylor expansion of a in b 1.537 * [taylor]: Taking taylor expansion of eps in b 1.537 * [taylor]: Taking taylor expansion of 1.0 in b 1.537 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.537 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.537 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.537 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.537 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.537 * [taylor]: Taking taylor expansion of eps in eps 1.537 * [taylor]: Taking taylor expansion of b in eps 1.537 * [taylor]: Taking taylor expansion of 1.0 in eps 1.537 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.537 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.537 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.537 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.538 * [taylor]: Taking taylor expansion of a in eps 1.538 * [taylor]: Taking taylor expansion of eps in eps 1.538 * [taylor]: Taking taylor expansion of 1.0 in eps 1.538 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.538 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.538 * [taylor]: Taking taylor expansion of (* eps b) in a 1.538 * [taylor]: Taking taylor expansion of eps in a 1.538 * [taylor]: Taking taylor expansion of b in a 1.538 * [taylor]: Taking taylor expansion of 1.0 in a 1.538 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.538 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.538 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.538 * [taylor]: Taking taylor expansion of (* a eps) in a 1.538 * [taylor]: Taking taylor expansion of a in a 1.538 * [taylor]: Taking taylor expansion of eps in a 1.539 * [taylor]: Taking taylor expansion of 1.0 in a 1.539 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.539 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.539 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.539 * [taylor]: Taking taylor expansion of (* eps b) in a 1.539 * [taylor]: Taking taylor expansion of eps in a 1.539 * [taylor]: Taking taylor expansion of b in a 1.539 * [taylor]: Taking taylor expansion of 1.0 in a 1.539 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.539 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.539 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.539 * [taylor]: Taking taylor expansion of (* a eps) in a 1.539 * [taylor]: Taking taylor expansion of a in a 1.539 * [taylor]: Taking taylor expansion of eps in a 1.539 * [taylor]: Taking taylor expansion of 1.0 in a 1.541 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.541 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.541 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.541 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.541 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.541 * [taylor]: Taking taylor expansion of a in eps 1.541 * [taylor]: Taking taylor expansion of eps in eps 1.541 * [taylor]: Taking taylor expansion of 1.0 in eps 1.541 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.541 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.541 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.541 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.541 * [taylor]: Taking taylor expansion of eps in eps 1.541 * [taylor]: Taking taylor expansion of b in eps 1.542 * [taylor]: Taking taylor expansion of 1.0 in eps 1.543 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.543 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.543 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.543 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.543 * [taylor]: Taking taylor expansion of (* eps b) in b 1.543 * [taylor]: Taking taylor expansion of eps in b 1.543 * [taylor]: Taking taylor expansion of b in b 1.543 * [taylor]: Taking taylor expansion of 1.0 in b 1.543 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.543 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.543 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.543 * [taylor]: Taking taylor expansion of (* a eps) in b 1.543 * [taylor]: Taking taylor expansion of a in b 1.543 * [taylor]: Taking taylor expansion of eps in b 1.543 * [taylor]: Taking taylor expansion of 1.0 in b 1.546 * [taylor]: Taking taylor expansion of 0 in eps 1.546 * [taylor]: Taking taylor expansion of 0 in b 1.547 * [taylor]: Taking taylor expansion of 0 in b 1.552 * [taylor]: Taking taylor expansion of 0 in eps 1.552 * [taylor]: Taking taylor expansion of 0 in b 1.552 * [taylor]: Taking taylor expansion of 0 in b 1.553 * [taylor]: Taking taylor expansion of 0 in b 1.553 * * * [progress]: simplifying candidates 1.555 * [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 (* 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 (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 (* 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 eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))) (- (exp (* eps b)) 1.0) (- (exp (* eps b)) 1.0) (+ (* 1/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) 0 (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 1.559 * * [simplify]: iteration 0 : 143 enodes (cost 1364 ) 1.585 * * [simplify]: iteration 1 : 345 enodes (cost 1326 ) 1.658 * * [simplify]: iteration 2 : 1275 enodes (cost 1196 ) 1.991 * * [simplify]: iteration done : 5002 enodes (cost 1190 ) 1.992 * [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 (* eps b)) 1.0)) (log (- (exp (* b eps)) 1.0)) (exp (- (exp (* eps b)) 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)) (+ (pow (exp b) (* 2 eps)) (* 1.0 (+ (exp (* b eps)) 1.0))) (- 1.0) (- (pow (exp b) (* 2 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 (- (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)) (+ (pow (exp a) (* 2 eps)) (* (+ (exp (* a eps)) 1.0) 1.0)) (- 1.0) (- (pow (exp a) (* 2 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 (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (exp (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3) (* (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (pow (exp a) (* 2 eps)) (* (+ (exp (* a eps)) 1.0) 1.0)) (+ (pow (exp b) (* 2 eps)) (* 1.0 (+ (exp (* b eps)) 1.0)))) (* (- (pow (exp b) (* 2 eps)) (* 1.0 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3))) (* (+ (pow (exp a) (* 2 eps)) (* (+ (exp (* a eps)) 1.0) 1.0)) (+ (exp (* b eps)) 1.0)) (* (- (pow (exp a) (* 2 eps)) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (exp (* a eps)) 1.0) (+ (pow (exp b) (* 2 eps)) (* 1.0 (+ (exp (* b eps)) 1.0)))) (* (- (pow (exp b) (* 2 eps)) (* 1.0 1.0)) (- (pow (exp a) (* 2 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 (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (- (exp (* a eps)) 1.0) (- (pow (exp b) (* 2 eps)) (* 1.0 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (pow (exp a) (* 2 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) (+ (* b (+ (* (* 1/2 (pow eps 2)) b) eps)) (* 1/6 (* (pow eps 3) (pow b 3)))) (- (exp (* eps b)) 1.0) (- (exp (* eps b)) 1.0) (+ (* a eps) (* (pow eps 2) (+ (* 1/2 (pow a 2)) (* (* 1/6 (pow a 3)) eps)))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) 0 (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 1.992 * * * [progress]: adding candidates to table 2.308 * * [progress]: iteration 2 / 4 2.308 * * * [progress]: picking best candidate 2.333 * * * * [pick]: Picked # 2.333 * * * [progress]: localizing error 2.359 * * * [progress]: generating rewritten candidates 2.359 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 2.373 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 2.382 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 2.386 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.393 * * * [progress]: generating series expansions 2.393 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 2.393 * [approximate]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in (eps b) around 0 2.393 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 2.393 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.393 * [taylor]: Taking taylor expansion of eps in b 2.393 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.393 * [taylor]: Taking taylor expansion of b in b 2.393 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.393 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.393 * [taylor]: Taking taylor expansion of eps in eps 2.393 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.393 * [taylor]: Taking taylor expansion of b in eps 2.393 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.393 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.393 * [taylor]: Taking taylor expansion of eps in eps 2.393 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.393 * [taylor]: Taking taylor expansion of b in eps 2.394 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.394 * [taylor]: Taking taylor expansion of b in b 2.396 * [taylor]: Taking taylor expansion of 0 in b 2.399 * [taylor]: Taking taylor expansion of 0 in b 2.403 * [taylor]: Taking taylor expansion of 0 in b 2.404 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 2.404 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 2.404 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 2.404 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.404 * [taylor]: Taking taylor expansion of eps in b 2.404 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.404 * [taylor]: Taking taylor expansion of b in b 2.404 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 2.404 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.404 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.404 * [taylor]: Taking taylor expansion of eps in eps 2.404 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.404 * [taylor]: Taking taylor expansion of b in eps 2.405 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 2.405 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.405 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.405 * [taylor]: Taking taylor expansion of eps in eps 2.405 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.405 * [taylor]: Taking taylor expansion of b in eps 2.406 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 2.406 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.406 * [taylor]: Taking taylor expansion of b in b 2.408 * [taylor]: Taking taylor expansion of 0 in b 2.412 * [taylor]: Taking taylor expansion of 0 in b 2.416 * [taylor]: Taking taylor expansion of 0 in b 2.422 * [taylor]: Taking taylor expansion of 0 in b 2.429 * [taylor]: Taking taylor expansion of 0 in b 2.429 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 2.429 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 2.429 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 2.429 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.429 * [taylor]: Taking taylor expansion of eps in b 2.429 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.429 * [taylor]: Taking taylor expansion of b in b 2.430 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 2.430 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.430 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.430 * [taylor]: Taking taylor expansion of eps in eps 2.430 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.430 * [taylor]: Taking taylor expansion of b in eps 2.431 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 2.431 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 2.431 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.431 * [taylor]: Taking taylor expansion of eps in eps 2.431 * [taylor]: Taking taylor expansion of (pow b 3) in eps 2.431 * [taylor]: Taking taylor expansion of b in eps 2.431 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 2.431 * [taylor]: Taking taylor expansion of (pow b 3) in b 2.431 * [taylor]: Taking taylor expansion of b in b 2.433 * [taylor]: Taking taylor expansion of 0 in b 2.437 * [taylor]: Taking taylor expansion of 0 in b 2.441 * [taylor]: Taking taylor expansion of 0 in b 2.447 * [taylor]: Taking taylor expansion of 0 in b 2.457 * [taylor]: Taking taylor expansion of 0 in b 2.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 2.458 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in (eps b) around 0 2.458 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in b 2.458 * [taylor]: Taking taylor expansion of 1/2 in b 2.458 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 2.458 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.458 * [taylor]: Taking taylor expansion of eps in b 2.458 * [taylor]: Taking taylor expansion of b in b 2.458 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 2.458 * [taylor]: Taking taylor expansion of 1/2 in eps 2.458 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.458 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.458 * [taylor]: Taking taylor expansion of eps in eps 2.458 * [taylor]: Taking taylor expansion of b in eps 2.458 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 2.458 * [taylor]: Taking taylor expansion of 1/2 in eps 2.458 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.458 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.458 * [taylor]: Taking taylor expansion of eps in eps 2.458 * [taylor]: Taking taylor expansion of b in eps 2.458 * [taylor]: Taking taylor expansion of (* 1/2 b) in b 2.458 * [taylor]: Taking taylor expansion of 1/2 in b 2.458 * [taylor]: Taking taylor expansion of b in b 2.460 * [taylor]: Taking taylor expansion of 0 in b 2.462 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [taylor]: Taking taylor expansion of 0 in b 2.464 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in (eps b) around 0 2.464 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in b 2.464 * [taylor]: Taking taylor expansion of 1/2 in b 2.464 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 2.464 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.464 * [taylor]: Taking taylor expansion of eps in b 2.464 * [taylor]: Taking taylor expansion of b in b 2.465 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 2.465 * [taylor]: Taking taylor expansion of 1/2 in eps 2.465 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.465 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.465 * [taylor]: Taking taylor expansion of eps in eps 2.465 * [taylor]: Taking taylor expansion of b in eps 2.465 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 2.465 * [taylor]: Taking taylor expansion of 1/2 in eps 2.465 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.465 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.465 * [taylor]: Taking taylor expansion of eps in eps 2.465 * [taylor]: Taking taylor expansion of b in eps 2.466 * [taylor]: Taking taylor expansion of (/ 1/2 b) in b 2.466 * [taylor]: Taking taylor expansion of 1/2 in b 2.466 * [taylor]: Taking taylor expansion of b in b 2.467 * [taylor]: Taking taylor expansion of 0 in b 2.468 * [taylor]: Taking taylor expansion of 0 in b 2.470 * [taylor]: Taking taylor expansion of 0 in b 2.471 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in (eps b) around 0 2.471 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in b 2.471 * [taylor]: Taking taylor expansion of -1/2 in b 2.471 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 2.471 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.471 * [taylor]: Taking taylor expansion of eps in b 2.471 * [taylor]: Taking taylor expansion of b in b 2.472 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 2.472 * [taylor]: Taking taylor expansion of -1/2 in eps 2.472 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.472 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.472 * [taylor]: Taking taylor expansion of eps in eps 2.472 * [taylor]: Taking taylor expansion of b in eps 2.472 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 2.472 * [taylor]: Taking taylor expansion of -1/2 in eps 2.472 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 2.472 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.472 * [taylor]: Taking taylor expansion of eps in eps 2.472 * [taylor]: Taking taylor expansion of b in eps 2.473 * [taylor]: Taking taylor expansion of (/ -1/2 b) in b 2.473 * [taylor]: Taking taylor expansion of -1/2 in b 2.473 * [taylor]: Taking taylor expansion of b in b 2.474 * [taylor]: Taking taylor expansion of 0 in b 2.475 * [taylor]: Taking taylor expansion of 0 in b 2.477 * [taylor]: Taking taylor expansion of 0 in b 2.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.478 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 2.478 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 2.478 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 2.478 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 2.478 * [taylor]: Taking taylor expansion of (+ a b) in eps 2.478 * [taylor]: Taking taylor expansion of a in eps 2.478 * [taylor]: Taking taylor expansion of b in eps 2.478 * [taylor]: Taking taylor expansion of eps in eps 2.479 * [taylor]: Taking taylor expansion of 1.0 in eps 2.479 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 2.479 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 2.479 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 2.479 * [taylor]: Taking taylor expansion of (+ a b) in b 2.479 * [taylor]: Taking taylor expansion of a in b 2.479 * [taylor]: Taking taylor expansion of b in b 2.479 * [taylor]: Taking taylor expansion of eps in b 2.479 * [taylor]: Taking taylor expansion of 1.0 in b 2.479 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.479 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.479 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.479 * [taylor]: Taking taylor expansion of (+ a b) in a 2.479 * [taylor]: Taking taylor expansion of a in a 2.479 * [taylor]: Taking taylor expansion of b in a 2.479 * [taylor]: Taking taylor expansion of eps in a 2.479 * [taylor]: Taking taylor expansion of 1.0 in a 2.479 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.479 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.479 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.479 * [taylor]: Taking taylor expansion of (+ a b) in a 2.479 * [taylor]: Taking taylor expansion of a in a 2.479 * [taylor]: Taking taylor expansion of b in a 2.479 * [taylor]: Taking taylor expansion of eps in a 2.479 * [taylor]: Taking taylor expansion of 1.0 in a 2.480 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 2.480 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.480 * [taylor]: Taking taylor expansion of (* eps b) in b 2.480 * [taylor]: Taking taylor expansion of eps in b 2.480 * [taylor]: Taking taylor expansion of b in b 2.480 * [taylor]: Taking taylor expansion of 1.0 in b 2.481 * [taylor]: Taking taylor expansion of 0 in eps 2.482 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 2.482 * [taylor]: Taking taylor expansion of eps in b 2.482 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.482 * [taylor]: Taking taylor expansion of (* eps b) in b 2.482 * [taylor]: Taking taylor expansion of eps in b 2.482 * [taylor]: Taking taylor expansion of b in b 2.482 * [taylor]: Taking taylor expansion of eps in eps 2.483 * [taylor]: Taking taylor expansion of eps in eps 2.484 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 2.484 * [taylor]: Taking taylor expansion of 1/2 in b 2.484 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 2.484 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.484 * [taylor]: Taking taylor expansion of eps in b 2.484 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.484 * [taylor]: Taking taylor expansion of (* eps b) in b 2.484 * [taylor]: Taking taylor expansion of eps in b 2.484 * [taylor]: Taking taylor expansion of b in b 2.485 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.485 * [taylor]: Taking taylor expansion of 1/2 in eps 2.485 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.485 * [taylor]: Taking taylor expansion of eps in eps 2.485 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.485 * [taylor]: Taking taylor expansion of eps in eps 2.486 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.486 * [taylor]: Taking taylor expansion of 1/2 in eps 2.486 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.486 * [taylor]: Taking taylor expansion of eps in eps 2.489 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 2.489 * [taylor]: Taking taylor expansion of 1/6 in b 2.489 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 2.489 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.489 * [taylor]: Taking taylor expansion of eps in b 2.489 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.489 * [taylor]: Taking taylor expansion of (* eps b) in b 2.489 * [taylor]: Taking taylor expansion of eps in b 2.489 * [taylor]: Taking taylor expansion of b in b 2.489 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.489 * [taylor]: Taking taylor expansion of 1/6 in eps 2.489 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.489 * [taylor]: Taking taylor expansion of eps in eps 2.490 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.490 * [taylor]: Taking taylor expansion of 1/2 in eps 2.490 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.490 * [taylor]: Taking taylor expansion of eps in eps 2.492 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.492 * [taylor]: Taking taylor expansion of 1/2 in eps 2.492 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.492 * [taylor]: Taking taylor expansion of eps in eps 2.493 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.493 * [taylor]: Taking taylor expansion of 1/6 in eps 2.493 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.493 * [taylor]: Taking taylor expansion of eps in eps 2.497 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 2.497 * [taylor]: Taking taylor expansion of 1/24 in b 2.497 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 2.497 * [taylor]: Taking taylor expansion of (pow eps 4) in b 2.497 * [taylor]: Taking taylor expansion of eps in b 2.497 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.497 * [taylor]: Taking taylor expansion of (* eps b) in b 2.497 * [taylor]: Taking taylor expansion of eps in b 2.497 * [taylor]: Taking taylor expansion of b in b 2.497 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.497 * [taylor]: Taking taylor expansion of 1/24 in eps 2.497 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.497 * [taylor]: Taking taylor expansion of eps in eps 2.498 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.498 * [taylor]: Taking taylor expansion of 1/6 in eps 2.498 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.498 * [taylor]: Taking taylor expansion of eps in eps 2.500 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 2.500 * [taylor]: Taking taylor expansion of 1/4 in eps 2.500 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.500 * [taylor]: Taking taylor expansion of eps in eps 2.502 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.502 * [taylor]: Taking taylor expansion of 1/6 in eps 2.502 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.502 * [taylor]: Taking taylor expansion of eps in eps 2.505 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.505 * [taylor]: Taking taylor expansion of 1/24 in eps 2.505 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.505 * [taylor]: Taking taylor expansion of eps in eps 2.506 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.506 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.506 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.506 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.506 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.506 * [taylor]: Taking taylor expansion of b in eps 2.506 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.506 * [taylor]: Taking taylor expansion of a in eps 2.506 * [taylor]: Taking taylor expansion of eps in eps 2.506 * [taylor]: Taking taylor expansion of 1.0 in eps 2.506 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.506 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.506 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.506 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.506 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.506 * [taylor]: Taking taylor expansion of b in b 2.506 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.506 * [taylor]: Taking taylor expansion of a in b 2.506 * [taylor]: Taking taylor expansion of eps in b 2.507 * [taylor]: Taking taylor expansion of 1.0 in b 2.507 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.507 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.507 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.507 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.507 * [taylor]: Taking taylor expansion of b in a 2.507 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.507 * [taylor]: Taking taylor expansion of a in a 2.507 * [taylor]: Taking taylor expansion of eps in a 2.508 * [taylor]: Taking taylor expansion of 1.0 in a 2.508 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.508 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.508 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.508 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.508 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.508 * [taylor]: Taking taylor expansion of b in a 2.508 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.508 * [taylor]: Taking taylor expansion of a in a 2.508 * [taylor]: Taking taylor expansion of eps in a 2.508 * [taylor]: Taking taylor expansion of 1.0 in a 2.509 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.509 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.509 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.509 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.509 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.509 * [taylor]: Taking taylor expansion of b in b 2.510 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.510 * [taylor]: Taking taylor expansion of a in b 2.510 * [taylor]: Taking taylor expansion of eps in b 2.510 * [taylor]: Taking taylor expansion of 1.0 in b 2.511 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.511 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.511 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.511 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.511 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.511 * [taylor]: Taking taylor expansion of b in eps 2.511 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.511 * [taylor]: Taking taylor expansion of a in eps 2.511 * [taylor]: Taking taylor expansion of eps in eps 2.511 * [taylor]: Taking taylor expansion of 1.0 in eps 2.512 * [taylor]: Taking taylor expansion of 0 in b 2.512 * [taylor]: Taking taylor expansion of 0 in eps 2.513 * [taylor]: Taking taylor expansion of 0 in eps 2.514 * [taylor]: Taking taylor expansion of 0 in b 2.514 * [taylor]: Taking taylor expansion of 0 in eps 2.514 * [taylor]: Taking taylor expansion of 0 in eps 2.514 * [taylor]: Taking taylor expansion of 0 in eps 2.514 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.514 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.515 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.515 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.515 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.515 * [taylor]: Taking taylor expansion of b in eps 2.515 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.515 * [taylor]: Taking taylor expansion of a in eps 2.515 * [taylor]: Taking taylor expansion of eps in eps 2.515 * [taylor]: Taking taylor expansion of 1.0 in eps 2.515 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.515 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.515 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.515 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.515 * [taylor]: Taking taylor expansion of b in b 2.515 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.515 * [taylor]: Taking taylor expansion of a in b 2.515 * [taylor]: Taking taylor expansion of eps in b 2.516 * [taylor]: Taking taylor expansion of 1.0 in b 2.516 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.516 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.516 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.516 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.516 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.516 * [taylor]: Taking taylor expansion of b in a 2.516 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.516 * [taylor]: Taking taylor expansion of a in a 2.516 * [taylor]: Taking taylor expansion of eps in a 2.516 * [taylor]: Taking taylor expansion of 1.0 in a 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.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.517 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.517 * [taylor]: Taking taylor expansion of b in a 2.517 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.517 * [taylor]: Taking taylor expansion of a in a 2.517 * [taylor]: Taking taylor expansion of eps in a 2.517 * [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 b 2.518 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.518 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.518 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.518 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.518 * [taylor]: Taking taylor expansion of b in b 2.518 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.518 * [taylor]: Taking taylor expansion of a in b 2.518 * [taylor]: Taking taylor expansion of eps in b 2.519 * [taylor]: Taking taylor expansion of 1.0 in b 2.519 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.519 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.519 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.519 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.519 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.519 * [taylor]: Taking taylor expansion of b in eps 2.520 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.520 * [taylor]: Taking taylor expansion of a in eps 2.520 * [taylor]: Taking taylor expansion of eps in eps 2.520 * [taylor]: Taking taylor expansion of 1.0 in eps 2.521 * [taylor]: Taking taylor expansion of 0 in b 2.521 * [taylor]: Taking taylor expansion of 0 in eps 2.521 * [taylor]: Taking taylor expansion of 0 in eps 2.522 * [taylor]: Taking taylor expansion of 0 in b 2.522 * [taylor]: Taking taylor expansion of 0 in eps 2.522 * [taylor]: Taking taylor expansion of 0 in eps 2.523 * [taylor]: Taking taylor expansion of 0 in eps 2.523 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 2.523 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0 2.523 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 2.523 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 2.523 * [taylor]: Taking taylor expansion of (* a eps) in eps 2.523 * [taylor]: Taking taylor expansion of a in eps 2.523 * [taylor]: Taking taylor expansion of eps in eps 2.524 * [taylor]: Taking taylor expansion of 1.0 in eps 2.524 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 2.524 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 2.524 * [taylor]: Taking taylor expansion of (* a eps) in a 2.524 * [taylor]: Taking taylor expansion of a in a 2.524 * [taylor]: Taking taylor expansion of eps in a 2.524 * [taylor]: Taking taylor expansion of 1.0 in a 2.524 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 2.524 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 2.524 * [taylor]: Taking taylor expansion of (* a eps) in a 2.524 * [taylor]: Taking taylor expansion of a in a 2.524 * [taylor]: Taking taylor expansion of eps in a 2.524 * [taylor]: Taking taylor expansion of 1.0 in a 2.525 * [taylor]: Taking taylor expansion of 0 in eps 2.526 * [taylor]: Taking taylor expansion of eps in eps 2.527 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.527 * [taylor]: Taking taylor expansion of 1/2 in eps 2.527 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.527 * [taylor]: Taking taylor expansion of eps in eps 2.529 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.529 * [taylor]: Taking taylor expansion of 1/6 in eps 2.529 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.529 * [taylor]: Taking taylor expansion of eps in eps 2.533 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.533 * [taylor]: Taking taylor expansion of 1/24 in eps 2.533 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.533 * [taylor]: Taking taylor expansion of eps in eps 2.537 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 2.537 * [taylor]: Taking taylor expansion of 1/120 in eps 2.537 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 2.537 * [taylor]: Taking taylor expansion of eps in eps 2.547 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 2.548 * [taylor]: Taking taylor expansion of 1/720 in eps 2.548 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 2.548 * [taylor]: Taking taylor expansion of eps in eps 2.549 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 2.549 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 2.549 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 2.549 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 2.549 * [taylor]: Taking taylor expansion of (* a eps) in eps 2.549 * [taylor]: Taking taylor expansion of a in eps 2.549 * [taylor]: Taking taylor expansion of eps in eps 2.549 * [taylor]: Taking taylor expansion of 1.0 in eps 2.549 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 2.549 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 2.550 * [taylor]: Taking taylor expansion of (* a eps) in a 2.550 * [taylor]: Taking taylor expansion of a in a 2.550 * [taylor]: Taking taylor expansion of eps in a 2.550 * [taylor]: Taking taylor expansion of 1.0 in a 2.550 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 2.550 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 2.550 * [taylor]: Taking taylor expansion of (* a eps) in a 2.550 * [taylor]: Taking taylor expansion of a in a 2.550 * [taylor]: Taking taylor expansion of eps in a 2.550 * [taylor]: Taking taylor expansion of 1.0 in a 2.551 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 2.551 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 2.551 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 2.551 * [taylor]: Taking taylor expansion of (* a eps) 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.0 in eps 2.553 * [taylor]: Taking taylor expansion of 0 in eps 2.553 * [taylor]: Taking taylor expansion of 0 in eps 2.554 * [taylor]: Taking taylor expansion of 0 in eps 2.555 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 2.555 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 2.555 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 2.555 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 2.555 * [taylor]: Taking taylor expansion of (* a eps) in eps 2.555 * [taylor]: Taking taylor expansion of a in eps 2.555 * [taylor]: Taking taylor expansion of eps in eps 2.555 * [taylor]: Taking taylor expansion of 1.0 in eps 2.555 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 2.555 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 2.555 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 2.555 * [taylor]: Taking taylor expansion of (* a eps) in a 2.555 * [taylor]: Taking taylor expansion of a in a 2.555 * [taylor]: Taking taylor expansion of eps in a 2.556 * [taylor]: Taking taylor expansion of 1.0 in a 2.556 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 2.556 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 2.556 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 2.556 * [taylor]: Taking taylor expansion of (* a eps) in a 2.556 * [taylor]: Taking taylor expansion of a in a 2.556 * [taylor]: Taking taylor expansion of eps in a 2.556 * [taylor]: Taking taylor expansion of 1.0 in a 2.557 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 2.557 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 2.557 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 2.557 * [taylor]: Taking taylor expansion of (* a eps) in eps 2.557 * [taylor]: Taking taylor expansion of a in eps 2.557 * [taylor]: Taking taylor expansion of eps in eps 2.557 * [taylor]: Taking taylor expansion of 1.0 in eps 2.558 * [taylor]: Taking taylor expansion of 0 in eps 2.559 * [taylor]: Taking taylor expansion of 0 in eps 2.560 * [taylor]: Taking taylor expansion of 0 in eps 2.560 * * * [progress]: simplifying candidates 2.563 * [simplify]: Simplifying using # : (* eps b) (+ (* (log eps) 3) (* (log b) 3)) (+ (* (log eps) 3) (* (log b) 3)) (+ (* (log eps) 3) (log (pow b 3))) (+ (* (log eps) 3) (* (log b) 3)) (+ (* (log eps) 3) (* (log b) 3)) (+ (* (log eps) 3) (log (pow b 3))) (+ (log (pow eps 3)) (* (log b) 3)) (+ (log (pow eps 3)) (* (log b) 3)) (+ (log (pow eps 3)) (log (pow b 3))) (log (* (pow eps 3) (pow b 3))) (exp (* (pow eps 3) (pow b 3))) (* (* (* (pow eps 3) (pow eps 3)) (pow eps 3)) (* (* (pow b 3) (pow b 3)) (pow b 3))) (* (cbrt (* (pow eps 3) (pow b 3))) (cbrt (* (pow eps 3) (pow b 3)))) (cbrt (* (pow eps 3) (pow b 3))) (* (* (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3))) (* (pow eps 3) (pow b 3))) (sqrt (* (pow eps 3) (pow b 3))) (sqrt (* (pow eps 3) (pow b 3))) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (pow b (/ 3 2))) (* (pow (sqrt eps) 3) (pow b (/ 3 2))) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (pow b (/ 3 2))) (* (pow (sqrt eps) 3) (pow b (/ 3 2))) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (sqrt (pow b 3))) (* (sqrt (pow eps 3)) (sqrt (pow b 3))) (* (sqrt (pow eps 3)) (pow b (/ 3 2))) (* (sqrt (pow eps 3)) (pow b (/ 3 2))) (* (pow eps (/ 3 2)) (pow (sqrt b) 3)) (* (pow eps (/ 3 2)) (pow (sqrt b) 3)) (* (pow eps (/ 3 2)) (pow (sqrt b) 3)) (* (pow eps (/ 3 2)) (pow (sqrt b) 3)) (* (pow eps (/ 3 2)) (sqrt (pow b 3))) (* (pow eps (/ 3 2)) (sqrt (pow b 3))) (* (pow eps (/ 3 2)) (pow b (/ 3 2))) (* (pow eps (/ 3 2)) (pow b (/ 3 2))) (* (pow eps 3) (pow (* (cbrt b) (cbrt b)) 3)) (* (pow eps 3) (pow (sqrt b) 3)) (* (pow eps 3) (pow 1 3)) (* (pow eps 3) (* b b)) (* (pow eps 3) (* (cbrt (pow b 3)) (cbrt (pow b 3)))) (* (pow eps 3) (pow (* (cbrt b) (cbrt b)) 3)) (* (pow eps 3) (pow (sqrt b) 3)) (* (pow eps 3) (pow 1 3)) (* (pow eps 3) b) (* (pow eps 3) (sqrt (pow b 3))) (* (pow eps 3) 1) (* (pow eps 3) (pow b (/ 3 2))) (* (pow (cbrt eps) 3) (pow b 3)) (* (pow (sqrt eps) 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* eps (pow b 3)) (* (cbrt (pow eps 3)) (pow b 3)) (* (pow (cbrt eps) 3) (pow b 3)) (* (pow (sqrt eps) 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (* eps eps) (pow b 3)) (* (sqrt (pow eps 3)) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps (/ 3 2)) (pow b 3)) (* (* 1/2 (pow eps 2)) b) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (log (pow eps 2))) (log b)) (+ (log (* 1/2 (pow eps 2))) (log b)) (log (* (* 1/2 (pow eps 2)) b)) (exp (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 1/2) 1/2) (* (* (pow eps 2) (pow eps 2)) (pow eps 2))) (* (* b b) b)) (* (* (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* 1/2 (pow eps 2))) (* (* b b) b)) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 (pow eps 2)) b) (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* (* 1/2 (pow eps 2)) 1) (* (pow eps 2) b) (/ (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) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* 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) 2.567 * * [simplify]: iteration 0 : 176 enodes (cost 1341 ) 2.601 * * [simplify]: iteration 1 : 420 enodes (cost 1202 ) 2.772 * * [simplify]: iteration 2 : 1789 enodes (cost 1122 ) 3.324 * * [simplify]: iteration done : 5001 enodes (cost 1122 ) 3.325 * [simplify]: Simplified to: (* eps b) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (* 3 (+ (log eps) (log b))) (exp (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (* (cbrt (* (pow eps 3) (pow b 3))) (cbrt (* (pow eps 3) (pow b 3)))) (cbrt (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (sqrt (* (pow eps 3) (pow b 3))) (sqrt (* (pow eps 3) (pow b 3))) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (pow b 3/2)) (* (pow (sqrt eps) 3) (pow b 3/2)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (pow (sqrt b) 3)) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (sqrt (pow b 3))) (* (pow (sqrt eps) 3) (pow b 3/2)) (* (pow (sqrt eps) 3) (pow b 3/2)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (pow (sqrt b) 3)) (* (sqrt (pow eps 3)) (sqrt (pow b 3))) (* (sqrt (pow eps 3)) (sqrt (pow b 3))) (* (sqrt (pow eps 3)) (pow b 3/2)) (* (sqrt (pow eps 3)) (pow b 3/2)) (* (pow eps 3/2) (pow (sqrt b) 3)) (* (pow eps 3/2) (pow (sqrt b) 3)) (* (pow eps 3/2) (pow (sqrt b) 3)) (* (pow eps 3/2) (pow (sqrt b) 3)) (* (pow eps 3/2) (sqrt (pow b 3))) (* (pow eps 3/2) (sqrt (pow b 3))) (* (pow b 3/2) (pow eps 3/2)) (* (pow b 3/2) (pow eps 3/2)) (* (* (pow eps 3) b) b) (* (pow eps 3) (pow (sqrt b) 3)) (pow eps 3) (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b) (* (pow eps 3) (pow (sqrt b) 3)) (pow eps 3) (* (pow eps 3) b) (* (pow eps 3) (sqrt (pow b 3))) (pow eps 3) (* (pow b 3/2) (pow eps 3)) (* eps (pow b 3)) (* (pow (sqrt eps) 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* eps (pow b 3)) (* eps (pow b 3)) (* eps (pow b 3)) (* (pow (sqrt eps) 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (* eps eps) (pow b 3)) (* (sqrt (pow eps 3)) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow b 3) (pow eps 3/2)) (* 1/2 (* (pow eps 2) b)) (log (* 1/2 (* (pow eps 2) b))) (log (* 1/2 (* (pow eps 2) b))) (log (* 1/2 (* (pow eps 2) b))) (log (* 1/2 (* (pow eps 2) b))) (log (* 1/2 (* (pow eps 2) b))) (exp (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (pow (* 1/2 (* (pow eps 2) b)) 3) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* 1/2 (pow eps 2)) (* (pow eps 2) b) (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))) (* 1.0 (+ (exp (* a eps)) 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) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* (+ a b) eps) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (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) 3.326 * * * [progress]: adding candidates to table 3.777 * * [progress]: iteration 3 / 4 3.777 * * * [progress]: picking best candidate 3.824 * * * * [pick]: Picked # 3.825 * * * [progress]: localizing error 3.851 * * * [progress]: generating rewritten candidates 3.851 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1) 3.860 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.864 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 3.898 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1) 3.910 * * * [progress]: generating series expansions 3.910 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1) 3.910 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in (eps b) around 0 3.911 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in b 3.911 * [taylor]: Taking taylor expansion of 1/2 in b 3.911 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 3.911 * [taylor]: Taking taylor expansion of (pow eps 2) in b 3.911 * [taylor]: Taking taylor expansion of eps in b 3.911 * [taylor]: Taking taylor expansion of b in b 3.911 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 3.911 * [taylor]: Taking taylor expansion of 1/2 in eps 3.911 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.911 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.911 * [taylor]: Taking taylor expansion of eps in eps 3.911 * [taylor]: Taking taylor expansion of b in eps 3.911 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 3.911 * [taylor]: Taking taylor expansion of 1/2 in eps 3.911 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.911 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.911 * [taylor]: Taking taylor expansion of eps in eps 3.911 * [taylor]: Taking taylor expansion of b in eps 3.912 * [taylor]: Taking taylor expansion of (* 1/2 b) in b 3.912 * [taylor]: Taking taylor expansion of 1/2 in b 3.912 * [taylor]: Taking taylor expansion of b in b 3.913 * [taylor]: Taking taylor expansion of 0 in b 3.915 * [taylor]: Taking taylor expansion of 0 in b 3.918 * [taylor]: Taking taylor expansion of 0 in b 3.918 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in (eps b) around 0 3.918 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in b 3.918 * [taylor]: Taking taylor expansion of 1/2 in b 3.918 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 3.918 * [taylor]: Taking taylor expansion of (pow eps 2) in b 3.918 * [taylor]: Taking taylor expansion of eps in b 3.918 * [taylor]: Taking taylor expansion of b in b 3.919 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 3.919 * [taylor]: Taking taylor expansion of 1/2 in eps 3.919 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.919 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.919 * [taylor]: Taking taylor expansion of eps in eps 3.919 * [taylor]: Taking taylor expansion of b in eps 3.919 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 3.919 * [taylor]: Taking taylor expansion of 1/2 in eps 3.919 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.919 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.919 * [taylor]: Taking taylor expansion of eps in eps 3.919 * [taylor]: Taking taylor expansion of b in eps 3.919 * [taylor]: Taking taylor expansion of (/ 1/2 b) in b 3.920 * [taylor]: Taking taylor expansion of 1/2 in b 3.920 * [taylor]: Taking taylor expansion of b in b 3.921 * [taylor]: Taking taylor expansion of 0 in b 3.922 * [taylor]: Taking taylor expansion of 0 in b 3.924 * [taylor]: Taking taylor expansion of 0 in b 3.925 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in (eps b) around 0 3.925 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in b 3.925 * [taylor]: Taking taylor expansion of -1/2 in b 3.925 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 3.925 * [taylor]: Taking taylor expansion of (pow eps 2) in b 3.925 * [taylor]: Taking taylor expansion of eps in b 3.925 * [taylor]: Taking taylor expansion of b in b 3.926 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 3.926 * [taylor]: Taking taylor expansion of -1/2 in eps 3.926 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.926 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.926 * [taylor]: Taking taylor expansion of eps in eps 3.926 * [taylor]: Taking taylor expansion of b in eps 3.926 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 3.926 * [taylor]: Taking taylor expansion of -1/2 in eps 3.926 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 3.926 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.926 * [taylor]: Taking taylor expansion of eps in eps 3.927 * [taylor]: Taking taylor expansion of b in eps 3.927 * [taylor]: Taking taylor expansion of (/ -1/2 b) in b 3.927 * [taylor]: Taking taylor expansion of -1/2 in b 3.927 * [taylor]: Taking taylor expansion of b in b 3.928 * [taylor]: Taking taylor expansion of 0 in b 3.930 * [taylor]: Taking taylor expansion of 0 in b 3.931 * [taylor]: Taking taylor expansion of 0 in b 3.932 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.932 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 3.932 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 3.932 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 3.932 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 3.933 * [taylor]: Taking taylor expansion of (+ a b) in eps 3.933 * [taylor]: Taking taylor expansion of a in eps 3.933 * [taylor]: Taking taylor expansion of b in eps 3.933 * [taylor]: Taking taylor expansion of eps in eps 3.933 * [taylor]: Taking taylor expansion of 1.0 in eps 3.933 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 3.933 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 3.933 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 3.933 * [taylor]: Taking taylor expansion of (+ a b) in b 3.933 * [taylor]: Taking taylor expansion of a in b 3.933 * [taylor]: Taking taylor expansion of b in b 3.933 * [taylor]: Taking taylor expansion of eps in b 3.933 * [taylor]: Taking taylor expansion of 1.0 in b 3.933 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 3.933 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 3.933 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 3.933 * [taylor]: Taking taylor expansion of (+ a b) in a 3.933 * [taylor]: Taking taylor expansion of a in a 3.933 * [taylor]: Taking taylor expansion of b in a 3.933 * [taylor]: Taking taylor expansion of eps in a 3.934 * [taylor]: Taking taylor expansion of 1.0 in a 3.934 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 3.934 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 3.934 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 3.934 * [taylor]: Taking taylor expansion of (+ a b) in a 3.934 * [taylor]: Taking taylor expansion of a in a 3.934 * [taylor]: Taking taylor expansion of b in a 3.934 * [taylor]: Taking taylor expansion of eps in a 3.934 * [taylor]: Taking taylor expansion of 1.0 in a 3.934 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 3.934 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 3.934 * [taylor]: Taking taylor expansion of (* eps b) in b 3.934 * [taylor]: Taking taylor expansion of eps in b 3.934 * [taylor]: Taking taylor expansion of b in b 3.935 * [taylor]: Taking taylor expansion of 1.0 in b 3.935 * [taylor]: Taking taylor expansion of 0 in eps 3.936 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 3.936 * [taylor]: Taking taylor expansion of eps in b 3.936 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 3.936 * [taylor]: Taking taylor expansion of (* eps b) in b 3.936 * [taylor]: Taking taylor expansion of eps in b 3.936 * [taylor]: Taking taylor expansion of b in b 3.937 * [taylor]: Taking taylor expansion of eps in eps 3.937 * [taylor]: Taking taylor expansion of eps in eps 3.939 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 3.939 * [taylor]: Taking taylor expansion of 1/2 in b 3.939 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 3.939 * [taylor]: Taking taylor expansion of (pow eps 2) in b 3.939 * [taylor]: Taking taylor expansion of eps in b 3.939 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 3.939 * [taylor]: Taking taylor expansion of (* eps b) in b 3.939 * [taylor]: Taking taylor expansion of eps in b 3.939 * [taylor]: Taking taylor expansion of b in b 3.939 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 3.939 * [taylor]: Taking taylor expansion of 1/2 in eps 3.939 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.939 * [taylor]: Taking taylor expansion of eps in eps 3.940 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.940 * [taylor]: Taking taylor expansion of eps in eps 3.941 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 3.941 * [taylor]: Taking taylor expansion of 1/2 in eps 3.941 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.941 * [taylor]: Taking taylor expansion of eps in eps 3.943 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 3.943 * [taylor]: Taking taylor expansion of 1/6 in b 3.943 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 3.943 * [taylor]: Taking taylor expansion of (pow eps 3) in b 3.943 * [taylor]: Taking taylor expansion of eps in b 3.943 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 3.943 * [taylor]: Taking taylor expansion of (* eps b) in b 3.943 * [taylor]: Taking taylor expansion of eps in b 3.943 * [taylor]: Taking taylor expansion of b in b 3.944 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 3.944 * [taylor]: Taking taylor expansion of 1/6 in eps 3.944 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.944 * [taylor]: Taking taylor expansion of eps in eps 3.945 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 3.945 * [taylor]: Taking taylor expansion of 1/2 in eps 3.945 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.945 * [taylor]: Taking taylor expansion of eps in eps 3.946 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 3.946 * [taylor]: Taking taylor expansion of 1/2 in eps 3.946 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.946 * [taylor]: Taking taylor expansion of eps in eps 3.948 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 3.948 * [taylor]: Taking taylor expansion of 1/6 in eps 3.948 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.948 * [taylor]: Taking taylor expansion of eps in eps 3.952 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 3.952 * [taylor]: Taking taylor expansion of 1/24 in b 3.952 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 3.952 * [taylor]: Taking taylor expansion of (pow eps 4) in b 3.952 * [taylor]: Taking taylor expansion of eps in b 3.952 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 3.952 * [taylor]: Taking taylor expansion of (* eps b) in b 3.952 * [taylor]: Taking taylor expansion of eps in b 3.952 * [taylor]: Taking taylor expansion of b in b 3.952 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 3.952 * [taylor]: Taking taylor expansion of 1/24 in eps 3.952 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.952 * [taylor]: Taking taylor expansion of eps in eps 3.953 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 3.953 * [taylor]: Taking taylor expansion of 1/6 in eps 3.953 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.953 * [taylor]: Taking taylor expansion of eps in eps 3.955 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 3.955 * [taylor]: Taking taylor expansion of 1/4 in eps 3.955 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.955 * [taylor]: Taking taylor expansion of eps in eps 3.957 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 3.957 * [taylor]: Taking taylor expansion of 1/6 in eps 3.957 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.957 * [taylor]: Taking taylor expansion of eps in eps 3.960 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 3.960 * [taylor]: Taking taylor expansion of 1/24 in eps 3.960 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.960 * [taylor]: Taking taylor expansion of eps in eps 3.961 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 3.961 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 3.961 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 3.961 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 3.961 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 3.961 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 3.961 * [taylor]: Taking taylor expansion of b in eps 3.961 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 3.961 * [taylor]: Taking taylor expansion of a in eps 3.961 * [taylor]: Taking taylor expansion of eps in eps 3.961 * [taylor]: Taking taylor expansion of 1.0 in eps 3.961 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 3.961 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 3.961 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 3.961 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.961 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.961 * [taylor]: Taking taylor expansion of b in b 3.961 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.961 * [taylor]: Taking taylor expansion of a in b 3.962 * [taylor]: Taking taylor expansion of eps in b 3.962 * [taylor]: Taking taylor expansion of 1.0 in b 3.962 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 3.962 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 3.962 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 3.962 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.962 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.962 * [taylor]: Taking taylor expansion of b in a 3.962 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.962 * [taylor]: Taking taylor expansion of a in a 3.962 * [taylor]: Taking taylor expansion of eps in a 3.963 * [taylor]: Taking taylor expansion of 1.0 in a 3.963 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 3.963 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 3.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 3.963 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.963 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.963 * [taylor]: Taking taylor expansion of b in a 3.963 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.963 * [taylor]: Taking taylor expansion of a in a 3.963 * [taylor]: Taking taylor expansion of eps in a 3.964 * [taylor]: Taking taylor expansion of 1.0 in a 3.964 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 3.964 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 3.964 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 3.964 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.964 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.964 * [taylor]: Taking taylor expansion of b in b 3.965 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.965 * [taylor]: Taking taylor expansion of a in b 3.965 * [taylor]: Taking taylor expansion of eps in b 3.965 * [taylor]: Taking taylor expansion of 1.0 in b 3.966 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 3.966 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 3.966 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 3.966 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 3.966 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 3.966 * [taylor]: Taking taylor expansion of b in eps 3.966 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 3.966 * [taylor]: Taking taylor expansion of a in eps 3.966 * [taylor]: Taking taylor expansion of eps in eps 3.966 * [taylor]: Taking taylor expansion of 1.0 in eps 3.967 * [taylor]: Taking taylor expansion of 0 in b 3.967 * [taylor]: Taking taylor expansion of 0 in eps 3.972 * [taylor]: Taking taylor expansion of 0 in eps 3.973 * [taylor]: Taking taylor expansion of 0 in b 3.973 * [taylor]: Taking taylor expansion of 0 in eps 3.973 * [taylor]: Taking taylor expansion of 0 in eps 3.974 * [taylor]: Taking taylor expansion of 0 in eps 3.974 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 3.974 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 3.974 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 3.974 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 3.974 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 3.974 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 3.974 * [taylor]: Taking taylor expansion of b in eps 3.974 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 3.974 * [taylor]: Taking taylor expansion of a in eps 3.974 * [taylor]: Taking taylor expansion of eps in eps 3.975 * [taylor]: Taking taylor expansion of 1.0 in eps 3.975 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 3.975 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 3.975 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 3.975 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.975 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.975 * [taylor]: Taking taylor expansion of b in b 3.975 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.975 * [taylor]: Taking taylor expansion of a in b 3.975 * [taylor]: Taking taylor expansion of eps in b 3.975 * [taylor]: Taking taylor expansion of 1.0 in b 3.976 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 3.976 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 3.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 3.976 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.976 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.976 * [taylor]: Taking taylor expansion of b in a 3.976 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.976 * [taylor]: Taking taylor expansion of a in a 3.976 * [taylor]: Taking taylor expansion of eps in a 3.976 * [taylor]: Taking taylor expansion of 1.0 in a 3.976 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 3.976 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 3.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 3.976 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.976 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.976 * [taylor]: Taking taylor expansion of b in a 3.976 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.976 * [taylor]: Taking taylor expansion of a in a 3.977 * [taylor]: Taking taylor expansion of eps in a 3.977 * [taylor]: Taking taylor expansion of 1.0 in a 3.978 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 3.978 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 3.978 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 3.978 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.978 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.978 * [taylor]: Taking taylor expansion of b in b 3.978 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.978 * [taylor]: Taking taylor expansion of a in b 3.978 * [taylor]: Taking taylor expansion of eps in b 3.979 * [taylor]: Taking taylor expansion of 1.0 in b 3.979 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 3.979 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 3.979 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 3.979 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 3.979 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 3.979 * [taylor]: Taking taylor expansion of b in eps 3.979 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 3.979 * [taylor]: Taking taylor expansion of a in eps 3.979 * [taylor]: Taking taylor expansion of eps in eps 3.980 * [taylor]: Taking taylor expansion of 1.0 in eps 3.981 * [taylor]: Taking taylor expansion of 0 in b 3.981 * [taylor]: Taking taylor expansion of 0 in eps 3.981 * [taylor]: Taking taylor expansion of 0 in eps 3.982 * [taylor]: Taking taylor expansion of 0 in b 3.982 * [taylor]: Taking taylor expansion of 0 in eps 3.982 * [taylor]: Taking taylor expansion of 0 in eps 3.983 * [taylor]: Taking taylor expansion of 0 in eps 3.983 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 3.983 * [approximate]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in (eps b) around 0 3.983 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 3.983 * [taylor]: Taking taylor expansion of (pow eps 3) in b 3.983 * [taylor]: Taking taylor expansion of eps in b 3.983 * [taylor]: Taking taylor expansion of (pow b 3) in b 3.983 * [taylor]: Taking taylor expansion of b in b 3.983 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 3.983 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.983 * [taylor]: Taking taylor expansion of eps in eps 3.983 * [taylor]: Taking taylor expansion of (pow b 3) in eps 3.983 * [taylor]: Taking taylor expansion of b in eps 3.983 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 3.983 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.983 * [taylor]: Taking taylor expansion of eps in eps 3.983 * [taylor]: Taking taylor expansion of (pow b 3) in eps 3.983 * [taylor]: Taking taylor expansion of b in eps 3.984 * [taylor]: Taking taylor expansion of (pow b 3) in b 3.984 * [taylor]: Taking taylor expansion of b in b 3.986 * [taylor]: Taking taylor expansion of 0 in b 3.989 * [taylor]: Taking taylor expansion of 0 in b 3.993 * [taylor]: Taking taylor expansion of 0 in b 3.993 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 3.993 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 3.993 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 3.993 * [taylor]: Taking taylor expansion of (pow eps 3) in b 3.993 * [taylor]: Taking taylor expansion of eps in b 3.993 * [taylor]: Taking taylor expansion of (pow b 3) in b 3.993 * [taylor]: Taking taylor expansion of b in b 3.994 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 3.994 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 3.994 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.994 * [taylor]: Taking taylor expansion of eps in eps 3.994 * [taylor]: Taking taylor expansion of (pow b 3) in eps 3.994 * [taylor]: Taking taylor expansion of b in eps 3.995 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 3.995 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 3.995 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.995 * [taylor]: Taking taylor expansion of eps in eps 3.995 * [taylor]: Taking taylor expansion of (pow b 3) in eps 3.995 * [taylor]: Taking taylor expansion of b in eps 3.995 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 3.995 * [taylor]: Taking taylor expansion of (pow b 3) in b 3.995 * [taylor]: Taking taylor expansion of b in b 3.998 * [taylor]: Taking taylor expansion of 0 in b 4.001 * [taylor]: Taking taylor expansion of 0 in b 4.006 * [taylor]: Taking taylor expansion of 0 in b 4.012 * [taylor]: Taking taylor expansion of 0 in b 4.018 * [taylor]: Taking taylor expansion of 0 in b 4.019 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 4.019 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 4.019 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 4.019 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.019 * [taylor]: Taking taylor expansion of eps in b 4.019 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.019 * [taylor]: Taking taylor expansion of b in b 4.020 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 4.020 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 4.020 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.020 * [taylor]: Taking taylor expansion of eps in eps 4.020 * [taylor]: Taking taylor expansion of (pow b 3) in eps 4.020 * [taylor]: Taking taylor expansion of b in eps 4.020 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 4.021 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 4.021 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.021 * [taylor]: Taking taylor expansion of eps in eps 4.021 * [taylor]: Taking taylor expansion of (pow b 3) in eps 4.021 * [taylor]: Taking taylor expansion of b in eps 4.021 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 4.021 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.021 * [taylor]: Taking taylor expansion of b in b 4.023 * [taylor]: Taking taylor expansion of 0 in b 4.027 * [taylor]: Taking taylor expansion of 0 in b 4.031 * [taylor]: Taking taylor expansion of 0 in b 4.037 * [taylor]: Taking taylor expansion of 0 in b 4.044 * [taylor]: Taking taylor expansion of 0 in b 4.044 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1) 4.045 * [approximate]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in (eps b) around 0 4.045 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 4.045 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.045 * [taylor]: Taking taylor expansion of eps in b 4.045 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.045 * [taylor]: Taking taylor expansion of b in b 4.045 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.045 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.045 * [taylor]: Taking taylor expansion of eps in eps 4.045 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.045 * [taylor]: Taking taylor expansion of b in eps 4.045 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.045 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.045 * [taylor]: Taking taylor expansion of eps in eps 4.045 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.045 * [taylor]: Taking taylor expansion of b in eps 4.045 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.045 * [taylor]: Taking taylor expansion of b in b 4.047 * [taylor]: Taking taylor expansion of 0 in b 4.049 * [taylor]: Taking taylor expansion of 0 in b 4.052 * [taylor]: Taking taylor expansion of 0 in b 4.053 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in (eps b) around 0 4.053 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in b 4.053 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 4.053 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.053 * [taylor]: Taking taylor expansion of eps in b 4.053 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.053 * [taylor]: Taking taylor expansion of b in b 4.053 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in eps 4.053 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.053 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.053 * [taylor]: Taking taylor expansion of eps in eps 4.053 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.053 * [taylor]: Taking taylor expansion of b in eps 4.054 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in eps 4.054 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.054 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.054 * [taylor]: Taking taylor expansion of eps in eps 4.054 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.054 * [taylor]: Taking taylor expansion of b in eps 4.055 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.055 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.055 * [taylor]: Taking taylor expansion of b in b 4.061 * [taylor]: Taking taylor expansion of 0 in b 4.064 * [taylor]: Taking taylor expansion of 0 in b 4.068 * [taylor]: Taking taylor expansion of 0 in b 4.072 * [taylor]: Taking taylor expansion of 0 in b 4.073 * [approximate]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in (eps b) around 0 4.073 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in b 4.073 * [taylor]: Taking taylor expansion of -1 in b 4.073 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 4.073 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.073 * [taylor]: Taking taylor expansion of eps in b 4.073 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.073 * [taylor]: Taking taylor expansion of b in b 4.073 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in eps 4.073 * [taylor]: Taking taylor expansion of -1 in eps 4.073 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.073 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.073 * [taylor]: Taking taylor expansion of eps in eps 4.073 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.073 * [taylor]: Taking taylor expansion of b in eps 4.074 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in eps 4.074 * [taylor]: Taking taylor expansion of -1 in eps 4.074 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 4.074 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.074 * [taylor]: Taking taylor expansion of eps in eps 4.074 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.074 * [taylor]: Taking taylor expansion of b in eps 4.075 * [taylor]: Taking taylor expansion of (/ -1 (pow b 2)) in b 4.075 * [taylor]: Taking taylor expansion of -1 in b 4.075 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.075 * [taylor]: Taking taylor expansion of b in b 4.077 * [taylor]: Taking taylor expansion of 0 in b 4.080 * [taylor]: Taking taylor expansion of 0 in b 4.083 * [taylor]: Taking taylor expansion of 0 in b 4.088 * [taylor]: Taking taylor expansion of 0 in b 4.088 * * * [progress]: simplifying candidates 4.089 * [simplify]: Simplifying using # : (* (* 1/2 (pow eps 2)) b) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (log (pow eps 2))) (log b)) (+ (log (* 1/2 (pow eps 2))) (log b)) (log (* (* 1/2 (pow eps 2)) b)) (exp (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 1/2) 1/2) (* (* (pow eps 2) (pow eps 2)) (pow eps 2))) (* (* b b) b)) (* (* (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* 1/2 (pow eps 2))) (* (* b b) b)) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 (pow eps 2)) b) (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* (* 1/2 (pow eps 2)) 1) (* (pow eps 2) b) (/ (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) (* (* (* (pow eps 3) b) b) b) (* (* (* (pow eps 3) b) b) b) (+ (+ (+ (* (log eps) 3) (log b)) (log b)) (log b)) (+ (+ (+ (* (log eps) 3) (log b)) (log b)) (log b)) (+ (+ (+ (log (pow eps 3)) (log b)) (log b)) (log b)) (+ (+ (log (* (pow eps 3) b)) (log b)) (log b)) (+ (log (* (* (pow eps 3) b) b)) (log b)) (log (* (* (* (pow eps 3) b) b) b)) (exp (* (* (* (pow eps 3) b) b) b)) (* (* (* (* (* (pow eps 3) (pow eps 3)) (pow eps 3)) (* (* b b) b)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (* (pow eps 3) b) (* (pow eps 3) b)) (* (pow eps 3) b)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) b)) (* (* b b) b)) (* (cbrt (* (* (* (pow eps 3) b) b) b)) (cbrt (* (* (* (pow eps 3) b) b) b))) (cbrt (* (* (* (pow eps 3) b) b) b)) (* (* (* (* (* (pow eps 3) b) b) b) (* (* (* (pow eps 3) b) b) b)) (* (* (* (pow eps 3) b) b) b)) (sqrt (* (* (* (pow eps 3) b) b) b)) (sqrt (* (* (* (pow eps 3) b) b) b)) (* (* (* (pow eps 3) b) b) (* (cbrt b) (cbrt b))) (* (* (* (pow eps 3) b) b) (sqrt b)) (* (* (* (pow eps 3) b) b) 1) (* b b) (* (* (pow eps 3) b) b) (+ (+ (* (log eps) 3) (log b)) (log b)) (+ (+ (* (log eps) 3) (log b)) (log b)) (+ (+ (log (pow eps 3)) (log b)) (log b)) (+ (log (* (pow eps 3) b)) (log b)) (log (* (* (pow eps 3) b) b)) (exp (* (* (pow eps 3) b) b)) (* (* (* (* (pow eps 3) (pow eps 3)) (pow eps 3)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (pow eps 3) b) (* (pow eps 3) b)) (* (pow eps 3) b)) (* (* b b) b)) (* (cbrt (* (* (pow eps 3) b) b)) (cbrt (* (* (pow eps 3) b) b))) (cbrt (* (* (pow eps 3) b) b)) (* (* (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) (* (cbrt b) (cbrt b))) (* (* (pow eps 3) b) (sqrt b)) (* (* (pow eps 3) b) 1) (* b b) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) 4.093 * * [simplify]: iteration 0 : 134 enodes (cost 997 ) 4.119 * * [simplify]: iteration 1 : 358 enodes (cost 892 ) 4.277 * * [simplify]: iteration 2 : 1494 enodes (cost 742 ) 4.870 * * [simplify]: iteration done : 5000 enodes (cost 742 ) 4.871 * [simplify]: Simplified to: (* 1/2 (* (pow eps 2) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (exp (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (pow (* 1/2 (* (pow eps 2) b)) 3) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* 1/2 (pow eps 2)) (* (pow eps 2) b) (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)) (+ (* 1.0 (+ (exp (* (+ a b) eps)) 1.0)) (pow (exp (+ a b)) (* 2 eps))) (- 1.0) (- (pow (exp (+ a b)) (* 2 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) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (exp (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (pow (* (pow eps 3) (pow b 3)) 3) (pow (* (pow eps 3) (pow b 3)) 3) (* (cbrt (* (pow eps 3) (pow b 3))) (cbrt (* (pow eps 3) (pow b 3)))) (cbrt (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (sqrt (* (pow eps 3) (pow b 3))) (sqrt (* (pow eps 3) (pow b 3))) (* (* (* (pow eps 3) b) b) (* (cbrt b) (cbrt b))) (* (* (* (pow eps 3) b) b) (sqrt b)) (* (pow eps 3) (pow b 2)) (pow b 2) (* (pow eps 3) (pow b 2)) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (exp (* (* (pow eps 3) b) b)) (pow (* (pow eps 3) (pow b 2)) 3) (pow (* (pow eps 3) (pow b 2)) 3) (* (cbrt (* (* (pow eps 3) b) b)) (cbrt (* (* (pow eps 3) b) b))) (cbrt (* (* (pow eps 3) b) b)) (pow (* (pow eps 3) (pow b 2)) 3) (sqrt (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) (* (cbrt b) (cbrt b))) (* (* (pow eps 3) b) (sqrt b)) (* (pow eps 3) b) (pow b 2) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* (+ a b) eps) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) 4.871 * * * [progress]: adding candidates to table 5.186 * * [progress]: iteration 4 / 4 5.186 * * * [progress]: picking best candidate 5.234 * * * * [pick]: Picked # 5.234 * * * [progress]: localizing error 5.263 * * * [progress]: generating rewritten candidates 5.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1) 5.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 5.276 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 5.312 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 1) 5.324 * * * [progress]: generating series expansions 5.324 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1) 5.324 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in (eps b) around 0 5.324 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in b 5.324 * [taylor]: Taking taylor expansion of 1/2 in b 5.324 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 5.324 * [taylor]: Taking taylor expansion of (pow eps 2) in b 5.324 * [taylor]: Taking taylor expansion of eps in b 5.324 * [taylor]: Taking taylor expansion of b in b 5.324 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 5.324 * [taylor]: Taking taylor expansion of 1/2 in eps 5.324 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.324 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.324 * [taylor]: Taking taylor expansion of eps in eps 5.324 * [taylor]: Taking taylor expansion of b in eps 5.324 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) b)) in eps 5.324 * [taylor]: Taking taylor expansion of 1/2 in eps 5.324 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.324 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.324 * [taylor]: Taking taylor expansion of eps in eps 5.324 * [taylor]: Taking taylor expansion of b in eps 5.325 * [taylor]: Taking taylor expansion of (* 1/2 b) in b 5.325 * [taylor]: Taking taylor expansion of 1/2 in b 5.325 * [taylor]: Taking taylor expansion of b in b 5.326 * [taylor]: Taking taylor expansion of 0 in b 5.328 * [taylor]: Taking taylor expansion of 0 in b 5.331 * [taylor]: Taking taylor expansion of 0 in b 5.331 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in (eps b) around 0 5.331 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in b 5.331 * [taylor]: Taking taylor expansion of 1/2 in b 5.331 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 5.331 * [taylor]: Taking taylor expansion of (pow eps 2) in b 5.331 * [taylor]: Taking taylor expansion of eps in b 5.331 * [taylor]: Taking taylor expansion of b in b 5.332 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 5.332 * [taylor]: Taking taylor expansion of 1/2 in eps 5.332 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.332 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.332 * [taylor]: Taking taylor expansion of eps in eps 5.332 * [taylor]: Taking taylor expansion of b in eps 5.332 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow eps 2) b)) in eps 5.332 * [taylor]: Taking taylor expansion of 1/2 in eps 5.332 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.332 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.332 * [taylor]: Taking taylor expansion of eps in eps 5.332 * [taylor]: Taking taylor expansion of b in eps 5.333 * [taylor]: Taking taylor expansion of (/ 1/2 b) in b 5.333 * [taylor]: Taking taylor expansion of 1/2 in b 5.333 * [taylor]: Taking taylor expansion of b in b 5.334 * [taylor]: Taking taylor expansion of 0 in b 5.335 * [taylor]: Taking taylor expansion of 0 in b 5.338 * [taylor]: Taking taylor expansion of 0 in b 5.339 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in (eps b) around 0 5.339 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in b 5.339 * [taylor]: Taking taylor expansion of -1/2 in b 5.339 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in b 5.339 * [taylor]: Taking taylor expansion of (pow eps 2) in b 5.339 * [taylor]: Taking taylor expansion of eps in b 5.339 * [taylor]: Taking taylor expansion of b in b 5.339 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 5.339 * [taylor]: Taking taylor expansion of -1/2 in eps 5.339 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.340 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.340 * [taylor]: Taking taylor expansion of eps in eps 5.340 * [taylor]: Taking taylor expansion of b in eps 5.340 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow eps 2) b)) in eps 5.340 * [taylor]: Taking taylor expansion of -1/2 in eps 5.340 * [taylor]: Taking taylor expansion of (* (pow eps 2) b) in eps 5.340 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.340 * [taylor]: Taking taylor expansion of eps in eps 5.340 * [taylor]: Taking taylor expansion of b in eps 5.340 * [taylor]: Taking taylor expansion of (/ -1/2 b) in b 5.340 * [taylor]: Taking taylor expansion of -1/2 in b 5.340 * [taylor]: Taking taylor expansion of b in b 5.341 * [taylor]: Taking taylor expansion of 0 in b 5.343 * [taylor]: Taking taylor expansion of 0 in b 5.345 * [taylor]: Taking taylor expansion of 0 in b 5.346 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 5.346 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 5.346 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 5.346 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 5.346 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 5.346 * [taylor]: Taking taylor expansion of (+ a b) in eps 5.346 * [taylor]: Taking taylor expansion of a in eps 5.346 * [taylor]: Taking taylor expansion of b in eps 5.346 * [taylor]: Taking taylor expansion of eps in eps 5.347 * [taylor]: Taking taylor expansion of 1.0 in eps 5.347 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 5.347 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 5.347 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 5.347 * [taylor]: Taking taylor expansion of (+ a b) in b 5.347 * [taylor]: Taking taylor expansion of a in b 5.347 * [taylor]: Taking taylor expansion of b in b 5.347 * [taylor]: Taking taylor expansion of eps in b 5.347 * [taylor]: Taking taylor expansion of 1.0 in b 5.347 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 5.347 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 5.347 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 5.347 * [taylor]: Taking taylor expansion of (+ a b) in a 5.347 * [taylor]: Taking taylor expansion of a in a 5.347 * [taylor]: Taking taylor expansion of b in a 5.347 * [taylor]: Taking taylor expansion of eps in a 5.347 * [taylor]: Taking taylor expansion of 1.0 in a 5.347 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 5.347 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 5.347 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 5.347 * [taylor]: Taking taylor expansion of (+ a b) in a 5.347 * [taylor]: Taking taylor expansion of a in a 5.347 * [taylor]: Taking taylor expansion of b in a 5.347 * [taylor]: Taking taylor expansion of eps in a 5.347 * [taylor]: Taking taylor expansion of 1.0 in a 5.348 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 5.348 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 5.348 * [taylor]: Taking taylor expansion of (* eps b) in b 5.348 * [taylor]: Taking taylor expansion of eps in b 5.348 * [taylor]: Taking taylor expansion of b in b 5.348 * [taylor]: Taking taylor expansion of 1.0 in b 5.349 * [taylor]: Taking taylor expansion of 0 in eps 5.350 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 5.350 * [taylor]: Taking taylor expansion of eps in b 5.350 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 5.350 * [taylor]: Taking taylor expansion of (* eps b) in b 5.350 * [taylor]: Taking taylor expansion of eps in b 5.350 * [taylor]: Taking taylor expansion of b in b 5.350 * [taylor]: Taking taylor expansion of eps in eps 5.351 * [taylor]: Taking taylor expansion of eps in eps 5.352 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 5.352 * [taylor]: Taking taylor expansion of 1/2 in b 5.352 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 5.352 * [taylor]: Taking taylor expansion of (pow eps 2) in b 5.352 * [taylor]: Taking taylor expansion of eps in b 5.352 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 5.352 * [taylor]: Taking taylor expansion of (* eps b) in b 5.352 * [taylor]: Taking taylor expansion of eps in b 5.352 * [taylor]: Taking taylor expansion of b in b 5.353 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 5.353 * [taylor]: Taking taylor expansion of 1/2 in eps 5.353 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.353 * [taylor]: Taking taylor expansion of eps in eps 5.353 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.353 * [taylor]: Taking taylor expansion of eps in eps 5.354 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 5.355 * [taylor]: Taking taylor expansion of 1/2 in eps 5.355 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 5.355 * [taylor]: Taking taylor expansion of eps in eps 5.357 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 5.357 * [taylor]: Taking taylor expansion of 1/6 in b 5.357 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 5.357 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.357 * [taylor]: Taking taylor expansion of eps in b 5.357 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 5.357 * [taylor]: Taking taylor expansion of (* eps b) in b 5.357 * [taylor]: Taking taylor expansion of eps in b 5.357 * [taylor]: Taking taylor expansion of b in b 5.358 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 5.358 * [taylor]: Taking taylor expansion of 1/6 in eps 5.358 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.358 * [taylor]: Taking taylor expansion of eps in eps 5.358 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 5.358 * [taylor]: Taking taylor expansion of 1/2 in eps 5.358 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.358 * [taylor]: Taking taylor expansion of eps in eps 5.360 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 5.360 * [taylor]: Taking taylor expansion of 1/2 in eps 5.360 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.360 * [taylor]: Taking taylor expansion of eps in eps 5.362 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 5.362 * [taylor]: Taking taylor expansion of 1/6 in eps 5.362 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.362 * [taylor]: Taking taylor expansion of eps in eps 5.369 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 5.369 * [taylor]: Taking taylor expansion of 1/24 in b 5.369 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 5.369 * [taylor]: Taking taylor expansion of (pow eps 4) in b 5.369 * [taylor]: Taking taylor expansion of eps in b 5.369 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 5.369 * [taylor]: Taking taylor expansion of (* eps b) in b 5.369 * [taylor]: Taking taylor expansion of eps in b 5.369 * [taylor]: Taking taylor expansion of b in b 5.370 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 5.370 * [taylor]: Taking taylor expansion of 1/24 in eps 5.370 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 5.370 * [taylor]: Taking taylor expansion of eps in eps 5.371 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 5.371 * [taylor]: Taking taylor expansion of 1/6 in eps 5.371 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 5.371 * [taylor]: Taking taylor expansion of eps in eps 5.373 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 5.373 * [taylor]: Taking taylor expansion of 1/4 in eps 5.373 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 5.373 * [taylor]: Taking taylor expansion of eps in eps 5.375 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 5.375 * [taylor]: Taking taylor expansion of 1/6 in eps 5.375 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 5.375 * [taylor]: Taking taylor expansion of eps in eps 5.378 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 5.378 * [taylor]: Taking taylor expansion of 1/24 in eps 5.378 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 5.378 * [taylor]: Taking taylor expansion of eps in eps 5.379 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 5.379 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 5.379 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 5.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 5.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 5.379 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 5.379 * [taylor]: Taking taylor expansion of b in eps 5.379 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 5.379 * [taylor]: Taking taylor expansion of a in eps 5.379 * [taylor]: Taking taylor expansion of eps in eps 5.379 * [taylor]: Taking taylor expansion of 1.0 in eps 5.379 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 5.379 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 5.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 5.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 5.379 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.379 * [taylor]: Taking taylor expansion of b in b 5.380 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.380 * [taylor]: Taking taylor expansion of a in b 5.380 * [taylor]: Taking taylor expansion of eps in b 5.380 * [taylor]: Taking taylor expansion of 1.0 in b 5.380 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 5.380 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 5.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 5.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 5.380 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.380 * [taylor]: Taking taylor expansion of b in a 5.380 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.380 * [taylor]: Taking taylor expansion of a in a 5.381 * [taylor]: Taking taylor expansion of eps in a 5.381 * [taylor]: Taking taylor expansion of 1.0 in a 5.381 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 5.381 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 5.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 5.381 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 5.381 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.381 * [taylor]: Taking taylor expansion of b in a 5.381 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.381 * [taylor]: Taking taylor expansion of a in a 5.381 * [taylor]: Taking taylor expansion of eps in a 5.382 * [taylor]: Taking taylor expansion of 1.0 in a 5.383 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 5.383 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 5.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 5.383 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 5.383 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.383 * [taylor]: Taking taylor expansion of b in b 5.383 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.383 * [taylor]: Taking taylor expansion of a in b 5.383 * [taylor]: Taking taylor expansion of eps in b 5.383 * [taylor]: Taking taylor expansion of 1.0 in b 5.384 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 5.384 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 5.384 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 5.384 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 5.384 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 5.384 * [taylor]: Taking taylor expansion of b in eps 5.384 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 5.384 * [taylor]: Taking taylor expansion of a in eps 5.384 * [taylor]: Taking taylor expansion of eps in eps 5.384 * [taylor]: Taking taylor expansion of 1.0 in eps 5.386 * [taylor]: Taking taylor expansion of 0 in b 5.386 * [taylor]: Taking taylor expansion of 0 in eps 5.386 * [taylor]: Taking taylor expansion of 0 in eps 5.387 * [taylor]: Taking taylor expansion of 0 in b 5.387 * [taylor]: Taking taylor expansion of 0 in eps 5.387 * [taylor]: Taking taylor expansion of 0 in eps 5.388 * [taylor]: Taking taylor expansion of 0 in eps 5.388 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 5.388 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 5.388 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 5.388 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 5.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 5.388 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 5.388 * [taylor]: Taking taylor expansion of b in eps 5.388 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 5.388 * [taylor]: Taking taylor expansion of a in eps 5.388 * [taylor]: Taking taylor expansion of eps in eps 5.388 * [taylor]: Taking taylor expansion of 1.0 in eps 5.388 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 5.388 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 5.388 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 5.388 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 5.388 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.388 * [taylor]: Taking taylor expansion of b in b 5.389 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.389 * [taylor]: Taking taylor expansion of a in b 5.389 * [taylor]: Taking taylor expansion of eps in b 5.389 * [taylor]: Taking taylor expansion of 1.0 in b 5.389 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 5.389 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 5.389 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 5.389 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 5.389 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.389 * [taylor]: Taking taylor expansion of b in a 5.389 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.389 * [taylor]: Taking taylor expansion of a in a 5.390 * [taylor]: Taking taylor expansion of eps in a 5.390 * [taylor]: Taking taylor expansion of 1.0 in a 5.390 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 5.390 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 5.390 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 5.390 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 5.390 * [taylor]: Taking taylor expansion of (/ 1 b) in a 5.390 * [taylor]: Taking taylor expansion of b in a 5.390 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.390 * [taylor]: Taking taylor expansion of a in a 5.390 * [taylor]: Taking taylor expansion of eps in a 5.391 * [taylor]: Taking taylor expansion of 1.0 in a 5.391 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 5.391 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 5.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 5.392 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 5.392 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.392 * [taylor]: Taking taylor expansion of b in b 5.392 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.392 * [taylor]: Taking taylor expansion of a in b 5.392 * [taylor]: Taking taylor expansion of eps in b 5.392 * [taylor]: Taking taylor expansion of 1.0 in b 5.393 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 5.393 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 5.393 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 5.393 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 5.393 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 5.393 * [taylor]: Taking taylor expansion of b in eps 5.393 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 5.393 * [taylor]: Taking taylor expansion of a in eps 5.393 * [taylor]: Taking taylor expansion of eps in eps 5.393 * [taylor]: Taking taylor expansion of 1.0 in eps 5.394 * [taylor]: Taking taylor expansion of 0 in b 5.394 * [taylor]: Taking taylor expansion of 0 in eps 5.395 * [taylor]: Taking taylor expansion of 0 in eps 5.396 * [taylor]: Taking taylor expansion of 0 in b 5.396 * [taylor]: Taking taylor expansion of 0 in eps 5.396 * [taylor]: Taking taylor expansion of 0 in eps 5.396 * [taylor]: Taking taylor expansion of 0 in eps 5.397 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 5.397 * [approximate]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in (eps b) around 0 5.397 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 5.397 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.397 * [taylor]: Taking taylor expansion of eps in b 5.397 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.397 * [taylor]: Taking taylor expansion of b in b 5.397 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.397 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.397 * [taylor]: Taking taylor expansion of eps in eps 5.397 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.397 * [taylor]: Taking taylor expansion of b in eps 5.397 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.397 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.397 * [taylor]: Taking taylor expansion of eps in eps 5.397 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.397 * [taylor]: Taking taylor expansion of b in eps 5.398 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.398 * [taylor]: Taking taylor expansion of b in b 5.400 * [taylor]: Taking taylor expansion of 0 in b 5.403 * [taylor]: Taking taylor expansion of 0 in b 5.407 * [taylor]: Taking taylor expansion of 0 in b 5.407 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 5.407 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 5.407 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 5.407 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.407 * [taylor]: Taking taylor expansion of eps in b 5.407 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.407 * [taylor]: Taking taylor expansion of b in b 5.408 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 5.408 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.408 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.408 * [taylor]: Taking taylor expansion of eps in eps 5.408 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.408 * [taylor]: Taking taylor expansion of b in eps 5.409 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 5.409 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.409 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.409 * [taylor]: Taking taylor expansion of eps in eps 5.409 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.409 * [taylor]: Taking taylor expansion of b in eps 5.409 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 5.409 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.409 * [taylor]: Taking taylor expansion of b in b 5.411 * [taylor]: Taking taylor expansion of 0 in b 5.415 * [taylor]: Taking taylor expansion of 0 in b 5.420 * [taylor]: Taking taylor expansion of 0 in b 5.425 * [taylor]: Taking taylor expansion of 0 in b 5.432 * [taylor]: Taking taylor expansion of 0 in b 5.432 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in (eps b) around 0 5.432 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in b 5.432 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in b 5.432 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.432 * [taylor]: Taking taylor expansion of eps in b 5.432 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.432 * [taylor]: Taking taylor expansion of b in b 5.433 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 5.433 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.433 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.433 * [taylor]: Taking taylor expansion of eps in eps 5.433 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.433 * [taylor]: Taking taylor expansion of b in eps 5.434 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 3))) in eps 5.434 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 3)) in eps 5.434 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.434 * [taylor]: Taking taylor expansion of eps in eps 5.434 * [taylor]: Taking taylor expansion of (pow b 3) in eps 5.434 * [taylor]: Taking taylor expansion of b in eps 5.435 * [taylor]: Taking taylor expansion of (/ 1 (pow b 3)) in b 5.435 * [taylor]: Taking taylor expansion of (pow b 3) in b 5.435 * [taylor]: Taking taylor expansion of b in b 5.437 * [taylor]: Taking taylor expansion of 0 in b 5.440 * [taylor]: Taking taylor expansion of 0 in b 5.445 * [taylor]: Taking taylor expansion of 0 in b 5.451 * [taylor]: Taking taylor expansion of 0 in b 5.464 * [taylor]: Taking taylor expansion of 0 in b 5.464 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 1) 5.464 * [approximate]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in (eps b) around 0 5.464 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 5.464 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.464 * [taylor]: Taking taylor expansion of eps in b 5.464 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.464 * [taylor]: Taking taylor expansion of b in b 5.464 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.464 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.464 * [taylor]: Taking taylor expansion of eps in eps 5.464 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.464 * [taylor]: Taking taylor expansion of b in eps 5.464 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.464 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.464 * [taylor]: Taking taylor expansion of eps in eps 5.464 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.464 * [taylor]: Taking taylor expansion of b in eps 5.465 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.465 * [taylor]: Taking taylor expansion of b in b 5.466 * [taylor]: Taking taylor expansion of 0 in b 5.468 * [taylor]: Taking taylor expansion of 0 in b 5.471 * [taylor]: Taking taylor expansion of 0 in b 5.472 * [approximate]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in (eps b) around 0 5.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in b 5.472 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 5.472 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.472 * [taylor]: Taking taylor expansion of eps in b 5.472 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.472 * [taylor]: Taking taylor expansion of b in b 5.472 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in eps 5.472 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.472 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.472 * [taylor]: Taking taylor expansion of eps in eps 5.472 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.472 * [taylor]: Taking taylor expansion of b in eps 5.473 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) (pow b 2))) in eps 5.473 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.473 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.473 * [taylor]: Taking taylor expansion of eps in eps 5.473 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.473 * [taylor]: Taking taylor expansion of b in eps 5.474 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.474 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.474 * [taylor]: Taking taylor expansion of b in b 5.475 * [taylor]: Taking taylor expansion of 0 in b 5.478 * [taylor]: Taking taylor expansion of 0 in b 5.482 * [taylor]: Taking taylor expansion of 0 in b 5.486 * [taylor]: Taking taylor expansion of 0 in b 5.487 * [approximate]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in (eps b) around 0 5.487 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in b 5.487 * [taylor]: Taking taylor expansion of -1 in b 5.487 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in b 5.487 * [taylor]: Taking taylor expansion of (pow eps 3) in b 5.487 * [taylor]: Taking taylor expansion of eps in b 5.487 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.487 * [taylor]: Taking taylor expansion of b in b 5.487 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in eps 5.487 * [taylor]: Taking taylor expansion of -1 in eps 5.487 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.487 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.487 * [taylor]: Taking taylor expansion of eps in eps 5.487 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.487 * [taylor]: Taking taylor expansion of b in eps 5.488 * [taylor]: Taking taylor expansion of (/ -1 (* (pow eps 3) (pow b 2))) in eps 5.488 * [taylor]: Taking taylor expansion of -1 in eps 5.488 * [taylor]: Taking taylor expansion of (* (pow eps 3) (pow b 2)) in eps 5.488 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 5.488 * [taylor]: Taking taylor expansion of eps in eps 5.488 * [taylor]: Taking taylor expansion of (pow b 2) in eps 5.488 * [taylor]: Taking taylor expansion of b in eps 5.489 * [taylor]: Taking taylor expansion of (/ -1 (pow b 2)) in b 5.489 * [taylor]: Taking taylor expansion of -1 in b 5.489 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.489 * [taylor]: Taking taylor expansion of b in b 5.491 * [taylor]: Taking taylor expansion of 0 in b 5.494 * [taylor]: Taking taylor expansion of 0 in b 5.497 * [taylor]: Taking taylor expansion of 0 in b 5.502 * [taylor]: Taking taylor expansion of 0 in b 5.502 * * * [progress]: simplifying candidates 5.503 * [simplify]: Simplifying using # : (* (* 1/2 (pow eps 2)) b) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (* (log eps) 2)) (log b)) (+ (+ (log 1/2) (log (pow eps 2))) (log b)) (+ (log (* 1/2 (pow eps 2))) (log b)) (log (* (* 1/2 (pow eps 2)) b)) (exp (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 1/2) 1/2) (* (* (pow eps 2) (pow eps 2)) (pow eps 2))) (* (* b b) b)) (* (* (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* 1/2 (pow eps 2))) (* (* b b) b)) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (* (* (* (* 1/2 (pow eps 2)) b) (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* (* 1/2 (pow eps 2)) 1) (* (pow eps 2) b) (/ (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) (* (* (* (pow eps 3) b) b) b) (* (* (* (pow eps 3) b) b) b) (+ (+ (+ (* (log eps) 3) (log b)) (log b)) (log b)) (+ (+ (+ (* (log eps) 3) (log b)) (log b)) (log b)) (+ (+ (+ (log (pow eps 3)) (log b)) (log b)) (log b)) (+ (+ (log (* (pow eps 3) b)) (log b)) (log b)) (+ (log (* (* (pow eps 3) b) b)) (log b)) (log (* (* (* (pow eps 3) b) b) b)) (exp (* (* (* (pow eps 3) b) b) b)) (* (* (* (* (* (pow eps 3) (pow eps 3)) (pow eps 3)) (* (* b b) b)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (* (pow eps 3) b) (* (pow eps 3) b)) (* (pow eps 3) b)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) b)) (* (* b b) b)) (* (cbrt (* (* (* (pow eps 3) b) b) b)) (cbrt (* (* (* (pow eps 3) b) b) b))) (cbrt (* (* (* (pow eps 3) b) b) b)) (* (* (* (* (* (pow eps 3) b) b) b) (* (* (* (pow eps 3) b) b) b)) (* (* (* (pow eps 3) b) b) b)) (sqrt (* (* (* (pow eps 3) b) b) b)) (sqrt (* (* (* (pow eps 3) b) b) b)) (* (* (* (pow eps 3) b) b) (* (cbrt b) (cbrt b))) (* (* (* (pow eps 3) b) b) (sqrt b)) (* (* (* (pow eps 3) b) b) 1) (* b b) (* (* (pow eps 3) b) b) (+ (+ (* (log eps) 3) (log b)) (log b)) (+ (+ (* (log eps) 3) (log b)) (log b)) (+ (+ (log (pow eps 3)) (log b)) (log b)) (+ (log (* (pow eps 3) b)) (log b)) (log (* (* (pow eps 3) b) b)) (exp (* (* (pow eps 3) b) b)) (* (* (* (* (pow eps 3) (pow eps 3)) (pow eps 3)) (* (* b b) b)) (* (* b b) b)) (* (* (* (* (pow eps 3) b) (* (pow eps 3) b)) (* (pow eps 3) b)) (* (* b b) b)) (* (cbrt (* (* (pow eps 3) b) b)) (cbrt (* (* (pow eps 3) b) b))) (cbrt (* (* (pow eps 3) b) b)) (* (* (* (* (pow eps 3) b) b) (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) (* (cbrt b) (cbrt b))) (* (* (pow eps 3) b) (sqrt b)) (* (* (pow eps 3) b) 1) (* b b) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) 5.507 * * [simplify]: iteration 0 : 134 enodes (cost 997 ) 5.537 * * [simplify]: iteration 1 : 358 enodes (cost 892 ) 5.690 * * [simplify]: iteration 2 : 1494 enodes (cost 742 ) 6.280 * * [simplify]: iteration done : 5000 enodes (cost 742 ) 6.280 * [simplify]: Simplified to: (* 1/2 (* (pow eps 2) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (log (* (* 1/2 (pow eps 2)) b)) (exp (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (pow (* 1/2 (* (pow eps 2) b)) 3) (* (cbrt (* (* 1/2 (pow eps 2)) b)) (cbrt (* (* 1/2 (pow eps 2)) b))) (cbrt (* (* 1/2 (pow eps 2)) b)) (pow (* 1/2 (* (pow eps 2) b)) 3) (sqrt (* (* 1/2 (pow eps 2)) b)) (sqrt (* (* 1/2 (pow eps 2)) b)) (* (* 1/2 (pow eps 2)) (* (cbrt b) (cbrt b))) (* (* 1/2 (pow eps 2)) (sqrt b)) (* 1/2 (pow eps 2)) (* (pow eps 2) b) (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)) (+ (* 1.0 (+ (exp (* (+ a b) eps)) 1.0)) (pow (exp (+ a b)) (* 2 eps))) (- 1.0) (- (pow (exp (+ a b)) (* 2 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) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (log (* (pow eps 3) (pow b 3))) (exp (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (pow (* (pow eps 3) (pow b 3)) 3) (pow (* (pow eps 3) (pow b 3)) 3) (* (cbrt (* (pow eps 3) (pow b 3))) (cbrt (* (pow eps 3) (pow b 3)))) (cbrt (* (pow eps 3) (pow b 3))) (pow (* (pow eps 3) (pow b 3)) 3) (sqrt (* (pow eps 3) (pow b 3))) (sqrt (* (pow eps 3) (pow b 3))) (* (* (* (pow eps 3) b) b) (* (cbrt b) (cbrt b))) (* (* (* (pow eps 3) b) b) (sqrt b)) (* (pow eps 3) (pow b 2)) (pow b 2) (* (pow eps 3) (pow b 2)) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (log (* (pow eps 3) (pow b 2))) (exp (* (* (pow eps 3) b) b)) (pow (* (pow eps 3) (pow b 2)) 3) (pow (* (pow eps 3) (pow b 2)) 3) (* (cbrt (* (* (pow eps 3) b) b)) (cbrt (* (* (pow eps 3) b) b))) (cbrt (* (* (pow eps 3) b) b)) (pow (* (pow eps 3) (pow b 2)) 3) (sqrt (* (* (pow eps 3) b) b)) (sqrt (* (* (pow eps 3) b) b)) (* (* (pow eps 3) b) (* (cbrt b) (cbrt b))) (* (* (pow eps 3) b) (sqrt b)) (* (pow eps 3) b) (pow b 2) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (* 1/2 (* (pow eps 2) b)) (+ (* (+ a b) eps) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 3)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) (* (pow eps 3) (pow b 2)) 6.281 * * * [progress]: adding candidates to table 6.633 * [progress]: [Phase 3 of 3] Extracting. 6.633 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 6.644 * * * [regime-changes]: Trying 3 branch expressions: (eps b a) 6.644 * * * * [regimes]: Trying to branch on eps from (# # # # # # # # # #) 6.711 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # #) 6.789 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 6.868 * * * [regime]: Found split indices: #