31.815 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.048 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* c0 (sqrt (/ A (* V l))))
0.054 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
0.055 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.056 * * [simplify]: iteration  2 :  14  enodes  (cost  4 )
0.056 * [simplify]: Simplified to:
   (* c0 (sqrt (/ A (* V l))))
0.057 * * [progress]: iteration 1 / 4
0.057 * * * [progress]: picking best candidate
0.060 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.061 * * * [progress]: localizing error
0.068 * * * [progress]: generating rewritten candidates
0.068 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.072 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.076 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.085 * * * [progress]: generating series expansions
0.085 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.085 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.085 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.085 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.085 * [taylor]: Taking taylor expansion of A in l
0.085 * [taylor]: Taking taylor expansion of (* V l) in l
0.085 * [taylor]: Taking taylor expansion of V in l
0.085 * [taylor]: Taking taylor expansion of l in l
0.085 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.085 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.085 * [taylor]: Taking taylor expansion of A in V
0.086 * [taylor]: Taking taylor expansion of (* V l) in V
0.086 * [taylor]: Taking taylor expansion of V in V
0.086 * [taylor]: Taking taylor expansion of l in V
0.086 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.086 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.086 * [taylor]: Taking taylor expansion of A in A
0.086 * [taylor]: Taking taylor expansion of (* V l) in A
0.086 * [taylor]: Taking taylor expansion of V in A
0.086 * [taylor]: Taking taylor expansion of l in A
0.086 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.086 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.086 * [taylor]: Taking taylor expansion of A in A
0.086 * [taylor]: Taking taylor expansion of (* V l) in A
0.086 * [taylor]: Taking taylor expansion of V in A
0.086 * [taylor]: Taking taylor expansion of l in A
0.086 * [taylor]: Taking taylor expansion of 0 in V
0.086 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.086 * [taylor]: Taking taylor expansion of NAN in V
0.086 * [taylor]: Taking taylor expansion of (* V l) in V
0.086 * [taylor]: Taking taylor expansion of V in V
0.086 * [taylor]: Taking taylor expansion of l in V
0.086 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.086 * [taylor]: Taking taylor expansion of NAN in l
0.086 * [taylor]: Taking taylor expansion of l in l
0.086 * [taylor]: Taking taylor expansion of 0 in l
0.087 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.087 * [taylor]: Taking taylor expansion of NAN in V
0.087 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.087 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.087 * [taylor]: Taking taylor expansion of NAN in V
0.087 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.087 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.087 * [taylor]: Taking taylor expansion of V in V
0.087 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.087 * [taylor]: Taking taylor expansion of l in V
0.087 * [taylor]: Taking taylor expansion of 0 in l
0.088 * [taylor]: Taking taylor expansion of 0 in l
0.088 * [taylor]: Taking taylor expansion of 0 in l
0.088 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.088 * [taylor]: Taking taylor expansion of NAN in V
0.088 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.088 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.088 * [taylor]: Taking taylor expansion of NAN in V
0.088 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.088 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.088 * [taylor]: Taking taylor expansion of V in V
0.088 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.088 * [taylor]: Taking taylor expansion of l in V
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.091 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.091 * [taylor]: Taking taylor expansion of (* V l) in l
0.091 * [taylor]: Taking taylor expansion of V in l
0.091 * [taylor]: Taking taylor expansion of l in l
0.091 * [taylor]: Taking taylor expansion of A in l
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.091 * [taylor]: Taking taylor expansion of (* V l) in V
0.091 * [taylor]: Taking taylor expansion of V in V
0.091 * [taylor]: Taking taylor expansion of l in V
0.091 * [taylor]: Taking taylor expansion of A in V
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.091 * [taylor]: Taking taylor expansion of (* V l) in A
0.091 * [taylor]: Taking taylor expansion of V in A
0.091 * [taylor]: Taking taylor expansion of l in A
0.091 * [taylor]: Taking taylor expansion of A in A
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.091 * [taylor]: Taking taylor expansion of (* V l) in A
0.091 * [taylor]: Taking taylor expansion of V in A
0.091 * [taylor]: Taking taylor expansion of l in A
0.091 * [taylor]: Taking taylor expansion of A in A
0.091 * [taylor]: Taking taylor expansion of 0 in V
0.091 * [taylor]: Taking taylor expansion of 0 in l
0.091 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.091 * [taylor]: Taking taylor expansion of NAN in V
0.091 * [taylor]: Taking taylor expansion of (* V l) in V
0.092 * [taylor]: Taking taylor expansion of V in V
0.092 * [taylor]: Taking taylor expansion of l in V
0.092 * [taylor]: Taking taylor expansion of 0 in l
0.092 * [taylor]: Taking taylor expansion of 0 in l
0.092 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.092 * [taylor]: Taking taylor expansion of NAN in V
0.092 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.092 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.092 * [taylor]: Taking taylor expansion of V in V
0.092 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.092 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.092 * [taylor]: Taking taylor expansion of NAN in V
0.092 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.092 * [taylor]: Taking taylor expansion of l in V
0.092 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.092 * [taylor]: Taking taylor expansion of NAN in l
0.092 * [taylor]: Taking taylor expansion of l in l
0.092 * [taylor]: Taking taylor expansion of 0 in l
0.092 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.092 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.092 * [taylor]: Taking taylor expansion of -1 in l
0.092 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.092 * [taylor]: Taking taylor expansion of (* V l) in l
0.092 * [taylor]: Taking taylor expansion of V in l
0.092 * [taylor]: Taking taylor expansion of l in l
0.092 * [taylor]: Taking taylor expansion of A in l
0.093 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.093 * [taylor]: Taking taylor expansion of -1 in V
0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.093 * [taylor]: Taking taylor expansion of (* V l) in V
0.093 * [taylor]: Taking taylor expansion of V in V
0.093 * [taylor]: Taking taylor expansion of l in V
0.093 * [taylor]: Taking taylor expansion of A in V
0.093 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.093 * [taylor]: Taking taylor expansion of -1 in A
0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.093 * [taylor]: Taking taylor expansion of (* V l) in A
0.093 * [taylor]: Taking taylor expansion of V in A
0.093 * [taylor]: Taking taylor expansion of l in A
0.093 * [taylor]: Taking taylor expansion of A in A
0.093 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.093 * [taylor]: Taking taylor expansion of -1 in A
0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.093 * [taylor]: Taking taylor expansion of (* V l) in A
0.093 * [taylor]: Taking taylor expansion of V in A
0.093 * [taylor]: Taking taylor expansion of l in A
0.093 * [taylor]: Taking taylor expansion of A in A
0.093 * [taylor]: Taking taylor expansion of 0 in V
0.093 * [taylor]: Taking taylor expansion of 0 in l
0.093 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.093 * [taylor]: Taking taylor expansion of NAN in V
0.093 * [taylor]: Taking taylor expansion of (* V l) in V
0.093 * [taylor]: Taking taylor expansion of V in V
0.093 * [taylor]: Taking taylor expansion of l in V
0.093 * [taylor]: Taking taylor expansion of 0 in l
0.093 * [taylor]: Taking taylor expansion of 0 in l
0.094 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.094 * [taylor]: Taking taylor expansion of NAN in V
0.094 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.094 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.094 * [taylor]: Taking taylor expansion of V in V
0.094 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.094 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.094 * [taylor]: Taking taylor expansion of NAN in V
0.094 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.094 * [taylor]: Taking taylor expansion of l in V
0.094 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.094 * [taylor]: Taking taylor expansion of NAN in l
0.094 * [taylor]: Taking taylor expansion of l in l
0.094 * [taylor]: Taking taylor expansion of 0 in l
0.094 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.094 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.094 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.094 * [taylor]: Taking taylor expansion of A in l
0.094 * [taylor]: Taking taylor expansion of (* V l) in l
0.094 * [taylor]: Taking taylor expansion of V in l
0.094 * [taylor]: Taking taylor expansion of l in l
0.094 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.094 * [taylor]: Taking taylor expansion of A in V
0.094 * [taylor]: Taking taylor expansion of (* V l) in V
0.094 * [taylor]: Taking taylor expansion of V in V
0.094 * [taylor]: Taking taylor expansion of l in V
0.094 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.094 * [taylor]: Taking taylor expansion of A in A
0.095 * [taylor]: Taking taylor expansion of (* V l) in A
0.095 * [taylor]: Taking taylor expansion of V in A
0.095 * [taylor]: Taking taylor expansion of l in A
0.095 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.095 * [taylor]: Taking taylor expansion of A in A
0.095 * [taylor]: Taking taylor expansion of (* V l) in A
0.095 * [taylor]: Taking taylor expansion of V in A
0.095 * [taylor]: Taking taylor expansion of l in A
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.095 * [taylor]: Taking taylor expansion of (* V l) in V
0.095 * [taylor]: Taking taylor expansion of V in V
0.095 * [taylor]: Taking taylor expansion of l in V
0.095 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.095 * [taylor]: Taking taylor expansion of l in l
0.095 * [taylor]: Taking taylor expansion of 0 in V
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in V
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [taylor]: Taking taylor expansion of 0 in V
0.096 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.096 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.096 * [taylor]: Taking taylor expansion of (* V l) in l
0.096 * [taylor]: Taking taylor expansion of V in l
0.096 * [taylor]: Taking taylor expansion of l in l
0.096 * [taylor]: Taking taylor expansion of A in l
0.096 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.096 * [taylor]: Taking taylor expansion of (* V l) in V
0.096 * [taylor]: Taking taylor expansion of V in V
0.096 * [taylor]: Taking taylor expansion of l in V
0.096 * [taylor]: Taking taylor expansion of A in V
0.096 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.096 * [taylor]: Taking taylor expansion of (* V l) in A
0.096 * [taylor]: Taking taylor expansion of V in A
0.096 * [taylor]: Taking taylor expansion of l in A
0.096 * [taylor]: Taking taylor expansion of A in A
0.097 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.097 * [taylor]: Taking taylor expansion of (* V l) in A
0.097 * [taylor]: Taking taylor expansion of V in A
0.097 * [taylor]: Taking taylor expansion of l in A
0.097 * [taylor]: Taking taylor expansion of A in A
0.097 * [taylor]: Taking taylor expansion of (* V l) in V
0.097 * [taylor]: Taking taylor expansion of V in V
0.097 * [taylor]: Taking taylor expansion of l in V
0.097 * [taylor]: Taking taylor expansion of l in l
0.097 * [taylor]: Taking taylor expansion of 0 in V
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of 0 in V
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.097 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.097 * [taylor]: Taking taylor expansion of -1 in l
0.097 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.097 * [taylor]: Taking taylor expansion of (* V l) in l
0.097 * [taylor]: Taking taylor expansion of V in l
0.097 * [taylor]: Taking taylor expansion of l in l
0.097 * [taylor]: Taking taylor expansion of A in l
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.098 * [taylor]: Taking taylor expansion of -1 in V
0.098 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.098 * [taylor]: Taking taylor expansion of (* V l) in V
0.098 * [taylor]: Taking taylor expansion of V in V
0.098 * [taylor]: Taking taylor expansion of l in V
0.098 * [taylor]: Taking taylor expansion of A in V
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.098 * [taylor]: Taking taylor expansion of -1 in A
0.098 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.098 * [taylor]: Taking taylor expansion of (* V l) in A
0.098 * [taylor]: Taking taylor expansion of V in A
0.098 * [taylor]: Taking taylor expansion of l in A
0.098 * [taylor]: Taking taylor expansion of A in A
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.098 * [taylor]: Taking taylor expansion of -1 in A
0.098 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.098 * [taylor]: Taking taylor expansion of (* V l) in A
0.098 * [taylor]: Taking taylor expansion of V in A
0.098 * [taylor]: Taking taylor expansion of l in A
0.098 * [taylor]: Taking taylor expansion of A in A
0.098 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.098 * [taylor]: Taking taylor expansion of -1 in V
0.098 * [taylor]: Taking taylor expansion of (* V l) in V
0.098 * [taylor]: Taking taylor expansion of V in V
0.098 * [taylor]: Taking taylor expansion of l in V
0.098 * [taylor]: Taking taylor expansion of (neg l) in l
0.098 * [taylor]: Taking taylor expansion of l in l
0.098 * [taylor]: Taking taylor expansion of 0 in V
0.098 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in V
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.099 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.099 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.099 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.099 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.099 * [taylor]: Taking taylor expansion of A in l
0.099 * [taylor]: Taking taylor expansion of (* V l) in l
0.099 * [taylor]: Taking taylor expansion of V in l
0.099 * [taylor]: Taking taylor expansion of l in l
0.099 * [taylor]: Taking taylor expansion of c0 in l
0.099 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.099 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.099 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.099 * [taylor]: Taking taylor expansion of A in V
0.099 * [taylor]: Taking taylor expansion of (* V l) in V
0.099 * [taylor]: Taking taylor expansion of V in V
0.099 * [taylor]: Taking taylor expansion of l in V
0.100 * [taylor]: Taking taylor expansion of c0 in V
0.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.100 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.100 * [taylor]: Taking taylor expansion of A in A
0.100 * [taylor]: Taking taylor expansion of (* V l) in A
0.100 * [taylor]: Taking taylor expansion of V in A
0.100 * [taylor]: Taking taylor expansion of l in A
0.100 * [taylor]: Taking taylor expansion of c0 in A
0.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.100 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.100 * [taylor]: Taking taylor expansion of A in c0
0.100 * [taylor]: Taking taylor expansion of (* V l) in c0
0.100 * [taylor]: Taking taylor expansion of V in c0
0.100 * [taylor]: Taking taylor expansion of l in c0
0.100 * [taylor]: Taking taylor expansion of c0 in c0
0.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.100 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.100 * [taylor]: Taking taylor expansion of A in c0
0.100 * [taylor]: Taking taylor expansion of (* V l) in c0
0.100 * [taylor]: Taking taylor expansion of V in c0
0.100 * [taylor]: Taking taylor expansion of l in c0
0.100 * [taylor]: Taking taylor expansion of c0 in c0
0.101 * [taylor]: Taking taylor expansion of 0 in A
0.101 * [taylor]: Taking taylor expansion of 0 in V
0.101 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.101 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.101 * [taylor]: Taking taylor expansion of A in A
0.101 * [taylor]: Taking taylor expansion of (* V l) in A
0.101 * [taylor]: Taking taylor expansion of V in A
0.101 * [taylor]: Taking taylor expansion of l in A
0.101 * [taylor]: Taking taylor expansion of 0 in V
0.101 * [taylor]: Taking taylor expansion of 0 in V
0.101 * [taylor]: Taking taylor expansion of 0 in l
0.101 * [taylor]: Taking taylor expansion of 0 in A
0.101 * [taylor]: Taking taylor expansion of 0 in V
0.101 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.101 * [taylor]: Taking taylor expansion of NAN in V
0.101 * [taylor]: Taking taylor expansion of (* V l) in V
0.101 * [taylor]: Taking taylor expansion of V in V
0.101 * [taylor]: Taking taylor expansion of l in V
0.101 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.102 * [taylor]: Taking taylor expansion of NAN in l
0.102 * [taylor]: Taking taylor expansion of l in l
0.102 * [taylor]: Taking taylor expansion of 0 in V
0.102 * [taylor]: Taking taylor expansion of 0 in l
0.102 * [taylor]: Taking taylor expansion of 0 in l
0.102 * [taylor]: Taking taylor expansion of 0 in l
0.102 * [taylor]: Taking taylor expansion of 0 in A
0.102 * [taylor]: Taking taylor expansion of 0 in V
0.102 * [taylor]: Taking taylor expansion of 0 in V
0.102 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.102 * [taylor]: Taking taylor expansion of NAN in V
0.102 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.102 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.102 * [taylor]: Taking taylor expansion of NAN in V
0.102 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.102 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.102 * [taylor]: Taking taylor expansion of V in V
0.103 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.103 * [taylor]: Taking taylor expansion of l in V
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in V
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.103 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.104 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.104 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.104 * [taylor]: Taking taylor expansion of (* V l) in l
0.104 * [taylor]: Taking taylor expansion of V in l
0.104 * [taylor]: Taking taylor expansion of l in l
0.104 * [taylor]: Taking taylor expansion of A in l
0.104 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.104 * [taylor]: Taking taylor expansion of c0 in l
0.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.104 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.104 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.104 * [taylor]: Taking taylor expansion of (* V l) in V
0.104 * [taylor]: Taking taylor expansion of V in V
0.104 * [taylor]: Taking taylor expansion of l in V
0.104 * [taylor]: Taking taylor expansion of A in V
0.104 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.104 * [taylor]: Taking taylor expansion of c0 in V
0.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.104 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.104 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.104 * [taylor]: Taking taylor expansion of (* V l) in A
0.104 * [taylor]: Taking taylor expansion of V in A
0.104 * [taylor]: Taking taylor expansion of l in A
0.104 * [taylor]: Taking taylor expansion of A in A
0.104 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.104 * [taylor]: Taking taylor expansion of c0 in A
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.105 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.105 * [taylor]: Taking taylor expansion of (* V l) in c0
0.105 * [taylor]: Taking taylor expansion of V in c0
0.105 * [taylor]: Taking taylor expansion of l in c0
0.105 * [taylor]: Taking taylor expansion of A in c0
0.105 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.105 * [taylor]: Taking taylor expansion of c0 in c0
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.105 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.105 * [taylor]: Taking taylor expansion of (* V l) in c0
0.105 * [taylor]: Taking taylor expansion of V in c0
0.105 * [taylor]: Taking taylor expansion of l in c0
0.105 * [taylor]: Taking taylor expansion of A in c0
0.105 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.105 * [taylor]: Taking taylor expansion of c0 in c0
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.105 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.105 * [taylor]: Taking taylor expansion of (* V l) in A
0.105 * [taylor]: Taking taylor expansion of V in A
0.105 * [taylor]: Taking taylor expansion of l in A
0.105 * [taylor]: Taking taylor expansion of A in A
0.106 * [taylor]: Taking taylor expansion of 0 in V
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.106 * [taylor]: Taking taylor expansion of 0 in A
0.106 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.106 * [taylor]: Taking taylor expansion of NAN in V
0.106 * [taylor]: Taking taylor expansion of (* V l) in V
0.106 * [taylor]: Taking taylor expansion of V in V
0.106 * [taylor]: Taking taylor expansion of l in V
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.106 * [taylor]: Taking taylor expansion of 0 in A
0.106 * [taylor]: Taking taylor expansion of 0 in V
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.107 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.107 * [taylor]: Taking taylor expansion of NAN in V
0.107 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.107 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.107 * [taylor]: Taking taylor expansion of V in V
0.107 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.107 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.107 * [taylor]: Taking taylor expansion of NAN in V
0.107 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.107 * [taylor]: Taking taylor expansion of l in V
0.107 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.107 * [taylor]: Taking taylor expansion of NAN in l
0.107 * [taylor]: Taking taylor expansion of l in l
0.107 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.107 * [taylor]: Taking taylor expansion of -1 in l
0.107 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.107 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.107 * [taylor]: Taking taylor expansion of -1 in l
0.107 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.107 * [taylor]: Taking taylor expansion of (* V l) in l
0.107 * [taylor]: Taking taylor expansion of V in l
0.107 * [taylor]: Taking taylor expansion of l in l
0.107 * [taylor]: Taking taylor expansion of A in l
0.107 * [taylor]: Taking taylor expansion of c0 in l
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.108 * [taylor]: Taking taylor expansion of -1 in V
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.108 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.108 * [taylor]: Taking taylor expansion of -1 in V
0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.108 * [taylor]: Taking taylor expansion of (* V l) in V
0.108 * [taylor]: Taking taylor expansion of V in V
0.108 * [taylor]: Taking taylor expansion of l in V
0.108 * [taylor]: Taking taylor expansion of A in V
0.108 * [taylor]: Taking taylor expansion of c0 in V
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.108 * [taylor]: Taking taylor expansion of -1 in A
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.108 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.108 * [taylor]: Taking taylor expansion of -1 in A
0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.108 * [taylor]: Taking taylor expansion of (* V l) in A
0.108 * [taylor]: Taking taylor expansion of V in A
0.108 * [taylor]: Taking taylor expansion of l in A
0.108 * [taylor]: Taking taylor expansion of A in A
0.108 * [taylor]: Taking taylor expansion of c0 in A
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.108 * [taylor]: Taking taylor expansion of -1 in c0
0.108 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.108 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.108 * [taylor]: Taking taylor expansion of -1 in c0
0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.108 * [taylor]: Taking taylor expansion of (* V l) in c0
0.108 * [taylor]: Taking taylor expansion of V in c0
0.108 * [taylor]: Taking taylor expansion of l in c0
0.108 * [taylor]: Taking taylor expansion of A in c0
0.109 * [taylor]: Taking taylor expansion of c0 in c0
0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.109 * [taylor]: Taking taylor expansion of -1 in c0
0.109 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.109 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.109 * [taylor]: Taking taylor expansion of -1 in c0
0.109 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.109 * [taylor]: Taking taylor expansion of (* V l) in c0
0.109 * [taylor]: Taking taylor expansion of V in c0
0.109 * [taylor]: Taking taylor expansion of l in c0
0.109 * [taylor]: Taking taylor expansion of A in c0
0.109 * [taylor]: Taking taylor expansion of c0 in c0
0.110 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.110 * [taylor]: Taking taylor expansion of -1 in A
0.110 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.110 * [taylor]: Taking taylor expansion of -1 in A
0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.110 * [taylor]: Taking taylor expansion of (* V l) in A
0.110 * [taylor]: Taking taylor expansion of V in A
0.110 * [taylor]: Taking taylor expansion of l in A
0.110 * [taylor]: Taking taylor expansion of A in A
0.110 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
0.110 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
0.110 * [taylor]: Taking taylor expansion of V in V
0.110 * [taylor]: Taking taylor expansion of (* NAN l) in V
0.110 * [taylor]: Taking taylor expansion of NAN in V
0.110 * [taylor]: Taking taylor expansion of l in V
0.110 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
0.110 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.110 * [taylor]: Taking taylor expansion of NAN in l
0.110 * [taylor]: Taking taylor expansion of l in l
0.111 * [taylor]: Taking taylor expansion of 0 in A
0.111 * [taylor]: Taking taylor expansion of 0 in V
0.111 * [taylor]: Taking taylor expansion of 0 in l
0.111 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
0.111 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
0.111 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.111 * [taylor]: Taking taylor expansion of V in V
0.111 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
0.111 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
0.111 * [taylor]: Taking taylor expansion of NAN in V
0.111 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.111 * [taylor]: Taking taylor expansion of l in V
0.112 * [taylor]: Taking taylor expansion of 0 in l
0.112 * [taylor]: Taking taylor expansion of 0 in A
0.112 * [taylor]: Taking taylor expansion of 0 in V
0.112 * [taylor]: Taking taylor expansion of 0 in l
0.112 * [taylor]: Taking taylor expansion of 0 in V
0.112 * [taylor]: Taking taylor expansion of 0 in l
0.113 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
0.113 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
0.113 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.113 * [taylor]: Taking taylor expansion of V in V
0.113 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
0.113 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
0.113 * [taylor]: Taking taylor expansion of NAN in V
0.113 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.113 * [taylor]: Taking taylor expansion of l in V
0.113 * [taylor]: Taking taylor expansion of 0 in l
0.113 * * * [progress]: simplifying candidates
0.114 * [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.118 * * [simplify]: iteration  0 :  214  enodes  (cost  321 )
0.122 * * [simplify]: iteration  1 :  808  enodes  (cost  296 )
0.137 * * [simplify]: iteration  2 :  3059  enodes  (cost  293 )
0.174 * * [simplify]: iteration  3 :  5001  enodes  (cost  293 )
0.179 * [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.180 * * * [progress]: adding candidates to table
0.262 * * [progress]: iteration 2 / 4
0.262 * * * [progress]: picking best candidate
0.317 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))>
0.317 * * * [progress]: localizing error
0.326 * * * [progress]: generating rewritten candidates
0.326 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.330 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.334 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.338 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
0.344 * * * [progress]: generating series expansions
0.344 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.345 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.345 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.345 * [taylor]: Taking taylor expansion of A in l
0.345 * [taylor]: Taking taylor expansion of (* V l) in l
0.345 * [taylor]: Taking taylor expansion of V in l
0.345 * [taylor]: Taking taylor expansion of l in l
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.345 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.345 * [taylor]: Taking taylor expansion of A in V
0.345 * [taylor]: Taking taylor expansion of (* V l) in V
0.345 * [taylor]: Taking taylor expansion of V in V
0.345 * [taylor]: Taking taylor expansion of l in V
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.345 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.345 * [taylor]: Taking taylor expansion of A in A
0.345 * [taylor]: Taking taylor expansion of (* V l) in A
0.345 * [taylor]: Taking taylor expansion of V in A
0.345 * [taylor]: Taking taylor expansion of l in A
0.345 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.345 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.345 * [taylor]: Taking taylor expansion of A in A
0.345 * [taylor]: Taking taylor expansion of (* V l) in A
0.345 * [taylor]: Taking taylor expansion of V in A
0.345 * [taylor]: Taking taylor expansion of l in A
0.345 * [taylor]: Taking taylor expansion of 0 in V
0.345 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.345 * [taylor]: Taking taylor expansion of NAN in V
0.345 * [taylor]: Taking taylor expansion of (* V l) in V
0.346 * [taylor]: Taking taylor expansion of V in V
0.346 * [taylor]: Taking taylor expansion of l in V
0.346 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.346 * [taylor]: Taking taylor expansion of NAN in l
0.346 * [taylor]: Taking taylor expansion of l in l
0.346 * [taylor]: Taking taylor expansion of 0 in l
0.346 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.346 * [taylor]: Taking taylor expansion of NAN in V
0.346 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.346 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.346 * [taylor]: Taking taylor expansion of NAN in V
0.346 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.346 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.346 * [taylor]: Taking taylor expansion of V in V
0.346 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.346 * [taylor]: Taking taylor expansion of l in V
0.347 * [taylor]: Taking taylor expansion of 0 in l
0.347 * [taylor]: Taking taylor expansion of 0 in l
0.347 * [taylor]: Taking taylor expansion of 0 in l
0.347 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.347 * [taylor]: Taking taylor expansion of NAN in V
0.347 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.347 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.347 * [taylor]: Taking taylor expansion of NAN in V
0.347 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.347 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.348 * [taylor]: Taking taylor expansion of V in V
0.348 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.348 * [taylor]: Taking taylor expansion of l in V
0.349 * [taylor]: Taking taylor expansion of 0 in l
0.349 * [taylor]: Taking taylor expansion of 0 in l
0.350 * [taylor]: Taking taylor expansion of 0 in l
0.350 * [taylor]: Taking taylor expansion of 0 in l
0.350 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.350 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.350 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.350 * [taylor]: Taking taylor expansion of (* V l) in l
0.350 * [taylor]: Taking taylor expansion of V in l
0.350 * [taylor]: Taking taylor expansion of l in l
0.350 * [taylor]: Taking taylor expansion of A in l
0.350 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.350 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.350 * [taylor]: Taking taylor expansion of (* V l) in V
0.350 * [taylor]: Taking taylor expansion of V in V
0.350 * [taylor]: Taking taylor expansion of l in V
0.350 * [taylor]: Taking taylor expansion of A in V
0.350 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.350 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.350 * [taylor]: Taking taylor expansion of (* V l) in A
0.350 * [taylor]: Taking taylor expansion of V in A
0.350 * [taylor]: Taking taylor expansion of l in A
0.350 * [taylor]: Taking taylor expansion of A in A
0.350 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.350 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.350 * [taylor]: Taking taylor expansion of (* V l) in A
0.350 * [taylor]: Taking taylor expansion of V in A
0.351 * [taylor]: Taking taylor expansion of l in A
0.351 * [taylor]: Taking taylor expansion of A in A
0.351 * [taylor]: Taking taylor expansion of 0 in V
0.351 * [taylor]: Taking taylor expansion of 0 in l
0.351 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.351 * [taylor]: Taking taylor expansion of NAN in V
0.351 * [taylor]: Taking taylor expansion of (* V l) in V
0.351 * [taylor]: Taking taylor expansion of V in V
0.351 * [taylor]: Taking taylor expansion of l in V
0.351 * [taylor]: Taking taylor expansion of 0 in l
0.351 * [taylor]: Taking taylor expansion of 0 in l
0.351 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.351 * [taylor]: Taking taylor expansion of NAN in V
0.351 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.351 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.351 * [taylor]: Taking taylor expansion of V in V
0.351 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.351 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.351 * [taylor]: Taking taylor expansion of NAN in V
0.351 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.351 * [taylor]: Taking taylor expansion of l in V
0.351 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.351 * [taylor]: Taking taylor expansion of NAN in l
0.351 * [taylor]: Taking taylor expansion of l in l
0.351 * [taylor]: Taking taylor expansion of 0 in l
0.352 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.352 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.352 * [taylor]: Taking taylor expansion of -1 in l
0.352 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.352 * [taylor]: Taking taylor expansion of (* V l) in l
0.352 * [taylor]: Taking taylor expansion of V in l
0.352 * [taylor]: Taking taylor expansion of l in l
0.352 * [taylor]: Taking taylor expansion of A in l
0.352 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.352 * [taylor]: Taking taylor expansion of -1 in V
0.352 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.352 * [taylor]: Taking taylor expansion of (* V l) in V
0.352 * [taylor]: Taking taylor expansion of V in V
0.352 * [taylor]: Taking taylor expansion of l in V
0.352 * [taylor]: Taking taylor expansion of A in V
0.352 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.352 * [taylor]: Taking taylor expansion of -1 in A
0.352 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.352 * [taylor]: Taking taylor expansion of (* V l) in A
0.352 * [taylor]: Taking taylor expansion of V in A
0.352 * [taylor]: Taking taylor expansion of l in A
0.352 * [taylor]: Taking taylor expansion of A in A
0.352 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.352 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.352 * [taylor]: Taking taylor expansion of -1 in A
0.352 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.352 * [taylor]: Taking taylor expansion of (* V l) in A
0.352 * [taylor]: Taking taylor expansion of V in A
0.352 * [taylor]: Taking taylor expansion of l in A
0.352 * [taylor]: Taking taylor expansion of A in A
0.352 * [taylor]: Taking taylor expansion of 0 in V
0.353 * [taylor]: Taking taylor expansion of 0 in l
0.353 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.353 * [taylor]: Taking taylor expansion of NAN in V
0.353 * [taylor]: Taking taylor expansion of (* V l) in V
0.353 * [taylor]: Taking taylor expansion of V in V
0.353 * [taylor]: Taking taylor expansion of l in V
0.353 * [taylor]: Taking taylor expansion of 0 in l
0.353 * [taylor]: Taking taylor expansion of 0 in l
0.353 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.353 * [taylor]: Taking taylor expansion of NAN in V
0.353 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.353 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.353 * [taylor]: Taking taylor expansion of V in V
0.353 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.353 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.353 * [taylor]: Taking taylor expansion of NAN in V
0.353 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.353 * [taylor]: Taking taylor expansion of l in V
0.353 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.353 * [taylor]: Taking taylor expansion of NAN in l
0.353 * [taylor]: Taking taylor expansion of l in l
0.353 * [taylor]: Taking taylor expansion of 0 in l
0.353 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
0.353 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.353 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.353 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.353 * [taylor]: Taking taylor expansion of A in l
0.353 * [taylor]: Taking taylor expansion of (* V l) in l
0.353 * [taylor]: Taking taylor expansion of V in l
0.353 * [taylor]: Taking taylor expansion of l in l
0.354 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.354 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.354 * [taylor]: Taking taylor expansion of A in V
0.354 * [taylor]: Taking taylor expansion of (* V l) in V
0.354 * [taylor]: Taking taylor expansion of V in V
0.354 * [taylor]: Taking taylor expansion of l in V
0.354 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.354 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.354 * [taylor]: Taking taylor expansion of A in A
0.354 * [taylor]: Taking taylor expansion of (* V l) in A
0.354 * [taylor]: Taking taylor expansion of V in A
0.354 * [taylor]: Taking taylor expansion of l in A
0.354 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.354 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.354 * [taylor]: Taking taylor expansion of A in A
0.354 * [taylor]: Taking taylor expansion of (* V l) in A
0.354 * [taylor]: Taking taylor expansion of V in A
0.354 * [taylor]: Taking taylor expansion of l in A
0.354 * [taylor]: Taking taylor expansion of 0 in V
0.354 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.354 * [taylor]: Taking taylor expansion of NAN in V
0.354 * [taylor]: Taking taylor expansion of (* V l) in V
0.354 * [taylor]: Taking taylor expansion of V in V
0.354 * [taylor]: Taking taylor expansion of l in V
0.354 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.354 * [taylor]: Taking taylor expansion of NAN in l
0.354 * [taylor]: Taking taylor expansion of l in l
0.354 * [taylor]: Taking taylor expansion of 0 in l
0.355 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.355 * [taylor]: Taking taylor expansion of NAN in V
0.355 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.355 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.355 * [taylor]: Taking taylor expansion of NAN in V
0.355 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.355 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.355 * [taylor]: Taking taylor expansion of V in V
0.355 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.355 * [taylor]: Taking taylor expansion of l in V
0.356 * [taylor]: Taking taylor expansion of 0 in l
0.356 * [taylor]: Taking taylor expansion of 0 in l
0.356 * [taylor]: Taking taylor expansion of 0 in l
0.356 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.356 * [taylor]: Taking taylor expansion of NAN in V
0.356 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.356 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.356 * [taylor]: Taking taylor expansion of NAN in V
0.356 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.356 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.356 * [taylor]: Taking taylor expansion of V in V
0.356 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.356 * [taylor]: Taking taylor expansion of l in V
0.358 * [taylor]: Taking taylor expansion of 0 in l
0.358 * [taylor]: Taking taylor expansion of 0 in l
0.359 * [taylor]: Taking taylor expansion of 0 in l
0.359 * [taylor]: Taking taylor expansion of 0 in l
0.359 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.359 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.359 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.359 * [taylor]: Taking taylor expansion of (* V l) in l
0.359 * [taylor]: Taking taylor expansion of V in l
0.359 * [taylor]: Taking taylor expansion of l in l
0.359 * [taylor]: Taking taylor expansion of A in l
0.359 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.359 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.359 * [taylor]: Taking taylor expansion of (* V l) in V
0.359 * [taylor]: Taking taylor expansion of V in V
0.359 * [taylor]: Taking taylor expansion of l in V
0.359 * [taylor]: Taking taylor expansion of A in V
0.359 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.359 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.359 * [taylor]: Taking taylor expansion of (* V l) in A
0.359 * [taylor]: Taking taylor expansion of V in A
0.359 * [taylor]: Taking taylor expansion of l in A
0.359 * [taylor]: Taking taylor expansion of A in A
0.359 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.359 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.359 * [taylor]: Taking taylor expansion of (* V l) in A
0.359 * [taylor]: Taking taylor expansion of V in A
0.359 * [taylor]: Taking taylor expansion of l in A
0.359 * [taylor]: Taking taylor expansion of A in A
0.360 * [taylor]: Taking taylor expansion of 0 in V
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.360 * [taylor]: Taking taylor expansion of NAN in V
0.360 * [taylor]: Taking taylor expansion of (* V l) in V
0.360 * [taylor]: Taking taylor expansion of V in V
0.360 * [taylor]: Taking taylor expansion of l in V
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.360 * [taylor]: Taking taylor expansion of NAN in V
0.360 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.360 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.360 * [taylor]: Taking taylor expansion of V in V
0.360 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.360 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.360 * [taylor]: Taking taylor expansion of NAN in V
0.360 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.360 * [taylor]: Taking taylor expansion of l in V
0.360 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.360 * [taylor]: Taking taylor expansion of NAN in l
0.360 * [taylor]: Taking taylor expansion of l in l
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.360 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.360 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.360 * [taylor]: Taking taylor expansion of -1 in l
0.360 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.361 * [taylor]: Taking taylor expansion of (* V l) in l
0.361 * [taylor]: Taking taylor expansion of V in l
0.361 * [taylor]: Taking taylor expansion of l in l
0.361 * [taylor]: Taking taylor expansion of A in l
0.361 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.361 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.361 * [taylor]: Taking taylor expansion of -1 in V
0.361 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.361 * [taylor]: Taking taylor expansion of (* V l) in V
0.361 * [taylor]: Taking taylor expansion of V in V
0.361 * [taylor]: Taking taylor expansion of l in V
0.361 * [taylor]: Taking taylor expansion of A in V
0.361 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.361 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.361 * [taylor]: Taking taylor expansion of -1 in A
0.361 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.361 * [taylor]: Taking taylor expansion of (* V l) in A
0.361 * [taylor]: Taking taylor expansion of V in A
0.361 * [taylor]: Taking taylor expansion of l in A
0.361 * [taylor]: Taking taylor expansion of A in A
0.361 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.361 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.361 * [taylor]: Taking taylor expansion of -1 in A
0.361 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.361 * [taylor]: Taking taylor expansion of (* V l) in A
0.361 * [taylor]: Taking taylor expansion of V in A
0.361 * [taylor]: Taking taylor expansion of l in A
0.361 * [taylor]: Taking taylor expansion of A in A
0.361 * [taylor]: Taking taylor expansion of 0 in V
0.361 * [taylor]: Taking taylor expansion of 0 in l
0.361 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.361 * [taylor]: Taking taylor expansion of NAN in V
0.361 * [taylor]: Taking taylor expansion of (* V l) in V
0.361 * [taylor]: Taking taylor expansion of V in V
0.362 * [taylor]: Taking taylor expansion of l in V
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.362 * [taylor]: Taking taylor expansion of NAN in V
0.362 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.362 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.362 * [taylor]: Taking taylor expansion of V in V
0.362 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.362 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.362 * [taylor]: Taking taylor expansion of NAN in V
0.362 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.362 * [taylor]: Taking taylor expansion of l in V
0.362 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.362 * [taylor]: Taking taylor expansion of NAN in l
0.362 * [taylor]: Taking taylor expansion of l in l
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.362 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.362 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.362 * [taylor]: Taking taylor expansion of A in l
0.362 * [taylor]: Taking taylor expansion of (* V l) in l
0.362 * [taylor]: Taking taylor expansion of V in l
0.362 * [taylor]: Taking taylor expansion of l in l
0.362 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.362 * [taylor]: Taking taylor expansion of A in V
0.362 * [taylor]: Taking taylor expansion of (* V l) in V
0.362 * [taylor]: Taking taylor expansion of V in V
0.362 * [taylor]: Taking taylor expansion of l in V
0.363 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.363 * [taylor]: Taking taylor expansion of A in A
0.363 * [taylor]: Taking taylor expansion of (* V l) in A
0.363 * [taylor]: Taking taylor expansion of V in A
0.363 * [taylor]: Taking taylor expansion of l in A
0.363 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.363 * [taylor]: Taking taylor expansion of A in A
0.363 * [taylor]: Taking taylor expansion of (* V l) in A
0.363 * [taylor]: Taking taylor expansion of V in A
0.363 * [taylor]: Taking taylor expansion of l in A
0.363 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.363 * [taylor]: Taking taylor expansion of (* V l) in V
0.363 * [taylor]: Taking taylor expansion of V in V
0.363 * [taylor]: Taking taylor expansion of l in V
0.363 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.363 * [taylor]: Taking taylor expansion of l in l
0.363 * [taylor]: Taking taylor expansion of 0 in V
0.363 * [taylor]: Taking taylor expansion of 0 in l
0.363 * [taylor]: Taking taylor expansion of 0 in V
0.363 * [taylor]: Taking taylor expansion of 0 in l
0.364 * [taylor]: Taking taylor expansion of 0 in l
0.364 * [taylor]: Taking taylor expansion of 0 in V
0.364 * [taylor]: Taking taylor expansion of 0 in l
0.364 * [taylor]: Taking taylor expansion of 0 in l
0.364 * [taylor]: Taking taylor expansion of 0 in l
0.364 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.364 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.364 * [taylor]: Taking taylor expansion of (* V l) in l
0.364 * [taylor]: Taking taylor expansion of V in l
0.364 * [taylor]: Taking taylor expansion of l in l
0.364 * [taylor]: Taking taylor expansion of A in l
0.364 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.364 * [taylor]: Taking taylor expansion of (* V l) in V
0.364 * [taylor]: Taking taylor expansion of V in V
0.364 * [taylor]: Taking taylor expansion of l in V
0.364 * [taylor]: Taking taylor expansion of A in V
0.364 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.364 * [taylor]: Taking taylor expansion of (* V l) in A
0.364 * [taylor]: Taking taylor expansion of V in A
0.364 * [taylor]: Taking taylor expansion of l in A
0.364 * [taylor]: Taking taylor expansion of A in A
0.365 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.365 * [taylor]: Taking taylor expansion of (* V l) in A
0.365 * [taylor]: Taking taylor expansion of V in A
0.365 * [taylor]: Taking taylor expansion of l in A
0.365 * [taylor]: Taking taylor expansion of A in A
0.365 * [taylor]: Taking taylor expansion of (* V l) in V
0.365 * [taylor]: Taking taylor expansion of V in V
0.365 * [taylor]: Taking taylor expansion of l in V
0.365 * [taylor]: Taking taylor expansion of l in l
0.365 * [taylor]: Taking taylor expansion of 0 in V
0.365 * [taylor]: Taking taylor expansion of 0 in l
0.365 * [taylor]: Taking taylor expansion of 0 in l
0.365 * [taylor]: Taking taylor expansion of 0 in V
0.365 * [taylor]: Taking taylor expansion of 0 in l
0.365 * [taylor]: Taking taylor expansion of 0 in l
0.365 * [taylor]: Taking taylor expansion of 0 in l
0.365 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.365 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.365 * [taylor]: Taking taylor expansion of -1 in l
0.365 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.365 * [taylor]: Taking taylor expansion of (* V l) in l
0.365 * [taylor]: Taking taylor expansion of V in l
0.365 * [taylor]: Taking taylor expansion of l in l
0.365 * [taylor]: Taking taylor expansion of A in l
0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.366 * [taylor]: Taking taylor expansion of -1 in V
0.366 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.366 * [taylor]: Taking taylor expansion of (* V l) in V
0.366 * [taylor]: Taking taylor expansion of V in V
0.366 * [taylor]: Taking taylor expansion of l in V
0.366 * [taylor]: Taking taylor expansion of A in V
0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.366 * [taylor]: Taking taylor expansion of -1 in A
0.366 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.366 * [taylor]: Taking taylor expansion of (* V l) in A
0.366 * [taylor]: Taking taylor expansion of V in A
0.366 * [taylor]: Taking taylor expansion of l in A
0.366 * [taylor]: Taking taylor expansion of A in A
0.366 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.366 * [taylor]: Taking taylor expansion of -1 in A
0.366 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.366 * [taylor]: Taking taylor expansion of (* V l) in A
0.366 * [taylor]: Taking taylor expansion of V in A
0.366 * [taylor]: Taking taylor expansion of l in A
0.366 * [taylor]: Taking taylor expansion of A in A
0.366 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.366 * [taylor]: Taking taylor expansion of -1 in V
0.366 * [taylor]: Taking taylor expansion of (* V l) in V
0.366 * [taylor]: Taking taylor expansion of V in V
0.366 * [taylor]: Taking taylor expansion of l in V
0.366 * [taylor]: Taking taylor expansion of (neg l) in l
0.366 * [taylor]: Taking taylor expansion of l in l
0.366 * [taylor]: Taking taylor expansion of 0 in V
0.366 * [taylor]: Taking taylor expansion of 0 in l
0.366 * [taylor]: Taking taylor expansion of 0 in l
0.367 * [taylor]: Taking taylor expansion of 0 in V
0.367 * [taylor]: Taking taylor expansion of 0 in l
0.367 * [taylor]: Taking taylor expansion of 0 in l
0.367 * [taylor]: Taking taylor expansion of 0 in l
0.367 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
0.367 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.367 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.367 * [taylor]: Taking taylor expansion of A in l
0.367 * [taylor]: Taking taylor expansion of (* V l) in l
0.367 * [taylor]: Taking taylor expansion of V in l
0.367 * [taylor]: Taking taylor expansion of l in l
0.367 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.367 * [taylor]: Taking taylor expansion of A in V
0.367 * [taylor]: Taking taylor expansion of (* V l) in V
0.367 * [taylor]: Taking taylor expansion of V in V
0.367 * [taylor]: Taking taylor expansion of l in V
0.367 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.367 * [taylor]: Taking taylor expansion of A in A
0.367 * [taylor]: Taking taylor expansion of (* V l) in A
0.367 * [taylor]: Taking taylor expansion of V in A
0.367 * [taylor]: Taking taylor expansion of l in A
0.367 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.367 * [taylor]: Taking taylor expansion of A in A
0.367 * [taylor]: Taking taylor expansion of (* V l) in A
0.367 * [taylor]: Taking taylor expansion of V in A
0.367 * [taylor]: Taking taylor expansion of l in A
0.368 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.368 * [taylor]: Taking taylor expansion of (* V l) in V
0.368 * [taylor]: Taking taylor expansion of V in V
0.368 * [taylor]: Taking taylor expansion of l in V
0.368 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.368 * [taylor]: Taking taylor expansion of l in l
0.368 * [taylor]: Taking taylor expansion of 0 in V
0.368 * [taylor]: Taking taylor expansion of 0 in l
0.368 * [taylor]: Taking taylor expansion of 0 in V
0.368 * [taylor]: Taking taylor expansion of 0 in l
0.368 * [taylor]: Taking taylor expansion of 0 in l
0.368 * [taylor]: Taking taylor expansion of 0 in V
0.368 * [taylor]: Taking taylor expansion of 0 in l
0.369 * [taylor]: Taking taylor expansion of 0 in l
0.369 * [taylor]: Taking taylor expansion of 0 in l
0.369 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.369 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.369 * [taylor]: Taking taylor expansion of (* V l) in l
0.369 * [taylor]: Taking taylor expansion of V in l
0.369 * [taylor]: Taking taylor expansion of l in l
0.369 * [taylor]: Taking taylor expansion of A in l
0.369 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.369 * [taylor]: Taking taylor expansion of (* V l) in V
0.369 * [taylor]: Taking taylor expansion of V in V
0.369 * [taylor]: Taking taylor expansion of l in V
0.369 * [taylor]: Taking taylor expansion of A in V
0.369 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.369 * [taylor]: Taking taylor expansion of (* V l) in A
0.369 * [taylor]: Taking taylor expansion of V in A
0.369 * [taylor]: Taking taylor expansion of l in A
0.369 * [taylor]: Taking taylor expansion of A in A
0.369 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.369 * [taylor]: Taking taylor expansion of (* V l) in A
0.369 * [taylor]: Taking taylor expansion of V in A
0.369 * [taylor]: Taking taylor expansion of l in A
0.369 * [taylor]: Taking taylor expansion of A in A
0.369 * [taylor]: Taking taylor expansion of (* V l) in V
0.369 * [taylor]: Taking taylor expansion of V in V
0.369 * [taylor]: Taking taylor expansion of l in V
0.369 * [taylor]: Taking taylor expansion of l in l
0.370 * [taylor]: Taking taylor expansion of 0 in V
0.370 * [taylor]: Taking taylor expansion of 0 in l
0.370 * [taylor]: Taking taylor expansion of 0 in l
0.370 * [taylor]: Taking taylor expansion of 0 in V
0.370 * [taylor]: Taking taylor expansion of 0 in l
0.370 * [taylor]: Taking taylor expansion of 0 in l
0.370 * [taylor]: Taking taylor expansion of 0 in l
0.370 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.370 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.370 * [taylor]: Taking taylor expansion of -1 in l
0.370 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.370 * [taylor]: Taking taylor expansion of (* V l) in l
0.370 * [taylor]: Taking taylor expansion of V in l
0.370 * [taylor]: Taking taylor expansion of l in l
0.370 * [taylor]: Taking taylor expansion of A in l
0.370 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.370 * [taylor]: Taking taylor expansion of -1 in V
0.370 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.370 * [taylor]: Taking taylor expansion of (* V l) in V
0.370 * [taylor]: Taking taylor expansion of V in V
0.370 * [taylor]: Taking taylor expansion of l in V
0.370 * [taylor]: Taking taylor expansion of A in V
0.370 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.370 * [taylor]: Taking taylor expansion of -1 in A
0.370 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.370 * [taylor]: Taking taylor expansion of (* V l) in A
0.370 * [taylor]: Taking taylor expansion of V in A
0.370 * [taylor]: Taking taylor expansion of l in A
0.370 * [taylor]: Taking taylor expansion of A in A
0.371 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.371 * [taylor]: Taking taylor expansion of -1 in A
0.371 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.371 * [taylor]: Taking taylor expansion of (* V l) in A
0.371 * [taylor]: Taking taylor expansion of V in A
0.371 * [taylor]: Taking taylor expansion of l in A
0.371 * [taylor]: Taking taylor expansion of A in A
0.371 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.371 * [taylor]: Taking taylor expansion of -1 in V
0.371 * [taylor]: Taking taylor expansion of (* V l) in V
0.371 * [taylor]: Taking taylor expansion of V in V
0.371 * [taylor]: Taking taylor expansion of l in V
0.371 * [taylor]: Taking taylor expansion of (neg l) in l
0.371 * [taylor]: Taking taylor expansion of l in l
0.371 * [taylor]: Taking taylor expansion of 0 in V
0.371 * [taylor]: Taking taylor expansion of 0 in l
0.371 * [taylor]: Taking taylor expansion of 0 in l
0.371 * [taylor]: Taking taylor expansion of 0 in V
0.371 * [taylor]: Taking taylor expansion of 0 in l
0.371 * [taylor]: Taking taylor expansion of 0 in l
0.371 * [taylor]: Taking taylor expansion of 0 in l
0.372 * * * [progress]: simplifying candidates
0.373 * [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 (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)
  (- (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)
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
0.378 * * [simplify]: iteration  0 :  136  enodes  (cost  338 )
0.381 * * [simplify]: iteration  1 :  441  enodes  (cost  304 )
0.389 * * [simplify]: iteration  2 :  1804  enodes  (cost  304 )
0.416 * * [simplify]: iteration  3 :  5002  enodes  (cost  304 )
0.418 * [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))
  (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 (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))
  (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 (* 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)
  (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)
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
0.419 * * * [progress]: adding candidates to table
0.503 * * [progress]: iteration 3 / 4
0.503 * * * [progress]: picking best candidate
0.556 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))>
0.556 * * * [progress]: localizing error
0.566 * * * [progress]: generating rewritten candidates
0.567 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.574 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.589 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.594 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
0.601 * * * [progress]: generating series expansions
0.601 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.601 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.601 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.601 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.601 * [taylor]: Taking taylor expansion of A in l
0.601 * [taylor]: Taking taylor expansion of (* V l) in l
0.601 * [taylor]: Taking taylor expansion of V in l
0.601 * [taylor]: Taking taylor expansion of l in l
0.601 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.601 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.601 * [taylor]: Taking taylor expansion of A in V
0.601 * [taylor]: Taking taylor expansion of (* V l) in V
0.601 * [taylor]: Taking taylor expansion of V in V
0.601 * [taylor]: Taking taylor expansion of l in V
0.601 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.601 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.601 * [taylor]: Taking taylor expansion of A in A
0.601 * [taylor]: Taking taylor expansion of (* V l) in A
0.601 * [taylor]: Taking taylor expansion of V in A
0.601 * [taylor]: Taking taylor expansion of l in A
0.602 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.602 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.602 * [taylor]: Taking taylor expansion of A in A
0.602 * [taylor]: Taking taylor expansion of (* V l) in A
0.602 * [taylor]: Taking taylor expansion of V in A
0.602 * [taylor]: Taking taylor expansion of l in A
0.602 * [taylor]: Taking taylor expansion of 0 in V
0.602 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.602 * [taylor]: Taking taylor expansion of NAN in V
0.602 * [taylor]: Taking taylor expansion of (* V l) in V
0.602 * [taylor]: Taking taylor expansion of V in V
0.602 * [taylor]: Taking taylor expansion of l in V
0.602 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.602 * [taylor]: Taking taylor expansion of NAN in l
0.602 * [taylor]: Taking taylor expansion of l in l
0.602 * [taylor]: Taking taylor expansion of 0 in l
0.602 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.602 * [taylor]: Taking taylor expansion of NAN in V
0.602 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.602 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.602 * [taylor]: Taking taylor expansion of NAN in V
0.602 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.602 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.602 * [taylor]: Taking taylor expansion of V in V
0.602 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.602 * [taylor]: Taking taylor expansion of l in V
0.603 * [taylor]: Taking taylor expansion of 0 in l
0.603 * [taylor]: Taking taylor expansion of 0 in l
0.603 * [taylor]: Taking taylor expansion of 0 in l
0.604 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.604 * [taylor]: Taking taylor expansion of NAN in V
0.604 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.604 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.604 * [taylor]: Taking taylor expansion of NAN in V
0.604 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.604 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.604 * [taylor]: Taking taylor expansion of V in V
0.604 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.604 * [taylor]: Taking taylor expansion of l in V
0.605 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.606 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.606 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.606 * [taylor]: Taking taylor expansion of (* V l) in l
0.606 * [taylor]: Taking taylor expansion of V in l
0.607 * [taylor]: Taking taylor expansion of l in l
0.607 * [taylor]: Taking taylor expansion of A in l
0.607 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.607 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.607 * [taylor]: Taking taylor expansion of (* V l) in V
0.607 * [taylor]: Taking taylor expansion of V in V
0.607 * [taylor]: Taking taylor expansion of l in V
0.607 * [taylor]: Taking taylor expansion of A in V
0.607 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.607 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.607 * [taylor]: Taking taylor expansion of (* V l) in A
0.607 * [taylor]: Taking taylor expansion of V in A
0.607 * [taylor]: Taking taylor expansion of l in A
0.607 * [taylor]: Taking taylor expansion of A in A
0.607 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.607 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.607 * [taylor]: Taking taylor expansion of (* V l) in A
0.607 * [taylor]: Taking taylor expansion of V in A
0.607 * [taylor]: Taking taylor expansion of l in A
0.607 * [taylor]: Taking taylor expansion of A in A
0.607 * [taylor]: Taking taylor expansion of 0 in V
0.607 * [taylor]: Taking taylor expansion of 0 in l
0.607 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.607 * [taylor]: Taking taylor expansion of NAN in V
0.607 * [taylor]: Taking taylor expansion of (* V l) in V
0.607 * [taylor]: Taking taylor expansion of V in V
0.607 * [taylor]: Taking taylor expansion of l in V
0.607 * [taylor]: Taking taylor expansion of 0 in l
0.607 * [taylor]: Taking taylor expansion of 0 in l
0.608 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.608 * [taylor]: Taking taylor expansion of NAN in V
0.608 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.608 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.608 * [taylor]: Taking taylor expansion of V in V
0.608 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.608 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.608 * [taylor]: Taking taylor expansion of NAN in V
0.608 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.608 * [taylor]: Taking taylor expansion of l in V
0.608 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.608 * [taylor]: Taking taylor expansion of NAN in l
0.608 * [taylor]: Taking taylor expansion of l in l
0.608 * [taylor]: Taking taylor expansion of 0 in l
0.608 * [approximate]: Taking taylor expansion of (sqrt (/ (* V (* (pow (cbrt -1) 3) l)) A)) in (A V l) around 0
0.608 * [taylor]: Taking taylor expansion of (sqrt (/ (* V (* (pow (cbrt -1) 3) l)) A)) in l
0.608 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in l
0.608 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in l
0.608 * [taylor]: Taking taylor expansion of V in l
0.608 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in l
0.608 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l
0.609 * [taylor]: Taking taylor expansion of (cbrt -1) in l
0.609 * [taylor]: Taking taylor expansion of -1 in l
0.609 * [taylor]: Taking taylor expansion of l in l
0.609 * [taylor]: Taking taylor expansion of A in l
0.610 * [taylor]: Taking taylor expansion of (sqrt (/ (* V (* (pow (cbrt -1) 3) l)) A)) in V
0.610 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in V
0.610 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in V
0.610 * [taylor]: Taking taylor expansion of V in V
0.610 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in V
0.610 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in V
0.610 * [taylor]: Taking taylor expansion of (cbrt -1) in V
0.610 * [taylor]: Taking taylor expansion of -1 in V
0.610 * [taylor]: Taking taylor expansion of l in V
0.610 * [taylor]: Taking taylor expansion of A in V
0.611 * [taylor]: Taking taylor expansion of (sqrt (/ (* V (* (pow (cbrt -1) 3) l)) A)) in A
0.611 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in A
0.611 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in A
0.611 * [taylor]: Taking taylor expansion of V in A
0.611 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in A
0.611 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in A
0.611 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.611 * [taylor]: Taking taylor expansion of -1 in A
0.611 * [taylor]: Taking taylor expansion of l in A
0.611 * [taylor]: Taking taylor expansion of A in A
0.611 * [taylor]: Taking taylor expansion of (sqrt (/ (* V (* (pow (cbrt -1) 3) l)) A)) in A
0.611 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in A
0.611 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in A
0.611 * [taylor]: Taking taylor expansion of V in A
0.611 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in A
0.612 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in A
0.612 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.612 * [taylor]: Taking taylor expansion of -1 in A
0.612 * [taylor]: Taking taylor expansion of l in A
0.612 * [taylor]: Taking taylor expansion of A in A
0.612 * [taylor]: Taking taylor expansion of 0 in V
0.612 * [taylor]: Taking taylor expansion of 0 in l
0.612 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.612 * [taylor]: Taking taylor expansion of NAN in V
0.612 * [taylor]: Taking taylor expansion of (* V l) in V
0.612 * [taylor]: Taking taylor expansion of V in V
0.612 * [taylor]: Taking taylor expansion of l in V
0.612 * [taylor]: Taking taylor expansion of 0 in l
0.612 * [taylor]: Taking taylor expansion of 0 in l
0.613 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.613 * [taylor]: Taking taylor expansion of NAN in V
0.613 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.613 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.613 * [taylor]: Taking taylor expansion of V in V
0.613 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.613 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.613 * [taylor]: Taking taylor expansion of NAN in V
0.613 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.613 * [taylor]: Taking taylor expansion of l in V
0.613 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.613 * [taylor]: Taking taylor expansion of NAN in l
0.613 * [taylor]: Taking taylor expansion of l in l
0.613 * [taylor]: Taking taylor expansion of 0 in l
0.613 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.613 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.613 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.613 * [taylor]: Taking taylor expansion of A in l
0.613 * [taylor]: Taking taylor expansion of (* V l) in l
0.614 * [taylor]: Taking taylor expansion of V in l
0.614 * [taylor]: Taking taylor expansion of l in l
0.614 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.614 * [taylor]: Taking taylor expansion of A in V
0.614 * [taylor]: Taking taylor expansion of (* V l) in V
0.614 * [taylor]: Taking taylor expansion of V in V
0.614 * [taylor]: Taking taylor expansion of l in V
0.614 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.614 * [taylor]: Taking taylor expansion of A in A
0.614 * [taylor]: Taking taylor expansion of (* V l) in A
0.614 * [taylor]: Taking taylor expansion of V in A
0.614 * [taylor]: Taking taylor expansion of l in A
0.614 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.614 * [taylor]: Taking taylor expansion of A in A
0.614 * [taylor]: Taking taylor expansion of (* V l) in A
0.614 * [taylor]: Taking taylor expansion of V in A
0.614 * [taylor]: Taking taylor expansion of l in A
0.614 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.614 * [taylor]: Taking taylor expansion of (* V l) in V
0.614 * [taylor]: Taking taylor expansion of V in V
0.614 * [taylor]: Taking taylor expansion of l in V
0.614 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.614 * [taylor]: Taking taylor expansion of l in l
0.614 * [taylor]: Taking taylor expansion of 0 in V
0.614 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in V
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in V
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [taylor]: Taking taylor expansion of 0 in l
0.615 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.615 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.615 * [taylor]: Taking taylor expansion of (* V l) in l
0.615 * [taylor]: Taking taylor expansion of V in l
0.615 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of A in l
0.616 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.616 * [taylor]: Taking taylor expansion of (* V l) in V
0.616 * [taylor]: Taking taylor expansion of V in V
0.616 * [taylor]: Taking taylor expansion of l in V
0.616 * [taylor]: Taking taylor expansion of A in V
0.616 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.616 * [taylor]: Taking taylor expansion of (* V l) in A
0.616 * [taylor]: Taking taylor expansion of V in A
0.616 * [taylor]: Taking taylor expansion of l in A
0.616 * [taylor]: Taking taylor expansion of A in A
0.616 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.616 * [taylor]: Taking taylor expansion of (* V l) in A
0.616 * [taylor]: Taking taylor expansion of V in A
0.616 * [taylor]: Taking taylor expansion of l in A
0.616 * [taylor]: Taking taylor expansion of A in A
0.616 * [taylor]: Taking taylor expansion of (* V l) in V
0.616 * [taylor]: Taking taylor expansion of V in V
0.616 * [taylor]: Taking taylor expansion of l in V
0.616 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of 0 in V
0.616 * [taylor]: Taking taylor expansion of 0 in l
0.616 * [taylor]: Taking taylor expansion of 0 in l
0.619 * [taylor]: Taking taylor expansion of 0 in V
0.619 * [taylor]: Taking taylor expansion of 0 in l
0.619 * [taylor]: Taking taylor expansion of 0 in l
0.619 * [taylor]: Taking taylor expansion of 0 in l
0.620 * [approximate]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in (A V l) around 0
0.620 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in l
0.620 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in l
0.620 * [taylor]: Taking taylor expansion of V in l
0.620 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in l
0.620 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in l
0.620 * [taylor]: Taking taylor expansion of (cbrt -1) in l
0.620 * [taylor]: Taking taylor expansion of -1 in l
0.620 * [taylor]: Taking taylor expansion of l in l
0.620 * [taylor]: Taking taylor expansion of A in l
0.621 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in V
0.621 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in V
0.621 * [taylor]: Taking taylor expansion of V in V
0.621 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in V
0.621 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in V
0.621 * [taylor]: Taking taylor expansion of (cbrt -1) in V
0.621 * [taylor]: Taking taylor expansion of -1 in V
0.621 * [taylor]: Taking taylor expansion of l in V
0.621 * [taylor]: Taking taylor expansion of A in V
0.622 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in A
0.622 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in A
0.622 * [taylor]: Taking taylor expansion of V in A
0.622 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in A
0.622 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in A
0.622 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.622 * [taylor]: Taking taylor expansion of -1 in A
0.622 * [taylor]: Taking taylor expansion of l in A
0.622 * [taylor]: Taking taylor expansion of A in A
0.622 * [taylor]: Taking taylor expansion of (/ (* V (* (pow (cbrt -1) 3) l)) A) in A
0.622 * [taylor]: Taking taylor expansion of (* V (* (pow (cbrt -1) 3) l)) in A
0.622 * [taylor]: Taking taylor expansion of V in A
0.622 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) l) in A
0.622 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in A
0.622 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.622 * [taylor]: Taking taylor expansion of -1 in A
0.623 * [taylor]: Taking taylor expansion of l in A
0.623 * [taylor]: Taking taylor expansion of A in A
0.623 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.623 * [taylor]: Taking taylor expansion of -1 in V
0.623 * [taylor]: Taking taylor expansion of (* V l) in V
0.623 * [taylor]: Taking taylor expansion of V in V
0.623 * [taylor]: Taking taylor expansion of l in V
0.623 * [taylor]: Taking taylor expansion of (neg l) in l
0.623 * [taylor]: Taking taylor expansion of l in l
0.624 * [taylor]: Taking taylor expansion of 0 in V
0.624 * [taylor]: Taking taylor expansion of 0 in l
0.624 * [taylor]: Taking taylor expansion of 0 in l
0.625 * [taylor]: Taking taylor expansion of 0 in V
0.625 * [taylor]: Taking taylor expansion of 0 in l
0.625 * [taylor]: Taking taylor expansion of 0 in l
0.625 * [taylor]: Taking taylor expansion of 0 in l
0.625 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
0.625 * [approximate]: Taking taylor expansion of (pow (pow A 2) 1/3) in (A) around 0
0.625 * [taylor]: Taking taylor expansion of (pow (pow A 2) 1/3) in A
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow A 2)))) in A
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow A 2))) in A
0.625 * [taylor]: Taking taylor expansion of 1/3 in A
0.625 * [taylor]: Taking taylor expansion of (log (pow A 2)) in A
0.625 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.625 * [taylor]: Taking taylor expansion of A in A
0.625 * [taylor]: Taking taylor expansion of (pow (pow A 2) 1/3) in A
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow A 2)))) in A
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow A 2))) in A
0.625 * [taylor]: Taking taylor expansion of 1/3 in A
0.626 * [taylor]: Taking taylor expansion of (log (pow A 2)) in A
0.626 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.626 * [taylor]: Taking taylor expansion of A in A
0.632 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow A 2)) 1/3) in (A) around 0
0.632 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow A 2)) 1/3) in A
0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow A 2))))) in A
0.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow A 2)))) in A
0.632 * [taylor]: Taking taylor expansion of 1/3 in A
0.632 * [taylor]: Taking taylor expansion of (log (/ 1 (pow A 2))) in A
0.632 * [taylor]: Taking taylor expansion of (/ 1 (pow A 2)) in A
0.632 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.632 * [taylor]: Taking taylor expansion of A in A
0.633 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow A 2)) 1/3) in A
0.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow A 2))))) in A
0.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow A 2)))) in A
0.633 * [taylor]: Taking taylor expansion of 1/3 in A
0.633 * [taylor]: Taking taylor expansion of (log (/ 1 (pow A 2))) in A
0.633 * [taylor]: Taking taylor expansion of (/ 1 (pow A 2)) in A
0.633 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.633 * [taylor]: Taking taylor expansion of A in A
0.640 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow A 2)) 1/3)) in (A) around 0
0.640 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow A 2)) 1/3)) in A
0.640 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in A
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.640 * [taylor]: Taking taylor expansion of -1 in A
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow A 2)) 1/3) in A
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow A 2))))) in A
0.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow A 2)))) in A
0.640 * [taylor]: Taking taylor expansion of 1/3 in A
0.640 * [taylor]: Taking taylor expansion of (log (/ 1 (pow A 2))) in A
0.640 * [taylor]: Taking taylor expansion of (/ 1 (pow A 2)) in A
0.640 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.640 * [taylor]: Taking taylor expansion of A in A
0.640 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow A 2)) 1/3)) in A
0.640 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in A
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.641 * [taylor]: Taking taylor expansion of -1 in A
0.641 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow A 2)) 1/3) in A
0.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow A 2))))) in A
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow A 2)))) in A
0.641 * [taylor]: Taking taylor expansion of 1/3 in A
0.641 * [taylor]: Taking taylor expansion of (log (/ 1 (pow A 2))) in A
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow A 2)) in A
0.641 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.641 * [taylor]: Taking taylor expansion of A in A
0.651 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
0.651 * [approximate]: Taking taylor expansion of (pow A 1/3) in (A) around 0
0.651 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
0.651 * [taylor]: Taking taylor expansion of 1/3 in A
0.651 * [taylor]: Taking taylor expansion of (log A) in A
0.651 * [taylor]: Taking taylor expansion of A in A
0.651 * [taylor]: Taking taylor expansion of (pow A 1/3) in A
0.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log A))) in A
0.651 * [taylor]: Taking taylor expansion of (* 1/3 (log A)) in A
0.651 * [taylor]: Taking taylor expansion of 1/3 in A
0.651 * [taylor]: Taking taylor expansion of (log A) in A
0.651 * [taylor]: Taking taylor expansion of A in A
0.657 * [approximate]: Taking taylor expansion of (pow (/ 1 A) 1/3) in (A) around 0
0.657 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
0.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
0.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
0.657 * [taylor]: Taking taylor expansion of 1/3 in A
0.657 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
0.657 * [taylor]: Taking taylor expansion of (/ 1 A) in A
0.657 * [taylor]: Taking taylor expansion of A in A
0.658 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
0.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
0.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
0.658 * [taylor]: Taking taylor expansion of 1/3 in A
0.658 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
0.658 * [taylor]: Taking taylor expansion of (/ 1 A) in A
0.658 * [taylor]: Taking taylor expansion of A in A
0.664 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in (A) around 0
0.664 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
0.664 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.664 * [taylor]: Taking taylor expansion of -1 in A
0.664 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
0.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
0.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
0.664 * [taylor]: Taking taylor expansion of 1/3 in A
0.664 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
0.665 * [taylor]: Taking taylor expansion of (/ 1 A) in A
0.665 * [taylor]: Taking taylor expansion of A in A
0.665 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 A) 1/3)) in A
0.665 * [taylor]: Taking taylor expansion of (cbrt -1) in A
0.665 * [taylor]: Taking taylor expansion of -1 in A
0.665 * [taylor]: Taking taylor expansion of (pow (/ 1 A) 1/3) in A
0.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 A)))) in A
0.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 A))) in A
0.665 * [taylor]: Taking taylor expansion of 1/3 in A
0.665 * [taylor]: Taking taylor expansion of (log (/ 1 A)) in A
0.665 * [taylor]: Taking taylor expansion of (/ 1 A) in A
0.665 * [taylor]: Taking taylor expansion of A in A
0.673 * * * [progress]: simplifying candidates
0.675 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (exp (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (* (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))) (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))
  (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (* (* (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))) (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))) (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (* (* (cbrt A) (cbrt A)) (cbrt A)))
  (sqrt (* V l))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A)))
  (sqrt l)
  (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l)))
  (sqrt V)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (sqrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
  (+ (- (+ (log (cbrt A)) (log (cbrt A))) (log V)) (- (log (cbrt A)) (log l)))
  (+ (- (+ (log (cbrt A)) (log (cbrt A))) (log V)) (log (/ (cbrt A) l)))
  (+ (- (log (* (cbrt A) (cbrt A))) (log V)) (- (log (cbrt A)) (log l)))
  (+ (- (log (* (cbrt A) (cbrt A))) (log V)) (log (/ (cbrt A) l)))
  (+ (log (/ (* (cbrt A) (cbrt A)) V)) (- (log (cbrt A)) (log l)))
  (+ (log (/ (* (cbrt A) (cbrt A)) V)) (log (/ (cbrt A) l)))
  (log (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (exp (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (* (/ (* A A) (* (* V V) V)) (/ A (* (* l l) l)))
  (* (/ (* A A) (* (* V V) V)) (* (* (/ (cbrt A) l) (/ (cbrt A) l)) (/ (cbrt A) l)))
  (* (/ (* (* (* (cbrt A) (cbrt A)) (* (cbrt A) (cbrt A))) (* (cbrt A) (cbrt A))) (* (* V V) V)) (/ A (* (* l l) l)))
  (* (/ (* (* (* (cbrt A) (cbrt A)) (* (cbrt A) (cbrt A))) (* (cbrt A) (cbrt A))) (* (* V V) V)) (* (* (/ (cbrt A) l) (/ (cbrt A) l)) (/ (cbrt A) l)))
  (* (* (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt A) (cbrt A)) V)) (/ (* (cbrt A) (cbrt A)) V)) (/ A (* (* l l) l)))
  (* (* (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt A) (cbrt A)) V)) (/ (* (cbrt A) (cbrt A)) V)) (* (* (/ (cbrt A) l) (/ (cbrt A) l)) (/ (cbrt A) l)))
  (* (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))) (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (* (* (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)) (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))) (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (* (* (cbrt A) (cbrt A)) (cbrt A))
  (* V l)
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (sqrt (/ (cbrt A) l)))
  (* (/ (cbrt A) (sqrt V)) (sqrt (/ (cbrt A) l)))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (* (cbrt (/ (cbrt A) l)) (cbrt (/ (cbrt A) l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (sqrt (/ (cbrt A) l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (* (cbrt A) (cbrt A))) 1))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (sqrt A)) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (sqrt A)) 1))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt 1) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt 1) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt 1) 1))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) 1))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (sqrt (cbrt A)) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (sqrt (cbrt A)) 1))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ 1 (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ 1 (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ 1 1))
  (* (/ (* (cbrt A) (cbrt A)) V) 1)
  (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))
  (* (cbrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt A) l))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt A) l))
  (* (/ (cbrt A) (cbrt V)) (/ (cbrt A) l))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt A) l))
  (* (/ (cbrt A) V) (/ (cbrt A) l))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))
  (* (/ 1 V) (/ (cbrt A) l))
  (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))
  (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))
  (+ 1/3 1/3)
  (+ 1 1)
  (* A A)
  (* (cbrt A) (cbrt A))
  (+ 1 1)
  (+ (log (cbrt A)) (log (cbrt A)))
  (log (* (cbrt A) (cbrt A)))
  (exp (* (cbrt A) (cbrt A)))
  (* A A)
  (* (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt A) (cbrt A))))
  (cbrt (* (cbrt A) (cbrt A)))
  (* (* (* (cbrt A) (cbrt A)) (* (cbrt A) (cbrt A))) (* (cbrt A) (cbrt A)))
  (sqrt (* (cbrt A) (cbrt A)))
  (sqrt (* (cbrt A) (cbrt A)))
  (* (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt A) (cbrt A))))
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt A) (cbrt A))
  (* (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt (cbrt A)) (cbrt (cbrt A))))
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (* (sqrt (cbrt A)) (sqrt (cbrt A)))
  (* (sqrt (cbrt A)) (sqrt (cbrt A)))
  (* 1 1)
  (* (cbrt A) (cbrt A))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (* (sqrt (cbrt A)) (cbrt (sqrt A)))
  (* (sqrt (cbrt A)) (cbrt (sqrt A)))
  (* (sqrt (cbrt A)) (sqrt (cbrt A)))
  (* (sqrt (cbrt A)) (sqrt (cbrt A)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt A) (cbrt (* (cbrt A) (cbrt A))))
  (* (cbrt A) (cbrt (sqrt A)))
  (* (cbrt A) (cbrt 1))
  (* (cbrt A) (* (cbrt (cbrt A)) (cbrt (cbrt A))))
  (* (cbrt A) (sqrt (cbrt A)))
  (* (cbrt A) 1)
  (* (cbrt (cbrt A)) (cbrt A))
  (* (cbrt (sqrt A)) (cbrt A))
  (* (cbrt A) (cbrt A))
  (* (cbrt (cbrt A)) (cbrt A))
  (* (sqrt (cbrt A)) (cbrt A))
  (* (cbrt A) (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))
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (exp (* 1/3 (+ (log 1) (* 2 (log A)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 A))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (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))))))
0.681 * * [simplify]: iteration  0 :  542  enodes  (cost  967 )
0.692 * * [simplify]: iteration  1 :  2689  enodes  (cost  860 )
0.740 * * [simplify]: iteration  2 :  5001  enodes  (cost  763 )
0.744 * [simplify]: Simplified to:
   (log (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (exp (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (* (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))) (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))
  (cbrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (pow (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))) 3)
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt A)
  (sqrt (* V l))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A)))
  (sqrt l)
  (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l)))
  (sqrt V)
  1/2
  1/2
  (sqrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (sqrt (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (/ A (* V l))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (log (/ (pow (cbrt A) 3) (* V l)))
  (exp (/ (pow (cbrt A) 3) (* V l)))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (* (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))) (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l))))
  (cbrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (/ (pow (pow (cbrt A) 3) 3) (pow (* V l) 3))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))
  A
  (* V l)
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (sqrt (/ (cbrt A) l)))
  (* (/ (cbrt A) (sqrt V)) (sqrt (/ (cbrt A) l)))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt (sqrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (cbrt A) (sqrt V)) (/ (sqrt (cbrt A)) (sqrt l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (* (cbrt (/ (cbrt A) l)) (cbrt (/ (cbrt A) l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (sqrt (/ (cbrt A) l)))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (* (cbrt A) (cbrt A))) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (* (cbrt A) (cbrt A))) (sqrt l)))
  (/ (* (* (cbrt A) (cbrt A)) (cbrt (* (cbrt A) (cbrt A)))) V)
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (sqrt A)) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt (sqrt A)) (sqrt l)))
  (/ (* (* (cbrt A) (cbrt A)) (cbrt (sqrt A))) V)
  (/ (/ (* (cbrt A) (cbrt A)) V) (* (cbrt l) (cbrt l)))
  (/ (/ (* (cbrt A) (cbrt A)) V) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) V)
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (* (cbrt l) (cbrt l))))
  (* (/ (* (cbrt A) (cbrt A)) V) (/ (* (cbrt (cbrt A)) (cbrt (cbrt A))) (sqrt l)))
  (/ (* (* (cbrt A) (cbrt A)) (* (cbrt (cbrt A)) (cbrt (cbrt A)))) V)
  (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V))
  (* (/ (cbrt A) (sqrt l)) (/ (pow (sqrt (cbrt A)) 3) V))
  (* (cbrt A) (/ (pow (sqrt (cbrt A)) 3) V))
  (/ (/ (* (cbrt A) (cbrt A)) V) (* (cbrt l) (cbrt l)))
  (/ (/ (* (cbrt A) (cbrt A)) V) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) V)
  (/ (* (cbrt A) (cbrt A)) V)
  (/ A V)
  (* (cbrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt A) l))
  (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (/ (cbrt A) l))
  (* (/ (cbrt A) (cbrt V)) (/ (cbrt A) l))
  (* (/ (cbrt A) (sqrt V)) (/ (cbrt A) l))
  (* (/ (cbrt A) V) (/ (cbrt A) l))
  (/ A (* V l))
  (* (/ 1 V) (/ (cbrt A) l))
  (/ A V)
  (/ A l)
  2/3
  2
  (* A A)
  (* (cbrt A) (cbrt A))
  2
  (* 2 (log (cbrt A)))
  (* 2 (log (cbrt A)))
  (exp (* (cbrt A) (cbrt A)))
  (* A A)
  (* (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt A) (cbrt A))))
  (cbrt (* (cbrt A) (cbrt A)))
  (* A A)
  (fabs (cbrt A))
  (fabs (cbrt A))
  (* (cbrt (* (cbrt A) (cbrt A))) (cbrt (* (cbrt A) (cbrt A))))
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  1
  (* (cbrt A) (cbrt A))
  (pow (cbrt (cbrt A)) 4)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt A)
  (cbrt A)
  1
  (* (cbrt A) (cbrt A))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (cbrt (sqrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (* (cbrt (sqrt A)) (sqrt (cbrt A)))
  (cbrt A)
  (cbrt A)
  2/3
  2
  (* (cbrt A) (cbrt (* (cbrt A) (cbrt A))))
  (* (cbrt A) (cbrt (sqrt A)))
  (cbrt A)
  (* (cbrt A) (* (cbrt (cbrt A)) (cbrt (cbrt A))))
  (pow (sqrt (cbrt A)) 3)
  (cbrt A)
  (pow (cbrt (cbrt A)) 4)
  (* (cbrt A) (cbrt (sqrt A)))
  (* (cbrt A) (cbrt A))
  (pow (cbrt (cbrt A)) 4)
  (pow (sqrt (cbrt A)) 3)
  (* (cbrt A) (cbrt A))
  (log (cbrt A))
  (exp (cbrt A))
  (cbrt (* (cbrt A) (cbrt A)))
  (cbrt (cbrt A))
  (cbrt (sqrt A))
  (cbrt (sqrt A))
  1
  (cbrt A)
  (* (cbrt (cbrt A)) (cbrt (cbrt A)))
  (cbrt (cbrt A))
  A
  (sqrt (cbrt A))
  (sqrt (cbrt A))
  (/ (* A NAN) (* V l))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (* (pow A 2/3) (pow 1 1/3))
  (* (pow A 2/3) (pow 1 1/3))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 A)))))))
  (* (pow A 1/3) (pow 1 1/3))
  (* (pow A 1/3) (pow 1 1/3))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 A))))))
