15.434 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.521 * * * [progress]: [2/2] Setting up program.
0.522 * [progress]: [Phase 2 of 3] Improving.
0.523 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
0.534 * * [simplify]: iteration  0 :  15  enodes  (cost  12 )
0.535 * * [simplify]: iteration  1 :  15  enodes  (cost  12 )
0.535 * [simplify]: Simplified to:
   (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
0.535 * * [progress]: iteration 1 / 4
0.535 * * * [progress]: picking best candidate
0.536 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))>
0.536 * * * [progress]: localizing error
0.544 * * * [progress]: generating rewritten candidates
0.544 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.548 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.552 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.562 * * * [progress]: generating series expansions
0.562 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.562 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.563 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.563 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.563 * [taylor]: Taking taylor expansion of A in l
0.563 * [taylor]: Taking taylor expansion of (* V l) in l
0.563 * [taylor]: Taking taylor expansion of V in l
0.563 * [taylor]: Taking taylor expansion of l in l
0.563 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.563 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.563 * [taylor]: Taking taylor expansion of A in V
0.563 * [taylor]: Taking taylor expansion of (* V l) in V
0.563 * [taylor]: Taking taylor expansion of V in V
0.563 * [taylor]: Taking taylor expansion of l in V
0.564 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.564 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.564 * [taylor]: Taking taylor expansion of A in A
0.564 * [taylor]: Taking taylor expansion of (* V l) in A
0.564 * [taylor]: Taking taylor expansion of V in A
0.564 * [taylor]: Taking taylor expansion of l in A
0.565 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.565 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.565 * [taylor]: Taking taylor expansion of A in A
0.565 * [taylor]: Taking taylor expansion of (* V l) in A
0.565 * [taylor]: Taking taylor expansion of V in A
0.565 * [taylor]: Taking taylor expansion of l in A
0.565 * [taylor]: Taking taylor expansion of 0 in V
0.565 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.565 * [taylor]: Taking taylor expansion of NAN in V
0.565 * [taylor]: Taking taylor expansion of (* V l) in V
0.565 * [taylor]: Taking taylor expansion of V in V
0.565 * [taylor]: Taking taylor expansion of l in V
0.566 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.566 * [taylor]: Taking taylor expansion of NAN in l
0.566 * [taylor]: Taking taylor expansion of l in l
0.566 * [taylor]: Taking taylor expansion of 0 in l
0.567 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.567 * [taylor]: Taking taylor expansion of NAN in V
0.567 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.567 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.567 * [taylor]: Taking taylor expansion of NAN in V
0.567 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.567 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.567 * [taylor]: Taking taylor expansion of V in V
0.567 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.567 * [taylor]: Taking taylor expansion of l in V
0.570 * [taylor]: Taking taylor expansion of 0 in l
0.571 * [taylor]: Taking taylor expansion of 0 in l
0.571 * [taylor]: Taking taylor expansion of 0 in l
0.574 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.574 * [taylor]: Taking taylor expansion of NAN in V
0.574 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.574 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.574 * [taylor]: Taking taylor expansion of NAN in V
0.574 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.574 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.574 * [taylor]: Taking taylor expansion of V in V
0.574 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.574 * [taylor]: Taking taylor expansion of l in V
0.581 * [taylor]: Taking taylor expansion of 0 in l
0.584 * [taylor]: Taking taylor expansion of 0 in l
0.585 * [taylor]: Taking taylor expansion of 0 in l
0.585 * [taylor]: Taking taylor expansion of 0 in l
0.586 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.586 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.586 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.586 * [taylor]: Taking taylor expansion of (* V l) in l
0.586 * [taylor]: Taking taylor expansion of V in l
0.586 * [taylor]: Taking taylor expansion of l in l
0.586 * [taylor]: Taking taylor expansion of A in l
0.587 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.587 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.587 * [taylor]: Taking taylor expansion of (* V l) in V
0.587 * [taylor]: Taking taylor expansion of V in V
0.587 * [taylor]: Taking taylor expansion of l in V
0.587 * [taylor]: Taking taylor expansion of A in V
0.588 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.588 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.588 * [taylor]: Taking taylor expansion of (* V l) in A
0.588 * [taylor]: Taking taylor expansion of V in A
0.588 * [taylor]: Taking taylor expansion of l in A
0.588 * [taylor]: Taking taylor expansion of A in A
0.588 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.588 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.588 * [taylor]: Taking taylor expansion of (* V l) in A
0.588 * [taylor]: Taking taylor expansion of V in A
0.588 * [taylor]: Taking taylor expansion of l in A
0.588 * [taylor]: Taking taylor expansion of A in A
0.589 * [taylor]: Taking taylor expansion of 0 in V
0.589 * [taylor]: Taking taylor expansion of 0 in l
0.589 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.589 * [taylor]: Taking taylor expansion of NAN in V
0.589 * [taylor]: Taking taylor expansion of (* V l) in V
0.589 * [taylor]: Taking taylor expansion of V in V
0.589 * [taylor]: Taking taylor expansion of l in V
0.589 * [taylor]: Taking taylor expansion of 0 in l
0.589 * [taylor]: Taking taylor expansion of 0 in l
0.590 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.590 * [taylor]: Taking taylor expansion of NAN in V
0.590 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.590 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.590 * [taylor]: Taking taylor expansion of V in V
0.590 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.591 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.591 * [taylor]: Taking taylor expansion of NAN in V
0.591 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.591 * [taylor]: Taking taylor expansion of l in V
0.591 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.591 * [taylor]: Taking taylor expansion of NAN in l
0.591 * [taylor]: Taking taylor expansion of l in l
0.591 * [taylor]: Taking taylor expansion of 0 in l
0.592 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.592 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.592 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.592 * [taylor]: Taking taylor expansion of -1 in l
0.592 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.592 * [taylor]: Taking taylor expansion of (* V l) in l
0.592 * [taylor]: Taking taylor expansion of V in l
0.592 * [taylor]: Taking taylor expansion of l in l
0.592 * [taylor]: Taking taylor expansion of A in l
0.593 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.593 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.593 * [taylor]: Taking taylor expansion of -1 in V
0.593 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.593 * [taylor]: Taking taylor expansion of (* V l) in V
0.593 * [taylor]: Taking taylor expansion of V in V
0.593 * [taylor]: Taking taylor expansion of l in V
0.593 * [taylor]: Taking taylor expansion of A in V
0.594 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.594 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.594 * [taylor]: Taking taylor expansion of -1 in A
0.594 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.594 * [taylor]: Taking taylor expansion of (* V l) in A
0.594 * [taylor]: Taking taylor expansion of V in A
0.594 * [taylor]: Taking taylor expansion of l in A
0.594 * [taylor]: Taking taylor expansion of A in A
0.594 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.594 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.594 * [taylor]: Taking taylor expansion of -1 in A
0.594 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.594 * [taylor]: Taking taylor expansion of (* V l) in A
0.594 * [taylor]: Taking taylor expansion of V in A
0.594 * [taylor]: Taking taylor expansion of l in A
0.594 * [taylor]: Taking taylor expansion of A in A
0.595 * [taylor]: Taking taylor expansion of 0 in V
0.595 * [taylor]: Taking taylor expansion of 0 in l
0.595 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.595 * [taylor]: Taking taylor expansion of NAN in V
0.595 * [taylor]: Taking taylor expansion of (* V l) in V
0.595 * [taylor]: Taking taylor expansion of V in V
0.595 * [taylor]: Taking taylor expansion of l in V
0.595 * [taylor]: Taking taylor expansion of 0 in l
0.595 * [taylor]: Taking taylor expansion of 0 in l
0.597 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.597 * [taylor]: Taking taylor expansion of NAN in V
0.597 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.597 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.597 * [taylor]: Taking taylor expansion of V in V
0.597 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.597 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.597 * [taylor]: Taking taylor expansion of NAN in V
0.597 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.597 * [taylor]: Taking taylor expansion of l in V
0.598 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.598 * [taylor]: Taking taylor expansion of NAN in l
0.598 * [taylor]: Taking taylor expansion of l in l
0.598 * [taylor]: Taking taylor expansion of 0 in l
0.598 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.598 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.598 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.598 * [taylor]: Taking taylor expansion of A in l
0.598 * [taylor]: Taking taylor expansion of (* V l) in l
0.598 * [taylor]: Taking taylor expansion of V in l
0.598 * [taylor]: Taking taylor expansion of l in l
0.598 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.598 * [taylor]: Taking taylor expansion of A in V
0.598 * [taylor]: Taking taylor expansion of (* V l) in V
0.598 * [taylor]: Taking taylor expansion of V in V
0.598 * [taylor]: Taking taylor expansion of l in V
0.599 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.599 * [taylor]: Taking taylor expansion of A in A
0.599 * [taylor]: Taking taylor expansion of (* V l) in A
0.599 * [taylor]: Taking taylor expansion of V in A
0.599 * [taylor]: Taking taylor expansion of l in A
0.599 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.599 * [taylor]: Taking taylor expansion of A in A
0.599 * [taylor]: Taking taylor expansion of (* V l) in A
0.599 * [taylor]: Taking taylor expansion of V in A
0.599 * [taylor]: Taking taylor expansion of l in A
0.599 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.599 * [taylor]: Taking taylor expansion of (* V l) in V
0.599 * [taylor]: Taking taylor expansion of V in V
0.599 * [taylor]: Taking taylor expansion of l in V
0.599 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.599 * [taylor]: Taking taylor expansion of l in l
0.600 * [taylor]: Taking taylor expansion of 0 in V
0.601 * [taylor]: Taking taylor expansion of 0 in l
0.602 * [taylor]: Taking taylor expansion of 0 in V
0.602 * [taylor]: Taking taylor expansion of 0 in l
0.603 * [taylor]: Taking taylor expansion of 0 in l
0.604 * [taylor]: Taking taylor expansion of 0 in V
0.604 * [taylor]: Taking taylor expansion of 0 in l
0.604 * [taylor]: Taking taylor expansion of 0 in l
0.605 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.606 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.606 * [taylor]: Taking taylor expansion of (* V l) in l
0.606 * [taylor]: Taking taylor expansion of V in l
0.606 * [taylor]: Taking taylor expansion of l in l
0.606 * [taylor]: Taking taylor expansion of A in l
0.606 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.606 * [taylor]: Taking taylor expansion of (* V l) in V
0.606 * [taylor]: Taking taylor expansion of V in V
0.606 * [taylor]: Taking taylor expansion of l in V
0.606 * [taylor]: Taking taylor expansion of A in V
0.606 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.606 * [taylor]: Taking taylor expansion of (* V l) in A
0.606 * [taylor]: Taking taylor expansion of V in A
0.606 * [taylor]: Taking taylor expansion of l in A
0.606 * [taylor]: Taking taylor expansion of A in A
0.606 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.606 * [taylor]: Taking taylor expansion of (* V l) in A
0.607 * [taylor]: Taking taylor expansion of V in A
0.607 * [taylor]: Taking taylor expansion of l in A
0.607 * [taylor]: Taking taylor expansion of A in A
0.607 * [taylor]: Taking taylor expansion of (* V l) in V
0.607 * [taylor]: Taking taylor expansion of V in V
0.607 * [taylor]: Taking taylor expansion of l in V
0.607 * [taylor]: Taking taylor expansion of l in l
0.607 * [taylor]: Taking taylor expansion of 0 in V
0.608 * [taylor]: Taking taylor expansion of 0 in l
0.608 * [taylor]: Taking taylor expansion of 0 in l
0.608 * [taylor]: Taking taylor expansion of 0 in V
0.608 * [taylor]: Taking taylor expansion of 0 in l
0.608 * [taylor]: Taking taylor expansion of 0 in l
0.609 * [taylor]: Taking taylor expansion of 0 in l
0.610 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.610 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.610 * [taylor]: Taking taylor expansion of -1 in l
0.610 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.610 * [taylor]: Taking taylor expansion of (* V l) in l
0.610 * [taylor]: Taking taylor expansion of V in l
0.610 * [taylor]: Taking taylor expansion of l in l
0.610 * [taylor]: Taking taylor expansion of A in l
0.610 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.610 * [taylor]: Taking taylor expansion of -1 in V
0.610 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.610 * [taylor]: Taking taylor expansion of (* V l) in V
0.610 * [taylor]: Taking taylor expansion of V in V
0.610 * [taylor]: Taking taylor expansion of l in V
0.610 * [taylor]: Taking taylor expansion of A in V
0.611 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.611 * [taylor]: Taking taylor expansion of -1 in A
0.611 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.611 * [taylor]: Taking taylor expansion of (* V l) in A
0.611 * [taylor]: Taking taylor expansion of V in A
0.611 * [taylor]: Taking taylor expansion of l in A
0.611 * [taylor]: Taking taylor expansion of A in A
0.611 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.611 * [taylor]: Taking taylor expansion of -1 in A
0.611 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.611 * [taylor]: Taking taylor expansion of (* V l) in A
0.611 * [taylor]: Taking taylor expansion of V in A
0.611 * [taylor]: Taking taylor expansion of l in A
0.611 * [taylor]: Taking taylor expansion of A in A
0.611 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.611 * [taylor]: Taking taylor expansion of -1 in V
0.611 * [taylor]: Taking taylor expansion of (* V l) in V
0.611 * [taylor]: Taking taylor expansion of V in V
0.611 * [taylor]: Taking taylor expansion of l in V
0.612 * [taylor]: Taking taylor expansion of (neg l) in l
0.612 * [taylor]: Taking taylor expansion of l in l
0.612 * [taylor]: Taking taylor expansion of 0 in V
0.612 * [taylor]: Taking taylor expansion of 0 in l
0.613 * [taylor]: Taking taylor expansion of 0 in l
0.614 * [taylor]: Taking taylor expansion of 0 in V
0.614 * [taylor]: Taking taylor expansion of 0 in l
0.614 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.616 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.616 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.616 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.616 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.616 * [taylor]: Taking taylor expansion of A in l
0.616 * [taylor]: Taking taylor expansion of (* V l) in l
0.616 * [taylor]: Taking taylor expansion of V in l
0.616 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of c0 in l
0.616 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.616 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.616 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.616 * [taylor]: Taking taylor expansion of A in V
0.616 * [taylor]: Taking taylor expansion of (* V l) in V
0.616 * [taylor]: Taking taylor expansion of V in V
0.616 * [taylor]: Taking taylor expansion of l in V
0.617 * [taylor]: Taking taylor expansion of c0 in V
0.617 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.617 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.617 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.617 * [taylor]: Taking taylor expansion of A in A
0.617 * [taylor]: Taking taylor expansion of (* V l) in A
0.617 * [taylor]: Taking taylor expansion of V in A
0.617 * [taylor]: Taking taylor expansion of l in A
0.618 * [taylor]: Taking taylor expansion of c0 in A
0.618 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.618 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.618 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.618 * [taylor]: Taking taylor expansion of A in c0
0.618 * [taylor]: Taking taylor expansion of (* V l) in c0
0.618 * [taylor]: Taking taylor expansion of V in c0
0.618 * [taylor]: Taking taylor expansion of l in c0
0.619 * [taylor]: Taking taylor expansion of c0 in c0
0.619 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.619 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.619 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.619 * [taylor]: Taking taylor expansion of A in c0
0.619 * [taylor]: Taking taylor expansion of (* V l) in c0
0.619 * [taylor]: Taking taylor expansion of V in c0
0.619 * [taylor]: Taking taylor expansion of l in c0
0.620 * [taylor]: Taking taylor expansion of c0 in c0
0.620 * [taylor]: Taking taylor expansion of 0 in A
0.620 * [taylor]: Taking taylor expansion of 0 in V
0.621 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.621 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.621 * [taylor]: Taking taylor expansion of A in A
0.621 * [taylor]: Taking taylor expansion of (* V l) in A
0.621 * [taylor]: Taking taylor expansion of V in A
0.621 * [taylor]: Taking taylor expansion of l in A
0.621 * [taylor]: Taking taylor expansion of 0 in V
0.621 * [taylor]: Taking taylor expansion of 0 in V
0.621 * [taylor]: Taking taylor expansion of 0 in l
0.623 * [taylor]: Taking taylor expansion of 0 in A
0.623 * [taylor]: Taking taylor expansion of 0 in V
0.623 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.623 * [taylor]: Taking taylor expansion of NAN in V
0.623 * [taylor]: Taking taylor expansion of (* V l) in V
0.623 * [taylor]: Taking taylor expansion of V in V
0.623 * [taylor]: Taking taylor expansion of l in V
0.623 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.623 * [taylor]: Taking taylor expansion of NAN in l
0.623 * [taylor]: Taking taylor expansion of l in l
0.624 * [taylor]: Taking taylor expansion of 0 in V
0.624 * [taylor]: Taking taylor expansion of 0 in l
0.624 * [taylor]: Taking taylor expansion of 0 in l
0.624 * [taylor]: Taking taylor expansion of 0 in l
0.626 * [taylor]: Taking taylor expansion of 0 in A
0.626 * [taylor]: Taking taylor expansion of 0 in V
0.626 * [taylor]: Taking taylor expansion of 0 in V
0.627 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.627 * [taylor]: Taking taylor expansion of NAN in V
0.627 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.627 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.627 * [taylor]: Taking taylor expansion of NAN in V
0.627 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.627 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.627 * [taylor]: Taking taylor expansion of V in V
0.627 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.627 * [taylor]: Taking taylor expansion of l in V
0.629 * [taylor]: Taking taylor expansion of 0 in l
0.629 * [taylor]: Taking taylor expansion of 0 in V
0.629 * [taylor]: Taking taylor expansion of 0 in l
0.630 * [taylor]: Taking taylor expansion of 0 in l
0.630 * [taylor]: Taking taylor expansion of 0 in l
0.630 * [taylor]: Taking taylor expansion of 0 in l
0.630 * [taylor]: Taking taylor expansion of 0 in l
0.630 * [taylor]: Taking taylor expansion of 0 in l
0.631 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.631 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.631 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.631 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.631 * [taylor]: Taking taylor expansion of (* V l) in l
0.631 * [taylor]: Taking taylor expansion of V in l
0.631 * [taylor]: Taking taylor expansion of l in l
0.631 * [taylor]: Taking taylor expansion of A in l
0.632 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.632 * [taylor]: Taking taylor expansion of c0 in l
0.632 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.632 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.632 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.632 * [taylor]: Taking taylor expansion of (* V l) in V
0.632 * [taylor]: Taking taylor expansion of V in V
0.632 * [taylor]: Taking taylor expansion of l in V
0.632 * [taylor]: Taking taylor expansion of A in V
0.633 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.633 * [taylor]: Taking taylor expansion of c0 in V
0.633 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.633 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.633 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.633 * [taylor]: Taking taylor expansion of (* V l) in A
0.633 * [taylor]: Taking taylor expansion of V in A
0.633 * [taylor]: Taking taylor expansion of l in A
0.633 * [taylor]: Taking taylor expansion of A in A
0.633 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.633 * [taylor]: Taking taylor expansion of c0 in A
0.633 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.633 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.633 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.633 * [taylor]: Taking taylor expansion of (* V l) in c0
0.633 * [taylor]: Taking taylor expansion of V in c0
0.633 * [taylor]: Taking taylor expansion of l in c0
0.633 * [taylor]: Taking taylor expansion of A in c0
0.634 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.634 * [taylor]: Taking taylor expansion of c0 in c0
0.635 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.635 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.635 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.635 * [taylor]: Taking taylor expansion of (* V l) in c0
0.635 * [taylor]: Taking taylor expansion of V in c0
0.635 * [taylor]: Taking taylor expansion of l in c0
0.635 * [taylor]: Taking taylor expansion of A in c0
0.636 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.636 * [taylor]: Taking taylor expansion of c0 in c0
0.636 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.636 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.636 * [taylor]: Taking taylor expansion of (* V l) in A
0.636 * [taylor]: Taking taylor expansion of V in A
0.636 * [taylor]: Taking taylor expansion of l in A
0.636 * [taylor]: Taking taylor expansion of A in A
0.637 * [taylor]: Taking taylor expansion of 0 in V
0.637 * [taylor]: Taking taylor expansion of 0 in l
0.637 * [taylor]: Taking taylor expansion of 0 in A
0.637 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.637 * [taylor]: Taking taylor expansion of NAN in V
0.637 * [taylor]: Taking taylor expansion of (* V l) in V
0.637 * [taylor]: Taking taylor expansion of V in V
0.637 * [taylor]: Taking taylor expansion of l in V
0.637 * [taylor]: Taking taylor expansion of 0 in l
0.637 * [taylor]: Taking taylor expansion of 0 in l
0.641 * [taylor]: Taking taylor expansion of 0 in A
0.641 * [taylor]: Taking taylor expansion of 0 in V
0.641 * [taylor]: Taking taylor expansion of 0 in l
0.642 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.642 * [taylor]: Taking taylor expansion of NAN in V
0.642 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.642 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.642 * [taylor]: Taking taylor expansion of V in V
0.642 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.642 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.642 * [taylor]: Taking taylor expansion of NAN in V
0.642 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.642 * [taylor]: Taking taylor expansion of l in V
0.643 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.643 * [taylor]: Taking taylor expansion of NAN in l
0.643 * [taylor]: Taking taylor expansion of l in l
0.644 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.644 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.644 * [taylor]: Taking taylor expansion of -1 in l
0.644 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.644 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.644 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.644 * [taylor]: Taking taylor expansion of -1 in l
0.644 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.644 * [taylor]: Taking taylor expansion of (* V l) in l
0.644 * [taylor]: Taking taylor expansion of V in l
0.644 * [taylor]: Taking taylor expansion of l in l
0.644 * [taylor]: Taking taylor expansion of A in l
0.645 * [taylor]: Taking taylor expansion of c0 in l
0.645 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.645 * [taylor]: Taking taylor expansion of -1 in V
0.645 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.645 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.645 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.645 * [taylor]: Taking taylor expansion of -1 in V
0.645 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.645 * [taylor]: Taking taylor expansion of (* V l) in V
0.645 * [taylor]: Taking taylor expansion of V in V
0.645 * [taylor]: Taking taylor expansion of l in V
0.645 * [taylor]: Taking taylor expansion of A in V
0.646 * [taylor]: Taking taylor expansion of c0 in V
0.646 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.646 * [taylor]: Taking taylor expansion of -1 in A
0.646 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.646 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.646 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.646 * [taylor]: Taking taylor expansion of -1 in A
0.646 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.646 * [taylor]: Taking taylor expansion of (* V l) in A
0.646 * [taylor]: Taking taylor expansion of V in A
0.646 * [taylor]: Taking taylor expansion of l in A
0.646 * [taylor]: Taking taylor expansion of A in A
0.647 * [taylor]: Taking taylor expansion of c0 in A
0.647 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.647 * [taylor]: Taking taylor expansion of -1 in c0
0.647 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.647 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.647 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.647 * [taylor]: Taking taylor expansion of -1 in c0
0.647 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.647 * [taylor]: Taking taylor expansion of (* V l) in c0
0.647 * [taylor]: Taking taylor expansion of V in c0
0.647 * [taylor]: Taking taylor expansion of l in c0
0.647 * [taylor]: Taking taylor expansion of A in c0
0.649 * [taylor]: Taking taylor expansion of c0 in c0
0.649 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.649 * [taylor]: Taking taylor expansion of -1 in c0
0.649 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.649 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.649 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.649 * [taylor]: Taking taylor expansion of -1 in c0
0.649 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.649 * [taylor]: Taking taylor expansion of (* V l) in c0
0.649 * [taylor]: Taking taylor expansion of V in c0
0.649 * [taylor]: Taking taylor expansion of l in c0
0.649 * [taylor]: Taking taylor expansion of A in c0
0.651 * [taylor]: Taking taylor expansion of c0 in c0
0.651 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.651 * [taylor]: Taking taylor expansion of -1 in A
0.651 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.651 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.651 * [taylor]: Taking taylor expansion of -1 in A
0.651 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.651 * [taylor]: Taking taylor expansion of (* V l) in A
0.651 * [taylor]: Taking taylor expansion of V in A
0.651 * [taylor]: Taking taylor expansion of l in A
0.651 * [taylor]: Taking taylor expansion of A in A
0.652 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
0.652 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
0.652 * [taylor]: Taking taylor expansion of V in V
0.652 * [taylor]: Taking taylor expansion of (* NAN l) in V
0.652 * [taylor]: Taking taylor expansion of NAN in V
0.652 * [taylor]: Taking taylor expansion of l in V
0.653 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
0.653 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.653 * [taylor]: Taking taylor expansion of NAN in l
0.653 * [taylor]: Taking taylor expansion of l in l
0.654 * [taylor]: Taking taylor expansion of 0 in A
0.654 * [taylor]: Taking taylor expansion of 0 in V
0.654 * [taylor]: Taking taylor expansion of 0 in l
0.656 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
0.656 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
0.656 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.656 * [taylor]: Taking taylor expansion of V in V
0.656 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
0.656 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
0.656 * [taylor]: Taking taylor expansion of NAN in V
0.656 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.656 * [taylor]: Taking taylor expansion of l in V
0.657 * [taylor]: Taking taylor expansion of 0 in l
0.660 * [taylor]: Taking taylor expansion of 0 in A
0.660 * [taylor]: Taking taylor expansion of 0 in V
0.660 * [taylor]: Taking taylor expansion of 0 in l
0.660 * [taylor]: Taking taylor expansion of 0 in V
0.660 * [taylor]: Taking taylor expansion of 0 in l
0.663 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
0.663 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
0.663 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.663 * [taylor]: Taking taylor expansion of V in V
0.663 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
0.663 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
0.663 * [taylor]: Taking taylor expansion of NAN in V
0.663 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.663 * [taylor]: Taking taylor expansion of l in V
0.663 * [taylor]: Taking taylor expansion of 0 in l
0.664 * * * [progress]: simplifying candidates
0.665 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (/.f64 1 2)
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l)))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  (sqrt.f64 1)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (-.f64 (log.f64 A) (+.f64 (log.f64 V) (log.f64 l)))
  (-.f64 (log.f64 A) (log.f64 (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (*.f64 (*.f64 (/.f64 A (*.f64 V l)) (/.f64 A (*.f64 V l))) (/.f64 A (*.f64 V l)))
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V l) (*.f64 V l)) (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V V) V) (*.f64 (*.f64 l l) l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 (*.f64 V l) A)
  (/.f64 1 (*.f64 V l))
  (/.f64 (*.f64 V l) (cbrt.f64 A))
  (/.f64 (*.f64 V l) (sqrt.f64 A))
  (/.f64 (*.f64 V l) A)
  (/.f64 A V)
  (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (exp.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (log.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (*.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))) (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))) (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))))
  (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (*.f64 (*.f64 c0 c0) c0) (*.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 c0 (sqrt.f64 A))
  (*.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 c0 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))
  (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 c0 (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))))
  (*.f64 c0 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (*.f64 c0 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)))
  (*.f64 c0 (sqrt.f64 (/.f64 (sqrt.f64 A) V)))
  (*.f64 c0 (sqrt.f64 (/.f64 1 V)))
  (*.f64 c0 (sqrt.f64 1))
  (*.f64 c0 (sqrt.f64 A))
  (*.f64 c0 1)
  (/.f64 (*.f64 A NAN.f64) (*.f64 V l))
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 (*.f64 A (*.f64 NAN.f64 c0)) (*.f64 V l))
  0
  (/.f64 (*.f64 c0 NAN.f64) (*.f64 V l))
