0.748 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.323 * * * [progress]: [2/2] Setting up program.
0.329 * [progress]: [Phase 2 of 3] Improving.
0.331 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.335 * * [simplify]: iteration  0 :  14  enodes  (cost  7 )
0.337 * * [simplify]: iteration  1 :  22  enodes  (cost  7 )
0.338 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.339 * * [simplify]: iteration  3 :  27  enodes  (cost  7 )
0.340 * * [simplify]: iteration  4 :  29  enodes  (cost  7 )
0.341 * * [simplify]: iteration  5 :  29  enodes  (cost  7 )
0.341 * [simplify]: Simplified to:
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.343 * * [progress]: iteration 1 / 4
0.343 * * * [progress]: picking best candidate
0.347 * * * * [pick]: Picked  #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))>
0.347 * * * [progress]: localizing error
0.379 * * * [progress]: generating rewritten candidates
0.379 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.410 * * * [progress]: generating series expansions
0.411 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
0.415 * [approximate]: Approximating (sqrt (- (pow b_2 2) (* a c))) in (b_2 a c) around 0
0.421 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
0.423 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.423 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
0.423 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.423 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.426 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
0.430 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.432 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.434 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.437 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
0.437 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.442 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.442 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.444 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
0.446 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
0.456 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.456 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.456 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.458 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.459 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.459 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.459 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.467 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.468 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.473 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.475 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.475 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.476 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.476 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.476 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.476 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
0.485 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.485 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.485 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.488 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.488 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.489 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.489 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.491 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.492 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.492 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.492 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.496 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
0.498 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.498 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.500 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.500 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.500 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
0.500 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.500 * [approximate]: Approximating (- (sqrt (- (pow b_2 2) (* a c))) b_2) in (b_2 a c) around 0
0.505 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
0.506 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.507 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
0.508 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.508 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
0.515 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.517 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
0.522 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
0.532 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.533 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.533 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.537 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.537 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.538 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.538 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.542 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.543 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.544 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.544 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.550 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.555 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.555 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.557 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.557 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.557 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.557 * [approximate]: Approximating (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
0.568 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.568 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.568 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.571 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.572 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.573 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.573 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.576 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.578 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.578 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.578 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.584 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
0.586 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.586 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.588 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.588 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.588 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
0.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.589 * [approximate]: Approximating (- (pow b_2 2) (* a c)) in (b_2 a c) around 0
0.589 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
0.589 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.590 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
0.590 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.590 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.592 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
0.592 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.592 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.593 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.595 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
0.595 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.595 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.595 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.597 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
0.597 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
0.600 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.604 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.604 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.606 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.607 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.607 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.607 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.610 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.610 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.612 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
0.615 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.617 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.617 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.619 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.619 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.622 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.623 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.623 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.623 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.626 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
0.626 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.627 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.627 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.628 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
0.628 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.628 * [approximate]: Approximating (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in (b_2 a c) around 0
0.633 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in a
0.638 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.640 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in a
0.641 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.644 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.647 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in a
0.664 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.665 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.669 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.676 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in a
0.676 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.686 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.687 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.692 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
0.694 * [approximate]: Approximating (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in (b_2 a c) around 0
0.704 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in a
0.706 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in a
0.706 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.710 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in a
0.710 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.710 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.714 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in a
0.714 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.715 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.715 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.724 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in a
0.725 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.727 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.728 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.728 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.728 * [taylor]: Taking taylor expansion of (* (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a) in c
0.730 * [approximate]: Approximating (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in (b_2 a c) around 0
0.740 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in a
0.742 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in a
0.742 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.746 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in a
0.746 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.747 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.752 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in a
0.752 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.752 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.753 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.759 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in a
0.760 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.762 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.762 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.762 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.763 * [taylor]: Taking taylor expansion of (* -1 (* (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) a)) in c
0.764 * * * [progress]: simplifying candidates
0.766 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt 1)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (/ 1 (exp b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (* (exp (neg b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (+ (pow (neg b_2) 3) (pow (sqrt (- (* b_2 b_2) (* a c))) 3))
  (+ (* (neg b_2) (neg b_2)) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (- (* (neg b_2) (neg b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (/ (exp (* b_2 b_2)) (exp (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (* (* (- (* b_2 b_2) (* a c)) (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c))))
  (neg (* a c))
  (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c)))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  (- (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (log a))
  (log (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (exp (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (/ (* (* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (* a a) a))
  (* (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)) (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)))
  (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (* (* (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)) (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (sqrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (sqrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (neg (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (neg a)
  (/ 0 a)
  (/ (- b_2 (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt a))
  (/ (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (sqrt a))
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (/ (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))) 1)
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a)
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt a))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) 1)
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt a))
  (/ 1 1)
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt a))
  (/ 1 1)
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt a))
  (/ 1 1)
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 a)
  (/ a (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt a))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) 1)
  (/ a (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (/ a (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (/ a (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (/ a (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* a (+ (* (neg b_2) (neg b_2)) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))))
  (* a (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
  (+ (* a (* (pow NAN 3) (pow c 2))) (* NAN c))
  (* -1/2 (/ c b_2))
  (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a)))
0.771 * * [simplify]: iteration  0 :  338  enodes  (cost  783 )
0.776 * * [simplify]: iteration  1 :  1216  enodes  (cost  724 )
0.799 * * [simplify]: iteration  2 :  4971  enodes  (cost  703 )
0.899 * * [simplify]: iteration  3 :  5001  enodes  (cost  703 )
0.903 * [simplify]: Simplified to:
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (pow (sqrt (- (* b_2 b_2) (* a c))) 3)
  (fabs (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  1
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  1/2
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (pow (- (sqrt (- (* b_2 b_2) (* a c))) b_2) 3)
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (- (* b_2 (+ b_2 b_2)) (- (* a c) (* b_2 (sqrt (- (* b_2 b_2) (* a c))))))
  (+ 0 (* a c))
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (* b_2 b_2) (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (pow (- (* b_2 b_2) (* a c)) 3)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (- (* (* a c) (+ (* a c) (pow b_2 2))) (neg (pow b_2 4)))
  (neg (* a c))
  (+ (neg (* (* a c) (* a c))) (pow b_2 4))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  (log (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (log (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (exp (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (pow (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) 3)
  (* (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)) (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)))
  (cbrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (pow (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) 3)
  (sqrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (sqrt (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a))
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (neg a)
  0
  (/ (- b_2 (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt a))
  (/ (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))) (sqrt a))
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (/ (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a)
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt a))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (sqrt a))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  1
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  1
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (cbrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  1
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
  (/ 1 a)
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (/ a (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (- (+ (pow b_2 2) (- (* b_2 b_2) (* a c))) (* (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a)
  (* a (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* NAN (- (* a c) (* (pow b_2 2) 1/2)))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* NAN (- (* a c) (* (pow b_2 2) 1/2))) b_2)
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
  (* c (+ NAN (* (* a (pow NAN 3)) c)))
  (* -1/2 (/ c b_2))
  (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a)))
0.904 * * * [progress]: adding candidates to table
1.278 * * [progress]: iteration 2 / 4
1.278 * * * [progress]: picking best candidate
1.308 * * * * [pick]: Picked  #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))>
1.308 * * * [progress]: localizing error
1.318 * * * [progress]: generating rewritten candidates
1.318 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.321 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.330 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
1.334 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.355 * * * [progress]: generating series expansions
1.355 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.355 * [approximate]: Approximating (sqrt (- (pow b_2 2) (* a c))) in (b_2 a c) around 0
1.359 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
1.360 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.361 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
1.361 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.361 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.363 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
1.367 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.369 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.371 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.374 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
1.374 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.378 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.378 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.380 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
1.382 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
1.391 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.391 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.391 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.394 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.394 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.394 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.394 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.397 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.398 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.398 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.398 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.402 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.403 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.404 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.405 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.405 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.405 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.405 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
1.418 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.418 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.418 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.420 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.421 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.421 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.421 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.424 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.424 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.424 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.425 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.429 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
1.430 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.430 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.431 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.431 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.431 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
1.432 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.432 * [approximate]: Approximating (- (sqrt (- (pow b_2 2) (* a c))) b_2) in (b_2 a c) around 0
1.436 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
1.437 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.438 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
1.438 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.438 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.441 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
1.446 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.448 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.449 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
1.452 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
1.462 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
1.463 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
1.463 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.467 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
1.467 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.468 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.468 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.472 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
1.473 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.473 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.473 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.479 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
1.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.484 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.484 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.484 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
1.484 * [approximate]: Approximating (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in (b_2 a c) around 0
1.497 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.501 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
1.501 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.505 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.507 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.512 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.517 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
1.517 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
1.517 * [approximate]: Approximating (- (pow b_2 2) (* a c)) in (b_2 a c) around 0
1.518 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
1.518 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.519 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
1.519 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.519 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.521 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
1.521 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.521 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.522 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.524 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
1.524 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.524 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.524 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.525 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
1.526 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
1.529 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.530 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.530 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.531 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.532 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.532 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.532 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.534 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.535 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.535 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.535 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.539 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.540 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.541 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
1.544 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.545 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.545 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.546 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.547 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.547 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.547 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.549 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.551 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.551 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.551 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.554 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
1.554 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.556 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
1.556 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.556 * [approximate]: Approximating (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in (a b_2 c) around 0
1.562 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
1.563 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
1.566 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
1.579 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
1.581 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
1.585 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
1.613 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
1.619 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
1.619 * [approximate]: Approximating (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in (a b_2 c) around 0
1.627 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
1.627 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
1.628 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.632 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
1.633 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.633 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.633 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.640 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
1.644 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.645 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.645 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.645 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.659 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
1.668 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.671 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.677 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.677 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.677 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
1.678 * [approximate]: Approximating (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in (a b_2 c) around 0
1.687 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
1.688 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
1.688 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.692 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
1.693 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.693 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.693 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.701 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
1.705 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.706 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.707 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.707 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.721 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
1.729 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.731 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.737 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.737 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.737 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
1.739 * * * [progress]: simplifying candidates
1.744 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt 1)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (/ (exp (sqrt (- (* b_2 b_2) (* a c)))) (exp b_2))
  (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (neg b_2)
  (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
  (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (neg b_2)
  (/ (exp (* b_2 b_2)) (exp (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (* (* (- (* b_2 b_2) (* a c)) (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c))))
  (neg (* a c))
  (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c)))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  (neg 1)
  (neg (- (log a) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (neg (log (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (- 0 (- (log a) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (- 0 (log (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (- (log 1) (- (log a) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (- (log 1) (log (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (exp (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (* 1 1) 1) (/ (* (* a a) a) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (* 1 1) 1) (* (* (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (* (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (* (* (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (neg 1)
  (neg (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (cbrt 1) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (cbrt 1) (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (cbrt 1) (/ (cbrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (cbrt 1) (/ (cbrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (cbrt 1) (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (cbrt 1) (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (cbrt 1) (/ (sqrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (cbrt 1) (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) 1))
  (/ (cbrt 1) (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt a) 1))
  (/ (cbrt 1) (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (cbrt 1) (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (cbrt 1) (/ a (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (cbrt 1) (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) a)
  (/ (cbrt 1) (/ 1 (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (* (cbrt 1) (cbrt 1)) (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ (cbrt 1) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt 1) (cbrt 1)) (/ a (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))))
  (/ (cbrt 1) (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (sqrt 1) (* (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (sqrt 1) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (sqrt 1) (/ (cbrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (cbrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (sqrt 1) (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (* (cbrt a) (cbrt a)) 1))
  (/ (sqrt 1) (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ (sqrt a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (sqrt 1) (/ (sqrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ (sqrt a) 1))
  (/ (sqrt 1) (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ (sqrt a) 1))
  (/ (sqrt 1) (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ (sqrt 1) (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ a (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) a)
  (/ (sqrt 1) (/ 1 (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt 1) (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ (sqrt 1) (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (sqrt 1) (/ a (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))))
  (/ (sqrt 1) (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ 1 (* (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ (cbrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (cbrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ 1 (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ 1 (/ (cbrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ (sqrt a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ (sqrt a) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (sqrt a) 1))
  (/ 1 (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) 1))
  (/ 1 (/ (sqrt a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ a (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ 1 1))
  (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ 1 1))
  (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 1)
  (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 a)
  (/ 1 (/ 1 (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ 1 (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ a (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))))
  (/ 1 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) 1)
  (/ 1 (* (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (* (cbrt a) (cbrt a)) 1))
  (/ 1 (/ (sqrt a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ (sqrt a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ (sqrt a) 1))
  (/ 1 (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ (sqrt a) 1))
  (/ 1 (/ 1 (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (/ 1 (/ 1 (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ 1 (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 a)
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ 1 (/ a (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))))
  (/ (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt 1))
  (/ (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt 1))
  (/ (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) 1)
  (/ 1 a)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
  0
  (- (/ (* NAN c) a) (/ b_2 a))
  (neg (+ (/ (* NAN c) a) (/ b_2 a)))
1.754 * * [simplify]: iteration  0 :  564  enodes  (cost  2096 )
1.764 * * [simplify]: iteration  1 :  2553  enodes  (cost  1897 )
1.800 * * [simplify]: iteration  2 :  5001  enodes  (cost  1761 )
1.809 * [simplify]: Simplified to:
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (pow (sqrt (- (* b_2 b_2) (* a c))) 3)
  (fabs (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  1
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  1/2
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (pow (- (sqrt (- (* b_2 b_2) (* a c))) b_2) 3)
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c)))
  (neg b_2)
  (- (pow b_2 2) (+ (* a c) (pow b_2 2)))
  (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (neg b_2)
  (exp (- (* b_2 b_2) (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (pow (- (* b_2 b_2) (* a c)) 3)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (+ (* (* a c) (+ (* a c) (pow b_2 2))) (* (* b_2 b_2) (* b_2 b_2)))
  (neg (* a c))
  (+ (neg (* (* a c) (* a c))) (pow b_2 4))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  -1
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (log (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (exp (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (* (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))))
  (cbrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (sqrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  -1
  (neg (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (sqrt a))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ 1 a)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ 1 (/ (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c))) 1))
  (/ (* 1 (- (pow b_2 2) (+ (* a c) (pow b_2 2)))) a)
  (/ 1 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (sqrt a))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ 1 a)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ 1 (/ (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c))) 1))
  (/ (* 1 (- (pow b_2 2) (+ (* a c) (pow b_2 2)))) a)
  (/ 1 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a)))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt a))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (/ (cbrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (sqrt a))
  (/ (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (/ (sqrt a) (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (/ 1 (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 (/ a (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (/ 1 (/ a (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))))
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  1
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ 1 a)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ 1 (/ (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c))) 1))
  (/ (* 1 (- (pow b_2 2) (+ (* a c) (pow b_2 2)))) a)
  (/ 1 (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (/ 1 (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))) (cbrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ 1 (sqrt (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (cbrt a) (cbrt a)))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (* (cbrt a) (cbrt a)))
  (/ 1 (* (cbrt a) (cbrt a)))
  (/ (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (sqrt a))
  (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (sqrt a))
  (/ 1 (sqrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) (sqrt a))
  (/ 1 (sqrt a))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  1
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  1
  1
  (/ 1 a)
  (/ 1 (/ a (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))))
  (/ (* 1 (- (pow b_2 2) (+ (* a c) (pow b_2 2)))) a)
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ 1 a)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
  0
  (- (/ (* NAN c) a) (/ b_2 a))
  (neg (+ (/ (* NAN c) a) (/ b_2 a)))
1.810 * * * [progress]: adding candidates to table
2.320 * * [progress]: iteration 3 / 4
2.320 * * * [progress]: picking best candidate
2.350 * * * * [pick]: Picked  #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))>
2.350 * * * [progress]: localizing error
2.360 * * * [progress]: generating rewritten candidates
2.360 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.363 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.370 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.386 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
2.392 * * * [progress]: generating series expansions
2.392 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.392 * [approximate]: Approximating (sqrt (- (pow b_2 2) (* a c))) in (b_2 a c) around 0
2.397 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
2.398 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.398 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
2.398 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.398 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.401 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
2.404 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.406 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.408 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.411 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
2.411 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.416 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.416 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.418 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
2.420 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
2.429 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.429 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.429 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.431 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.432 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.432 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.432 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.435 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.435 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.435 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.435 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.439 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.441 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.441 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.442 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.442 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.442 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.443 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
2.452 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.452 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.452 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.454 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.455 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.455 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.455 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.461 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.462 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.462 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.462 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.466 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
2.468 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.468 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.469 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
2.469 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.469 * [approximate]: Approximating (- (sqrt (- (pow b_2 2) (* a c))) b_2) in (b_2 a c) around 0
2.473 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
2.475 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.475 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
2.476 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.476 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.478 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
2.483 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.485 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.487 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
2.489 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
2.500 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
2.501 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
2.501 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.504 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
2.505 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.506 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.506 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.509 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
2.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.517 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
2.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.521 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.521 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.521 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
2.522 * [approximate]: Approximating (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in (b_2 a c) around 0
2.532 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
2.532 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
2.533 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.538 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
2.539 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.540 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.540 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.543 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
2.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.545 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.550 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in a
2.553 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.553 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.555 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.555 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.555 * [taylor]: Taking taylor expansion of (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))) in c
2.555 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.555 * [approximate]: Approximating (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in (a b_2 c) around 0
2.561 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
2.562 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
2.565 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
2.575 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
2.577 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
2.581 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in b_2
2.609 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
2.617 * [taylor]: Taking taylor expansion of (/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a) in c
2.618 * [approximate]: Approximating (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in (a b_2 c) around 0
2.626 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
2.626 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
2.626 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.630 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
2.631 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.632 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.632 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.638 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
2.642 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.643 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.644 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.644 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.655 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in b_2
2.664 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.666 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.673 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.673 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.673 * [taylor]: Taking taylor expansion of (* a (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2))) in c
2.674 * [approximate]: Approximating (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in (a b_2 c) around 0
2.682 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
2.683 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
2.684 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.688 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
2.689 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.689 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.689 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.699 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
2.703 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.704 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.705 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.705 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.718 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in b_2
2.727 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.729 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.735 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.735 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.735 * [taylor]: Taking taylor expansion of (* -1 (* a (+ (/ 1 b_2) (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c))))))) in c
2.737 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
2.737 * [approximate]: Approximating (- (pow b_2 2) (* a c)) in (b_2 a c) around 0
2.737 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
2.738 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.738 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
2.738 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.739 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.740 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
2.740 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.740 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.741 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.744 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in a
2.744 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.744 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.744 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.745 * [taylor]: Taking taylor expansion of (- (pow b_2 2) (* a c)) in c
2.746 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
2.748 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.750 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.751 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.751 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.752 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.752 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.754 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.755 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.755 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.755 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.759 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.760 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.761 * [approximate]: Approximating (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in (b_2 a c) around 0
2.763 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.765 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.766 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.772 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.776 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in a
2.777 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.778 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.778 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.778 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b_2 2)) (/ 1 (* a c))) in c
2.778 * * * [progress]: simplifying candidates
2.780 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt 1)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (/ (exp (sqrt (- (* b_2 b_2) (* a c)))) (exp b_2))
  (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (neg b_2)
  (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2))
  (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (neg b_2)
  (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (+ (neg (log a)) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (+ (- 0 (log a)) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (+ (- (log 1) (log a)) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (+ (log (/ 1 a)) (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (exp (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ (* (* 1 1) 1) (* (* a a) a)) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (* (* (/ 1 a) (/ 1 a)) (/ 1 a)) (* (* (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (* (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (sqrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (sqrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* 1 (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3)))
  (* a (+ (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (+ (* b_2 b_2) (* (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (* 1 (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2)))
  (* a (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (sqrt (/ 1 a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (sqrt (/ 1 a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ (sqrt 1) (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ (sqrt 1) (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 a) (sqrt (- (* b_2 b_2) (* a c))))
  (* (/ 1 a) (neg b_2))
  (* (/ 1 a) (sqrt (- (* b_2 b_2) (* a c))))
  (* (/ 1 a) (neg b_2))
  (* (sqrt (- (* b_2 b_2) (* a c))) (/ 1 a))
  (* (neg b_2) (/ 1 a))
  (* (sqrt (- (* b_2 b_2) (* a c))) (/ 1 a))
  (* (neg b_2) (/ 1 a))
  (* (/ 1 a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (* (/ 1 a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 a) 1)
  (* (/ 1 a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)))
  (* (/ 1 a) (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)))
  (* (/ 1 a) 1)
  (* (cbrt (/ 1 a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (sqrt (/ 1 a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (cbrt 1) (cbrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (cbrt 1) (sqrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (cbrt 1) a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (sqrt 1) (cbrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (sqrt 1) (sqrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ (sqrt 1) a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 (cbrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 (sqrt a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (/ 1 a) (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3)))
  (* (/ 1 a) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* b_2 b_2)))
  (* 1 (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (exp (* b_2 b_2)) (exp (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (* (* (- (* b_2 b_2) (* a c)) (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c))))
  (neg (* a c))
  (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c)))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  0
  (- (/ (* NAN c) a) (/ b_2 a))
  (neg (+ (/ (* NAN c) a) (/ b_2 a)))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
  (- (pow b_2 2) (* a c))
2.785 * * [simplify]: iteration  0 :  397  enodes  (cost  791 )
2.793 * * [simplify]: iteration  1 :  1573  enodes  (cost  705 )
2.820 * * [simplify]: iteration  2 :  5002  enodes  (cost  697 )
2.824 * [simplify]: Simplified to:
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (pow (sqrt (- (* b_2 b_2) (* a c))) 3)
  (fabs (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  1
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  1/2
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (log (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (pow (- (sqrt (- (* b_2 b_2) (* a c))) b_2) 3)
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c)))
  (neg b_2)
  (- (pow b_2 2) (+ (* a c) (pow b_2 2)))
  (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (neg b_2)
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (log (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (exp (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (* (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (cbrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (pow (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) 3)
  (sqrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (sqrt (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (* (+ (* b_2 (+ b_2 (sqrt (- (* b_2 b_2) (* a c))))) (- (* b_2 b_2) (* a c))) a)
  (- (pow b_2 2) (+ (* a c) (pow b_2 2)))
  (* a (+ (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (sqrt (/ 1 a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (sqrt (/ 1 a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (* (/ 1 (sqrt a)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ (sqrt (- (* b_2 b_2) (* a c))) a)
  (neg (/ b_2 a))
  (/ (sqrt (- (* b_2 b_2) (* a c))) a)
  (neg (/ b_2 a))
  (/ (sqrt (- (* b_2 b_2) (* a c))) a)
  (neg (/ b_2 a))
  (/ (sqrt (- (* b_2 b_2) (* a c))) a)
  (neg (/ b_2 a))
  (* (/ 1 a) (* (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (cbrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))
  (* (/ 1 a) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))
  (/ 1 a)
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) a)
  (/ (+ (sqrt (sqrt (- (* b_2 b_2) (* a c)))) (sqrt b_2)) a)
  (/ 1 a)
  (* (cbrt (/ 1 a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (sqrt (/ 1 a)) (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (cbrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a))
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
  (/ (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3)) a)
  (- (/ (- (* b_2 b_2) (* a c)) a) (/ (pow b_2 2) a))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (exp (- (* b_2 b_2) (* a c)))
  (log (- (* b_2 b_2) (* a c)))
  (exp (- (* b_2 b_2) (* a c)))
  (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c))))
  (cbrt (- (* b_2 b_2) (* a c)))
  (pow (- (* b_2 b_2) (* a c)) 3)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (* b_2 b_2) (* a c)))
  (- (pow (* b_2 b_2) 3) (pow (* a c) 3))
  (+ (* (* a c) (+ (* a c) (pow b_2 2))) (* (* b_2 b_2) (* b_2 b_2)))
  (neg (* a c))
  (+ (neg (* (* a c) (* a c))) (pow b_2 4))
  (+ (* b_2 b_2) (* a c))
  (neg (* a c))
  (* NAN (- (* a c) (* (pow b_2 2) 1/2)))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* NAN (- (* a c) (* (pow b_2 2) 1/2))) b_2)
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  0
  (- (/ (* NAN c) a) (/ b_2 a))
  (neg (+ (/ (* NAN c) a) (/ b_2 a)))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
  (- (* b_2 b_2) (* a c))
2.825 * * * [progress]: adding candidates to table
3.172 * * [progress]: iteration 4 / 4
3.172 * * * [progress]: picking best candidate
3.198 * * * * [pick]: Picked  #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))>
3.198 * * * [progress]: localizing error
3.212 * * * [progress]: generating rewritten candidates
3.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
3.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.220 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
3.228 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.236 * * * [progress]: generating series expansions
3.236 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
3.237 * [approximate]: Approximating (sqrt (- (pow b_2 2) (* a c))) in (b_2 a c) around 0
3.240 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.242 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.242 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.242 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.242 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.244 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.248 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.250 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.252 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.255 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.255 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.260 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.260 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.262 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.264 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
3.273 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.273 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.273 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.276 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.276 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.277 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.277 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.279 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.280 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.280 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.280 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.287 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.289 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.289 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.290 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.290 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.290 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.290 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
3.299 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.299 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.299 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.302 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.302 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.303 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.303 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.305 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.306 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.306 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.306 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.310 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.312 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.312 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.313 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.313 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.313 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.313 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
3.313 * [approximate]: Approximating (sqrt (- (pow b_2 2) (* a c))) in (b_2 a c) around 0
3.317 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.319 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.319 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.319 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.319 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.321 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.325 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.327 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.329 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.332 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in a
3.332 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.336 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.337 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.339 * [taylor]: Taking taylor expansion of (sqrt (- (pow b_2 2) (* a c))) in c
3.341 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
3.350 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.350 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.350 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.352 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.352 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.353 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.353 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.355 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.356 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.356 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.356 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.360 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.364 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.364 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.366 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.366 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.366 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.366 * [approximate]: Approximating (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in (b_2 a c) around 0
3.375 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.375 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.375 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.378 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.381 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.382 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.382 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.382 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.386 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in a
3.387 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.387 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.389 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.389 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.389 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) in c
3.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
3.389 * [approximate]: Approximating (- (sqrt (- (pow b_2 2) (* a c))) b_2) in (b_2 a c) around 0
3.393 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.395 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.396 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.396 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.396 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.398 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.403 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.405 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.407 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.409 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
3.420 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.421 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.421 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.424 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.425 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.426 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.426 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.429 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.431 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.431 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.431 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.437 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.442 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.442 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.444 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.444 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.444 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.444 * [approximate]: Approximating (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
3.454 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.455 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.455 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.458 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.458 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.459 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.459 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.463 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.464 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.464 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.464 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.470 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.472 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.472 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.474 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.475 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.475 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.475 * [approximate]: Approximating (- (sqrt (- (pow b_2 2) (* a c))) b_2) in (b_2 a c) around 0
3.479 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.481 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.484 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in a
3.489 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.491 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.492 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b_2 2) (* a c))) b_2) in c
3.495 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
3.505 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.506 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.506 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.510 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.510 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.511 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.517 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.519 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.525 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.527 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.527 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.529 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.529 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.529 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.530 * [approximate]: Approximating (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in (b_2 a c) around 0
3.540 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.540 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.540 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.544 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.544 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.545 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.545 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.548 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.550 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.550 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.550 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.556 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in a
3.558 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.558 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.560 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.560 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.560 * [taylor]: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow b_2 2)) (/ 1 (* a c)))) (/ 1 b_2)) in c
3.561 * * * [progress]: simplifying candidates
3.562 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt 1)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt 1)
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (* (/ 1 (exp b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (* (exp (neg b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (+ (pow (neg b_2) 3) (pow (sqrt (- (* b_2 b_2) (* a c))) 3))
  (+ (* (neg b_2) (neg b_2)) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (- (* (neg b_2) (neg b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (* (/ 1 (exp b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (* (exp (neg b_2)) (exp (sqrt (- (* b_2 b_2) (* a c)))))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (* (* (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (+ (pow (neg b_2) 3) (pow (sqrt (- (* b_2 b_2) (* a c))) 3))
  (+ (* (neg b_2) (neg b_2)) (- (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))) (* (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (- (* (neg b_2) (neg b_2)) (* (sqrt (- (* b_2 b_2) (* a c))) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b_2 2))))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b_2 2))) b_2))
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
3.566 * * [simplify]: iteration  0 :  205  enodes  (cost  516 )
3.570 * * [simplify]: iteration  1 :  740  enodes  (cost  480 )
3.583 * * [simplify]: iteration  2 :  2640  enodes  (cost  460 )
3.632 * * [simplify]: iteration  3 :  5002  enodes  (cost  456 )
3.635 * [simplify]: Simplified to:
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (pow (sqrt (- (* b_2 b_2) (* a c))) 3)
  (fabs (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  1
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  1/2
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (log (sqrt (- (* b_2 b_2) (* a c))))
  (exp (sqrt (- (* b_2 b_2) (* a c))))
  (* (cbrt (sqrt (- (* b_2 b_2) (* a c)))) (cbrt (sqrt (- (* b_2 b_2) (* a c)))))
  (cbrt (sqrt (- (* b_2 b_2) (* a c))))
  (pow (sqrt (- (* b_2 b_2) (* a c))) 3)
  (fabs (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (cbrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  1
  (sqrt (- (* b_2 b_2) (* a c)))
  (sqrt (- (pow (* b_2 b_2) 3) (pow (* a c) 3)))
  (sqrt (+ (* (* b_2 b_2) (* b_2 b_2)) (+ (* (* a c) (* a c)) (* (* b_2 b_2) (* a c)))))
  (sqrt (- (* (* b_2 b_2) (* b_2 b_2)) (* (* a c) (* a c))))
  (sqrt (+ (* b_2 b_2) (* a c)))
  1/2
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (sqrt (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (pow (- (sqrt (- (* b_2 b_2) (* a c))) b_2) 3)
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (- (* b_2 (+ b_2 b_2)) (- (* a c) (* b_2 (sqrt (- (* b_2 b_2) (* a c))))))
  (* a c)
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (log (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (exp (- (sqrt (- (* b_2 b_2) (* a c))) b_2))
  (* (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))
  (cbrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (pow (- (sqrt (- (* b_2 b_2) (* a c))) b_2) 3)
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))))
  (- (pow (sqrt (- (* b_2 b_2) (* a c))) 3) (pow b_2 3))
  (- (* b_2 (+ b_2 b_2)) (- (* a c) (* b_2 (sqrt (- (* b_2 b_2) (* a c))))))
  (* a c)
  (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- (sqrt (- (* b_2 b_2) (* a c))) b_2)
  (- b_2 (sqrt (- (* b_2 b_2) (* a c))))
  (* NAN (- (* a c) (* (pow b_2 2) 1/2)))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (* NAN (- (* a c) (* (pow b_2 2) 1/2)))
  (- b_2 (* 1/2 (/ (* a c) b_2)))
  (- (* 1/2 (/ (* a c) b_2)) b_2)
  (- (* NAN (- (* a c) (* (pow b_2 2) 1/2))) b_2)
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
  (- (* NAN (- (* a c) (* (pow b_2 2) 1/2))) b_2)
  (* -1/2 (/ (* a c) b_2))
  (- (* 1/2 (/ (* a c) b_2)) (* 2 b_2))
3.636 * * * [progress]: adding candidates to table
3.892 * [progress]: [Phase 3 of 3] Extracting.
3.893 * * [regime]: Finding splitpoints for: (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
3.895 * * * [regime-changes]: Trying 3 branch expressions: (c b_2 a)
3.895 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
4.022 * * * * [regimes]: Trying to branch on b_2 from (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
4.113 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
4.217 * * * [regime]: Found split indices: #<option (#s(si 6 51) #s(si 7 140) #s(si 8 195) #s(si 2 255))>
4.218 * [binary-search]: Improving bounds with binary search for b_2 and (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
4.386 * [regimes]: Found splitpoints: (#s(sp 6 b_2 -1.1876632617279024e+75) #s(sp 7 b_2 7.386415230288803e-155) #s(sp 8 b_2 6.682995118770345e+77) #s(sp 2 b_2 +nan.0)) , with alts (#<alt (λ (a b_2 c) (/ (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt a)) (sqrt a)))> #<alt (λ (a b_2 c) (/ (+ (neg b_2) (sqrt (* (* (cbrt (- (* b_2 b_2) (* a c))) (cbrt (- (* b_2 b_2) (* a c)))) (cbrt (- (* b_2 b_2) (* a c)))))) a))> #<alt (λ (a b_2 c) (* -1/2 (/ c b_2)))> #<alt (λ (a b_2 c) (/ (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ a (sqrt (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))))))> #<alt (λ (a b_2 c) (* (/ 1 a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2)))> #<alt (λ (a b_2 c) 0)> #<alt (λ (a b_2 c) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))))> #<alt (λ (a b_2 c) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))))> #<alt (λ (a b_2 c) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a))>)
4.388 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= b_2 -1.1876632617279024e+75) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))) (if (<= b_2 7.386415230288803e-155) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (if (<= b_2 6.682995118770345e+77) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) (* -1/2 (/ c b_2)))))
4.388 * * [simplify]: iteration  0 :  41  enodes  (cost  24 )
4.389 * * [simplify]: iteration  1 :  43  enodes  (cost  24 )
4.389 * * [simplify]: iteration  2 :  43  enodes  (cost  24 )
4.389 * [simplify]: Simplified to:
  (if (<= b_2 -1.1876632617279024e+75) (- (* 1/2 (/ c b_2)) (* 2 (/ b_2 a))) (if (<= b_2 7.386415230288803e-155) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (if (<= b_2 6.682995118770345e+77) (/ (/ (+ 0 (* a c)) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) (* -1/2 (/ c b_2)))))