9.788 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.555 * * * [progress]: [2/2] Setting up program.
0.557 * [progress]: [Phase 2 of 3] Improving.
0.557 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
0.557 * * [simplify]: iteration  0 :  12  enodes  (cost  22 )
0.557 * * [simplify]: iteration  1 :  12  enodes  (cost  22 )
0.557 * [simplify]: Simplified to:
   (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
0.557 * * [progress]: iteration 1 / 4
0.558 * * * [progress]: picking best candidate
0.558 * * * * [pick]: Picked  #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>
0.558 * * * [progress]: localizing error
0.572 * * * [progress]: generating rewritten candidates
0.573 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.573 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.573 * * * [progress]: generating series expansions
0.573 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.574 * [approximate]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in (a c b d) around 0
0.574 * [taylor]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in d
0.574 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in d
0.574 * [taylor]: Taking taylor expansion of (* a c) in d
0.574 * [taylor]: Taking taylor expansion of a in d
0.574 * [taylor]: Taking taylor expansion of c in d
0.574 * [taylor]: Taking taylor expansion of (* d b) in d
0.574 * [taylor]: Taking taylor expansion of d in d
0.574 * [taylor]: Taking taylor expansion of b in d
0.574 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in d
0.574 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.574 * [taylor]: Taking taylor expansion of d in d
0.574 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.574 * [taylor]: Taking taylor expansion of c in d
0.576 * [taylor]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in b
0.576 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in b
0.576 * [taylor]: Taking taylor expansion of (* a c) in b
0.576 * [taylor]: Taking taylor expansion of a in b
0.576 * [taylor]: Taking taylor expansion of c in b
0.576 * [taylor]: Taking taylor expansion of (* d b) in b
0.576 * [taylor]: Taking taylor expansion of d in b
0.576 * [taylor]: Taking taylor expansion of b in b
0.576 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in b
0.576 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.576 * [taylor]: Taking taylor expansion of d in b
0.576 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.576 * [taylor]: Taking taylor expansion of c in b
0.578 * [taylor]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in c
0.578 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in c
0.578 * [taylor]: Taking taylor expansion of (* a c) in c
0.578 * [taylor]: Taking taylor expansion of a in c
0.578 * [taylor]: Taking taylor expansion of c in c
0.578 * [taylor]: Taking taylor expansion of (* d b) in c
0.578 * [taylor]: Taking taylor expansion of d in c
0.578 * [taylor]: Taking taylor expansion of b in c
0.578 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.578 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.578 * [taylor]: Taking taylor expansion of d in c
0.578 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.578 * [taylor]: Taking taylor expansion of c in c
0.579 * [taylor]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in a
0.579 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in a
0.579 * [taylor]: Taking taylor expansion of (* a c) in a
0.579 * [taylor]: Taking taylor expansion of a in a
0.579 * [taylor]: Taking taylor expansion of c in a
0.579 * [taylor]: Taking taylor expansion of (* d b) in a
0.579 * [taylor]: Taking taylor expansion of d in a
0.579 * [taylor]: Taking taylor expansion of b in a
0.579 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
0.579 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.579 * [taylor]: Taking taylor expansion of d in a
0.579 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.579 * [taylor]: Taking taylor expansion of c in a
0.581 * [taylor]: Taking taylor expansion of (/ (+ (* a c) (* d b)) (+ (pow d 2) (pow c 2))) in a
0.581 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in a
0.581 * [taylor]: Taking taylor expansion of (* a c) in a
0.581 * [taylor]: Taking taylor expansion of a in a
0.581 * [taylor]: Taking taylor expansion of c in a
0.581 * [taylor]: Taking taylor expansion of (* d b) in a
0.581 * [taylor]: Taking taylor expansion of d in a
0.581 * [taylor]: Taking taylor expansion of b in a
0.581 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in a
0.581 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.581 * [taylor]: Taking taylor expansion of d in a
0.581 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.581 * [taylor]: Taking taylor expansion of c in a
0.583 * [taylor]: Taking taylor expansion of (/ (* d b) (+ (pow d 2) (pow c 2))) in c
0.583 * [taylor]: Taking taylor expansion of (* d b) in c
0.583 * [taylor]: Taking taylor expansion of d in c
0.583 * [taylor]: Taking taylor expansion of b in c
0.583 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.583 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.583 * [taylor]: Taking taylor expansion of d in c
0.583 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.583 * [taylor]: Taking taylor expansion of c in c
0.584 * [taylor]: Taking taylor expansion of (/ b d) in b
0.584 * [taylor]: Taking taylor expansion of b in b
0.584 * [taylor]: Taking taylor expansion of d in b
0.587 * [taylor]: Taking taylor expansion of (/ c (+ (pow d 2) (pow c 2))) in c
0.587 * [taylor]: Taking taylor expansion of c in c
0.587 * [taylor]: Taking taylor expansion of (+ (pow d 2) (pow c 2)) in c
0.587 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.587 * [taylor]: Taking taylor expansion of d in c
0.587 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.587 * [taylor]: Taking taylor expansion of c in c
0.589 * [taylor]: Taking taylor expansion of 0 in b
0.589 * [taylor]: Taking taylor expansion of 0 in d
0.589 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.589 * [taylor]: Taking taylor expansion of d in d
0.594 * [taylor]: Taking taylor expansion of 0 in c
0.594 * [taylor]: Taking taylor expansion of 0 in b
0.594 * [taylor]: Taking taylor expansion of 0 in d
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.594 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.594 * [taylor]: Taking taylor expansion of d in b
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.594 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.594 * [taylor]: Taking taylor expansion of d in d
0.599 * [taylor]: Taking taylor expansion of (neg (/ b (pow d 3))) in b
0.599 * [taylor]: Taking taylor expansion of (/ b (pow d 3)) in b
0.599 * [taylor]: Taking taylor expansion of b in b
0.599 * [taylor]: Taking taylor expansion of (pow d 3) in b
0.599 * [taylor]: Taking taylor expansion of d in b
0.599 * [taylor]: Taking taylor expansion of 0 in d
0.600 * [taylor]: Taking taylor expansion of 0 in d
0.602 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (a c b d) around 0
0.602 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in d
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
0.602 * [taylor]: Taking taylor expansion of (* d b) in d
0.602 * [taylor]: Taking taylor expansion of d in d
0.602 * [taylor]: Taking taylor expansion of b in d
0.603 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.603 * [taylor]: Taking taylor expansion of (* a c) in d
0.603 * [taylor]: Taking taylor expansion of a in d
0.603 * [taylor]: Taking taylor expansion of c in d
0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.604 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.604 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.604 * [taylor]: Taking taylor expansion of c in d
0.604 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.604 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.604 * [taylor]: Taking taylor expansion of d in d
0.605 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in b
0.605 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.605 * [taylor]: Taking taylor expansion of (* d b) in b
0.605 * [taylor]: Taking taylor expansion of d in b
0.605 * [taylor]: Taking taylor expansion of b in b
0.606 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.606 * [taylor]: Taking taylor expansion of (* a c) in b
0.606 * [taylor]: Taking taylor expansion of a in b
0.606 * [taylor]: Taking taylor expansion of c in b
0.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.607 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.607 * [taylor]: Taking taylor expansion of c in b
0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.607 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.607 * [taylor]: Taking taylor expansion of d in b
0.609 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in c
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.609 * [taylor]: Taking taylor expansion of (* d b) in c
0.609 * [taylor]: Taking taylor expansion of d in c
0.609 * [taylor]: Taking taylor expansion of b in c
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.610 * [taylor]: Taking taylor expansion of (* a c) in c
0.610 * [taylor]: Taking taylor expansion of a in c
0.610 * [taylor]: Taking taylor expansion of c in c
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.610 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.611 * [taylor]: Taking taylor expansion of c in c
0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.611 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.611 * [taylor]: Taking taylor expansion of d in c
0.612 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.612 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.612 * [taylor]: Taking taylor expansion of (* d b) in a
0.612 * [taylor]: Taking taylor expansion of d in a
0.612 * [taylor]: Taking taylor expansion of b in a
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.613 * [taylor]: Taking taylor expansion of (* a c) in a
0.613 * [taylor]: Taking taylor expansion of a in a
0.613 * [taylor]: Taking taylor expansion of c in a
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.613 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.613 * [taylor]: Taking taylor expansion of c in a
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.614 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.614 * [taylor]: Taking taylor expansion of d in a
0.616 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.616 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.616 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.616 * [taylor]: Taking taylor expansion of (* d b) in a
0.616 * [taylor]: Taking taylor expansion of d in a
0.616 * [taylor]: Taking taylor expansion of b in a
0.616 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.616 * [taylor]: Taking taylor expansion of (* a c) in a
0.617 * [taylor]: Taking taylor expansion of a in a
0.617 * [taylor]: Taking taylor expansion of c in a
0.617 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.617 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.617 * [taylor]: Taking taylor expansion of c in a
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.618 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.618 * [taylor]: Taking taylor expansion of d in a
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.620 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.620 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.620 * [taylor]: Taking taylor expansion of c in c
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.620 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.620 * [taylor]: Taking taylor expansion of d in c
0.620 * [taylor]: Taking taylor expansion of c in c
0.622 * [taylor]: Taking taylor expansion of 1 in b
0.629 * [taylor]: Taking taylor expansion of (/ 1 (* d (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b))) in c
0.629 * [taylor]: Taking taylor expansion of (* d (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b)) in c
0.629 * [taylor]: Taking taylor expansion of d in c
0.629 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b) in c
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.629 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.629 * [taylor]: Taking taylor expansion of c in c
0.630 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.630 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.630 * [taylor]: Taking taylor expansion of d in c
0.630 * [taylor]: Taking taylor expansion of b in c
0.634 * [taylor]: Taking taylor expansion of 0 in b
0.634 * [taylor]: Taking taylor expansion of 1 in d
0.645 * [taylor]: Taking taylor expansion of 0 in c
0.645 * [taylor]: Taking taylor expansion of 0 in b
0.645 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.645 * [taylor]: Taking taylor expansion of (* d b) in b
0.645 * [taylor]: Taking taylor expansion of d in b
0.645 * [taylor]: Taking taylor expansion of b in b
0.646 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.646 * [taylor]: Taking taylor expansion of d in d
0.652 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in b
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.653 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.653 * [taylor]: Taking taylor expansion of d in b
0.653 * [taylor]: Taking taylor expansion of 0 in d
0.653 * [taylor]: Taking taylor expansion of 0 in d
0.668 * [taylor]: Taking taylor expansion of 0 in c
0.668 * [taylor]: Taking taylor expansion of 0 in b
0.668 * [taylor]: Taking taylor expansion of 0 in b
0.670 * [taylor]: Taking taylor expansion of 0 in b
0.677 * [taylor]: Taking taylor expansion of 0 in b
0.677 * [taylor]: Taking taylor expansion of 0 in d
0.682 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in (a c b d) around 0
0.682 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in d
0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in d
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
0.682 * [taylor]: Taking taylor expansion of (* d b) in d
0.682 * [taylor]: Taking taylor expansion of d in d
0.682 * [taylor]: Taking taylor expansion of b in d
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.682 * [taylor]: Taking taylor expansion of (* a c) in d
0.682 * [taylor]: Taking taylor expansion of a in d
0.682 * [taylor]: Taking taylor expansion of c in d
0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in d
0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in d
0.683 * [taylor]: Taking taylor expansion of (pow c 2) in d
0.683 * [taylor]: Taking taylor expansion of c in d
0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in d
0.683 * [taylor]: Taking taylor expansion of (pow d 2) in d
0.683 * [taylor]: Taking taylor expansion of d in d
0.684 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in b
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in b
0.684 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.685 * [taylor]: Taking taylor expansion of (* d b) in b
0.685 * [taylor]: Taking taylor expansion of d in b
0.685 * [taylor]: Taking taylor expansion of b in b
0.685 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.685 * [taylor]: Taking taylor expansion of (* a c) in b
0.685 * [taylor]: Taking taylor expansion of a in b
0.685 * [taylor]: Taking taylor expansion of c in b
0.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in b
0.686 * [taylor]: Taking taylor expansion of (pow c 2) in b
0.686 * [taylor]: Taking taylor expansion of c in b
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.686 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.686 * [taylor]: Taking taylor expansion of d in b
0.689 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in c
0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in c
0.689 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.689 * [taylor]: Taking taylor expansion of (* d b) in c
0.689 * [taylor]: Taking taylor expansion of d in c
0.689 * [taylor]: Taking taylor expansion of b in c
0.689 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.689 * [taylor]: Taking taylor expansion of (* a c) in c
0.689 * [taylor]: Taking taylor expansion of a in c
0.689 * [taylor]: Taking taylor expansion of c in c
0.690 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.690 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.690 * [taylor]: Taking taylor expansion of c in c
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.690 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.690 * [taylor]: Taking taylor expansion of d in c
0.691 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.691 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.691 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.691 * [taylor]: Taking taylor expansion of (* d b) in a
0.691 * [taylor]: Taking taylor expansion of d in a
0.691 * [taylor]: Taking taylor expansion of b in a
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.692 * [taylor]: Taking taylor expansion of (* a c) in a
0.692 * [taylor]: Taking taylor expansion of a in a
0.692 * [taylor]: Taking taylor expansion of c in a
0.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.692 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.692 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.692 * [taylor]: Taking taylor expansion of c in a
0.693 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.693 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.693 * [taylor]: Taking taylor expansion of d in a
0.695 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* d b)) (/ 1 (* a c))) (+ (/ 1 (pow c 2)) (/ 1 (pow d 2)))) in a
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.695 * [taylor]: Taking taylor expansion of (* d b) in a
0.695 * [taylor]: Taking taylor expansion of d in a
0.695 * [taylor]: Taking taylor expansion of b in a
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.696 * [taylor]: Taking taylor expansion of (* a c) in a
0.696 * [taylor]: Taking taylor expansion of a in a
0.696 * [taylor]: Taking taylor expansion of c in a
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in a
0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in a
0.696 * [taylor]: Taking taylor expansion of (pow c 2) in a
0.696 * [taylor]: Taking taylor expansion of c in a
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in a
0.697 * [taylor]: Taking taylor expansion of (pow d 2) in a
0.697 * [taylor]: Taking taylor expansion of d in a
0.699 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c)) in c
0.699 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) c) in c
0.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.699 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.699 * [taylor]: Taking taylor expansion of c in c
0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.700 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.700 * [taylor]: Taking taylor expansion of d in c
0.700 * [taylor]: Taking taylor expansion of c in c
0.701 * [taylor]: Taking taylor expansion of 1 in b
0.706 * [taylor]: Taking taylor expansion of (/ 1 (* d (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b))) in c
0.707 * [taylor]: Taking taylor expansion of (* d (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b)) in c
0.707 * [taylor]: Taking taylor expansion of d in c
0.707 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) b) in c
0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow c 2)) (/ 1 (pow d 2))) in c
0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow c 2)) in c
0.707 * [taylor]: Taking taylor expansion of (pow c 2) in c
0.707 * [taylor]: Taking taylor expansion of c in c
0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in c
0.707 * [taylor]: Taking taylor expansion of (pow d 2) in c
0.707 * [taylor]: Taking taylor expansion of d in c
0.707 * [taylor]: Taking taylor expansion of b in c
0.710 * [taylor]: Taking taylor expansion of 0 in b
0.710 * [taylor]: Taking taylor expansion of 1 in d
0.720 * [taylor]: Taking taylor expansion of 0 in c
0.720 * [taylor]: Taking taylor expansion of 0 in b
0.720 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.720 * [taylor]: Taking taylor expansion of (* d b) in b
0.720 * [taylor]: Taking taylor expansion of d in b
0.720 * [taylor]: Taking taylor expansion of b in b
0.721 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.721 * [taylor]: Taking taylor expansion of d in d
0.728 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow d 2))) in b
0.728 * [taylor]: Taking taylor expansion of (/ 1 (pow d 2)) in b
0.728 * [taylor]: Taking taylor expansion of (pow d 2) in b
0.728 * [taylor]: Taking taylor expansion of d in b
0.728 * [taylor]: Taking taylor expansion of 0 in d
0.728 * [taylor]: Taking taylor expansion of 0 in d
0.742 * [taylor]: Taking taylor expansion of 0 in c
0.742 * [taylor]: Taking taylor expansion of 0 in b
0.742 * [taylor]: Taking taylor expansion of 0 in b
0.745 * [taylor]: Taking taylor expansion of 0 in b
0.752 * [taylor]: Taking taylor expansion of 0 in b
0.752 * [taylor]: Taking taylor expansion of 0 in d
0.752 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.753 * [approximate]: Taking taylor expansion of (+ (* a c) (* d b)) in (a c b d) around 0
0.753 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in d
0.753 * [taylor]: Taking taylor expansion of (* a c) in d
0.753 * [taylor]: Taking taylor expansion of a in d
0.753 * [taylor]: Taking taylor expansion of c in d
0.753 * [taylor]: Taking taylor expansion of (* d b) in d
0.753 * [taylor]: Taking taylor expansion of d in d
0.753 * [taylor]: Taking taylor expansion of b in d
0.753 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in b
0.753 * [taylor]: Taking taylor expansion of (* a c) in b
0.753 * [taylor]: Taking taylor expansion of a in b
0.753 * [taylor]: Taking taylor expansion of c in b
0.753 * [taylor]: Taking taylor expansion of (* d b) in b
0.753 * [taylor]: Taking taylor expansion of d in b
0.753 * [taylor]: Taking taylor expansion of b in b
0.753 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in c
0.753 * [taylor]: Taking taylor expansion of (* a c) in c
0.753 * [taylor]: Taking taylor expansion of a in c
0.753 * [taylor]: Taking taylor expansion of c in c
0.753 * [taylor]: Taking taylor expansion of (* d b) in c
0.753 * [taylor]: Taking taylor expansion of d in c
0.753 * [taylor]: Taking taylor expansion of b in c
0.753 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in a
0.753 * [taylor]: Taking taylor expansion of (* a c) in a
0.753 * [taylor]: Taking taylor expansion of a in a
0.754 * [taylor]: Taking taylor expansion of c in a
0.754 * [taylor]: Taking taylor expansion of (* d b) in a
0.754 * [taylor]: Taking taylor expansion of d in a
0.754 * [taylor]: Taking taylor expansion of b in a
0.754 * [taylor]: Taking taylor expansion of (+ (* a c) (* d b)) in a
0.754 * [taylor]: Taking taylor expansion of (* a c) in a
0.754 * [taylor]: Taking taylor expansion of a in a
0.754 * [taylor]: Taking taylor expansion of c in a
0.754 * [taylor]: Taking taylor expansion of (* d b) in a
0.754 * [taylor]: Taking taylor expansion of d in a
0.754 * [taylor]: Taking taylor expansion of b in a
0.754 * [taylor]: Taking taylor expansion of (* d b) in c
0.754 * [taylor]: Taking taylor expansion of d in c
0.754 * [taylor]: Taking taylor expansion of b in c
0.754 * [taylor]: Taking taylor expansion of (* d b) in b
0.754 * [taylor]: Taking taylor expansion of d in b
0.754 * [taylor]: Taking taylor expansion of b in b
0.755 * [taylor]: Taking taylor expansion of 0 in d
0.755 * [taylor]: Taking taylor expansion of c in c
0.755 * [taylor]: Taking taylor expansion of 0 in b
0.755 * [taylor]: Taking taylor expansion of 0 in d
0.756 * [taylor]: Taking taylor expansion of 0 in b
0.756 * [taylor]: Taking taylor expansion of 0 in d
0.756 * [taylor]: Taking taylor expansion of d in d
0.757 * [taylor]: Taking taylor expansion of 0 in c
0.757 * [taylor]: Taking taylor expansion of 0 in b
0.757 * [taylor]: Taking taylor expansion of 0 in d
0.758 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in (a c b d) around 0
0.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in d
0.758 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
0.758 * [taylor]: Taking taylor expansion of (* d b) in d
0.758 * [taylor]: Taking taylor expansion of d in d
0.758 * [taylor]: Taking taylor expansion of b in d
0.759 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.759 * [taylor]: Taking taylor expansion of (* a c) in d
0.759 * [taylor]: Taking taylor expansion of a in d
0.759 * [taylor]: Taking taylor expansion of c in d
0.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in b
0.759 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.759 * [taylor]: Taking taylor expansion of (* d b) in b
0.759 * [taylor]: Taking taylor expansion of d in b
0.759 * [taylor]: Taking taylor expansion of b in b
0.760 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.760 * [taylor]: Taking taylor expansion of (* a c) in b
0.760 * [taylor]: Taking taylor expansion of a in b
0.760 * [taylor]: Taking taylor expansion of c in b
0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in c
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.761 * [taylor]: Taking taylor expansion of (* d b) in c
0.761 * [taylor]: Taking taylor expansion of d in c
0.761 * [taylor]: Taking taylor expansion of b in c
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.761 * [taylor]: Taking taylor expansion of (* a c) in c
0.761 * [taylor]: Taking taylor expansion of a in c
0.761 * [taylor]: Taking taylor expansion of c in c
0.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.762 * [taylor]: Taking taylor expansion of (* d b) in a
0.762 * [taylor]: Taking taylor expansion of d in a
0.762 * [taylor]: Taking taylor expansion of b in a
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.762 * [taylor]: Taking taylor expansion of (* a c) in a
0.762 * [taylor]: Taking taylor expansion of a in a
0.762 * [taylor]: Taking taylor expansion of c in a
0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.763 * [taylor]: Taking taylor expansion of (* d b) in a
0.763 * [taylor]: Taking taylor expansion of d in a
0.763 * [taylor]: Taking taylor expansion of b in a
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.763 * [taylor]: Taking taylor expansion of (* a c) in a
0.763 * [taylor]: Taking taylor expansion of a in a
0.763 * [taylor]: Taking taylor expansion of c in a
0.764 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.764 * [taylor]: Taking taylor expansion of c in c
0.764 * [taylor]: Taking taylor expansion of 1 in b
0.766 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.766 * [taylor]: Taking taylor expansion of (* d b) in c
0.766 * [taylor]: Taking taylor expansion of d in c
0.766 * [taylor]: Taking taylor expansion of b in c
0.767 * [taylor]: Taking taylor expansion of 0 in b
0.767 * [taylor]: Taking taylor expansion of 1 in d
0.770 * [taylor]: Taking taylor expansion of 0 in c
0.770 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.770 * [taylor]: Taking taylor expansion of (* d b) in b
0.770 * [taylor]: Taking taylor expansion of d in b
0.770 * [taylor]: Taking taylor expansion of b in b
0.771 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.771 * [taylor]: Taking taylor expansion of d in d
0.772 * [taylor]: Taking taylor expansion of 0 in b
0.772 * [taylor]: Taking taylor expansion of 0 in d
0.772 * [taylor]: Taking taylor expansion of 0 in d
0.776 * [taylor]: Taking taylor expansion of 0 in c
0.776 * [taylor]: Taking taylor expansion of 0 in b
0.777 * [taylor]: Taking taylor expansion of 0 in b
0.778 * [taylor]: Taking taylor expansion of 0 in b
0.780 * [taylor]: Taking taylor expansion of 0 in d
0.780 * [taylor]: Taking taylor expansion of 0 in d
0.780 * [taylor]: Taking taylor expansion of 0 in d
0.780 * [taylor]: Taking taylor expansion of 0 in d
0.786 * [taylor]: Taking taylor expansion of 0 in c
0.786 * [taylor]: Taking taylor expansion of 0 in b
0.786 * [taylor]: Taking taylor expansion of 0 in b
0.788 * [taylor]: Taking taylor expansion of 0 in b
0.789 * [taylor]: Taking taylor expansion of 0 in b
0.789 * [taylor]: Taking taylor expansion of 0 in d
0.789 * [taylor]: Taking taylor expansion of 0 in d
0.789 * [taylor]: Taking taylor expansion of 0 in d
0.791 * [taylor]: Taking taylor expansion of 0 in d
0.791 * [taylor]: Taking taylor expansion of 0 in d
0.791 * [taylor]: Taking taylor expansion of 0 in d
0.791 * [taylor]: Taking taylor expansion of 0 in d
0.795 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in (a c b d) around 0
0.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in d
0.795 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in d
0.795 * [taylor]: Taking taylor expansion of (* d b) in d
0.795 * [taylor]: Taking taylor expansion of d in d
0.795 * [taylor]: Taking taylor expansion of b in d
0.796 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in d
0.796 * [taylor]: Taking taylor expansion of (* a c) in d
0.796 * [taylor]: Taking taylor expansion of a in d
0.796 * [taylor]: Taking taylor expansion of c in d
0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in b
0.796 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.796 * [taylor]: Taking taylor expansion of (* d b) in b
0.796 * [taylor]: Taking taylor expansion of d in b
0.796 * [taylor]: Taking taylor expansion of b in b
0.797 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in b
0.797 * [taylor]: Taking taylor expansion of (* a c) in b
0.797 * [taylor]: Taking taylor expansion of a in b
0.797 * [taylor]: Taking taylor expansion of c in b
0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in c
0.798 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.798 * [taylor]: Taking taylor expansion of (* d b) in c
0.798 * [taylor]: Taking taylor expansion of d in c
0.798 * [taylor]: Taking taylor expansion of b in c
0.798 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in c
0.798 * [taylor]: Taking taylor expansion of (* a c) in c
0.798 * [taylor]: Taking taylor expansion of a in c
0.798 * [taylor]: Taking taylor expansion of c in c
0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.799 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.799 * [taylor]: Taking taylor expansion of (* d b) in a
0.799 * [taylor]: Taking taylor expansion of d in a
0.799 * [taylor]: Taking taylor expansion of b in a
0.799 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.799 * [taylor]: Taking taylor expansion of (* a c) in a
0.799 * [taylor]: Taking taylor expansion of a in a
0.799 * [taylor]: Taking taylor expansion of c in a
0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* a c))) in a
0.800 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in a
0.800 * [taylor]: Taking taylor expansion of (* d b) in a
0.800 * [taylor]: Taking taylor expansion of d in a
0.800 * [taylor]: Taking taylor expansion of b in a
0.800 * [taylor]: Taking taylor expansion of (/ 1 (* a c)) in a
0.800 * [taylor]: Taking taylor expansion of (* a c) in a
0.800 * [taylor]: Taking taylor expansion of a in a
0.800 * [taylor]: Taking taylor expansion of c in a
0.801 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.801 * [taylor]: Taking taylor expansion of c in c
0.801 * [taylor]: Taking taylor expansion of 1 in b
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in c
0.803 * [taylor]: Taking taylor expansion of (* d b) in c
0.803 * [taylor]: Taking taylor expansion of d in c
0.803 * [taylor]: Taking taylor expansion of b in c
0.803 * [taylor]: Taking taylor expansion of 0 in b
0.803 * [taylor]: Taking taylor expansion of 1 in d
0.806 * [taylor]: Taking taylor expansion of 0 in c
0.806 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b
0.806 * [taylor]: Taking taylor expansion of (* d b) in b
0.806 * [taylor]: Taking taylor expansion of d in b
0.806 * [taylor]: Taking taylor expansion of b in b
0.806 * [taylor]: Taking taylor expansion of (/ 1 d) in d
0.806 * [taylor]: Taking taylor expansion of d in d
0.807 * [taylor]: Taking taylor expansion of 0 in b
0.807 * [taylor]: Taking taylor expansion of 0 in d
0.807 * [taylor]: Taking taylor expansion of 0 in d
0.812 * [taylor]: Taking taylor expansion of 0 in c
0.812 * [taylor]: Taking taylor expansion of 0 in b
0.813 * [taylor]: Taking taylor expansion of 0 in b
0.814 * [taylor]: Taking taylor expansion of 0 in b
0.815 * [taylor]: Taking taylor expansion of 0 in d
0.815 * [taylor]: Taking taylor expansion of 0 in d
0.815 * [taylor]: Taking taylor expansion of 0 in d
0.815 * [taylor]: Taking taylor expansion of 0 in d
0.821 * [taylor]: Taking taylor expansion of 0 in c
0.821 * [taylor]: Taking taylor expansion of 0 in b
0.821 * [taylor]: Taking taylor expansion of 0 in b
0.823 * [taylor]: Taking taylor expansion of 0 in b
0.824 * [taylor]: Taking taylor expansion of 0 in b
0.824 * [taylor]: Taking taylor expansion of 0 in d
0.824 * [taylor]: Taking taylor expansion of 0 in d
0.824 * [taylor]: Taking taylor expansion of 0 in d
0.826 * [taylor]: Taking taylor expansion of 0 in d
0.826 * [taylor]: Taking taylor expansion of 0 in d
0.826 * [taylor]: Taking taylor expansion of 0 in d
0.826 * [taylor]: Taking taylor expansion of 0 in d
0.829 * * * [progress]: simplifying candidates
0.829 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   0
  0
  0
  0
  (+.f64 (*.f64 a c) (*.f64 d b))
  (+.f64 (*.f64 a c) (*.f64 d b))