0.778 * * [simplify]: iteration  0 :  4790  enodes  (cost  857 )
0.778 * * [simplify]: iteration  1 :  4790  enodes  (cost  857 )
0.783 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  1/2
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  1
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 V (/.f64 A l))
  (/.f64 1 (*.f64 V l))
  (/.f64 V (/.f64 (cbrt.f64 A) l))
  (/.f64 V (/.f64 (sqrt.f64 A) l))
  (/.f64 V (/.f64 A l))
  (/.f64 A V)
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
  (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 A) c0)
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0)
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) c0)
  (*.f64 (sqrt.f64 (/.f64 (sqrt.f64 A) V)) c0)
  (*.f64 (sqrt.f64 (/.f64 1 V)) c0)
  c0
  (*.f64 (sqrt.f64 A) c0)
  c0
  (*.f64 (/.f64 A (*.f64 V l)) NAN.f64)
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 NAN.f64))
  0
  (/.f64 (*.f64 c0 NAN.f64) (*.f64 V l))
0.783 * * * [progress]: adding candidates to table
0.841 * * [progress]: iteration 2 / 4
0.841 * * * [progress]: picking best candidate
0.853 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))>
0.853 * * * [progress]: localizing error
0.860 * * * [progress]: generating rewritten candidates
0.860 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.866 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.879 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.892 * * * [progress]: generating series expansions
0.892 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.893 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (V A l) around 0
0.893 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.893 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.893 * [taylor]: Taking taylor expansion of A in l
0.893 * [taylor]: Taking taylor expansion of (* V l) in l
0.893 * [taylor]: Taking taylor expansion of V in l
0.893 * [taylor]: Taking taylor expansion of l in l
0.893 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.893 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.893 * [taylor]: Taking taylor expansion of A in A
0.893 * [taylor]: Taking taylor expansion of (* V l) in A
0.893 * [taylor]: Taking taylor expansion of V in A
0.893 * [taylor]: Taking taylor expansion of l in A
0.894 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.894 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.894 * [taylor]: Taking taylor expansion of A in V
0.894 * [taylor]: Taking taylor expansion of (* V l) in V
0.894 * [taylor]: Taking taylor expansion of V in V
0.894 * [taylor]: Taking taylor expansion of l in V
0.895 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.895 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.895 * [taylor]: Taking taylor expansion of A in V
0.895 * [taylor]: Taking taylor expansion of (* V l) in V
0.895 * [taylor]: Taking taylor expansion of V in V
0.895 * [taylor]: Taking taylor expansion of l in V
0.895 * [taylor]: Taking taylor expansion of 0 in A
0.895 * [taylor]: Taking taylor expansion of 0 in l
0.895 * [taylor]: Taking taylor expansion of (* NAN (/ A l)) in A
0.895 * [taylor]: Taking taylor expansion of NAN in A
0.895 * [taylor]: Taking taylor expansion of (/ A l) in A
0.895 * [taylor]: Taking taylor expansion of A in A
0.895 * [taylor]: Taking taylor expansion of l in A
0.896 * [taylor]: Taking taylor expansion of 0 in l
0.897 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow A 2) (pow NAN 2)) (pow l 2))) in A
0.897 * [taylor]: Taking taylor expansion of NAN in A
0.897 * [taylor]: Taking taylor expansion of (/ (* (pow A 2) (pow NAN 2)) (pow l 2)) in A
0.897 * [taylor]: Taking taylor expansion of (* (pow A 2) (pow NAN 2)) in A
0.897 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.897 * [taylor]: Taking taylor expansion of A in A
0.897 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.897 * [taylor]: Taking taylor expansion of NAN in A
0.897 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.897 * [taylor]: Taking taylor expansion of l in A
0.898 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.898 * [taylor]: Taking taylor expansion of NAN in l
0.898 * [taylor]: Taking taylor expansion of l in l
0.898 * [taylor]: Taking taylor expansion of 0 in l
0.900 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow A 3)) (pow l 3))) in A
0.900 * [taylor]: Taking taylor expansion of NAN in A
0.900 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow A 3)) (pow l 3)) in A
0.900 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow A 3)) in A
0.900 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.900 * [taylor]: Taking taylor expansion of NAN in A
0.900 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.900 * [taylor]: Taking taylor expansion of A in A
0.900 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.900 * [taylor]: Taking taylor expansion of l in A
0.902 * [taylor]: Taking taylor expansion of 0 in l
0.902 * [taylor]: Taking taylor expansion of 0 in l
0.903 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (V A l) around 0
0.903 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.903 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.903 * [taylor]: Taking taylor expansion of (* V l) in l
0.903 * [taylor]: Taking taylor expansion of V in l
0.903 * [taylor]: Taking taylor expansion of l in l
0.903 * [taylor]: Taking taylor expansion of A in l
0.904 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.904 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.904 * [taylor]: Taking taylor expansion of (* V l) in A
0.904 * [taylor]: Taking taylor expansion of V in A
0.904 * [taylor]: Taking taylor expansion of l in A
0.904 * [taylor]: Taking taylor expansion of A in A
0.904 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.904 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.904 * [taylor]: Taking taylor expansion of (* V l) in V
0.904 * [taylor]: Taking taylor expansion of V in V
0.904 * [taylor]: Taking taylor expansion of l in V
0.905 * [taylor]: Taking taylor expansion of A in V
0.905 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.905 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.905 * [taylor]: Taking taylor expansion of (* V l) in V
0.905 * [taylor]: Taking taylor expansion of V in V
0.905 * [taylor]: Taking taylor expansion of l in V
0.905 * [taylor]: Taking taylor expansion of A in V
0.906 * [taylor]: Taking taylor expansion of 0 in A
0.906 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.906 * [taylor]: Taking taylor expansion of NAN in A
0.906 * [taylor]: Taking taylor expansion of (/ l A) in A
0.906 * [taylor]: Taking taylor expansion of l in A
0.906 * [taylor]: Taking taylor expansion of A in A
0.906 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.906 * [taylor]: Taking taylor expansion of NAN in l
0.906 * [taylor]: Taking taylor expansion of l in l
0.906 * [taylor]: Taking taylor expansion of 0 in l
0.907 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.907 * [taylor]: Taking taylor expansion of NAN in A
0.908 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.908 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.908 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.908 * [taylor]: Taking taylor expansion of NAN in A
0.908 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.908 * [taylor]: Taking taylor expansion of l in A
0.908 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.908 * [taylor]: Taking taylor expansion of A in A
0.910 * [taylor]: Taking taylor expansion of 0 in l
0.911 * [taylor]: Taking taylor expansion of 0 in l
0.911 * [taylor]: Taking taylor expansion of 0 in l
0.913 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow l 3)) (pow A 3))) in A
0.913 * [taylor]: Taking taylor expansion of NAN in A
0.913 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow l 3)) (pow A 3)) in A
0.913 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 3)) in A
0.913 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.913 * [taylor]: Taking taylor expansion of NAN in A
0.913 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.913 * [taylor]: Taking taylor expansion of l in A
0.913 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.913 * [taylor]: Taking taylor expansion of A in A
0.920 * [taylor]: Taking taylor expansion of 0 in l
0.923 * [taylor]: Taking taylor expansion of 0 in l
0.924 * [taylor]: Taking taylor expansion of 0 in l
0.924 * [taylor]: Taking taylor expansion of 0 in l
0.925 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (V A l) around 0
0.925 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.925 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.925 * [taylor]: Taking taylor expansion of -1 in l
0.925 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.925 * [taylor]: Taking taylor expansion of (* V l) in l
0.925 * [taylor]: Taking taylor expansion of V in l
0.925 * [taylor]: Taking taylor expansion of l in l
0.925 * [taylor]: Taking taylor expansion of A in l
0.926 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.926 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.926 * [taylor]: Taking taylor expansion of -1 in A
0.926 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.926 * [taylor]: Taking taylor expansion of (* V l) in A
0.926 * [taylor]: Taking taylor expansion of V in A
0.926 * [taylor]: Taking taylor expansion of l in A
0.926 * [taylor]: Taking taylor expansion of A in A
0.927 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.927 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.927 * [taylor]: Taking taylor expansion of -1 in V
0.927 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.927 * [taylor]: Taking taylor expansion of (* V l) in V
0.927 * [taylor]: Taking taylor expansion of V in V
0.927 * [taylor]: Taking taylor expansion of l in V
0.927 * [taylor]: Taking taylor expansion of A in V
0.928 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.928 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.928 * [taylor]: Taking taylor expansion of -1 in V
0.928 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.928 * [taylor]: Taking taylor expansion of (* V l) in V
0.928 * [taylor]: Taking taylor expansion of V in V
0.928 * [taylor]: Taking taylor expansion of l in V
0.928 * [taylor]: Taking taylor expansion of A in V
0.929 * [taylor]: Taking taylor expansion of 0 in A
0.929 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.929 * [taylor]: Taking taylor expansion of NAN in A
0.929 * [taylor]: Taking taylor expansion of (/ l A) in A
0.929 * [taylor]: Taking taylor expansion of l in A
0.929 * [taylor]: Taking taylor expansion of A in A
0.929 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.929 * [taylor]: Taking taylor expansion of NAN in l
0.929 * [taylor]: Taking taylor expansion of l in l
0.929 * [taylor]: Taking taylor expansion of 0 in l
0.930 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.930 * [taylor]: Taking taylor expansion of NAN in A
0.930 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.930 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.930 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.930 * [taylor]: Taking taylor expansion of NAN in A
0.930 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.930 * [taylor]: Taking taylor expansion of l in A
0.931 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.931 * [taylor]: Taking taylor expansion of A in A
0.933 * [taylor]: Taking taylor expansion of 0 in l
0.933 * [taylor]: Taking taylor expansion of 0 in l
0.933 * [taylor]: Taking taylor expansion of 0 in l
0.936 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow l 3)) (pow A 3))) in A
0.936 * [taylor]: Taking taylor expansion of NAN in A
0.936 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow l 3)) (pow A 3)) in A
0.936 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 3)) in A
0.936 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.936 * [taylor]: Taking taylor expansion of NAN in A
0.936 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.936 * [taylor]: Taking taylor expansion of l in A
0.936 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.936 * [taylor]: Taking taylor expansion of A in A
0.942 * [taylor]: Taking taylor expansion of 0 in l
0.944 * [taylor]: Taking taylor expansion of 0 in l
0.945 * [taylor]: Taking taylor expansion of 0 in l
0.945 * [taylor]: Taking taylor expansion of 0 in l
0.946 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.946 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (V A l) around 0
0.946 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.946 * [taylor]: Taking taylor expansion of A in l
0.946 * [taylor]: Taking taylor expansion of (* V l) in l
0.946 * [taylor]: Taking taylor expansion of V in l
0.946 * [taylor]: Taking taylor expansion of l in l
0.946 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.946 * [taylor]: Taking taylor expansion of A in A
0.946 * [taylor]: Taking taylor expansion of (* V l) in A
0.946 * [taylor]: Taking taylor expansion of V in A
0.946 * [taylor]: Taking taylor expansion of l in A
0.947 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.947 * [taylor]: Taking taylor expansion of A in V
0.947 * [taylor]: Taking taylor expansion of (* V l) in V
0.947 * [taylor]: Taking taylor expansion of V in V
0.947 * [taylor]: Taking taylor expansion of l in V
0.947 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.947 * [taylor]: Taking taylor expansion of A in V
0.947 * [taylor]: Taking taylor expansion of (* V l) in V
0.947 * [taylor]: Taking taylor expansion of V in V
0.947 * [taylor]: Taking taylor expansion of l in V
0.947 * [taylor]: Taking taylor expansion of (/ A l) in A
0.947 * [taylor]: Taking taylor expansion of A in A
0.947 * [taylor]: Taking taylor expansion of l in A
0.947 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.947 * [taylor]: Taking taylor expansion of l in l
0.948 * [taylor]: Taking taylor expansion of 0 in A
0.948 * [taylor]: Taking taylor expansion of 0 in l
0.948 * [taylor]: Taking taylor expansion of 0 in l
0.949 * [taylor]: Taking taylor expansion of 0 in A
0.949 * [taylor]: Taking taylor expansion of 0 in l
0.949 * [taylor]: Taking taylor expansion of 0 in l
0.950 * [taylor]: Taking taylor expansion of 0 in l
0.951 * [taylor]: Taking taylor expansion of 0 in A
0.951 * [taylor]: Taking taylor expansion of 0 in l
0.951 * [taylor]: Taking taylor expansion of 0 in l
0.951 * [taylor]: Taking taylor expansion of 0 in l
0.952 * [taylor]: Taking taylor expansion of 0 in l
0.953 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (V A l) around 0
0.953 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.953 * [taylor]: Taking taylor expansion of (* V l) in l
0.953 * [taylor]: Taking taylor expansion of V in l
0.953 * [taylor]: Taking taylor expansion of l in l
0.953 * [taylor]: Taking taylor expansion of A in l
0.953 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.953 * [taylor]: Taking taylor expansion of (* V l) in A
0.953 * [taylor]: Taking taylor expansion of V in A
0.953 * [taylor]: Taking taylor expansion of l in A
0.953 * [taylor]: Taking taylor expansion of A in A
0.953 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.953 * [taylor]: Taking taylor expansion of (* V l) in V
0.953 * [taylor]: Taking taylor expansion of V in V
0.953 * [taylor]: Taking taylor expansion of l in V
0.953 * [taylor]: Taking taylor expansion of A in V
0.953 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.953 * [taylor]: Taking taylor expansion of (* V l) in V
0.953 * [taylor]: Taking taylor expansion of V in V
0.953 * [taylor]: Taking taylor expansion of l in V
0.954 * [taylor]: Taking taylor expansion of A in V
0.954 * [taylor]: Taking taylor expansion of (/ l A) in A
0.954 * [taylor]: Taking taylor expansion of l in A
0.954 * [taylor]: Taking taylor expansion of A in A
0.954 * [taylor]: Taking taylor expansion of l in l
0.955 * [taylor]: Taking taylor expansion of 0 in A
0.955 * [taylor]: Taking taylor expansion of 0 in l
0.956 * [taylor]: Taking taylor expansion of 0 in A
0.956 * [taylor]: Taking taylor expansion of 0 in l
0.956 * [taylor]: Taking taylor expansion of 0 in l
0.957 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (V A l) around 0
0.957 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.957 * [taylor]: Taking taylor expansion of -1 in l
0.957 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.957 * [taylor]: Taking taylor expansion of (* V l) in l
0.957 * [taylor]: Taking taylor expansion of V in l
0.957 * [taylor]: Taking taylor expansion of l in l
0.957 * [taylor]: Taking taylor expansion of A in l
0.957 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.957 * [taylor]: Taking taylor expansion of -1 in A
0.957 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.958 * [taylor]: Taking taylor expansion of (* V l) in A
0.958 * [taylor]: Taking taylor expansion of V in A
0.958 * [taylor]: Taking taylor expansion of l in A
0.958 * [taylor]: Taking taylor expansion of A in A
0.958 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.958 * [taylor]: Taking taylor expansion of -1 in V
0.958 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.958 * [taylor]: Taking taylor expansion of (* V l) in V
0.958 * [taylor]: Taking taylor expansion of V in V
0.958 * [taylor]: Taking taylor expansion of l in V
0.958 * [taylor]: Taking taylor expansion of A in V
0.958 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.958 * [taylor]: Taking taylor expansion of -1 in V
0.958 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.958 * [taylor]: Taking taylor expansion of (* V l) in V
0.958 * [taylor]: Taking taylor expansion of V in V
0.958 * [taylor]: Taking taylor expansion of l in V
0.958 * [taylor]: Taking taylor expansion of A in V
0.959 * [taylor]: Taking taylor expansion of (* -1 (/ l A)) in A
0.959 * [taylor]: Taking taylor expansion of -1 in A
0.959 * [taylor]: Taking taylor expansion of (/ l A) in A
0.959 * [taylor]: Taking taylor expansion of l in A
0.959 * [taylor]: Taking taylor expansion of A in A
0.959 * [taylor]: Taking taylor expansion of (* -1 l) in l
0.959 * [taylor]: Taking taylor expansion of -1 in l
0.959 * [taylor]: Taking taylor expansion of l in l
0.960 * [taylor]: Taking taylor expansion of 0 in A
0.960 * [taylor]: Taking taylor expansion of 0 in l
0.962 * [taylor]: Taking taylor expansion of 0 in A
0.962 * [taylor]: Taking taylor expansion of 0 in l
0.962 * [taylor]: Taking taylor expansion of 0 in l
0.963 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.964 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 V A l) around 0
0.964 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.964 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.964 * [taylor]: Taking taylor expansion of A in l
0.964 * [taylor]: Taking taylor expansion of (* V l) in l
0.964 * [taylor]: Taking taylor expansion of V in l
0.964 * [taylor]: Taking taylor expansion of l in l
0.964 * [taylor]: Taking taylor expansion of c0 in l
0.964 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.964 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.964 * [taylor]: Taking taylor expansion of A in A
0.964 * [taylor]: Taking taylor expansion of (* V l) in A
0.964 * [taylor]: Taking taylor expansion of V in A
0.964 * [taylor]: Taking taylor expansion of l in A
0.965 * [taylor]: Taking taylor expansion of c0 in A
0.965 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.965 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.965 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.965 * [taylor]: Taking taylor expansion of A in V
0.965 * [taylor]: Taking taylor expansion of (* V l) in V
0.965 * [taylor]: Taking taylor expansion of V in V
0.965 * [taylor]: Taking taylor expansion of l in V
0.965 * [taylor]: Taking taylor expansion of c0 in V
0.965 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.965 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.965 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.965 * [taylor]: Taking taylor expansion of A in c0
0.965 * [taylor]: Taking taylor expansion of (* V l) in c0
0.965 * [taylor]: Taking taylor expansion of V in c0
0.965 * [taylor]: Taking taylor expansion of l in c0
0.967 * [taylor]: Taking taylor expansion of c0 in c0
0.967 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.967 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.967 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.967 * [taylor]: Taking taylor expansion of A in c0
0.967 * [taylor]: Taking taylor expansion of (* V l) in c0
0.967 * [taylor]: Taking taylor expansion of V in c0
0.967 * [taylor]: Taking taylor expansion of l in c0
0.968 * [taylor]: Taking taylor expansion of c0 in c0
0.968 * [taylor]: Taking taylor expansion of 0 in V
0.969 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.969 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.969 * [taylor]: Taking taylor expansion of A in V
0.969 * [taylor]: Taking taylor expansion of (* V l) in V
0.969 * [taylor]: Taking taylor expansion of V in V
0.969 * [taylor]: Taking taylor expansion of l in V
0.969 * [taylor]: Taking taylor expansion of 0 in A
0.969 * [taylor]: Taking taylor expansion of 0 in l
0.969 * [taylor]: Taking taylor expansion of 0 in A
0.969 * [taylor]: Taking taylor expansion of 0 in l
0.971 * [taylor]: Taking taylor expansion of 0 in V
0.971 * [taylor]: Taking taylor expansion of (* NAN (/ A l)) in A
0.971 * [taylor]: Taking taylor expansion of NAN in A
0.971 * [taylor]: Taking taylor expansion of (/ A l) in A
0.971 * [taylor]: Taking taylor expansion of A in A
0.971 * [taylor]: Taking taylor expansion of l in A
0.971 * [taylor]: Taking taylor expansion of 0 in A
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.973 * [taylor]: Taking taylor expansion of 0 in V
0.973 * [taylor]: Taking taylor expansion of 0 in A
0.973 * [taylor]: Taking taylor expansion of 0 in l
0.974 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow A 2) (pow NAN 2)) (pow l 2))) in A
0.975 * [taylor]: Taking taylor expansion of NAN in A
0.975 * [taylor]: Taking taylor expansion of (/ (* (pow A 2) (pow NAN 2)) (pow l 2)) in A
0.975 * [taylor]: Taking taylor expansion of (* (pow A 2) (pow NAN 2)) in A
0.975 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.975 * [taylor]: Taking taylor expansion of A in A
0.975 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.975 * [taylor]: Taking taylor expansion of NAN in A
0.975 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.975 * [taylor]: Taking taylor expansion of l in A
0.975 * [taylor]: Taking taylor expansion of 0 in A
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.975 * [taylor]: Taking taylor expansion of NAN in l
0.975 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of 0 in l
0.976 * [taylor]: Taking taylor expansion of 0 in l
0.976 * [taylor]: Taking taylor expansion of 0 in l
0.978 * [taylor]: Taking taylor expansion of 0 in V
0.978 * [taylor]: Taking taylor expansion of 0 in A
0.978 * [taylor]: Taking taylor expansion of 0 in l
0.978 * [taylor]: Taking taylor expansion of 0 in A
0.978 * [taylor]: Taking taylor expansion of 0 in l
0.980 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow A 3)) (pow l 3))) in A
0.980 * [taylor]: Taking taylor expansion of NAN in A
0.980 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow A 3)) (pow l 3)) in A
0.980 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow A 3)) in A
0.980 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.980 * [taylor]: Taking taylor expansion of NAN in A
0.980 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.980 * [taylor]: Taking taylor expansion of A in A
0.980 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.980 * [taylor]: Taking taylor expansion of l in A
0.981 * [taylor]: Taking taylor expansion of 0 in A
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.983 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 V A l) around 0
0.983 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.983 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.983 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.983 * [taylor]: Taking taylor expansion of (* V l) in l
0.983 * [taylor]: Taking taylor expansion of V in l
0.983 * [taylor]: Taking taylor expansion of l in l
0.983 * [taylor]: Taking taylor expansion of A in l
0.984 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.984 * [taylor]: Taking taylor expansion of c0 in l
0.984 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.984 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.984 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.984 * [taylor]: Taking taylor expansion of (* V l) in A
0.984 * [taylor]: Taking taylor expansion of V in A
0.984 * [taylor]: Taking taylor expansion of l in A
0.984 * [taylor]: Taking taylor expansion of A in A
0.984 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.984 * [taylor]: Taking taylor expansion of c0 in A
0.984 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.984 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.984 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.984 * [taylor]: Taking taylor expansion of (* V l) in V
0.984 * [taylor]: Taking taylor expansion of V in V
0.984 * [taylor]: Taking taylor expansion of l in V
0.984 * [taylor]: Taking taylor expansion of A in V
0.985 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.985 * [taylor]: Taking taylor expansion of c0 in V
0.985 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.985 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.985 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.985 * [taylor]: Taking taylor expansion of (* V l) in c0
0.985 * [taylor]: Taking taylor expansion of V in c0
0.985 * [taylor]: Taking taylor expansion of l in c0
0.985 * [taylor]: Taking taylor expansion of A in c0
0.986 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.986 * [taylor]: Taking taylor expansion of c0 in c0
0.986 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.986 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.986 * [taylor]: Taking taylor expansion of (* V l) in c0
0.986 * [taylor]: Taking taylor expansion of V in c0
0.986 * [taylor]: Taking taylor expansion of l in c0
0.986 * [taylor]: Taking taylor expansion of A in c0
0.987 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.987 * [taylor]: Taking taylor expansion of c0 in c0
0.988 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.988 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.988 * [taylor]: Taking taylor expansion of (* V l) in V
0.988 * [taylor]: Taking taylor expansion of V in V
0.988 * [taylor]: Taking taylor expansion of l in V
0.988 * [taylor]: Taking taylor expansion of A in V
0.988 * [taylor]: Taking taylor expansion of 0 in A
0.989 * [taylor]: Taking taylor expansion of 0 in V
0.989 * [taylor]: Taking taylor expansion of 0 in A
0.989 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.989 * [taylor]: Taking taylor expansion of NAN in A
0.989 * [taylor]: Taking taylor expansion of (/ l A) in A
0.989 * [taylor]: Taking taylor expansion of l in A
0.989 * [taylor]: Taking taylor expansion of A in A
0.989 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.989 * [taylor]: Taking taylor expansion of NAN in l
0.989 * [taylor]: Taking taylor expansion of l in l
0.989 * [taylor]: Taking taylor expansion of 0 in l
0.991 * [taylor]: Taking taylor expansion of 0 in V
0.991 * [taylor]: Taking taylor expansion of 0 in A
0.991 * [taylor]: Taking taylor expansion of 0 in A
0.992 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.992 * [taylor]: Taking taylor expansion of NAN in A
0.992 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.992 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.992 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.992 * [taylor]: Taking taylor expansion of NAN in A
0.993 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.993 * [taylor]: Taking taylor expansion of l in A
0.993 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.993 * [taylor]: Taking taylor expansion of A in A
0.995 * [taylor]: Taking taylor expansion of 0 in l
0.995 * [taylor]: Taking taylor expansion of 0 in l
0.995 * [taylor]: Taking taylor expansion of 0 in l
0.995 * [taylor]: Taking taylor expansion of 0 in l
0.996 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 V A l) around 0
0.996 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.996 * [taylor]: Taking taylor expansion of -1 in l
0.996 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.996 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.996 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.996 * [taylor]: Taking taylor expansion of -1 in l
0.996 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.996 * [taylor]: Taking taylor expansion of (* V l) in l
0.996 * [taylor]: Taking taylor expansion of V in l
0.997 * [taylor]: Taking taylor expansion of l in l
0.997 * [taylor]: Taking taylor expansion of A in l
0.997 * [taylor]: Taking taylor expansion of c0 in l
0.997 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.997 * [taylor]: Taking taylor expansion of -1 in A
0.997 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.997 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.997 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.997 * [taylor]: Taking taylor expansion of -1 in A
0.997 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.998 * [taylor]: Taking taylor expansion of (* V l) in A
0.998 * [taylor]: Taking taylor expansion of V in A
0.998 * [taylor]: Taking taylor expansion of l in A
0.998 * [taylor]: Taking taylor expansion of A in A
0.998 * [taylor]: Taking taylor expansion of c0 in A
0.998 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.998 * [taylor]: Taking taylor expansion of -1 in V
0.998 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.998 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.998 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.998 * [taylor]: Taking taylor expansion of -1 in V
0.998 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.998 * [taylor]: Taking taylor expansion of (* V l) in V
0.998 * [taylor]: Taking taylor expansion of V in V
0.998 * [taylor]: Taking taylor expansion of l in V
0.998 * [taylor]: Taking taylor expansion of A in V
0.999 * [taylor]: Taking taylor expansion of c0 in V
0.999 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.999 * [taylor]: Taking taylor expansion of -1 in c0
0.999 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.999 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.999 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.999 * [taylor]: Taking taylor expansion of -1 in c0
0.999 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.999 * [taylor]: Taking taylor expansion of (* V l) in c0
1.000 * [taylor]: Taking taylor expansion of V in c0
1.000 * [taylor]: Taking taylor expansion of l in c0
1.000 * [taylor]: Taking taylor expansion of A in c0
1.001 * [taylor]: Taking taylor expansion of c0 in c0
1.001 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
1.001 * [taylor]: Taking taylor expansion of -1 in c0
1.001 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
1.001 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
1.001 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
1.002 * [taylor]: Taking taylor expansion of -1 in c0
1.002 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
1.002 * [taylor]: Taking taylor expansion of (* V l) in c0
1.002 * [taylor]: Taking taylor expansion of V in c0
1.002 * [taylor]: Taking taylor expansion of l in c0
1.002 * [taylor]: Taking taylor expansion of A in c0
1.003 * [taylor]: Taking taylor expansion of c0 in c0
1.004 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in V
1.004 * [taylor]: Taking taylor expansion of -1 in V
1.004 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
1.004 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.004 * [taylor]: Taking taylor expansion of -1 in V
1.004 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.004 * [taylor]: Taking taylor expansion of (* V l) in V
1.004 * [taylor]: Taking taylor expansion of V in V
1.004 * [taylor]: Taking taylor expansion of l in V
1.004 * [taylor]: Taking taylor expansion of A in V
1.005 * [taylor]: Taking taylor expansion of (neg (/ (* NAN l) A)) in A
1.005 * [taylor]: Taking taylor expansion of (/ (* NAN l) A) in A
1.005 * [taylor]: Taking taylor expansion of (* NAN l) in A
1.005 * [taylor]: Taking taylor expansion of NAN in A
1.005 * [taylor]: Taking taylor expansion of l in A
1.005 * [taylor]: Taking taylor expansion of A in A
1.006 * [taylor]: Taking taylor expansion of 0 in l
1.007 * [taylor]: Taking taylor expansion of 0 in V
1.007 * [taylor]: Taking taylor expansion of 0 in A
1.007 * [taylor]: Taking taylor expansion of 0 in l
1.009 * [taylor]: Taking taylor expansion of (neg (/ (* (pow NAN 3) (pow l 2)) (pow A 2))) in A
1.009 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 3) (pow l 2)) (pow A 2)) in A
1.009 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in A
1.009 * [taylor]: Taking taylor expansion of (pow NAN 3) in A
1.009 * [taylor]: Taking taylor expansion of NAN in A
1.009 * [taylor]: Taking taylor expansion of (pow l 2) in A
1.009 * [taylor]: Taking taylor expansion of l in A
1.009 * [taylor]: Taking taylor expansion of (pow A 2) in A
1.009 * [taylor]: Taking taylor expansion of A in A
1.013 * [taylor]: Taking taylor expansion of 0 in l
1.014 * [taylor]: Taking taylor expansion of 0 in l
1.017 * [taylor]: Taking taylor expansion of 0 in V
1.017 * [taylor]: Taking taylor expansion of 0 in A
1.017 * [taylor]: Taking taylor expansion of 0 in l
1.017 * * * [progress]: simplifying candidates
1.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (log.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 (*.f64 1 A))
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (*.f64 1 (/.f64 A l)))
  (sqrt.f64 V)
  (sqrt.f64 (*.f64 (/.f64 1 V) A))
  (sqrt.f64 l)
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  (*.f64 (/.f64 1 V) (/.f64 A l))
  (+.f64 (-.f64 0 (log.f64 V)) (-.f64 (log.f64 A) (log.f64 l)))
  (+.f64 (-.f64 0 (log.f64 V)) (log.f64 (/.f64 A l)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 V)) (-.f64 (log.f64 A) (log.f64 l)))
  (+.f64 (-.f64 (log.f64 1) (log.f64 V)) (log.f64 (/.f64 A l)))
  (+.f64 (neg.f64 (log.f64 V)) (-.f64 (log.f64 A) (log.f64 l)))
  (+.f64 (neg.f64 (log.f64 V)) (log.f64 (/.f64 A l)))
  (+.f64 (log.f64 (/.f64 1 V)) (-.f64 (log.f64 A) (log.f64 l)))
  (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l)))
  (exp.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))
  (log.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))
  (*.f64 (*.f64 (*.f64 (/.f64 1 V) (/.f64 A l)) (*.f64 (/.f64 1 V) (/.f64 A l))) (*.f64 (/.f64 1 V) (/.f64 A l)))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) (cbrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (cbrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))
  (*.f64 (*.f64 (*.f64 (/.f64 1 V) (/.f64 1 V)) (/.f64 1 V)) (*.f64 (*.f64 (/.f64 A l) (/.f64 A l)) (/.f64 A l)))
  (*.f64 (*.f64 (*.f64 (/.f64 1 V) (/.f64 1 V)) (/.f64 1 V)) (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 l l) l)))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 V V) V)) (*.f64 (*.f64 (/.f64 A l) (/.f64 A l)) (/.f64 A l)))
  (*.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 V V) V)) (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 l l) l)))
  (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))
  (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))
  (*.f64 1 A)
  (*.f64 V l)
  (*.f64 (sqrt.f64 (/.f64 1 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (/.f64 1 (sqrt.f64 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (/.f64 1 (sqrt.f64 V)) (sqrt.f64 (/.f64 A l)))
  (*.f64 (/.f64 1 (sqrt.f64 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (/.f64 1 (sqrt.f64 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 1 (/.f64 A l))
  (*.f64 (/.f64 1 V) A)
  (*.f64 (cbrt.f64 (/.f64 1 V)) (/.f64 A l))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (/.f64 A l))
  (*.f64 (/.f64 (cbrt.f64 1) (cbrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 (cbrt.f64 1) V) (/.f64 A l))
  (*.f64 (/.f64 (sqrt.f64 1) (cbrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 (sqrt.f64 1) (sqrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 (sqrt.f64 1) V) (/.f64 A l))
  (*.f64 (/.f64 1 (cbrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 1 (sqrt.f64 V)) (/.f64 A l))
  (*.f64 (/.f64 1 V) (/.f64 A l))
  (*.f64 (/.f64 1 V) (/.f64 A l))
  (*.f64 (/.f64 1 V) (/.f64 A l))
  (*.f64 (/.f64 1 V) (*.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 (/.f64 A l))))
  (*.f64 (/.f64 1 V) (sqrt.f64 (/.f64 A l)))
  (*.f64 (/.f64 1 V) (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))
  (*.f64 (/.f64 1 V) (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)))
  (*.f64 (/.f64 1 V) (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) 1))
  (*.f64 (/.f64 1 V) (/.f64 (sqrt.f64 A) (*.f64 (cbrt.f64 l) (cbrt.f64 l))))
  (*.f64 (/.f64 1 V) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (/.f64 1 V) (/.f64 (sqrt.f64 A) 1))
  (*.f64 (/.f64 1 V) (/.f64 1 (*.f64 (cbrt.f64 l) (cbrt.f64 l))))
  (*.f64 (/.f64 1 V) (/.f64 1 (sqrt.f64 l)))
  (*.f64 (/.f64 1 V) (/.f64 1 1))
  (*.f64 (/.f64 1 V) 1)
  (*.f64 (/.f64 1 V) A)
  (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (exp.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (log.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 (*.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))) (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))))
  (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 (*.f64 (*.f64 c0 c0) c0) (*.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 c0 (sqrt.f64 (*.f64 1 A)))
  (*.f64 c0 (sqrt.f64 (*.f64 1 (/.f64 A l))))
  (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) A)))
  (*.f64 (cbrt.f64 c0) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))
  (*.f64 c0 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))) (cbrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))))
  (*.f64 c0 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))
  (*.f64 c0 (sqrt.f64 (/.f64 1 V)))
  (*.f64 c0 1)
  (/.f64 (*.f64 A NAN.f64) l)
  (/.f64 (*.f64 A NAN.f64) (*.f64 V l))
  (*.f64 -1 (/.f64 (*.f64 A NAN.f64) (*.f64 V l)))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 (*.f64 A (*.f64 NAN.f64 c0)) l)
  0
  0
