21.883 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* c0 (sqrt (/ A (* V l))))
0.057 * * [simplify]: iteration  0 :  8  enodes  (cost  8 )
0.058 * * [simplify]: iteration  1 :  12  enodes  (cost  8 )
0.059 * * [simplify]: iteration  2 :  14  enodes  (cost  8 )
0.061 * * [simplify]: iteration  done :  14  enodes  (cost  8 )
0.061 * [simplify]: Simplified to:
   (* c0 (sqrt (/ A (* V l))))
0.061 * * [progress]: iteration 1 / 4
0.061 * * * [progress]: picking best candidate
0.064 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.064 * * * [progress]: localizing error
0.072 * * * [progress]: generating rewritten candidates
0.072 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.076 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.080 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.090 * * * [progress]: generating series expansions
0.090 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.090 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.090 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.090 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.090 * [taylor]: Taking taylor expansion of A in l
0.090 * [taylor]: Taking taylor expansion of (* V l) in l
0.090 * [taylor]: Taking taylor expansion of V in l
0.090 * [taylor]: Taking taylor expansion of l in l
0.090 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.090 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.090 * [taylor]: Taking taylor expansion of A in V
0.090 * [taylor]: Taking taylor expansion of (* V l) in V
0.090 * [taylor]: Taking taylor expansion of V in V
0.090 * [taylor]: Taking taylor expansion of l in V
0.090 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.091 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.091 * [taylor]: Taking taylor expansion of 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 (sqrt (/ A (* V l))) in A
0.091 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.091 * [taylor]: Taking taylor expansion of 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 0 in V
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.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 (/ NAN l) in l
0.091 * [taylor]: Taking taylor expansion of NAN in l
0.091 * [taylor]: Taking taylor expansion of l in l
0.091 * [taylor]: Taking taylor expansion of 0 in l
0.091 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.092 * [taylor]: Taking taylor expansion of NAN in V
0.092 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 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 V 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 l 2) 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 0 in l
0.093 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
0.093 * [taylor]: Taking taylor expansion of NAN in V
0.093 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
0.093 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
0.093 * [taylor]: Taking taylor expansion of NAN in V
0.093 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.093 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.093 * [taylor]: Taking taylor expansion of V in V
0.093 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.093 * [taylor]: Taking taylor expansion of l in V
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.096 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
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 (sqrt (/ (* V l) A)) in V
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 (sqrt (/ (* V l) A)) in A
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.096 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
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.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 (* NAN (* V l)) in V
0.096 * [taylor]: Taking taylor expansion of NAN in V
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 0 in l
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.097 * [taylor]: Taking taylor expansion of NAN in V
0.097 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.097 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.097 * [taylor]: Taking taylor expansion of V in V
0.097 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.097 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.097 * [taylor]: Taking taylor expansion of NAN in V
0.097 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.097 * [taylor]: Taking taylor expansion of l in V
0.097 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.097 * [taylor]: Taking taylor expansion of NAN in l
0.097 * [taylor]: Taking taylor expansion of l in l
0.097 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.097 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
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 (sqrt (* -1 (/ (* V l) A))) in V
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 (sqrt (* -1 (/ (* V l) 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 (sqrt (* -1 (/ (* V l) 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 0 in V
0.098 * [taylor]: Taking taylor expansion of 0 in l
0.098 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.098 * [taylor]: Taking taylor expansion of NAN in V
0.098 * [taylor]: Taking taylor expansion of (* V l) in V
0.098 * [taylor]: Taking taylor expansion of V in V
0.099 * [taylor]: Taking taylor expansion of l 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 (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.099 * [taylor]: Taking taylor expansion of NAN in V
0.099 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.099 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.099 * [taylor]: Taking taylor expansion of V in V
0.099 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.099 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.099 * [taylor]: Taking taylor expansion of NAN in V
0.099 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.099 * [taylor]: Taking taylor expansion of l in V
0.099 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.099 * [taylor]: Taking taylor expansion of NAN in l
0.099 * [taylor]: Taking taylor expansion of l in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.099 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
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.100 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.100 * [taylor]: Taking taylor expansion of A in V
0.100 * [taylor]: Taking taylor expansion of (* V l) in V
0.100 * [taylor]: Taking taylor expansion of V in V
0.100 * [taylor]: Taking taylor expansion of l in V
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 (/ 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 (/ 1 (* V l)) in V
0.100 * [taylor]: Taking taylor expansion of (* V l) in V
0.100 * [taylor]: Taking taylor expansion of V in V
0.100 * [taylor]: Taking taylor expansion of l in V
0.100 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.100 * [taylor]: Taking taylor expansion of l in l
0.100 * [taylor]: Taking taylor expansion of 0 in V
0.100 * [taylor]: Taking taylor expansion of 0 in l
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 l
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 l
0.101 * [taylor]: Taking taylor expansion of 0 in l
0.101 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.101 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.101 * [taylor]: Taking taylor expansion of (* V l) in l
0.101 * [taylor]: Taking taylor expansion of V in l
0.101 * [taylor]: Taking taylor expansion of l in l
0.101 * [taylor]: Taking taylor expansion of A in l
0.102 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.102 * [taylor]: Taking taylor expansion of (* V l) in V
0.102 * [taylor]: Taking taylor expansion of V in V
0.102 * [taylor]: Taking taylor expansion of l in V
0.102 * [taylor]: Taking taylor expansion of A in V
0.102 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.102 * [taylor]: Taking taylor expansion of (* V l) in A
0.102 * [taylor]: Taking taylor expansion of V in A
0.102 * [taylor]: Taking taylor expansion of l in A
0.102 * [taylor]: Taking taylor expansion of A in A
0.102 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.102 * [taylor]: Taking taylor expansion of (* V l) in A
0.102 * [taylor]: Taking taylor expansion of V in A
0.102 * [taylor]: Taking taylor expansion of l in A
0.102 * [taylor]: Taking taylor expansion of A in A
0.102 * [taylor]: Taking taylor expansion of (* V l) in V
0.102 * [taylor]: Taking taylor expansion of V in V
0.102 * [taylor]: Taking taylor expansion of l in V
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 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.103 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.103 * [taylor]: Taking taylor expansion of -1 in l
0.103 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.103 * [taylor]: Taking taylor expansion of (* V l) in l
0.103 * [taylor]: Taking taylor expansion of V in l
0.103 * [taylor]: Taking taylor expansion of l in l
0.103 * [taylor]: Taking taylor expansion of A in l
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.103 * [taylor]: Taking taylor expansion of -1 in V
0.103 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.103 * [taylor]: Taking taylor expansion of (* V l) in V
0.103 * [taylor]: Taking taylor expansion of V in V
0.103 * [taylor]: Taking taylor expansion of l in V
0.103 * [taylor]: Taking taylor expansion of A in V
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.103 * [taylor]: Taking taylor expansion of -1 in A
0.103 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.103 * [taylor]: Taking taylor expansion of (* V l) in A
0.103 * [taylor]: Taking taylor expansion of V in A
0.103 * [taylor]: Taking taylor expansion of l in A
0.103 * [taylor]: Taking taylor expansion of A in A
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.103 * [taylor]: Taking taylor expansion of -1 in A
0.103 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.103 * [taylor]: Taking taylor expansion of (* V l) in A
0.103 * [taylor]: Taking taylor expansion of V in A
0.103 * [taylor]: Taking taylor expansion of l in A
0.103 * [taylor]: Taking taylor expansion of A in A
0.103 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.103 * [taylor]: Taking taylor expansion of -1 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 (neg l) in l
0.104 * [taylor]: Taking taylor expansion of l in l
0.104 * [taylor]: Taking taylor expansion of 0 in V
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [taylor]: Taking taylor expansion of 0 in V
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.104 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.105 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.105 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.105 * [taylor]: Taking taylor expansion of A in l
0.105 * [taylor]: Taking taylor expansion of (* V l) in l
0.105 * [taylor]: Taking taylor expansion of V in l
0.105 * [taylor]: Taking taylor expansion of l in l
0.105 * [taylor]: Taking taylor expansion of c0 in l
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.105 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.105 * [taylor]: Taking taylor expansion of A in V
0.105 * [taylor]: Taking taylor expansion of (* V l) in V
0.105 * [taylor]: Taking taylor expansion of V in V
0.105 * [taylor]: Taking taylor expansion of l in V
0.105 * [taylor]: Taking taylor expansion of c0 in V
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.105 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.105 * [taylor]: Taking taylor expansion of 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 c0 in A
0.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.105 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.105 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.105 * [taylor]: Taking taylor expansion of 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.106 * [taylor]: Taking taylor expansion of c0 in c0
0.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.106 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.106 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.106 * [taylor]: Taking taylor expansion of A in c0
0.106 * [taylor]: Taking taylor expansion of (* V l) in c0
0.106 * [taylor]: Taking taylor expansion of V in c0
0.106 * [taylor]: Taking taylor expansion of l in c0
0.106 * [taylor]: Taking taylor expansion of c0 in c0
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 (sqrt (/ A (* V l))) in A
0.106 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.106 * [taylor]: Taking taylor expansion of A in A
0.106 * [taylor]: Taking taylor expansion of (* V l) in A
0.106 * [taylor]: Taking taylor expansion of V in A
0.106 * [taylor]: Taking taylor expansion of l in A
0.106 * [taylor]: Taking taylor expansion of 0 in V
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 0 in A
0.107 * [taylor]: Taking taylor expansion of 0 in V
0.107 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
0.107 * [taylor]: Taking taylor expansion of NAN in V
0.107 * [taylor]: Taking taylor expansion of (* V l) in V
0.107 * [taylor]: Taking taylor expansion of V 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 * [taylor]: Taking taylor expansion of 0 in V
0.107 * [taylor]: Taking taylor expansion of 0 in l
0.107 * [taylor]: Taking taylor expansion of 0 in l
0.107 * [taylor]: Taking taylor expansion of 0 in l
0.108 * [taylor]: Taking taylor expansion of 0 in A
0.108 * [taylor]: Taking taylor expansion of 0 in V
0.108 * [taylor]: Taking taylor expansion of 0 in V
0.108 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
0.108 * [taylor]: Taking taylor expansion of NAN in V
0.108 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
0.108 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.108 * [taylor]: Taking taylor expansion of NAN in V
0.108 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.108 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.108 * [taylor]: Taking taylor expansion of V in V
0.108 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.108 * [taylor]: Taking taylor expansion of l in V
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in V
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.109 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.109 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.109 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.109 * [taylor]: Taking taylor expansion of (* V l) in l
0.109 * [taylor]: Taking taylor expansion of V in l
0.109 * [taylor]: Taking taylor expansion of l in l
0.109 * [taylor]: Taking taylor expansion of A in l
0.110 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.110 * [taylor]: Taking taylor expansion of c0 in l
0.110 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.110 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.110 * [taylor]: Taking taylor expansion of (* V l) in V
0.110 * [taylor]: Taking taylor expansion of V in V
0.110 * [taylor]: Taking taylor expansion of l in V
0.110 * [taylor]: Taking taylor expansion of A in V
0.110 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.110 * [taylor]: Taking taylor expansion of c0 in V
0.110 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.110 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) 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 (/ 1 c0) in A
0.110 * [taylor]: Taking taylor expansion of c0 in A
0.110 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.110 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.110 * [taylor]: Taking taylor expansion of (* V l) in c0
0.110 * [taylor]: Taking taylor expansion of V in c0
0.110 * [taylor]: Taking taylor expansion of l in c0
0.110 * [taylor]: Taking taylor expansion of A in c0
0.111 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.111 * [taylor]: Taking taylor expansion of c0 in c0
0.111 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.111 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.111 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.111 * [taylor]: Taking taylor expansion of (* V l) in c0
0.111 * [taylor]: Taking taylor expansion of V in c0
0.111 * [taylor]: Taking taylor expansion of l in c0
0.111 * [taylor]: Taking taylor expansion of A in c0
0.111 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.111 * [taylor]: Taking taylor expansion of c0 in c0
0.111 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.111 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.111 * [taylor]: Taking taylor expansion of (* V l) in A
0.111 * [taylor]: Taking taylor expansion of V in A
0.111 * [taylor]: Taking taylor expansion of l in A
0.111 * [taylor]: Taking taylor expansion of A 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 0 in A
0.111 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
0.111 * [taylor]: Taking taylor expansion of NAN in V
0.111 * [taylor]: Taking taylor expansion of (* V l) in V
0.111 * [taylor]: Taking taylor expansion of V in V
0.111 * [taylor]: Taking taylor expansion of l in V
0.111 * [taylor]: Taking taylor expansion of 0 in l
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 (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
0.112 * [taylor]: Taking taylor expansion of NAN in V
0.112 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
0.112 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.112 * [taylor]: Taking taylor expansion of V in V
0.112 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
0.112 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
0.112 * [taylor]: Taking taylor expansion of NAN in V
0.112 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.112 * [taylor]: Taking taylor expansion of l in V
0.112 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.112 * [taylor]: Taking taylor expansion of NAN in l
0.113 * [taylor]: Taking taylor expansion of l in l
0.113 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.113 * [taylor]: Taking taylor expansion of -1 in l
0.113 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.113 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.113 * [taylor]: Taking taylor expansion of -1 in l
0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.113 * [taylor]: Taking taylor expansion of (* V l) in l
0.113 * [taylor]: Taking taylor expansion of V in l
0.113 * [taylor]: Taking taylor expansion of l in l
0.113 * [taylor]: Taking taylor expansion of A in l
0.113 * [taylor]: Taking taylor expansion of c0 in l
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.113 * [taylor]: Taking taylor expansion of -1 in V
0.113 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.113 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.113 * [taylor]: Taking taylor expansion of -1 in V
0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.113 * [taylor]: Taking taylor expansion of (* V l) in V
0.113 * [taylor]: Taking taylor expansion of V in V
0.113 * [taylor]: Taking taylor expansion of l in V
0.113 * [taylor]: Taking taylor expansion of A in V
0.113 * [taylor]: Taking taylor expansion of c0 in V
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.114 * [taylor]: Taking taylor expansion of -1 in A
0.114 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.114 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.114 * [taylor]: Taking taylor expansion of -1 in A
0.114 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.114 * [taylor]: Taking taylor expansion of (* V l) in A
0.114 * [taylor]: Taking taylor expansion of V in A
0.114 * [taylor]: Taking taylor expansion of l in A
0.114 * [taylor]: Taking taylor expansion of A in A
0.114 * [taylor]: Taking taylor expansion of c0 in A
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.114 * [taylor]: Taking taylor expansion of -1 in c0
0.114 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.114 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.114 * [taylor]: Taking taylor expansion of -1 in c0
0.114 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.114 * [taylor]: Taking taylor expansion of (* V l) in c0
0.114 * [taylor]: Taking taylor expansion of V in c0
0.114 * [taylor]: Taking taylor expansion of l in c0
0.114 * [taylor]: Taking taylor expansion of A in c0
0.114 * [taylor]: Taking taylor expansion of c0 in c0
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.114 * [taylor]: Taking taylor expansion of -1 in c0
0.114 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.114 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.114 * [taylor]: Taking taylor expansion of -1 in c0
0.115 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.115 * [taylor]: Taking taylor expansion of (* V l) in c0
0.115 * [taylor]: Taking taylor expansion of V in c0
0.115 * [taylor]: Taking taylor expansion of l in c0
0.115 * [taylor]: Taking taylor expansion of A in c0
0.115 * [taylor]: Taking taylor expansion of c0 in c0
0.115 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.115 * [taylor]: Taking taylor expansion of -1 in A
0.115 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.115 * [taylor]: Taking taylor expansion of -1 in A
0.115 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.115 * [taylor]: Taking taylor expansion of (* V l) in A
0.115 * [taylor]: Taking taylor expansion of V in A
0.115 * [taylor]: Taking taylor expansion of l in A
0.115 * [taylor]: Taking taylor expansion of A in A
0.115 * [taylor]: Taking taylor expansion of (neg (* V (* NAN l))) in V
0.115 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
0.115 * [taylor]: Taking taylor expansion of V in V
0.115 * [taylor]: Taking taylor expansion of (* NAN l) in V
0.115 * [taylor]: Taking taylor expansion of NAN in V
0.115 * [taylor]: Taking taylor expansion of l in V
0.116 * [taylor]: Taking taylor expansion of (neg (* NAN l)) in l
0.116 * [taylor]: Taking taylor expansion of (* NAN l) in l
0.116 * [taylor]: Taking taylor expansion of NAN in l
0.116 * [taylor]: Taking taylor expansion of l in l
0.116 * [taylor]: Taking taylor expansion of 0 in A
0.116 * [taylor]: Taking taylor expansion of 0 in V
0.116 * [taylor]: Taking taylor expansion of 0 in l
0.116 * [taylor]: Taking taylor expansion of (neg (* (pow V 2) (* (pow NAN 3) (pow l 2)))) in V
0.116 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 3) (pow l 2))) in V
0.116 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.117 * [taylor]: Taking taylor expansion of V in V
0.117 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow l 2)) in V
0.117 * [taylor]: Taking taylor expansion of (pow NAN 3) in V
0.117 * [taylor]: Taking taylor expansion of NAN in V
0.117 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.117 * [taylor]: Taking taylor expansion of l in V
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.117 * [taylor]: Taking taylor expansion of 0 in A
0.117 * [taylor]: Taking taylor expansion of 0 in V
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.117 * [taylor]: Taking taylor expansion of 0 in V
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.118 * [taylor]: Taking taylor expansion of (neg (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
0.118 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
0.118 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.118 * [taylor]: Taking taylor expansion of V in V
0.118 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
0.118 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
0.118 * [taylor]: Taking taylor expansion of NAN in V
0.118 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.118 * [taylor]: Taking taylor expansion of l in V
0.118 * [taylor]: Taking taylor expansion of 0 in l
0.119 * * * [progress]: simplifying candidates
0.120 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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.122 * * [simplify]: iteration  0 :  104  enodes  (cost  661 )
0.141 * * [simplify]: iteration  1 :  215  enodes  (cost  611 )
0.179 * * [simplify]: iteration  2 :  596  enodes  (cost  561 )
0.506 * * [simplify]: iteration  3 :  1943  enodes  (cost  561 )
2.930 * * [simplify]: iteration  done :  5000  enodes  (cost  561 )
2.931 * [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))
2.931 * * * [progress]: adding candidates to table
3.023 * * [progress]: iteration 2 / 4
3.023 * * * [progress]: picking best candidate
3.084 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))>
3.084 * * * [progress]: localizing error
3.093 * * * [progress]: generating rewritten candidates
3.093 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
3.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
3.101 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.107 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.114 * * * [progress]: generating series expansions
3.114 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
3.114 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
3.114 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
3.114 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
3.114 * [taylor]: Taking taylor expansion of A in l
3.114 * [taylor]: Taking taylor expansion of (* V l) in l
3.114 * [taylor]: Taking taylor expansion of V in l
3.114 * [taylor]: Taking taylor expansion of l in l
3.114 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
3.114 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
3.114 * [taylor]: Taking taylor expansion of A in V
3.114 * [taylor]: Taking taylor expansion of (* V l) in V
3.114 * [taylor]: Taking taylor expansion of V in V
3.114 * [taylor]: Taking taylor expansion of l in V
3.114 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
3.114 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.114 * [taylor]: Taking taylor expansion of A in A
3.114 * [taylor]: Taking taylor expansion of (* V l) in A
3.114 * [taylor]: Taking taylor expansion of V in A
3.114 * [taylor]: Taking taylor expansion of l in A
3.114 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
3.114 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.114 * [taylor]: Taking taylor expansion of A in A
3.115 * [taylor]: Taking taylor expansion of (* V l) in A
3.115 * [taylor]: Taking taylor expansion of V in A
3.115 * [taylor]: Taking taylor expansion of l in A
3.115 * [taylor]: Taking taylor expansion of 0 in V
3.115 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
3.115 * [taylor]: Taking taylor expansion of NAN in V
3.115 * [taylor]: Taking taylor expansion of (* V l) in V
3.115 * [taylor]: Taking taylor expansion of V in V
3.115 * [taylor]: Taking taylor expansion of l in V
3.115 * [taylor]: Taking taylor expansion of (/ NAN l) in l
3.115 * [taylor]: Taking taylor expansion of NAN in l
3.115 * [taylor]: Taking taylor expansion of l in l
3.115 * [taylor]: Taking taylor expansion of 0 in l
3.115 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
3.115 * [taylor]: Taking taylor expansion of NAN in V
3.115 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
3.115 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.115 * [taylor]: Taking taylor expansion of NAN in V
3.115 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
3.115 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.115 * [taylor]: Taking taylor expansion of V in V
3.115 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.115 * [taylor]: Taking taylor expansion of l in V
3.116 * [taylor]: Taking taylor expansion of 0 in l
3.116 * [taylor]: Taking taylor expansion of 0 in l
3.116 * [taylor]: Taking taylor expansion of 0 in l
3.117 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
3.117 * [taylor]: Taking taylor expansion of NAN in V
3.117 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
3.117 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
3.117 * [taylor]: Taking taylor expansion of NAN in V
3.117 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
3.117 * [taylor]: Taking taylor expansion of (pow V 3) in V
3.117 * [taylor]: Taking taylor expansion of V in V
3.117 * [taylor]: Taking taylor expansion of (pow l 3) in V
3.117 * [taylor]: Taking taylor expansion of l in V
3.118 * [taylor]: Taking taylor expansion of 0 in l
3.119 * [taylor]: Taking taylor expansion of 0 in l
3.119 * [taylor]: Taking taylor expansion of 0 in l
3.119 * [taylor]: Taking taylor expansion of 0 in l
3.119 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
3.119 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
3.119 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.119 * [taylor]: Taking taylor expansion of (* V l) in l
3.119 * [taylor]: Taking taylor expansion of V in l
3.119 * [taylor]: Taking taylor expansion of l in l
3.119 * [taylor]: Taking taylor expansion of A in l
3.120 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
3.120 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.120 * [taylor]: Taking taylor expansion of (* V l) in V
3.120 * [taylor]: Taking taylor expansion of V in V
3.120 * [taylor]: Taking taylor expansion of l in V
3.120 * [taylor]: Taking taylor expansion of A in V
3.120 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
3.120 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.120 * [taylor]: Taking taylor expansion of (* V l) in A
3.120 * [taylor]: Taking taylor expansion of V in A
3.120 * [taylor]: Taking taylor expansion of l in A
3.120 * [taylor]: Taking taylor expansion of A in A
3.120 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
3.120 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.120 * [taylor]: Taking taylor expansion of (* V l) in A
3.120 * [taylor]: Taking taylor expansion of V in A
3.120 * [taylor]: Taking taylor expansion of l in A
3.120 * [taylor]: Taking taylor expansion of A in A
3.120 * [taylor]: Taking taylor expansion of 0 in V
3.120 * [taylor]: Taking taylor expansion of 0 in l
3.120 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
3.120 * [taylor]: Taking taylor expansion of NAN in V
3.120 * [taylor]: Taking taylor expansion of (* V l) in V
3.120 * [taylor]: Taking taylor expansion of V in V
3.120 * [taylor]: Taking taylor expansion of l in V
3.120 * [taylor]: Taking taylor expansion of 0 in l
3.120 * [taylor]: Taking taylor expansion of 0 in l
3.121 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
3.121 * [taylor]: Taking taylor expansion of NAN in V
3.121 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
3.121 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.121 * [taylor]: Taking taylor expansion of V in V
3.121 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
3.121 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.121 * [taylor]: Taking taylor expansion of NAN in V
3.121 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.121 * [taylor]: Taking taylor expansion of l in V
3.121 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.121 * [taylor]: Taking taylor expansion of NAN in l
3.121 * [taylor]: Taking taylor expansion of l in l
3.121 * [taylor]: Taking taylor expansion of 0 in l
3.121 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
3.121 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
3.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
3.121 * [taylor]: Taking taylor expansion of -1 in l
3.121 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.121 * [taylor]: Taking taylor expansion of (* V l) in l
3.121 * [taylor]: Taking taylor expansion of V in l
3.121 * [taylor]: Taking taylor expansion of l in l
3.121 * [taylor]: Taking taylor expansion of A in l
3.121 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
3.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
3.121 * [taylor]: Taking taylor expansion of -1 in V
3.121 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.122 * [taylor]: Taking taylor expansion of (* V l) in V
3.122 * [taylor]: Taking taylor expansion of V in V
3.122 * [taylor]: Taking taylor expansion of l in V
3.122 * [taylor]: Taking taylor expansion of A in V
3.122 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.122 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.122 * [taylor]: Taking taylor expansion of -1 in A
3.122 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.122 * [taylor]: Taking taylor expansion of (* V l) in A
3.122 * [taylor]: Taking taylor expansion of V in A
3.122 * [taylor]: Taking taylor expansion of l in A
3.122 * [taylor]: Taking taylor expansion of A in A
3.122 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.122 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.122 * [taylor]: Taking taylor expansion of -1 in A
3.122 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.122 * [taylor]: Taking taylor expansion of (* V l) in A
3.122 * [taylor]: Taking taylor expansion of V in A
3.122 * [taylor]: Taking taylor expansion of l in A
3.122 * [taylor]: Taking taylor expansion of A in A
3.122 * [taylor]: Taking taylor expansion of 0 in V
3.122 * [taylor]: Taking taylor expansion of 0 in l
3.122 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
3.122 * [taylor]: Taking taylor expansion of NAN in V
3.122 * [taylor]: Taking taylor expansion of (* V l) in V
3.122 * [taylor]: Taking taylor expansion of V in V
3.122 * [taylor]: Taking taylor expansion of l in V
3.122 * [taylor]: Taking taylor expansion of 0 in l
3.122 * [taylor]: Taking taylor expansion of 0 in l
3.123 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
3.123 * [taylor]: Taking taylor expansion of NAN in V
3.123 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
3.123 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.123 * [taylor]: Taking taylor expansion of V in V
3.123 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
3.123 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.123 * [taylor]: Taking taylor expansion of NAN in V
3.123 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.123 * [taylor]: Taking taylor expansion of l in V
3.123 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.123 * [taylor]: Taking taylor expansion of NAN in l
3.123 * [taylor]: Taking taylor expansion of l in l
3.123 * [taylor]: Taking taylor expansion of 0 in l
3.123 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
3.123 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
3.123 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
3.123 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
3.123 * [taylor]: Taking taylor expansion of A in l
3.123 * [taylor]: Taking taylor expansion of (* V l) in l
3.123 * [taylor]: Taking taylor expansion of V in l
3.123 * [taylor]: Taking taylor expansion of l in l
3.124 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
3.124 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
3.124 * [taylor]: Taking taylor expansion of A in V
3.124 * [taylor]: Taking taylor expansion of (* V l) in V
3.124 * [taylor]: Taking taylor expansion of V in V
3.124 * [taylor]: Taking taylor expansion of l in V
3.124 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
3.124 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.124 * [taylor]: Taking taylor expansion of A in A
3.124 * [taylor]: Taking taylor expansion of (* V l) in A
3.124 * [taylor]: Taking taylor expansion of V in A
3.124 * [taylor]: Taking taylor expansion of l in A
3.124 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
3.124 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.124 * [taylor]: Taking taylor expansion of A in A
3.124 * [taylor]: Taking taylor expansion of (* V l) in A
3.124 * [taylor]: Taking taylor expansion of V in A
3.124 * [taylor]: Taking taylor expansion of l in A
3.124 * [taylor]: Taking taylor expansion of 0 in V
3.124 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
3.124 * [taylor]: Taking taylor expansion of NAN in V
3.124 * [taylor]: Taking taylor expansion of (* V l) in V
3.124 * [taylor]: Taking taylor expansion of V in V
3.124 * [taylor]: Taking taylor expansion of l in V
3.124 * [taylor]: Taking taylor expansion of (/ NAN l) in l
3.124 * [taylor]: Taking taylor expansion of NAN in l
3.124 * [taylor]: Taking taylor expansion of l in l
3.124 * [taylor]: Taking taylor expansion of 0 in l
3.125 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
3.125 * [taylor]: Taking taylor expansion of NAN in V
3.125 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
3.125 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.125 * [taylor]: Taking taylor expansion of NAN in V
3.125 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
3.125 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.125 * [taylor]: Taking taylor expansion of V in V
3.125 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.125 * [taylor]: Taking taylor expansion of l in V
3.126 * [taylor]: Taking taylor expansion of 0 in l
3.126 * [taylor]: Taking taylor expansion of 0 in l
3.126 * [taylor]: Taking taylor expansion of 0 in l
3.126 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
3.126 * [taylor]: Taking taylor expansion of NAN in V
3.126 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
3.126 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
3.126 * [taylor]: Taking taylor expansion of NAN in V
3.126 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
3.126 * [taylor]: Taking taylor expansion of (pow V 3) in V
3.126 * [taylor]: Taking taylor expansion of V in V
3.126 * [taylor]: Taking taylor expansion of (pow l 3) in V
3.126 * [taylor]: Taking taylor expansion of l in V
3.131 * [taylor]: Taking taylor expansion of 0 in l
3.131 * [taylor]: Taking taylor expansion of 0 in l
3.131 * [taylor]: Taking taylor expansion of 0 in l
3.131 * [taylor]: Taking taylor expansion of 0 in l
3.132 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
3.132 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
3.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.132 * [taylor]: Taking taylor expansion of (* V l) in l
3.132 * [taylor]: Taking taylor expansion of V in l
3.132 * [taylor]: Taking taylor expansion of l in l
3.132 * [taylor]: Taking taylor expansion of A in l
3.132 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
3.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.132 * [taylor]: Taking taylor expansion of (* V l) in V
3.132 * [taylor]: Taking taylor expansion of V in V
3.132 * [taylor]: Taking taylor expansion of l in V
3.132 * [taylor]: Taking taylor expansion of A in V
3.132 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
3.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.132 * [taylor]: Taking taylor expansion of (* V l) in A
3.132 * [taylor]: Taking taylor expansion of V in A
3.132 * [taylor]: Taking taylor expansion of l in A
3.132 * [taylor]: Taking taylor expansion of A in A
3.132 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
3.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.132 * [taylor]: Taking taylor expansion of (* V l) in A
3.132 * [taylor]: Taking taylor expansion of V in A
3.132 * [taylor]: Taking taylor expansion of l in A
3.132 * [taylor]: Taking taylor expansion of A in A
3.132 * [taylor]: Taking taylor expansion of 0 in V
3.133 * [taylor]: Taking taylor expansion of 0 in l
3.133 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
3.133 * [taylor]: Taking taylor expansion of NAN in V
3.133 * [taylor]: Taking taylor expansion of (* V l) in V
3.133 * [taylor]: Taking taylor expansion of V in V
3.133 * [taylor]: Taking taylor expansion of l in V
3.133 * [taylor]: Taking taylor expansion of 0 in l
3.133 * [taylor]: Taking taylor expansion of 0 in l
3.133 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
3.133 * [taylor]: Taking taylor expansion of NAN in V
3.133 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
3.133 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.133 * [taylor]: Taking taylor expansion of V in V
3.133 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
3.133 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.133 * [taylor]: Taking taylor expansion of NAN in V
3.133 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.133 * [taylor]: Taking taylor expansion of l in V
3.133 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.133 * [taylor]: Taking taylor expansion of NAN in l
3.133 * [taylor]: Taking taylor expansion of l in l
3.133 * [taylor]: Taking taylor expansion of 0 in l
3.133 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
3.133 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
3.133 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
3.133 * [taylor]: Taking taylor expansion of -1 in l
3.133 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.133 * [taylor]: Taking taylor expansion of (* V l) in l
3.134 * [taylor]: Taking taylor expansion of V in l
3.134 * [taylor]: Taking taylor expansion of l in l
3.134 * [taylor]: Taking taylor expansion of A in l
3.134 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
3.134 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
3.134 * [taylor]: Taking taylor expansion of -1 in V
3.134 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.134 * [taylor]: Taking taylor expansion of (* V l) in V
3.134 * [taylor]: Taking taylor expansion of V in V
3.134 * [taylor]: Taking taylor expansion of l in V
3.134 * [taylor]: Taking taylor expansion of A in V
3.134 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.134 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.134 * [taylor]: Taking taylor expansion of -1 in A
3.134 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.134 * [taylor]: Taking taylor expansion of (* V l) in A
3.134 * [taylor]: Taking taylor expansion of V in A
3.134 * [taylor]: Taking taylor expansion of l in A
3.134 * [taylor]: Taking taylor expansion of A in A
3.134 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.134 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.134 * [taylor]: Taking taylor expansion of -1 in A
3.134 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.134 * [taylor]: Taking taylor expansion of (* V l) in A
3.134 * [taylor]: Taking taylor expansion of V in A
3.134 * [taylor]: Taking taylor expansion of l in A
3.134 * [taylor]: Taking taylor expansion of A in A
3.134 * [taylor]: Taking taylor expansion of 0 in V
3.134 * [taylor]: Taking taylor expansion of 0 in l
3.135 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
3.135 * [taylor]: Taking taylor expansion of NAN in V
3.135 * [taylor]: Taking taylor expansion of (* V l) in V
3.135 * [taylor]: Taking taylor expansion of V in V
3.135 * [taylor]: Taking taylor expansion of l in V
3.135 * [taylor]: Taking taylor expansion of 0 in l
3.135 * [taylor]: Taking taylor expansion of 0 in l
3.135 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
3.135 * [taylor]: Taking taylor expansion of NAN in V
3.135 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
3.135 * [taylor]: Taking taylor expansion of (pow V 2) in V
3.135 * [taylor]: Taking taylor expansion of V in V
3.135 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
3.135 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
3.135 * [taylor]: Taking taylor expansion of NAN in V
3.135 * [taylor]: Taking taylor expansion of (pow l 2) in V
3.135 * [taylor]: Taking taylor expansion of l in V
3.135 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.135 * [taylor]: Taking taylor expansion of NAN in l
3.135 * [taylor]: Taking taylor expansion of l in l
3.135 * [taylor]: Taking taylor expansion of 0 in l
3.135 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.135 * [approximate]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in (A V l) around 0
3.135 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in l
3.135 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in l
3.136 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in l
3.136 * [taylor]: Taking taylor expansion of 1/4 in l
3.136 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l
3.136 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
3.136 * [taylor]: Taking taylor expansion of A in l
3.136 * [taylor]: Taking taylor expansion of (* V l) in l
3.136 * [taylor]: Taking taylor expansion of V in l
3.136 * [taylor]: Taking taylor expansion of l in l
3.136 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in V
3.136 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in V
3.136 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in V
3.136 * [taylor]: Taking taylor expansion of 1/4 in V
3.136 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V
3.136 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
3.136 * [taylor]: Taking taylor expansion of A in V
3.136 * [taylor]: Taking taylor expansion of (* V l) in V
3.136 * [taylor]: Taking taylor expansion of V in V
3.136 * [taylor]: Taking taylor expansion of l in V
3.136 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in A
3.136 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in A
3.136 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in A
3.136 * [taylor]: Taking taylor expansion of 1/4 in A
3.136 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
3.136 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.136 * [taylor]: Taking taylor expansion of A in A
3.136 * [taylor]: Taking taylor expansion of (* V l) in A
3.136 * [taylor]: Taking taylor expansion of V in A
3.136 * [taylor]: Taking taylor expansion of l in A
3.137 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in A
3.137 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in A
3.137 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in A
3.137 * [taylor]: Taking taylor expansion of 1/4 in A
3.137 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
3.137 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.137 * [taylor]: Taking taylor expansion of A in A
3.137 * [taylor]: Taking taylor expansion of (* V l) in A
3.137 * [taylor]: Taking taylor expansion of V in A
3.137 * [taylor]: Taking taylor expansion of l in A
3.137 * [taylor]: Taking taylor expansion of (exp (* 1/4 (+ (log (/ 1 (* V l))) (log A)))) in V
3.137 * [taylor]: Taking taylor expansion of (* 1/4 (+ (log (/ 1 (* V l))) (log A))) in V
3.137 * [taylor]: Taking taylor expansion of 1/4 in V
3.137 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* V l))) (log A)) in V
3.137 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V
3.137 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
3.137 * [taylor]: Taking taylor expansion of (* V l) in V
3.137 * [taylor]: Taking taylor expansion of V in V
3.137 * [taylor]: Taking taylor expansion of l in V
3.137 * [taylor]: Taking taylor expansion of (log A) in V
3.137 * [taylor]: Taking taylor expansion of A in V
3.138 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (+ (log A) (log (/ 1 l))) (log V)))) in l
3.138 * [taylor]: Taking taylor expansion of (* 1/4 (- (+ (log A) (log (/ 1 l))) (log V))) in l
3.138 * [taylor]: Taking taylor expansion of 1/4 in l
3.138 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l
3.138 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l
3.138 * [taylor]: Taking taylor expansion of (log A) in l
3.138 * [taylor]: Taking taylor expansion of A in l
3.138 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.138 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.138 * [taylor]: Taking taylor expansion of l in l
3.138 * [taylor]: Taking taylor expansion of (log V) in l
3.138 * [taylor]: Taking taylor expansion of V in l
3.139 * [taylor]: Taking taylor expansion of 0 in V
3.139 * [taylor]: Taking taylor expansion of 0 in l
3.140 * [taylor]: Taking taylor expansion of 0 in l
3.141 * [taylor]: Taking taylor expansion of 0 in V
3.141 * [taylor]: Taking taylor expansion of 0 in l
3.141 * [taylor]: Taking taylor expansion of 0 in l
3.142 * [taylor]: Taking taylor expansion of 0 in l
3.142 * [approximate]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in (A V l) around 0
3.142 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in l
3.142 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in l
3.142 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in l
3.142 * [taylor]: Taking taylor expansion of 1/4 in l
3.142 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
3.142 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.142 * [taylor]: Taking taylor expansion of (* V l) in l
3.142 * [taylor]: Taking taylor expansion of V in l
3.142 * [taylor]: Taking taylor expansion of l in l
3.142 * [taylor]: Taking taylor expansion of A in l
3.142 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in V
3.142 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in V
3.142 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in V
3.142 * [taylor]: Taking taylor expansion of 1/4 in V
3.142 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
3.142 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.143 * [taylor]: Taking taylor expansion of (* V l) in V
3.143 * [taylor]: Taking taylor expansion of V in V
3.143 * [taylor]: Taking taylor expansion of l in V
3.143 * [taylor]: Taking taylor expansion of A in V
3.143 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in A
3.143 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in A
3.143 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in A
3.143 * [taylor]: Taking taylor expansion of 1/4 in A
3.143 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
3.143 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.143 * [taylor]: Taking taylor expansion of (* V l) in A
3.143 * [taylor]: Taking taylor expansion of V in A
3.143 * [taylor]: Taking taylor expansion of l in A
3.143 * [taylor]: Taking taylor expansion of A in A
3.143 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in A
3.143 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in A
3.143 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in A
3.143 * [taylor]: Taking taylor expansion of 1/4 in A
3.143 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
3.143 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.143 * [taylor]: Taking taylor expansion of (* V l) in A
3.143 * [taylor]: Taking taylor expansion of V in A
3.143 * [taylor]: Taking taylor expansion of l in A
3.143 * [taylor]: Taking taylor expansion of A in A
3.144 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (* V l)) (log A)))) in V
3.144 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (* V l)) (log A))) in V
3.144 * [taylor]: Taking taylor expansion of 1/4 in V
3.144 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
3.144 * [taylor]: Taking taylor expansion of (log (* V l)) in V
3.144 * [taylor]: Taking taylor expansion of (* V l) in V
3.144 * [taylor]: Taking taylor expansion of V in V
3.144 * [taylor]: Taking taylor expansion of l in V
3.144 * [taylor]: Taking taylor expansion of (log A) in V
3.144 * [taylor]: Taking taylor expansion of A in V
3.144 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (+ (log V) (log l)) (log A)))) in l
3.144 * [taylor]: Taking taylor expansion of (* 1/4 (- (+ (log V) (log l)) (log A))) in l
3.144 * [taylor]: Taking taylor expansion of 1/4 in l
3.144 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
3.144 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
3.144 * [taylor]: Taking taylor expansion of (log V) in l
3.144 * [taylor]: Taking taylor expansion of V in l
3.144 * [taylor]: Taking taylor expansion of (log l) in l
3.144 * [taylor]: Taking taylor expansion of l in l
3.144 * [taylor]: Taking taylor expansion of (log A) in l
3.144 * [taylor]: Taking taylor expansion of A in l
3.145 * [taylor]: Taking taylor expansion of 0 in V
3.145 * [taylor]: Taking taylor expansion of 0 in l
3.146 * [taylor]: Taking taylor expansion of 0 in l
3.147 * [taylor]: Taking taylor expansion of 0 in V
3.147 * [taylor]: Taking taylor expansion of 0 in l
3.147 * [taylor]: Taking taylor expansion of 0 in l
3.148 * [taylor]: Taking taylor expansion of 0 in l
3.148 * [approximate]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in (A V l) around 0
3.148 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in l
3.148 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
3.148 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
3.148 * [taylor]: Taking taylor expansion of -1 in l
3.148 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.148 * [taylor]: Taking taylor expansion of (* V l) in l
3.148 * [taylor]: Taking taylor expansion of V in l
3.148 * [taylor]: Taking taylor expansion of l in l
3.148 * [taylor]: Taking taylor expansion of A in l
3.148 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in V
3.148 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
3.148 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
3.148 * [taylor]: Taking taylor expansion of -1 in V
3.148 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.148 * [taylor]: Taking taylor expansion of (* V l) in V
3.148 * [taylor]: Taking taylor expansion of V in V
3.148 * [taylor]: Taking taylor expansion of l in V
3.148 * [taylor]: Taking taylor expansion of A in V
3.149 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in A
3.149 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.149 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.149 * [taylor]: Taking taylor expansion of -1 in A
3.149 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.149 * [taylor]: Taking taylor expansion of (* V l) in A
3.149 * [taylor]: Taking taylor expansion of V in A
3.149 * [taylor]: Taking taylor expansion of l in A
3.149 * [taylor]: Taking taylor expansion of A in A
3.149 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in A
3.149 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.149 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.149 * [taylor]: Taking taylor expansion of -1 in A
3.149 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.149 * [taylor]: Taking taylor expansion of (* V l) in A
3.149 * [taylor]: Taking taylor expansion of V in A
3.149 * [taylor]: Taking taylor expansion of l in A
3.149 * [taylor]: Taking taylor expansion of A in A
3.150 * [taylor]: Taking taylor expansion of (sqrt (* V (* NAN l))) in V
3.150 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
3.150 * [taylor]: Taking taylor expansion of V in V
3.150 * [taylor]: Taking taylor expansion of (* NAN l) in V
3.150 * [taylor]: Taking taylor expansion of NAN in V
3.150 * [taylor]: Taking taylor expansion of l in V
3.150 * [taylor]: Taking taylor expansion of 0 in l
3.150 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (* (pow V 3) (* (pow NAN 5) (pow l 3))))) in V
3.150 * [taylor]: Taking taylor expansion of 1/2 in V
3.150 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
3.150 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
3.150 * [taylor]: Taking taylor expansion of (pow V 3) in V
3.150 * [taylor]: Taking taylor expansion of V in V
3.150 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
3.150 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
3.150 * [taylor]: Taking taylor expansion of NAN in V
3.150 * [taylor]: Taking taylor expansion of (pow l 3) in V
3.150 * [taylor]: Taking taylor expansion of l in V
3.151 * [taylor]: Taking taylor expansion of (* NAN (* NAN l)) in l
3.151 * [taylor]: Taking taylor expansion of NAN in l
3.151 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.151 * [taylor]: Taking taylor expansion of NAN in l
3.151 * [taylor]: Taking taylor expansion of l in l
3.152 * [taylor]: Taking taylor expansion of (* 3/8 (sqrt (* (pow V 5) (* (pow NAN 9) (pow l 5))))) in V
3.152 * [taylor]: Taking taylor expansion of 3/8 in V
3.152 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 5) (* (pow NAN 9) (pow l 5)))) in V
3.152 * [taylor]: Taking taylor expansion of (* (pow V 5) (* (pow NAN 9) (pow l 5))) in V
3.152 * [taylor]: Taking taylor expansion of (pow V 5) in V
3.152 * [taylor]: Taking taylor expansion of V in V
3.152 * [taylor]: Taking taylor expansion of (* (pow NAN 9) (pow l 5)) in V
3.152 * [taylor]: Taking taylor expansion of (pow NAN 9) in V
3.152 * [taylor]: Taking taylor expansion of NAN in V
3.152 * [taylor]: Taking taylor expansion of (pow l 5) in V
3.152 * [taylor]: Taking taylor expansion of l in V
3.153 * [taylor]: Taking taylor expansion of 0 in l
3.153 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow l 2))) in l
3.153 * [taylor]: Taking taylor expansion of NAN in l
3.153 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 2)) in l
3.153 * [taylor]: Taking taylor expansion of (pow NAN 4) in l
3.153 * [taylor]: Taking taylor expansion of NAN in l
3.153 * [taylor]: Taking taylor expansion of (pow l 2) in l
3.153 * [taylor]: Taking taylor expansion of l in l
3.155 * [taylor]: Taking taylor expansion of (* 5/16 (sqrt (* (pow V 7) (* (pow NAN 13) (pow l 7))))) in V
3.155 * [taylor]: Taking taylor expansion of 5/16 in V
3.155 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 7) (* (pow NAN 13) (pow l 7)))) in V
3.155 * [taylor]: Taking taylor expansion of (* (pow V 7) (* (pow NAN 13) (pow l 7))) in V
3.155 * [taylor]: Taking taylor expansion of (pow V 7) in V
3.155 * [taylor]: Taking taylor expansion of V in V
3.155 * [taylor]: Taking taylor expansion of (* (pow NAN 13) (pow l 7)) in V
3.155 * [taylor]: Taking taylor expansion of (pow NAN 13) in V
3.155 * [taylor]: Taking taylor expansion of NAN in V
3.155 * [taylor]: Taking taylor expansion of (pow l 7) in V
3.155 * [taylor]: Taking taylor expansion of l in V
3.156 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 6) (pow l 3))) in l
3.156 * [taylor]: Taking taylor expansion of 1/2 in l
3.156 * [taylor]: Taking taylor expansion of (* (pow NAN 6) (pow l 3)) in l
3.156 * [taylor]: Taking taylor expansion of (pow NAN 6) in l
3.156 * [taylor]: Taking taylor expansion of NAN in l
3.156 * [taylor]: Taking taylor expansion of (pow l 3) in l
3.156 * [taylor]: Taking taylor expansion of l in l
3.157 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 7) (pow l 3))) in l
3.157 * [taylor]: Taking taylor expansion of NAN in l
3.157 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow l 3)) in l
3.157 * [taylor]: Taking taylor expansion of (pow NAN 7) in l
3.157 * [taylor]: Taking taylor expansion of NAN in l
3.157 * [taylor]: Taking taylor expansion of (pow l 3) in l
3.157 * [taylor]: Taking taylor expansion of l in l
3.159 * [taylor]: Taking taylor expansion of (* 35/128 (sqrt (* (pow V 9) (* (pow NAN 17) (pow l 9))))) in V
3.159 * [taylor]: Taking taylor expansion of 35/128 in V
3.159 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 9) (* (pow NAN 17) (pow l 9)))) in V
3.159 * [taylor]: Taking taylor expansion of (* (pow V 9) (* (pow NAN 17) (pow l 9))) in V
3.159 * [taylor]: Taking taylor expansion of (pow V 9) in V
3.159 * [taylor]: Taking taylor expansion of V in V
3.159 * [taylor]: Taking taylor expansion of (* (pow NAN 17) (pow l 9)) in V
3.159 * [taylor]: Taking taylor expansion of (pow NAN 17) in V
3.159 * [taylor]: Taking taylor expansion of NAN in V
3.159 * [taylor]: Taking taylor expansion of (pow l 9) in V
3.159 * [taylor]: Taking taylor expansion of l in V
3.160 * [taylor]: Taking taylor expansion of 0 in l
3.161 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 13) (pow l 6))) in l
3.161 * [taylor]: Taking taylor expansion of 1/2 in l
3.161 * [taylor]: Taking taylor expansion of (* (pow NAN 13) (pow l 6)) in l
3.161 * [taylor]: Taking taylor expansion of (pow NAN 13) in l
3.161 * [taylor]: Taking taylor expansion of NAN in l
3.161 * [taylor]: Taking taylor expansion of (pow l 6) in l
3.161 * [taylor]: Taking taylor expansion of l in l
3.162 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 10) (pow l 4))) in l
3.162 * [taylor]: Taking taylor expansion of NAN in l
3.162 * [taylor]: Taking taylor expansion of (* (pow NAN 10) (pow l 4)) in l
3.162 * [taylor]: Taking taylor expansion of (pow NAN 10) in l
3.162 * [taylor]: Taking taylor expansion of NAN in l
3.162 * [taylor]: Taking taylor expansion of (pow l 4) in l
3.162 * [taylor]: Taking taylor expansion of l in l
3.162 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.162 * [approximate]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in (A V l) around 0
3.162 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in l
3.162 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in l
3.162 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in l
3.162 * [taylor]: Taking taylor expansion of 1/4 in l
3.162 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l
3.162 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
3.162 * [taylor]: Taking taylor expansion of A in l
3.162 * [taylor]: Taking taylor expansion of (* V l) in l
3.162 * [taylor]: Taking taylor expansion of V in l
3.162 * [taylor]: Taking taylor expansion of l in l
3.162 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in V
3.162 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in V
3.162 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in V
3.162 * [taylor]: Taking taylor expansion of 1/4 in V
3.163 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V
3.163 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
3.163 * [taylor]: Taking taylor expansion of A in V
3.163 * [taylor]: Taking taylor expansion of (* V l) in V
3.163 * [taylor]: Taking taylor expansion of V in V
3.163 * [taylor]: Taking taylor expansion of l in V
3.163 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in A
3.163 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in A
3.163 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in A
3.163 * [taylor]: Taking taylor expansion of 1/4 in A
3.163 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
3.163 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.163 * [taylor]: Taking taylor expansion of A in A
3.163 * [taylor]: Taking taylor expansion of (* V l) in A
3.163 * [taylor]: Taking taylor expansion of V in A
3.163 * [taylor]: Taking taylor expansion of l in A
3.163 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/4) in A
3.163 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ A (* V l))))) in A
3.163 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ A (* V l)))) in A
3.163 * [taylor]: Taking taylor expansion of 1/4 in A
3.163 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
3.163 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
3.163 * [taylor]: Taking taylor expansion of A in A
3.163 * [taylor]: Taking taylor expansion of (* V l) in A
3.163 * [taylor]: Taking taylor expansion of V in A
3.163 * [taylor]: Taking taylor expansion of l in A
3.164 * [taylor]: Taking taylor expansion of (exp (* 1/4 (+ (log (/ 1 (* V l))) (log A)))) in V
3.164 * [taylor]: Taking taylor expansion of (* 1/4 (+ (log (/ 1 (* V l))) (log A))) in V
3.164 * [taylor]: Taking taylor expansion of 1/4 in V
3.164 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* V l))) (log A)) in V
3.164 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V
3.164 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
3.164 * [taylor]: Taking taylor expansion of (* V l) in V
3.164 * [taylor]: Taking taylor expansion of V in V
3.164 * [taylor]: Taking taylor expansion of l in V
3.164 * [taylor]: Taking taylor expansion of (log A) in V
3.164 * [taylor]: Taking taylor expansion of A in V
3.164 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (+ (log A) (log (/ 1 l))) (log V)))) in l
3.164 * [taylor]: Taking taylor expansion of (* 1/4 (- (+ (log A) (log (/ 1 l))) (log V))) in l
3.164 * [taylor]: Taking taylor expansion of 1/4 in l
3.164 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l
3.164 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l
3.164 * [taylor]: Taking taylor expansion of (log A) in l
3.164 * [taylor]: Taking taylor expansion of A in l
3.164 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.164 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.164 * [taylor]: Taking taylor expansion of l in l
3.165 * [taylor]: Taking taylor expansion of (log V) in l
3.165 * [taylor]: Taking taylor expansion of V in l
3.165 * [taylor]: Taking taylor expansion of 0 in V
3.166 * [taylor]: Taking taylor expansion of 0 in l
3.166 * [taylor]: Taking taylor expansion of 0 in l
3.167 * [taylor]: Taking taylor expansion of 0 in V
3.167 * [taylor]: Taking taylor expansion of 0 in l
3.167 * [taylor]: Taking taylor expansion of 0 in l
3.168 * [taylor]: Taking taylor expansion of 0 in l
3.168 * [approximate]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in (A V l) around 0
3.169 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in l
3.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in l
3.169 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in l
3.169 * [taylor]: Taking taylor expansion of 1/4 in l
3.169 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
3.169 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.169 * [taylor]: Taking taylor expansion of (* V l) in l
3.169 * [taylor]: Taking taylor expansion of V in l
3.169 * [taylor]: Taking taylor expansion of l in l
3.169 * [taylor]: Taking taylor expansion of A in l
3.169 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in V
3.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in V
3.169 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in V
3.169 * [taylor]: Taking taylor expansion of 1/4 in V
3.169 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
3.169 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.169 * [taylor]: Taking taylor expansion of (* V l) in V
3.169 * [taylor]: Taking taylor expansion of V in V
3.169 * [taylor]: Taking taylor expansion of l in V
3.169 * [taylor]: Taking taylor expansion of A in V
3.169 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in A
3.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in A
3.169 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in A
3.169 * [taylor]: Taking taylor expansion of 1/4 in A
3.169 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
3.169 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.169 * [taylor]: Taking taylor expansion of (* V l) in A
3.169 * [taylor]: Taking taylor expansion of V in A
3.169 * [taylor]: Taking taylor expansion of l in A
3.169 * [taylor]: Taking taylor expansion of A in A
3.170 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/4) in A
3.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ (* V l) A)))) in A
3.170 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ (* V l) A))) in A
3.170 * [taylor]: Taking taylor expansion of 1/4 in A
3.170 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
3.170 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.170 * [taylor]: Taking taylor expansion of (* V l) in A
3.170 * [taylor]: Taking taylor expansion of V in A
3.170 * [taylor]: Taking taylor expansion of l in A
3.170 * [taylor]: Taking taylor expansion of A in A
3.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log (* V l)) (log A)))) in V
3.170 * [taylor]: Taking taylor expansion of (* 1/4 (- (log (* V l)) (log A))) in V
3.170 * [taylor]: Taking taylor expansion of 1/4 in V
3.170 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
3.170 * [taylor]: Taking taylor expansion of (log (* V l)) in V
3.170 * [taylor]: Taking taylor expansion of (* V l) in V
3.170 * [taylor]: Taking taylor expansion of V in V
3.170 * [taylor]: Taking taylor expansion of l in V
3.170 * [taylor]: Taking taylor expansion of (log A) in V
3.170 * [taylor]: Taking taylor expansion of A in V
3.171 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (+ (log V) (log l)) (log A)))) in l
3.171 * [taylor]: Taking taylor expansion of (* 1/4 (- (+ (log V) (log l)) (log A))) in l
3.171 * [taylor]: Taking taylor expansion of 1/4 in l
3.171 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
3.171 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
3.171 * [taylor]: Taking taylor expansion of (log V) in l
3.171 * [taylor]: Taking taylor expansion of V in l
3.171 * [taylor]: Taking taylor expansion of (log l) in l
3.171 * [taylor]: Taking taylor expansion of l in l
3.171 * [taylor]: Taking taylor expansion of (log A) in l
3.171 * [taylor]: Taking taylor expansion of A in l
3.172 * [taylor]: Taking taylor expansion of 0 in V
3.172 * [taylor]: Taking taylor expansion of 0 in l
3.172 * [taylor]: Taking taylor expansion of 0 in l
3.173 * [taylor]: Taking taylor expansion of 0 in V
3.173 * [taylor]: Taking taylor expansion of 0 in l
3.173 * [taylor]: Taking taylor expansion of 0 in l
3.174 * [taylor]: Taking taylor expansion of 0 in l
3.174 * [approximate]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in (A V l) around 0
3.174 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in l
3.174 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
3.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
3.175 * [taylor]: Taking taylor expansion of -1 in l
3.175 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
3.175 * [taylor]: Taking taylor expansion of (* V l) in l
3.175 * [taylor]: Taking taylor expansion of V in l
3.175 * [taylor]: Taking taylor expansion of l in l
3.175 * [taylor]: Taking taylor expansion of A in l
3.175 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in V
3.175 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
3.175 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
3.175 * [taylor]: Taking taylor expansion of -1 in V
3.175 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
3.175 * [taylor]: Taking taylor expansion of (* V l) in V
3.175 * [taylor]: Taking taylor expansion of V in V
3.175 * [taylor]: Taking taylor expansion of l in V
3.175 * [taylor]: Taking taylor expansion of A in V
3.175 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in A
3.175 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.175 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.175 * [taylor]: Taking taylor expansion of -1 in A
3.175 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.175 * [taylor]: Taking taylor expansion of (* V l) in A
3.175 * [taylor]: Taking taylor expansion of V in A
3.175 * [taylor]: Taking taylor expansion of l in A
3.175 * [taylor]: Taking taylor expansion of A in A
3.176 * [taylor]: Taking taylor expansion of (sqrt (sqrt (* -1 (/ (* V l) A)))) in A
3.176 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
3.176 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
3.176 * [taylor]: Taking taylor expansion of -1 in A
3.176 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
3.176 * [taylor]: Taking taylor expansion of (* V l) in A
3.176 * [taylor]: Taking taylor expansion of V in A
3.176 * [taylor]: Taking taylor expansion of l in A
3.176 * [taylor]: Taking taylor expansion of A in A
3.177 * [taylor]: Taking taylor expansion of (sqrt (* V (* NAN l))) in V
3.177 * [taylor]: Taking taylor expansion of (* V (* NAN l)) in V
3.177 * [taylor]: Taking taylor expansion of V in V
3.177 * [taylor]: Taking taylor expansion of (* NAN l) in V
3.177 * [taylor]: Taking taylor expansion of NAN in V
3.177 * [taylor]: Taking taylor expansion of l in V
3.177 * [taylor]: Taking taylor expansion of 0 in l
3.177 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (* (pow V 3) (* (pow NAN 5) (pow l 3))))) in V
3.177 * [taylor]: Taking taylor expansion of 1/2 in V
3.177 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 3) (* (pow NAN 5) (pow l 3)))) in V
3.177 * [taylor]: Taking taylor expansion of (* (pow V 3) (* (pow NAN 5) (pow l 3))) in V
3.177 * [taylor]: Taking taylor expansion of (pow V 3) in V
3.177 * [taylor]: Taking taylor expansion of V in V
3.177 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow l 3)) in V
3.177 * [taylor]: Taking taylor expansion of (pow NAN 5) in V
3.177 * [taylor]: Taking taylor expansion of NAN in V
3.177 * [taylor]: Taking taylor expansion of (pow l 3) in V
3.177 * [taylor]: Taking taylor expansion of l in V
3.178 * [taylor]: Taking taylor expansion of (* NAN (* NAN l)) in l
3.178 * [taylor]: Taking taylor expansion of NAN in l
3.178 * [taylor]: Taking taylor expansion of (* NAN l) in l
3.178 * [taylor]: Taking taylor expansion of NAN in l
3.178 * [taylor]: Taking taylor expansion of l in l
3.179 * [taylor]: Taking taylor expansion of (* 3/8 (sqrt (* (pow V 5) (* (pow NAN 9) (pow l 5))))) in V
3.179 * [taylor]: Taking taylor expansion of 3/8 in V
3.179 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 5) (* (pow NAN 9) (pow l 5)))) in V
3.179 * [taylor]: Taking taylor expansion of (* (pow V 5) (* (pow NAN 9) (pow l 5))) in V
3.179 * [taylor]: Taking taylor expansion of (pow V 5) in V
3.179 * [taylor]: Taking taylor expansion of V in V
3.179 * [taylor]: Taking taylor expansion of (* (pow NAN 9) (pow l 5)) in V
3.179 * [taylor]: Taking taylor expansion of (pow NAN 9) in V
3.179 * [taylor]: Taking taylor expansion of NAN in V
3.179 * [taylor]: Taking taylor expansion of (pow l 5) in V
3.179 * [taylor]: Taking taylor expansion of l in V
3.179 * [taylor]: Taking taylor expansion of 0 in l
3.180 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow l 2))) in l
3.180 * [taylor]: Taking taylor expansion of NAN in l
3.180 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow l 2)) in l
3.180 * [taylor]: Taking taylor expansion of (pow NAN 4) in l
3.180 * [taylor]: Taking taylor expansion of NAN in l
3.180 * [taylor]: Taking taylor expansion of (pow l 2) in l
3.180 * [taylor]: Taking taylor expansion of l in l
3.181 * [taylor]: Taking taylor expansion of (* 5/16 (sqrt (* (pow V 7) (* (pow NAN 13) (pow l 7))))) in V
3.181 * [taylor]: Taking taylor expansion of 5/16 in V
3.181 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 7) (* (pow NAN 13) (pow l 7)))) in V
3.181 * [taylor]: Taking taylor expansion of (* (pow V 7) (* (pow NAN 13) (pow l 7))) in V
3.182 * [taylor]: Taking taylor expansion of (pow V 7) in V
3.182 * [taylor]: Taking taylor expansion of V in V
3.182 * [taylor]: Taking taylor expansion of (* (pow NAN 13) (pow l 7)) in V
3.182 * [taylor]: Taking taylor expansion of (pow NAN 13) in V
3.182 * [taylor]: Taking taylor expansion of NAN in V
3.182 * [taylor]: Taking taylor expansion of (pow l 7) in V
3.182 * [taylor]: Taking taylor expansion of l in V
3.182 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 6) (pow l 3))) in l
3.183 * [taylor]: Taking taylor expansion of 1/2 in l
3.183 * [taylor]: Taking taylor expansion of (* (pow NAN 6) (pow l 3)) in l
3.183 * [taylor]: Taking taylor expansion of (pow NAN 6) in l
3.183 * [taylor]: Taking taylor expansion of NAN in l
3.183 * [taylor]: Taking taylor expansion of (pow l 3) in l
3.183 * [taylor]: Taking taylor expansion of l in l
3.183 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 7) (pow l 3))) in l
3.183 * [taylor]: Taking taylor expansion of NAN in l
3.183 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow l 3)) in l
3.183 * [taylor]: Taking taylor expansion of (pow NAN 7) in l
3.183 * [taylor]: Taking taylor expansion of NAN in l
3.183 * [taylor]: Taking taylor expansion of (pow l 3) in l
3.183 * [taylor]: Taking taylor expansion of l in l
3.185 * [taylor]: Taking taylor expansion of (* 35/128 (sqrt (* (pow V 9) (* (pow NAN 17) (pow l 9))))) in V
3.185 * [taylor]: Taking taylor expansion of 35/128 in V
3.185 * [taylor]: Taking taylor expansion of (sqrt (* (pow V 9) (* (pow NAN 17) (pow l 9)))) in V
3.185 * [taylor]: Taking taylor expansion of (* (pow V 9) (* (pow NAN 17) (pow l 9))) in V
3.185 * [taylor]: Taking taylor expansion of (pow V 9) in V
3.185 * [taylor]: Taking taylor expansion of V in V
3.185 * [taylor]: Taking taylor expansion of (* (pow NAN 17) (pow l 9)) in V
3.185 * [taylor]: Taking taylor expansion of (pow NAN 17) in V
3.185 * [taylor]: Taking taylor expansion of NAN in V
3.185 * [taylor]: Taking taylor expansion of (pow l 9) in V
3.185 * [taylor]: Taking taylor expansion of l in V
3.186 * [taylor]: Taking taylor expansion of 0 in l
3.187 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 13) (pow l 6))) in l
3.187 * [taylor]: Taking taylor expansion of 1/2 in l
3.187 * [taylor]: Taking taylor expansion of (* (pow NAN 13) (pow l 6)) in l
3.187 * [taylor]: Taking taylor expansion of (pow NAN 13) in l
3.187 * [taylor]: Taking taylor expansion of NAN in l
3.187 * [taylor]: Taking taylor expansion of (pow l 6) in l
3.187 * [taylor]: Taking taylor expansion of l in l
3.188 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 10) (pow l 4))) in l
3.188 * [taylor]: Taking taylor expansion of NAN in l
3.188 * [taylor]: Taking taylor expansion of (* (pow NAN 10) (pow l 4)) in l
3.188 * [taylor]: Taking taylor expansion of (pow NAN 10) in l
3.188 * [taylor]: Taking taylor expansion of NAN in l
3.188 * [taylor]: Taking taylor expansion of (pow l 4) in l
3.188 * [taylor]: Taking taylor expansion of l in l
3.188 * * * [progress]: simplifying candidates
3.189 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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 (sqrt (sqrt (/ A (* V l)))))
  (exp (sqrt (sqrt (/ A (* V l)))))
  (* (cbrt (sqrt (sqrt (/ A (* V l))))) (cbrt (sqrt (sqrt (/ A (* V l))))))
  (cbrt (sqrt (sqrt (/ A (* V l)))))
  (* (* (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l)))))
  (sqrt (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))))
  (sqrt (cbrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (sqrt (sqrt (/ (cbrt A) l)))
  (sqrt (sqrt (/ (sqrt A) V)))
  (sqrt (sqrt (/ (sqrt A) l)))
  (sqrt (sqrt (/ 1 V)))
  (sqrt (sqrt (/ A l)))
  (sqrt (sqrt 1))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (/ 1 (* V l))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt 1)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (* V l)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (log (sqrt (sqrt (/ A (* V l)))))
  (exp (sqrt (sqrt (/ A (* V l)))))
  (* (cbrt (sqrt (sqrt (/ A (* V l))))) (cbrt (sqrt (sqrt (/ A (* V l))))))
  (cbrt (sqrt (sqrt (/ A (* V l)))))
  (* (* (sqrt (sqrt (/ A (* V l)))) (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l)))))
  (sqrt (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))))
  (sqrt (cbrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (sqrt (sqrt (/ (cbrt A) l)))
  (sqrt (sqrt (/ (sqrt A) V)))
  (sqrt (sqrt (/ (sqrt A) l)))
  (sqrt (sqrt (/ 1 V)))
  (sqrt (sqrt (/ A l)))
  (sqrt (sqrt 1))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (/ 1 (* V l))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt 1)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (* V l)))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (exp (* 1/4 (- (+ (log 1) (log A)) (+ (log l) (log V)))))
  (exp (* 1/4 (- (+ (log (/ 1 V)) (+ (log 1) (log (/ 1 l)))) (log (/ 1 A)))))
  (/ (pow NAN 2) (* V l))
  (exp (* 1/4 (- (+ (log 1) (log A)) (+ (log l) (log V)))))
  (exp (* 1/4 (- (+ (log (/ 1 V)) (+ (log 1) (log (/ 1 l)))) (log (/ 1 A)))))
  (/ (pow NAN 2) (* V l))