0.745 * * * [progress]: adding candidates to table
0.864 * * [progress]: iteration 4 / 4
0.864 * * * [progress]: picking best candidate
0.922 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))>
0.922 * * * [progress]: localizing error
0.930 * * * [progress]: generating rewritten candidates
0.930 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.935 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.948 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.960 * * * [progress]: generating series expansions
0.960 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.961 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (V A l) around 0
0.961 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.961 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.961 * [taylor]: Taking taylor expansion of A in l
0.961 * [taylor]: Taking taylor expansion of (* V l) in l
0.961 * [taylor]: Taking taylor expansion of V in l
0.961 * [taylor]: Taking taylor expansion of l in l
0.961 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.961 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.961 * [taylor]: Taking taylor expansion of A in A
0.961 * [taylor]: Taking taylor expansion of (* V l) in A
0.961 * [taylor]: Taking taylor expansion of V in A
0.961 * [taylor]: Taking taylor expansion of l in A
0.961 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.961 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.961 * [taylor]: Taking taylor expansion of A in V
0.961 * [taylor]: Taking taylor expansion of (* V l) in V
0.961 * [taylor]: Taking taylor expansion of V in V
0.961 * [taylor]: Taking taylor expansion of l in V
0.961 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.961 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.961 * [taylor]: Taking taylor expansion of A in V
0.961 * [taylor]: Taking taylor expansion of (* V l) in V
0.961 * [taylor]: Taking taylor expansion of V in V
0.961 * [taylor]: Taking taylor expansion of l in V
0.961 * [taylor]: Taking taylor expansion of 0 in A
0.961 * [taylor]: Taking taylor expansion of 0 in l
0.961 * [taylor]: Taking taylor expansion of (* NAN (/ A l)) in A
0.961 * [taylor]: Taking taylor expansion of NAN in A
0.961 * [taylor]: Taking taylor expansion of (/ A l) in A
0.961 * [taylor]: Taking taylor expansion of A in A
0.962 * [taylor]: Taking taylor expansion of l in A
0.962 * [taylor]: Taking taylor expansion of 0 in l
0.962 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow A 2) (pow NAN 2)) (pow l 2))) in A
0.962 * [taylor]: Taking taylor expansion of NAN in A
0.962 * [taylor]: Taking taylor expansion of (/ (* (pow A 2) (pow NAN 2)) (pow l 2)) in A
0.962 * [taylor]: Taking taylor expansion of (* (pow A 2) (pow NAN 2)) in A
0.962 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.962 * [taylor]: Taking taylor expansion of A in A
0.962 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.962 * [taylor]: Taking taylor expansion of NAN in A
0.962 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.962 * [taylor]: Taking taylor expansion of l in A
0.962 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.962 * [taylor]: Taking taylor expansion of NAN in l
0.962 * [taylor]: Taking taylor expansion of l in l
0.962 * [taylor]: Taking taylor expansion of 0 in l
0.963 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow A 3)) (pow l 3))) in A
0.963 * [taylor]: Taking taylor expansion of NAN in A
0.963 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow A 3)) (pow l 3)) in A
0.963 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow A 3)) in A
0.963 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.963 * [taylor]: Taking taylor expansion of NAN in A
0.963 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.963 * [taylor]: Taking taylor expansion of A in A
0.963 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.963 * [taylor]: Taking taylor expansion of l in A
0.963 * [taylor]: Taking taylor expansion of 0 in l
0.963 * [taylor]: Taking taylor expansion of 0 in l
0.964 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (V A l) around 0
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.964 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.964 * [taylor]: Taking taylor expansion of (* V l) in l
0.964 * [taylor]: Taking taylor expansion of V in l
0.964 * [taylor]: Taking taylor expansion of l in l
0.964 * [taylor]: Taking taylor expansion of A in l
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.964 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.964 * [taylor]: Taking taylor expansion of (* V l) in A
0.964 * [taylor]: Taking taylor expansion of V in A
0.964 * [taylor]: Taking taylor expansion of l in A
0.964 * [taylor]: Taking taylor expansion of A in A
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.964 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.964 * [taylor]: Taking taylor expansion of (* V l) in V
0.964 * [taylor]: Taking taylor expansion of V in V
0.964 * [taylor]: Taking taylor expansion of l in V
0.964 * [taylor]: Taking taylor expansion of A in V
0.964 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.964 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.964 * [taylor]: Taking taylor expansion of (* V l) in V
0.964 * [taylor]: Taking taylor expansion of V in V
0.964 * [taylor]: Taking taylor expansion of l in V
0.964 * [taylor]: Taking taylor expansion of A in V
0.964 * [taylor]: Taking taylor expansion of 0 in A
0.964 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.964 * [taylor]: Taking taylor expansion of NAN in A
0.964 * [taylor]: Taking taylor expansion of (/ l A) in A
0.965 * [taylor]: Taking taylor expansion of l in A
0.965 * [taylor]: Taking taylor expansion of A in A
0.965 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.965 * [taylor]: Taking taylor expansion of NAN in l
0.965 * [taylor]: Taking taylor expansion of l in l
0.965 * [taylor]: Taking taylor expansion of 0 in l
0.965 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.965 * [taylor]: Taking taylor expansion of NAN in A
0.965 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.965 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.965 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.965 * [taylor]: Taking taylor expansion of NAN in A
0.965 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.965 * [taylor]: Taking taylor expansion of l in A
0.965 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.965 * [taylor]: Taking taylor expansion of A in A
0.966 * [taylor]: Taking taylor expansion of 0 in l
0.966 * [taylor]: Taking taylor expansion of 0 in l
0.966 * [taylor]: Taking taylor expansion of 0 in l
0.966 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow l 3)) (pow A 3))) in A
0.966 * [taylor]: Taking taylor expansion of NAN in A
0.966 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow l 3)) (pow A 3)) in A
0.966 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 3)) in A
0.966 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.966 * [taylor]: Taking taylor expansion of NAN in A
0.966 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.966 * [taylor]: Taking taylor expansion of l in A
0.966 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.966 * [taylor]: Taking taylor expansion of A in A
0.968 * [taylor]: Taking taylor expansion of 0 in l
0.968 * [taylor]: Taking taylor expansion of 0 in l
0.968 * [taylor]: Taking taylor expansion of 0 in l
0.968 * [taylor]: Taking taylor expansion of 0 in l
0.969 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (V A l) around 0
0.969 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.969 * [taylor]: Taking taylor expansion of -1 in l
0.969 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.969 * [taylor]: Taking taylor expansion of (* V l) in l
0.969 * [taylor]: Taking taylor expansion of V in l
0.969 * [taylor]: Taking taylor expansion of l in l
0.969 * [taylor]: Taking taylor expansion of A in l
0.969 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.969 * [taylor]: Taking taylor expansion of -1 in A
0.969 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.969 * [taylor]: Taking taylor expansion of (* V l) in A
0.969 * [taylor]: Taking taylor expansion of V in A
0.969 * [taylor]: Taking taylor expansion of l in A
0.969 * [taylor]: Taking taylor expansion of A in A
0.969 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.969 * [taylor]: Taking taylor expansion of -1 in V
0.969 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.969 * [taylor]: Taking taylor expansion of (* V l) in V
0.969 * [taylor]: Taking taylor expansion of V in V
0.969 * [taylor]: Taking taylor expansion of l in V
0.969 * [taylor]: Taking taylor expansion of A in V
0.969 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.969 * [taylor]: Taking taylor expansion of -1 in V
0.969 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.969 * [taylor]: Taking taylor expansion of (* V l) in V
0.969 * [taylor]: Taking taylor expansion of V in V
0.969 * [taylor]: Taking taylor expansion of l in V
0.969 * [taylor]: Taking taylor expansion of A in V
0.970 * [taylor]: Taking taylor expansion of 0 in A
0.970 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.970 * [taylor]: Taking taylor expansion of NAN in A
0.970 * [taylor]: Taking taylor expansion of (/ l A) in A
0.970 * [taylor]: Taking taylor expansion of l in A
0.970 * [taylor]: Taking taylor expansion of A in A
0.970 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.970 * [taylor]: Taking taylor expansion of NAN in l
0.970 * [taylor]: Taking taylor expansion of l in l
0.970 * [taylor]: Taking taylor expansion of 0 in l
0.970 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.970 * [taylor]: Taking taylor expansion of NAN in A
0.970 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.970 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.970 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.970 * [taylor]: Taking taylor expansion of NAN in A
0.970 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.970 * [taylor]: Taking taylor expansion of l in A
0.970 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.970 * [taylor]: Taking taylor expansion of A in A
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.971 * [taylor]: Taking taylor expansion of 0 in l
0.972 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow l 3)) (pow A 3))) in A
0.972 * [taylor]: Taking taylor expansion of NAN in A
0.972 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow l 3)) (pow A 3)) in A
0.972 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 3)) in A
0.972 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.972 * [taylor]: Taking taylor expansion of NAN in A
0.972 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.972 * [taylor]: Taking taylor expansion of l in A
0.972 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.972 * [taylor]: Taking taylor expansion of A in A
0.973 * [taylor]: Taking taylor expansion of 0 in l
0.974 * [taylor]: Taking taylor expansion of 0 in l
0.974 * [taylor]: Taking taylor expansion of 0 in l
0.974 * [taylor]: Taking taylor expansion of 0 in l
0.974 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.974 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (V A l) around 0
0.974 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.974 * [taylor]: Taking taylor expansion of A in l
0.974 * [taylor]: Taking taylor expansion of (* V l) in l
0.974 * [taylor]: Taking taylor expansion of V in l
0.974 * [taylor]: Taking taylor expansion of l in l
0.974 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.974 * [taylor]: Taking taylor expansion of A in A
0.974 * [taylor]: Taking taylor expansion of (* V l) in A
0.974 * [taylor]: Taking taylor expansion of V in A
0.974 * [taylor]: Taking taylor expansion of l in A
0.974 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.974 * [taylor]: Taking taylor expansion of A in V
0.974 * [taylor]: Taking taylor expansion of (* V l) in V
0.974 * [taylor]: Taking taylor expansion of V in V
0.974 * [taylor]: Taking taylor expansion of l in V
0.974 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.974 * [taylor]: Taking taylor expansion of A in V
0.974 * [taylor]: Taking taylor expansion of (* V l) in V
0.974 * [taylor]: Taking taylor expansion of V in V
0.974 * [taylor]: Taking taylor expansion of l in V
0.974 * [taylor]: Taking taylor expansion of (/ A l) in A
0.974 * [taylor]: Taking taylor expansion of A in A
0.974 * [taylor]: Taking taylor expansion of l in A
0.975 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.975 * [taylor]: Taking taylor expansion of l in l
0.975 * [taylor]: Taking taylor expansion of 0 in A
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in A
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in A
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.975 * [taylor]: Taking taylor expansion of 0 in l
0.976 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (V A l) around 0
0.976 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.976 * [taylor]: Taking taylor expansion of (* V l) in l
0.976 * [taylor]: Taking taylor expansion of V in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of A in l
0.976 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.976 * [taylor]: Taking taylor expansion of (* V l) in A
0.976 * [taylor]: Taking taylor expansion of V in A
0.976 * [taylor]: Taking taylor expansion of l in A
0.976 * [taylor]: Taking taylor expansion of A in A
0.976 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.976 * [taylor]: Taking taylor expansion of (* V l) in V
0.976 * [taylor]: Taking taylor expansion of V in V
0.976 * [taylor]: Taking taylor expansion of l in V
0.976 * [taylor]: Taking taylor expansion of A in V
0.976 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.976 * [taylor]: Taking taylor expansion of (* V l) in V
0.976 * [taylor]: Taking taylor expansion of V in V
0.976 * [taylor]: Taking taylor expansion of l in V
0.976 * [taylor]: Taking taylor expansion of A in V
0.976 * [taylor]: Taking taylor expansion of (/ l A) in A
0.976 * [taylor]: Taking taylor expansion of l in A
0.976 * [taylor]: Taking taylor expansion of A in A
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of 0 in A
0.976 * [taylor]: Taking taylor expansion of 0 in l
0.977 * [taylor]: Taking taylor expansion of 0 in A
0.977 * [taylor]: Taking taylor expansion of 0 in l
0.977 * [taylor]: Taking taylor expansion of 0 in l
0.977 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (V A l) around 0
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.977 * [taylor]: Taking taylor expansion of -1 in l
0.977 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.977 * [taylor]: Taking taylor expansion of (* V l) in l
0.977 * [taylor]: Taking taylor expansion of V in l
0.977 * [taylor]: Taking taylor expansion of l in l
0.977 * [taylor]: Taking taylor expansion of A in l
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.977 * [taylor]: Taking taylor expansion of -1 in A
0.977 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.977 * [taylor]: Taking taylor expansion of (* V l) in A
0.977 * [taylor]: Taking taylor expansion of V in A
0.977 * [taylor]: Taking taylor expansion of l in A
0.977 * [taylor]: Taking taylor expansion of A in A
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.977 * [taylor]: Taking taylor expansion of -1 in V
0.977 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.977 * [taylor]: Taking taylor expansion of (* V l) in V
0.977 * [taylor]: Taking taylor expansion of V in V
0.977 * [taylor]: Taking taylor expansion of l in V
0.977 * [taylor]: Taking taylor expansion of A in V
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.977 * [taylor]: Taking taylor expansion of -1 in V
0.977 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.977 * [taylor]: Taking taylor expansion of (* V l) in V
0.977 * [taylor]: Taking taylor expansion of V in V
0.977 * [taylor]: Taking taylor expansion of l in V
0.977 * [taylor]: Taking taylor expansion of A in V
0.978 * [taylor]: Taking taylor expansion of (* -1 (/ l A)) in A
0.978 * [taylor]: Taking taylor expansion of -1 in A
0.978 * [taylor]: Taking taylor expansion of (/ l A) in A
0.978 * [taylor]: Taking taylor expansion of l in A
0.978 * [taylor]: Taking taylor expansion of A in A
0.978 * [taylor]: Taking taylor expansion of (* -1 l) in l
0.978 * [taylor]: Taking taylor expansion of -1 in l
0.978 * [taylor]: Taking taylor expansion of l in l
0.978 * [taylor]: Taking taylor expansion of 0 in A
0.978 * [taylor]: Taking taylor expansion of 0 in l
0.978 * [taylor]: Taking taylor expansion of 0 in A
0.978 * [taylor]: Taking taylor expansion of 0 in l
0.978 * [taylor]: Taking taylor expansion of 0 in l
0.979 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.979 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 V A l) around 0
0.979 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.979 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.979 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.979 * [taylor]: Taking taylor expansion of A in l
0.979 * [taylor]: Taking taylor expansion of (* V l) in l
0.979 * [taylor]: Taking taylor expansion of V in l
0.979 * [taylor]: Taking taylor expansion of l in l
0.979 * [taylor]: Taking taylor expansion of c0 in l
0.979 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.979 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.979 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.979 * [taylor]: Taking taylor expansion of A in A
0.979 * [taylor]: Taking taylor expansion of (* V l) in A
0.979 * [taylor]: Taking taylor expansion of V in A
0.979 * [taylor]: Taking taylor expansion of l in A
0.979 * [taylor]: Taking taylor expansion of c0 in A
0.979 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.979 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.979 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.979 * [taylor]: Taking taylor expansion of A in V
0.979 * [taylor]: Taking taylor expansion of (* V l) in V
0.979 * [taylor]: Taking taylor expansion of V in V
0.979 * [taylor]: Taking taylor expansion of l in V
0.979 * [taylor]: Taking taylor expansion of c0 in V
0.979 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.979 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.979 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.979 * [taylor]: Taking taylor expansion of A in c0
0.979 * [taylor]: Taking taylor expansion of (* V l) in c0
0.979 * [taylor]: Taking taylor expansion of V in c0
0.979 * [taylor]: Taking taylor expansion of l in c0
0.980 * [taylor]: Taking taylor expansion of c0 in c0
0.980 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.980 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.980 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.980 * [taylor]: Taking taylor expansion of A in c0
0.980 * [taylor]: Taking taylor expansion of (* V l) in c0
0.980 * [taylor]: Taking taylor expansion of V in c0
0.980 * [taylor]: Taking taylor expansion of l in c0
0.980 * [taylor]: Taking taylor expansion of c0 in c0
0.980 * [taylor]: Taking taylor expansion of 0 in V
0.980 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.980 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.980 * [taylor]: Taking taylor expansion of A in V
0.980 * [taylor]: Taking taylor expansion of (* V l) in V
0.980 * [taylor]: Taking taylor expansion of V in V
0.980 * [taylor]: Taking taylor expansion of l in V
0.980 * [taylor]: Taking taylor expansion of 0 in A
0.980 * [taylor]: Taking taylor expansion of 0 in l
0.980 * [taylor]: Taking taylor expansion of 0 in A
0.980 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in V
0.981 * [taylor]: Taking taylor expansion of (* NAN (/ A l)) in A
0.981 * [taylor]: Taking taylor expansion of NAN in A
0.981 * [taylor]: Taking taylor expansion of (/ A l) in A
0.981 * [taylor]: Taking taylor expansion of A in A
0.981 * [taylor]: Taking taylor expansion of l in A
0.981 * [taylor]: Taking taylor expansion of 0 in A
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.981 * [taylor]: Taking taylor expansion of 0 in V
0.981 * [taylor]: Taking taylor expansion of 0 in A
0.981 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow A 2) (pow NAN 2)) (pow l 2))) in A
0.982 * [taylor]: Taking taylor expansion of NAN in A
0.982 * [taylor]: Taking taylor expansion of (/ (* (pow A 2) (pow NAN 2)) (pow l 2)) in A
0.982 * [taylor]: Taking taylor expansion of (* (pow A 2) (pow NAN 2)) in A
0.982 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.982 * [taylor]: Taking taylor expansion of A in A
0.982 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.982 * [taylor]: Taking taylor expansion of NAN in A
0.982 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.982 * [taylor]: Taking taylor expansion of l in A
0.982 * [taylor]: Taking taylor expansion of 0 in A
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of (/ NAN l) in l
0.982 * [taylor]: Taking taylor expansion of NAN in l
0.982 * [taylor]: Taking taylor expansion of l in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.982 * [taylor]: Taking taylor expansion of 0 in l
0.983 * [taylor]: Taking taylor expansion of 0 in V
0.983 * [taylor]: Taking taylor expansion of 0 in A
0.983 * [taylor]: Taking taylor expansion of 0 in l
0.983 * [taylor]: Taking taylor expansion of 0 in A
0.983 * [taylor]: Taking taylor expansion of 0 in l
0.983 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 4) (pow A 3)) (pow l 3))) in A
0.983 * [taylor]: Taking taylor expansion of NAN in A
0.983 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 4) (pow A 3)) (pow l 3)) in A
0.983 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow A 3)) in A
0.984 * [taylor]: Taking taylor expansion of (pow NAN 4) in A
0.984 * [taylor]: Taking taylor expansion of NAN in A
0.984 * [taylor]: Taking taylor expansion of (pow A 3) in A
0.984 * [taylor]: Taking taylor expansion of A in A
0.984 * [taylor]: Taking taylor expansion of (pow l 3) in A
0.984 * [taylor]: Taking taylor expansion of l in A
0.984 * [taylor]: Taking taylor expansion of 0 in A
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [taylor]: Taking taylor expansion of 0 in l
0.984 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 V A l) around 0
0.984 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.984 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.984 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.984 * [taylor]: Taking taylor expansion of (* V l) in l
0.984 * [taylor]: Taking taylor expansion of V in l
0.985 * [taylor]: Taking taylor expansion of l in l
0.985 * [taylor]: Taking taylor expansion of A in l
0.985 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.985 * [taylor]: Taking taylor expansion of c0 in l
0.985 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.985 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.985 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.985 * [taylor]: Taking taylor expansion of (* V l) in A
0.985 * [taylor]: Taking taylor expansion of V in A
0.985 * [taylor]: Taking taylor expansion of l in A
0.985 * [taylor]: Taking taylor expansion of A in A
0.985 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.985 * [taylor]: Taking taylor expansion of c0 in A
0.985 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.985 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.985 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.985 * [taylor]: Taking taylor expansion of (* V l) in V
0.985 * [taylor]: Taking taylor expansion of V in V
0.985 * [taylor]: Taking taylor expansion of l in V
0.985 * [taylor]: Taking taylor expansion of A in V
0.985 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.985 * [taylor]: Taking taylor expansion of c0 in V
0.985 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.985 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.985 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.985 * [taylor]: Taking taylor expansion of (* V l) in c0
0.985 * [taylor]: Taking taylor expansion of V in c0
0.985 * [taylor]: Taking taylor expansion of l in c0
0.985 * [taylor]: Taking taylor expansion of A in c0
0.985 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.985 * [taylor]: Taking taylor expansion of c0 in c0
0.986 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.986 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.986 * [taylor]: Taking taylor expansion of (* V l) in c0
0.986 * [taylor]: Taking taylor expansion of V in c0
0.986 * [taylor]: Taking taylor expansion of l in c0
0.986 * [taylor]: Taking taylor expansion of A in c0
0.986 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.986 * [taylor]: Taking taylor expansion of c0 in c0
0.986 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.986 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.986 * [taylor]: Taking taylor expansion of (* V l) in V
0.986 * [taylor]: Taking taylor expansion of V in V
0.986 * [taylor]: Taking taylor expansion of l in V
0.986 * [taylor]: Taking taylor expansion of A in V
0.986 * [taylor]: Taking taylor expansion of 0 in A
0.986 * [taylor]: Taking taylor expansion of 0 in V
0.986 * [taylor]: Taking taylor expansion of 0 in A
0.986 * [taylor]: Taking taylor expansion of (* NAN (/ l A)) in A
0.986 * [taylor]: Taking taylor expansion of NAN in A
0.986 * [taylor]: Taking taylor expansion of (/ l A) in A
0.986 * [taylor]: Taking taylor expansion of l in A
0.986 * [taylor]: Taking taylor expansion of A in A
0.986 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.986 * [taylor]: Taking taylor expansion of NAN in l
0.986 * [taylor]: Taking taylor expansion of l in l
0.986 * [taylor]: Taking taylor expansion of 0 in l
0.987 * [taylor]: Taking taylor expansion of 0 in V
0.987 * [taylor]: Taking taylor expansion of 0 in A
0.987 * [taylor]: Taking taylor expansion of 0 in A
0.987 * [taylor]: Taking taylor expansion of (* NAN (/ (* (pow NAN 2) (pow l 2)) (pow A 2))) in A
0.987 * [taylor]: Taking taylor expansion of NAN in A
0.987 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 2) (pow l 2)) (pow A 2)) in A
0.987 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in A
0.987 * [taylor]: Taking taylor expansion of (pow NAN 2) in A
0.987 * [taylor]: Taking taylor expansion of NAN in A
0.987 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.987 * [taylor]: Taking taylor expansion of l in A
0.987 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.987 * [taylor]: Taking taylor expansion of A in A
0.988 * [taylor]: Taking taylor expansion of 0 in l
0.988 * [taylor]: Taking taylor expansion of 0 in l
0.988 * [taylor]: Taking taylor expansion of 0 in l
0.988 * [taylor]: Taking taylor expansion of 0 in l
0.988 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 V A l) around 0
0.988 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.988 * [taylor]: Taking taylor expansion of -1 in l
0.988 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.988 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.988 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.988 * [taylor]: Taking taylor expansion of -1 in l
0.988 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.988 * [taylor]: Taking taylor expansion of (* V l) in l
0.988 * [taylor]: Taking taylor expansion of V in l
0.988 * [taylor]: Taking taylor expansion of l in l
0.988 * [taylor]: Taking taylor expansion of A in l
0.989 * [taylor]: Taking taylor expansion of c0 in l
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.989 * [taylor]: Taking taylor expansion of -1 in A
0.989 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.989 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.989 * [taylor]: Taking taylor expansion of -1 in A
0.989 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.989 * [taylor]: Taking taylor expansion of (* V l) in A
0.989 * [taylor]: Taking taylor expansion of V in A
0.989 * [taylor]: Taking taylor expansion of l in A
0.989 * [taylor]: Taking taylor expansion of A in A
0.989 * [taylor]: Taking taylor expansion of c0 in A
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.989 * [taylor]: Taking taylor expansion of -1 in V
0.989 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.989 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.989 * [taylor]: Taking taylor expansion of -1 in V
0.989 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.989 * [taylor]: Taking taylor expansion of (* V l) in V
0.989 * [taylor]: Taking taylor expansion of V in V
0.989 * [taylor]: Taking taylor expansion of l in V
0.989 * [taylor]: Taking taylor expansion of A in V
0.989 * [taylor]: Taking taylor expansion of c0 in V
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.989 * [taylor]: Taking taylor expansion of -1 in c0
0.989 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.989 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.989 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.989 * [taylor]: Taking taylor expansion of -1 in c0
0.989 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.989 * [taylor]: Taking taylor expansion of (* V l) in c0
0.989 * [taylor]: Taking taylor expansion of V in c0
0.989 * [taylor]: Taking taylor expansion of l in c0
0.989 * [taylor]: Taking taylor expansion of A in c0
0.990 * [taylor]: Taking taylor expansion of c0 in c0
0.990 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.990 * [taylor]: Taking taylor expansion of -1 in c0
0.990 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.990 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.990 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.990 * [taylor]: Taking taylor expansion of -1 in c0
0.990 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.990 * [taylor]: Taking taylor expansion of (* V l) in c0
0.990 * [taylor]: Taking taylor expansion of V in c0
0.990 * [taylor]: Taking taylor expansion of l in c0
0.990 * [taylor]: Taking taylor expansion of A in c0
0.990 * [taylor]: Taking taylor expansion of c0 in c0
0.991 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in V
0.991 * [taylor]: Taking taylor expansion of -1 in V
0.991 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.991 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.991 * [taylor]: Taking taylor expansion of -1 in V
0.991 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.991 * [taylor]: Taking taylor expansion of (* V l) in V
0.991 * [taylor]: Taking taylor expansion of V in V
0.991 * [taylor]: Taking taylor expansion of l in V
0.991 * [taylor]: Taking taylor expansion of A in V
0.991 * [taylor]: Taking taylor expansion of (neg (/ (* NAN l) A)) in A
0.991 * [taylor]: Taking taylor expansion of (/ (* NAN l) A) in A
0.991 * [taylor]: Taking taylor expansion of (* NAN l) in A
0.991 * [taylor]: Taking taylor expansion of NAN in A
0.991 * [taylor]: Taking taylor expansion of l in A
0.991 * [taylor]: Taking taylor expansion of A in A
0.991 * [taylor]: Taking taylor expansion of 0 in l
0.991 * [taylor]: Taking taylor expansion of 0 in V
0.991 * [taylor]: Taking taylor expansion of 0 in A
0.991 * [taylor]: Taking taylor expansion of 0 in l
0.992 * [taylor]: Taking taylor expansion of (neg (/ (* (pow NAN 3) (pow l 2)) (pow A 2))) in A
0.992 * [taylor]: Taking taylor expansion of (/ (* (pow NAN 3) (pow l 2)) (pow A 2)) in A
0.992 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in A
0.992 * [taylor]: Taking taylor expansion of (pow NAN 3) in A
0.992 * [taylor]: Taking taylor expansion of NAN in A
0.992 * [taylor]: Taking taylor expansion of (pow l 2) in A
0.992 * [taylor]: Taking taylor expansion of l in A
0.992 * [taylor]: Taking taylor expansion of (pow A 2) in A
0.992 * [taylor]: Taking taylor expansion of A in A
0.993 * [taylor]: Taking taylor expansion of 0 in l
0.993 * [taylor]: Taking taylor expansion of 0 in l
0.994 * [taylor]: Taking taylor expansion of 0 in V
0.994 * [taylor]: Taking taylor expansion of 0 in A
0.994 * [taylor]: Taking taylor expansion of 0 in l
0.994 * * * [progress]: simplifying candidates
0.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* (/ 1 V) (/ A l))))
  (exp (sqrt (* (/ 1 V) (/ A l))))
  (* (cbrt (sqrt (* (/ 1 V) (/ A l)))) (cbrt (sqrt (* (/ 1 V) (/ A l)))))
  (cbrt (sqrt (* (/ 1 V) (/ A l))))
  (* (* (sqrt (* (/ 1 V) (/ A l))) (sqrt (* (/ 1 V) (/ A l)))) (sqrt (* (/ 1 V) (/ A l))))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt (* 1 A))
  (sqrt (* V l))
  (sqrt (* (/ 1 V) A))
  (sqrt l)
  (sqrt (* 1 (/ A l)))
  (sqrt V)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (/ 1 V) (/ A l))))
  (sqrt (sqrt (* (/ 1 V) (/ A l))))
  (* (/ 1 V) (/ A l))
  (+ (neg (log V)) (- (log A) (log l)))
  (+ (neg (log V)) (log (/ A l)))
  (+ (- 0 (log V)) (- (log A) (log l)))
  (+ (- 0 (log V)) (log (/ A l)))
  (+ (- (log 1) (log V)) (- (log A) (log l)))
  (+ (- (log 1) (log V)) (log (/ A l)))
  (+ (log (/ 1 V)) (- (log A) (log l)))
  (+ (log (/ 1 V)) (log (/ A l)))
  (log (* (/ 1 V) (/ A l)))
  (exp (* (/ 1 V) (/ A l)))
  (* (/ (* (* 1 1) 1) (* (* V V) V)) (/ (* (* A A) A) (* (* l l) l)))
  (* (/ (* (* 1 1) 1) (* (* V V) V)) (* (* (/ A l) (/ A l)) (/ A l)))
  (* (* (* (/ 1 V) (/ 1 V)) (/ 1 V)) (/ (* (* A A) A) (* (* l l) l)))
  (* (* (* (/ 1 V) (/ 1 V)) (/ 1 V)) (* (* (/ A l) (/ A l)) (/ A l)))
  (* (cbrt (* (/ 1 V) (/ A l))) (cbrt (* (/ 1 V) (/ A l))))
  (cbrt (* (/ 1 V) (/ A l)))
  (* (* (* (/ 1 V) (/ A l)) (* (/ 1 V) (/ A l))) (* (/ 1 V) (/ A l)))
  (sqrt (* (/ 1 V) (/ A l)))
  (sqrt (* (/ 1 V) (/ A l)))
  (* 1 A)
  (* V l)
  (* (sqrt (/ 1 V)) (sqrt (/ A l)))
  (* (sqrt (/ 1 V)) (sqrt (/ A l)))
  (* (sqrt (/ 1 V)) (/ (sqrt A) (sqrt l)))
  (* (sqrt (/ 1 V)) (/ (sqrt A) (sqrt l)))
  (* (/ (sqrt 1) (sqrt V)) (sqrt (/ A l)))
  (* (/ (sqrt 1) (sqrt V)) (sqrt (/ A l)))
  (* (/ (sqrt 1) (sqrt V)) (/ (sqrt A) (sqrt l)))
  (* (/ (sqrt 1) (sqrt V)) (/ (sqrt A) (sqrt l)))
  (* (/ 1 (sqrt V)) (sqrt (/ A l)))
  (* (/ 1 (sqrt V)) (sqrt (/ A l)))
  (* (/ 1 (sqrt V)) (/ (sqrt A) (sqrt l)))
  (* (/ 1 (sqrt V)) (/ (sqrt A) (sqrt l)))
  (* (/ 1 V) (* (cbrt (/ A l)) (cbrt (/ A l))))
  (* (/ 1 V) (sqrt (/ A l)))
  (* (/ 1 V) (/ (* (cbrt A) (cbrt A)) (* (cbrt l) (cbrt l))))
  (* (/ 1 V) (/ (* (cbrt A) (cbrt A)) (sqrt l)))
  (* (/ 1 V) (/ (* (cbrt A) (cbrt A)) 1))
  (* (/ 1 V) (/ (sqrt A) (* (cbrt l) (cbrt l))))
  (* (/ 1 V) (/ (sqrt A) (sqrt l)))
  (* (/ 1 V) (/ (sqrt A) 1))
  (* (/ 1 V) (/ 1 (* (cbrt l) (cbrt l))))
  (* (/ 1 V) (/ 1 (sqrt l)))
  (* (/ 1 V) (/ 1 1))
  (* (/ 1 V) 1)
  (* (/ 1 V) A)
  (* (cbrt (/ 1 V)) (/ A l))
  (* (sqrt (/ 1 V)) (/ A l))
  (* (/ (cbrt 1) (cbrt V)) (/ A l))
  (* (/ (cbrt 1) (sqrt V)) (/ A l))
  (* (/ (cbrt 1) V) (/ A l))
  (* (/ (sqrt 1) (cbrt V)) (/ A l))
  (* (/ (sqrt 1) (sqrt V)) (/ A l))
  (* (/ (sqrt 1) V) (/ A l))
  (* (/ 1 (cbrt V)) (/ A l))
  (* (/ 1 (sqrt V)) (/ A l))
  (* (/ 1 V) (/ A l))
  (* (/ 1 V) (/ A l))
  (* (/ 1 V) (/ A l))
  (* (/ 1 V) A)
  (* 1 (/ A l))
  (* c0 (sqrt (* (/ 1 V) (/ A l))))
  (+ (log c0) (log (sqrt (* (/ 1 V) (/ A l)))))
  (log (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (exp (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (* (* (* c0 c0) c0) (* (* (sqrt (* (/ 1 V) (/ A l))) (sqrt (* (/ 1 V) (/ A l)))) (sqrt (* (/ 1 V) (/ A l)))))
  (* (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l))))))
  (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (* (* (* c0 (sqrt (* (/ 1 V) (/ A l)))) (* c0 (sqrt (* (/ 1 V) (/ A l))))) (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (* (sqrt c0) (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  (* (sqrt c0) (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  (* c0 (* (cbrt (sqrt (* (/ 1 V) (/ A l)))) (cbrt (sqrt (* (/ 1 V) (/ A l))))))
  (* c0 (sqrt (/ 1 V)))
  (* c0 (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  (* c0 1)
  (* (cbrt c0) (sqrt (* (/ 1 V) (/ A l))))
  (* (sqrt c0) (sqrt (* (/ 1 V) (/ A l))))
  (* c0 (sqrt (* (/ 1 V) (/ A l))))
  (* c0 (sqrt (* 1 A)))
  (* c0 (sqrt (* (/ 1 V) A)))
  (* c0 (sqrt (* 1 (/ A l))))
  (/ (* A NAN) l)
  (/ (* A NAN) (* V l))
  (* -1 (/ (* A NAN) (* V l)))
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (/ (* A (* NAN c0)) l)
  0
  0
1.000 * * [simplify]: iteration  0 :  428  enodes  (cost  506 )
1.008 * * [simplify]: iteration  1 :  1894  enodes  (cost  441 )
1.037 * * [simplify]: iteration  2 :  5001  enodes  (cost  415 )
1.041 * [simplify]: Simplified to:
   (log (sqrt (* (/ 1 V) (/ A l))))
  (exp (sqrt (* (/ 1 V) (/ A l))))
  (* (cbrt (sqrt (* (/ 1 V) (/ A l)))) (cbrt (sqrt (* (/ 1 V) (/ A l)))))
  (cbrt (sqrt (* (/ 1 V) (/ A l))))
  (pow (sqrt (* (/ 1 V) (/ A l))) 3)
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt A)
  (sqrt (* V l))
  (sqrt (* (/ 1 V) A))
  (sqrt l)
  (sqrt (/ A l))
  (sqrt V)
  1/2
  1/2
  (sqrt (sqrt (* (/ 1 V) (/ A l))))
  (sqrt (sqrt (* (/ 1 V) (/ A l))))
  (/ (/ A l) V)
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (log (/ (/ A l) V))
  (exp (/ (/ A l) V))
  (pow (/ (/ A l) V) 3)
  (pow (/ (/ A l) V) 3)
  (pow (/ (/ A l) V) 3)
  (pow (/ (/ A l) V) 3)
  (* (cbrt (* (/ 1 V) (/ A l))) (cbrt (* (/ 1 V) (/ A l))))
  (cbrt (* (/ 1 V) (/ A l)))
  (pow (/ (/ A l) V) 3)
  (sqrt (* (/ 1 V) (/ A l)))
  (sqrt (* (/ 1 V) (/ A l)))
  A
  (* V l)
  (* (sqrt (/ 1 V)) (sqrt (/ A l)))
  (* (sqrt (/ 1 V)) (sqrt (/ A l)))
  (* (sqrt (/ 1 V)) (/ (sqrt A) (sqrt l)))
  (* (sqrt (/ 1 V)) (/ (sqrt A) (sqrt l)))
  (/ (sqrt (/ A l)) (sqrt V))
  (/ (sqrt (/ A l)) (sqrt V))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (sqrt (/ A l)) (sqrt V))
  (/ (sqrt (/ A l)) (sqrt V))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (* (cbrt (/ A l)) (cbrt (/ A l))) V)
  (/ (sqrt (/ A l)) V)
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt l) (cbrt l))) V)
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt l)) V)
  (/ (* (cbrt A) (cbrt A)) V)
  (/ (/ (sqrt A) (* (cbrt l) (cbrt l))) V)
  (/ (sqrt A) (* (sqrt l) V))
  (/ (sqrt A) V)
  (/ (/ 1 V) (* (cbrt l) (cbrt l)))
  (/ (/ 1 V) (sqrt l))
  (/ 1 V)
  (/ 1 V)
  (/ A V)
  (* (cbrt (/ 1 V)) (/ A l))
  (* (sqrt (/ 1 V)) (/ A l))
  (/ (/ A l) (cbrt V))
  (/ (/ A l) (sqrt V))
  (/ (/ A l) V)
  (/ (/ A l) (cbrt V))
  (/ (/ A l) (sqrt V))
  (/ (/ A l) V)
  (/ (/ A l) (cbrt V))
  (/ (/ A l) (sqrt V))
  (/ (/ A l) V)
  (/ (/ A l) V)
  (/ (/ A l) V)
  (/ A V)
  (/ A l)
  (* c0 (sqrt (* (/ 1 V) (/ A l))))
  (log (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (log (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (exp (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (pow (* c0 (sqrt (* (/ 1 V) (/ A l)))) 3)
  (* (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l))))))
  (cbrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (pow (* c0 (sqrt (* (/ 1 V) (/ A l)))) 3)
  (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))
  (* (sqrt c0) (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  (* (sqrt c0) (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  (* c0 (* (cbrt (sqrt (* (/ 1 V) (/ A l)))) (cbrt (sqrt (* (/ 1 V) (/ A l))))))
  (* c0 (sqrt (/ 1 V)))
  (* c0 (sqrt (sqrt (* (/ 1 V) (/ A l)))))
  c0
  (* (cbrt c0) (sqrt (* (/ 1 V) (/ A l))))
  (* (sqrt c0) (sqrt (* (/ 1 V) (/ A l))))
  (* c0 (sqrt (* (/ 1 V) (/ A l))))
  (* c0 (sqrt A))
  (* c0 (sqrt (* (/ 1 V) A)))
  (* c0 (sqrt (/ A l)))
  (/ (* A NAN) l)
  (/ (* A NAN) (* V l))
  (* -1 (/ (* A NAN) (* V l)))
  (/ (/ A l) V)
  (/ (/ A l) V)
  (/ (/ A l) V)
  (/ (* A (* NAN c0)) l)
  0
  0
1.041 * * * [progress]: adding candidates to table
1.140 * [progress]: [Phase 3 of 3] Extracting.
1.140 * * [regime]: Finding splitpoints for: (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
1.143 * * * [regime-changes]: Trying 8 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) (* c0 (sqrt (/ A (* V l)))) l V A c0)
1.143 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
1.274 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ 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 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))>)
1.347 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
1.476 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ 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 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))>)
1.533 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
1.667 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ 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 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))>)
1.730 * * * * [regimes]: Trying to branch on (* c0 (sqrt (/ A (* V l)))) from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
1.875 * * * * [regimes]: Trying to branch on (* c0 (sqrt (/ A (* V l)))) from (#<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))>)
1.928 * * * * [regimes]: Trying to branch on l from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.081 * * * * [regimes]: Trying to branch on V from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.241 * * * * [regimes]: Trying to branch on A from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.375 * * * * [regimes]: Trying to branch on c0 from (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.502 * * * [regime]: Found split indices: #<option (#s(si 6 94) #s(si 5 130) #s(si 11 255))>
2.502 * [binary-search]: Only using regimes for bounds on (* V l) and (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.503 * [regimes]: Found splitpoints: (#s(sp 6 (* V l) -7.364419960945952e-178) #s(sp 5 (* V l) 0.0) #s(sp 11 (* V l) +nan.0)) , with alts (#<alt (λ (c0 A V l) (* (sqrt c0) (* (sqrt c0) (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (cbrt A))) (sqrt l))))> #<alt (λ (c0 A V l) (/ (* c0 (sqrt (* (/ 1 V) A))) (sqrt l)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V))) (sqrt (/ (cbrt A) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (* (cbrt A) (cbrt A)) (/ (cbrt A) l))) (sqrt V))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (* (/ (cbrt A) (* (cbrt l) (cbrt l))) (/ (pow (sqrt (cbrt A)) 3) V)) (/ (sqrt (cbrt A)) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (cbrt (pow (sqrt (/ A (* V l))) 3))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ (* (cbrt A) (cbrt A)) V) (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l))))) (sqrt (* c0 (sqrt (* (/ 1 V) (/ A l)))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (/ 1 V) (/ A l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))>)
2.503 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* V l) -7.364419960945952e-178) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))) (if (<= (* V l) 0.0) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l)))))))
2.504 * * [simplify]: iteration  0 :  37  enodes  (cost  24 )
2.504 * * [simplify]: iteration  1 :  37  enodes  (cost  24 )
2.504 * [simplify]: Simplified to:
   (if (<= (* V l) -7.364419960945952e-178) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))) (if (<= (* V l) 0.0) (* c0 (/ (sqrt (* (/ 1 V) A)) (sqrt l))) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l)))))))
6.072 * [regime-testing]: Baseline error score: 19.21835212333406
6.073 * [regime-testing]: Oracle error score: 4.205130216117505
6.075 * [regime-testing]: End program error score: 14.466564913417074