1.128 * * [simplify]: iteration  0 :  5236  enodes  (cost  1134 )
1.135 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))
  (log.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))
  (pow.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))))
  (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))
  (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))
  (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))
  1/2
  1/2
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (/.f64 A l))
  (sqrt.f64 V)
  (sqrt.f64 (/.f64 A V))
  (sqrt.f64 l)
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  (/.f64 (/.f64 A l) V)
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (exp.f64 (/.f64 (/.f64 A l) V))
  (log.f64 (/.f64 (/.f64 A l) V))
  (pow.f64 (/.f64 (/.f64 A l) V) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 A l) V)) (cbrt.f64 (/.f64 (/.f64 A l) V)))
  (cbrt.f64 (/.f64 (/.f64 A l) V))
  (pow.f64 (/.f64 (/.f64 A l) V) 3)
  (pow.f64 (/.f64 (/.f64 A l) V) 3)
  (pow.f64 (/.f64 (/.f64 A l) V) 3)
  (pow.f64 (/.f64 (/.f64 A l) V) 3)
  (sqrt.f64 (/.f64 (/.f64 A l) V))
  (sqrt.f64 (/.f64 (/.f64 A l) V))
  A
  (*.f64 V l)
  (*.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 (/.f64 1 V)))
  (*.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 (/.f64 1 V)))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (*.f64 (sqrt.f64 (/.f64 1 V)) (/.f64 (sqrt.f64 A) (sqrt.f64 l)))
  (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))
  (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))
  (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
  (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
  (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))
  (/.f64 (sqrt.f64 (/.f64 A l)) (sqrt.f64 V))
  (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
  (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) (sqrt.f64 V))
  (/.f64 A l)
  (/.f64 A V)
  (*.f64 (/.f64 A l) (cbrt.f64 (/.f64 1 V)))
  (*.f64 (/.f64 A l) (sqrt.f64 (/.f64 1 V)))
  (*.f64 (/.f64 A l) (/.f64 (cbrt.f64 1) (cbrt.f64 V)))
  (*.f64 (/.f64 A l) (/.f64 (cbrt.f64 1) (sqrt.f64 V)))
  (*.f64 (/.f64 A l) (/.f64 (cbrt.f64 1) V))
  (/.f64 (/.f64 A l) (cbrt.f64 V))
  (/.f64 (/.f64 A l) (sqrt.f64 V))
  (/.f64 (/.f64 A l) V)
  (/.f64 (/.f64 A l) (cbrt.f64 V))
  (/.f64 (/.f64 A l) (sqrt.f64 V))
  (/.f64 (/.f64 A l) V)
  (/.f64 (/.f64 A l) V)
  (/.f64 (/.f64 A l) V)
  (/.f64 (*.f64 (cbrt.f64 (/.f64 A l)) (cbrt.f64 (/.f64 A l))) V)
  (/.f64 (sqrt.f64 (/.f64 A l)) V)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) V)
  (/.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (sqrt.f64 l)) V)
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (/.f64 (sqrt.f64 A) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) V)
  (/.f64 (/.f64 (sqrt.f64 A) (sqrt.f64 l)) V)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (/.f64 1 V) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))
  (/.f64 (/.f64 1 V) (sqrt.f64 l))
  (/.f64 1 V)
  (/.f64 1 V)
  (/.f64 A V)
  (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))
  (pow.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)))
  (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 A) c0)
  (*.f64 (sqrt.f64 (/.f64 A l)) c0)
  (*.f64 (sqrt.f64 (/.f64 A V)) c0)
  (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) (cbrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)))) c0)
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 (/.f64 A l) V))) c0)
  (*.f64 (sqrt.f64 (/.f64 1 V)) c0)
  c0
  (*.f64 (/.f64 A l) NAN.f64)
  (*.f64 (/.f64 (/.f64 A l) V) NAN.f64)
  (neg.f64 (*.f64 (/.f64 (/.f64 A l) V) NAN.f64))
  (/.f64 (/.f64 A l) V)
  (/.f64 (/.f64 A l) V)
  (/.f64 (/.f64 A l) V)
  (*.f64 (/.f64 A l) (*.f64 c0 NAN.f64))
  0
  0
