67.354 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.493 * * * [progress]: [2/2] Setting up program.
0.497 * [progress]: [Phase 2 of 3] Improving.
0.497 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* c0 (sqrt (/ A (* V l))))
0.499 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
0.500 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.501 * * [simplify]: iteration  2 :  14  enodes  (cost  4 )
0.501 * [simplify]: Simplified to:
   (* c0 (sqrt (/ A (* V l))))
0.501 * * [progress]: iteration 1 / 4
0.501 * * * [progress]: picking best candidate
0.504 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.504 * * * [progress]: localizing error
0.511 * * * [progress]: generating rewritten candidates
0.512 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.515 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.519 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.528 * * * [progress]: generating series expansions
0.528 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.528 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.528 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.528 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.528 * [taylor]: Taking taylor expansion of A in l
0.528 * [taylor]: Taking taylor expansion of (* V l) in l
0.528 * [taylor]: Taking taylor expansion of V in l
0.528 * [taylor]: Taking taylor expansion of l in l
0.528 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.529 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.529 * [taylor]: Taking taylor expansion of A in V
0.529 * [taylor]: Taking taylor expansion of (* V l) in V
0.529 * [taylor]: Taking taylor expansion of V in V
0.529 * [taylor]: Taking taylor expansion of l in V
0.529 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.529 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.529 * [taylor]: Taking taylor expansion of A in A
0.529 * [taylor]: Taking taylor expansion of (* V l) in A
0.529 * [taylor]: Taking taylor expansion of V in A
0.529 * [taylor]: Taking taylor expansion of l in A
0.529 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.529 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.529 * [taylor]: Taking taylor expansion of A in A
0.529 * [taylor]: Taking taylor expansion of (* V l) in A
0.529 * [taylor]: Taking taylor expansion of V in A
0.529 * [taylor]: Taking taylor expansion of l in A
0.529 * [taylor]: Taking taylor expansion of 0 in V
0.529 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.529 * [taylor]: Taking taylor expansion of NAN in V
0.529 * [taylor]: Taking taylor expansion of (* V l) in V
0.529 * [taylor]: Taking taylor expansion of V in V
0.529 * [taylor]: Taking taylor expansion of l in V
0.529 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.529 * [taylor]: Taking taylor expansion of NAN in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of 0 in l
0.530 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.530 * [taylor]: Taking taylor expansion of NAN in V
0.530 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.530 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.530 * [taylor]: Taking taylor expansion of NAN in V
0.530 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.530 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.530 * [taylor]: Taking taylor expansion of V in V
0.530 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.530 * [taylor]: Taking taylor expansion of l in V
0.530 * [taylor]: Taking taylor expansion of 0 in l
0.530 * [taylor]: Taking taylor expansion of 0 in l
0.530 * [taylor]: Taking taylor expansion of 0 in l
0.531 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.531 * [taylor]: Taking taylor expansion of NAN in V
0.531 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.531 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.531 * [taylor]: Taking taylor expansion of NAN in V
0.531 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.531 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.531 * [taylor]: Taking taylor expansion of V in V
0.531 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.531 * [taylor]: Taking taylor expansion of l in V
0.533 * [taylor]: Taking taylor expansion of 0 in l
0.533 * [taylor]: Taking taylor expansion of 0 in l
0.533 * [taylor]: Taking taylor expansion of 0 in l
0.533 * [taylor]: Taking taylor expansion of 0 in l
0.533 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.533 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.534 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.534 * [taylor]: Taking taylor expansion of (* V l) in l
0.534 * [taylor]: Taking taylor expansion of V in l
0.534 * [taylor]: Taking taylor expansion of l in l
0.534 * [taylor]: Taking taylor expansion of A in l
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.534 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.534 * [taylor]: Taking taylor expansion of (* V l) in V
0.534 * [taylor]: Taking taylor expansion of V in V
0.534 * [taylor]: Taking taylor expansion of l in V
0.534 * [taylor]: Taking taylor expansion of A in V
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.534 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.534 * [taylor]: Taking taylor expansion of (* V l) in A
0.534 * [taylor]: Taking taylor expansion of V in A
0.534 * [taylor]: Taking taylor expansion of l in A
0.534 * [taylor]: Taking taylor expansion of A in A
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.534 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.534 * [taylor]: Taking taylor expansion of (* V l) in A
0.534 * [taylor]: Taking taylor expansion of V in A
0.534 * [taylor]: Taking taylor expansion of l in A
0.534 * [taylor]: Taking taylor expansion of A in A
0.534 * [taylor]: Taking taylor expansion of 0 in V
0.534 * [taylor]: Taking taylor expansion of 0 in l
0.534 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.534 * [taylor]: Taking taylor expansion of NAN in V
0.534 * [taylor]: Taking taylor expansion of (* V l) in V
0.534 * [taylor]: Taking taylor expansion of V in V
0.534 * [taylor]: Taking taylor expansion of l in V
0.534 * [taylor]: Taking taylor expansion of 0 in l
0.534 * [taylor]: Taking taylor expansion of 0 in l
0.535 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.535 * [taylor]: Taking taylor expansion of NAN in V
0.535 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.535 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.535 * [taylor]: Taking taylor expansion of V in V
0.535 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.535 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.535 * [taylor]: Taking taylor expansion of NAN in V
0.535 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.535 * [taylor]: Taking taylor expansion of l in V
0.535 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.535 * [taylor]: Taking taylor expansion of NAN in l
0.535 * [taylor]: Taking taylor expansion of l in l
0.535 * [taylor]: Taking taylor expansion of 0 in l
0.535 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.535 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.535 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.535 * [taylor]: Taking taylor expansion of -1 in l
0.535 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.535 * [taylor]: Taking taylor expansion of (* V l) in l
0.535 * [taylor]: Taking taylor expansion of V in l
0.535 * [taylor]: Taking taylor expansion of l in l
0.535 * [taylor]: Taking taylor expansion of A in l
0.535 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.535 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.535 * [taylor]: Taking taylor expansion of -1 in V
0.535 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.535 * [taylor]: Taking taylor expansion of (* V l) in V
0.535 * [taylor]: Taking taylor expansion of V in V
0.535 * [taylor]: Taking taylor expansion of l in V
0.535 * [taylor]: Taking taylor expansion of A in V
0.536 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.536 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.536 * [taylor]: Taking taylor expansion of -1 in A
0.536 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.536 * [taylor]: Taking taylor expansion of (* V l) in A
0.536 * [taylor]: Taking taylor expansion of V in A
0.536 * [taylor]: Taking taylor expansion of l in A
0.536 * [taylor]: Taking taylor expansion of A in A
0.536 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.536 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.536 * [taylor]: Taking taylor expansion of -1 in A
0.536 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.536 * [taylor]: Taking taylor expansion of (* V l) in A
0.536 * [taylor]: Taking taylor expansion of V in A
0.536 * [taylor]: Taking taylor expansion of l in A
0.536 * [taylor]: Taking taylor expansion of A in A
0.536 * [taylor]: Taking taylor expansion of 0 in V
0.536 * [taylor]: Taking taylor expansion of 0 in l
0.536 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.536 * [taylor]: Taking taylor expansion of NAN in V
0.536 * [taylor]: Taking taylor expansion of (* V l) in V
0.536 * [taylor]: Taking taylor expansion of V in V
0.536 * [taylor]: Taking taylor expansion of l in V
0.536 * [taylor]: Taking taylor expansion of 0 in l
0.536 * [taylor]: Taking taylor expansion of 0 in l
0.536 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.537 * [taylor]: Taking taylor expansion of NAN in V
0.537 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.537 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.537 * [taylor]: Taking taylor expansion of V in V
0.537 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.537 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.537 * [taylor]: Taking taylor expansion of NAN in V
0.537 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.537 * [taylor]: Taking taylor expansion of l in V
0.537 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.537 * [taylor]: Taking taylor expansion of NAN in l
0.537 * [taylor]: Taking taylor expansion of l in l
0.537 * [taylor]: Taking taylor expansion of 0 in l
0.537 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.537 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.537 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.537 * [taylor]: Taking taylor expansion of A in l
0.537 * [taylor]: Taking taylor expansion of (* V l) in l
0.537 * [taylor]: Taking taylor expansion of V in l
0.537 * [taylor]: Taking taylor expansion of l in l
0.537 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.537 * [taylor]: Taking taylor expansion of A in V
0.537 * [taylor]: Taking taylor expansion of (* V l) in V
0.537 * [taylor]: Taking taylor expansion of V in V
0.537 * [taylor]: Taking taylor expansion of l in V
0.537 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.537 * [taylor]: Taking taylor expansion of A in A
0.537 * [taylor]: Taking taylor expansion of (* V l) in A
0.537 * [taylor]: Taking taylor expansion of V in A
0.537 * [taylor]: Taking taylor expansion of l in A
0.537 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.537 * [taylor]: Taking taylor expansion of A in A
0.537 * [taylor]: Taking taylor expansion of (* V l) in A
0.537 * [taylor]: Taking taylor expansion of V in A
0.537 * [taylor]: Taking taylor expansion of l in A
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.538 * [taylor]: Taking taylor expansion of (* V l) in V
0.538 * [taylor]: Taking taylor expansion of V in V
0.538 * [taylor]: Taking taylor expansion of l in V
0.538 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.538 * [taylor]: Taking taylor expansion of 0 in V
0.538 * [taylor]: Taking taylor expansion of 0 in l
0.538 * [taylor]: Taking taylor expansion of 0 in V
0.538 * [taylor]: Taking taylor expansion of 0 in l
0.538 * [taylor]: Taking taylor expansion of 0 in l
0.538 * [taylor]: Taking taylor expansion of 0 in V
0.538 * [taylor]: Taking taylor expansion of 0 in l
0.538 * [taylor]: Taking taylor expansion of 0 in l
0.539 * [taylor]: Taking taylor expansion of 0 in l
0.539 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.539 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.539 * [taylor]: Taking taylor expansion of (* V l) in l
0.539 * [taylor]: Taking taylor expansion of V in l
0.539 * [taylor]: Taking taylor expansion of l in l
0.539 * [taylor]: Taking taylor expansion of A in l
0.539 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.539 * [taylor]: Taking taylor expansion of (* V l) in V
0.539 * [taylor]: Taking taylor expansion of V in V
0.539 * [taylor]: Taking taylor expansion of l in V
0.539 * [taylor]: Taking taylor expansion of A in V
0.539 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.539 * [taylor]: Taking taylor expansion of (* V l) in A
0.539 * [taylor]: Taking taylor expansion of V in A
0.539 * [taylor]: Taking taylor expansion of l in A
0.539 * [taylor]: Taking taylor expansion of A in A
0.539 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.539 * [taylor]: Taking taylor expansion of (* V l) in A
0.539 * [taylor]: Taking taylor expansion of V in A
0.539 * [taylor]: Taking taylor expansion of l in A
0.539 * [taylor]: Taking taylor expansion of A in A
0.539 * [taylor]: Taking taylor expansion of (* V l) in V
0.539 * [taylor]: Taking taylor expansion of V in V
0.539 * [taylor]: Taking taylor expansion of l in V
0.539 * [taylor]: Taking taylor expansion of l in l
0.539 * [taylor]: Taking taylor expansion of 0 in V
0.539 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [taylor]: Taking taylor expansion of 0 in V
0.540 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.540 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.540 * [taylor]: Taking taylor expansion of -1 in l
0.540 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.540 * [taylor]: Taking taylor expansion of (* V l) in l
0.540 * [taylor]: Taking taylor expansion of V in l
0.540 * [taylor]: Taking taylor expansion of l in l
0.540 * [taylor]: Taking taylor expansion of A in l
0.540 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.540 * [taylor]: Taking taylor expansion of -1 in V
0.540 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.540 * [taylor]: Taking taylor expansion of (* V l) in V
0.540 * [taylor]: Taking taylor expansion of V in V
0.540 * [taylor]: Taking taylor expansion of l in V
0.540 * [taylor]: Taking taylor expansion of A in V
0.540 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.540 * [taylor]: Taking taylor expansion of -1 in A
0.540 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.540 * [taylor]: Taking taylor expansion of (* V l) in A
0.540 * [taylor]: Taking taylor expansion of V in A
0.540 * [taylor]: Taking taylor expansion of l in A
0.540 * [taylor]: Taking taylor expansion of A in A
0.540 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.540 * [taylor]: Taking taylor expansion of -1 in A
0.540 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.541 * [taylor]: Taking taylor expansion of (* V l) in A
0.541 * [taylor]: Taking taylor expansion of V in A
0.541 * [taylor]: Taking taylor expansion of l in A
0.541 * [taylor]: Taking taylor expansion of A in A
0.541 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.541 * [taylor]: Taking taylor expansion of -1 in V
0.541 * [taylor]: Taking taylor expansion of (* V l) in V
0.541 * [taylor]: Taking taylor expansion of V in V
0.541 * [taylor]: Taking taylor expansion of l in V
0.541 * [taylor]: Taking taylor expansion of (neg l) in l
0.541 * [taylor]: Taking taylor expansion of l in l
0.541 * [taylor]: Taking taylor expansion of 0 in V
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.541 * [taylor]: Taking taylor expansion of 0 in V
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.542 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.542 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.542 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.542 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.542 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.542 * [taylor]: Taking taylor expansion of A in l
0.542 * [taylor]: Taking taylor expansion of (* V l) in l
0.542 * [taylor]: Taking taylor expansion of V in l
0.542 * [taylor]: Taking taylor expansion of l in l
0.542 * [taylor]: Taking taylor expansion of c0 in l
0.542 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.542 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.542 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.542 * [taylor]: Taking taylor expansion of A in V
0.542 * [taylor]: Taking taylor expansion of (* V l) in V
0.542 * [taylor]: Taking taylor expansion of V in V
0.542 * [taylor]: Taking taylor expansion of l in V
0.542 * [taylor]: Taking taylor expansion of c0 in V
0.542 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.542 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.542 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.543 * [taylor]: Taking taylor expansion of A in A
0.543 * [taylor]: Taking taylor expansion of (* V l) in A
0.543 * [taylor]: Taking taylor expansion of V in A
0.543 * [taylor]: Taking taylor expansion of l in A
0.543 * [taylor]: Taking taylor expansion of c0 in A
0.543 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.543 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.543 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.543 * [taylor]: Taking taylor expansion of A in c0
0.543 * [taylor]: Taking taylor expansion of (* V l) in c0
0.543 * [taylor]: Taking taylor expansion of V in c0
0.543 * [taylor]: Taking taylor expansion of l in c0
0.543 * [taylor]: Taking taylor expansion of c0 in c0
0.543 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.543 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.543 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.543 * [taylor]: Taking taylor expansion of A in c0
0.543 * [taylor]: Taking taylor expansion of (* V l) in c0
0.543 * [taylor]: Taking taylor expansion of V in c0
0.543 * [taylor]: Taking taylor expansion of l in c0
0.543 * [taylor]: Taking taylor expansion of c0 in c0
0.543 * [taylor]: Taking taylor expansion of 0 in A
0.543 * [taylor]: Taking taylor expansion of 0 in V
0.544 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.544 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.544 * [taylor]: Taking taylor expansion of A in A
0.544 * [taylor]: Taking taylor expansion of (* V l) in A
0.544 * [taylor]: Taking taylor expansion of V in A
0.544 * [taylor]: Taking taylor expansion of l in A
0.544 * [taylor]: Taking taylor expansion of 0 in V
0.544 * [taylor]: Taking taylor expansion of 0 in V
0.544 * [taylor]: Taking taylor expansion of 0 in l
0.544 * [taylor]: Taking taylor expansion of 0 in A
0.544 * [taylor]: Taking taylor expansion of 0 in V
0.544 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.544 * [taylor]: Taking taylor expansion of NAN in V
0.544 * [taylor]: Taking taylor expansion of (* V l) in V
0.544 * [taylor]: Taking taylor expansion of V in V
0.544 * [taylor]: Taking taylor expansion of l in V
0.544 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.544 * [taylor]: Taking taylor expansion of NAN in l
0.544 * [taylor]: Taking taylor expansion of l in l
0.544 * [taylor]: Taking taylor expansion of 0 in V
0.544 * [taylor]: Taking taylor expansion of 0 in l
0.544 * [taylor]: Taking taylor expansion of 0 in l
0.544 * [taylor]: Taking taylor expansion of 0 in l
0.545 * [taylor]: Taking taylor expansion of 0 in A
0.545 * [taylor]: Taking taylor expansion of 0 in V
0.545 * [taylor]: Taking taylor expansion of 0 in V
0.545 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.545 * [taylor]: Taking taylor expansion of NAN in V
0.545 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.545 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.545 * [taylor]: Taking taylor expansion of NAN in V
0.545 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.545 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.545 * [taylor]: Taking taylor expansion of V in V
0.545 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.545 * [taylor]: Taking taylor expansion of l in V
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in V
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [taylor]: Taking taylor expansion of 0 in l
0.546 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.546 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.546 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.546 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.547 * [taylor]: Taking taylor expansion of (* V l) in l
0.547 * [taylor]: Taking taylor expansion of V in l
0.547 * [taylor]: Taking taylor expansion of l in l
0.547 * [taylor]: Taking taylor expansion of A in l
0.547 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.547 * [taylor]: Taking taylor expansion of c0 in l
0.547 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.547 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.547 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.547 * [taylor]: Taking taylor expansion of (* V l) in V
0.547 * [taylor]: Taking taylor expansion of V in V
0.547 * [taylor]: Taking taylor expansion of l in V
0.547 * [taylor]: Taking taylor expansion of A in V
0.547 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.547 * [taylor]: Taking taylor expansion of c0 in V
0.547 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.547 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.547 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.547 * [taylor]: Taking taylor expansion of (* V l) in A
0.547 * [taylor]: Taking taylor expansion of V in A
0.547 * [taylor]: Taking taylor expansion of l in A
0.547 * [taylor]: Taking taylor expansion of A in A
0.547 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.547 * [taylor]: Taking taylor expansion of c0 in A
0.547 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.547 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.547 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.547 * [taylor]: Taking taylor expansion of (* V l) in c0
0.547 * [taylor]: Taking taylor expansion of V in c0
0.547 * [taylor]: Taking taylor expansion of l in c0
0.547 * [taylor]: Taking taylor expansion of A in c0
0.547 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.548 * [taylor]: Taking taylor expansion of c0 in c0
0.548 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.548 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.548 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.548 * [taylor]: Taking taylor expansion of (* V l) in c0
0.548 * [taylor]: Taking taylor expansion of V in c0
0.548 * [taylor]: Taking taylor expansion of l in c0
0.548 * [taylor]: Taking taylor expansion of A in c0
0.548 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.548 * [taylor]: Taking taylor expansion of c0 in c0
0.548 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.548 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.548 * [taylor]: Taking taylor expansion of (* V l) in A
0.548 * [taylor]: Taking taylor expansion of V in A
0.548 * [taylor]: Taking taylor expansion of l in A
0.548 * [taylor]: Taking taylor expansion of A in A
0.548 * [taylor]: Taking taylor expansion of 0 in V
0.548 * [taylor]: Taking taylor expansion of 0 in l
0.548 * [taylor]: Taking taylor expansion of 0 in A
0.548 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.548 * [taylor]: Taking taylor expansion of NAN in V
0.548 * [taylor]: Taking taylor expansion of (* V l) in V
0.548 * [taylor]: Taking taylor expansion of V in V
0.548 * [taylor]: Taking taylor expansion of l in V
0.548 * [taylor]: Taking taylor expansion of 0 in l
0.548 * [taylor]: Taking taylor expansion of 0 in l
0.549 * [taylor]: Taking taylor expansion of 0 in A
0.549 * [taylor]: Taking taylor expansion of 0 in V
0.549 * [taylor]: Taking taylor expansion of 0 in l
0.549 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.549 * [taylor]: Taking taylor expansion of NAN in V
0.549 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.549 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.549 * [taylor]: Taking taylor expansion of V in V
0.549 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.549 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.549 * [taylor]: Taking taylor expansion of NAN in V
0.549 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.549 * [taylor]: Taking taylor expansion of l in V
0.549 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.549 * [taylor]: Taking taylor expansion of NAN in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.550 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.550 * [taylor]: Taking taylor expansion of -1 in l
0.550 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.550 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.550 * [taylor]: Taking taylor expansion of -1 in l
0.550 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.550 * [taylor]: Taking taylor expansion of (* V l) in l
0.550 * [taylor]: Taking taylor expansion of V in l
0.550 * [taylor]: Taking taylor expansion of l in l
0.550 * [taylor]: Taking taylor expansion of A in l
0.550 * [taylor]: Taking taylor expansion of c0 in l
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.550 * [taylor]: Taking taylor expansion of -1 in V
0.550 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.550 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.550 * [taylor]: Taking taylor expansion of -1 in V
0.550 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.550 * [taylor]: Taking taylor expansion of (* V l) in V
0.550 * [taylor]: Taking taylor expansion of V in V
0.550 * [taylor]: Taking taylor expansion of l in V
0.550 * [taylor]: Taking taylor expansion of A in V
0.550 * [taylor]: Taking taylor expansion of c0 in V
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.550 * [taylor]: Taking taylor expansion of -1 in A
0.550 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.550 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.550 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.550 * [taylor]: Taking taylor expansion of -1 in A
0.550 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.550 * [taylor]: Taking taylor expansion of (* V l) in A
0.550 * [taylor]: Taking taylor expansion of V in A
0.550 * [taylor]: Taking taylor expansion of l in A
0.550 * [taylor]: Taking taylor expansion of A in A
0.550 * [taylor]: Taking taylor expansion of c0 in A
0.551 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.551 * [taylor]: Taking taylor expansion of -1 in c0
0.551 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.551 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.551 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.551 * [taylor]: Taking taylor expansion of -1 in c0
0.551 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.551 * [taylor]: Taking taylor expansion of (* V l) in c0
0.551 * [taylor]: Taking taylor expansion of V in c0
0.551 * [taylor]: Taking taylor expansion of l in c0
0.551 * [taylor]: Taking taylor expansion of A in c0
0.551 * [taylor]: Taking taylor expansion of c0 in c0
0.551 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.551 * [taylor]: Taking taylor expansion of -1 in c0
0.551 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.551 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.551 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.551 * [taylor]: Taking taylor expansion of -1 in c0
0.551 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.551 * [taylor]: Taking taylor expansion of (* V l) in c0
0.551 * [taylor]: Taking taylor expansion of V in c0
0.551 * [taylor]: Taking taylor expansion of l in c0
0.551 * [taylor]: Taking taylor expansion of A in c0
0.551 * [taylor]: Taking taylor expansion of c0 in c0
0.552 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.552 * [taylor]: Taking taylor expansion of -1 in A
0.552 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.552 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.552 * [taylor]: Taking taylor expansion of -1 in A
0.552 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.552 * [taylor]: Taking taylor expansion of (* V l) in A
0.552 * [taylor]: Taking taylor expansion of V in A
0.552 * [taylor]: Taking taylor expansion of l in A
0.552 * [taylor]: Taking taylor expansion of A in A
0.552 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
0.552 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
0.552 * [taylor]: Taking taylor expansion of V in V
0.552 * [taylor]: Taking taylor expansion of (* NAN l) in V
0.552 * [taylor]: Taking taylor expansion of NAN in V
0.552 * [taylor]: Taking taylor expansion of l in V
0.552 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
0.552 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.552 * [taylor]: Taking taylor expansion of NAN in l
0.552 * [taylor]: Taking taylor expansion of l in l
0.552 * [taylor]: Taking taylor expansion of 0 in A
0.552 * [taylor]: Taking taylor expansion of 0 in V
0.552 * [taylor]: Taking taylor expansion of 0 in l
0.553 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
0.553 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
0.553 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.553 * [taylor]: Taking taylor expansion of V in V
0.553 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
0.553 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
0.553 * [taylor]: Taking taylor expansion of NAN in V
0.553 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.553 * [taylor]: Taking taylor expansion of l in V
0.553 * [taylor]: Taking taylor expansion of 0 in l
0.554 * [taylor]: Taking taylor expansion of 0 in A
0.554 * [taylor]: Taking taylor expansion of 0 in V
0.554 * [taylor]: Taking taylor expansion of 0 in l
0.554 * [taylor]: Taking taylor expansion of 0 in V
0.554 * [taylor]: Taking taylor expansion of 0 in l
0.555 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
0.555 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
0.555 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.555 * [taylor]: Taking taylor expansion of V in V
0.555 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
0.555 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
0.555 * [taylor]: Taking taylor expansion of NAN in V
0.555 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.555 * [taylor]: Taking taylor expansion of l in V
0.555 * [taylor]: Taking taylor expansion of 0 in l
0.555 * * * [progress]: simplifying candidates
0.556 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))))
  (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt 1)
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  (/ 1 2)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (- (log A) (+ (log V) (log l)))
  (- (log A) (log (* V l)))
  (log (/ A (* V l)))
  (exp (/ A (* V l)))
  (/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
  (/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
  (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))
  (cbrt (/ A (* V l)))
  (* (* (/ A (* V l)) (/ A (* V l))) (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (neg A)
  (neg (* V l))
  (/ (* (cbrt A) (cbrt A)) V)
  (/ (cbrt A) l)
  (/ (sqrt A) V)
  (/ (sqrt A) l)
  (/ 1 V)
  (/ A l)
  (/ 1 (* V l))
  (/ (* V l) A)
  (/ A V)
  (/ (* V l) (cbrt A))
  (/ (* V l) (sqrt A))
  (/ (* V l) A)
  (* c0 (sqrt (/ A (* V l))))
  (+ (log c0) (log (sqrt (/ A (* V l)))))
  (log (* c0 (sqrt (/ A (* V l)))))
  (exp (* c0 (sqrt (/ A (* V l)))))
  (* (* (* c0 c0) c0) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))))
  (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l))))))
  (cbrt (* c0 (sqrt (/ A (* V l)))))
  (* (* (* c0 (sqrt (/ A (* V l)))) (* c0 (sqrt (/ A (* V l))))) (* c0 (sqrt (/ A (* V l)))))
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* c0 (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))))
  (* c0 (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))))
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (* c0 (sqrt (/ (sqrt A) V)))
  (* c0 (sqrt (/ 1 V)))
  (* c0 (sqrt 1))
  (* c0 (sqrt A))
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  (* c0 1)
  (* (cbrt c0) (sqrt (/ A (* V l))))
  (* (sqrt c0) (sqrt (/ A (* V l))))
  (* c0 (sqrt (/ A (* V l))))
  (* c0 (sqrt A))
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ (* A (* NAN c0)) (* V l))
  0
  (/ (* c0 NAN) (* V l))