3.192 * * [simplify]: iteration  0 :  89  enodes  (cost  910 )
3.202 * * [simplify]: iteration  1 :  143  enodes  (cost  794 )
3.225 * * [simplify]: iteration  2 :  286  enodes  (cost  762 )
3.300 * * [simplify]: iteration  3 :  644  enodes  (cost  762 )
3.508 * * [simplify]: iteration  4 :  1230  enodes  (cost  746 )
4.142 * * [simplify]: iteration  5 :  3137  enodes  (cost  746 )
5.195 * * [simplify]: iteration  done :  5000  enodes  (cost  746 )
5.195 * [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 (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 (sqrt (sqrt (/ A (* V l)))))
  (exp (sqrt (sqrt (/ A (* V l)))))
  (* (cbrt (sqrt (sqrt (/ A (* V l))))) (cbrt (sqrt (sqrt (/ A (* V l))))))
  (cbrt (sqrt (sqrt (/ A (* V l)))))
  (pow (sqrt (sqrt (/ A (* V l)))) 3)
  (fabs (cbrt (sqrt (/ A (* V l)))))
  (sqrt (cbrt (sqrt (/ A (* V l)))))
  (sqrt (fabs (cbrt (/ A (* V l)))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (sqrt (sqrt (/ (cbrt A) l)))
  (sqrt (sqrt (/ (sqrt A) V)))
  (sqrt (sqrt (/ (sqrt A) l)))
  (sqrt (sqrt (/ 1 V)))
  (sqrt (sqrt (/ A l)))
  1
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (/ 1 (* V l))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  1
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (* V l)))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (log (sqrt (sqrt (/ A (* V l)))))
  (exp (sqrt (sqrt (/ A (* V l)))))
  (* (cbrt (sqrt (sqrt (/ A (* V l))))) (cbrt (sqrt (sqrt (/ A (* V l))))))
  (cbrt (sqrt (sqrt (/ A (* V l)))))
  (pow (sqrt (sqrt (/ A (* V l)))) 3)
  (fabs (cbrt (sqrt (/ A (* V l)))))
  (sqrt (cbrt (sqrt (/ A (* V l)))))
  (sqrt (fabs (cbrt (/ A (* V l)))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (sqrt (sqrt (/ (cbrt A) l)))
  (sqrt (sqrt (/ (sqrt A) V)))
  (sqrt (sqrt (/ (sqrt A) l)))
  (sqrt (sqrt (/ 1 V)))
  (sqrt (sqrt (/ A l)))
  1
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (/ 1 (* V l))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  1
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt A))
  (sqrt (sqrt (* V l)))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (sqrt (sqrt (sqrt (/ A (* V l)))))
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (pow (/ A (* V l)) 1/4)
  (pow (/ A (* V l)) 1/4)
  (/ (pow NAN 2) (* V l))
  (pow (/ A (* V l)) 1/4)
  (pow (/ A (* V l)) 1/4)
  (/ (pow NAN 2) (* V l))
5.196 * * * [progress]: adding candidates to table
5.290 * * [progress]: iteration 3 / 4
5.290 * * * [progress]: picking best candidate
5.349 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))>
5.349 * * * [progress]: localizing error
5.364 * * * [progress]: generating rewritten candidates
5.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
5.369 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
5.373 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
5.377 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
5.384 * * * [progress]: generating series expansions
5.384 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
5.384 * [approximate]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in (A V l) around 0
5.384 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in l
5.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in l
5.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in l
5.384 * [taylor]: Taking taylor expansion of 1/3 in l
5.384 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l
5.384 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
5.384 * [taylor]: Taking taylor expansion of A in l
5.384 * [taylor]: Taking taylor expansion of (* V l) in l
5.384 * [taylor]: Taking taylor expansion of V in l
5.384 * [taylor]: Taking taylor expansion of l in l
5.384 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in V
5.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in V
5.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in V
5.384 * [taylor]: Taking taylor expansion of 1/3 in V
5.384 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V
5.384 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
5.384 * [taylor]: Taking taylor expansion of A in V
5.384 * [taylor]: Taking taylor expansion of (* V l) in V
5.384 * [taylor]: Taking taylor expansion of V in V
5.384 * [taylor]: Taking taylor expansion of l in V
5.385 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in A
5.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in A
5.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in A
5.385 * [taylor]: Taking taylor expansion of 1/3 in A
5.385 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.385 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.385 * [taylor]: Taking taylor expansion of A in A
5.385 * [taylor]: Taking taylor expansion of (* V l) in A
5.385 * [taylor]: Taking taylor expansion of V in A
5.385 * [taylor]: Taking taylor expansion of l in A
5.385 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in A
5.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in A
5.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in A
5.385 * [taylor]: Taking taylor expansion of 1/3 in A
5.385 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.385 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.385 * [taylor]: Taking taylor expansion of A in A
5.385 * [taylor]: Taking taylor expansion of (* V l) in A
5.385 * [taylor]: Taking taylor expansion of V in A
5.385 * [taylor]: Taking taylor expansion of l in A
5.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* V l))) (log A)))) in V
5.386 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* V l))) (log A))) in V
5.386 * [taylor]: Taking taylor expansion of 1/3 in V
5.386 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* V l))) (log A)) in V
5.386 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V
5.386 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
5.386 * [taylor]: Taking taylor expansion of (* V l) in V
5.386 * [taylor]: Taking taylor expansion of V in V
5.386 * [taylor]: Taking taylor expansion of l in V
5.386 * [taylor]: Taking taylor expansion of (log A) in V
5.386 * [taylor]: Taking taylor expansion of A in V
5.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log A) (log (/ 1 l))) (log V)))) in l
5.386 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log A) (log (/ 1 l))) (log V))) in l
5.386 * [taylor]: Taking taylor expansion of 1/3 in l
5.386 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l
5.386 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l
5.386 * [taylor]: Taking taylor expansion of (log A) in l
5.386 * [taylor]: Taking taylor expansion of A in l
5.386 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
5.386 * [taylor]: Taking taylor expansion of (/ 1 l) in l
5.386 * [taylor]: Taking taylor expansion of l in l
5.386 * [taylor]: Taking taylor expansion of (log V) in l
5.386 * [taylor]: Taking taylor expansion of V in l
5.387 * [taylor]: Taking taylor expansion of 0 in V
5.387 * [taylor]: Taking taylor expansion of 0 in l
5.388 * [taylor]: Taking taylor expansion of 0 in l
5.389 * [taylor]: Taking taylor expansion of 0 in V
5.389 * [taylor]: Taking taylor expansion of 0 in l
5.389 * [taylor]: Taking taylor expansion of 0 in l
5.390 * [taylor]: Taking taylor expansion of 0 in l
5.390 * [approximate]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in (A V l) around 0
5.390 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in l
5.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in l
5.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in l
5.390 * [taylor]: Taking taylor expansion of 1/3 in l
5.390 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.390 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.390 * [taylor]: Taking taylor expansion of (* V l) in l
5.390 * [taylor]: Taking taylor expansion of V in l
5.391 * [taylor]: Taking taylor expansion of l in l
5.391 * [taylor]: Taking taylor expansion of A in l
5.391 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in V
5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in V
5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in V
5.391 * [taylor]: Taking taylor expansion of 1/3 in V
5.391 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.391 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.391 * [taylor]: Taking taylor expansion of (* V l) in V
5.391 * [taylor]: Taking taylor expansion of V in V
5.391 * [taylor]: Taking taylor expansion of l in V
5.391 * [taylor]: Taking taylor expansion of A in V
5.391 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.391 * [taylor]: Taking taylor expansion of 1/3 in A
5.391 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.391 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.391 * [taylor]: Taking taylor expansion of (* V l) in A
5.391 * [taylor]: Taking taylor expansion of V in A
5.391 * [taylor]: Taking taylor expansion of l in A
5.391 * [taylor]: Taking taylor expansion of A in A
5.392 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.392 * [taylor]: Taking taylor expansion of 1/3 in A
5.392 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.392 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.392 * [taylor]: Taking taylor expansion of (* V l) in A
5.392 * [taylor]: Taking taylor expansion of V in A
5.392 * [taylor]: Taking taylor expansion of l in A
5.392 * [taylor]: Taking taylor expansion of A in A
5.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* V l)) (log A)))) in V
5.392 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* V l)) (log A))) in V
5.392 * [taylor]: Taking taylor expansion of 1/3 in V
5.392 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.392 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.392 * [taylor]: Taking taylor expansion of (* V l) in V
5.392 * [taylor]: Taking taylor expansion of V in V
5.392 * [taylor]: Taking taylor expansion of l in V
5.392 * [taylor]: Taking taylor expansion of (log A) in V
5.392 * [taylor]: Taking taylor expansion of A in V
5.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log V) (log l)) (log A)))) in l
5.392 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log V) (log l)) (log A))) in l
5.393 * [taylor]: Taking taylor expansion of 1/3 in l
5.393 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.393 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.393 * [taylor]: Taking taylor expansion of (log V) in l
5.393 * [taylor]: Taking taylor expansion of V in l
5.393 * [taylor]: Taking taylor expansion of (log l) in l
5.393 * [taylor]: Taking taylor expansion of l in l
5.393 * [taylor]: Taking taylor expansion of (log A) in l
5.393 * [taylor]: Taking taylor expansion of A in l
5.394 * [taylor]: Taking taylor expansion of 0 in V
5.394 * [taylor]: Taking taylor expansion of 0 in l
5.394 * [taylor]: Taking taylor expansion of 0 in l
5.395 * [taylor]: Taking taylor expansion of 0 in V
5.396 * [taylor]: Taking taylor expansion of 0 in l
5.396 * [taylor]: Taking taylor expansion of 0 in l
5.396 * [taylor]: Taking taylor expansion of 0 in l
5.397 * [approximate]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in (A V l) around 0
5.397 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in l
5.397 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in l
5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in l
5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in l
5.397 * [taylor]: Taking taylor expansion of 1/3 in l
5.397 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.397 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.397 * [taylor]: Taking taylor expansion of (* V l) in l
5.397 * [taylor]: Taking taylor expansion of V in l
5.397 * [taylor]: Taking taylor expansion of l in l
5.397 * [taylor]: Taking taylor expansion of A in l
5.397 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.397 * [taylor]: Taking taylor expansion of -1 in l
5.397 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in V
5.397 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in V
5.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in V
5.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in V
5.397 * [taylor]: Taking taylor expansion of 1/3 in V
5.397 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.397 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.397 * [taylor]: Taking taylor expansion of (* V l) in V
5.397 * [taylor]: Taking taylor expansion of V in V
5.397 * [taylor]: Taking taylor expansion of l in V
5.397 * [taylor]: Taking taylor expansion of A in V
5.398 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.398 * [taylor]: Taking taylor expansion of -1 in V
5.398 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in A
5.398 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.398 * [taylor]: Taking taylor expansion of 1/3 in A
5.398 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.398 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.398 * [taylor]: Taking taylor expansion of (* V l) in A
5.398 * [taylor]: Taking taylor expansion of V in A
5.398 * [taylor]: Taking taylor expansion of l in A
5.398 * [taylor]: Taking taylor expansion of A in A
5.398 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.398 * [taylor]: Taking taylor expansion of -1 in A
5.398 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in A
5.398 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.398 * [taylor]: Taking taylor expansion of 1/3 in A
5.398 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.398 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.398 * [taylor]: Taking taylor expansion of (* V l) in A
5.398 * [taylor]: Taking taylor expansion of V in A
5.399 * [taylor]: Taking taylor expansion of l in A
5.399 * [taylor]: Taking taylor expansion of A in A
5.399 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.399 * [taylor]: Taking taylor expansion of -1 in A
5.399 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* V l)) (log A))))) in V
5.399 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.399 * [taylor]: Taking taylor expansion of -1 in V
5.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* V l)) (log A)))) in V
5.399 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* V l)) (log A))) in V
5.399 * [taylor]: Taking taylor expansion of 1/3 in V
5.399 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.399 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.399 * [taylor]: Taking taylor expansion of (* V l) in V
5.399 * [taylor]: Taking taylor expansion of V in V
5.399 * [taylor]: Taking taylor expansion of l in V
5.399 * [taylor]: Taking taylor expansion of (log A) in V
5.399 * [taylor]: Taking taylor expansion of A in V
5.400 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log V) (log l)) (log A))))) in l
5.400 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.400 * [taylor]: Taking taylor expansion of -1 in l
5.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log V) (log l)) (log A)))) in l
5.400 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log V) (log l)) (log A))) in l
5.400 * [taylor]: Taking taylor expansion of 1/3 in l
5.400 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.400 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.400 * [taylor]: Taking taylor expansion of (log V) in l
5.400 * [taylor]: Taking taylor expansion of V in l
5.400 * [taylor]: Taking taylor expansion of (log l) in l
5.400 * [taylor]: Taking taylor expansion of l in l
5.400 * [taylor]: Taking taylor expansion of (log A) in l
5.400 * [taylor]: Taking taylor expansion of A in l
5.401 * [taylor]: Taking taylor expansion of 0 in V
5.401 * [taylor]: Taking taylor expansion of 0 in l
5.402 * [taylor]: Taking taylor expansion of 0 in l
5.404 * [taylor]: Taking taylor expansion of 0 in V
5.404 * [taylor]: Taking taylor expansion of 0 in l
5.404 * [taylor]: Taking taylor expansion of 0 in l
5.405 * [taylor]: Taking taylor expansion of 0 in l
5.405 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
5.405 * [approximate]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in (A V l) around 0
5.405 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in l
5.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in l
5.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in l
5.405 * [taylor]: Taking taylor expansion of 1/3 in l
5.405 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l
5.405 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
5.405 * [taylor]: Taking taylor expansion of A in l
5.405 * [taylor]: Taking taylor expansion of (* V l) in l
5.405 * [taylor]: Taking taylor expansion of V in l
5.405 * [taylor]: Taking taylor expansion of l in l
5.405 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in V
5.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in V
5.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in V
5.405 * [taylor]: Taking taylor expansion of 1/3 in V
5.405 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V
5.405 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
5.406 * [taylor]: Taking taylor expansion of A in V
5.406 * [taylor]: Taking taylor expansion of (* V l) in V
5.406 * [taylor]: Taking taylor expansion of V in V
5.406 * [taylor]: Taking taylor expansion of l in V
5.406 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in A
5.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in A
5.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in A
5.406 * [taylor]: Taking taylor expansion of 1/3 in A
5.406 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.406 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.406 * [taylor]: Taking taylor expansion of A in A
5.406 * [taylor]: Taking taylor expansion of (* V l) in A
5.406 * [taylor]: Taking taylor expansion of V in A
5.406 * [taylor]: Taking taylor expansion of l in A
5.406 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/3) in A
5.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ A (* V l))))) in A
5.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ A (* V l)))) in A
5.406 * [taylor]: Taking taylor expansion of 1/3 in A
5.406 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.406 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.406 * [taylor]: Taking taylor expansion of A in A
5.406 * [taylor]: Taking taylor expansion of (* V l) in A
5.406 * [taylor]: Taking taylor expansion of V in A
5.406 * [taylor]: Taking taylor expansion of l in A
5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (/ 1 (* V l))) (log A)))) in V
5.407 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (/ 1 (* V l))) (log A))) in V
5.407 * [taylor]: Taking taylor expansion of 1/3 in V
5.407 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* V l))) (log A)) in V
5.407 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V
5.407 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
5.407 * [taylor]: Taking taylor expansion of (* V l) in V
5.407 * [taylor]: Taking taylor expansion of V in V
5.407 * [taylor]: Taking taylor expansion of l in V
5.407 * [taylor]: Taking taylor expansion of (log A) in V
5.407 * [taylor]: Taking taylor expansion of A in V
5.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log A) (log (/ 1 l))) (log V)))) in l
5.407 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log A) (log (/ 1 l))) (log V))) in l
5.407 * [taylor]: Taking taylor expansion of 1/3 in l
5.407 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l
5.407 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l
5.407 * [taylor]: Taking taylor expansion of (log A) in l
5.407 * [taylor]: Taking taylor expansion of A in l
5.407 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
5.407 * [taylor]: Taking taylor expansion of (/ 1 l) in l
5.407 * [taylor]: Taking taylor expansion of l in l
5.407 * [taylor]: Taking taylor expansion of (log V) in l
5.407 * [taylor]: Taking taylor expansion of V in l
5.408 * [taylor]: Taking taylor expansion of 0 in V
5.408 * [taylor]: Taking taylor expansion of 0 in l
5.409 * [taylor]: Taking taylor expansion of 0 in l
5.410 * [taylor]: Taking taylor expansion of 0 in V
5.410 * [taylor]: Taking taylor expansion of 0 in l
5.410 * [taylor]: Taking taylor expansion of 0 in l
5.411 * [taylor]: Taking taylor expansion of 0 in l
5.411 * [approximate]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in (A V l) around 0
5.411 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in l
5.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in l
5.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in l
5.411 * [taylor]: Taking taylor expansion of 1/3 in l
5.411 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.411 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.412 * [taylor]: Taking taylor expansion of (* V l) in l
5.412 * [taylor]: Taking taylor expansion of V in l
5.412 * [taylor]: Taking taylor expansion of l in l
5.412 * [taylor]: Taking taylor expansion of A in l
5.412 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in V
5.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in V
5.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in V
5.412 * [taylor]: Taking taylor expansion of 1/3 in V
5.412 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.412 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.412 * [taylor]: Taking taylor expansion of (* V l) in V
5.412 * [taylor]: Taking taylor expansion of V in V
5.412 * [taylor]: Taking taylor expansion of l in V
5.412 * [taylor]: Taking taylor expansion of A in V
5.412 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.412 * [taylor]: Taking taylor expansion of 1/3 in A
5.412 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.412 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.412 * [taylor]: Taking taylor expansion of (* V l) in A
5.412 * [taylor]: Taking taylor expansion of V in A
5.412 * [taylor]: Taking taylor expansion of l in A
5.412 * [taylor]: Taking taylor expansion of A in A
5.413 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.413 * [taylor]: Taking taylor expansion of 1/3 in A
5.413 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.413 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.413 * [taylor]: Taking taylor expansion of (* V l) in A
5.413 * [taylor]: Taking taylor expansion of V in A
5.413 * [taylor]: Taking taylor expansion of l in A
5.413 * [taylor]: Taking taylor expansion of A in A
5.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* V l)) (log A)))) in V
5.413 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* V l)) (log A))) in V
5.413 * [taylor]: Taking taylor expansion of 1/3 in V
5.413 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.413 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.413 * [taylor]: Taking taylor expansion of (* V l) in V
5.413 * [taylor]: Taking taylor expansion of V in V
5.413 * [taylor]: Taking taylor expansion of l in V
5.413 * [taylor]: Taking taylor expansion of (log A) in V
5.413 * [taylor]: Taking taylor expansion of A in V
5.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log V) (log l)) (log A)))) in l
5.414 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log V) (log l)) (log A))) in l
5.414 * [taylor]: Taking taylor expansion of 1/3 in l
5.414 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.414 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.414 * [taylor]: Taking taylor expansion of (log V) in l
5.414 * [taylor]: Taking taylor expansion of V in l
5.414 * [taylor]: Taking taylor expansion of (log l) in l
5.414 * [taylor]: Taking taylor expansion of l in l
5.414 * [taylor]: Taking taylor expansion of (log A) in l
5.414 * [taylor]: Taking taylor expansion of A in l
5.415 * [taylor]: Taking taylor expansion of 0 in V
5.415 * [taylor]: Taking taylor expansion of 0 in l
5.415 * [taylor]: Taking taylor expansion of 0 in l
5.416 * [taylor]: Taking taylor expansion of 0 in V
5.416 * [taylor]: Taking taylor expansion of 0 in l
5.416 * [taylor]: Taking taylor expansion of 0 in l
5.417 * [taylor]: Taking taylor expansion of 0 in l
5.417 * [approximate]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in (A V l) around 0
5.417 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in l
5.417 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in l
5.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in l
5.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in l
5.417 * [taylor]: Taking taylor expansion of 1/3 in l
5.417 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.417 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.417 * [taylor]: Taking taylor expansion of (* V l) in l
5.418 * [taylor]: Taking taylor expansion of V in l
5.418 * [taylor]: Taking taylor expansion of l in l
5.418 * [taylor]: Taking taylor expansion of A in l
5.418 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.418 * [taylor]: Taking taylor expansion of -1 in l
5.418 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in V
5.418 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in V
5.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in V
5.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in V
5.418 * [taylor]: Taking taylor expansion of 1/3 in V
5.418 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.418 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.418 * [taylor]: Taking taylor expansion of (* V l) in V
5.418 * [taylor]: Taking taylor expansion of V in V
5.418 * [taylor]: Taking taylor expansion of l in V
5.418 * [taylor]: Taking taylor expansion of A in V
5.418 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.418 * [taylor]: Taking taylor expansion of -1 in V
5.418 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in A
5.419 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.419 * [taylor]: Taking taylor expansion of 1/3 in A
5.419 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.419 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.419 * [taylor]: Taking taylor expansion of (* V l) in A
5.419 * [taylor]: Taking taylor expansion of V in A
5.419 * [taylor]: Taking taylor expansion of l in A
5.419 * [taylor]: Taking taylor expansion of A in A
5.419 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.419 * [taylor]: Taking taylor expansion of -1 in A
5.419 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/3) (cbrt -1)) in A
5.419 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/3) in A
5.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* V l) A)))) in A
5.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* V l) A))) in A
5.419 * [taylor]: Taking taylor expansion of 1/3 in A
5.419 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.419 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.419 * [taylor]: Taking taylor expansion of (* V l) in A
5.419 * [taylor]: Taking taylor expansion of V in A
5.419 * [taylor]: Taking taylor expansion of l in A
5.419 * [taylor]: Taking taylor expansion of A in A
5.419 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.419 * [taylor]: Taking taylor expansion of -1 in A
5.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* V l)) (log A))))) in V
5.420 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.420 * [taylor]: Taking taylor expansion of -1 in V
5.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* V l)) (log A)))) in V
5.420 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* V l)) (log A))) in V
5.420 * [taylor]: Taking taylor expansion of 1/3 in V
5.420 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.420 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.420 * [taylor]: Taking taylor expansion of (* V l) in V
5.420 * [taylor]: Taking taylor expansion of V in V
5.420 * [taylor]: Taking taylor expansion of l in V
5.420 * [taylor]: Taking taylor expansion of (log A) in V
5.420 * [taylor]: Taking taylor expansion of A in V
5.420 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (+ (log V) (log l)) (log A))))) in l
5.420 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.421 * [taylor]: Taking taylor expansion of -1 in l
5.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log V) (log l)) (log A)))) in l
5.421 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log V) (log l)) (log A))) in l
5.421 * [taylor]: Taking taylor expansion of 1/3 in l
5.421 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.421 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.421 * [taylor]: Taking taylor expansion of (log V) in l
5.421 * [taylor]: Taking taylor expansion of V in l
5.421 * [taylor]: Taking taylor expansion of (log l) in l
5.421 * [taylor]: Taking taylor expansion of l in l
5.421 * [taylor]: Taking taylor expansion of (log A) in l
5.421 * [taylor]: Taking taylor expansion of A in l
5.422 * [taylor]: Taking taylor expansion of 0 in V
5.422 * [taylor]: Taking taylor expansion of 0 in l
5.423 * [taylor]: Taking taylor expansion of 0 in l
5.424 * [taylor]: Taking taylor expansion of 0 in V
5.424 * [taylor]: Taking taylor expansion of 0 in l
5.424 * [taylor]: Taking taylor expansion of 0 in l
5.426 * [taylor]: Taking taylor expansion of 0 in l
5.426 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
5.426 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
5.426 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
5.426 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
5.426 * [taylor]: Taking taylor expansion of A in l
5.426 * [taylor]: Taking taylor expansion of (* V l) in l
5.426 * [taylor]: Taking taylor expansion of V in l
5.426 * [taylor]: Taking taylor expansion of l in l
5.426 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
5.426 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
5.426 * [taylor]: Taking taylor expansion of A in V
5.426 * [taylor]: Taking taylor expansion of (* V l) in V
5.426 * [taylor]: Taking taylor expansion of V in V
5.426 * [taylor]: Taking taylor expansion of l in V
5.426 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
5.426 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.426 * [taylor]: Taking taylor expansion of A in A
5.426 * [taylor]: Taking taylor expansion of (* V l) in A
5.426 * [taylor]: Taking taylor expansion of V in A
5.426 * [taylor]: Taking taylor expansion of l in A
5.427 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
5.427 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.427 * [taylor]: Taking taylor expansion of A in A
5.427 * [taylor]: Taking taylor expansion of (* V l) in A
5.427 * [taylor]: Taking taylor expansion of V in A
5.427 * [taylor]: Taking taylor expansion of l in A
5.427 * [taylor]: Taking taylor expansion of 0 in V
5.427 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
5.427 * [taylor]: Taking taylor expansion of NAN in V
5.427 * [taylor]: Taking taylor expansion of (* V l) in V
5.427 * [taylor]: Taking taylor expansion of V in V
5.427 * [taylor]: Taking taylor expansion of l in V
5.427 * [taylor]: Taking taylor expansion of (/ NAN l) in l
5.427 * [taylor]: Taking taylor expansion of NAN in l
5.427 * [taylor]: Taking taylor expansion of l in l
5.427 * [taylor]: Taking taylor expansion of 0 in l
5.427 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
5.427 * [taylor]: Taking taylor expansion of NAN in V
5.427 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
5.427 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
5.427 * [taylor]: Taking taylor expansion of NAN in V
5.427 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
5.427 * [taylor]: Taking taylor expansion of (pow V 2) in V
5.427 * [taylor]: Taking taylor expansion of V in V
5.428 * [taylor]: Taking taylor expansion of (pow l 2) in V
5.428 * [taylor]: Taking taylor expansion of l in V
5.428 * [taylor]: Taking taylor expansion of 0 in l
5.428 * [taylor]: Taking taylor expansion of 0 in l
5.428 * [taylor]: Taking taylor expansion of 0 in l
5.429 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
5.429 * [taylor]: Taking taylor expansion of NAN in V
5.429 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
5.429 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
5.429 * [taylor]: Taking taylor expansion of NAN in V
5.429 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
5.429 * [taylor]: Taking taylor expansion of (pow V 3) in V
5.429 * [taylor]: Taking taylor expansion of V in V
5.429 * [taylor]: Taking taylor expansion of (pow l 3) in V
5.429 * [taylor]: Taking taylor expansion of l in V
5.430 * [taylor]: Taking taylor expansion of 0 in l
5.431 * [taylor]: Taking taylor expansion of 0 in l
5.431 * [taylor]: Taking taylor expansion of 0 in l
5.431 * [taylor]: Taking taylor expansion of 0 in l
5.431 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
5.431 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
5.431 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.432 * [taylor]: Taking taylor expansion of (* V l) in l
5.432 * [taylor]: Taking taylor expansion of V in l
5.432 * [taylor]: Taking taylor expansion of l in l
5.432 * [taylor]: Taking taylor expansion of A in l
5.432 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
5.432 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.432 * [taylor]: Taking taylor expansion of (* V l) in V
5.432 * [taylor]: Taking taylor expansion of V in V
5.432 * [taylor]: Taking taylor expansion of l in V
5.432 * [taylor]: Taking taylor expansion of A in V
5.432 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
5.432 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.432 * [taylor]: Taking taylor expansion of (* V l) in A
5.432 * [taylor]: Taking taylor expansion of V in A
5.432 * [taylor]: Taking taylor expansion of l in A
5.432 * [taylor]: Taking taylor expansion of A in A
5.432 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
5.432 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.432 * [taylor]: Taking taylor expansion of (* V l) in A
5.432 * [taylor]: Taking taylor expansion of V in A
5.432 * [taylor]: Taking taylor expansion of l in A
5.432 * [taylor]: Taking taylor expansion of A in A
5.432 * [taylor]: Taking taylor expansion of 0 in V
5.432 * [taylor]: Taking taylor expansion of 0 in l
5.432 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
5.432 * [taylor]: Taking taylor expansion of NAN in V
5.432 * [taylor]: Taking taylor expansion of (* V l) in V
5.432 * [taylor]: Taking taylor expansion of V in V
5.432 * [taylor]: Taking taylor expansion of l in V
5.432 * [taylor]: Taking taylor expansion of 0 in l
5.432 * [taylor]: Taking taylor expansion of 0 in l
5.433 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
5.433 * [taylor]: Taking taylor expansion of NAN in V
5.433 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
5.433 * [taylor]: Taking taylor expansion of (pow V 2) in V
5.433 * [taylor]: Taking taylor expansion of V in V
5.433 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
5.433 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
5.433 * [taylor]: Taking taylor expansion of NAN in V
5.433 * [taylor]: Taking taylor expansion of (pow l 2) in V
5.433 * [taylor]: Taking taylor expansion of l in V
5.433 * [taylor]: Taking taylor expansion of (* NAN l) in l
5.433 * [taylor]: Taking taylor expansion of NAN in l
5.433 * [taylor]: Taking taylor expansion of l in l
5.433 * [taylor]: Taking taylor expansion of 0 in l
5.433 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
5.433 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
5.433 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
5.433 * [taylor]: Taking taylor expansion of -1 in l
5.433 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.433 * [taylor]: Taking taylor expansion of (* V l) in l
5.433 * [taylor]: Taking taylor expansion of V in l
5.433 * [taylor]: Taking taylor expansion of l in l
5.433 * [taylor]: Taking taylor expansion of A in l
5.434 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
5.434 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
5.434 * [taylor]: Taking taylor expansion of -1 in V
5.434 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.434 * [taylor]: Taking taylor expansion of (* V l) in V
5.434 * [taylor]: Taking taylor expansion of V in V
5.434 * [taylor]: Taking taylor expansion of l in V
5.434 * [taylor]: Taking taylor expansion of A in V
5.434 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
5.434 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
5.434 * [taylor]: Taking taylor expansion of -1 in A
5.434 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.434 * [taylor]: Taking taylor expansion of (* V l) in A
5.434 * [taylor]: Taking taylor expansion of V in A
5.434 * [taylor]: Taking taylor expansion of l in A
5.434 * [taylor]: Taking taylor expansion of A in A
5.434 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
5.434 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
5.434 * [taylor]: Taking taylor expansion of -1 in A
5.434 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.434 * [taylor]: Taking taylor expansion of (* V l) in A
5.434 * [taylor]: Taking taylor expansion of V in A
5.434 * [taylor]: Taking taylor expansion of l in A
5.434 * [taylor]: Taking taylor expansion of A in A
5.434 * [taylor]: Taking taylor expansion of 0 in V
5.434 * [taylor]: Taking taylor expansion of 0 in l
5.434 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
5.434 * [taylor]: Taking taylor expansion of NAN in V
5.434 * [taylor]: Taking taylor expansion of (* V l) in V
5.434 * [taylor]: Taking taylor expansion of V in V
5.434 * [taylor]: Taking taylor expansion of l in V
5.435 * [taylor]: Taking taylor expansion of 0 in l
5.435 * [taylor]: Taking taylor expansion of 0 in l
5.435 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
5.435 * [taylor]: Taking taylor expansion of NAN in V
5.435 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
5.435 * [taylor]: Taking taylor expansion of (pow V 2) in V
5.435 * [taylor]: Taking taylor expansion of V in V
5.435 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
5.435 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
5.435 * [taylor]: Taking taylor expansion of NAN in V
5.435 * [taylor]: Taking taylor expansion of (pow l 2) in V
5.435 * [taylor]: Taking taylor expansion of l in V
5.435 * [taylor]: Taking taylor expansion of (* NAN l) in l
5.435 * [taylor]: Taking taylor expansion of NAN in l
5.435 * [taylor]: Taking taylor expansion of l in l
5.435 * [taylor]: Taking taylor expansion of 0 in l
5.435 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
5.435 * [approximate]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in (A V l) around 0
5.435 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in l
5.435 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/12) in l
5.435 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ A (* V l))))) in l
5.436 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ A (* V l)))) in l
5.436 * [taylor]: Taking taylor expansion of 1/12 in l
5.436 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in l
5.436 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
5.436 * [taylor]: Taking taylor expansion of A in l
5.436 * [taylor]: Taking taylor expansion of (* V l) in l
5.436 * [taylor]: Taking taylor expansion of V in l
5.436 * [taylor]: Taking taylor expansion of l in l
5.436 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in l
5.436 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in l
5.436 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in V
5.436 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/12) in V
5.436 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ A (* V l))))) in V
5.436 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ A (* V l)))) in V
5.436 * [taylor]: Taking taylor expansion of 1/12 in V
5.436 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in V
5.436 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
5.436 * [taylor]: Taking taylor expansion of A in V
5.436 * [taylor]: Taking taylor expansion of (* V l) in V
5.436 * [taylor]: Taking taylor expansion of V in V
5.436 * [taylor]: Taking taylor expansion of l in V
5.437 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in V
5.437 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in V
5.437 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in A
5.437 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/12) in A
5.437 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ A (* V l))))) in A
5.437 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ A (* V l)))) in A
5.437 * [taylor]: Taking taylor expansion of 1/12 in A
5.437 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.437 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.437 * [taylor]: Taking taylor expansion of A in A
5.437 * [taylor]: Taking taylor expansion of (* V l) in A
5.437 * [taylor]: Taking taylor expansion of V in A
5.437 * [taylor]: Taking taylor expansion of l in A
5.437 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in A
5.437 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in A
5.438 * [taylor]: Taking taylor expansion of (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in A
5.438 * [taylor]: Taking taylor expansion of (pow (/ A (* V l)) 1/12) in A
5.438 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ A (* V l))))) in A
5.438 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ A (* V l)))) in A
5.438 * [taylor]: Taking taylor expansion of 1/12 in A
5.438 * [taylor]: Taking taylor expansion of (log (/ A (* V l))) in A
5.438 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.438 * [taylor]: Taking taylor expansion of A in A
5.438 * [taylor]: Taking taylor expansion of (* V l) in A
5.438 * [taylor]: Taking taylor expansion of V in A
5.438 * [taylor]: Taking taylor expansion of l in A
5.438 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in A
5.438 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in A
5.439 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ A (* V l)) 1/3))) (exp (* 1/12 (+ (log (/ 1 (* V l))) (log A))))) in V
5.439 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in V
5.439 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in V
5.439 * [taylor]: Taking taylor expansion of (exp (* 1/12 (+ (log (/ 1 (* V l))) (log A)))) in V
5.439 * [taylor]: Taking taylor expansion of (* 1/12 (+ (log (/ 1 (* V l))) (log A))) in V
5.439 * [taylor]: Taking taylor expansion of 1/12 in V
5.439 * [taylor]: Taking taylor expansion of (+ (log (/ 1 (* V l))) (log A)) in V
5.439 * [taylor]: Taking taylor expansion of (log (/ 1 (* V l))) in V
5.439 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
5.439 * [taylor]: Taking taylor expansion of (* V l) in V
5.439 * [taylor]: Taking taylor expansion of V in V
5.439 * [taylor]: Taking taylor expansion of l in V
5.439 * [taylor]: Taking taylor expansion of (log A) in V
5.439 * [taylor]: Taking taylor expansion of A in V
5.440 * [taylor]: Taking taylor expansion of (* (exp (* 1/12 (- (+ (log A) (log (/ 1 l))) (log V)))) (sqrt (fabs (pow (/ A (* V l)) 1/3)))) in l
5.440 * [taylor]: Taking taylor expansion of (exp (* 1/12 (- (+ (log A) (log (/ 1 l))) (log V)))) in l
5.440 * [taylor]: Taking taylor expansion of (* 1/12 (- (+ (log A) (log (/ 1 l))) (log V))) in l
5.440 * [taylor]: Taking taylor expansion of 1/12 in l
5.440 * [taylor]: Taking taylor expansion of (- (+ (log A) (log (/ 1 l))) (log V)) in l
5.440 * [taylor]: Taking taylor expansion of (+ (log A) (log (/ 1 l))) in l
5.440 * [taylor]: Taking taylor expansion of (log A) in l
5.440 * [taylor]: Taking taylor expansion of A in l
5.440 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
5.440 * [taylor]: Taking taylor expansion of (/ 1 l) in l
5.440 * [taylor]: Taking taylor expansion of l in l
5.440 * [taylor]: Taking taylor expansion of (log V) in l
5.440 * [taylor]: Taking taylor expansion of V in l
5.440 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ A (* V l)) 1/3))) in l
5.440 * [taylor]: Taking taylor expansion of (fabs (pow (/ A (* V l)) 1/3)) in l
5.442 * [taylor]: Taking taylor expansion of 0 in V
5.442 * [taylor]: Taking taylor expansion of 0 in l
5.442 * [taylor]: Taking taylor expansion of 0 in l
5.444 * [taylor]: Taking taylor expansion of 0 in V
5.444 * [taylor]: Taking taylor expansion of 0 in l
5.444 * [taylor]: Taking taylor expansion of 0 in l
5.448 * [taylor]: Taking taylor expansion of 0 in l
5.449 * [approximate]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in (A V l) around 0
5.449 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in l
5.449 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in l
5.449 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in l
5.449 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in l
5.449 * [taylor]: Taking taylor expansion of 1/12 in l
5.449 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.449 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.449 * [taylor]: Taking taylor expansion of (* V l) in l
5.449 * [taylor]: Taking taylor expansion of V in l
5.449 * [taylor]: Taking taylor expansion of l in l
5.449 * [taylor]: Taking taylor expansion of A in l
5.449 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in l
5.449 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in l
5.450 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in V
5.450 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in V
5.450 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in V
5.450 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in V
5.450 * [taylor]: Taking taylor expansion of 1/12 in V
5.450 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.450 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.450 * [taylor]: Taking taylor expansion of (* V l) in V
5.450 * [taylor]: Taking taylor expansion of V in V
5.450 * [taylor]: Taking taylor expansion of l in V
5.450 * [taylor]: Taking taylor expansion of A in V
5.450 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in V
5.450 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in V
5.450 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in A
5.450 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in A
5.450 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in A
5.450 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in A
5.450 * [taylor]: Taking taylor expansion of 1/12 in A
5.450 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.450 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.451 * [taylor]: Taking taylor expansion of (* V l) in A
5.451 * [taylor]: Taking taylor expansion of V in A
5.451 * [taylor]: Taking taylor expansion of l in A
5.451 * [taylor]: Taking taylor expansion of A in A
5.451 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in A
5.451 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in A
5.451 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in A
5.451 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in A
5.451 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in A
5.451 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in A
5.451 * [taylor]: Taking taylor expansion of 1/12 in A
5.451 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.451 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.451 * [taylor]: Taking taylor expansion of (* V l) in A
5.451 * [taylor]: Taking taylor expansion of V in A
5.451 * [taylor]: Taking taylor expansion of l in A
5.451 * [taylor]: Taking taylor expansion of A in A
5.452 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in A
5.452 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in A
5.452 * [taylor]: Taking taylor expansion of (* (exp (* 1/12 (- (log (* V l)) (log A)))) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in V
5.452 * [taylor]: Taking taylor expansion of (exp (* 1/12 (- (log (* V l)) (log A)))) in V
5.452 * [taylor]: Taking taylor expansion of (* 1/12 (- (log (* V l)) (log A))) in V
5.452 * [taylor]: Taking taylor expansion of 1/12 in V
5.452 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.452 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.452 * [taylor]: Taking taylor expansion of (* V l) in V
5.452 * [taylor]: Taking taylor expansion of V in V
5.452 * [taylor]: Taking taylor expansion of l in V
5.452 * [taylor]: Taking taylor expansion of (log A) in V
5.452 * [taylor]: Taking taylor expansion of A in V
5.453 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in V
5.453 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in V
5.453 * [taylor]: Taking taylor expansion of (* (exp (* 1/12 (- (+ (log V) (log l)) (log A)))) (sqrt (fabs (pow (/ (* V l) A) 1/3)))) in l
5.453 * [taylor]: Taking taylor expansion of (exp (* 1/12 (- (+ (log V) (log l)) (log A)))) in l
5.453 * [taylor]: Taking taylor expansion of (* 1/12 (- (+ (log V) (log l)) (log A))) in l
5.453 * [taylor]: Taking taylor expansion of 1/12 in l
5.453 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.453 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.453 * [taylor]: Taking taylor expansion of (log V) in l
5.453 * [taylor]: Taking taylor expansion of V in l
5.453 * [taylor]: Taking taylor expansion of (log l) in l
5.453 * [taylor]: Taking taylor expansion of l in l
5.453 * [taylor]: Taking taylor expansion of (log A) in l
5.453 * [taylor]: Taking taylor expansion of A in l
5.454 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ (* V l) A) 1/3))) in l
5.454 * [taylor]: Taking taylor expansion of (fabs (pow (/ (* V l) A) 1/3)) in l
5.455 * [taylor]: Taking taylor expansion of 0 in V
5.455 * [taylor]: Taking taylor expansion of 0 in l
5.455 * [taylor]: Taking taylor expansion of 0 in l
5.457 * [taylor]: Taking taylor expansion of 0 in V
5.457 * [taylor]: Taking taylor expansion of 0 in l
5.457 * [taylor]: Taking taylor expansion of 0 in l
5.458 * [taylor]: Taking taylor expansion of 0 in l
5.459 * [approximate]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in (A V l) around 0
5.459 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in l
5.459 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in l
5.459 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in l
5.459 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in l
5.459 * [taylor]: Taking taylor expansion of 1/12 in l
5.459 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in l
5.459 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.459 * [taylor]: Taking taylor expansion of (* V l) in l
5.459 * [taylor]: Taking taylor expansion of V in l
5.459 * [taylor]: Taking taylor expansion of l in l
5.459 * [taylor]: Taking taylor expansion of A in l
5.459 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)) in l
5.459 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in l
5.459 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in l
5.460 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in l
5.460 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in l
5.460 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in l
5.460 * [taylor]: Taking taylor expansion of 1/4 in l
5.460 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
5.460 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.460 * [taylor]: Taking taylor expansion of -1 in l
5.460 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in V
5.460 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in V
5.460 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in V
5.460 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in V
5.460 * [taylor]: Taking taylor expansion of 1/12 in V
5.460 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in V
5.460 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.460 * [taylor]: Taking taylor expansion of (* V l) in V
5.460 * [taylor]: Taking taylor expansion of V in V
5.460 * [taylor]: Taking taylor expansion of l in V
5.460 * [taylor]: Taking taylor expansion of A in V
5.461 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)) in V
5.461 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in V
5.461 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in V
5.461 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in V
5.461 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in V
5.461 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in V
5.461 * [taylor]: Taking taylor expansion of 1/4 in V
5.461 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
5.461 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.461 * [taylor]: Taking taylor expansion of -1 in V
5.461 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in A
5.461 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in A
5.462 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in A
5.462 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in A
5.462 * [taylor]: Taking taylor expansion of 1/12 in A
5.462 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.462 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.462 * [taylor]: Taking taylor expansion of (* V l) in A
5.462 * [taylor]: Taking taylor expansion of V in A
5.462 * [taylor]: Taking taylor expansion of l in A
5.462 * [taylor]: Taking taylor expansion of A in A
5.462 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)) in A
5.462 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in A
5.462 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in A
5.462 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in A
5.462 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in A
5.462 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in A
5.462 * [taylor]: Taking taylor expansion of 1/4 in A
5.462 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in A
5.462 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.462 * [taylor]: Taking taylor expansion of -1 in A
5.463 * [taylor]: Taking taylor expansion of (* (pow (/ (* V l) A) 1/12) (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in A
5.463 * [taylor]: Taking taylor expansion of (pow (/ (* V l) A) 1/12) in A
5.463 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ (* V l) A)))) in A
5.463 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ (* V l) A))) in A
5.463 * [taylor]: Taking taylor expansion of 1/12 in A
5.463 * [taylor]: Taking taylor expansion of (log (/ (* V l) A)) in A
5.463 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.463 * [taylor]: Taking taylor expansion of (* V l) in A
5.463 * [taylor]: Taking taylor expansion of V in A
5.463 * [taylor]: Taking taylor expansion of l in A
5.463 * [taylor]: Taking taylor expansion of A in A
5.463 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)) in A
5.463 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in A
5.463 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in A
5.464 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in A
5.464 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in A
5.464 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in A
5.464 * [taylor]: Taking taylor expansion of 1/4 in A
5.464 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in A
5.464 * [taylor]: Taking taylor expansion of (cbrt -1) in A
5.464 * [taylor]: Taking taylor expansion of -1 in A
5.465 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (exp (* 1/12 (- (log (* V l)) (log A)))) (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))))) in V
5.465 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in V
5.465 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in V
5.465 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in V
5.465 * [taylor]: Taking taylor expansion of 1/4 in V
5.465 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
5.465 * [taylor]: Taking taylor expansion of (cbrt -1) in V
5.465 * [taylor]: Taking taylor expansion of -1 in V
5.465 * [taylor]: Taking taylor expansion of (* (exp (* 1/12 (- (log (* V l)) (log A)))) (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))))) in V
5.465 * [taylor]: Taking taylor expansion of (exp (* 1/12 (- (log (* V l)) (log A)))) in V
5.465 * [taylor]: Taking taylor expansion of (* 1/12 (- (log (* V l)) (log A))) in V
5.465 * [taylor]: Taking taylor expansion of 1/12 in V
5.465 * [taylor]: Taking taylor expansion of (- (log (* V l)) (log A)) in V
5.465 * [taylor]: Taking taylor expansion of (log (* V l)) in V
5.465 * [taylor]: Taking taylor expansion of (* V l) in V
5.465 * [taylor]: Taking taylor expansion of V in V
5.465 * [taylor]: Taking taylor expansion of l in V
5.465 * [taylor]: Taking taylor expansion of (log A) in V
5.465 * [taylor]: Taking taylor expansion of A in V
5.465 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in V
5.465 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in V
5.466 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) (* (pow (cbrt -1) 1/4) (exp (* 1/12 (- (+ (log V) (log l)) (log A)))))) in l
5.466 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1)))) in l
5.466 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ (* V l) A) 1/3) (cbrt -1))) in l
5.467 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (exp (* 1/12 (- (+ (log V) (log l)) (log A))))) in l
5.467 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in l
5.467 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in l
5.467 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in l
5.467 * [taylor]: Taking taylor expansion of 1/4 in l
5.467 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
5.467 * [taylor]: Taking taylor expansion of (cbrt -1) in l
5.467 * [taylor]: Taking taylor expansion of -1 in l
5.467 * [taylor]: Taking taylor expansion of (exp (* 1/12 (- (+ (log V) (log l)) (log A)))) in l
5.467 * [taylor]: Taking taylor expansion of (* 1/12 (- (+ (log V) (log l)) (log A))) in l
5.467 * [taylor]: Taking taylor expansion of 1/12 in l
5.467 * [taylor]: Taking taylor expansion of (- (+ (log V) (log l)) (log A)) in l
5.467 * [taylor]: Taking taylor expansion of (+ (log V) (log l)) in l
5.467 * [taylor]: Taking taylor expansion of (log V) in l
5.467 * [taylor]: Taking taylor expansion of V in l
5.467 * [taylor]: Taking taylor expansion of (log l) in l
5.467 * [taylor]: Taking taylor expansion of l in l
5.467 * [taylor]: Taking taylor expansion of (log A) in l
5.467 * [taylor]: Taking taylor expansion of A in l
5.470 * [taylor]: Taking taylor expansion of 0 in V
5.470 * [taylor]: Taking taylor expansion of 0 in l
5.471 * [taylor]: Taking taylor expansion of 0 in l
5.475 * [taylor]: Taking taylor expansion of 0 in V
5.475 * [taylor]: Taking taylor expansion of 0 in l
5.475 * [taylor]: Taking taylor expansion of 0 in l
5.477 * [taylor]: Taking taylor expansion of 0 in l
5.478 * * * [progress]: simplifying candidates
5.479 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (/ A (* V l))))
  (exp (cbrt (/ A (* V l))))
  (cbrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (/ (* (cbrt A) (cbrt A)) V))
  (cbrt (/ (cbrt A) l))
  (cbrt (/ (sqrt A) V))
  (cbrt (/ (sqrt A) l))
  (cbrt (/ 1 V))
  (cbrt (/ A l))
  (cbrt 1)
  (cbrt (/ A (* V l)))
  (cbrt A)
  (cbrt (/ 1 (* V l)))
  (cbrt A)
  (cbrt (* V l))
  (* (cbrt (cbrt (/ A (* V l)))) (cbrt (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (* (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (log (cbrt (/ A (* V l))))
  (exp (cbrt (/ A (* V l))))
  (cbrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (/ (* (cbrt A) (cbrt A)) V))
  (cbrt (/ (cbrt A) l))
  (cbrt (/ (sqrt A) V))
  (cbrt (/ (sqrt A) l))
  (cbrt (/ 1 V))
  (cbrt (/ A l))
  (cbrt 1)
  (cbrt (/ A (* V l)))
  (cbrt A)
  (cbrt (/ 1 (* V l)))
  (cbrt A)
  (cbrt (* V l))
  (* (cbrt (cbrt (/ A (* V l)))) (cbrt (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (* (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))) (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ 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 (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (exp (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (* (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))) (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))
  (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (* (* (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (sqrt (fabs (cbrt (/ A (* V l)))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt A))))
  (sqrt (sqrt (cbrt (* V l))))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (sqrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (exp (* 1/3 (- (+ (log 1) (log A)) (+ (log l) (log V)))))
  (exp (* 1/3 (- (+ (log (/ 1 V)) (+ (log 1) (log (/ 1 l)))) (log (/ 1 A)))))
  (* (exp (* 1/3 (- (+ (log (/ -1 V)) (+ (log 1) (log (/ -1 l)))) (log (/ -1 A))))) (cbrt -1))
  (exp (* 1/3 (- (+ (log 1) (log A)) (+ (log l) (log V)))))
  (exp (* 1/3 (- (+ (log (/ 1 V)) (+ (log 1) (log (/ 1 l)))) (log (/ 1 A)))))
  (* (exp (* 1/3 (- (+ (log (/ -1 V)) (+ (log 1) (log (/ -1 l)))) (log (/ -1 A))))) (cbrt -1))
  (/ (* A NAN) (* V l))
  0
  0
  (* (exp (* 1/12 (- (+ (log 1) (log A)) (+ (log l) (log V))))) (sqrt (fabs (pow (/ A (* V l)) 1/3))))
  (* (sqrt (fabs (pow (/ A (* V l)) 1/3))) (exp (* 1/12 (- (+ (log (/ 1 V)) (+ (log 1) (log (/ 1 l)))) (log (/ 1 A))))))
  (* (sqrt (fabs (* (pow (/ (* -1 A) (* V l)) 1/3) (cbrt -1)))) (* (exp (* 1/12 (- (+ (log (/ -1 V)) (+ (log 1) (log (/ -1 l)))) (log (/ -1 A))))) (pow (cbrt -1) 1/4)))
5.483 * * [simplify]: iteration  0 :  131  enodes  (cost  904 )
5.498 * * [simplify]: iteration  1 :  225  enodes  (cost  840 )
5.542 * * [simplify]: iteration  2 :  519  enodes  (cost  759 )
5.723 * * [simplify]: iteration  3 :  1329  enodes  (cost  747 )
6.297 * * [simplify]: iteration  4 :  3514  enodes  (cost  711 )
6.958 * * [simplify]: iteration  done :  5000  enodes  (cost  708 )
6.958 * [simplify]: Simplified to:
   (log (cbrt (/ A (* V l))))
  (exp (cbrt (/ A (* V l))))
  (cbrt (pow (/ A (* V l)) 2/3))
  (cbrt (cbrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (/ (* (cbrt A) (cbrt A)) V))
  (cbrt (/ (cbrt A) l))
  (cbrt (/ (sqrt A) V))
  (cbrt (/ (sqrt A) l))
  (cbrt (/ 1 V))
  (cbrt (/ A l))
  1
  (cbrt (/ A (* V l)))
  (cbrt A)
  (cbrt (/ 1 (* V l)))
  (cbrt A)
  (cbrt (* V l))
  (* (cbrt (cbrt (/ A (* V l)))) (cbrt (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (/ (/ A l) V)
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (log (cbrt (/ A (* V l))))
  (exp (cbrt (/ A (* V l))))
  (cbrt (pow (/ A (* V l)) 2/3))
  (cbrt (cbrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (sqrt (/ A (* V l))))
  (cbrt (/ (* (cbrt A) (cbrt A)) V))
  (cbrt (/ (cbrt A) l))
  (cbrt (/ (sqrt A) V))
  (cbrt (/ (sqrt A) l))
  (cbrt (/ 1 V))
  (cbrt (/ A l))
  1
  (cbrt (/ A (* V l)))
  (cbrt A)
  (cbrt (/ 1 (* V l)))
  (cbrt A)
  (cbrt (* V l))
  (* (cbrt (cbrt (/ A (* V l)))) (cbrt (cbrt (/ A (* V l)))))
  (cbrt (cbrt (/ A (* V l))))
  (/ (/ A l) V)
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ 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))
  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 (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (exp (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (* (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))) (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))
  (cbrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (pow (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))) 3)
  (sqrt (fabs (cbrt (/ A (* V l)))))
  (sqrt (sqrt (cbrt (/ A (* V l)))))
  (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt A))))
  (sqrt (sqrt (cbrt (* V l))))
  1/2
  1/2
  (sqrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (sqrt (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l)))))))
  (cbrt (/ A (* V l)))
  (cbrt (/ A (* V l)))
  (* (cbrt (* (/ -1 l) (/ (/ (neg A) V) -1))) (cbrt -1))
  (cbrt (/ A (* V l)))
  (cbrt (/ A (* V l)))
  (* (cbrt (* (/ -1 l) (/ (/ (neg A) V) -1))) (cbrt -1))
  (/ (* A NAN) (* V l))
  0
  0
  (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (cbrt (/ A (* V l))))))
  (* (pow (/ A (* V l)) 1/12) (sqrt (fabs (cbrt (/ A (* V l))))))
  (* (pow (* (/ -1 l) (/ (/ (neg A) V) -1)) 1/12) (* (sqrt (fabs (* (cbrt (/ (neg A) (* V l))) (cbrt -1)))) (pow (cbrt -1) 1/4)))
6.959 * * * [progress]: adding candidates to table
7.059 * * [progress]: iteration 4 / 4
7.059 * * * [progress]: picking best candidate
7.110 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))>
7.111 * * * [progress]: localizing error
7.129 * * * [progress]: generating rewritten candidates
7.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
7.133 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
7.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
7.142 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
7.148 * * * [progress]: generating series expansions
7.148 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
7.148 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
7.148 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
7.148 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
7.148 * [taylor]: Taking taylor expansion of A in l
7.148 * [taylor]: Taking taylor expansion of (* V l) in l
7.148 * [taylor]: Taking taylor expansion of V in l
7.148 * [taylor]: Taking taylor expansion of l in l
7.148 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
7.148 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
7.148 * [taylor]: Taking taylor expansion of A in V
7.148 * [taylor]: Taking taylor expansion of (* V l) in V
7.148 * [taylor]: Taking taylor expansion of V in V
7.148 * [taylor]: Taking taylor expansion of l in V
7.148 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.148 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.148 * [taylor]: Taking taylor expansion of A in A
7.148 * [taylor]: Taking taylor expansion of (* V l) in A
7.148 * [taylor]: Taking taylor expansion of V in A
7.148 * [taylor]: Taking taylor expansion of l in A
7.148 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.148 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.148 * [taylor]: Taking taylor expansion of A in A
7.148 * [taylor]: Taking taylor expansion of (* V l) in A
7.148 * [taylor]: Taking taylor expansion of V in A
7.148 * [taylor]: Taking taylor expansion of l in A
7.149 * [taylor]: Taking taylor expansion of 0 in V
7.149 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
7.149 * [taylor]: Taking taylor expansion of NAN in V
7.149 * [taylor]: Taking taylor expansion of (* V l) in V
7.149 * [taylor]: Taking taylor expansion of V in V
7.149 * [taylor]: Taking taylor expansion of l in V
7.149 * [taylor]: Taking taylor expansion of (/ NAN l) in l
7.149 * [taylor]: Taking taylor expansion of NAN in l
7.149 * [taylor]: Taking taylor expansion of l in l
7.149 * [taylor]: Taking taylor expansion of 0 in l
7.149 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
7.149 * [taylor]: Taking taylor expansion of NAN in V
7.149 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
7.149 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.149 * [taylor]: Taking taylor expansion of NAN in V
7.149 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
7.149 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.149 * [taylor]: Taking taylor expansion of V in V
7.149 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.149 * [taylor]: Taking taylor expansion of l in V
7.150 * [taylor]: Taking taylor expansion of 0 in l
7.150 * [taylor]: Taking taylor expansion of 0 in l
7.150 * [taylor]: Taking taylor expansion of 0 in l
7.151 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
7.151 * [taylor]: Taking taylor expansion of NAN in V
7.151 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
7.151 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
7.151 * [taylor]: Taking taylor expansion of NAN in V
7.151 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
7.151 * [taylor]: Taking taylor expansion of (pow V 3) in V
7.151 * [taylor]: Taking taylor expansion of V in V
7.151 * [taylor]: Taking taylor expansion of (pow l 3) in V
7.151 * [taylor]: Taking taylor expansion of l in V
7.152 * [taylor]: Taking taylor expansion of 0 in l
7.153 * [taylor]: Taking taylor expansion of 0 in l
7.153 * [taylor]: Taking taylor expansion of 0 in l
7.153 * [taylor]: Taking taylor expansion of 0 in l
7.153 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
7.153 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
7.153 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.153 * [taylor]: Taking taylor expansion of (* V l) in l
7.153 * [taylor]: Taking taylor expansion of V in l
7.153 * [taylor]: Taking taylor expansion of l in l
7.153 * [taylor]: Taking taylor expansion of A in l
7.154 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
7.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.154 * [taylor]: Taking taylor expansion of (* V l) in V
7.154 * [taylor]: Taking taylor expansion of V in V
7.154 * [taylor]: Taking taylor expansion of l in V
7.154 * [taylor]: Taking taylor expansion of A in V
7.154 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.154 * [taylor]: Taking taylor expansion of (* V l) in A
7.154 * [taylor]: Taking taylor expansion of V in A
7.154 * [taylor]: Taking taylor expansion of l in A
7.154 * [taylor]: Taking taylor expansion of A in A
7.154 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.154 * [taylor]: Taking taylor expansion of (* V l) in A
7.154 * [taylor]: Taking taylor expansion of V in A
7.154 * [taylor]: Taking taylor expansion of l in A
7.154 * [taylor]: Taking taylor expansion of A in A
7.154 * [taylor]: Taking taylor expansion of 0 in V
7.154 * [taylor]: Taking taylor expansion of 0 in l
7.154 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.154 * [taylor]: Taking taylor expansion of NAN in V
7.154 * [taylor]: Taking taylor expansion of (* V l) in V
7.154 * [taylor]: Taking taylor expansion of V in V
7.154 * [taylor]: Taking taylor expansion of l in V
7.154 * [taylor]: Taking taylor expansion of 0 in l
7.154 * [taylor]: Taking taylor expansion of 0 in l
7.155 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.155 * [taylor]: Taking taylor expansion of NAN in V
7.155 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.155 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.155 * [taylor]: Taking taylor expansion of V in V
7.155 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.155 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.155 * [taylor]: Taking taylor expansion of NAN in V
7.155 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.155 * [taylor]: Taking taylor expansion of l in V
7.155 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.155 * [taylor]: Taking taylor expansion of NAN in l
7.155 * [taylor]: Taking taylor expansion of l in l
7.155 * [taylor]: Taking taylor expansion of 0 in l
7.155 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
7.155 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
7.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
7.155 * [taylor]: Taking taylor expansion of -1 in l
7.155 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.155 * [taylor]: Taking taylor expansion of (* V l) in l
7.155 * [taylor]: Taking taylor expansion of V in l
7.155 * [taylor]: Taking taylor expansion of l in l
7.155 * [taylor]: Taking taylor expansion of A in l
7.155 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
7.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
7.155 * [taylor]: Taking taylor expansion of -1 in V
7.155 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.155 * [taylor]: Taking taylor expansion of (* V l) in V
7.155 * [taylor]: Taking taylor expansion of V in V
7.155 * [taylor]: Taking taylor expansion of l in V
7.155 * [taylor]: Taking taylor expansion of A in V
7.156 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.156 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.156 * [taylor]: Taking taylor expansion of -1 in A
7.156 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.156 * [taylor]: Taking taylor expansion of (* V l) in A
7.156 * [taylor]: Taking taylor expansion of V in A
7.156 * [taylor]: Taking taylor expansion of l in A
7.156 * [taylor]: Taking taylor expansion of A in A
7.156 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.156 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.156 * [taylor]: Taking taylor expansion of -1 in A
7.156 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.156 * [taylor]: Taking taylor expansion of (* V l) in A
7.156 * [taylor]: Taking taylor expansion of V in A
7.156 * [taylor]: Taking taylor expansion of l in A
7.156 * [taylor]: Taking taylor expansion of A in A
7.156 * [taylor]: Taking taylor expansion of 0 in V
7.156 * [taylor]: Taking taylor expansion of 0 in l
7.156 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.156 * [taylor]: Taking taylor expansion of NAN in V
7.156 * [taylor]: Taking taylor expansion of (* V l) in V
7.156 * [taylor]: Taking taylor expansion of V in V
7.156 * [taylor]: Taking taylor expansion of l in V
7.156 * [taylor]: Taking taylor expansion of 0 in l
7.156 * [taylor]: Taking taylor expansion of 0 in l
7.157 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.157 * [taylor]: Taking taylor expansion of NAN in V
7.157 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.157 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.157 * [taylor]: Taking taylor expansion of V in V
7.157 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.157 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.157 * [taylor]: Taking taylor expansion of NAN in V
7.157 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.157 * [taylor]: Taking taylor expansion of l in V
7.157 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.157 * [taylor]: Taking taylor expansion of NAN in l
7.157 * [taylor]: Taking taylor expansion of l in l
7.157 * [taylor]: Taking taylor expansion of 0 in l
7.157 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
7.157 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
7.157 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
7.157 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
7.157 * [taylor]: Taking taylor expansion of A in l
7.157 * [taylor]: Taking taylor expansion of (* V l) in l
7.157 * [taylor]: Taking taylor expansion of V in l
7.157 * [taylor]: Taking taylor expansion of l in l
7.157 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
7.157 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
7.157 * [taylor]: Taking taylor expansion of A in V
7.157 * [taylor]: Taking taylor expansion of (* V l) in V
7.157 * [taylor]: Taking taylor expansion of V in V
7.157 * [taylor]: Taking taylor expansion of l in V
7.157 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.158 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.158 * [taylor]: Taking taylor expansion of A in A
7.158 * [taylor]: Taking taylor expansion of (* V l) in A
7.158 * [taylor]: Taking taylor expansion of V in A
7.158 * [taylor]: Taking taylor expansion of l in A
7.158 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.158 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.158 * [taylor]: Taking taylor expansion of A in A
7.158 * [taylor]: Taking taylor expansion of (* V l) in A
7.158 * [taylor]: Taking taylor expansion of V in A
7.158 * [taylor]: Taking taylor expansion of l in A
7.158 * [taylor]: Taking taylor expansion of 0 in V
7.158 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
7.158 * [taylor]: Taking taylor expansion of NAN in V
7.158 * [taylor]: Taking taylor expansion of (* V l) in V
7.158 * [taylor]: Taking taylor expansion of V in V
7.158 * [taylor]: Taking taylor expansion of l in V
7.158 * [taylor]: Taking taylor expansion of (/ NAN l) in l
7.158 * [taylor]: Taking taylor expansion of NAN in l
7.158 * [taylor]: Taking taylor expansion of l in l
7.158 * [taylor]: Taking taylor expansion of 0 in l
7.158 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
7.158 * [taylor]: Taking taylor expansion of NAN in V
7.159 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
7.159 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.159 * [taylor]: Taking taylor expansion of NAN in V
7.159 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
7.159 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.159 * [taylor]: Taking taylor expansion of V in V
7.159 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.159 * [taylor]: Taking taylor expansion of l in V
7.159 * [taylor]: Taking taylor expansion of 0 in l
7.159 * [taylor]: Taking taylor expansion of 0 in l
7.159 * [taylor]: Taking taylor expansion of 0 in l
7.160 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
7.160 * [taylor]: Taking taylor expansion of NAN in V
7.160 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
7.160 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
7.160 * [taylor]: Taking taylor expansion of NAN in V
7.160 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
7.160 * [taylor]: Taking taylor expansion of (pow V 3) in V
7.160 * [taylor]: Taking taylor expansion of V in V
7.160 * [taylor]: Taking taylor expansion of (pow l 3) in V
7.160 * [taylor]: Taking taylor expansion of l in V
7.162 * [taylor]: Taking taylor expansion of 0 in l
7.162 * [taylor]: Taking taylor expansion of 0 in l
7.162 * [taylor]: Taking taylor expansion of 0 in l
7.162 * [taylor]: Taking taylor expansion of 0 in l
7.163 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
7.163 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
7.163 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.163 * [taylor]: Taking taylor expansion of (* V l) in l
7.163 * [taylor]: Taking taylor expansion of V in l
7.163 * [taylor]: Taking taylor expansion of l in l
7.163 * [taylor]: Taking taylor expansion of A in l
7.163 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
7.163 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.163 * [taylor]: Taking taylor expansion of (* V l) in V
7.163 * [taylor]: Taking taylor expansion of V in V
7.163 * [taylor]: Taking taylor expansion of l in V
7.163 * [taylor]: Taking taylor expansion of A in V
7.163 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.163 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.163 * [taylor]: Taking taylor expansion of (* V l) in A
7.163 * [taylor]: Taking taylor expansion of V in A
7.163 * [taylor]: Taking taylor expansion of l in A
7.163 * [taylor]: Taking taylor expansion of A in A
7.163 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.163 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.163 * [taylor]: Taking taylor expansion of (* V l) in A
7.163 * [taylor]: Taking taylor expansion of V in A
7.163 * [taylor]: Taking taylor expansion of l in A
7.163 * [taylor]: Taking taylor expansion of A in A
7.163 * [taylor]: Taking taylor expansion of 0 in V
7.163 * [taylor]: Taking taylor expansion of 0 in l
7.163 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.163 * [taylor]: Taking taylor expansion of NAN in V
7.164 * [taylor]: Taking taylor expansion of (* V l) in V
7.164 * [taylor]: Taking taylor expansion of V in V
7.164 * [taylor]: Taking taylor expansion of l in V
7.164 * [taylor]: Taking taylor expansion of 0 in l
7.164 * [taylor]: Taking taylor expansion of 0 in l
7.164 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.164 * [taylor]: Taking taylor expansion of NAN in V
7.164 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.164 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.164 * [taylor]: Taking taylor expansion of V in V
7.164 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.164 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.164 * [taylor]: Taking taylor expansion of NAN in V
7.164 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.164 * [taylor]: Taking taylor expansion of l in V
7.164 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.164 * [taylor]: Taking taylor expansion of NAN in l
7.164 * [taylor]: Taking taylor expansion of l in l
7.164 * [taylor]: Taking taylor expansion of 0 in l
7.164 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
7.164 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
7.164 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
7.164 * [taylor]: Taking taylor expansion of -1 in l
7.164 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.164 * [taylor]: Taking taylor expansion of (* V l) in l
7.164 * [taylor]: Taking taylor expansion of V in l
7.164 * [taylor]: Taking taylor expansion of l in l
7.164 * [taylor]: Taking taylor expansion of A in l
7.165 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
7.165 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
7.165 * [taylor]: Taking taylor expansion of -1 in V
7.165 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.165 * [taylor]: Taking taylor expansion of (* V l) in V
7.165 * [taylor]: Taking taylor expansion of V in V
7.165 * [taylor]: Taking taylor expansion of l in V
7.165 * [taylor]: Taking taylor expansion of A in V
7.165 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.165 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.165 * [taylor]: Taking taylor expansion of -1 in A
7.165 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.165 * [taylor]: Taking taylor expansion of (* V l) in A
7.165 * [taylor]: Taking taylor expansion of V in A
7.165 * [taylor]: Taking taylor expansion of l in A
7.165 * [taylor]: Taking taylor expansion of A in A
7.165 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.165 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.165 * [taylor]: Taking taylor expansion of -1 in A
7.165 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.165 * [taylor]: Taking taylor expansion of (* V l) in A
7.165 * [taylor]: Taking taylor expansion of V in A
7.165 * [taylor]: Taking taylor expansion of l in A
7.165 * [taylor]: Taking taylor expansion of A in A
7.165 * [taylor]: Taking taylor expansion of 0 in V
7.165 * [taylor]: Taking taylor expansion of 0 in l
7.165 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.165 * [taylor]: Taking taylor expansion of NAN in V
7.165 * [taylor]: Taking taylor expansion of (* V l) in V
7.165 * [taylor]: Taking taylor expansion of V in V
7.166 * [taylor]: Taking taylor expansion of l in V
7.166 * [taylor]: Taking taylor expansion of 0 in l
7.166 * [taylor]: Taking taylor expansion of 0 in l
7.166 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.166 * [taylor]: Taking taylor expansion of NAN in V
7.166 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.166 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.166 * [taylor]: Taking taylor expansion of V in V
7.166 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.166 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.166 * [taylor]: Taking taylor expansion of NAN in V
7.166 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.166 * [taylor]: Taking taylor expansion of l in V
7.166 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.166 * [taylor]: Taking taylor expansion of NAN in l
7.166 * [taylor]: Taking taylor expansion of l in l
7.166 * [taylor]: Taking taylor expansion of 0 in l
7.166 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1)
7.166 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
7.166 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
7.166 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
7.166 * [taylor]: Taking taylor expansion of A in l
7.166 * [taylor]: Taking taylor expansion of (* V l) in l
7.166 * [taylor]: Taking taylor expansion of V in l
7.166 * [taylor]: Taking taylor expansion of l in l
7.167 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
7.167 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
7.167 * [taylor]: Taking taylor expansion of A in V
7.167 * [taylor]: Taking taylor expansion of (* V l) in V
7.167 * [taylor]: Taking taylor expansion of V in V
7.167 * [taylor]: Taking taylor expansion of l in V
7.167 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.167 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.167 * [taylor]: Taking taylor expansion of A in A
7.167 * [taylor]: Taking taylor expansion of (* V l) in A
7.167 * [taylor]: Taking taylor expansion of V in A
7.167 * [taylor]: Taking taylor expansion of l in A
7.167 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.167 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.167 * [taylor]: Taking taylor expansion of A in A
7.167 * [taylor]: Taking taylor expansion of (* V l) in A
7.167 * [taylor]: Taking taylor expansion of V in A
7.167 * [taylor]: Taking taylor expansion of l in A
7.167 * [taylor]: Taking taylor expansion of 0 in V
7.167 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
7.167 * [taylor]: Taking taylor expansion of NAN in V
7.167 * [taylor]: Taking taylor expansion of (* V l) in V
7.167 * [taylor]: Taking taylor expansion of V in V
7.167 * [taylor]: Taking taylor expansion of l in V
7.167 * [taylor]: Taking taylor expansion of (/ NAN l) in l
7.167 * [taylor]: Taking taylor expansion of NAN in l
7.167 * [taylor]: Taking taylor expansion of l in l
7.167 * [taylor]: Taking taylor expansion of 0 in l
7.168 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
7.168 * [taylor]: Taking taylor expansion of NAN in V
7.168 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
7.168 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.168 * [taylor]: Taking taylor expansion of NAN in V
7.168 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
7.168 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.168 * [taylor]: Taking taylor expansion of V in V
7.168 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.168 * [taylor]: Taking taylor expansion of l in V
7.169 * [taylor]: Taking taylor expansion of 0 in l
7.169 * [taylor]: Taking taylor expansion of 0 in l
7.169 * [taylor]: Taking taylor expansion of 0 in l
7.169 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
7.169 * [taylor]: Taking taylor expansion of NAN in V
7.169 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
7.169 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
7.169 * [taylor]: Taking taylor expansion of NAN in V
7.169 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
7.169 * [taylor]: Taking taylor expansion of (pow V 3) in V
7.169 * [taylor]: Taking taylor expansion of V in V
7.169 * [taylor]: Taking taylor expansion of (pow l 3) in V
7.169 * [taylor]: Taking taylor expansion of l in V
7.171 * [taylor]: Taking taylor expansion of 0 in l
7.171 * [taylor]: Taking taylor expansion of 0 in l
7.172 * [taylor]: Taking taylor expansion of 0 in l
7.172 * [taylor]: Taking taylor expansion of 0 in l
7.172 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
7.172 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
7.172 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.172 * [taylor]: Taking taylor expansion of (* V l) in l
7.172 * [taylor]: Taking taylor expansion of V in l
7.172 * [taylor]: Taking taylor expansion of l in l
7.172 * [taylor]: Taking taylor expansion of A in l
7.172 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
7.172 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.172 * [taylor]: Taking taylor expansion of (* V l) in V
7.172 * [taylor]: Taking taylor expansion of V in V
7.172 * [taylor]: Taking taylor expansion of l in V
7.172 * [taylor]: Taking taylor expansion of A in V
7.172 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.172 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.172 * [taylor]: Taking taylor expansion of (* V l) in A
7.172 * [taylor]: Taking taylor expansion of V in A
7.172 * [taylor]: Taking taylor expansion of l in A
7.172 * [taylor]: Taking taylor expansion of A in A
7.172 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.173 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.173 * [taylor]: Taking taylor expansion of (* V l) in A
7.173 * [taylor]: Taking taylor expansion of V in A
7.173 * [taylor]: Taking taylor expansion of l in A
7.173 * [taylor]: Taking taylor expansion of A in A
7.173 * [taylor]: Taking taylor expansion of 0 in V
7.173 * [taylor]: Taking taylor expansion of 0 in l
7.173 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.173 * [taylor]: Taking taylor expansion of NAN in V
7.173 * [taylor]: Taking taylor expansion of (* V l) in V
7.173 * [taylor]: Taking taylor expansion of V in V
7.173 * [taylor]: Taking taylor expansion of l in V
7.173 * [taylor]: Taking taylor expansion of 0 in l
7.173 * [taylor]: Taking taylor expansion of 0 in l
7.173 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.173 * [taylor]: Taking taylor expansion of NAN in V
7.173 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.173 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.173 * [taylor]: Taking taylor expansion of V in V
7.173 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.173 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.173 * [taylor]: Taking taylor expansion of NAN in V
7.173 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.173 * [taylor]: Taking taylor expansion of l in V
7.173 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.173 * [taylor]: Taking taylor expansion of NAN in l
7.173 * [taylor]: Taking taylor expansion of l in l
7.174 * [taylor]: Taking taylor expansion of 0 in l
7.174 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
7.174 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
7.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
7.174 * [taylor]: Taking taylor expansion of -1 in l
7.174 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.174 * [taylor]: Taking taylor expansion of (* V l) in l
7.174 * [taylor]: Taking taylor expansion of V in l
7.174 * [taylor]: Taking taylor expansion of l in l
7.174 * [taylor]: Taking taylor expansion of A in l
7.174 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
7.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
7.174 * [taylor]: Taking taylor expansion of -1 in V
7.174 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.174 * [taylor]: Taking taylor expansion of (* V l) in V
7.174 * [taylor]: Taking taylor expansion of V in V
7.174 * [taylor]: Taking taylor expansion of l in V
7.174 * [taylor]: Taking taylor expansion of A in V
7.174 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.174 * [taylor]: Taking taylor expansion of -1 in A
7.174 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.174 * [taylor]: Taking taylor expansion of (* V l) in A
7.174 * [taylor]: Taking taylor expansion of V in A
7.174 * [taylor]: Taking taylor expansion of l in A
7.174 * [taylor]: Taking taylor expansion of A in A
7.174 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.174 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.175 * [taylor]: Taking taylor expansion of -1 in A
7.175 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.175 * [taylor]: Taking taylor expansion of (* V l) in A
7.175 * [taylor]: Taking taylor expansion of V in A
7.175 * [taylor]: Taking taylor expansion of l in A
7.175 * [taylor]: Taking taylor expansion of A in A
7.175 * [taylor]: Taking taylor expansion of 0 in V
7.175 * [taylor]: Taking taylor expansion of 0 in l
7.175 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.175 * [taylor]: Taking taylor expansion of NAN in V
7.175 * [taylor]: Taking taylor expansion of (* V l) in V
7.175 * [taylor]: Taking taylor expansion of V in V
7.175 * [taylor]: Taking taylor expansion of l in V
7.175 * [taylor]: Taking taylor expansion of 0 in l
7.175 * [taylor]: Taking taylor expansion of 0 in l
7.175 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.175 * [taylor]: Taking taylor expansion of NAN in V
7.175 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.175 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.175 * [taylor]: Taking taylor expansion of V in V
7.175 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.175 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.175 * [taylor]: Taking taylor expansion of NAN in V
7.175 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.175 * [taylor]: Taking taylor expansion of l in V
7.175 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.175 * [taylor]: Taking taylor expansion of NAN in l
7.176 * [taylor]: Taking taylor expansion of l in l
7.176 * [taylor]: Taking taylor expansion of 0 in l
7.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
7.176 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
7.176 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
7.176 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
7.176 * [taylor]: Taking taylor expansion of A in l
7.176 * [taylor]: Taking taylor expansion of (* V l) in l
7.176 * [taylor]: Taking taylor expansion of V in l
7.176 * [taylor]: Taking taylor expansion of l in l
7.176 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
7.176 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
7.176 * [taylor]: Taking taylor expansion of A in V
7.176 * [taylor]: Taking taylor expansion of (* V l) in V
7.176 * [taylor]: Taking taylor expansion of V in V
7.176 * [taylor]: Taking taylor expansion of l in V
7.176 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.176 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.176 * [taylor]: Taking taylor expansion of A in A
7.176 * [taylor]: Taking taylor expansion of (* V l) in A
7.176 * [taylor]: Taking taylor expansion of V in A
7.176 * [taylor]: Taking taylor expansion of l in A
7.176 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
7.176 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
7.176 * [taylor]: Taking taylor expansion of A in A
7.176 * [taylor]: Taking taylor expansion of (* V l) in A
7.176 * [taylor]: Taking taylor expansion of V in A
7.176 * [taylor]: Taking taylor expansion of l in A
7.177 * [taylor]: Taking taylor expansion of 0 in V
7.177 * [taylor]: Taking taylor expansion of (/ NAN (* V l)) in V
7.177 * [taylor]: Taking taylor expansion of NAN in V
7.177 * [taylor]: Taking taylor expansion of (* V l) in V
7.177 * [taylor]: Taking taylor expansion of V in V
7.177 * [taylor]: Taking taylor expansion of l in V
7.177 * [taylor]: Taking taylor expansion of (/ NAN l) in l
7.177 * [taylor]: Taking taylor expansion of NAN in l
7.177 * [taylor]: Taking taylor expansion of l in l
7.177 * [taylor]: Taking taylor expansion of 0 in l
7.177 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 2) (* (pow V 2) (pow l 2)))) in V
7.177 * [taylor]: Taking taylor expansion of NAN in V
7.177 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow V 2) (pow l 2))) in V
7.177 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.177 * [taylor]: Taking taylor expansion of NAN in V
7.177 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
7.177 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.177 * [taylor]: Taking taylor expansion of V in V
7.177 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.177 * [taylor]: Taking taylor expansion of l in V
7.178 * [taylor]: Taking taylor expansion of 0 in l
7.178 * [taylor]: Taking taylor expansion of 0 in l
7.178 * [taylor]: Taking taylor expansion of 0 in l
7.179 * [taylor]: Taking taylor expansion of (* NAN (/ (pow NAN 4) (* (pow V 3) (pow l 3)))) in V
7.179 * [taylor]: Taking taylor expansion of NAN in V
7.179 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (* (pow V 3) (pow l 3))) in V
7.179 * [taylor]: Taking taylor expansion of (pow NAN 4) in V
7.179 * [taylor]: Taking taylor expansion of NAN in V
7.179 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
7.179 * [taylor]: Taking taylor expansion of (pow V 3) in V
7.179 * [taylor]: Taking taylor expansion of V in V
7.179 * [taylor]: Taking taylor expansion of (pow l 3) in V
7.179 * [taylor]: Taking taylor expansion of l in V
7.180 * [taylor]: Taking taylor expansion of 0 in l
7.181 * [taylor]: Taking taylor expansion of 0 in l
7.181 * [taylor]: Taking taylor expansion of 0 in l
7.181 * [taylor]: Taking taylor expansion of 0 in l
7.181 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
7.181 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
7.181 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.181 * [taylor]: Taking taylor expansion of (* V l) in l
7.181 * [taylor]: Taking taylor expansion of V in l
7.181 * [taylor]: Taking taylor expansion of l in l
7.181 * [taylor]: Taking taylor expansion of A in l
7.181 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
7.181 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.182 * [taylor]: Taking taylor expansion of (* V l) in V
7.182 * [taylor]: Taking taylor expansion of V in V
7.182 * [taylor]: Taking taylor expansion of l in V
7.182 * [taylor]: Taking taylor expansion of A in V
7.182 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.182 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.182 * [taylor]: Taking taylor expansion of (* V l) in A
7.182 * [taylor]: Taking taylor expansion of V in A
7.182 * [taylor]: Taking taylor expansion of l in A
7.182 * [taylor]: Taking taylor expansion of A in A
7.182 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
7.182 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.182 * [taylor]: Taking taylor expansion of (* V l) in A
7.182 * [taylor]: Taking taylor expansion of V in A
7.182 * [taylor]: Taking taylor expansion of l in A
7.182 * [taylor]: Taking taylor expansion of A in A
7.182 * [taylor]: Taking taylor expansion of 0 in V
7.182 * [taylor]: Taking taylor expansion of 0 in l
7.182 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.182 * [taylor]: Taking taylor expansion of NAN in V
7.182 * [taylor]: Taking taylor expansion of (* V l) in V
7.182 * [taylor]: Taking taylor expansion of V in V
7.182 * [taylor]: Taking taylor expansion of l in V
7.182 * [taylor]: Taking taylor expansion of 0 in l
7.182 * [taylor]: Taking taylor expansion of 0 in l
7.183 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.183 * [taylor]: Taking taylor expansion of NAN in V
7.183 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.183 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.183 * [taylor]: Taking taylor expansion of V in V
7.183 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.183 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.183 * [taylor]: Taking taylor expansion of NAN in V
7.183 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.183 * [taylor]: Taking taylor expansion of l in V
7.183 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.183 * [taylor]: Taking taylor expansion of NAN in l
7.183 * [taylor]: Taking taylor expansion of l in l
7.183 * [taylor]: Taking taylor expansion of 0 in l
7.183 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
7.183 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
7.183 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
7.183 * [taylor]: Taking taylor expansion of -1 in l
7.183 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
7.183 * [taylor]: Taking taylor expansion of (* V l) in l
7.183 * [taylor]: Taking taylor expansion of V in l
7.183 * [taylor]: Taking taylor expansion of l in l
7.183 * [taylor]: Taking taylor expansion of A in l
7.183 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
7.183 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
7.183 * [taylor]: Taking taylor expansion of -1 in V
7.183 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
7.183 * [taylor]: Taking taylor expansion of (* V l) in V
7.183 * [taylor]: Taking taylor expansion of V in V
7.183 * [taylor]: Taking taylor expansion of l in V
7.183 * [taylor]: Taking taylor expansion of A in V
7.184 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.184 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.184 * [taylor]: Taking taylor expansion of -1 in A
7.184 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.184 * [taylor]: Taking taylor expansion of (* V l) in A
7.184 * [taylor]: Taking taylor expansion of V in A
7.184 * [taylor]: Taking taylor expansion of l in A
7.184 * [taylor]: Taking taylor expansion of A in A
7.184 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
7.184 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
7.184 * [taylor]: Taking taylor expansion of -1 in A
7.184 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
7.184 * [taylor]: Taking taylor expansion of (* V l) in A
7.184 * [taylor]: Taking taylor expansion of V in A
7.184 * [taylor]: Taking taylor expansion of l in A
7.184 * [taylor]: Taking taylor expansion of A in A
7.184 * [taylor]: Taking taylor expansion of 0 in V
7.184 * [taylor]: Taking taylor expansion of 0 in l
7.184 * [taylor]: Taking taylor expansion of (* NAN (* V l)) in V
7.184 * [taylor]: Taking taylor expansion of NAN in V
7.184 * [taylor]: Taking taylor expansion of (* V l) in V
7.184 * [taylor]: Taking taylor expansion of V in V
7.184 * [taylor]: Taking taylor expansion of l in V
7.184 * [taylor]: Taking taylor expansion of 0 in l
7.184 * [taylor]: Taking taylor expansion of 0 in l
7.185 * [taylor]: Taking taylor expansion of (* NAN (* (pow V 2) (* (pow NAN 2) (pow l 2)))) in V
7.185 * [taylor]: Taking taylor expansion of NAN in V
7.185 * [taylor]: Taking taylor expansion of (* (pow V 2) (* (pow NAN 2) (pow l 2))) in V
7.185 * [taylor]: Taking taylor expansion of (pow V 2) in V
7.185 * [taylor]: Taking taylor expansion of V in V
7.185 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow l 2)) in V
7.185 * [taylor]: Taking taylor expansion of (pow NAN 2) in V
7.185 * [taylor]: Taking taylor expansion of NAN in V
7.185 * [taylor]: Taking taylor expansion of (pow l 2) in V
7.185 * [taylor]: Taking taylor expansion of l in V
7.185 * [taylor]: Taking taylor expansion of (* NAN l) in l
7.185 * [taylor]: Taking taylor expansion of NAN in l
7.185 * [taylor]: Taking taylor expansion of l in l
7.185 * [taylor]: Taking taylor expansion of 0 in l
7.185 * * * [progress]: simplifying candidates
7.186 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (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 (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))))
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
7.188 * * [simplify]: iteration  0 :  43  enodes  (cost  680 )
7.192 * * [simplify]: iteration  1 :  60  enodes  (cost  608 )
7.198 * * [simplify]: iteration  2 :  95  enodes  (cost  592 )
7.376 * * [simplify]: iteration  3 :  147  enodes  (cost  592 )
7.396 * * [simplify]: iteration  4 :  186  enodes  (cost  592 )
7.424 * * [simplify]: iteration  5 :  206  enodes  (cost  592 )
7.451 * * [simplify]: iteration  6 :  227  enodes  (cost  592 )
7.487 * * [simplify]: iteration  7 :  288  enodes  (cost  592 )
7.561 * * [simplify]: iteration  8 :  496  enodes  (cost  592 )
8.034 * * [simplify]: iteration  9 :  1420  enodes  (cost  592 )
10.289 * * [simplify]: iteration  done :  5000  enodes  (cost  592 )
10.290 * [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 (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 (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 (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))))
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
  (/ (* A NAN) (* V l))
  0
  0