1.135 * * * [progress]: adding candidates to table
1.191 * * [progress]: iteration 3 / 4
1.191 * * * [progress]: picking best candidate
1.203 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))>
1.203 * * * [progress]: localizing error
1.212 * * * [progress]: generating rewritten candidates
1.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.220 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
1.225 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
1.231 * * * [progress]: generating series expansions
1.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.232 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
1.232 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.232 * [taylor]: Taking taylor expansion of A in l
1.232 * [taylor]: Taking taylor expansion of (* V l) in l
1.232 * [taylor]: Taking taylor expansion of V in l
1.232 * [taylor]: Taking taylor expansion of l in l
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
1.232 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.232 * [taylor]: Taking taylor expansion of A in V
1.232 * [taylor]: Taking taylor expansion of (* V l) in V
1.232 * [taylor]: Taking taylor expansion of V in V
1.232 * [taylor]: Taking taylor expansion of l in V
1.233 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.233 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.233 * [taylor]: Taking taylor expansion of A in A
1.233 * [taylor]: Taking taylor expansion of (* V l) in A
1.233 * [taylor]: Taking taylor expansion of V in A
1.233 * [taylor]: Taking taylor expansion of l in A
1.233 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.233 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.233 * [taylor]: Taking taylor expansion of A in A
1.233 * [taylor]: Taking taylor expansion of (* V l) in A
1.233 * [taylor]: Taking taylor expansion of V in A
1.233 * [taylor]: Taking taylor expansion of l in A
1.234 * [taylor]: Taking taylor expansion of 0 in V
1.234 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
1.234 * [taylor]: Taking taylor expansion of NAN in V
1.234 * [taylor]: Taking taylor expansion of (* V l) in V
1.234 * [taylor]: Taking taylor expansion of V in V
1.234 * [taylor]: Taking taylor expansion of l in V
1.234 * [taylor]: Taking taylor expansion of (/ NAN l) in l
1.234 * [taylor]: Taking taylor expansion of NAN in l
1.234 * [taylor]: Taking taylor expansion of l in l
1.235 * [taylor]: Taking taylor expansion of 0 in l
1.236 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
1.236 * [taylor]: Taking taylor expansion of NAN in V
1.236 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
1.236 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.236 * [taylor]: Taking taylor expansion of NAN in V
1.236 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
1.236 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.236 * [taylor]: Taking taylor expansion of V in V
1.236 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.236 * [taylor]: Taking taylor expansion of l in V
1.238 * [taylor]: Taking taylor expansion of 0 in l
1.239 * [taylor]: Taking taylor expansion of 0 in l
1.239 * [taylor]: Taking taylor expansion of 0 in l
1.241 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
1.241 * [taylor]: Taking taylor expansion of NAN in V
1.241 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
1.241 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
1.241 * [taylor]: Taking taylor expansion of NAN in V
1.241 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
1.241 * [taylor]: Taking taylor expansion of (pow V 3) in V
1.241 * [taylor]: Taking taylor expansion of V in V
1.241 * [taylor]: Taking taylor expansion of (pow l 3) in V
1.241 * [taylor]: Taking taylor expansion of l in V
1.248 * [taylor]: Taking taylor expansion of 0 in l
1.250 * [taylor]: Taking taylor expansion of 0 in l
1.251 * [taylor]: Taking taylor expansion of 0 in l
1.251 * [taylor]: Taking taylor expansion of 0 in l
1.252 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
1.252 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
1.252 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.252 * [taylor]: Taking taylor expansion of (* V l) in l
1.252 * [taylor]: Taking taylor expansion of V in l
1.252 * [taylor]: Taking taylor expansion of l in l
1.252 * [taylor]: Taking taylor expansion of A in l
1.253 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
1.253 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.253 * [taylor]: Taking taylor expansion of (* V l) in V
1.253 * [taylor]: Taking taylor expansion of V in V
1.253 * [taylor]: Taking taylor expansion of l in V
1.253 * [taylor]: Taking taylor expansion of A in V
1.253 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.253 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.253 * [taylor]: Taking taylor expansion of (* V l) in A
1.253 * [taylor]: Taking taylor expansion of V in A
1.253 * [taylor]: Taking taylor expansion of l in A
1.253 * [taylor]: Taking taylor expansion of A in A
1.254 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.254 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.254 * [taylor]: Taking taylor expansion of (* V l) in A
1.254 * [taylor]: Taking taylor expansion of V in A
1.254 * [taylor]: Taking taylor expansion of l in A
1.254 * [taylor]: Taking taylor expansion of A in A
1.254 * [taylor]: Taking taylor expansion of 0 in V
1.254 * [taylor]: Taking taylor expansion of 0 in l
1.254 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.254 * [taylor]: Taking taylor expansion of NAN in V
1.254 * [taylor]: Taking taylor expansion of (* V l) in V
1.254 * [taylor]: Taking taylor expansion of V in V
1.254 * [taylor]: Taking taylor expansion of l in V
1.255 * [taylor]: Taking taylor expansion of 0 in l
1.255 * [taylor]: Taking taylor expansion of 0 in l
1.256 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.256 * [taylor]: Taking taylor expansion of NAN in V
1.256 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.256 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.256 * [taylor]: Taking taylor expansion of V in V
1.256 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.256 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.256 * [taylor]: Taking taylor expansion of NAN in V
1.256 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.256 * [taylor]: Taking taylor expansion of l in V
1.256 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.256 * [taylor]: Taking taylor expansion of NAN in l
1.256 * [taylor]: Taking taylor expansion of l in l
1.256 * [taylor]: Taking taylor expansion of 0 in l
1.257 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
1.257 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
1.257 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.257 * [taylor]: Taking taylor expansion of -1 in l
1.257 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.257 * [taylor]: Taking taylor expansion of (* V l) in l
1.257 * [taylor]: Taking taylor expansion of V in l
1.257 * [taylor]: Taking taylor expansion of l in l
1.257 * [taylor]: Taking taylor expansion of A in l
1.258 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
1.258 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.258 * [taylor]: Taking taylor expansion of -1 in V
1.258 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.258 * [taylor]: Taking taylor expansion of (* V l) in V
1.258 * [taylor]: Taking taylor expansion of V in V
1.258 * [taylor]: Taking taylor expansion of l in V
1.258 * [taylor]: Taking taylor expansion of A in V
1.258 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.258 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.258 * [taylor]: Taking taylor expansion of -1 in A
1.258 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.258 * [taylor]: Taking taylor expansion of (* V l) in A
1.258 * [taylor]: Taking taylor expansion of V in A
1.259 * [taylor]: Taking taylor expansion of l in A
1.259 * [taylor]: Taking taylor expansion of A in A
1.259 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.259 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.259 * [taylor]: Taking taylor expansion of -1 in A
1.259 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.259 * [taylor]: Taking taylor expansion of (* V l) in A
1.259 * [taylor]: Taking taylor expansion of V in A
1.259 * [taylor]: Taking taylor expansion of l in A
1.259 * [taylor]: Taking taylor expansion of A in A
1.260 * [taylor]: Taking taylor expansion of 0 in V
1.260 * [taylor]: Taking taylor expansion of 0 in l
1.260 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.260 * [taylor]: Taking taylor expansion of NAN in V
1.260 * [taylor]: Taking taylor expansion of (* V l) in V
1.260 * [taylor]: Taking taylor expansion of V in V
1.260 * [taylor]: Taking taylor expansion of l in V
1.260 * [taylor]: Taking taylor expansion of 0 in l
1.260 * [taylor]: Taking taylor expansion of 0 in l
1.261 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.261 * [taylor]: Taking taylor expansion of NAN in V
1.261 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.261 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.261 * [taylor]: Taking taylor expansion of V in V
1.261 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.261 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.261 * [taylor]: Taking taylor expansion of NAN in V
1.261 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.261 * [taylor]: Taking taylor expansion of l in V
1.262 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.262 * [taylor]: Taking taylor expansion of NAN in l
1.262 * [taylor]: Taking taylor expansion of l in l
1.262 * [taylor]: Taking taylor expansion of 0 in l
1.262 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.262 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
1.262 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
1.262 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.262 * [taylor]: Taking taylor expansion of A in l
1.262 * [taylor]: Taking taylor expansion of (* V l) in l
1.262 * [taylor]: Taking taylor expansion of V in l
1.262 * [taylor]: Taking taylor expansion of l in l
1.263 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
1.263 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.263 * [taylor]: Taking taylor expansion of A in V
1.263 * [taylor]: Taking taylor expansion of (* V l) in V
1.263 * [taylor]: Taking taylor expansion of V in V
1.263 * [taylor]: Taking taylor expansion of l in V
1.263 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.263 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.263 * [taylor]: Taking taylor expansion of A in A
1.263 * [taylor]: Taking taylor expansion of (* V l) in A
1.263 * [taylor]: Taking taylor expansion of V in A
1.264 * [taylor]: Taking taylor expansion of l in A
1.264 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.264 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.264 * [taylor]: Taking taylor expansion of A in A
1.264 * [taylor]: Taking taylor expansion of (* V l) in A
1.264 * [taylor]: Taking taylor expansion of V in A
1.264 * [taylor]: Taking taylor expansion of l in A
1.265 * [taylor]: Taking taylor expansion of 0 in V
1.265 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
1.265 * [taylor]: Taking taylor expansion of NAN in V
1.265 * [taylor]: Taking taylor expansion of (* V l) in V
1.265 * [taylor]: Taking taylor expansion of V in V
1.265 * [taylor]: Taking taylor expansion of l in V
1.265 * [taylor]: Taking taylor expansion of (/ NAN l) in l
1.265 * [taylor]: Taking taylor expansion of NAN in l
1.265 * [taylor]: Taking taylor expansion of l in l
1.265 * [taylor]: Taking taylor expansion of 0 in l
1.266 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
1.266 * [taylor]: Taking taylor expansion of NAN in V
1.266 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
1.266 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.266 * [taylor]: Taking taylor expansion of NAN in V
1.266 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
1.266 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.266 * [taylor]: Taking taylor expansion of V in V
1.266 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.266 * [taylor]: Taking taylor expansion of l in V
1.269 * [taylor]: Taking taylor expansion of 0 in l
1.269 * [taylor]: Taking taylor expansion of 0 in l
1.269 * [taylor]: Taking taylor expansion of 0 in l
1.271 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
1.271 * [taylor]: Taking taylor expansion of NAN in V
1.271 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
1.272 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
1.272 * [taylor]: Taking taylor expansion of NAN in V
1.272 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
1.272 * [taylor]: Taking taylor expansion of (pow V 3) in V
1.272 * [taylor]: Taking taylor expansion of V in V
1.272 * [taylor]: Taking taylor expansion of (pow l 3) in V
1.272 * [taylor]: Taking taylor expansion of l in V
1.278 * [taylor]: Taking taylor expansion of 0 in l
1.280 * [taylor]: Taking taylor expansion of 0 in l
1.281 * [taylor]: Taking taylor expansion of 0 in l
1.281 * [taylor]: Taking taylor expansion of 0 in l
1.285 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
1.285 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
1.285 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.285 * [taylor]: Taking taylor expansion of (* V l) in l
1.285 * [taylor]: Taking taylor expansion of V in l
1.285 * [taylor]: Taking taylor expansion of l in l
1.285 * [taylor]: Taking taylor expansion of A in l
1.285 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
1.285 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.285 * [taylor]: Taking taylor expansion of (* V l) in V
1.285 * [taylor]: Taking taylor expansion of V in V
1.285 * [taylor]: Taking taylor expansion of l in V
1.285 * [taylor]: Taking taylor expansion of A in V
1.286 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.286 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.286 * [taylor]: Taking taylor expansion of (* V l) in A
1.286 * [taylor]: Taking taylor expansion of V in A
1.286 * [taylor]: Taking taylor expansion of l in A
1.286 * [taylor]: Taking taylor expansion of A in A
1.286 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.286 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.286 * [taylor]: Taking taylor expansion of (* V l) in A
1.286 * [taylor]: Taking taylor expansion of V in A
1.286 * [taylor]: Taking taylor expansion of l in A
1.286 * [taylor]: Taking taylor expansion of A in A
1.287 * [taylor]: Taking taylor expansion of 0 in V
1.287 * [taylor]: Taking taylor expansion of 0 in l
1.287 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.287 * [taylor]: Taking taylor expansion of NAN in V
1.287 * [taylor]: Taking taylor expansion of (* V l) in V
1.287 * [taylor]: Taking taylor expansion of V in V
1.287 * [taylor]: Taking taylor expansion of l in V
1.287 * [taylor]: Taking taylor expansion of 0 in l
1.287 * [taylor]: Taking taylor expansion of 0 in l
1.288 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.288 * [taylor]: Taking taylor expansion of NAN in V
1.288 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.288 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.288 * [taylor]: Taking taylor expansion of V in V
1.288 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.288 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.288 * [taylor]: Taking taylor expansion of NAN in V
1.288 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.288 * [taylor]: Taking taylor expansion of l in V
1.289 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.289 * [taylor]: Taking taylor expansion of NAN in l
1.289 * [taylor]: Taking taylor expansion of l in l
1.289 * [taylor]: Taking taylor expansion of 0 in l
1.290 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
1.290 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
1.290 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.290 * [taylor]: Taking taylor expansion of -1 in l
1.290 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.290 * [taylor]: Taking taylor expansion of (* V l) in l
1.290 * [taylor]: Taking taylor expansion of V in l
1.290 * [taylor]: Taking taylor expansion of l in l
1.290 * [taylor]: Taking taylor expansion of A in l
1.291 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
1.291 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.291 * [taylor]: Taking taylor expansion of -1 in V
1.291 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.291 * [taylor]: Taking taylor expansion of (* V l) in V
1.291 * [taylor]: Taking taylor expansion of V in V
1.291 * [taylor]: Taking taylor expansion of l in V
1.291 * [taylor]: Taking taylor expansion of A in V
1.291 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.291 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.291 * [taylor]: Taking taylor expansion of -1 in A
1.291 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.291 * [taylor]: Taking taylor expansion of (* V l) in A
1.291 * [taylor]: Taking taylor expansion of V in A
1.291 * [taylor]: Taking taylor expansion of l in A
1.291 * [taylor]: Taking taylor expansion of A in A
1.292 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.292 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.292 * [taylor]: Taking taylor expansion of -1 in A
1.292 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.292 * [taylor]: Taking taylor expansion of (* V l) in A
1.292 * [taylor]: Taking taylor expansion of V in A
1.292 * [taylor]: Taking taylor expansion of l in A
1.292 * [taylor]: Taking taylor expansion of A in A
1.293 * [taylor]: Taking taylor expansion of 0 in V
1.293 * [taylor]: Taking taylor expansion of 0 in l
1.293 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.293 * [taylor]: Taking taylor expansion of NAN in V
1.293 * [taylor]: Taking taylor expansion of (* V l) in V
1.293 * [taylor]: Taking taylor expansion of V in V
1.293 * [taylor]: Taking taylor expansion of l in V
1.293 * [taylor]: Taking taylor expansion of 0 in l
1.293 * [taylor]: Taking taylor expansion of 0 in l
1.294 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.294 * [taylor]: Taking taylor expansion of NAN in V
1.294 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.294 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.294 * [taylor]: Taking taylor expansion of V in V
1.294 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.294 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.294 * [taylor]: Taking taylor expansion of NAN in V
1.294 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.294 * [taylor]: Taking taylor expansion of l in V
1.295 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.295 * [taylor]: Taking taylor expansion of NAN in l
1.295 * [taylor]: Taking taylor expansion of l in l
1.295 * [taylor]: Taking taylor expansion of 0 in l
1.295 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
1.295 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
1.295 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.295 * [taylor]: Taking taylor expansion of A in l
1.295 * [taylor]: Taking taylor expansion of (* V l) in l
1.295 * [taylor]: Taking taylor expansion of V in l
1.295 * [taylor]: Taking taylor expansion of l in l
1.295 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.295 * [taylor]: Taking taylor expansion of A in V
1.295 * [taylor]: Taking taylor expansion of (* V l) in V
1.295 * [taylor]: Taking taylor expansion of V in V
1.295 * [taylor]: Taking taylor expansion of l in V
1.296 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.296 * [taylor]: Taking taylor expansion of A in A
1.296 * [taylor]: Taking taylor expansion of (* V l) in A
1.296 * [taylor]: Taking taylor expansion of V in A
1.296 * [taylor]: Taking taylor expansion of l in A
1.296 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.296 * [taylor]: Taking taylor expansion of A in A
1.296 * [taylor]: Taking taylor expansion of (* V l) in A
1.296 * [taylor]: Taking taylor expansion of V in A
1.296 * [taylor]: Taking taylor expansion of l in A
1.296 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
1.296 * [taylor]: Taking taylor expansion of (* V l) in V
1.296 * [taylor]: Taking taylor expansion of V in V
1.296 * [taylor]: Taking taylor expansion of l in V
1.297 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.297 * [taylor]: Taking taylor expansion of l in l
1.297 * [taylor]: Taking taylor expansion of 0 in V
1.298 * [taylor]: Taking taylor expansion of 0 in l
1.299 * [taylor]: Taking taylor expansion of 0 in V
1.299 * [taylor]: Taking taylor expansion of 0 in l
1.300 * [taylor]: Taking taylor expansion of 0 in l
1.301 * [taylor]: Taking taylor expansion of 0 in V
1.301 * [taylor]: Taking taylor expansion of 0 in l
1.301 * [taylor]: Taking taylor expansion of 0 in l
1.302 * [taylor]: Taking taylor expansion of 0 in l
1.303 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
1.303 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.303 * [taylor]: Taking taylor expansion of (* V l) in l
1.303 * [taylor]: Taking taylor expansion of V in l
1.303 * [taylor]: Taking taylor expansion of l in l
1.303 * [taylor]: Taking taylor expansion of A in l
1.303 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.303 * [taylor]: Taking taylor expansion of (* V l) in V
1.303 * [taylor]: Taking taylor expansion of V in V
1.303 * [taylor]: Taking taylor expansion of l in V
1.303 * [taylor]: Taking taylor expansion of A in V
1.303 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.303 * [taylor]: Taking taylor expansion of (* V l) in A
1.303 * [taylor]: Taking taylor expansion of V in A
1.303 * [taylor]: Taking taylor expansion of l in A
1.304 * [taylor]: Taking taylor expansion of A in A
1.304 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.304 * [taylor]: Taking taylor expansion of (* V l) in A
1.304 * [taylor]: Taking taylor expansion of V in A
1.304 * [taylor]: Taking taylor expansion of l in A
1.304 * [taylor]: Taking taylor expansion of A in A
1.304 * [taylor]: Taking taylor expansion of (* V l) in V
1.304 * [taylor]: Taking taylor expansion of V in V
1.304 * [taylor]: Taking taylor expansion of l in V
1.304 * [taylor]: Taking taylor expansion of l in l
1.305 * [taylor]: Taking taylor expansion of 0 in V
1.305 * [taylor]: Taking taylor expansion of 0 in l
1.305 * [taylor]: Taking taylor expansion of 0 in l
1.306 * [taylor]: Taking taylor expansion of 0 in V
1.306 * [taylor]: Taking taylor expansion of 0 in l
1.306 * [taylor]: Taking taylor expansion of 0 in l
1.306 * [taylor]: Taking taylor expansion of 0 in l
1.307 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
1.307 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.307 * [taylor]: Taking taylor expansion of -1 in l
1.307 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.307 * [taylor]: Taking taylor expansion of (* V l) in l
1.307 * [taylor]: Taking taylor expansion of V in l
1.307 * [taylor]: Taking taylor expansion of l in l
1.307 * [taylor]: Taking taylor expansion of A in l
1.307 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.307 * [taylor]: Taking taylor expansion of -1 in V
1.307 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.307 * [taylor]: Taking taylor expansion of (* V l) in V
1.307 * [taylor]: Taking taylor expansion of V in V
1.307 * [taylor]: Taking taylor expansion of l in V
1.307 * [taylor]: Taking taylor expansion of A in V
1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.308 * [taylor]: Taking taylor expansion of -1 in A
1.308 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.308 * [taylor]: Taking taylor expansion of (* V l) in A
1.308 * [taylor]: Taking taylor expansion of V in A
1.308 * [taylor]: Taking taylor expansion of l in A
1.308 * [taylor]: Taking taylor expansion of A in A
1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.308 * [taylor]: Taking taylor expansion of -1 in A
1.308 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.308 * [taylor]: Taking taylor expansion of (* V l) in A
1.308 * [taylor]: Taking taylor expansion of V in A
1.308 * [taylor]: Taking taylor expansion of l in A
1.308 * [taylor]: Taking taylor expansion of A in A
1.308 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
1.308 * [taylor]: Taking taylor expansion of -1 in V
1.308 * [taylor]: Taking taylor expansion of (* V l) in V
1.309 * [taylor]: Taking taylor expansion of V in V
1.309 * [taylor]: Taking taylor expansion of l in V
1.309 * [taylor]: Taking taylor expansion of (neg l) in l
1.309 * [taylor]: Taking taylor expansion of l in l
1.310 * [taylor]: Taking taylor expansion of 0 in V
1.310 * [taylor]: Taking taylor expansion of 0 in l
1.310 * [taylor]: Taking taylor expansion of 0 in l
1.311 * [taylor]: Taking taylor expansion of 0 in V
1.311 * [taylor]: Taking taylor expansion of 0 in l
1.311 * [taylor]: Taking taylor expansion of 0 in l
1.312 * [taylor]: Taking taylor expansion of 0 in l
1.313 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
1.313 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
1.313 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.313 * [taylor]: Taking taylor expansion of A in l
1.313 * [taylor]: Taking taylor expansion of (* V l) in l
1.313 * [taylor]: Taking taylor expansion of V in l
1.313 * [taylor]: Taking taylor expansion of l in l
1.313 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.313 * [taylor]: Taking taylor expansion of A in V
1.313 * [taylor]: Taking taylor expansion of (* V l) in V
1.313 * [taylor]: Taking taylor expansion of V in V
1.313 * [taylor]: Taking taylor expansion of l in V
1.314 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.314 * [taylor]: Taking taylor expansion of A in A
1.314 * [taylor]: Taking taylor expansion of (* V l) in A
1.314 * [taylor]: Taking taylor expansion of V in A
1.314 * [taylor]: Taking taylor expansion of l in A
1.314 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.314 * [taylor]: Taking taylor expansion of A in A
1.314 * [taylor]: Taking taylor expansion of (* V l) in A
1.314 * [taylor]: Taking taylor expansion of V in A
1.314 * [taylor]: Taking taylor expansion of l in A
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
1.314 * [taylor]: Taking taylor expansion of (* V l) in V
1.314 * [taylor]: Taking taylor expansion of V in V
1.314 * [taylor]: Taking taylor expansion of l in V
1.314 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.314 * [taylor]: Taking taylor expansion of l in l
1.315 * [taylor]: Taking taylor expansion of 0 in V
1.316 * [taylor]: Taking taylor expansion of 0 in l
1.317 * [taylor]: Taking taylor expansion of 0 in V
1.317 * [taylor]: Taking taylor expansion of 0 in l
1.318 * [taylor]: Taking taylor expansion of 0 in l
1.319 * [taylor]: Taking taylor expansion of 0 in V
1.319 * [taylor]: Taking taylor expansion of 0 in l
1.319 * [taylor]: Taking taylor expansion of 0 in l
1.320 * [taylor]: Taking taylor expansion of 0 in l
1.321 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
1.321 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.321 * [taylor]: Taking taylor expansion of (* V l) in l
1.321 * [taylor]: Taking taylor expansion of V in l
1.321 * [taylor]: Taking taylor expansion of l in l
1.321 * [taylor]: Taking taylor expansion of A in l
1.321 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.321 * [taylor]: Taking taylor expansion of (* V l) in V
1.321 * [taylor]: Taking taylor expansion of V in V
1.321 * [taylor]: Taking taylor expansion of l in V
1.321 * [taylor]: Taking taylor expansion of A in V
1.321 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.321 * [taylor]: Taking taylor expansion of (* V l) in A
1.321 * [taylor]: Taking taylor expansion of V in A
1.321 * [taylor]: Taking taylor expansion of l in A
1.321 * [taylor]: Taking taylor expansion of A in A
1.322 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.322 * [taylor]: Taking taylor expansion of (* V l) in A
1.322 * [taylor]: Taking taylor expansion of V in A
1.322 * [taylor]: Taking taylor expansion of l in A
1.322 * [taylor]: Taking taylor expansion of A in A
1.322 * [taylor]: Taking taylor expansion of (* V l) in V
1.322 * [taylor]: Taking taylor expansion of V in V
1.322 * [taylor]: Taking taylor expansion of l in V
1.322 * [taylor]: Taking taylor expansion of l in l
1.323 * [taylor]: Taking taylor expansion of 0 in V
1.323 * [taylor]: Taking taylor expansion of 0 in l
1.323 * [taylor]: Taking taylor expansion of 0 in l
1.324 * [taylor]: Taking taylor expansion of 0 in V
1.324 * [taylor]: Taking taylor expansion of 0 in l
1.324 * [taylor]: Taking taylor expansion of 0 in l
1.324 * [taylor]: Taking taylor expansion of 0 in l
1.325 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
1.325 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.325 * [taylor]: Taking taylor expansion of -1 in l
1.325 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.325 * [taylor]: Taking taylor expansion of (* V l) in l
1.325 * [taylor]: Taking taylor expansion of V in l
1.325 * [taylor]: Taking taylor expansion of l in l
1.325 * [taylor]: Taking taylor expansion of A in l
1.325 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.325 * [taylor]: Taking taylor expansion of -1 in V
1.325 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.325 * [taylor]: Taking taylor expansion of (* V l) in V
1.325 * [taylor]: Taking taylor expansion of V in V
1.325 * [taylor]: Taking taylor expansion of l in V
1.325 * [taylor]: Taking taylor expansion of A in V
1.326 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.326 * [taylor]: Taking taylor expansion of -1 in A
1.326 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.326 * [taylor]: Taking taylor expansion of (* V l) in A
1.326 * [taylor]: Taking taylor expansion of V in A
1.326 * [taylor]: Taking taylor expansion of l in A
1.326 * [taylor]: Taking taylor expansion of A in A
1.326 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.326 * [taylor]: Taking taylor expansion of -1 in A
1.326 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.326 * [taylor]: Taking taylor expansion of (* V l) in A
1.326 * [taylor]: Taking taylor expansion of V in A
1.326 * [taylor]: Taking taylor expansion of l in A
1.326 * [taylor]: Taking taylor expansion of A in A
1.326 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
1.326 * [taylor]: Taking taylor expansion of -1 in V
1.326 * [taylor]: Taking taylor expansion of (* V l) in V
1.326 * [taylor]: Taking taylor expansion of V in V
1.326 * [taylor]: Taking taylor expansion of l in V
1.327 * [taylor]: Taking taylor expansion of (neg l) in l
1.327 * [taylor]: Taking taylor expansion of l in l
1.328 * [taylor]: Taking taylor expansion of 0 in V
1.328 * [taylor]: Taking taylor expansion of 0 in l
1.328 * [taylor]: Taking taylor expansion of 0 in l
1.330 * [taylor]: Taking taylor expansion of 0 in V
1.330 * [taylor]: Taking taylor expansion of 0 in l
1.330 * [taylor]: Taking taylor expansion of 0 in l
1.330 * [taylor]: Taking taylor expansion of 0 in l
1.331 * * * [progress]: simplifying candidates
1.332 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (/.f64 1 2)
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l)))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  (sqrt.f64 1)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (/.f64 A (*.f64 V l))))
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (/.f64 1 2)
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l)))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  (sqrt.f64 1)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (-.f64 (log.f64 A) (+.f64 (log.f64 V) (log.f64 l)))
  (-.f64 (log.f64 A) (log.f64 (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (*.f64 (*.f64 (/.f64 A (*.f64 V l)) (/.f64 A (*.f64 V l))) (/.f64 A (*.f64 V l)))
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V l) (*.f64 V l)) (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V V) V) (*.f64 (*.f64 l l) l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 (*.f64 V l) A)
  (/.f64 1 (*.f64 V l))
  (/.f64 (*.f64 V l) (cbrt.f64 A))
  (/.f64 (*.f64 V l) (sqrt.f64 A))
  (/.f64 (*.f64 V l) A)
  (/.f64 A V)
  (-.f64 (log.f64 A) (+.f64 (log.f64 V) (log.f64 l)))
  (-.f64 (log.f64 A) (log.f64 (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (*.f64 (*.f64 (/.f64 A (*.f64 V l)) (/.f64 A (*.f64 V l))) (/.f64 A (*.f64 V l)))
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V l) (*.f64 V l)) (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (*.f64 V V) V) (*.f64 (*.f64 l l) l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 (*.f64 V l) A)
  (/.f64 1 (*.f64 V l))
  (/.f64 (*.f64 V l) (cbrt.f64 A))
  (/.f64 (*.f64 V l) (sqrt.f64 A))
  (/.f64 (*.f64 V l) A)
  (/.f64 A V)
  (/.f64 (*.f64 A NAN.f64) (*.f64 V l))
  0
  0
  (/.f64 (*.f64 A NAN.f64) (*.f64 V l))
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
1.464 * * [simplify]: iteration  0 :  4688  enodes  (cost  904 )
1.465 * * [simplify]: iteration  1 :  4688  enodes  (cost  904 )
1.470 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  1/2
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  1
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  1/2
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V))
  (sqrt.f64 (/.f64 (cbrt.f64 A) l))
  (sqrt.f64 (/.f64 (sqrt.f64 A) V))
  (sqrt.f64 (/.f64 (sqrt.f64 A) l))
  (sqrt.f64 (/.f64 1 V))
  (sqrt.f64 (/.f64 A l))
  1
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 V (/.f64 A l))
  (/.f64 1 (*.f64 V l))
  (/.f64 V (/.f64 (cbrt.f64 A) l))
  (/.f64 V (/.f64 (sqrt.f64 A) l))
  (/.f64 V (/.f64 A l))
  (/.f64 A V)
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (neg.f64 A)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)
  (/.f64 (cbrt.f64 A) l)
  (/.f64 (sqrt.f64 A) V)
  (/.f64 (sqrt.f64 A) l)
  (/.f64 1 V)
  (/.f64 A l)
  (/.f64 V (/.f64 A l))
  (/.f64 1 (*.f64 V l))
  (/.f64 V (/.f64 (cbrt.f64 A) l))
  (/.f64 V (/.f64 (sqrt.f64 A) l))
  (/.f64 V (/.f64 A l))
  (/.f64 A V)
  (*.f64 (/.f64 A (*.f64 V l)) NAN.f64)
  0
  0
  (*.f64 (/.f64 A (*.f64 V l)) NAN.f64)
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
1.471 * * * [progress]: adding candidates to table
1.523 * * [progress]: iteration 4 / 4
1.523 * * * [progress]: picking best candidate
1.534 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))>
1.534 * * * [progress]: localizing error
1.542 * * * [progress]: generating rewritten candidates
1.542 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.547 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.555 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.571 * * * [progress]: generating series expansions
1.571 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.572 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
1.572 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
1.572 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.572 * [taylor]: Taking taylor expansion of A in l
1.572 * [taylor]: Taking taylor expansion of (* V l) in l
1.572 * [taylor]: Taking taylor expansion of V in l
1.572 * [taylor]: Taking taylor expansion of l in l
1.572 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
1.572 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.572 * [taylor]: Taking taylor expansion of A in V
1.572 * [taylor]: Taking taylor expansion of (* V l) in V
1.572 * [taylor]: Taking taylor expansion of V in V
1.572 * [taylor]: Taking taylor expansion of l in V
1.573 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.573 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.573 * [taylor]: Taking taylor expansion of A in A
1.573 * [taylor]: Taking taylor expansion of (* V l) in A
1.573 * [taylor]: Taking taylor expansion of V in A
1.573 * [taylor]: Taking taylor expansion of l in A
1.574 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.574 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.574 * [taylor]: Taking taylor expansion of A in A
1.574 * [taylor]: Taking taylor expansion of (* V l) in A
1.574 * [taylor]: Taking taylor expansion of V in A
1.574 * [taylor]: Taking taylor expansion of l in A
1.574 * [taylor]: Taking taylor expansion of 0 in V
1.574 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
1.574 * [taylor]: Taking taylor expansion of NAN in V
1.574 * [taylor]: Taking taylor expansion of (* V l) in V
1.574 * [taylor]: Taking taylor expansion of V in V
1.574 * [taylor]: Taking taylor expansion of l in V
1.575 * [taylor]: Taking taylor expansion of (/ NAN l) in l
1.575 * [taylor]: Taking taylor expansion of NAN in l
1.575 * [taylor]: Taking taylor expansion of l in l
1.575 * [taylor]: Taking taylor expansion of 0 in l
1.576 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
1.576 * [taylor]: Taking taylor expansion of NAN in V
1.576 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
1.576 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.576 * [taylor]: Taking taylor expansion of NAN in V
1.576 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
1.576 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.576 * [taylor]: Taking taylor expansion of V in V
1.576 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.576 * [taylor]: Taking taylor expansion of l in V
1.578 * [taylor]: Taking taylor expansion of 0 in l
1.579 * [taylor]: Taking taylor expansion of 0 in l
1.579 * [taylor]: Taking taylor expansion of 0 in l
1.581 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
1.581 * [taylor]: Taking taylor expansion of NAN in V
1.581 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
1.581 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
1.581 * [taylor]: Taking taylor expansion of NAN in V
1.581 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
1.581 * [taylor]: Taking taylor expansion of (pow V 3) in V
1.581 * [taylor]: Taking taylor expansion of V in V
1.581 * [taylor]: Taking taylor expansion of (pow l 3) in V
1.581 * [taylor]: Taking taylor expansion of l in V
1.587 * [taylor]: Taking taylor expansion of 0 in l
1.590 * [taylor]: Taking taylor expansion of 0 in l
1.591 * [taylor]: Taking taylor expansion of 0 in l
1.591 * [taylor]: Taking taylor expansion of 0 in l
1.592 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
1.592 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
1.592 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.592 * [taylor]: Taking taylor expansion of (* V l) in l
1.592 * [taylor]: Taking taylor expansion of V in l
1.592 * [taylor]: Taking taylor expansion of l in l
1.592 * [taylor]: Taking taylor expansion of A in l
1.593 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
1.593 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.593 * [taylor]: Taking taylor expansion of (* V l) in V
1.593 * [taylor]: Taking taylor expansion of V in V
1.593 * [taylor]: Taking taylor expansion of l in V
1.593 * [taylor]: Taking taylor expansion of A in V
1.593 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.593 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.593 * [taylor]: Taking taylor expansion of (* V l) in A
1.593 * [taylor]: Taking taylor expansion of V in A
1.593 * [taylor]: Taking taylor expansion of l in A
1.593 * [taylor]: Taking taylor expansion of A in A
1.594 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.594 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.594 * [taylor]: Taking taylor expansion of (* V l) in A
1.594 * [taylor]: Taking taylor expansion of V in A
1.594 * [taylor]: Taking taylor expansion of l in A
1.594 * [taylor]: Taking taylor expansion of A in A
1.594 * [taylor]: Taking taylor expansion of 0 in V
1.594 * [taylor]: Taking taylor expansion of 0 in l
1.594 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.594 * [taylor]: Taking taylor expansion of NAN in V
1.594 * [taylor]: Taking taylor expansion of (* V l) in V
1.594 * [taylor]: Taking taylor expansion of V in V
1.594 * [taylor]: Taking taylor expansion of l in V
1.594 * [taylor]: Taking taylor expansion of 0 in l
1.594 * [taylor]: Taking taylor expansion of 0 in l
1.598 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.598 * [taylor]: Taking taylor expansion of NAN in V
1.598 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.598 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.598 * [taylor]: Taking taylor expansion of V in V
1.598 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.598 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.598 * [taylor]: Taking taylor expansion of NAN in V
1.598 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.598 * [taylor]: Taking taylor expansion of l in V
1.598 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.598 * [taylor]: Taking taylor expansion of NAN in l
1.598 * [taylor]: Taking taylor expansion of l in l
1.598 * [taylor]: Taking taylor expansion of 0 in l
1.599 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
1.599 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
1.599 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.599 * [taylor]: Taking taylor expansion of -1 in l
1.599 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.599 * [taylor]: Taking taylor expansion of (* V l) in l
1.599 * [taylor]: Taking taylor expansion of V in l
1.599 * [taylor]: Taking taylor expansion of l in l
1.599 * [taylor]: Taking taylor expansion of A in l
1.600 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
1.600 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.600 * [taylor]: Taking taylor expansion of -1 in V
1.600 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.600 * [taylor]: Taking taylor expansion of (* V l) in V
1.600 * [taylor]: Taking taylor expansion of V in V
1.600 * [taylor]: Taking taylor expansion of l in V
1.600 * [taylor]: Taking taylor expansion of A in V
1.600 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.600 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.601 * [taylor]: Taking taylor expansion of -1 in A
1.601 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.601 * [taylor]: Taking taylor expansion of (* V l) in A
1.601 * [taylor]: Taking taylor expansion of V in A
1.601 * [taylor]: Taking taylor expansion of l in A
1.601 * [taylor]: Taking taylor expansion of A in A
1.601 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.601 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.601 * [taylor]: Taking taylor expansion of -1 in A
1.601 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.601 * [taylor]: Taking taylor expansion of (* V l) in A
1.601 * [taylor]: Taking taylor expansion of V in A
1.601 * [taylor]: Taking taylor expansion of l in A
1.601 * [taylor]: Taking taylor expansion of A in A
1.602 * [taylor]: Taking taylor expansion of 0 in V
1.602 * [taylor]: Taking taylor expansion of 0 in l
1.602 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.602 * [taylor]: Taking taylor expansion of NAN in V
1.602 * [taylor]: Taking taylor expansion of (* V l) in V
1.602 * [taylor]: Taking taylor expansion of V in V
1.602 * [taylor]: Taking taylor expansion of l in V
1.602 * [taylor]: Taking taylor expansion of 0 in l
1.602 * [taylor]: Taking taylor expansion of 0 in l
1.603 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.603 * [taylor]: Taking taylor expansion of NAN in V
1.603 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.603 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.603 * [taylor]: Taking taylor expansion of V in V
1.603 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.603 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.603 * [taylor]: Taking taylor expansion of NAN in V
1.603 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.603 * [taylor]: Taking taylor expansion of l in V
1.604 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.604 * [taylor]: Taking taylor expansion of NAN in l
1.604 * [taylor]: Taking taylor expansion of l in l
1.604 * [taylor]: Taking taylor expansion of 0 in l
1.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.604 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
1.604 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.604 * [taylor]: Taking taylor expansion of A in l
1.604 * [taylor]: Taking taylor expansion of (* V l) in l
1.604 * [taylor]: Taking taylor expansion of V in l
1.604 * [taylor]: Taking taylor expansion of l in l
1.605 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.605 * [taylor]: Taking taylor expansion of A in V
1.605 * [taylor]: Taking taylor expansion of (* V l) in V
1.605 * [taylor]: Taking taylor expansion of V in V
1.605 * [taylor]: Taking taylor expansion of l in V
1.605 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.605 * [taylor]: Taking taylor expansion of A in A
1.605 * [taylor]: Taking taylor expansion of (* V l) in A
1.605 * [taylor]: Taking taylor expansion of V in A
1.605 * [taylor]: Taking taylor expansion of l in A
1.605 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.605 * [taylor]: Taking taylor expansion of A in A
1.605 * [taylor]: Taking taylor expansion of (* V l) in A
1.605 * [taylor]: Taking taylor expansion of V in A
1.605 * [taylor]: Taking taylor expansion of l in A
1.605 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
1.605 * [taylor]: Taking taylor expansion of (* V l) in V
1.606 * [taylor]: Taking taylor expansion of V in V
1.606 * [taylor]: Taking taylor expansion of l in V
1.606 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.606 * [taylor]: Taking taylor expansion of l in l
1.607 * [taylor]: Taking taylor expansion of 0 in V
1.607 * [taylor]: Taking taylor expansion of 0 in l
1.608 * [taylor]: Taking taylor expansion of 0 in V
1.608 * [taylor]: Taking taylor expansion of 0 in l
1.609 * [taylor]: Taking taylor expansion of 0 in l
1.610 * [taylor]: Taking taylor expansion of 0 in V
1.610 * [taylor]: Taking taylor expansion of 0 in l
1.610 * [taylor]: Taking taylor expansion of 0 in l
1.611 * [taylor]: Taking taylor expansion of 0 in l
1.612 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
1.612 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.612 * [taylor]: Taking taylor expansion of (* V l) in l
1.612 * [taylor]: Taking taylor expansion of V in l
1.612 * [taylor]: Taking taylor expansion of l in l
1.612 * [taylor]: Taking taylor expansion of A in l
1.612 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.612 * [taylor]: Taking taylor expansion of (* V l) in V
1.612 * [taylor]: Taking taylor expansion of V in V
1.612 * [taylor]: Taking taylor expansion of l in V
1.612 * [taylor]: Taking taylor expansion of A in V
1.613 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.613 * [taylor]: Taking taylor expansion of (* V l) in A
1.613 * [taylor]: Taking taylor expansion of V in A
1.613 * [taylor]: Taking taylor expansion of l in A
1.613 * [taylor]: Taking taylor expansion of A in A
1.613 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.613 * [taylor]: Taking taylor expansion of (* V l) in A
1.613 * [taylor]: Taking taylor expansion of V in A
1.613 * [taylor]: Taking taylor expansion of l in A
1.613 * [taylor]: Taking taylor expansion of A in A
1.613 * [taylor]: Taking taylor expansion of (* V l) in V
1.613 * [taylor]: Taking taylor expansion of V in V
1.613 * [taylor]: Taking taylor expansion of l in V
1.613 * [taylor]: Taking taylor expansion of l in l
1.614 * [taylor]: Taking taylor expansion of 0 in V
1.614 * [taylor]: Taking taylor expansion of 0 in l
1.614 * [taylor]: Taking taylor expansion of 0 in l
1.615 * [taylor]: Taking taylor expansion of 0 in V
1.615 * [taylor]: Taking taylor expansion of 0 in l
1.615 * [taylor]: Taking taylor expansion of 0 in l
1.615 * [taylor]: Taking taylor expansion of 0 in l
1.616 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
1.616 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.616 * [taylor]: Taking taylor expansion of -1 in l
1.616 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.616 * [taylor]: Taking taylor expansion of (* V l) in l
1.616 * [taylor]: Taking taylor expansion of V in l
1.616 * [taylor]: Taking taylor expansion of l in l
1.616 * [taylor]: Taking taylor expansion of A in l
1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.617 * [taylor]: Taking taylor expansion of -1 in V
1.617 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.617 * [taylor]: Taking taylor expansion of (* V l) in V
1.617 * [taylor]: Taking taylor expansion of V in V
1.617 * [taylor]: Taking taylor expansion of l in V
1.617 * [taylor]: Taking taylor expansion of A in V
1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.617 * [taylor]: Taking taylor expansion of -1 in A
1.617 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.617 * [taylor]: Taking taylor expansion of (* V l) in A
1.617 * [taylor]: Taking taylor expansion of V in A
1.617 * [taylor]: Taking taylor expansion of l in A
1.617 * [taylor]: Taking taylor expansion of A in A
1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.617 * [taylor]: Taking taylor expansion of -1 in A
1.617 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.617 * [taylor]: Taking taylor expansion of (* V l) in A
1.617 * [taylor]: Taking taylor expansion of V in A
1.617 * [taylor]: Taking taylor expansion of l in A
1.617 * [taylor]: Taking taylor expansion of A in A
1.618 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
1.618 * [taylor]: Taking taylor expansion of -1 in V
1.618 * [taylor]: Taking taylor expansion of (* V l) in V
1.618 * [taylor]: Taking taylor expansion of V in V
1.618 * [taylor]: Taking taylor expansion of l in V
1.618 * [taylor]: Taking taylor expansion of (neg l) in l
1.618 * [taylor]: Taking taylor expansion of l in l
1.619 * [taylor]: Taking taylor expansion of 0 in V
1.619 * [taylor]: Taking taylor expansion of 0 in l
1.619 * [taylor]: Taking taylor expansion of 0 in l
1.620 * [taylor]: Taking taylor expansion of 0 in V
1.620 * [taylor]: Taking taylor expansion of 0 in l
1.621 * [taylor]: Taking taylor expansion of 0 in l
1.621 * [taylor]: Taking taylor expansion of 0 in l
1.622 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.622 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
1.622 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
1.622 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
1.622 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
1.622 * [taylor]: Taking taylor expansion of A in l
1.622 * [taylor]: Taking taylor expansion of (* V l) in l
1.622 * [taylor]: Taking taylor expansion of V in l
1.622 * [taylor]: Taking taylor expansion of l in l
1.623 * [taylor]: Taking taylor expansion of c0 in l
1.623 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
1.623 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
1.623 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
1.623 * [taylor]: Taking taylor expansion of A in V
1.623 * [taylor]: Taking taylor expansion of (* V l) in V
1.623 * [taylor]: Taking taylor expansion of V in V
1.623 * [taylor]: Taking taylor expansion of l in V
1.623 * [taylor]: Taking taylor expansion of c0 in V
1.623 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
1.624 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.624 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.624 * [taylor]: Taking taylor expansion of A in A
1.624 * [taylor]: Taking taylor expansion of (* V l) in A
1.624 * [taylor]: Taking taylor expansion of V in A
1.624 * [taylor]: Taking taylor expansion of l in A
1.624 * [taylor]: Taking taylor expansion of c0 in A
1.624 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
1.624 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
1.624 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
1.624 * [taylor]: Taking taylor expansion of A in c0
1.624 * [taylor]: Taking taylor expansion of (* V l) in c0
1.624 * [taylor]: Taking taylor expansion of V in c0
1.624 * [taylor]: Taking taylor expansion of l in c0
1.626 * [taylor]: Taking taylor expansion of c0 in c0
1.626 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
1.626 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
1.626 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
1.626 * [taylor]: Taking taylor expansion of A in c0
1.626 * [taylor]: Taking taylor expansion of (* V l) in c0
1.626 * [taylor]: Taking taylor expansion of V in c0
1.626 * [taylor]: Taking taylor expansion of l in c0
1.627 * [taylor]: Taking taylor expansion of c0 in c0
1.628 * [taylor]: Taking taylor expansion of 0 in A
1.628 * [taylor]: Taking taylor expansion of 0 in V
1.628 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
1.628 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
1.628 * [taylor]: Taking taylor expansion of A in A
1.628 * [taylor]: Taking taylor expansion of (* V l) in A
1.628 * [taylor]: Taking taylor expansion of V in A
1.628 * [taylor]: Taking taylor expansion of l in A
1.629 * [taylor]: Taking taylor expansion of 0 in V
1.629 * [taylor]: Taking taylor expansion of 0 in V
1.629 * [taylor]: Taking taylor expansion of 0 in l
1.631 * [taylor]: Taking taylor expansion of 0 in A
1.631 * [taylor]: Taking taylor expansion of 0 in V
1.631 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
1.631 * [taylor]: Taking taylor expansion of NAN in V
1.631 * [taylor]: Taking taylor expansion of (* V l) in V
1.631 * [taylor]: Taking taylor expansion of V in V
1.631 * [taylor]: Taking taylor expansion of l in V
1.631 * [taylor]: Taking taylor expansion of (/ NAN l) in l
1.631 * [taylor]: Taking taylor expansion of NAN in l
1.631 * [taylor]: Taking taylor expansion of l in l
1.631 * [taylor]: Taking taylor expansion of 0 in V
1.631 * [taylor]: Taking taylor expansion of 0 in l
1.631 * [taylor]: Taking taylor expansion of 0 in l
1.631 * [taylor]: Taking taylor expansion of 0 in l
1.634 * [taylor]: Taking taylor expansion of 0 in A
1.634 * [taylor]: Taking taylor expansion of 0 in V
1.634 * [taylor]: Taking taylor expansion of 0 in V
1.635 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
1.635 * [taylor]: Taking taylor expansion of NAN in V
1.635 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
1.635 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.635 * [taylor]: Taking taylor expansion of NAN in V
1.635 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
1.635 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.635 * [taylor]: Taking taylor expansion of V in V
1.635 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.635 * [taylor]: Taking taylor expansion of l in V
1.638 * [taylor]: Taking taylor expansion of 0 in l
1.638 * [taylor]: Taking taylor expansion of 0 in V
1.638 * [taylor]: Taking taylor expansion of 0 in l
1.639 * [taylor]: Taking taylor expansion of 0 in l
1.639 * [taylor]: Taking taylor expansion of 0 in l
1.639 * [taylor]: Taking taylor expansion of 0 in l
1.639 * [taylor]: Taking taylor expansion of 0 in l
1.639 * [taylor]: Taking taylor expansion of 0 in l
1.640 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
1.640 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
1.640 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
1.640 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.640 * [taylor]: Taking taylor expansion of (* V l) in l
1.640 * [taylor]: Taking taylor expansion of V in l
1.640 * [taylor]: Taking taylor expansion of l in l
1.640 * [taylor]: Taking taylor expansion of A in l
1.641 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
1.641 * [taylor]: Taking taylor expansion of c0 in l
1.641 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
1.641 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
1.641 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.641 * [taylor]: Taking taylor expansion of (* V l) in V
1.641 * [taylor]: Taking taylor expansion of V in V
1.641 * [taylor]: Taking taylor expansion of l in V
1.641 * [taylor]: Taking taylor expansion of A in V
1.642 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
1.642 * [taylor]: Taking taylor expansion of c0 in V
1.642 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
1.642 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.642 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.642 * [taylor]: Taking taylor expansion of (* V l) in A
1.642 * [taylor]: Taking taylor expansion of V in A
1.642 * [taylor]: Taking taylor expansion of l in A
1.642 * [taylor]: Taking taylor expansion of A in A
1.643 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
1.643 * [taylor]: Taking taylor expansion of c0 in A
1.643 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
1.643 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
1.643 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
1.643 * [taylor]: Taking taylor expansion of (* V l) in c0
1.643 * [taylor]: Taking taylor expansion of V in c0
1.643 * [taylor]: Taking taylor expansion of l in c0
1.643 * [taylor]: Taking taylor expansion of A in c0
1.644 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
1.644 * [taylor]: Taking taylor expansion of c0 in c0
1.644 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
1.644 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
1.644 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
1.644 * [taylor]: Taking taylor expansion of (* V l) in c0
1.644 * [taylor]: Taking taylor expansion of V in c0
1.644 * [taylor]: Taking taylor expansion of l in c0
1.644 * [taylor]: Taking taylor expansion of A in c0
1.645 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
1.645 * [taylor]: Taking taylor expansion of c0 in c0
1.646 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
1.646 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.646 * [taylor]: Taking taylor expansion of (* V l) in A
1.646 * [taylor]: Taking taylor expansion of V in A
1.646 * [taylor]: Taking taylor expansion of l in A
1.646 * [taylor]: Taking taylor expansion of A in A
1.646 * [taylor]: Taking taylor expansion of 0 in V
1.646 * [taylor]: Taking taylor expansion of 0 in l
1.647 * [taylor]: Taking taylor expansion of 0 in A
1.647 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
1.647 * [taylor]: Taking taylor expansion of NAN in V
1.647 * [taylor]: Taking taylor expansion of (* V l) in V
1.647 * [taylor]: Taking taylor expansion of V in V
1.647 * [taylor]: Taking taylor expansion of l in V
1.647 * [taylor]: Taking taylor expansion of 0 in l
1.647 * [taylor]: Taking taylor expansion of 0 in l
1.650 * [taylor]: Taking taylor expansion of 0 in A
1.650 * [taylor]: Taking taylor expansion of 0 in V
1.650 * [taylor]: Taking taylor expansion of 0 in l
1.651 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
1.651 * [taylor]: Taking taylor expansion of NAN in V
1.651 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
1.651 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.651 * [taylor]: Taking taylor expansion of V in V
1.651 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
1.651 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
1.651 * [taylor]: Taking taylor expansion of NAN in V
1.651 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.651 * [taylor]: Taking taylor expansion of l in V
1.651 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.651 * [taylor]: Taking taylor expansion of NAN in l
1.651 * [taylor]: Taking taylor expansion of l in l
1.652 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
1.652 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
1.652 * [taylor]: Taking taylor expansion of -1 in l
1.652 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
1.653 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
1.653 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
1.653 * [taylor]: Taking taylor expansion of -1 in l
1.653 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
1.653 * [taylor]: Taking taylor expansion of (* V l) in l
1.653 * [taylor]: Taking taylor expansion of V in l
1.653 * [taylor]: Taking taylor expansion of l in l
1.653 * [taylor]: Taking taylor expansion of A in l
1.653 * [taylor]: Taking taylor expansion of c0 in l
1.654 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
1.654 * [taylor]: Taking taylor expansion of -1 in V
1.654 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
1.654 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
1.654 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
1.654 * [taylor]: Taking taylor expansion of -1 in V
1.654 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
1.654 * [taylor]: Taking taylor expansion of (* V l) in V
1.654 * [taylor]: Taking taylor expansion of V in V
1.654 * [taylor]: Taking taylor expansion of l in V
1.654 * [taylor]: Taking taylor expansion of A in V
1.655 * [taylor]: Taking taylor expansion of c0 in V
1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
1.655 * [taylor]: Taking taylor expansion of -1 in A
1.655 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
1.655 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.655 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.655 * [taylor]: Taking taylor expansion of -1 in A
1.655 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.655 * [taylor]: Taking taylor expansion of (* V l) in A
1.655 * [taylor]: Taking taylor expansion of V in A
1.655 * [taylor]: Taking taylor expansion of l in A
1.655 * [taylor]: Taking taylor expansion of A in A
1.656 * [taylor]: Taking taylor expansion of c0 in A
1.656 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
1.656 * [taylor]: Taking taylor expansion of -1 in c0
1.656 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
1.656 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
1.656 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
1.656 * [taylor]: Taking taylor expansion of -1 in c0
1.656 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
1.656 * [taylor]: Taking taylor expansion of (* V l) in c0
1.656 * [taylor]: Taking taylor expansion of V in c0
1.656 * [taylor]: Taking taylor expansion of l in c0
1.656 * [taylor]: Taking taylor expansion of A in c0
1.658 * [taylor]: Taking taylor expansion of c0 in c0
1.658 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
1.658 * [taylor]: Taking taylor expansion of -1 in c0
1.658 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
1.658 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
1.658 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
1.658 * [taylor]: Taking taylor expansion of -1 in c0
1.658 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
1.658 * [taylor]: Taking taylor expansion of (* V l) in c0
1.658 * [taylor]: Taking taylor expansion of V in c0
1.658 * [taylor]: Taking taylor expansion of l in c0
1.658 * [taylor]: Taking taylor expansion of A in c0
1.660 * [taylor]: Taking taylor expansion of c0 in c0
1.661 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
1.661 * [taylor]: Taking taylor expansion of -1 in A
1.661 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
1.661 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
1.661 * [taylor]: Taking taylor expansion of -1 in A
1.661 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
1.661 * [taylor]: Taking taylor expansion of (* V l) in A
1.661 * [taylor]: Taking taylor expansion of V in A
1.661 * [taylor]: Taking taylor expansion of l in A
1.661 * [taylor]: Taking taylor expansion of A in A
1.662 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
1.662 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
1.662 * [taylor]: Taking taylor expansion of V in V
1.662 * [taylor]: Taking taylor expansion of (* NAN l) in V
1.662 * [taylor]: Taking taylor expansion of NAN in V
1.662 * [taylor]: Taking taylor expansion of l in V
1.663 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
1.663 * [taylor]: Taking taylor expansion of (* NAN l) in l
1.663 * [taylor]: Taking taylor expansion of NAN in l
1.663 * [taylor]: Taking taylor expansion of l in l
1.664 * [taylor]: Taking taylor expansion of 0 in A
1.665 * [taylor]: Taking taylor expansion of 0 in V
1.665 * [taylor]: Taking taylor expansion of 0 in l
1.667 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
1.667 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
1.667 * [taylor]: Taking taylor expansion of (pow V 2) in V
1.667 * [taylor]: Taking taylor expansion of V in V
1.667 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
1.667 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
1.667 * [taylor]: Taking taylor expansion of NAN in V
1.667 * [taylor]: Taking taylor expansion of (pow l 2) in V
1.667 * [taylor]: Taking taylor expansion of l in V
1.668 * [taylor]: Taking taylor expansion of 0 in l
1.671 * [taylor]: Taking taylor expansion of 0 in A
1.671 * [taylor]: Taking taylor expansion of 0 in V
1.671 * [taylor]: Taking taylor expansion of 0 in l
1.671 * [taylor]: Taking taylor expansion of 0 in V
1.671 * [taylor]: Taking taylor expansion of 0 in l
1.675 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
1.675 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
1.675 * [taylor]: Taking taylor expansion of (pow V 3) in V
1.675 * [taylor]: Taking taylor expansion of V in V
1.675 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
1.675 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
1.675 * [taylor]: Taking taylor expansion of NAN in V
1.675 * [taylor]: Taking taylor expansion of (pow l 3) in V
1.675 * [taylor]: Taking taylor expansion of l in V
1.675 * [taylor]: Taking taylor expansion of 0 in l
1.676 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.676 * [approximate]: Taking taylor expansion of (/ 1 (* V l)) in (V l) around 0
1.676 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in l
1.676 * [taylor]: Taking taylor expansion of (* V l) in l
1.676 * [taylor]: Taking taylor expansion of V in l
1.676 * [taylor]: Taking taylor expansion of l in l
1.677 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
1.677 * [taylor]: Taking taylor expansion of (* V l) in V
1.677 * [taylor]: Taking taylor expansion of V in V
1.677 * [taylor]: Taking taylor expansion of l in V
1.677 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
1.677 * [taylor]: Taking taylor expansion of (* V l) in V
1.677 * [taylor]: Taking taylor expansion of V in V
1.677 * [taylor]: Taking taylor expansion of l in V
1.678 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.678 * [taylor]: Taking taylor expansion of l in l
1.678 * [taylor]: Taking taylor expansion of 0 in l
1.679 * [taylor]: Taking taylor expansion of 0 in l
1.681 * [taylor]: Taking taylor expansion of 0 in l
1.682 * [approximate]: Taking taylor expansion of (* V l) in (V l) around 0
1.682 * [taylor]: Taking taylor expansion of (* V l) in l
1.682 * [taylor]: Taking taylor expansion of V in l
1.682 * [taylor]: Taking taylor expansion of l in l
1.682 * [taylor]: Taking taylor expansion of (* V l) in V
1.682 * [taylor]: Taking taylor expansion of V in V
1.682 * [taylor]: Taking taylor expansion of l in V
1.682 * [taylor]: Taking taylor expansion of (* V l) in V
1.682 * [taylor]: Taking taylor expansion of V in V
1.682 * [taylor]: Taking taylor expansion of l in V
1.682 * [taylor]: Taking taylor expansion of 0 in l
1.682 * [taylor]: Taking taylor expansion of l in l
1.683 * [taylor]: Taking taylor expansion of 0 in l
1.683 * [taylor]: Taking taylor expansion of 0 in l
1.684 * [taylor]: Taking taylor expansion of 0 in l
1.685 * [approximate]: Taking taylor expansion of (* V l) in (V l) around 0
1.685 * [taylor]: Taking taylor expansion of (* V l) in l
1.685 * [taylor]: Taking taylor expansion of V in l
1.685 * [taylor]: Taking taylor expansion of l in l
1.685 * [taylor]: Taking taylor expansion of (* V l) in V
1.685 * [taylor]: Taking taylor expansion of V in V
1.685 * [taylor]: Taking taylor expansion of l in V
1.685 * [taylor]: Taking taylor expansion of (* V l) in V
1.685 * [taylor]: Taking taylor expansion of V in V
1.685 * [taylor]: Taking taylor expansion of l in V
1.685 * [taylor]: Taking taylor expansion of 0 in l
1.685 * [taylor]: Taking taylor expansion of l in l
1.685 * [taylor]: Taking taylor expansion of 0 in l
1.686 * [taylor]: Taking taylor expansion of 0 in l
1.686 * [taylor]: Taking taylor expansion of 0 in l
1.687 * * * [progress]: simplifying candidates
1.688 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (log.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (*.f64 (*.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (cbrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (cbrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (sqrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (sqrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (/.f64 1 2)
  (/.f64 1 2)
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 (*.f64 A 1))
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (*.f64 A (/.f64 1 (*.f64 V l)))
  (+.f64 (log.f64 A) (-.f64 0 (+.f64 (log.f64 V) (log.f64 l))))
  (+.f64 (log.f64 A) (-.f64 0 (log.f64 (*.f64 V l))))
  (+.f64 (log.f64 A) (-.f64 (log.f64 1) (+.f64 (log.f64 V) (log.f64 l))))
  (+.f64 (log.f64 A) (-.f64 (log.f64 1) (log.f64 (*.f64 V l))))
  (+.f64 (log.f64 A) (neg.f64 (+.f64 (log.f64 V) (log.f64 l))))
  (+.f64 (log.f64 A) (neg.f64 (log.f64 (*.f64 V l))))
  (+.f64 (log.f64 A) (log.f64 (/.f64 1 (*.f64 V l))))
  (exp.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
  (log.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
  (*.f64 (*.f64 (*.f64 A (/.f64 1 (*.f64 V l))) (*.f64 A (/.f64 1 (*.f64 V l)))) (*.f64 A (/.f64 1 (*.f64 V l))))
  (*.f64 (cbrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) (cbrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (cbrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
  (*.f64 (*.f64 (*.f64 A A) A) (*.f64 (*.f64 (/.f64 1 (*.f64 V l)) (/.f64 1 (*.f64 V l))) (/.f64 1 (*.f64 V l))))
  (*.f64 (*.f64 (*.f64 A A) A) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 V l) (*.f64 V l)) (*.f64 V l))))
  (*.f64 (*.f64 (*.f64 A A) A) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 V V) V) (*.f64 (*.f64 l l) l))))
  (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
  (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
  (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))
  (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))
  (*.f64 A 1)
  (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l)))
  (*.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l)))
  (*.f64 A (/.f64 1 (*.f64 V l)))
  (*.f64 A (*.f64 (cbrt.f64 (/.f64 1 (*.f64 V l))) (cbrt.f64 (/.f64 1 (*.f64 V l)))))
  (*.f64 A (sqrt.f64 (/.f64 1 (*.f64 V l))))
  (*.f64 A (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) V))
  (*.f64 A (/.f64 (sqrt.f64 1) V))
  (*.f64 A (/.f64 1 V))
  (*.f64 A 1)
  (*.f64 A 1)
  (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (exp.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (log.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 (*.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))) (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))))
  (cbrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 (*.f64 (*.f64 c0 c0) c0) (*.f64 (*.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (sqrt.f64 (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 c0 (sqrt.f64 A))
  (*.f64 c0 (sqrt.f64 (*.f64 A 1)))
  (*.f64 (cbrt.f64 c0) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (*.f64 (sqrt.f64 c0) (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
  (*.f64 c0 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (cbrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))))
  (*.f64 c0 (sqrt.f64 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))
  (*.f64 c0 (sqrt.f64 A))
  (*.f64 c0 1)
  (neg.f64 1)
  (neg.f64 1)
  (-.f64 0 (+.f64 (log.f64 V) (log.f64 l)))
  (-.f64 0 (log.f64 (*.f64 V l)))
  (-.f64 (log.f64 1) (+.f64 (log.f64 V) (log.f64 l)))
  (-.f64 (log.f64 1) (log.f64 (*.f64 V l)))
  (neg.f64 (+.f64 (log.f64 V) (log.f64 l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (exp.f64 (/.f64 1 (*.f64 V l)))
  (log.f64 (/.f64 1 (*.f64 V l)))
  (*.f64 (*.f64 (/.f64 1 (*.f64 V l)) (/.f64 1 (*.f64 V l))) (/.f64 1 (*.f64 V l)))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 V l))) (cbrt.f64 (/.f64 1 (*.f64 V l))))
  (cbrt.f64 (/.f64 1 (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 V l) (*.f64 V l)) (*.f64 V l)))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 V V) V) (*.f64 (*.f64 l l) l)))
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (neg.f64 1)
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) V)
  (/.f64 (cbrt.f64 1) l)
  (/.f64 (sqrt.f64 1) V)
  (/.f64 (sqrt.f64 1) l)
  (/.f64 1 V)
  (/.f64 1 l)
  (/.f64 (*.f64 V l) 1)
  (/.f64 1 (*.f64 V l))
  (/.f64 (*.f64 V l) (cbrt.f64 1))
  (/.f64 (*.f64 V l) (sqrt.f64 1))
  (/.f64 (*.f64 V l) 1)
  (/.f64 1 V)
  (/.f64 (*.f64 A NAN.f64) (*.f64 V l))
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 (*.f64 A (*.f64 NAN.f64 c0)) (*.f64 V l))
  0
  (/.f64 (*.f64 c0 NAN.f64) (*.f64 V l))
  (/.f64 1 (*.f64 V l))
  (/.f64 1 (*.f64 V l))
  (/.f64 1 (*.f64 V l))