0.559 * * [simplify]: iteration  0 :  214  enodes  (cost  321 )
0.563 * * [simplify]: iteration  1 :  808  enodes  (cost  296 )
0.577 * * [simplify]: iteration  2 :  3059  enodes  (cost  293 )
0.613 * * [simplify]: iteration  3 :  5001  enodes  (cost  293 )
0.615 * [simplify]: Simplified to:
   (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (pow (sqrt (/ A (* V l))) 3)
  (fabs (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  1
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  1/2
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (log (/ A (* V l)))
  (log (/ A (* V l)))
  (log (/ A (* V l)))
  (exp (/ A (* V l)))
  (pow (/ A (* V l)) 3)
  (pow (/ A (* V l)) 3)
  (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))
  (cbrt (/ A (* V l)))
  (pow (/ A (* V l)) 3)
  (sqrt (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (neg A)
  (neg (* V l))
  (/ (* (cbrt A) (cbrt A)) V)
  (/ (cbrt A) l)
  (/ (sqrt A) V)
  (/ (sqrt A) l)
  (/ 1 V)
  (/ A l)
  (/ 1 (* V l))
  (/ (* V l) A)
  (/ A V)
  (/ (* V l) (cbrt A))
  (/ (* V l) (sqrt A))
  (/ (* V l) A)
  (* c0 (sqrt (/ A (* V l))))
  (log (* c0 (sqrt (/ A (* V l)))))
  (log (* c0 (sqrt (/ A (* V l)))))
  (exp (* c0 (sqrt (/ A (* V l)))))
  (pow (* c0 (sqrt (/ A (* V l)))) 3)
  (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l))))))
  (cbrt (* c0 (sqrt (/ A (* V l)))))
  (pow (* c0 (sqrt (/ A (* V l)))) 3)
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* c0 (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))))
  (* (fabs (cbrt (/ A (* V l)))) c0)
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (* c0 (sqrt (/ (sqrt A) V)))
  (* c0 (sqrt (/ 1 V)))
  c0
  (* c0 (sqrt A))
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  c0
  (* (cbrt c0) (sqrt (/ A (* V l))))
  (* (sqrt c0) (sqrt (/ A (* V l))))
  (* c0 (sqrt (/ A (* V l))))
  (* c0 (sqrt A))
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ (* A (* NAN c0)) (* V l))
  0
  (/ (* c0 NAN) (* V l))
