0.701 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.340 * * * [progress]: [2/2] Setting up program.
0.347 * [progress]: [Phase 2 of 3] Improving.
0.350 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))
0.354 * * [simplify]: iteration  0 :  35  enodes  (cost  18 )
0.356 * * [simplify]: iteration  1 :  66  enodes  (cost  18 )
0.357 * * [simplify]: iteration  2 :  116  enodes  (cost  18 )
0.359 * * [simplify]: iteration  3 :  144  enodes  (cost  18 )
0.361 * * [simplify]: iteration  4 :  159  enodes  (cost  18 )
0.363 * * [simplify]: iteration  5 :  161  enodes  (cost  18 )
0.365 * * [simplify]: iteration  6 :  161  enodes  (cost  18 )
0.365 * [simplify]: Simplified to:
  (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))
0.367 * * [progress]: iteration 1 / 4
0.367 * * * [progress]: picking best candidate
0.395 * * * * [pick]: Picked  #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))>
0.395 * * * [progress]: localizing error
0.541 * * * [progress]: generating rewritten candidates
0.541 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2)
0.547 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
0.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1)
0.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.574 * * * [progress]: generating series expansions
0.574 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2)
0.579 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
0.588 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.591 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.591 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.591 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.591 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.594 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.600 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.603 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.605 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.610 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.610 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.616 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.616 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.620 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.623 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
0.632 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.633 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.633 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.635 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.636 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.636 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.636 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.639 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.640 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.640 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.640 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.646 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.647 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.647 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.649 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.649 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.649 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.649 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
0.659 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.659 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.659 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.661 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.666 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.667 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.667 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.670 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.671 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.671 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.671 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.676 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.677 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.678 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.679 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.679 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.679 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.679 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
0.679 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
0.686 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.688 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.688 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.688 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.688 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.691 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.697 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.699 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.702 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.706 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
0.706 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.712 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.712 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.716 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
0.718 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
0.728 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.728 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.728 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.730 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.731 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.731 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.731 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.734 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.735 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.735 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.735 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.740 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.742 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.742 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.743 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.743 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.743 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.744 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
0.756 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.756 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.756 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.758 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.759 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.759 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.759 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.762 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.763 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.763 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.763 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.768 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
0.770 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.770 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
0.772 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1)
0.772 * [approximate]: Approximating (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in (b a c) around 0
0.779 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
0.781 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.782 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
0.782 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.782 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.786 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
0.792 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.795 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.797 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
0.800 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in (b a c) around 0
0.811 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
0.812 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
0.813 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.816 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
0.817 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.818 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.818 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.823 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
0.824 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.824 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.824 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.832 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
0.834 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.834 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.836 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.836 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.836 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
0.837 * [approximate]: Approximating (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in (b a c) around 0
0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.869 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.874 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.875 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.875 * [approximate]: Approximating (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in (b a c) around 0
0.882 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
0.885 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.885 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
0.885 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.885 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.889 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
0.897 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.897 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.901 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
0.904 * [approximate]: Approximating (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in (b a c) around 0
0.915 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
0.916 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
0.916 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.919 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
0.920 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.920 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.920 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.925 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
0.928 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.929 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.929 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.934 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
0.937 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.937 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.938 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.939 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.939 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
0.939 * [approximate]: Approximating (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in (b a c) around 0
0.950 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.954 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.960 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.961 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.967 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
0.969 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.969 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.971 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.971 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.971 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
0.971 * * * [progress]: simplifying candidates
0.973 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (/ 1 (exp b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (exp (neg b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (* (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3))
  (+ (* (neg b) (neg b)) (- (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- (* (neg b) (neg b)) (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (/ (/ 1 (exp b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (/ (exp (neg b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (log (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (* (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3))
  (+ (* (neg b) (neg b)) (+ (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (neg (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (* (neg b) (neg b)) (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (neg (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b 2))) b))
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (- (* 1/2 (* NAN (pow b 2))) (+ (* a (* NAN c)) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (* -2.0 (/ (* a c) b))
0.977 * * [simplify]: iteration  0 :  248  enodes  (cost  644 )
0.982 * * [simplify]: iteration  1 :  898  enodes  (cost  606 )
1.001 * * [simplify]: iteration  2 :  3865  enodes  (cost  590 )
1.084 * * [simplify]: iteration  3 :  5001  enodes  (cost  588 )
1.088 * [simplify]: Simplified to:
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (* (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (pow (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 3)
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3) (pow b 3))
  (+ (* b (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) (- (* b b) (* (* 4.0 a) c)))
  (* (* 4.0 a) c)
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (log (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (cbrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (pow (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) 3)
  (sqrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3))
  (- (* b (+ b b)) (+ (* (* 4.0 a) c) (* b (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- 0 (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* 4.0 a) c)
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- 0 (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* NAN (- (* a c) (* (pow b 2) 1/2))) b)
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (- (* NAN (- (* (pow b 2) 1/2) (* a c))) b)
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (* -2.0 (/ (* a c) b))
1.089 * * * [progress]: adding candidates to table
1.485 * * [progress]: iteration 2 / 4
1.485 * * * [progress]: picking best candidate
1.524 * * * * [pick]: Picked  #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))>
1.524 * * * [progress]: localizing error
1.669 * * * [progress]: generating rewritten candidates
1.669 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2)
1.673 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1)
1.677 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1)
1.680 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.686 * * * [progress]: generating series expansions
1.686 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2)
1.686 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
1.693 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.695 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.695 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.695 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.695 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.699 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.704 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.707 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.709 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.714 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.714 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.719 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.719 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.726 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.728 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.738 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.738 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.738 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.741 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.741 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.741 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.742 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.744 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.745 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.745 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.745 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.751 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.752 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.752 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.754 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.754 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.754 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.754 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.764 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.764 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.764 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.766 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.767 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.767 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.767 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.770 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.771 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.776 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.778 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.778 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.779 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.779 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.779 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.780 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1)
1.780 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
1.786 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.788 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.788 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.788 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.789 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.792 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.797 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.800 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.802 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.807 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.807 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.816 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.816 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.820 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.822 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.831 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.831 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.831 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.834 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.834 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.835 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.835 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.838 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.839 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.839 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.839 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.844 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.846 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.846 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.847 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.847 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.847 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.847 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.857 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.857 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.857 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.860 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.860 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.860 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.860 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.863 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.864 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.864 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.864 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.869 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.871 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.871 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.872 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.873 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.873 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.873 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1)
1.873 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
1.879 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.882 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.882 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.882 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.882 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.885 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.890 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.892 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.895 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.902 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
1.902 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.908 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.908 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.911 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
1.914 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.923 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.923 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.923 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.926 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.926 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.927 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.927 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.930 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.930 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.931 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.931 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.936 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.937 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.937 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.938 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.939 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.939 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.939 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
1.948 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.948 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.948 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.951 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.952 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.952 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.952 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.955 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.956 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.956 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.956 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.961 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
1.963 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.963 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.964 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.964 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.964 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
1.964 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.965 * [approximate]: Approximating (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in (b a c) around 0
1.971 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
1.974 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.975 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
1.975 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.975 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.978 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in a
1.988 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.989 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.992 * [taylor]: Taking taylor expansion of (neg (+ (sqrt (- (pow b 2) (* 4.0 (* a c)))) b)) in c
1.996 * [approximate]: Approximating (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in (b a c) around 0
2.007 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
2.008 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
2.008 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.011 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
2.012 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.012 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.012 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.017 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
2.018 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.018 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.018 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.024 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in a
2.026 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.026 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.028 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.028 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.028 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))))) in c
2.029 * [approximate]: Approximating (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in (b a c) around 0
2.040 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
2.041 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
2.041 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.044 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
2.045 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.045 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.045 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.050 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
2.051 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.051 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.051 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.057 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
2.059 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.059 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.061 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.061 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.061 * [taylor]: Taking taylor expansion of (- (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
2.061 * * * [progress]: simplifying candidates
2.062 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (/ (/ 1 (exp b)) (exp (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (/ (exp (neg b)) (exp (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (log (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (* (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (- (pow (neg b) 3) (pow (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) 3))
  (+ (* (neg b) (neg b)) (+ (* (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (neg (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- (* (neg b) (neg b)) (* (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (+ (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ b (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (neg (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* 1/2 (* NAN (pow b 2))) (+ (* a (* NAN c)) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (* -2.0 (/ (* a c) b))
2.069 * * [simplify]: iteration  0 :  221  enodes  (cost  725 )
2.073 * * [simplify]: iteration  1 :  823  enodes  (cost  631 )
2.090 * * [simplify]: iteration  2 :  3496  enodes  (cost  612 )
2.167 * * [simplify]: iteration  3 :  5001  enodes  (cost  592 )
2.170 * [simplify]: Simplified to:
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (- (- 0 b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (- 0 b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (log (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (- (- 0 b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (cbrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (pow (neg (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)) 3)
  (sqrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (neg (+ (pow b 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)))
  (- (* b (+ b b)) (+ (* (* 4.0 a) c) (* b (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- 0 (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* 4.0 a) c)
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (+ (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (sqrt (neg b)) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- 0 (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* NAN (- (* (pow b 2) 1/2) (* a c))) b)
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (* -2.0 (/ (* a c) b))
2.171 * * * [progress]: adding candidates to table
2.563 * * [progress]: iteration 3 / 4
2.563 * * * [progress]: picking best candidate
2.599 * * * * [pick]: Picked  #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))>
2.599 * * * [progress]: localizing error
2.745 * * * [progress]: generating rewritten candidates
2.745 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 2 2 1)
2.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 1 1)
2.752 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.755 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
2.761 * * * [progress]: generating series expansions
2.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 2 2 1)
2.761 * [approximate]: Approximating (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in (b a c) around 0
2.764 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.766 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.778 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.778 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.782 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.793 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.795 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.799 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.805 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.827 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.827 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.829 * [approximate]: Approximating (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in (b a c) around 0
2.835 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.835 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.839 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.839 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.841 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.847 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.851 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.851 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.854 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.854 * [approximate]: Approximating (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in (b a c) around 0
2.860 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.861 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.865 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.865 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.866 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.872 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.877 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.877 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.880 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.880 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 1 1)
2.880 * [approximate]: Approximating (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in (b a c) around 0
2.883 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.885 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.896 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.896 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.899 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.913 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.914 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.919 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.925 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.941 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in a
2.941 * [taylor]: Taking taylor expansion of (pow (- (pow b 2) (* 4.0 (* a c))) 1/3) in c
2.943 * [approximate]: Approximating (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in (b a c) around 0
2.949 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.949 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.953 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.953 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.955 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.960 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.965 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.965 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.968 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.968 * [approximate]: Approximating (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in (b a c) around 0
2.975 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.975 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.978 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.978 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.980 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.986 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in a
2.993 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.993 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.996 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3) in c
2.996 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.996 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
3.002 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.005 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.005 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.005 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.005 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.008 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.013 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.016 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.018 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.023 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.023 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.028 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.028 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.031 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.034 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
3.043 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.043 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.043 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.045 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.046 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.046 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.046 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.049 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.050 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.050 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.050 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.055 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.057 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.057 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.058 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.058 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.058 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.059 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
3.068 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.068 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.068 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.070 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.071 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.071 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.071 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.077 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.077 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.078 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.078 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.082 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
3.084 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.084 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.085 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.085 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.085 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
3.086 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1)
3.086 * [approximate]: Approximating (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in (b a c) around 0
3.091 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in a
3.093 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in c
3.105 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in a
3.105 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in c
3.109 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in c
3.122 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in a
3.126 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow (- (pow b 2) (* 4.0 (* a c))) 1/6)) b) in c
3.135 * [approximate]: Approximating (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in (b a c) around 0
3.143 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.143 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.145 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.146 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.146 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.152 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.152 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.154 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.154 * [taylor]: Taking taylor expansion of (- (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.157 * [approximate]: Approximating (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in (b a c) around 0
3.168 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.169 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.170 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.170 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.171 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.176 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in a
3.176 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.179 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.179 * [taylor]: Taking taylor expansion of (+ (* (fabs (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/3)) (pow (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))) 1/6)) (/ 1 b)) in c
3.181 * * * [progress]: simplifying candidates
3.182 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (- (* b b) (* (* 4.0 a) c))))
  (exp (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt 1)
  (cbrt (- (* b b) (* (* 4.0 a) c)))
  (cbrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (cbrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (cbrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (cbrt (+ (* b b) (* (* 4.0 a) c)))
  (* (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (log (cbrt (- (* b b) (* (* 4.0 a) c))))
  (exp (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt 1)
  (cbrt (- (* b b) (* (* 4.0 a) c)))
  (cbrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (cbrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (cbrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (cbrt (+ (* b b) (* (* 4.0 a) c)))
  (* (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (/ 1 (exp b)) (exp (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (exp (neg b)) (exp (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (log (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))) (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))))
  (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (* (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))) (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (+ (pow (neg b) 3) (pow (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) 3))
  (+ (* (neg b) (neg b)) (- (* (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))))
  (- (* (neg b) (neg b)) (* (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
  (- b (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
  (- (exp (* 1/3 (+ (log a) (+ (log c) (log (neg 4.0)))))) (* 0.08333333333333333 (* (exp (* 1/3 (- (log -4.0) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
  (pow (/ 1 b) -2/3)
  (pow (/ -1 b) -2/3)
  (- (exp (* 1/3 (+ (log a) (+ (log c) (log (neg 4.0)))))) (* 0.08333333333333333 (* (exp (* 1/3 (- (log -4.0) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
  (pow (/ 1 b) -2/3)
  (pow (/ -1 b) -2/3)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* (exp (* 1/6 (+ (log a) (+ (log c) (log (neg 4.0)))))) (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3))) (+ (* 0.041666666666666664 (* (exp (* 1/6 (- (log -4.0) (+ (* 5 (log a)) (* 5 (log c)))))) (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow b 2)))) b))
  (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow b 1/3)) b)
  (- (* (pow (* -1 b) 1/3) (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3))) b)
3.188 * * [simplify]: iteration  0 :  366  enodes  (cost  804 )
3.194 * * [simplify]: iteration  1 :  1468  enodes  (cost  730 )
3.223 * * [simplify]: iteration  2 :  5001  enodes  (cost  697 )
3.227 * [simplify]: Simplified to:
  (log (cbrt (- (* b b) (* (* 4.0 a) c))))
  (exp (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt 1)
  (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)
  (cbrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (cbrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (cbrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (cbrt (+ (* b b) (* (* 4.0 a) c)))
  (* (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (- (* b b) (* (* 4.0 a) c))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (log (cbrt (- (* b b) (* (* 4.0 a) c))))
  (exp (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (cbrt 1)
  (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)
  (cbrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (cbrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (cbrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (cbrt (+ (* b b) (* (* 4.0 a) c)))
  (* (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (- (* b b) (* (* 4.0 a) c))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b))
  (exp (- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b))
  (log (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b))
  (* (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))) (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))))
  (cbrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (pow (- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) b) 3)
  (sqrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))))
  (- (pow (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))) 3) (pow b 3))
  (+ (+ (pow b 2) (* b (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))) (- (* b b) (* (* 4.0 a) c)))
  (neg (+ (- (* b b) (* (* 4.0 a) c)) (* (* -1 b) b)))
  (- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
  (- b (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
  (- (exp (* 1/3 (+ (log a) (+ (log c) (log (neg 4.0)))))) (* 0.08333333333333333 (* (exp (* 1/3 (- (log -4.0) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
  (pow (/ 1 b) -2/3)
  (pow (/ -1 b) -2/3)
  (- (exp (* 1/3 (+ (log a) (+ (log c) (log (neg 4.0)))))) (* 0.08333333333333333 (* (exp (* 1/3 (- (log -4.0) (+ (* 2 (log a)) (* 2 (log c)))))) (pow b 2))))
  (pow (/ 1 b) -2/3)
  (pow (/ -1 b) -2/3)
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (- (exp (* 1/6 (+ (log a) (+ (log c) (log (neg 4.0)))))) (* (* 0.041666666666666664 (exp (* 1/6 (- (log -4.0) (+ (* 5 (log a)) (* 5 (log c))))))) (pow b 2)))) b)
  (- (* (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3)) (pow b 1/3)) b)
  (- (* (pow (* -1 b) 1/3) (fabs (pow (- (pow b 2) (* 4.0 (* a c))) 1/3))) b)
3.227 * * * [progress]: adding candidates to table
3.786 * * [progress]: iteration 4 / 4
3.786 * * * [progress]: picking best candidate
3.814 * * * * [pick]: Picked  #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))>
3.814 * * * [progress]: localizing error
3.959 * * * [progress]: generating rewritten candidates
3.960 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 1 1 2)
3.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
3.967 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1)
3.976 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 1 1)
3.985 * * * [progress]: generating series expansions
3.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 1 1 2)
3.985 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
3.995 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.998 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.998 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
3.998 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
3.998 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.001 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.007 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.009 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.012 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.016 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.016 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.022 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.022 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.026 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.028 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
4.037 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.037 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.037 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.040 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.040 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.041 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.044 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.045 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.045 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.045 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.050 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.052 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.052 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.053 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.053 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.053 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.053 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
4.063 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.063 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.063 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.066 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.066 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.067 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.067 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.072 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.073 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.073 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.073 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.078 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.080 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.080 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.081 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.081 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.081 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.082 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
4.082 * [approximate]: Approximating (sqrt (- (pow b 2) (* 4.0 (* a c)))) in (b a c) around 0
4.088 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.090 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.090 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.090 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.090 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.094 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.099 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.102 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.104 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.109 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in a
4.109 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.114 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.114 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.118 * [taylor]: Taking taylor expansion of (sqrt (- (pow b 2) (* 4.0 (* a c)))) in c
4.120 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
4.130 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.130 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.130 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.133 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.133 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.134 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.134 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.137 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.138 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.138 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.138 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.143 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.145 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.145 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.147 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.147 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.147 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.147 * [approximate]: Approximating (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in (b a c) around 0
4.159 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.159 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.160 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.162 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.163 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.163 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.163 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.166 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.167 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.167 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.167 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.172 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in a
4.174 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.174 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.175 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.175 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.175 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) in c
4.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1)
4.176 * [approximate]: Approximating (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in (b a c) around 0
4.183 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.185 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.186 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.186 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.186 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.190 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.196 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.198 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.202 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.205 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in (b a c) around 0
4.215 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.217 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.217 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.220 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.221 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.222 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.222 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.227 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.228 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.228 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.228 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.238 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.240 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.241 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.243 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.243 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.243 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.244 * [approximate]: Approximating (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in (b a c) around 0
4.254 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.255 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.255 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.259 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.259 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.261 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.261 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.265 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.266 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.266 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.266 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.273 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.275 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.276 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.278 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 1 1)
4.279 * [approximate]: Approximating (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in (b a c) around 0
4.286 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.288 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.289 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.289 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.289 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.292 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in a
4.299 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.301 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.304 * [taylor]: Taking taylor expansion of (- (sqrt (- (pow b 2) (* 4.0 (* a c)))) b) in c
4.306 * [approximate]: Approximating (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in (b a c) around 0
4.320 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.321 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.321 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.325 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.325 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.327 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.327 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.331 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.333 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.333 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.333 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.340 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in a
4.342 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.342 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.344 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.345 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.345 * [taylor]: Taking taylor expansion of (- (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c))))) (/ 1 b)) in c
4.345 * [approximate]: Approximating (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in (b a c) around 0
4.356 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.357 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.357 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.360 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.361 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.362 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.362 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.366 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.368 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.368 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.368 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.375 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in a
4.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.377 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.379 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (sqrt (- (/ 1 (pow b 2)) (* 4.0 (/ 1 (* a c)))))) in c
4.380 * * * [progress]: simplifying candidates
4.382 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (* (cbrt (- (* b b) (* (* 4.0 a) c))) (cbrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt 1)
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  (/ 1 2)
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp 1)
  (exp (* (cbrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (cbrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (exp (sqrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp 1)
  (exp (log (* (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (exp (log (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (log (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (log (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (log 1))
  (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (exp (log 1))
  (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (exp (log 1))
  (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (exp (log (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3))))
  (exp (log (+ (* (neg b) (neg b)) (- (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (exp (log (- (* (neg b) (neg b)) (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (log (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (log (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (exp (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (cbrt (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))) (cbrt (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (cbrt (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (* (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))) (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (sqrt (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  (* (/ 1 (exp b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (exp (neg b)) (exp (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (* (* (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (+ (pow (neg b) 3) (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3))
  (+ (* (neg b) (neg b)) (- (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (- (* (neg b) (neg b)) (* (sqrt (- (* b b) (* (* 4.0 a) c))) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (* 1/2 (* NAN (pow b 2))))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b 2))) b))
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (- (* a (* NAN c)) (+ (* 1/2 (* NAN (pow b 2))) b))
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
4.386 * * [simplify]: iteration  0 :  249  enodes  (cost  652 )
4.391 * * [simplify]: iteration  1 :  880  enodes  (cost  611 )
4.408 * * [simplify]: iteration  2 :  3511  enodes  (cost  575 )
4.485 * * [simplify]: iteration  3 :  5001  enodes  (cost  565 )
4.488 * [simplify]: Simplified to:
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (sqrt (- (* b b) (* (* 4.0 a) c))))
  (exp (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (cbrt (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (cbrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3)
  (fabs (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  1
  (sqrt (- (* b b) (* (* 4.0 a) c)))
  (sqrt (- (pow (* b b) 3) (pow (* (* 4.0 a) c) 3)))
  (sqrt (+ (* (* b b) (* b b)) (+ (* (* (* 4.0 a) c) (* (* 4.0 a) c)) (* (* b b) (* (* 4.0 a) c)))))
  (sqrt (- (* (* b b) (* b b)) (* (* (* 4.0 a) c) (* (* 4.0 a) c))))
  (sqrt (+ (* b b) (* (* 4.0 a) c)))
  1/2
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))
  E
  (exp (* (cbrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (cbrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))))
  (exp (sqrt (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
  E
  (pow (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) 2)
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  1
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  1
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  1
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3) (pow b 3))
  (- (* b (+ b b)) (- (* (* 4.0 a) c) (* b (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (* (* 4.0 a) c)
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (pow (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) 2)
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (pow (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 3)
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (exp (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))
  (pow (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) 2)
  (cbrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (pow (- (sqrt (- (* b b) (* (* 4.0 a) c))) b) 3)
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (sqrt (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
  (- (pow (sqrt (- (* b b) (* (* 4.0 a) c))) 3) (pow b 3))
  (- (* b (+ b b)) (- (* (* 4.0 a) c) (* b (sqrt (- (* b b) (* (* 4.0 a) c))))))
  (* (* 4.0 a) c)
  (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- (sqrt (- (* b b) (* (* 4.0 a) c))) b)
  (- b (sqrt (- (* b b) (* (* 4.0 a) c))))
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (* NAN (- (* a c) (* (pow b 2) 1/2)))
  (- b (* 2.0 (/ (* a c) b)))
  (- (* 2.0 (/ (* a c) b)) b)
  (- (* NAN (- (* a c) (* (pow b 2) 1/2))) b)
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
  (- (* NAN (- (* a c) (* (pow b 2) 1/2))) b)
  (* -2.0 (/ (* a c) b))
  (- (* 2.0 (/ (* a c) b)) (* 2 b))
4.489 * * * [progress]: adding candidates to table
4.897 * [progress]: [Phase 3 of 3] Extracting.
4.897 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
4.903 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
4.904 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
5.019 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
5.110 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
5.211 * * * [regime]: Found split indices: #<option (#s(si 6 25) #s(si 1 195) #s(si 3 255))>
5.213 * [binary-search]: Improving bounds with binary search for b and (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
5.428 * [regimes]: Found splitpoints: (#s(sp 6 b -1.332209997956342e+154) #s(sp 1 b 4.3318565542540646e+83) #s(sp 3 b +nan.0)) , with alts (#<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (/ (* (* 4.0 a) c) (- (sqrt (- (* b b) (* (* 4.0 a) c))) b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (exp (log (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (/ (* (* 4.0 a) c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c)))))) (* 2.0 a))))> #<alt (λ (a b c) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))))>)
5.429 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (if (<= b -1.332209997956342e+154) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))) (if (<= b 4.3318565542540646e+83) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))))
5.430 * * [simplify]: iteration  0 :  48  enodes  (cost  58 )
5.430 * * [simplify]: iteration  1 :  48  enodes  (cost  58 )
5.431 * [simplify]: Simplified to:
  (if (<= b -1.332209997956342e+154) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (- (* 2.0 (/ (* a c) b)) (* 2 b)) (* 2.0 a))) (if (<= b 4.3318565542540646e+83) (if (>= b 0.0) (/ (* 2.0 c) (- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))) (if (>= b 0.0) (/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))))