1.828 * * [simplify]: iteration  0 :  5245  enodes  (cost  996 )
1.834 * [simplify]: Simplified to:
   (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (log.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (pow.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))))
  (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))
  1/2
  1/2
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 A)
  (sqrt.f64 (*.f64 V l))
  (sqrt.f64 A)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (/.f64 A (*.f64 V l))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (exp.f64 (/.f64 A (*.f64 V l)))
  (log.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (*.f64 (cbrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 (/.f64 A (*.f64 V l))))
  (cbrt.f64 (/.f64 A (*.f64 V l)))
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (pow.f64 (/.f64 A (*.f64 V l)) 3)
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (sqrt.f64 (/.f64 A (*.f64 V l)))
  (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))
  (*.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))
  A
  (/.f64 (cbrt.f64 A) (*.f64 V l))
  (/.f64 (sqrt.f64 A) (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (*.f64 A (*.f64 (cbrt.f64 (/.f64 1 (*.f64 V l))) (cbrt.f64 (/.f64 1 (*.f64 V l)))))
  (*.f64 A (sqrt.f64 (/.f64 1 (*.f64 V l))))
  (*.f64 A (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) V))
  (/.f64 A V)
  (/.f64 A V)
  A
  A
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (log.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3)
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)))
  (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (pow.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0) 3)
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 A) c0)
  (*.f64 (sqrt.f64 A) c0)
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))
  (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0)
  (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0)
  (*.f64 (sqrt.f64 A) c0)
  c0
  -1
  -1
  (neg.f64 (log.f64 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (exp.f64 (/.f64 1 (*.f64 V l)))
  (neg.f64 (log.f64 (*.f64 V l)))
  (pow.f64 (/.f64 1 (*.f64 V l)) 3)
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 V l))) (cbrt.f64 (/.f64 1 (*.f64 V l))))
  (cbrt.f64 (/.f64 1 (*.f64 V l)))
  (pow.f64 (/.f64 1 (*.f64 V l)) 3)
  (pow.f64 (/.f64 1 (*.f64 V l)) 3)
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  (sqrt.f64 (/.f64 1 (*.f64 V l)))
  -1
  (neg.f64 (*.f64 V l))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) V)
  (/.f64 (cbrt.f64 1) l)
  (/.f64 1 V)
  (/.f64 1 l)
  (/.f64 1 V)
  (/.f64 1 l)
  (*.f64 V l)
  (/.f64 1 (*.f64 V l))
  (/.f64 V (/.f64 (cbrt.f64 1) l))
  (*.f64 V l)
  (*.f64 V l)
  (/.f64 1 V)
  (*.f64 (/.f64 A (*.f64 V l)) NAN.f64)
  0
  0
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (/.f64 A (*.f64 V l))
  (*.f64 (/.f64 A (*.f64 V l)) (*.f64 c0 NAN.f64))
  0
  (/.f64 (*.f64 c0 NAN.f64) (*.f64 V l))
  (/.f64 1 (*.f64 V l))
  (/.f64 1 (*.f64 V l))
  (/.f64 1 (*.f64 V l))