0.616 * * * [progress]: adding candidates to table
0.702 * * [progress]: iteration 2 / 4
0.702 * * * [progress]: picking best candidate
0.763 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))>
0.763 * * * [progress]: localizing error
0.770 * * * [progress]: generating rewritten candidates
0.770 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.777 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.783 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.810 * * * [progress]: generating series expansions
0.810 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.810 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.810 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.810 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.810 * [taylor]: Taking taylor expansion of A in l
0.810 * [taylor]: Taking taylor expansion of (* V l) in l
0.810 * [taylor]: Taking taylor expansion of V in l
0.810 * [taylor]: Taking taylor expansion of l in l
0.810 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.810 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.810 * [taylor]: Taking taylor expansion of A in V
0.810 * [taylor]: Taking taylor expansion of (* V l) in V
0.811 * [taylor]: Taking taylor expansion of V in V
0.811 * [taylor]: Taking taylor expansion of l in V
0.811 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.811 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.811 * [taylor]: Taking taylor expansion of A in A
0.811 * [taylor]: Taking taylor expansion of (* V l) in A
0.811 * [taylor]: Taking taylor expansion of V in A
0.811 * [taylor]: Taking taylor expansion of l in A
0.811 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.811 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.811 * [taylor]: Taking taylor expansion of A in A
0.811 * [taylor]: Taking taylor expansion of (* V l) in A
0.811 * [taylor]: Taking taylor expansion of V in A
0.811 * [taylor]: Taking taylor expansion of l in A
0.811 * [taylor]: Taking taylor expansion of 0 in V
0.811 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.811 * [taylor]: Taking taylor expansion of NAN in V
0.811 * [taylor]: Taking taylor expansion of (* V l) in V
0.811 * [taylor]: Taking taylor expansion of V in V
0.811 * [taylor]: Taking taylor expansion of l in V
0.811 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.811 * [taylor]: Taking taylor expansion of NAN in l
0.811 * [taylor]: Taking taylor expansion of l in l
0.811 * [taylor]: Taking taylor expansion of 0 in l
0.812 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.812 * [taylor]: Taking taylor expansion of NAN in V
0.812 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.812 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.812 * [taylor]: Taking taylor expansion of NAN in V
0.812 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.812 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.812 * [taylor]: Taking taylor expansion of V in V
0.812 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.812 * [taylor]: Taking taylor expansion of l in V
0.812 * [taylor]: Taking taylor expansion of 0 in l
0.813 * [taylor]: Taking taylor expansion of 0 in l
0.813 * [taylor]: Taking taylor expansion of 0 in l
0.813 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.813 * [taylor]: Taking taylor expansion of NAN in V
0.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.813 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.813 * [taylor]: Taking taylor expansion of NAN in V
0.813 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.813 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.813 * [taylor]: Taking taylor expansion of V in V
0.813 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.813 * [taylor]: Taking taylor expansion of l in V
0.815 * [taylor]: Taking taylor expansion of 0 in l
0.815 * [taylor]: Taking taylor expansion of 0 in l
0.815 * [taylor]: Taking taylor expansion of 0 in l
0.815 * [taylor]: Taking taylor expansion of 0 in l
0.816 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.816 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.816 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.816 * [taylor]: Taking taylor expansion of (* V l) in l
0.816 * [taylor]: Taking taylor expansion of V in l
0.816 * [taylor]: Taking taylor expansion of l in l
0.816 * [taylor]: Taking taylor expansion of A in l
0.816 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.816 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.816 * [taylor]: Taking taylor expansion of (* V l) in V
0.816 * [taylor]: Taking taylor expansion of V in V
0.816 * [taylor]: Taking taylor expansion of l in V
0.816 * [taylor]: Taking taylor expansion of A in V
0.816 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.816 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.816 * [taylor]: Taking taylor expansion of (* V l) in A
0.816 * [taylor]: Taking taylor expansion of V in A
0.816 * [taylor]: Taking taylor expansion of l in A
0.816 * [taylor]: Taking taylor expansion of A in A
0.816 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.816 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.816 * [taylor]: Taking taylor expansion of (* V l) in A
0.816 * [taylor]: Taking taylor expansion of V in A
0.816 * [taylor]: Taking taylor expansion of l in A
0.816 * [taylor]: Taking taylor expansion of A in A
0.816 * [taylor]: Taking taylor expansion of 0 in V
0.816 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.817 * [taylor]: Taking taylor expansion of NAN in V
0.817 * [taylor]: Taking taylor expansion of (* V l) in V
0.817 * [taylor]: Taking taylor expansion of V in V
0.817 * [taylor]: Taking taylor expansion of l in V
0.817 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.817 * [taylor]: Taking taylor expansion of NAN in V
0.817 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.817 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.817 * [taylor]: Taking taylor expansion of V in V
0.817 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.817 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.817 * [taylor]: Taking taylor expansion of NAN in V
0.817 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.817 * [taylor]: Taking taylor expansion of l in V
0.817 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.817 * [taylor]: Taking taylor expansion of NAN in l
0.817 * [taylor]: Taking taylor expansion of l in l
0.817 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.817 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.817 * [taylor]: Taking taylor expansion of -1 in l
0.817 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.817 * [taylor]: Taking taylor expansion of (* V l) in l
0.817 * [taylor]: Taking taylor expansion of V in l
0.817 * [taylor]: Taking taylor expansion of l in l
0.817 * [taylor]: Taking taylor expansion of A in l
0.818 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.818 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.818 * [taylor]: Taking taylor expansion of -1 in V
0.818 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.818 * [taylor]: Taking taylor expansion of (* V l) in V
0.818 * [taylor]: Taking taylor expansion of V in V
0.818 * [taylor]: Taking taylor expansion of l in V
0.818 * [taylor]: Taking taylor expansion of A in V
0.818 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.818 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.818 * [taylor]: Taking taylor expansion of -1 in A
0.818 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.818 * [taylor]: Taking taylor expansion of (* V l) in A
0.818 * [taylor]: Taking taylor expansion of V in A
0.818 * [taylor]: Taking taylor expansion of l in A
0.818 * [taylor]: Taking taylor expansion of A in A
0.818 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.818 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.818 * [taylor]: Taking taylor expansion of -1 in A
0.818 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.818 * [taylor]: Taking taylor expansion of (* V l) in A
0.818 * [taylor]: Taking taylor expansion of V in A
0.818 * [taylor]: Taking taylor expansion of l in A
0.818 * [taylor]: Taking taylor expansion of A in A
0.818 * [taylor]: Taking taylor expansion of 0 in V
0.818 * [taylor]: Taking taylor expansion of 0 in l
0.818 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.818 * [taylor]: Taking taylor expansion of NAN in V
0.818 * [taylor]: Taking taylor expansion of (* V l) in V
0.818 * [taylor]: Taking taylor expansion of V in V
0.818 * [taylor]: Taking taylor expansion of l in V
0.818 * [taylor]: Taking taylor expansion of 0 in l
0.818 * [taylor]: Taking taylor expansion of 0 in l
0.819 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.819 * [taylor]: Taking taylor expansion of NAN in V
0.819 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.819 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.819 * [taylor]: Taking taylor expansion of V in V
0.819 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.819 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.819 * [taylor]: Taking taylor expansion of NAN in V
0.819 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.819 * [taylor]: Taking taylor expansion of l in V
0.819 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.819 * [taylor]: Taking taylor expansion of NAN in l
0.819 * [taylor]: Taking taylor expansion of l in l
0.819 * [taylor]: Taking taylor expansion of 0 in l
0.819 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.819 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.819 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.819 * [taylor]: Taking taylor expansion of A in l
0.819 * [taylor]: Taking taylor expansion of (* V l) in l
0.819 * [taylor]: Taking taylor expansion of V in l
0.819 * [taylor]: Taking taylor expansion of l in l
0.819 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.819 * [taylor]: Taking taylor expansion of A in V
0.819 * [taylor]: Taking taylor expansion of (* V l) in V
0.819 * [taylor]: Taking taylor expansion of V in V
0.819 * [taylor]: Taking taylor expansion of l in V
0.819 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.819 * [taylor]: Taking taylor expansion of A in A
0.820 * [taylor]: Taking taylor expansion of (* V l) in A
0.820 * [taylor]: Taking taylor expansion of V in A
0.820 * [taylor]: Taking taylor expansion of l in A
0.820 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.820 * [taylor]: Taking taylor expansion of A in A
0.820 * [taylor]: Taking taylor expansion of (* V l) in A
0.820 * [taylor]: Taking taylor expansion of V in A
0.820 * [taylor]: Taking taylor expansion of l in A
0.820 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.820 * [taylor]: Taking taylor expansion of (* V l) in V
0.820 * [taylor]: Taking taylor expansion of V in V
0.820 * [taylor]: Taking taylor expansion of l in V
0.820 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.820 * [taylor]: Taking taylor expansion of l in l
0.820 * [taylor]: Taking taylor expansion of 0 in V
0.820 * [taylor]: Taking taylor expansion of 0 in l
0.820 * [taylor]: Taking taylor expansion of 0 in V
0.820 * [taylor]: Taking taylor expansion of 0 in l
0.820 * [taylor]: Taking taylor expansion of 0 in l
0.821 * [taylor]: Taking taylor expansion of 0 in V
0.821 * [taylor]: Taking taylor expansion of 0 in l
0.821 * [taylor]: Taking taylor expansion of 0 in l
0.821 * [taylor]: Taking taylor expansion of 0 in l
0.821 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.821 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.821 * [taylor]: Taking taylor expansion of (* V l) in l
0.821 * [taylor]: Taking taylor expansion of V in l
0.821 * [taylor]: Taking taylor expansion of l in l
0.821 * [taylor]: Taking taylor expansion of A in l
0.821 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.821 * [taylor]: Taking taylor expansion of (* V l) in V
0.821 * [taylor]: Taking taylor expansion of V in V
0.821 * [taylor]: Taking taylor expansion of l in V
0.821 * [taylor]: Taking taylor expansion of A in V
0.821 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.821 * [taylor]: Taking taylor expansion of (* V l) in A
0.821 * [taylor]: Taking taylor expansion of V in A
0.821 * [taylor]: Taking taylor expansion of l in A
0.821 * [taylor]: Taking taylor expansion of A in A
0.821 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.821 * [taylor]: Taking taylor expansion of (* V l) in A
0.821 * [taylor]: Taking taylor expansion of V in A
0.821 * [taylor]: Taking taylor expansion of l in A
0.821 * [taylor]: Taking taylor expansion of A in A
0.822 * [taylor]: Taking taylor expansion of (* V l) in V
0.822 * [taylor]: Taking taylor expansion of V in V
0.822 * [taylor]: Taking taylor expansion of l in V
0.822 * [taylor]: Taking taylor expansion of l in l
0.822 * [taylor]: Taking taylor expansion of 0 in V
0.822 * [taylor]: Taking taylor expansion of 0 in l
0.822 * [taylor]: Taking taylor expansion of 0 in l
0.822 * [taylor]: Taking taylor expansion of 0 in V
0.822 * [taylor]: Taking taylor expansion of 0 in l
0.822 * [taylor]: Taking taylor expansion of 0 in l
0.822 * [taylor]: Taking taylor expansion of 0 in l
0.822 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.822 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.822 * [taylor]: Taking taylor expansion of -1 in l
0.822 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.822 * [taylor]: Taking taylor expansion of (* V l) in l
0.822 * [taylor]: Taking taylor expansion of V in l
0.822 * [taylor]: Taking taylor expansion of l in l
0.822 * [taylor]: Taking taylor expansion of A in l
0.822 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.822 * [taylor]: Taking taylor expansion of -1 in V
0.822 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.822 * [taylor]: Taking taylor expansion of (* V l) in V
0.822 * [taylor]: Taking taylor expansion of V in V
0.822 * [taylor]: Taking taylor expansion of l in V
0.823 * [taylor]: Taking taylor expansion of A in V
0.823 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.823 * [taylor]: Taking taylor expansion of -1 in A
0.823 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.823 * [taylor]: Taking taylor expansion of (* V l) in A
0.823 * [taylor]: Taking taylor expansion of V in A
0.823 * [taylor]: Taking taylor expansion of l in A
0.823 * [taylor]: Taking taylor expansion of A in A
0.823 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.823 * [taylor]: Taking taylor expansion of -1 in A
0.823 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.823 * [taylor]: Taking taylor expansion of (* V l) in A
0.823 * [taylor]: Taking taylor expansion of V in A
0.823 * [taylor]: Taking taylor expansion of l in A
0.823 * [taylor]: Taking taylor expansion of A in A
0.823 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.823 * [taylor]: Taking taylor expansion of -1 in V
0.823 * [taylor]: Taking taylor expansion of (* V l) in V
0.823 * [taylor]: Taking taylor expansion of V in V
0.823 * [taylor]: Taking taylor expansion of l in V
0.823 * [taylor]: Taking taylor expansion of (neg l) in l
0.823 * [taylor]: Taking taylor expansion of l in l
0.823 * [taylor]: Taking taylor expansion of 0 in V
0.823 * [taylor]: Taking taylor expansion of 0 in l
0.823 * [taylor]: Taking taylor expansion of 0 in l
0.823 * [taylor]: Taking taylor expansion of 0 in V
0.824 * [taylor]: Taking taylor expansion of 0 in l
0.824 * [taylor]: Taking taylor expansion of 0 in l
0.824 * [taylor]: Taking taylor expansion of 0 in l
0.824 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.824 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.824 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.824 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.824 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.824 * [taylor]: Taking taylor expansion of A in l
0.824 * [taylor]: Taking taylor expansion of (* V l) in l
0.824 * [taylor]: Taking taylor expansion of V in l
0.824 * [taylor]: Taking taylor expansion of l in l
0.824 * [taylor]: Taking taylor expansion of c0 in l
0.824 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.824 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.824 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.824 * [taylor]: Taking taylor expansion of A in V
0.824 * [taylor]: Taking taylor expansion of (* V l) in V
0.824 * [taylor]: Taking taylor expansion of V in V
0.824 * [taylor]: Taking taylor expansion of l in V
0.824 * [taylor]: Taking taylor expansion of c0 in V
0.824 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.824 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.824 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.824 * [taylor]: Taking taylor expansion of A in A
0.824 * [taylor]: Taking taylor expansion of (* V l) in A
0.824 * [taylor]: Taking taylor expansion of V in A
0.824 * [taylor]: Taking taylor expansion of l in A
0.825 * [taylor]: Taking taylor expansion of c0 in A
0.825 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.825 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.825 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.825 * [taylor]: Taking taylor expansion of A in c0
0.825 * [taylor]: Taking taylor expansion of (* V l) in c0
0.825 * [taylor]: Taking taylor expansion of V in c0
0.825 * [taylor]: Taking taylor expansion of l in c0
0.825 * [taylor]: Taking taylor expansion of c0 in c0
0.825 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.825 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.825 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.825 * [taylor]: Taking taylor expansion of A in c0
0.825 * [taylor]: Taking taylor expansion of (* V l) in c0
0.825 * [taylor]: Taking taylor expansion of V in c0
0.825 * [taylor]: Taking taylor expansion of l in c0
0.825 * [taylor]: Taking taylor expansion of c0 in c0
0.825 * [taylor]: Taking taylor expansion of 0 in A
0.825 * [taylor]: Taking taylor expansion of 0 in V
0.825 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.825 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.825 * [taylor]: Taking taylor expansion of A in A
0.825 * [taylor]: Taking taylor expansion of (* V l) in A
0.825 * [taylor]: Taking taylor expansion of V in A
0.826 * [taylor]: Taking taylor expansion of l in A
0.826 * [taylor]: Taking taylor expansion of 0 in V
0.826 * [taylor]: Taking taylor expansion of 0 in V
0.826 * [taylor]: Taking taylor expansion of 0 in l
0.826 * [taylor]: Taking taylor expansion of 0 in A
0.826 * [taylor]: Taking taylor expansion of 0 in V
0.826 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.826 * [taylor]: Taking taylor expansion of NAN in V
0.826 * [taylor]: Taking taylor expansion of (* V l) in V
0.826 * [taylor]: Taking taylor expansion of V in V
0.826 * [taylor]: Taking taylor expansion of l in V
0.826 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.826 * [taylor]: Taking taylor expansion of NAN in l
0.826 * [taylor]: Taking taylor expansion of l in l
0.826 * [taylor]: Taking taylor expansion of 0 in V
0.826 * [taylor]: Taking taylor expansion of 0 in l
0.826 * [taylor]: Taking taylor expansion of 0 in l
0.826 * [taylor]: Taking taylor expansion of 0 in l
0.827 * [taylor]: Taking taylor expansion of 0 in A
0.827 * [taylor]: Taking taylor expansion of 0 in V
0.827 * [taylor]: Taking taylor expansion of 0 in V
0.827 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.827 * [taylor]: Taking taylor expansion of NAN in V
0.827 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.827 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.827 * [taylor]: Taking taylor expansion of NAN in V
0.827 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.827 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.827 * [taylor]: Taking taylor expansion of V in V
0.827 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.827 * [taylor]: Taking taylor expansion of l in V
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in V
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [taylor]: Taking taylor expansion of 0 in l
0.828 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.828 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.828 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.828 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.828 * [taylor]: Taking taylor expansion of (* V l) in l
0.828 * [taylor]: Taking taylor expansion of V in l
0.828 * [taylor]: Taking taylor expansion of l in l
0.828 * [taylor]: Taking taylor expansion of A in l
0.829 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.829 * [taylor]: Taking taylor expansion of c0 in l
0.829 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.829 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.829 * [taylor]: Taking taylor expansion of (* V l) in V
0.829 * [taylor]: Taking taylor expansion of V in V
0.829 * [taylor]: Taking taylor expansion of l in V
0.829 * [taylor]: Taking taylor expansion of A in V
0.829 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.829 * [taylor]: Taking taylor expansion of c0 in V
0.829 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.829 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.829 * [taylor]: Taking taylor expansion of (* V l) in A
0.829 * [taylor]: Taking taylor expansion of V in A
0.829 * [taylor]: Taking taylor expansion of l in A
0.829 * [taylor]: Taking taylor expansion of A in A
0.829 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.829 * [taylor]: Taking taylor expansion of c0 in A
0.829 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.829 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.829 * [taylor]: Taking taylor expansion of (* V l) in c0
0.829 * [taylor]: Taking taylor expansion of V in c0
0.829 * [taylor]: Taking taylor expansion of l in c0
0.829 * [taylor]: Taking taylor expansion of A in c0
0.829 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.829 * [taylor]: Taking taylor expansion of c0 in c0
0.829 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.829 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.829 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.829 * [taylor]: Taking taylor expansion of (* V l) in c0
0.830 * [taylor]: Taking taylor expansion of V in c0
0.830 * [taylor]: Taking taylor expansion of l in c0
0.830 * [taylor]: Taking taylor expansion of A in c0
0.830 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.830 * [taylor]: Taking taylor expansion of c0 in c0
0.830 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.830 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.830 * [taylor]: Taking taylor expansion of (* V l) in A
0.830 * [taylor]: Taking taylor expansion of V in A
0.830 * [taylor]: Taking taylor expansion of l in A
0.830 * [taylor]: Taking taylor expansion of A in A
0.830 * [taylor]: Taking taylor expansion of 0 in V
0.830 * [taylor]: Taking taylor expansion of 0 in l
0.830 * [taylor]: Taking taylor expansion of 0 in A
0.830 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.830 * [taylor]: Taking taylor expansion of NAN in V
0.830 * [taylor]: Taking taylor expansion of (* V l) in V
0.830 * [taylor]: Taking taylor expansion of V in V
0.830 * [taylor]: Taking taylor expansion of l in V
0.830 * [taylor]: Taking taylor expansion of 0 in l
0.830 * [taylor]: Taking taylor expansion of 0 in l
0.831 * [taylor]: Taking taylor expansion of 0 in A
0.831 * [taylor]: Taking taylor expansion of 0 in V
0.831 * [taylor]: Taking taylor expansion of 0 in l
0.831 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.831 * [taylor]: Taking taylor expansion of NAN in V
0.831 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.831 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.831 * [taylor]: Taking taylor expansion of V in V
0.831 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.831 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.831 * [taylor]: Taking taylor expansion of NAN in V
0.831 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.831 * [taylor]: Taking taylor expansion of l in V
0.831 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.831 * [taylor]: Taking taylor expansion of NAN in l
0.831 * [taylor]: Taking taylor expansion of l in l
0.831 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.831 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.831 * [taylor]: Taking taylor expansion of -1 in l
0.831 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.832 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.832 * [taylor]: Taking taylor expansion of -1 in l
0.832 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.832 * [taylor]: Taking taylor expansion of (* V l) in l
0.832 * [taylor]: Taking taylor expansion of V in l
0.832 * [taylor]: Taking taylor expansion of l in l
0.832 * [taylor]: Taking taylor expansion of A in l
0.832 * [taylor]: Taking taylor expansion of c0 in l
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.832 * [taylor]: Taking taylor expansion of -1 in V
0.832 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.832 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.832 * [taylor]: Taking taylor expansion of -1 in V
0.832 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.832 * [taylor]: Taking taylor expansion of (* V l) in V
0.832 * [taylor]: Taking taylor expansion of V in V
0.832 * [taylor]: Taking taylor expansion of l in V
0.832 * [taylor]: Taking taylor expansion of A in V
0.832 * [taylor]: Taking taylor expansion of c0 in V
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.832 * [taylor]: Taking taylor expansion of -1 in A
0.832 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.832 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.832 * [taylor]: Taking taylor expansion of -1 in A
0.832 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.832 * [taylor]: Taking taylor expansion of (* V l) in A
0.832 * [taylor]: Taking taylor expansion of V in A
0.832 * [taylor]: Taking taylor expansion of l in A
0.832 * [taylor]: Taking taylor expansion of A in A
0.832 * [taylor]: Taking taylor expansion of c0 in A
0.832 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.832 * [taylor]: Taking taylor expansion of -1 in c0
0.833 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.833 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.833 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.833 * [taylor]: Taking taylor expansion of -1 in c0
0.833 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.833 * [taylor]: Taking taylor expansion of (* V l) in c0
0.833 * [taylor]: Taking taylor expansion of V in c0
0.833 * [taylor]: Taking taylor expansion of l in c0
0.833 * [taylor]: Taking taylor expansion of A in c0
0.833 * [taylor]: Taking taylor expansion of c0 in c0
0.833 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.833 * [taylor]: Taking taylor expansion of -1 in c0
0.833 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.833 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.833 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.833 * [taylor]: Taking taylor expansion of -1 in c0
0.833 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.833 * [taylor]: Taking taylor expansion of (* V l) in c0
0.833 * [taylor]: Taking taylor expansion of V in c0
0.833 * [taylor]: Taking taylor expansion of l in c0
0.833 * [taylor]: Taking taylor expansion of A in c0
0.833 * [taylor]: Taking taylor expansion of c0 in c0
0.834 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.834 * [taylor]: Taking taylor expansion of -1 in A
0.834 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.834 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.834 * [taylor]: Taking taylor expansion of -1 in A
0.834 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.834 * [taylor]: Taking taylor expansion of (* V l) in A
0.834 * [taylor]: Taking taylor expansion of V in A
0.834 * [taylor]: Taking taylor expansion of l in A
0.834 * [taylor]: Taking taylor expansion of A in A
0.834 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
0.834 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
0.834 * [taylor]: Taking taylor expansion of V in V
0.834 * [taylor]: Taking taylor expansion of (* NAN l) in V
0.834 * [taylor]: Taking taylor expansion of NAN in V
0.834 * [taylor]: Taking taylor expansion of l in V
0.834 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
0.834 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.834 * [taylor]: Taking taylor expansion of NAN in l
0.834 * [taylor]: Taking taylor expansion of l in l
0.834 * [taylor]: Taking taylor expansion of 0 in A
0.834 * [taylor]: Taking taylor expansion of 0 in V
0.834 * [taylor]: Taking taylor expansion of 0 in l
0.835 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
0.835 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
0.835 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.835 * [taylor]: Taking taylor expansion of V in V
0.835 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
0.835 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
0.835 * [taylor]: Taking taylor expansion of NAN in V
0.835 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.835 * [taylor]: Taking taylor expansion of l in V
0.835 * [taylor]: Taking taylor expansion of 0 in l
0.836 * [taylor]: Taking taylor expansion of 0 in A
0.836 * [taylor]: Taking taylor expansion of 0 in V
0.836 * [taylor]: Taking taylor expansion of 0 in l
0.836 * [taylor]: Taking taylor expansion of 0 in V
0.836 * [taylor]: Taking taylor expansion of 0 in l
0.837 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
0.837 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
0.837 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.837 * [taylor]: Taking taylor expansion of V in V
0.837 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
0.837 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
0.837 * [taylor]: Taking taylor expansion of NAN in V
0.837 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.837 * [taylor]: Taking taylor expansion of l in V
0.837 * [taylor]: Taking taylor expansion of 0 in l
0.837 * * * [progress]: simplifying candidates
0.839 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)))
  (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l))))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))
  (sqrt (/ (cbrt (/ A V)) (sqrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1))
  (sqrt (/ (cbrt (/ A V)) l))
  (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (sqrt (/ A V)) (cbrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) 1))
  (sqrt (/ (sqrt (/ A V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (cbrt A) (cbrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1))
  (sqrt (/ (/ (cbrt A) (sqrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) V) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))
  (sqrt (/ (/ (cbrt A) V) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1))
  (sqrt (/ (/ (cbrt A) V) l))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (sqrt A) (cbrt V)) l))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) 1))
  (sqrt (/ (/ (sqrt A) (sqrt V)) l))
  (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) V) (cbrt l)))
  (sqrt (/ (/ (sqrt A) 1) (sqrt l)))
  (sqrt (/ (/ (sqrt A) V) (sqrt l)))
  (sqrt (/ (/ (sqrt A) 1) 1))
  (sqrt (/ (/ (sqrt A) V) l))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (cbrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ A (cbrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ A (cbrt V)) l))
  (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (sqrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))
  (sqrt (/ (/ A (sqrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (sqrt V)) 1))
  (sqrt (/ (/ A (sqrt V)) l))
  (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ (/ 1 1) (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  (sqrt (/ (/ 1 1) 1))
  (sqrt (/ (/ A V) l))
  (sqrt (/ 1 (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  (sqrt (/ 1 1))
  (sqrt (/ (/ A V) l))
  (sqrt (/ A (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ 1 V) (cbrt l)))
  (sqrt (/ A (sqrt l)))
  (sqrt (/ (/ 1 V) (sqrt l)))
  (sqrt (/ A 1))
  (sqrt (/ (/ 1 V) l))
  (sqrt 1)
  (sqrt (/ (/ A V) l))
  (sqrt (/ A V))
  (sqrt (/ 1 l))
  (sqrt (/ A V))
  (sqrt l)
  (/ 1 2)
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (- (- (log A) (log V)) (log l))
  (- (log (/ A V)) (log l))
  (log (/ (/ A V) l))
  (exp (/ (/ A V) l))
  (/ (/ (* (* A A) A) (* (* V V) V)) (* (* l l) l))
  (/ (* (* (/ A V) (/ A V)) (/ A V)) (* (* l l) l))
  (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))
  (cbrt (/ (/ A V) l))
  (* (* (/ (/ A V) l) (/ (/ A V) l)) (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (neg (/ A V))
  (neg l)
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))
  (/ (cbrt (/ A V)) (cbrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))
  (/ (cbrt (/ A V)) (sqrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1)
  (/ (cbrt (/ A V)) l)
  (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))
  (/ (sqrt (/ A V)) (cbrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) 1)
  (/ (sqrt (/ A V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (cbrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (cbrt A) (cbrt V)) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1)
  (/ (/ (cbrt A) (cbrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (sqrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))
  (/ (/ (cbrt A) (sqrt V)) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)
  (/ (/ (cbrt A) (sqrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) V) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))
  (/ (/ (cbrt A) V) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) 1) 1)
  (/ (/ (cbrt A) V) l)
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (cbrt V)) (cbrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (sqrt A) (cbrt V)) (sqrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)
  (/ (/ (sqrt A) (cbrt V)) l)
  (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (sqrt V)) (cbrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) 1)
  (/ (/ (sqrt A) (sqrt V)) l)
  (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) V) (cbrt l))
  (/ (/ (sqrt A) 1) (sqrt l))
  (/ (/ (sqrt A) V) (sqrt l))
  (/ (/ (sqrt A) 1) 1)
  (/ (/ (sqrt A) V) l)
  (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ A (cbrt V)) (cbrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ A (cbrt V)) (sqrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) 1)
  (/ (/ A (cbrt V)) l)
  (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ A (sqrt V)) (cbrt l))
  (/ (/ 1 (sqrt V)) (sqrt l))
  (/ (/ A (sqrt V)) (sqrt l))
  (/ (/ 1 (sqrt V)) 1)
  (/ (/ A (sqrt V)) l)
  (/ (/ 1 1) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ (/ 1 1) (sqrt l))
  (/ (/ A V) (sqrt l))
  (/ (/ 1 1) 1)
  (/ (/ A V) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  (/ 1 1)
  (/ (/ A V) l)
  (/ A (* (cbrt l) (cbrt l)))
  (/ (/ 1 V) (cbrt l))
  (/ A (sqrt l))
  (/ (/ 1 V) (sqrt l))
  (/ A 1)
  (/ (/ 1 V) l)
  (/ 1 l)
  (/ l (/ A V))
  (/ (/ A V) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (sqrt l))
  (/ (/ A V) 1)
  (/ l (cbrt (/ A V)))
  (/ l (sqrt (/ A V)))
  (/ l (/ (cbrt A) (cbrt V)))
  (/ l (/ (cbrt A) (sqrt V)))
  (/ l (/ (cbrt A) V))
  (/ l (/ (sqrt A) (cbrt V)))
  (/ l (/ (sqrt A) (sqrt V)))
  (/ l (/ (sqrt A) V))
  (/ l (/ A (cbrt V)))
  (/ l (/ A (sqrt V)))
  (/ l (/ A V))
  (/ l (/ A V))
  (/ l (/ 1 V))
  (* l V)
  (* c0 (sqrt (/ (/ A V) l)))
  (+ (log c0) (log (sqrt (/ (/ A V) l))))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (exp (* c0 (sqrt (/ (/ A V) l))))
  (* (* (* c0 c0) c0) (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l))))
  (* (cbrt (* c0 (sqrt (/ (/ A V) l)))) (cbrt (* c0 (sqrt (/ (/ A V) l)))))
  (cbrt (* c0 (sqrt (/ (/ A V) l))))
  (* (* (* c0 (sqrt (/ (/ A V) l))) (* c0 (sqrt (/ (/ A V) l)))) (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))))
  (* c0 (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1)))
  (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* c0 (sqrt (/ (sqrt (/ A V)) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) 1)))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 1) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 1) 1)))
  (* c0 (sqrt (/ 1 (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ 1 (sqrt l))))
  (* c0 (sqrt (/ 1 1)))
  (* c0 (sqrt (/ A (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ A (sqrt l))))
  (* c0 (sqrt (/ A 1)))
  (* c0 (sqrt 1))
  (* c0 (sqrt (/ A V)))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 1)
  (* (cbrt c0) (sqrt (/ (/ A V) l)))
  (* (sqrt c0) (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ A V)))
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ (* A (* NAN c0)) (* V l))
  0
  (/ (* c0 NAN) (* V l))