0.830 * * [simplify]: iteration  0 :  9  enodes  (cost  24 )
0.830 * * [simplify]: iteration  1 :  9  enodes  (cost  24 )
0.830 * [simplify]: Simplified to:
   0
  0
  0
  0
  (+.f64 (*.f64 a c) (*.f64 d b))
  (+.f64 (*.f64 a c) (*.f64 d b))
0.830 * * * [progress]: adding candidates to table
0.833 * * [progress]: iteration 2 / 4
0.833 * * * [progress]: picking best candidate
0.833 * * * * [pick]: Picked  #<alt (λ (a b c d) 0)>
0.833 * * * [progress]: localizing error
0.834 * * * [progress]: generating rewritten candidates
0.834 * * * [progress]: generating series expansions
0.834 * * * [progress]: simplifying candidates
0.834 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
0.834 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
0.834 * [simplify]: Simplified to:
   
0.834 * * * [progress]: adding candidates to table
0.834 * [progress]: [Phase 3 of 3] Extracting.
0.834 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.835 * * * [regime-changes]: Trying 5 branch expressions: ((/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) d c b a)
0.835 * * * * [regimes]: Trying to branch on (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.844 * * * * [regimes]: Trying to branch on d from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.852 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.861 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.869 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c d) 0)> #<alt (λ (a b c d) (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))))>)
0.877 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.877 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
0.878 * * [simplify]: iteration  0 :  12  enodes  (cost  22 )
0.878 * * [simplify]: iteration  1 :  12  enodes  (cost  22 )
0.878 * [simplify]: Simplified to:
   (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d)))
1.507 * [regime-testing]: End program error score: 26.416368873927272
1.535 * [regime-testing]: Target error score: 0.5731645205863917