1.834 * * * [progress]: adding candidates to table
1.875 * [progress]: [Phase 3 of 3] Extracting.
1.875 * * [regime]: Finding splitpoints for: (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
1.878 * * * [regime-changes]: Trying 7 branch expressions: ((*.f64 V l) (/.f64 A (*.f64 V l)) (sqrt.f64 (/.f64 A (*.f64 V l))) l V A c0)
1.878 * * * * [regimes]: Trying to branch on (*.f64 V l) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
1.936 * * * * [regimes]: Trying to branch on (*.f64 V l) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
1.958 * * * * [regimes]: Trying to branch on (/.f64 A (*.f64 V l)) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
1.997 * * * * [regimes]: Trying to branch on (/.f64 A (*.f64 V l)) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.009 * * * * [regimes]: Trying to branch on (sqrt.f64 (/.f64 A (*.f64 V l))) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.046 * * * * [regimes]: Trying to branch on (sqrt.f64 (/.f64 A (*.f64 V l))) from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) 0)>)
2.060 * * * * [regimes]: Trying to branch on l from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.102 * * * * [regimes]: Trying to branch on V from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.144 * * * * [regimes]: Trying to branch on A from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.194 * * * * [regimes]: Trying to branch on c0 from (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.236 * * * [regime]: Found split indices: #<option (#s(si 10 23) #s(si 1 117) #s(si 10 141) #s(si 13 234) #s(si 7 255))>
2.237 * [binary-search]: Only using regimes for bounds on (*.f64 V l) and (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.237 * [regimes]: Found splitpoints: (#s(sp 10 (*.f64 V l) -1.8224640885465417e+236) #s(sp 1 (*.f64 V l) -1.1485669237723498e-254) #s(sp 10 (*.f64 V l) 0.0) #s(sp 13 (*.f64 V l) 7.596503550601429e+267) #s(sp 7 (*.f64 V l) +nan.0)) , with alts (#<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 c0) (cbrt.f64 c0)) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (cbrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))) (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0))))> #<alt (λ (c0 A V l) (*.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) (sqrt.f64 c0))))> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))) c0) (cbrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l)))) c0) (sqrt.f64 (sqrt.f64 (/.f64 A (*.f64 V l))))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V)) (sqrt.f64 (/.f64 (cbrt.f64 A) l)))))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)))> #<alt (λ (c0 A V l) (/.f64 (*.f64 (sqrt.f64 (/.f64 A V)) c0) (sqrt.f64 l)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))> #<alt (λ (c0 A V l) (*.f64 (*.f64 (sqrt.f64 (/.f64 1 V)) c0) (sqrt.f64 (/.f64 A l))))> #<alt (λ (c0 A V l) (*.f64 c0 (*.f64 (fabs.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))) (sqrt.f64 (cbrt.f64 (/.f64 A (*.f64 V l)))))))>)
2.237 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 V l) -182246408854654173371761297476507272574910292731410175341117331444040186196644892906852412811897497698949143092682296518555741664596526006855666903671153793780146273936303266441877648363109229206864085441750899755366790748399284481163264) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)) (if (<=.f64 (*.f64 V l) -6067816244722469/528294531135665246352339784916516606518847326036121522127960709026673902556724859474417255887657187894674394993257128678882347559502685537250538978462939576908386683999005084168731517676426441053024232908211188404148028292751561738838396898767036476489538580897737998336) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (if (<=.f64 (*.f64 V l) 0) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)) (if (<=.f64 (*.f64 V l) 7596503550601429444092407282893065749069985671565386865259376251509326829584000642176315126563685092539738848759490845444636617613091431694031242178041214433861723414785435569846963068344265195729597068979777173155564383088778775506570068354139090658206782743461756928) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 V) (/.f64 A l))))))))
2.240 * * [simplify]: iteration  0 :  45  enodes  (cost  108 )
2.240 * * [simplify]: iteration  1 :  45  enodes  (cost  108 )
2.241 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 V l) -182246408854654173371761297476507272574910292731410175341117331444040186196644892906852412811897497698949143092682296518555741664596526006855666903671153793780146273936303266441877648363109229206864085441750899755366790748399284481163264) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)) (if (<=.f64 (*.f64 V l) -6067816244722469/528294531135665246352339784916516606518847326036121522127960709026673902556724859474417255887657187894674394993257128678882347559502685537250538978462939576908386683999005084168731517676426441053024232908211188404148028292751561738838396898767036476489538580897737998336) (*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))) (if (<=.f64 (*.f64 V l) 0) (/.f64 (*.f64 (sqrt.f64 (/.f64 A l)) c0) (sqrt.f64 V)) (if (<=.f64 (*.f64 V l) 7596503550601429444092407282893065749069985671565386865259376251509326829584000642176315126563685092539738848759490845444636617613091431694031242178041214433861723414785435569846963068344265195729597068979777173155564383088778775506570068354139090658206782743461756928) (*.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A l) (/.f64 1 V))))))))
3.254 * [regime-testing]: End program error score: 13.13695520481316