0.847 * * [simplify]: iteration  0 :  581  enodes  (cost  1400 )
0.856 * * [simplify]: iteration  1 :  2022  enodes  (cost  1326 )
0.882 * * [simplify]: iteration  2 :  5001  enodes  (cost  1290 )
0.890 * [simplify]: Simplified to:
   (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (pow (sqrt (/ (/ A V) l)) 3)
  (fabs (cbrt (/ (/ A V) l)))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (fabs (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))
  (sqrt (/ (cbrt (/ A V)) (sqrt l)))
  (fabs (cbrt (/ A V)))
  (sqrt (/ (cbrt (/ A V)) l))
  (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (sqrt (/ A V)) (cbrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) 1))
  (sqrt (/ (sqrt (/ A V)) l))
  (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l)))
  (fabs (/ (cbrt A) (cbrt V)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1))
  (sqrt (/ (/ (cbrt A) (sqrt V)) l))
  (fabs (/ (cbrt A) (cbrt l)))
  (sqrt (/ (/ (cbrt A) V) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))
  (sqrt (/ (/ (cbrt A) V) (sqrt l)))
  (fabs (cbrt A))
  (sqrt (/ (/ (cbrt A) V) l))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (sqrt A) (cbrt V)) l))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) 1))
  (sqrt (/ (/ (sqrt A) (sqrt V)) l))
  (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) V) (cbrt l)))
  (sqrt (/ (/ (sqrt A) 1) (sqrt l)))
  (sqrt (/ (/ (sqrt A) V) (sqrt l)))
  (sqrt (/ (/ (sqrt A) 1) 1))
  (sqrt (/ (/ (sqrt A) V) l))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (cbrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ A (cbrt V)) (sqrt l)))
  (fabs (/ 1 (cbrt V)))
  (sqrt (/ (/ A (cbrt V)) l))
  (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (sqrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))
  (sqrt (/ (/ A (sqrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (sqrt V)) 1))
  (sqrt (/ (/ A (sqrt V)) l))
  (fabs (/ 1 (cbrt l)))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  1
  (sqrt (/ (/ A V) l))
  (fabs (/ 1 (cbrt l)))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  1
  (sqrt (/ (/ A V) l))
  (sqrt (/ A (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ 1 V) (cbrt l)))
  (sqrt (/ A (sqrt l)))
  (sqrt (/ (/ 1 V) (sqrt l)))
  (sqrt A)
  (sqrt (/ (/ 1 V) l))
  1
  (sqrt (/ (/ A V) l))
  (sqrt (/ A V))
  (sqrt (/ 1 l))
  (sqrt (/ A V))
  (sqrt l)
  1/2
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (exp (/ (/ A V) l))
  (pow (/ (/ A V) l) 3)
  (pow (/ (/ A V) l) 3)
  (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))
  (cbrt (/ (/ A V) l))
  (pow (/ (/ A V) l) 3)
  (sqrt (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (neg (/ A V))
  (neg l)
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))
  (/ (cbrt (/ A V)) (cbrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))
  (/ (cbrt (/ A V)) (sqrt l))
  (* (cbrt (/ A V)) (cbrt (/ A V)))
  (/ (cbrt (/ A V)) l)
  (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))
  (/ (sqrt (/ A V)) (cbrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (sqrt (/ A V))
  (/ (sqrt (/ A V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (cbrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (cbrt A) (cbrt V)) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V)))
  (/ (/ (cbrt A) (cbrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (sqrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))
  (/ (/ (cbrt A) (sqrt V)) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) (sqrt V))
  (/ (/ (cbrt A) (sqrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (cbrt l)) (cbrt l))
  (/ (/ (cbrt A) V) (cbrt l))
  (/ (cbrt A) (/ (sqrt l) (cbrt A)))
  (/ (/ (cbrt A) V) (sqrt l))
  (* (cbrt A) (cbrt A))
  (/ (/ (cbrt A) V) l)
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (cbrt V)) (cbrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (sqrt A) (cbrt V)) (sqrt l))
  (/ (sqrt A) (* (cbrt V) (cbrt V)))
  (/ (/ (sqrt A) (cbrt V)) l)
  (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (sqrt V)) (cbrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (sqrt A) (sqrt V))
  (/ (/ (sqrt A) (sqrt V)) l)
  (/ (/ (sqrt A) (cbrt l)) (cbrt l))
  (/ (/ (sqrt A) V) (cbrt l))
  (/ (sqrt A) (sqrt l))
  (/ (/ (sqrt A) V) (sqrt l))
  (sqrt A)
  (/ (/ (sqrt A) V) l)
  (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ A (cbrt V)) (cbrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ A (cbrt V)) (sqrt l))
  (/ 1 (* (cbrt V) (cbrt V)))
  (/ (/ A (cbrt V)) l)
  (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ A (sqrt V)) (cbrt l))
  (/ (/ 1 (sqrt V)) (sqrt l))
  (/ (/ A (sqrt V)) (sqrt l))
  (/ 1 (sqrt V))
  (/ (/ A (sqrt V)) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  1
  (/ (/ A V) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  1
  (/ (/ A V) l)
  (/ A (* (cbrt l) (cbrt l)))
  (/ (/ 1 V) (cbrt l))
  (/ A (sqrt l))
  (/ (/ 1 V) (sqrt l))
  A
  (/ (/ 1 V) l)
  (/ 1 l)
  (/ l (/ A V))
  (/ (/ A V) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (sqrt l))
  (/ A V)
  (/ l (cbrt (/ A V)))
  (/ l (sqrt (/ A V)))
  (/ l (/ (cbrt A) (cbrt V)))
  (/ l (/ (cbrt A) (sqrt V)))
  (/ l (/ (cbrt A) V))
  (/ l (/ (sqrt A) (cbrt V)))
  (/ l (/ (sqrt A) (sqrt V)))
  (/ l (/ (sqrt A) V))
  (/ l (/ A (cbrt V)))
  (/ l (/ A (sqrt V)))
  (/ l (/ A V))
  (/ l (/ A V))
  (* V l)
  (* V l)
  (* c0 (sqrt (/ (/ A V) l)))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (exp (* c0 (sqrt (/ (/ A V) l))))
  (pow (* c0 (sqrt (/ (/ A V) l))) 3)
  (* (cbrt (* c0 (sqrt (/ (/ A V) l)))) (cbrt (* c0 (sqrt (/ (/ A V) l)))))
  (cbrt (* c0 (sqrt (/ (/ A V) l))))
  (pow (* c0 (sqrt (/ (/ A V) l))) 3)
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))))
  (* (fabs (cbrt (/ (/ A V) l))) c0)
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (fabs (/ (cbrt (/ A V)) (cbrt l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))))
  (* c0 (fabs (cbrt (/ A V))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* c0 (sqrt (/ (sqrt (/ A V)) 1)))
  (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0)
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (fabs (/ (cbrt A) (cbrt V))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)))
  (* (fabs (/ (cbrt A) (cbrt l))) c0)
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))))
  (* c0 (fabs (cbrt A)))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) 1)))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))))
  (* (fabs (/ 1 (cbrt V))) c0)
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) 1)))
  (* (fabs (/ 1 (cbrt l))) c0)
  (* c0 (sqrt (/ 1 (sqrt l))))
  c0
  (* (fabs (/ 1 (cbrt l))) c0)
  (* c0 (sqrt (/ 1 (sqrt l))))
  c0
  (* c0 (sqrt (/ A (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ A (sqrt l))))
  (* c0 (sqrt A))
  c0
  (* c0 (sqrt (/ A V)))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  c0
  (* (cbrt c0) (sqrt (/ (/ A V) l)))
  (* (sqrt c0) (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ A V)))
  (/ (* A NAN) (* V l))
  0
  0
  (/ (/ A V) l)
  (/ (/ A V) l)
  (/ (/ A V) l)
  (/ (* A (* NAN c0)) (* V l))
  0
  (/ (* c0 NAN) (* V l))