10.290 * * * [progress]: adding candidates to table
10.393 * [progress]: [Phase 3 of 3] Extracting.
10.393 * * [regime]: Finding splitpoints for: (#<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 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
10.396 * * * [regime-changes]: Trying 8 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) (* c0 (sqrt (/ A (* V l)))) l V A c0)
10.396 * * * * [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 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
10.520 * * * * [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 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
10.613 * * * * [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 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
10.724 * * * * [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) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) 0)>)
10.794 * * * * [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 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
10.910 * * * * [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) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) 0)>)
10.977 * * * * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.105 * * * * [regimes]: Trying to branch on (* c0 (sqrt (/ A (* V l)))) from (#<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) 0)>)
11.163 * * * * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.272 * * * * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.407 * * * * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.524 * * * * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.634 * * * [regime]: Found split indices: #<option (#s(si 1 97) #s(si 10 137) #s(si 15 255))>
11.634 * [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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.634 * [regimes]: Found splitpoints: (#s(sp 1 (* V l) -9.710285565692314e-148) #s(sp 10 (* V l) 0.0) #s(sp 15 (* 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 (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (* (cbrt A) (cbrt A)) V)) (sqrt (/ (cbrt A) l)))))> #<alt (λ (c0 A V l) (* (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l)))))) (cbrt (* c0 (sqrt (/ A (* V l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (cbrt (/ A (* V l)))) c0) (sqrt (cbrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))) (cbrt (sqrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (sqrt A) V)) (sqrt (/ (sqrt A) 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))))> #<alt (λ (c0 A V l) 0)> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ 1 V)) (sqrt (/ A l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l))))))>)
11.634 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* V l) -9.710285565692314e-148) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))) (if (<= (* V l) 0.0) (* c0 (sqrt (* (/ 1 V) (/ A l)))) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l)))))))
11.635 * * [simplify]: iteration  0 :  27  enodes  (cost  50 )
11.636 * * [simplify]: iteration  1 :  36  enodes  (cost  50 )
11.637 * * [simplify]: iteration  done :  36  enodes  (cost  50 )
11.637 * [simplify]: Simplified to:
   (if (<= (* V l) -9.710285565692314e-148) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))) (if (<= (* V l) 0.0) (* c0 (sqrt (* (/ 1 V) (/ A l)))) (* c0 (* (sqrt A) (sqrt (/ 1 (* V l)))))))
15.072 * [regime-testing]: End program error score: 13.737385525474407