0.891 * * * [progress]: adding candidates to table
1.100 * * [progress]: iteration 3 / 4
1.100 * * * [progress]: picking best candidate
1.164 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))>
1.164 * * * [progress]: localizing error
1.178 * * * [progress]: generating rewritten candidates
1.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
1.180 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.181 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.182 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1.184 * * * [progress]: generating series expansions
1.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
1.184 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0
1.184 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.184 * [taylor]: Taking taylor expansion of 1/3 in A
1.184 * [taylor]: Taking taylor expansion of (log A) in A
1.184 * [taylor]: Taking taylor expansion of A in A
1.184 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.184 * [taylor]: Taking taylor expansion of 1/3 in A
1.184 * [taylor]: Taking taylor expansion of (log A) in A
1.184 * [taylor]: Taking taylor expansion of A in A
1.190 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0
1.190 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.190 * [taylor]: Taking taylor expansion of 1/3 in A
1.190 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.191 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.191 * [taylor]: Taking taylor expansion of A in A
1.191 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.191 * [taylor]: Taking taylor expansion of 1/3 in A
1.191 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.191 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.191 * [taylor]: Taking taylor expansion of A in A
1.197 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0
1.197 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.197 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.197 * [taylor]: Taking taylor expansion of -1 in A
1.197 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.197 * [taylor]: Taking taylor expansion of 1/3 in A
1.197 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.197 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.197 * [taylor]: Taking taylor expansion of A in A
1.198 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.198 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.198 * [taylor]: Taking taylor expansion of -1 in A
1.198 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.198 * [taylor]: Taking taylor expansion of 1/3 in A
1.198 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.198 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.198 * [taylor]: Taking taylor expansion of A in A
1.206 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.206 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0
1.206 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.206 * [taylor]: Taking taylor expansion of 1/3 in A
1.206 * [taylor]: Taking taylor expansion of (log A) in A
1.206 * [taylor]: Taking taylor expansion of A in A
1.206 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.206 * [taylor]: Taking taylor expansion of 1/3 in A
1.206 * [taylor]: Taking taylor expansion of (log A) in A
1.206 * [taylor]: Taking taylor expansion of A in A
1.214 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0
1.214 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.214 * [taylor]: Taking taylor expansion of 1/3 in A
1.214 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.214 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.214 * [taylor]: Taking taylor expansion of A in A
1.215 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.215 * [taylor]: Taking taylor expansion of 1/3 in A
1.215 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.215 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.215 * [taylor]: Taking taylor expansion of A in A
1.221 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0
1.221 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.221 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.221 * [taylor]: Taking taylor expansion of -1 in A
1.221 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.221 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.221 * [taylor]: Taking taylor expansion of 1/3 in A
1.221 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.221 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.221 * [taylor]: Taking taylor expansion of A in A
1.221 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.221 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.221 * [taylor]: Taking taylor expansion of -1 in A
1.222 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.222 * [taylor]: Taking taylor expansion of 1/3 in A
1.222 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.222 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.222 * [taylor]: Taking taylor expansion of A in A
1.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.230 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
1.230 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.230 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.230 * [taylor]: Taking taylor expansion of 1/3 in V
1.230 * [taylor]: Taking taylor expansion of (log V) in V
1.230 * [taylor]: Taking taylor expansion of V in V
1.230 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.230 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.230 * [taylor]: Taking taylor expansion of 1/3 in V
1.230 * [taylor]: Taking taylor expansion of (log V) in V
1.230 * [taylor]: Taking taylor expansion of V in V
1.236 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
1.236 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.236 * [taylor]: Taking taylor expansion of 1/3 in V
1.236 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.236 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.236 * [taylor]: Taking taylor expansion of V in V
1.236 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.236 * [taylor]: Taking taylor expansion of 1/3 in V
1.236 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.236 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.236 * [taylor]: Taking taylor expansion of V in V
1.243 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
1.243 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.243 * [taylor]: Taking taylor expansion of 1/3 in V
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.243 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.243 * [taylor]: Taking taylor expansion of V in V
1.243 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.243 * [taylor]: Taking taylor expansion of -1 in V
1.243 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.243 * [taylor]: Taking taylor expansion of 1/3 in V
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.243 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.243 * [taylor]: Taking taylor expansion of V in V
1.243 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.243 * [taylor]: Taking taylor expansion of -1 in V
1.251 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
1.251 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
1.251 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.251 * [taylor]: Taking taylor expansion of 1/3 in V
1.251 * [taylor]: Taking taylor expansion of (log V) in V
1.251 * [taylor]: Taking taylor expansion of V in V
1.251 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.251 * [taylor]: Taking taylor expansion of 1/3 in V
1.251 * [taylor]: Taking taylor expansion of (log V) in V
1.252 * [taylor]: Taking taylor expansion of V in V
1.257 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
1.257 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.257 * [taylor]: Taking taylor expansion of 1/3 in V
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.258 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.258 * [taylor]: Taking taylor expansion of V in V
1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.258 * [taylor]: Taking taylor expansion of 1/3 in V
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.258 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.258 * [taylor]: Taking taylor expansion of V in V
1.264 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
1.264 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.264 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.264 * [taylor]: Taking taylor expansion of 1/3 in V
1.264 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.265 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.265 * [taylor]: Taking taylor expansion of V in V
1.265 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.265 * [taylor]: Taking taylor expansion of -1 in V
1.265 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.265 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.265 * [taylor]: Taking taylor expansion of 1/3 in V
1.265 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.265 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.265 * [taylor]: Taking taylor expansion of V in V
1.265 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.265 * [taylor]: Taking taylor expansion of -1 in V
1.273 * * * [progress]: simplifying candidates
1.274 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  (cbrt 1)
  (cbrt A)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  (* (* (cbrt A) (cbrt A)) (cbrt A))
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (log (cbrt A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  (cbrt 1)
  (cbrt A)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  (* (* (cbrt A) (cbrt A)) (cbrt A))
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (cbrt V)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  (* (* (cbrt V) (cbrt V)) (cbrt V))
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (cbrt V)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  (* (* (cbrt V) (cbrt V)) (cbrt V))
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (exp (* 1/3 (+ (log 1) (log A))))
  (exp (* 1/3 (- (log 1) (log (/ 1 A)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (exp (* 1/3 (+ (log 1) (log A))))
  (exp (* 1/3 (- (log 1) (log (/ 1 A)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (exp (* 1/3 (+ (log 1) (log V))))
  (exp (* 1/3 (- (log 1) (log (/ 1 V)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 V))))))
  (exp (* 1/3 (+ (log 1) (log V))))
  (exp (* 1/3 (- (log 1) (log (/ 1 V)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 V))))))
1.277 * * [simplify]: iteration  0 :  106  enodes  (cost  204 )
1.279 * * [simplify]: iteration  1 :  184  enodes  (cost  188 )
1.281 * * [simplify]: iteration  2 :  373  enodes  (cost  148 )
1.287 * * [simplify]: iteration  3 :  1008  enodes  (cost  144 )
1.310 * * [simplify]: iteration  4 :  4619  enodes  (cost  128 )
1.446 * * [simplify]: iteration  5 :  5001  enodes  (cost  128 )
1.448 * [simplify]: Simplified to:
   (* 1/3 (log A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  1
  (pow A 1/3)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  A
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (* 1/3 (log A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  1
  (pow A 1/3)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  A
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (* 1/3 (log V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  1
  (pow V 1/3)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  V
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (* 1/3 (log V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  1
  (pow V 1/3)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  V
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (pow A 1/3)
  (pow A 1/3)
  (/ (cbrt -1) (pow (/ -1 A) 1/3))
  (pow A 1/3)
  (pow A 1/3)
  (/ (cbrt -1) (pow (/ -1 A) 1/3))
  (pow V 1/3)
  (pow V 1/3)
  (/ (cbrt -1) (pow (/ -1 V) 1/3))
  (pow V 1/3)
  (pow V 1/3)
  (/ (cbrt -1) (pow (/ -1 V) 1/3))
1.448 * * * [progress]: adding candidates to table
1.511 * * [progress]: iteration 4 / 4
1.511 * * * [progress]: picking best candidate
1.587 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>
1.587 * * * [progress]: localizing error
1.608 * * * [progress]: generating rewritten candidates
1.608 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
1.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
1.610 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 2)
1.612 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2)
1.614 * * * [progress]: generating series expansions
1.614 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
1.615 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0
1.615 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.615 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.615 * [taylor]: Taking taylor expansion of 1/3 in A
1.615 * [taylor]: Taking taylor expansion of (log A) in A
1.615 * [taylor]: Taking taylor expansion of A in A
1.615 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.615 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.615 * [taylor]: Taking taylor expansion of 1/3 in A
1.615 * [taylor]: Taking taylor expansion of (log A) in A
1.615 * [taylor]: Taking taylor expansion of A in A
1.621 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0
1.621 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.621 * [taylor]: Taking taylor expansion of 1/3 in A
1.621 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.621 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.621 * [taylor]: Taking taylor expansion of A in A
1.621 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.621 * [taylor]: Taking taylor expansion of 1/3 in A
1.621 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.621 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.621 * [taylor]: Taking taylor expansion of A in A
1.627 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0
1.627 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.627 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.627 * [taylor]: Taking taylor expansion of -1 in A
1.628 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.628 * [taylor]: Taking taylor expansion of 1/3 in A
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.628 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.628 * [taylor]: Taking taylor expansion of A in A
1.628 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.628 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.628 * [taylor]: Taking taylor expansion of -1 in A
1.628 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.628 * [taylor]: Taking taylor expansion of 1/3 in A
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.628 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.628 * [taylor]: Taking taylor expansion of A in A
1.636 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
1.636 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0
1.636 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.636 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.636 * [taylor]: Taking taylor expansion of 1/3 in A
1.636 * [taylor]: Taking taylor expansion of (log A) in A
1.636 * [taylor]: Taking taylor expansion of A in A
1.636 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
1.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
1.636 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
1.636 * [taylor]: Taking taylor expansion of 1/3 in A
1.636 * [taylor]: Taking taylor expansion of (log A) in A
1.636 * [taylor]: Taking taylor expansion of A in A
1.642 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.642 * [taylor]: Taking taylor expansion of 1/3 in A
1.642 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.642 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.642 * [taylor]: Taking taylor expansion of A in A
1.642 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.642 * [taylor]: Taking taylor expansion of 1/3 in A
1.642 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.642 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.642 * [taylor]: Taking taylor expansion of A in A
1.649 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0
1.649 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.649 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.649 * [taylor]: Taking taylor expansion of -1 in A
1.649 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.649 * [taylor]: Taking taylor expansion of 1/3 in A
1.649 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.649 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.649 * [taylor]: Taking taylor expansion of A in A
1.649 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
1.649 * [taylor]: Taking taylor expansion of (cbrt -1) in A
1.649 * [taylor]: Taking taylor expansion of -1 in A
1.649 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
1.649 * [taylor]: Taking taylor expansion of 1/3 in A
1.649 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
1.649 * [taylor]: Taking taylor expansion of (/ 1 A) in A
1.649 * [taylor]: Taking taylor expansion of A in A
1.657 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 2)
1.657 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0
1.657 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
1.657 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
1.657 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
1.657 * [taylor]: Taking taylor expansion of 1/9 in V
1.657 * [taylor]: Taking taylor expansion of (log V) in V
1.657 * [taylor]: Taking taylor expansion of V in V
1.657 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
1.658 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
1.658 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
1.658 * [taylor]: Taking taylor expansion of 1/9 in V
1.658 * [taylor]: Taking taylor expansion of (log V) in V
1.658 * [taylor]: Taking taylor expansion of V in V
1.665 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0
1.665 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.665 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.665 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.665 * [taylor]: Taking taylor expansion of 1/9 in V
1.665 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.665 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.665 * [taylor]: Taking taylor expansion of V in V
1.665 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.665 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.665 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.665 * [taylor]: Taking taylor expansion of 1/9 in V
1.665 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.666 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.666 * [taylor]: Taking taylor expansion of V in V
1.672 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0
1.672 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
1.672 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.672 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.672 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.672 * [taylor]: Taking taylor expansion of 1/9 in V
1.672 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.672 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.672 * [taylor]: Taking taylor expansion of V in V
1.672 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
1.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
1.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
1.672 * [taylor]: Taking taylor expansion of 1/3 in V
1.672 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
1.673 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.673 * [taylor]: Taking taylor expansion of -1 in V
1.673 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
1.673 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.673 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.673 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.673 * [taylor]: Taking taylor expansion of 1/9 in V
1.673 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.673 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.673 * [taylor]: Taking taylor expansion of V in V
1.673 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
1.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
1.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
1.673 * [taylor]: Taking taylor expansion of 1/3 in V
1.673 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
1.673 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.673 * [taylor]: Taking taylor expansion of -1 in V
1.688 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2)
1.689 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0
1.689 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
1.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
1.689 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
1.689 * [taylor]: Taking taylor expansion of 1/9 in V
1.689 * [taylor]: Taking taylor expansion of (log V) in V
1.689 * [taylor]: Taking taylor expansion of V in V
1.689 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
1.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
1.689 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
1.689 * [taylor]: Taking taylor expansion of 1/9 in V
1.689 * [taylor]: Taking taylor expansion of (log V) in V
1.689 * [taylor]: Taking taylor expansion of V in V
1.695 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0
1.695 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.695 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.695 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.695 * [taylor]: Taking taylor expansion of 1/9 in V
1.695 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.695 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.695 * [taylor]: Taking taylor expansion of V in V
1.695 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.695 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.695 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.695 * [taylor]: Taking taylor expansion of 1/9 in V
1.695 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.695 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.695 * [taylor]: Taking taylor expansion of V in V
1.702 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0
1.702 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
1.702 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.702 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.702 * [taylor]: Taking taylor expansion of 1/9 in V
1.702 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.702 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.702 * [taylor]: Taking taylor expansion of V in V
1.702 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
1.702 * [taylor]: Taking taylor expansion of 1/3 in V
1.702 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
1.702 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.702 * [taylor]: Taking taylor expansion of -1 in V
1.702 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
1.702 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
1.702 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
1.702 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
1.702 * [taylor]: Taking taylor expansion of 1/9 in V
1.702 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.703 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.703 * [taylor]: Taking taylor expansion of V in V
1.703 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
1.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
1.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
1.703 * [taylor]: Taking taylor expansion of 1/3 in V
1.703 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
1.703 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.703 * [taylor]: Taking taylor expansion of -1 in V
1.718 * * * [progress]: simplifying candidates
1.719 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  (cbrt 1)
  (cbrt A)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  (* (* (cbrt A) (cbrt A)) (cbrt A))
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (log (cbrt A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  (cbrt 1)
  (cbrt A)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  (* (* (cbrt A) (cbrt A)) (cbrt A))
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (exp (* 1/3 (+ (log 1) (log A))))
  (exp (* 1/3 (- (log 1) (log (/ 1 A)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (exp (* 1/3 (+ (log 1) (log A))))
  (exp (* 1/3 (- (log 1) (log (/ 1 A)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (exp (* 1/9 (+ (log 1) (log V))))
  (exp (* 1/9 (- (log 1) (log (/ 1 V)))))
  (* (exp (* 1/9 (- (log 1) (log (/ -1 V))))) (pow (cbrt -1) 1/3))
  (exp (* 1/9 (+ (log 1) (log V))))
  (exp (* 1/9 (- (log 1) (log (/ 1 V)))))
  (* (exp (* 1/9 (- (log 1) (log (/ -1 V))))) (pow (cbrt -1) 1/3))
1.722 * * [simplify]: iteration  0 :  124  enodes  (cost  274 )
1.724 * * [simplify]: iteration  1 :  212  enodes  (cost  254 )
1.727 * * [simplify]: iteration  2 :  482  enodes  (cost  214 )
1.736 * * [simplify]: iteration  3 :  1558  enodes  (cost  206 )
1.799 * * [simplify]: iteration  4 :  5002  enodes  (cost  206 )
1.800 * [simplify]: Simplified to:
   (* 1/3 (log A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  1
  (pow A 1/3)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  A
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (* 1/3 (log A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  1
  (pow A 1/3)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  A
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  1
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  1
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt V)
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  1
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  1
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt V)
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (pow A 1/3)
  (pow A 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (pow A 1/3)
  (pow A 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
  (pow V 1/9)
  (pow V 1/9)
  (* (exp (* 1/9 (- (log 1) (log (/ -1 V))))) (pow (cbrt -1) 1/3))
  (pow V 1/9)
  (pow V 1/9)
  (* (exp (* 1/9 (- (log 1) (log (/ -1 V))))) (pow (cbrt -1) 1/3))
1.801 * * * [progress]: adding candidates to table
1.872 * [progress]: [Phase 3 of 3] Extracting.
1.872 * * [regime]: Finding splitpoints for: (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
1.877 * * * [regime-changes]: Trying 7 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) l V A c0)
1.877 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.002 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))>)
2.056 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.176 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))>)
2.222 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.347 * * * * [regimes]: Trying to branch on l from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.475 * * * * [regimes]: Trying to branch on V from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.601 * * * * [regimes]: Trying to branch on A from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.728 * * * * [regimes]: Trying to branch on c0 from (#<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ 1 (cbrt l))) (sqrt (/ (/ A V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))) (sqrt (/ (/ (cbrt A) V) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (/ A V))) (sqrt l)))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt (/ A V))) (sqrt (/ (cbrt (/ A V)) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (fabs (cbrt (/ A V)))) (sqrt (/ (cbrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (* (cbrt (sqrt A)) (cbrt (sqrt A))) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (fabs (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
2.854 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.854 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
2.855 * * [simplify]: iteration  0 :  15  enodes  (cost  14 )
2.855 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
2.856 * [simplify]: Simplified to:
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
6.431 * [regime-testing]: End program error score: 1.1401373409457036