66.741 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* c0 (sqrt (/ A (* V l))))
0.042 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
0.043 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.044 * * [simplify]: iteration  2 :  14  enodes  (cost  4 )
0.044 * [simplify]: Simplified to:
   (* c0 (sqrt (/ A (* V l))))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.047 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.047 * * * [progress]: localizing error
0.053 * * * [progress]: generating rewritten candidates
0.053 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.061 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.070 * * * [progress]: generating series expansions
0.070 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.070 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.070 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.070 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.070 * [taylor]: Taking taylor expansion of A in l
0.070 * [taylor]: Taking taylor expansion of (* V l) in l
0.070 * [taylor]: Taking taylor expansion of V in l
0.070 * [taylor]: Taking taylor expansion of l in l
0.072 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.072 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.072 * [taylor]: Taking taylor expansion of A in V
0.072 * [taylor]: Taking taylor expansion of (* V l) in V
0.072 * [taylor]: Taking taylor expansion of V in V
0.072 * [taylor]: Taking taylor expansion of l in V
0.073 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.073 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.073 * [taylor]: Taking taylor expansion of A in A
0.073 * [taylor]: Taking taylor expansion of (* V l) in A
0.073 * [taylor]: Taking taylor expansion of V in A
0.073 * [taylor]: Taking taylor expansion of l in A
0.073 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.073 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.073 * [taylor]: Taking taylor expansion of A in A
0.073 * [taylor]: Taking taylor expansion of (* V l) in A
0.073 * [taylor]: Taking taylor expansion of V in A
0.073 * [taylor]: Taking taylor expansion of l in A
0.077 * [taylor]: Taking taylor expansion of 0 in V
0.077 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.077 * [taylor]: Taking taylor expansion of +nan.0 in V
0.077 * [taylor]: Taking taylor expansion of (* V l) in V
0.078 * [taylor]: Taking taylor expansion of V in V
0.078 * [taylor]: Taking taylor expansion of l in V
0.078 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.078 * [taylor]: Taking taylor expansion of +nan.0 in l
0.078 * [taylor]: Taking taylor expansion of l in l
0.078 * [taylor]: Taking taylor expansion of 0 in l
0.079 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.079 * [taylor]: Taking taylor expansion of +nan.0 in V
0.079 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.079 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.079 * [taylor]: Taking taylor expansion of V in V
0.079 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.079 * [taylor]: Taking taylor expansion of l in V
0.081 * [taylor]: Taking taylor expansion of 0 in l
0.081 * [taylor]: Taking taylor expansion of 0 in l
0.081 * [taylor]: Taking taylor expansion of 0 in l
0.083 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
0.083 * [taylor]: Taking taylor expansion of +nan.0 in V
0.083 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.083 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.083 * [taylor]: Taking taylor expansion of V in V
0.083 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.083 * [taylor]: Taking taylor expansion of l in V
0.088 * [taylor]: Taking taylor expansion of 0 in l
0.089 * [taylor]: Taking taylor expansion of 0 in l
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.090 * [taylor]: Taking taylor expansion of 0 in l
0.091 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.091 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.091 * [taylor]: Taking taylor expansion of (* V l) in l
0.091 * [taylor]: Taking taylor expansion of V in l
0.091 * [taylor]: Taking taylor expansion of l in l
0.091 * [taylor]: Taking taylor expansion of A in l
0.092 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.092 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.092 * [taylor]: Taking taylor expansion of (* V l) in V
0.092 * [taylor]: Taking taylor expansion of V in V
0.092 * [taylor]: Taking taylor expansion of l in V
0.092 * [taylor]: Taking taylor expansion of A in V
0.093 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.093 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.093 * [taylor]: Taking taylor expansion of (* V l) in A
0.093 * [taylor]: Taking taylor expansion of V in A
0.093 * [taylor]: Taking taylor expansion of l in A
0.093 * [taylor]: Taking taylor expansion of A in A
0.094 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.094 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.094 * [taylor]: Taking taylor expansion of (* V l) in A
0.094 * [taylor]: Taking taylor expansion of V in A
0.094 * [taylor]: Taking taylor expansion of l in A
0.094 * [taylor]: Taking taylor expansion of A in A
0.094 * [taylor]: Taking taylor expansion of 0 in V
0.094 * [taylor]: Taking taylor expansion of 0 in l
0.094 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.094 * [taylor]: Taking taylor expansion of +nan.0 in V
0.094 * [taylor]: Taking taylor expansion of (* V l) in V
0.094 * [taylor]: Taking taylor expansion of V in V
0.094 * [taylor]: Taking taylor expansion of l in V
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.095 * [taylor]: Taking taylor expansion of 0 in l
0.096 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.096 * [taylor]: Taking taylor expansion of +nan.0 in V
0.096 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.096 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.096 * [taylor]: Taking taylor expansion of V in V
0.096 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.096 * [taylor]: Taking taylor expansion of l in V
0.097 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.097 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.097 * [taylor]: Taking taylor expansion of +nan.0 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.098 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.098 * [taylor]: Taking taylor expansion of -1 in l
0.098 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.098 * [taylor]: Taking taylor expansion of (* V l) in l
0.098 * [taylor]: Taking taylor expansion of V in l
0.098 * [taylor]: Taking taylor expansion of l in l
0.098 * [taylor]: Taking taylor expansion of A in l
0.099 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.099 * [taylor]: Taking taylor expansion of -1 in V
0.099 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.099 * [taylor]: Taking taylor expansion of (* V l) in V
0.099 * [taylor]: Taking taylor expansion of V in V
0.099 * [taylor]: Taking taylor expansion of l in V
0.099 * [taylor]: Taking taylor expansion of A in V
0.100 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.100 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.100 * [taylor]: Taking taylor expansion of -1 in A
0.100 * [taylor]: Taking taylor expansion of (/ (* V l) 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 in A
0.100 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.100 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.101 * [taylor]: Taking taylor expansion of -1 in A
0.101 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.101 * [taylor]: Taking taylor expansion of (* V l) in A
0.101 * [taylor]: Taking taylor expansion of V in A
0.101 * [taylor]: Taking taylor expansion of l in A
0.101 * [taylor]: Taking taylor expansion of A in A
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 (* +nan.0 (* V l)) in V
0.101 * [taylor]: Taking taylor expansion of +nan.0 in V
0.101 * [taylor]: Taking taylor expansion of (* V l) in V
0.101 * [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 0 in l
0.102 * [taylor]: Taking taylor expansion of 0 in l
0.104 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.104 * [taylor]: Taking taylor expansion of +nan.0 in V
0.104 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.104 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.104 * [taylor]: Taking taylor expansion of V in V
0.104 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.104 * [taylor]: Taking taylor expansion of l in V
0.104 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.104 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.104 * [taylor]: Taking taylor expansion of +nan.0 in l
0.104 * [taylor]: Taking taylor expansion of l in l
0.105 * [taylor]: Taking taylor expansion of 0 in l
0.105 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.105 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
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 (/ 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.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 (/ 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 (/ 1 (* V l)) in V
0.106 * [taylor]: Taking taylor expansion of (* V l) in V
0.106 * [taylor]: Taking taylor expansion of V in V
0.106 * [taylor]: Taking taylor expansion of l in V
0.106 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.106 * [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.108 * [taylor]: Taking taylor expansion of 0 in V
0.108 * [taylor]: Taking taylor expansion of 0 in l
0.109 * [taylor]: Taking taylor expansion of 0 in l
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 l
0.112 * [taylor]: Taking taylor expansion of 0 in l
0.112 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.112 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.112 * [taylor]: Taking taylor expansion of (* V l) in l
0.112 * [taylor]: Taking taylor expansion of V in l
0.112 * [taylor]: Taking taylor expansion of l in l
0.112 * [taylor]: Taking taylor expansion of A in l
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 (/ (* V l) A) in A
0.113 * [taylor]: Taking taylor expansion of (* V l) in A
0.113 * [taylor]: Taking taylor expansion of V in A
0.113 * [taylor]: Taking taylor expansion of l in A
0.113 * [taylor]: Taking taylor expansion of A in A
0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.113 * [taylor]: Taking taylor expansion of (* V l) in A
0.113 * [taylor]: Taking taylor expansion of V in A
0.113 * [taylor]: Taking taylor expansion of l in A
0.113 * [taylor]: Taking taylor expansion of A in A
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.114 * [taylor]: Taking taylor expansion of l in l
0.114 * [taylor]: Taking taylor expansion of 0 in V
0.114 * [taylor]: Taking taylor expansion of 0 in l
0.115 * [taylor]: Taking taylor expansion of 0 in l
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 0 in l
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.117 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.117 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.117 * [taylor]: Taking taylor expansion of -1 in l
0.117 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.117 * [taylor]: Taking taylor expansion of (* V l) in l
0.117 * [taylor]: Taking taylor expansion of V in l
0.117 * [taylor]: Taking taylor expansion of l in l
0.117 * [taylor]: Taking taylor expansion of A in l
0.118 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.118 * [taylor]: Taking taylor expansion of -1 in V
0.118 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.118 * [taylor]: Taking taylor expansion of (* V l) in V
0.118 * [taylor]: Taking taylor expansion of V in V
0.118 * [taylor]: Taking taylor expansion of l in V
0.118 * [taylor]: Taking taylor expansion of A in V
0.118 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.118 * [taylor]: Taking taylor expansion of -1 in A
0.118 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.118 * [taylor]: Taking taylor expansion of (* V l) in A
0.118 * [taylor]: Taking taylor expansion of V in A
0.118 * [taylor]: Taking taylor expansion of l in A
0.118 * [taylor]: Taking taylor expansion of A in A
0.118 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.118 * [taylor]: Taking taylor expansion of -1 in A
0.118 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.118 * [taylor]: Taking taylor expansion of (* V l) in A
0.118 * [taylor]: Taking taylor expansion of V in A
0.118 * [taylor]: Taking taylor expansion of l in A
0.118 * [taylor]: Taking taylor expansion of A in A
0.118 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.118 * [taylor]: Taking taylor expansion of -1 in V
0.118 * [taylor]: Taking taylor expansion of (* V l) in V
0.118 * [taylor]: Taking taylor expansion of V in V
0.118 * [taylor]: Taking taylor expansion of l in V
0.119 * [taylor]: Taking taylor expansion of (neg l) in l
0.119 * [taylor]: Taking taylor expansion of l in l
0.120 * [taylor]: Taking taylor expansion of 0 in V
0.120 * [taylor]: Taking taylor expansion of 0 in l
0.121 * [taylor]: Taking taylor expansion of 0 in l
0.123 * [taylor]: Taking taylor expansion of 0 in V
0.123 * [taylor]: Taking taylor expansion of 0 in l
0.123 * [taylor]: Taking taylor expansion of 0 in l
0.125 * [taylor]: Taking taylor expansion of 0 in l
0.125 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.125 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.125 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.125 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.125 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.125 * [taylor]: Taking taylor expansion of A in l
0.125 * [taylor]: Taking taylor expansion of (* V l) in l
0.125 * [taylor]: Taking taylor expansion of V in l
0.125 * [taylor]: Taking taylor expansion of l in l
0.126 * [taylor]: Taking taylor expansion of c0 in l
0.126 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.126 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.126 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.126 * [taylor]: Taking taylor expansion of A in V
0.126 * [taylor]: Taking taylor expansion of (* V l) in V
0.126 * [taylor]: Taking taylor expansion of V in V
0.126 * [taylor]: Taking taylor expansion of l in V
0.127 * [taylor]: Taking taylor expansion of c0 in V
0.127 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.127 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.127 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.127 * [taylor]: Taking taylor expansion of A in A
0.127 * [taylor]: Taking taylor expansion of (* V l) in A
0.127 * [taylor]: Taking taylor expansion of V in A
0.127 * [taylor]: Taking taylor expansion of l in A
0.128 * [taylor]: Taking taylor expansion of c0 in A
0.128 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.128 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.128 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.128 * [taylor]: Taking taylor expansion of A in c0
0.128 * [taylor]: Taking taylor expansion of (* V l) in c0
0.128 * [taylor]: Taking taylor expansion of V in c0
0.128 * [taylor]: Taking taylor expansion of l in c0
0.128 * [taylor]: Taking taylor expansion of c0 in c0
0.128 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.128 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.128 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.128 * [taylor]: Taking taylor expansion of A in c0
0.128 * [taylor]: Taking taylor expansion of (* V l) in c0
0.128 * [taylor]: Taking taylor expansion of V in c0
0.128 * [taylor]: Taking taylor expansion of l in c0
0.129 * [taylor]: Taking taylor expansion of c0 in c0
0.129 * [taylor]: Taking taylor expansion of 0 in A
0.129 * [taylor]: Taking taylor expansion of 0 in V
0.129 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.129 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.129 * [taylor]: Taking taylor expansion of A in A
0.129 * [taylor]: Taking taylor expansion of (* V l) in A
0.129 * [taylor]: Taking taylor expansion of V in A
0.129 * [taylor]: Taking taylor expansion of l in A
0.130 * [taylor]: Taking taylor expansion of 0 in V
0.130 * [taylor]: Taking taylor expansion of 0 in V
0.130 * [taylor]: Taking taylor expansion of 0 in l
0.132 * [taylor]: Taking taylor expansion of 0 in A
0.132 * [taylor]: Taking taylor expansion of 0 in V
0.132 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.132 * [taylor]: Taking taylor expansion of +nan.0 in V
0.132 * [taylor]: Taking taylor expansion of (* V l) in V
0.132 * [taylor]: Taking taylor expansion of V in V
0.132 * [taylor]: Taking taylor expansion of l in V
0.132 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.132 * [taylor]: Taking taylor expansion of +nan.0 in l
0.132 * [taylor]: Taking taylor expansion of l in l
0.132 * [taylor]: Taking taylor expansion of 0 in V
0.132 * [taylor]: Taking taylor expansion of 0 in l
0.133 * [taylor]: Taking taylor expansion of 0 in l
0.133 * [taylor]: Taking taylor expansion of 0 in l
0.134 * [taylor]: Taking taylor expansion of 0 in A
0.134 * [taylor]: Taking taylor expansion of 0 in V
0.134 * [taylor]: Taking taylor expansion of 0 in V
0.135 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.135 * [taylor]: Taking taylor expansion of +nan.0 in V
0.135 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.135 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.135 * [taylor]: Taking taylor expansion of V in V
0.135 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.135 * [taylor]: Taking taylor expansion of l in V
0.137 * [taylor]: Taking taylor expansion of 0 in l
0.137 * [taylor]: Taking taylor expansion of 0 in V
0.137 * [taylor]: Taking taylor expansion of 0 in l
0.137 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.138 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.138 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.138 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.139 * [taylor]: Taking taylor expansion of (* V l) in l
0.139 * [taylor]: Taking taylor expansion of V in l
0.139 * [taylor]: Taking taylor expansion of l in l
0.139 * [taylor]: Taking taylor expansion of A in l
0.139 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.140 * [taylor]: Taking taylor expansion of c0 in l
0.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.140 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.140 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.140 * [taylor]: Taking taylor expansion of (* V l) in V
0.140 * [taylor]: Taking taylor expansion of V in V
0.140 * [taylor]: Taking taylor expansion of l in V
0.140 * [taylor]: Taking taylor expansion of A in V
0.141 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.141 * [taylor]: Taking taylor expansion of c0 in V
0.141 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.141 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.141 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.141 * [taylor]: Taking taylor expansion of (* V l) in A
0.141 * [taylor]: Taking taylor expansion of V in A
0.141 * [taylor]: Taking taylor expansion of l in A
0.141 * [taylor]: Taking taylor expansion of A in A
0.141 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.141 * [taylor]: Taking taylor expansion of c0 in A
0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.142 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.142 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.142 * [taylor]: Taking taylor expansion of (* V l) in c0
0.142 * [taylor]: Taking taylor expansion of V in c0
0.142 * [taylor]: Taking taylor expansion of l in c0
0.142 * [taylor]: Taking taylor expansion of A in c0
0.142 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.142 * [taylor]: Taking taylor expansion of c0 in c0
0.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.142 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.142 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.142 * [taylor]: Taking taylor expansion of (* V l) in c0
0.142 * [taylor]: Taking taylor expansion of V in c0
0.142 * [taylor]: Taking taylor expansion of l in c0
0.142 * [taylor]: Taking taylor expansion of A in c0
0.143 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.143 * [taylor]: Taking taylor expansion of c0 in c0
0.143 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.143 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.143 * [taylor]: Taking taylor expansion of (* V l) in A
0.143 * [taylor]: Taking taylor expansion of V in A
0.143 * [taylor]: Taking taylor expansion of l in A
0.143 * [taylor]: Taking taylor expansion of A in A
0.144 * [taylor]: Taking taylor expansion of 0 in V
0.144 * [taylor]: Taking taylor expansion of 0 in l
0.145 * [taylor]: Taking taylor expansion of 0 in A
0.145 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.145 * [taylor]: Taking taylor expansion of +nan.0 in V
0.145 * [taylor]: Taking taylor expansion of (* V l) in V
0.145 * [taylor]: Taking taylor expansion of V in V
0.145 * [taylor]: Taking taylor expansion of l in V
0.145 * [taylor]: Taking taylor expansion of 0 in l
0.145 * [taylor]: Taking taylor expansion of 0 in l
0.147 * [taylor]: Taking taylor expansion of 0 in A
0.147 * [taylor]: Taking taylor expansion of 0 in V
0.147 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.149 * [taylor]: Taking taylor expansion of +nan.0 in V
0.149 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.149 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.149 * [taylor]: Taking taylor expansion of V in V
0.149 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.149 * [taylor]: Taking taylor expansion of l in V
0.149 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.149 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.149 * [taylor]: Taking taylor expansion of +nan.0 in l
0.149 * [taylor]: Taking taylor expansion of l in l
0.150 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.150 * [taylor]: Taking taylor expansion of -1 in l
0.150 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.150 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.150 * [taylor]: Taking taylor expansion of -1 in l
0.150 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.150 * [taylor]: Taking taylor expansion of (* V l) in l
0.150 * [taylor]: Taking taylor expansion of V in l
0.150 * [taylor]: Taking taylor expansion of l in l
0.150 * [taylor]: Taking taylor expansion of A in l
0.151 * [taylor]: Taking taylor expansion of c0 in l
0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.151 * [taylor]: Taking taylor expansion of -1 in V
0.151 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.151 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.151 * [taylor]: Taking taylor expansion of -1 in V
0.151 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.152 * [taylor]: Taking taylor expansion of (* V l) in V
0.152 * [taylor]: Taking taylor expansion of V in V
0.152 * [taylor]: Taking taylor expansion of l in V
0.152 * [taylor]: Taking taylor expansion of A in V
0.152 * [taylor]: Taking taylor expansion of c0 in V
0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.153 * [taylor]: Taking taylor expansion of -1 in A
0.153 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.153 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.153 * [taylor]: Taking taylor expansion of -1 in A
0.153 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.153 * [taylor]: Taking taylor expansion of (* V l) in A
0.153 * [taylor]: Taking taylor expansion of V in A
0.153 * [taylor]: Taking taylor expansion of l in A
0.153 * [taylor]: Taking taylor expansion of A in A
0.153 * [taylor]: Taking taylor expansion of c0 in A
0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.154 * [taylor]: Taking taylor expansion of -1 in c0
0.154 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.154 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.154 * [taylor]: Taking taylor expansion of -1 in c0
0.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.154 * [taylor]: Taking taylor expansion of (* V l) in c0
0.154 * [taylor]: Taking taylor expansion of V in c0
0.154 * [taylor]: Taking taylor expansion of l in c0
0.154 * [taylor]: Taking taylor expansion of A in c0
0.154 * [taylor]: Taking taylor expansion of c0 in c0
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.155 * [taylor]: Taking taylor expansion of -1 in c0
0.155 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.155 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.155 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.155 * [taylor]: Taking taylor expansion of -1 in c0
0.155 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.155 * [taylor]: Taking taylor expansion of (* V l) in c0
0.155 * [taylor]: Taking taylor expansion of V in c0
0.155 * [taylor]: Taking taylor expansion of l in c0
0.155 * [taylor]: Taking taylor expansion of A in c0
0.155 * [taylor]: Taking taylor expansion of c0 in c0
0.156 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.156 * [taylor]: Taking taylor expansion of -1 in A
0.156 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.156 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.156 * [taylor]: Taking taylor expansion of -1 in A
0.156 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.156 * [taylor]: Taking taylor expansion of (* V l) in A
0.156 * [taylor]: Taking taylor expansion of V in A
0.156 * [taylor]: Taking taylor expansion of l in A
0.156 * [taylor]: Taking taylor expansion of A in A
0.157 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* V l))) in V
0.157 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.157 * [taylor]: Taking taylor expansion of +nan.0 in V
0.157 * [taylor]: Taking taylor expansion of (* V l) in V
0.157 * [taylor]: Taking taylor expansion of V in V
0.157 * [taylor]: Taking taylor expansion of l in V
0.157 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.157 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.157 * [taylor]: Taking taylor expansion of +nan.0 in l
0.157 * [taylor]: Taking taylor expansion of l in l
0.160 * [taylor]: Taking taylor expansion of 0 in A
0.160 * [taylor]: Taking taylor expansion of 0 in V
0.160 * [taylor]: Taking taylor expansion of 0 in l
0.162 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* (pow V 2) (pow l 2)))) in V
0.162 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.162 * [taylor]: Taking taylor expansion of +nan.0 in V
0.162 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.162 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.162 * [taylor]: Taking taylor expansion of V in V
0.162 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.162 * [taylor]: Taking taylor expansion of l in V
0.164 * [taylor]: Taking taylor expansion of 0 in l
0.170 * [taylor]: Taking taylor expansion of 0 in A
0.170 * [taylor]: Taking taylor expansion of 0 in V
0.170 * [taylor]: Taking taylor expansion of 0 in l
0.170 * [taylor]: Taking taylor expansion of 0 in V
0.170 * [taylor]: Taking taylor expansion of 0 in l
0.173 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* (pow V 3) (pow l 3)))) in V
0.173 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
0.173 * [taylor]: Taking taylor expansion of +nan.0 in V
0.173 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.173 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.173 * [taylor]: Taking taylor expansion of V in V
0.173 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.173 * [taylor]: Taking taylor expansion of l in V
0.173 * [taylor]: Taking taylor expansion of 0 in l
0.174 * * * [progress]: simplifying candidates
0.175 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))))
  (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt 1)
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  (/ 1 2)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (- (log A) (+ (log V) (log l)))
  (- (log A) (log (* V l)))
  (log (/ A (* V l)))
  (exp (/ A (* V l)))
  (/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
  (/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
  (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))
  (cbrt (/ A (* V l)))
  (* (* (/ A (* V l)) (/ A (* V l))) (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (neg A)
  (neg (* V l))
  (/ (* (cbrt A) (cbrt A)) V)
  (/ (cbrt A) l)
  (/ (sqrt A) V)
  (/ (sqrt A) l)
  (/ 1 V)
  (/ A l)
  (/ 1 (* V l))
  (/ (* V l) A)
  (/ A V)
  (/ (* V l) (cbrt A))
  (/ (* V l) (sqrt A))
  (/ (* V l) A)
  (* c0 (sqrt (/ A (* V l))))
  (+ (log c0) (log (sqrt (/ A (* V l)))))
  (log (* c0 (sqrt (/ A (* V l)))))
  (exp (* c0 (sqrt (/ A (* V l)))))
  (* (* (* c0 c0) c0) (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l)))))
  (* (cbrt (* c0 (sqrt (/ A (* V l))))) (cbrt (* c0 (sqrt (/ A (* V l))))))
  (cbrt (* c0 (sqrt (/ A (* V l)))))
  (* (* (* c0 (sqrt (/ A (* V l)))) (* c0 (sqrt (/ A (* V l))))) (* c0 (sqrt (/ A (* V l)))))
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (sqrt (* c0 (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* (sqrt c0) (sqrt (sqrt (/ A (* V l)))))
  (* c0 (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l))))))
  (* c0 (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))))
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  (* c0 (sqrt (/ (* (cbrt A) (cbrt A)) V)))
  (* c0 (sqrt (/ (sqrt A) V)))
  (* c0 (sqrt (/ 1 V)))
  (* c0 (sqrt 1))
  (* c0 (sqrt A))
  (* c0 (sqrt (sqrt (/ A (* V l)))))
  (* c0 1)
  (* (cbrt c0) (sqrt (/ A (* V l))))
  (* (sqrt c0) (sqrt (/ A (* V l))))
  (* c0 (sqrt (/ A (* V l))))
  (* c0 (sqrt A))
  (* +nan.0 (/ A (* V l)))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (* +nan.0 (/ (* c0 A) (* V l)))
  0
  (* +nan.0 (/ c0 (* V l)))
0.179 * * [simplify]: iteration  0 :  209  enodes  (cost  321 )
0.183 * * [simplify]: iteration  1 :  813  enodes  (cost  296 )
0.197 * * [simplify]: iteration  2 :  3055  enodes  (cost  293 )
0.239 * * [simplify]: iteration  3 :  5001  enodes  (cost  293 )
0.241 * [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))
  (* +nan.0 (/ A (* V l)))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (* +nan.0 (/ (* c0 A) (* V l)))
  0
  (* +nan.0 (/ c0 (* V l)))
0.241 * * * [progress]: adding candidates to table
0.393 * * [progress]: iteration 2 / 4
0.393 * * * [progress]: picking best candidate
0.430 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))>
0.430 * * * [progress]: localizing error
0.436 * * * [progress]: generating rewritten candidates
0.436 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.444 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.450 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.478 * * * [progress]: generating series expansions
0.478 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.478 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.478 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.479 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.479 * [taylor]: Taking taylor expansion of A in l
0.479 * [taylor]: Taking taylor expansion of (* V l) in l
0.479 * [taylor]: Taking taylor expansion of V in l
0.479 * [taylor]: Taking taylor expansion of l in l
0.480 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.480 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.480 * [taylor]: Taking taylor expansion of A in V
0.480 * [taylor]: Taking taylor expansion of (* V l) in V
0.480 * [taylor]: Taking taylor expansion of V in V
0.480 * [taylor]: Taking taylor expansion of l in V
0.481 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.481 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.481 * [taylor]: Taking taylor expansion of A in A
0.481 * [taylor]: Taking taylor expansion of (* V l) in A
0.481 * [taylor]: Taking taylor expansion of V in A
0.481 * [taylor]: Taking taylor expansion of l in A
0.482 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.482 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.482 * [taylor]: Taking taylor expansion of A in A
0.482 * [taylor]: Taking taylor expansion of (* V l) in A
0.482 * [taylor]: Taking taylor expansion of V in A
0.482 * [taylor]: Taking taylor expansion of l in A
0.482 * [taylor]: Taking taylor expansion of 0 in V
0.483 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.483 * [taylor]: Taking taylor expansion of +nan.0 in V
0.483 * [taylor]: Taking taylor expansion of (* V l) in V
0.483 * [taylor]: Taking taylor expansion of V in V
0.483 * [taylor]: Taking taylor expansion of l in V
0.483 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.483 * [taylor]: Taking taylor expansion of +nan.0 in l
0.483 * [taylor]: Taking taylor expansion of l in l
0.483 * [taylor]: Taking taylor expansion of 0 in l
0.484 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.484 * [taylor]: Taking taylor expansion of +nan.0 in V
0.484 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.484 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.484 * [taylor]: Taking taylor expansion of V in V
0.484 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.484 * [taylor]: Taking taylor expansion of l in V
0.486 * [taylor]: Taking taylor expansion of 0 in l
0.486 * [taylor]: Taking taylor expansion of 0 in l
0.486 * [taylor]: Taking taylor expansion of 0 in l
0.488 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
0.488 * [taylor]: Taking taylor expansion of +nan.0 in V
0.488 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.488 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.488 * [taylor]: Taking taylor expansion of V in V
0.488 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.488 * [taylor]: Taking taylor expansion of l in V
0.492 * [taylor]: Taking taylor expansion of 0 in l
0.494 * [taylor]: Taking taylor expansion of 0 in l
0.495 * [taylor]: Taking taylor expansion of 0 in l
0.495 * [taylor]: Taking taylor expansion of 0 in l
0.496 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.496 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.496 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.496 * [taylor]: Taking taylor expansion of (* V l) in l
0.496 * [taylor]: Taking taylor expansion of V in l
0.496 * [taylor]: Taking taylor expansion of l in l
0.496 * [taylor]: Taking taylor expansion of A in l
0.497 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.497 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.497 * [taylor]: Taking taylor expansion of (* V l) in V
0.497 * [taylor]: Taking taylor expansion of V in V
0.497 * [taylor]: Taking taylor expansion of l in V
0.497 * [taylor]: Taking taylor expansion of A in V
0.498 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.498 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.498 * [taylor]: Taking taylor expansion of (* V l) in A
0.498 * [taylor]: Taking taylor expansion of V in A
0.498 * [taylor]: Taking taylor expansion of l in A
0.498 * [taylor]: Taking taylor expansion of A in A
0.498 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.498 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.498 * [taylor]: Taking taylor expansion of (* V l) in A
0.498 * [taylor]: Taking taylor expansion of V in A
0.498 * [taylor]: Taking taylor expansion of l in A
0.498 * [taylor]: Taking taylor expansion of A in A
0.499 * [taylor]: Taking taylor expansion of 0 in V
0.499 * [taylor]: Taking taylor expansion of 0 in l
0.499 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.499 * [taylor]: Taking taylor expansion of +nan.0 in V
0.499 * [taylor]: Taking taylor expansion of (* V l) in V
0.499 * [taylor]: Taking taylor expansion of V in V
0.499 * [taylor]: Taking taylor expansion of l in V
0.500 * [taylor]: Taking taylor expansion of 0 in l
0.500 * [taylor]: Taking taylor expansion of 0 in l
0.501 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.501 * [taylor]: Taking taylor expansion of +nan.0 in V
0.501 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.501 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.501 * [taylor]: Taking taylor expansion of V in V
0.501 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.501 * [taylor]: Taking taylor expansion of l in V
0.502 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.502 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.502 * [taylor]: Taking taylor expansion of +nan.0 in l
0.502 * [taylor]: Taking taylor expansion of l in l
0.502 * [taylor]: Taking taylor expansion of 0 in l
0.502 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.502 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.502 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.502 * [taylor]: Taking taylor expansion of -1 in l
0.502 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.502 * [taylor]: Taking taylor expansion of (* V l) in l
0.502 * [taylor]: Taking taylor expansion of V in l
0.502 * [taylor]: Taking taylor expansion of l in l
0.502 * [taylor]: Taking taylor expansion of A in l
0.503 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.503 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.504 * [taylor]: Taking taylor expansion of -1 in V
0.504 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.504 * [taylor]: Taking taylor expansion of (* V l) in V
0.504 * [taylor]: Taking taylor expansion of V in V
0.504 * [taylor]: Taking taylor expansion of l in V
0.504 * [taylor]: Taking taylor expansion of A in V
0.505 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.505 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.505 * [taylor]: Taking taylor expansion of -1 in A
0.505 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.505 * [taylor]: Taking taylor expansion of (* V l) in A
0.505 * [taylor]: Taking taylor expansion of V in A
0.505 * [taylor]: Taking taylor expansion of l in A
0.505 * [taylor]: Taking taylor expansion of A in A
0.505 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.505 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.505 * [taylor]: Taking taylor expansion of -1 in A
0.505 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.505 * [taylor]: Taking taylor expansion of (* V l) in A
0.506 * [taylor]: Taking taylor expansion of V in A
0.506 * [taylor]: Taking taylor expansion of l in A
0.506 * [taylor]: Taking taylor expansion of A in A
0.506 * [taylor]: Taking taylor expansion of 0 in V
0.506 * [taylor]: Taking taylor expansion of 0 in l
0.506 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.506 * [taylor]: Taking taylor expansion of +nan.0 in V
0.506 * [taylor]: Taking taylor expansion of (* V l) in V
0.506 * [taylor]: Taking taylor expansion of V in V
0.506 * [taylor]: Taking taylor expansion of l in V
0.507 * [taylor]: Taking taylor expansion of 0 in l
0.507 * [taylor]: Taking taylor expansion of 0 in l
0.508 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.508 * [taylor]: Taking taylor expansion of +nan.0 in V
0.508 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.508 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.508 * [taylor]: Taking taylor expansion of V in V
0.508 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.508 * [taylor]: Taking taylor expansion of l in V
0.509 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.509 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.509 * [taylor]: Taking taylor expansion of +nan.0 in l
0.509 * [taylor]: Taking taylor expansion of l in l
0.510 * [taylor]: Taking taylor expansion of 0 in l
0.510 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.510 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.510 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.510 * [taylor]: Taking taylor expansion of A in l
0.510 * [taylor]: Taking taylor expansion of (* V l) in l
0.510 * [taylor]: Taking taylor expansion of V in l
0.510 * [taylor]: Taking taylor expansion of l in l
0.510 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.510 * [taylor]: Taking taylor expansion of A in V
0.510 * [taylor]: Taking taylor expansion of (* V l) in V
0.510 * [taylor]: Taking taylor expansion of V in V
0.510 * [taylor]: Taking taylor expansion of l in V
0.511 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.511 * [taylor]: Taking taylor expansion of A in A
0.511 * [taylor]: Taking taylor expansion of (* V l) in A
0.511 * [taylor]: Taking taylor expansion of V in A
0.511 * [taylor]: Taking taylor expansion of l in A
0.511 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.511 * [taylor]: Taking taylor expansion of A in A
0.511 * [taylor]: Taking taylor expansion of (* V l) in A
0.511 * [taylor]: Taking taylor expansion of V in A
0.511 * [taylor]: Taking taylor expansion of l in A
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.511 * [taylor]: Taking taylor expansion of (* V l) in V
0.511 * [taylor]: Taking taylor expansion of V in V
0.511 * [taylor]: Taking taylor expansion of l in V
0.511 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.511 * [taylor]: Taking taylor expansion of l in l
0.512 * [taylor]: Taking taylor expansion of 0 in V
0.512 * [taylor]: Taking taylor expansion of 0 in l
0.513 * [taylor]: Taking taylor expansion of 0 in V
0.513 * [taylor]: Taking taylor expansion of 0 in l
0.514 * [taylor]: Taking taylor expansion of 0 in l
0.515 * [taylor]: Taking taylor expansion of 0 in V
0.515 * [taylor]: Taking taylor expansion of 0 in l
0.515 * [taylor]: Taking taylor expansion of 0 in l
0.517 * [taylor]: Taking taylor expansion of 0 in l
0.517 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.517 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.517 * [taylor]: Taking taylor expansion of (* V l) in l
0.517 * [taylor]: Taking taylor expansion of V in l
0.517 * [taylor]: Taking taylor expansion of l in l
0.517 * [taylor]: Taking taylor expansion of A in l
0.517 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.517 * [taylor]: Taking taylor expansion of (* V l) in V
0.517 * [taylor]: Taking taylor expansion of V in V
0.517 * [taylor]: Taking taylor expansion of l in V
0.517 * [taylor]: Taking taylor expansion of A in V
0.518 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.518 * [taylor]: Taking taylor expansion of (* V l) in A
0.518 * [taylor]: Taking taylor expansion of V in A
0.518 * [taylor]: Taking taylor expansion of l in A
0.518 * [taylor]: Taking taylor expansion of A in A
0.518 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.518 * [taylor]: Taking taylor expansion of (* V l) in A
0.518 * [taylor]: Taking taylor expansion of V in A
0.518 * [taylor]: Taking taylor expansion of l in A
0.518 * [taylor]: Taking taylor expansion of A in A
0.518 * [taylor]: Taking taylor expansion of (* V l) in V
0.518 * [taylor]: Taking taylor expansion of V in V
0.518 * [taylor]: Taking taylor expansion of l in V
0.518 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of 0 in V
0.519 * [taylor]: Taking taylor expansion of 0 in l
0.519 * [taylor]: Taking taylor expansion of 0 in l
0.521 * [taylor]: Taking taylor expansion of 0 in V
0.521 * [taylor]: Taking taylor expansion of 0 in l
0.521 * [taylor]: Taking taylor expansion of 0 in l
0.521 * [taylor]: Taking taylor expansion of 0 in l
0.522 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.522 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.522 * [taylor]: Taking taylor expansion of -1 in l
0.522 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.522 * [taylor]: Taking taylor expansion of (* V l) in l
0.522 * [taylor]: Taking taylor expansion of V in l
0.522 * [taylor]: Taking taylor expansion of l in l
0.522 * [taylor]: Taking taylor expansion of A in l
0.522 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.522 * [taylor]: Taking taylor expansion of -1 in V
0.522 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.522 * [taylor]: Taking taylor expansion of (* V l) in V
0.522 * [taylor]: Taking taylor expansion of V in V
0.522 * [taylor]: Taking taylor expansion of l in V
0.522 * [taylor]: Taking taylor expansion of A in V
0.523 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.523 * [taylor]: Taking taylor expansion of -1 in A
0.523 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.523 * [taylor]: Taking taylor expansion of (* V l) in A
0.523 * [taylor]: Taking taylor expansion of V in A
0.523 * [taylor]: Taking taylor expansion of l in A
0.523 * [taylor]: Taking taylor expansion of A in A
0.523 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.523 * [taylor]: Taking taylor expansion of -1 in A
0.523 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.523 * [taylor]: Taking taylor expansion of (* V l) in A
0.523 * [taylor]: Taking taylor expansion of V in A
0.523 * [taylor]: Taking taylor expansion of l in A
0.523 * [taylor]: Taking taylor expansion of A in A
0.523 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.523 * [taylor]: Taking taylor expansion of -1 in V
0.523 * [taylor]: Taking taylor expansion of (* V l) in V
0.523 * [taylor]: Taking taylor expansion of V in V
0.523 * [taylor]: Taking taylor expansion of l in V
0.524 * [taylor]: Taking taylor expansion of (neg l) in l
0.524 * [taylor]: Taking taylor expansion of l in l
0.525 * [taylor]: Taking taylor expansion of 0 in V
0.525 * [taylor]: Taking taylor expansion of 0 in l
0.526 * [taylor]: Taking taylor expansion of 0 in l
0.528 * [taylor]: Taking taylor expansion of 0 in V
0.528 * [taylor]: Taking taylor expansion of 0 in l
0.528 * [taylor]: Taking taylor expansion of 0 in l
0.529 * [taylor]: Taking taylor expansion of 0 in l
0.529 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.529 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.529 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.530 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.530 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.530 * [taylor]: Taking taylor expansion of A in l
0.530 * [taylor]: Taking taylor expansion of (* V l) in l
0.530 * [taylor]: Taking taylor expansion of V in l
0.530 * [taylor]: Taking taylor expansion of l in l
0.530 * [taylor]: Taking taylor expansion of c0 in l
0.531 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.531 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.531 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.531 * [taylor]: Taking taylor expansion of A in V
0.531 * [taylor]: Taking taylor expansion of (* V l) in V
0.531 * [taylor]: Taking taylor expansion of V in V
0.531 * [taylor]: Taking taylor expansion of l in V
0.531 * [taylor]: Taking taylor expansion of c0 in V
0.532 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.532 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.532 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.532 * [taylor]: Taking taylor expansion of A in A
0.532 * [taylor]: Taking taylor expansion of (* V l) in A
0.532 * [taylor]: Taking taylor expansion of V in A
0.532 * [taylor]: Taking taylor expansion of l in A
0.532 * [taylor]: Taking taylor expansion of c0 in A
0.532 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.532 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.532 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.532 * [taylor]: Taking taylor expansion of A in c0
0.532 * [taylor]: Taking taylor expansion of (* V l) in c0
0.532 * [taylor]: Taking taylor expansion of V in c0
0.532 * [taylor]: Taking taylor expansion of l in c0
0.533 * [taylor]: Taking taylor expansion of c0 in c0
0.533 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.533 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.533 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.533 * [taylor]: Taking taylor expansion of A in c0
0.533 * [taylor]: Taking taylor expansion of (* V l) in c0
0.533 * [taylor]: Taking taylor expansion of V in c0
0.533 * [taylor]: Taking taylor expansion of l in c0
0.533 * [taylor]: Taking taylor expansion of c0 in c0
0.533 * [taylor]: Taking taylor expansion of 0 in A
0.533 * [taylor]: Taking taylor expansion of 0 in V
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.534 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.534 * [taylor]: Taking taylor expansion of A in A
0.534 * [taylor]: Taking taylor expansion of (* V l) in A
0.534 * [taylor]: Taking taylor expansion of V in A
0.534 * [taylor]: Taking taylor expansion of l in A
0.534 * [taylor]: Taking taylor expansion of 0 in V
0.534 * [taylor]: Taking taylor expansion of 0 in V
0.534 * [taylor]: Taking taylor expansion of 0 in l
0.536 * [taylor]: Taking taylor expansion of 0 in A
0.536 * [taylor]: Taking taylor expansion of 0 in V
0.536 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.536 * [taylor]: Taking taylor expansion of +nan.0 in V
0.536 * [taylor]: Taking taylor expansion of (* V l) in V
0.536 * [taylor]: Taking taylor expansion of V in V
0.536 * [taylor]: Taking taylor expansion of l in V
0.536 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.536 * [taylor]: Taking taylor expansion of +nan.0 in l
0.536 * [taylor]: Taking taylor expansion of l in l
0.537 * [taylor]: Taking taylor expansion of 0 in V
0.537 * [taylor]: Taking taylor expansion of 0 in l
0.537 * [taylor]: Taking taylor expansion of 0 in l
0.537 * [taylor]: Taking taylor expansion of 0 in l
0.538 * [taylor]: Taking taylor expansion of 0 in A
0.539 * [taylor]: Taking taylor expansion of 0 in V
0.539 * [taylor]: Taking taylor expansion of 0 in V
0.539 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.539 * [taylor]: Taking taylor expansion of +nan.0 in V
0.539 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.539 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.539 * [taylor]: Taking taylor expansion of V in V
0.539 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.539 * [taylor]: Taking taylor expansion of l in V
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.541 * [taylor]: Taking taylor expansion of 0 in V
0.541 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.543 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.543 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.543 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.543 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.543 * [taylor]: Taking taylor expansion of (* V l) in l
0.543 * [taylor]: Taking taylor expansion of V in l
0.543 * [taylor]: Taking taylor expansion of l in l
0.543 * [taylor]: Taking taylor expansion of A in l
0.544 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.544 * [taylor]: Taking taylor expansion of c0 in l
0.544 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.544 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.544 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.544 * [taylor]: Taking taylor expansion of (* V l) in V
0.544 * [taylor]: Taking taylor expansion of V in V
0.544 * [taylor]: Taking taylor expansion of l in V
0.544 * [taylor]: Taking taylor expansion of A in V
0.545 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.545 * [taylor]: Taking taylor expansion of c0 in V
0.545 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.545 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.545 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.545 * [taylor]: Taking taylor expansion of (* V l) in A
0.545 * [taylor]: Taking taylor expansion of V in A
0.545 * [taylor]: Taking taylor expansion of l in A
0.545 * [taylor]: Taking taylor expansion of A in A
0.546 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.546 * [taylor]: Taking taylor expansion of c0 in A
0.546 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.546 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.546 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.546 * [taylor]: Taking taylor expansion of (* V l) in c0
0.546 * [taylor]: Taking taylor expansion of V in c0
0.546 * [taylor]: Taking taylor expansion of l in c0
0.546 * [taylor]: Taking taylor expansion of A in c0
0.546 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.546 * [taylor]: Taking taylor expansion of c0 in c0
0.546 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.546 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.546 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.546 * [taylor]: Taking taylor expansion of (* V l) in c0
0.546 * [taylor]: Taking taylor expansion of V in c0
0.546 * [taylor]: Taking taylor expansion of l in c0
0.546 * [taylor]: Taking taylor expansion of A in c0
0.547 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.547 * [taylor]: Taking taylor expansion of c0 in c0
0.547 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.547 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.547 * [taylor]: Taking taylor expansion of (* V l) in A
0.547 * [taylor]: Taking taylor expansion of V in A
0.547 * [taylor]: Taking taylor expansion of l in A
0.547 * [taylor]: Taking taylor expansion of A in A
0.548 * [taylor]: Taking taylor expansion of 0 in V
0.548 * [taylor]: Taking taylor expansion of 0 in l
0.549 * [taylor]: Taking taylor expansion of 0 in A
0.549 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.549 * [taylor]: Taking taylor expansion of +nan.0 in V
0.549 * [taylor]: Taking taylor expansion of (* V l) in V
0.549 * [taylor]: Taking taylor expansion of V in V
0.549 * [taylor]: Taking taylor expansion of l in V
0.549 * [taylor]: Taking taylor expansion of 0 in l
0.549 * [taylor]: Taking taylor expansion of 0 in l
0.551 * [taylor]: Taking taylor expansion of 0 in A
0.551 * [taylor]: Taking taylor expansion of 0 in V
0.551 * [taylor]: Taking taylor expansion of 0 in l
0.552 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.552 * [taylor]: Taking taylor expansion of +nan.0 in V
0.552 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.552 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.552 * [taylor]: Taking taylor expansion of V in V
0.552 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.552 * [taylor]: Taking taylor expansion of l in V
0.553 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.553 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.553 * [taylor]: Taking taylor expansion of +nan.0 in l
0.553 * [taylor]: Taking taylor expansion of l in l
0.554 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.554 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.554 * [taylor]: Taking taylor expansion of -1 in l
0.554 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.554 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.554 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.554 * [taylor]: Taking taylor expansion of -1 in l
0.554 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.554 * [taylor]: Taking taylor expansion of (* V l) in l
0.554 * [taylor]: Taking taylor expansion of V in l
0.554 * [taylor]: Taking taylor expansion of l in l
0.554 * [taylor]: Taking taylor expansion of A in l
0.555 * [taylor]: Taking taylor expansion of c0 in l
0.555 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.555 * [taylor]: Taking taylor expansion of -1 in V
0.555 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.555 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.555 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.555 * [taylor]: Taking taylor expansion of -1 in V
0.555 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.555 * [taylor]: Taking taylor expansion of (* V l) in V
0.555 * [taylor]: Taking taylor expansion of V in V
0.555 * [taylor]: Taking taylor expansion of l in V
0.555 * [taylor]: Taking taylor expansion of A in V
0.556 * [taylor]: Taking taylor expansion of c0 in V
0.556 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.556 * [taylor]: Taking taylor expansion of -1 in A
0.556 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.556 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.556 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.556 * [taylor]: Taking taylor expansion of -1 in A
0.556 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.556 * [taylor]: Taking taylor expansion of (* V l) in A
0.556 * [taylor]: Taking taylor expansion of V in A
0.556 * [taylor]: Taking taylor expansion of l in A
0.556 * [taylor]: Taking taylor expansion of A in A
0.557 * [taylor]: Taking taylor expansion of c0 in A
0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.557 * [taylor]: Taking taylor expansion of -1 in c0
0.557 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.557 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.557 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.557 * [taylor]: Taking taylor expansion of -1 in c0
0.557 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.557 * [taylor]: Taking taylor expansion of (* V l) in c0
0.557 * [taylor]: Taking taylor expansion of V in c0
0.557 * [taylor]: Taking taylor expansion of l in c0
0.557 * [taylor]: Taking taylor expansion of A in c0
0.558 * [taylor]: Taking taylor expansion of c0 in c0
0.558 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.558 * [taylor]: Taking taylor expansion of -1 in c0
0.558 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.558 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.558 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.558 * [taylor]: Taking taylor expansion of -1 in c0
0.558 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.558 * [taylor]: Taking taylor expansion of (* V l) in c0
0.558 * [taylor]: Taking taylor expansion of V in c0
0.558 * [taylor]: Taking taylor expansion of l in c0
0.558 * [taylor]: Taking taylor expansion of A in c0
0.559 * [taylor]: Taking taylor expansion of c0 in c0
0.559 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.559 * [taylor]: Taking taylor expansion of -1 in A
0.559 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.559 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.559 * [taylor]: Taking taylor expansion of -1 in A
0.559 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.559 * [taylor]: Taking taylor expansion of (* V l) in A
0.559 * [taylor]: Taking taylor expansion of V in A
0.559 * [taylor]: Taking taylor expansion of l in A
0.559 * [taylor]: Taking taylor expansion of A in A
0.560 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* V l))) in V
0.560 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.560 * [taylor]: Taking taylor expansion of +nan.0 in V
0.560 * [taylor]: Taking taylor expansion of (* V l) in V
0.560 * [taylor]: Taking taylor expansion of V in V
0.560 * [taylor]: Taking taylor expansion of l in V
0.561 * [taylor]: Taking taylor expansion of (neg (* +nan.0 l)) in l
0.561 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.561 * [taylor]: Taking taylor expansion of +nan.0 in l
0.561 * [taylor]: Taking taylor expansion of l in l
0.564 * [taylor]: Taking taylor expansion of 0 in A
0.564 * [taylor]: Taking taylor expansion of 0 in V
0.564 * [taylor]: Taking taylor expansion of 0 in l
0.568 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* (pow V 2) (pow l 2)))) in V
0.569 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.569 * [taylor]: Taking taylor expansion of +nan.0 in V
0.569 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.569 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.569 * [taylor]: Taking taylor expansion of V in V
0.569 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.569 * [taylor]: Taking taylor expansion of l in V
0.570 * [taylor]: Taking taylor expansion of 0 in l
0.574 * [taylor]: Taking taylor expansion of 0 in A
0.574 * [taylor]: Taking taylor expansion of 0 in V
0.574 * [taylor]: Taking taylor expansion of 0 in l
0.574 * [taylor]: Taking taylor expansion of 0 in V
0.574 * [taylor]: Taking taylor expansion of 0 in l
0.577 * [taylor]: Taking taylor expansion of (neg (* +nan.0 (* (pow V 3) (pow l 3)))) in V
0.577 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
0.577 * [taylor]: Taking taylor expansion of +nan.0 in V
0.577 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.577 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.577 * [taylor]: Taking taylor expansion of V in V
0.577 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.577 * [taylor]: Taking taylor expansion of l in V
0.577 * [taylor]: Taking taylor expansion of 0 in l
0.578 * * * [progress]: simplifying candidates
0.580 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)))
  (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l))))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))
  (sqrt (/ (cbrt (/ A V)) (sqrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1))
  (sqrt (/ (cbrt (/ A V)) l))
  (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (sqrt (/ A V)) (cbrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) 1))
  (sqrt (/ (sqrt (/ A V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (cbrt A) (cbrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1))
  (sqrt (/ (/ (cbrt A) (sqrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) V) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))
  (sqrt (/ (/ (cbrt A) V) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1))
  (sqrt (/ (/ (cbrt A) V) l))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (sqrt A) (cbrt V)) l))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) 1))
  (sqrt (/ (/ (sqrt A) (sqrt V)) l))
  (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) V) (cbrt l)))
  (sqrt (/ (/ (sqrt A) 1) (sqrt l)))
  (sqrt (/ (/ (sqrt A) V) (sqrt l)))
  (sqrt (/ (/ (sqrt A) 1) 1))
  (sqrt (/ (/ (sqrt A) V) l))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (cbrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ A (cbrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ A (cbrt V)) l))
  (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (sqrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))
  (sqrt (/ (/ A (sqrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (sqrt V)) 1))
  (sqrt (/ (/ A (sqrt V)) l))
  (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ (/ 1 1) (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  (sqrt (/ (/ 1 1) 1))
  (sqrt (/ (/ A V) l))
  (sqrt (/ 1 (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  (sqrt (/ 1 1))
  (sqrt (/ (/ A V) l))
  (sqrt (/ A (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ 1 V) (cbrt l)))
  (sqrt (/ A (sqrt l)))
  (sqrt (/ (/ 1 V) (sqrt l)))
  (sqrt (/ A 1))
  (sqrt (/ (/ 1 V) l))
  (sqrt 1)
  (sqrt (/ (/ A V) l))
  (sqrt (/ A V))
  (sqrt (/ 1 l))
  (sqrt (/ A V))
  (sqrt l)
  (/ 1 2)
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (- (- (log A) (log V)) (log l))
  (- (log (/ A V)) (log l))
  (log (/ (/ A V) l))
  (exp (/ (/ A V) l))
  (/ (/ (* (* A A) A) (* (* V V) V)) (* (* l l) l))
  (/ (* (* (/ A V) (/ A V)) (/ A V)) (* (* l l) l))
  (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))
  (cbrt (/ (/ A V) l))
  (* (* (/ (/ A V) l) (/ (/ A V) l)) (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (neg (/ A V))
  (neg l)
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))
  (/ (cbrt (/ A V)) (cbrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))
  (/ (cbrt (/ A V)) (sqrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1)
  (/ (cbrt (/ A V)) l)
  (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))
  (/ (sqrt (/ A V)) (cbrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) 1)
  (/ (sqrt (/ A V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (cbrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (cbrt A) (cbrt V)) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1)
  (/ (/ (cbrt A) (cbrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (sqrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))
  (/ (/ (cbrt A) (sqrt V)) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)
  (/ (/ (cbrt A) (sqrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) V) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))
  (/ (/ (cbrt A) V) (sqrt l))
  (/ (/ (* (cbrt A) (cbrt A)) 1) 1)
  (/ (/ (cbrt A) V) l)
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (cbrt V)) (cbrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (sqrt A) (cbrt V)) (sqrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)
  (/ (/ (sqrt A) (cbrt V)) l)
  (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (sqrt V)) (cbrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) 1)
  (/ (/ (sqrt A) (sqrt V)) l)
  (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) V) (cbrt l))
  (/ (/ (sqrt A) 1) (sqrt l))
  (/ (/ (sqrt A) V) (sqrt l))
  (/ (/ (sqrt A) 1) 1)
  (/ (/ (sqrt A) V) l)
  (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ A (cbrt V)) (cbrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ A (cbrt V)) (sqrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) 1)
  (/ (/ A (cbrt V)) l)
  (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ A (sqrt V)) (cbrt l))
  (/ (/ 1 (sqrt V)) (sqrt l))
  (/ (/ A (sqrt V)) (sqrt l))
  (/ (/ 1 (sqrt V)) 1)
  (/ (/ A (sqrt V)) l)
  (/ (/ 1 1) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ (/ 1 1) (sqrt l))
  (/ (/ A V) (sqrt l))
  (/ (/ 1 1) 1)
  (/ (/ A V) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  (/ 1 1)
  (/ (/ A V) l)
  (/ A (* (cbrt l) (cbrt l)))
  (/ (/ 1 V) (cbrt l))
  (/ A (sqrt l))
  (/ (/ 1 V) (sqrt l))
  (/ A 1)
  (/ (/ 1 V) l)
  (/ 1 l)
  (/ l (/ A V))
  (/ (/ A V) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (sqrt l))
  (/ (/ A V) 1)
  (/ l (cbrt (/ A V)))
  (/ l (sqrt (/ A V)))
  (/ l (/ (cbrt A) (cbrt V)))
  (/ l (/ (cbrt A) (sqrt V)))
  (/ l (/ (cbrt A) V))
  (/ l (/ (sqrt A) (cbrt V)))
  (/ l (/ (sqrt A) (sqrt V)))
  (/ l (/ (sqrt A) V))
  (/ l (/ A (cbrt V)))
  (/ l (/ A (sqrt V)))
  (/ l (/ A V))
  (/ l (/ A V))
  (/ l (/ 1 V))
  (* l V)
  (* c0 (sqrt (/ (/ A V) l)))
  (+ (log c0) (log (sqrt (/ (/ A V) l))))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (exp (* c0 (sqrt (/ (/ A V) l))))
  (* (* (* c0 c0) c0) (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l))))
  (* (cbrt (* c0 (sqrt (/ (/ A V) l)))) (cbrt (* c0 (sqrt (/ (/ A V) l)))))
  (cbrt (* c0 (sqrt (/ (/ A V) l))))
  (* (* (* c0 (sqrt (/ (/ A V) l))) (* c0 (sqrt (/ (/ A V) l)))) (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))))
  (* c0 (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) 1)))
  (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* c0 (sqrt (/ (sqrt (/ A V)) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) 1)))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ 1 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 1) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 1) 1)))
  (* c0 (sqrt (/ 1 (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ 1 (sqrt l))))
  (* c0 (sqrt (/ 1 1)))
  (* c0 (sqrt (/ A (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ A (sqrt l))))
  (* c0 (sqrt (/ A 1)))
  (* c0 (sqrt 1))
  (* c0 (sqrt (/ A V)))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 1)
  (* (cbrt c0) (sqrt (/ (/ A V) l)))
  (* (sqrt c0) (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ A V)))
  (* +nan.0 (/ A (* V l)))
  0
  0
  (/ A (* V l))
  (/ A (* V l))
  (/ A (* V l))
  (* +nan.0 (/ (* c0 A) (* V l)))
  0
  (* +nan.0 (/ c0 (* V l)))
0.589 * * [simplify]: iteration  0 :  578  enodes  (cost  1400 )
0.598 * * [simplify]: iteration  1 :  2008  enodes  (cost  1326 )
0.625 * * [simplify]: iteration  2 :  5001  enodes  (cost  1290 )
0.633 * [simplify]: Simplified to:
   (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (pow (sqrt (/ (/ A V) l)) 3)
  (fabs (cbrt (/ (/ A V) l)))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (fabs (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (cbrt (/ A V)) (cbrt l)))
  (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l)))
  (sqrt (/ (cbrt (/ A V)) (sqrt l)))
  (fabs (cbrt (/ A V)))
  (sqrt (/ (cbrt (/ A V)) l))
  (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (sqrt (/ A V)) (cbrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) (sqrt l)))
  (sqrt (/ (sqrt (/ A V)) 1))
  (sqrt (/ (sqrt (/ A V)) l))
  (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) (sqrt l)))
  (fabs (/ (cbrt A) (cbrt V)))
  (sqrt (/ (/ (cbrt A) (cbrt V)) l))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (cbrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1))
  (sqrt (/ (/ (cbrt A) (sqrt V)) l))
  (fabs (/ (cbrt A) (cbrt l)))
  (sqrt (/ (/ (cbrt A) V) (cbrt l)))
  (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l)))
  (sqrt (/ (/ (cbrt A) V) (sqrt l)))
  (fabs (cbrt A))
  (sqrt (/ (/ (cbrt A) V) l))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (cbrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1))
  (sqrt (/ (/ (sqrt A) (cbrt V)) l))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (cbrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))
  (sqrt (/ (/ (sqrt A) (sqrt V)) 1))
  (sqrt (/ (/ (sqrt A) (sqrt V)) l))
  (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ (sqrt A) V) (cbrt l)))
  (sqrt (/ (/ (sqrt A) 1) (sqrt l)))
  (sqrt (/ (/ (sqrt A) V) (sqrt l)))
  (sqrt (/ (/ (sqrt A) 1) 1))
  (sqrt (/ (/ (sqrt A) V) l))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (cbrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l)))
  (sqrt (/ (/ A (cbrt V)) (sqrt l)))
  (fabs (/ 1 (cbrt V)))
  (sqrt (/ (/ A (cbrt V)) l))
  (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ A (sqrt V)) (cbrt l)))
  (sqrt (/ (/ 1 (sqrt V)) (sqrt l)))
  (sqrt (/ (/ A (sqrt V)) (sqrt l)))
  (sqrt (/ (/ 1 (sqrt V)) 1))
  (sqrt (/ (/ A (sqrt V)) l))
  (fabs (/ 1 (cbrt l)))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  1
  (sqrt (/ (/ A V) l))
  (fabs (/ 1 (cbrt l)))
  (sqrt (/ (/ A V) (cbrt l)))
  (sqrt (/ 1 (sqrt l)))
  (sqrt (/ (/ A V) (sqrt l)))
  1
  (sqrt (/ (/ A V) l))
  (sqrt (/ A (* (cbrt l) (cbrt l))))
  (sqrt (/ (/ 1 V) (cbrt l)))
  (sqrt (/ A (sqrt l)))
  (sqrt (/ (/ 1 V) (sqrt l)))
  (sqrt A)
  (sqrt (/ (/ 1 V) l))
  1
  (sqrt (/ (/ A V) l))
  (sqrt (/ A V))
  (sqrt (/ 1 l))
  (sqrt (/ A V))
  (sqrt l)
  1/2
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (exp (/ (/ A V) l))
  (pow (/ (/ A V) l) 3)
  (pow (/ (/ A V) l) 3)
  (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l)))
  (cbrt (/ (/ A V) l))
  (pow (/ (/ A V) l) 3)
  (sqrt (/ (/ A V) l))
  (sqrt (/ (/ A V) l))
  (neg (/ A V))
  (neg l)
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (* (cbrt l) (cbrt l)))
  (/ (cbrt (/ A V)) (cbrt l))
  (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))
  (/ (cbrt (/ A V)) (sqrt l))
  (* (cbrt (/ A V)) (cbrt (/ A V)))
  (/ (cbrt (/ A V)) l)
  (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))
  (/ (sqrt (/ A V)) (cbrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (/ (sqrt (/ A V)) (sqrt l))
  (sqrt (/ A V))
  (/ (sqrt (/ A V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (cbrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (cbrt A) (cbrt V)) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V)))
  (/ (/ (cbrt A) (cbrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (cbrt A) (sqrt V)) (cbrt l))
  (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))
  (/ (/ (cbrt A) (sqrt V)) (sqrt l))
  (/ (* (cbrt A) (cbrt A)) (sqrt V))
  (/ (/ (cbrt A) (sqrt V)) l)
  (/ (/ (* (cbrt A) (cbrt A)) (cbrt l)) (cbrt l))
  (/ (/ (cbrt A) V) (cbrt l))
  (/ (cbrt A) (/ (sqrt l) (cbrt A)))
  (/ (/ (cbrt A) V) (sqrt l))
  (* (cbrt A) (cbrt A))
  (/ (/ (cbrt A) V) l)
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (cbrt V)) (cbrt l))
  (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ (sqrt A) (cbrt V)) (sqrt l))
  (/ (sqrt A) (* (cbrt V) (cbrt V)))
  (/ (/ (sqrt A) (cbrt V)) l)
  (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ (sqrt A) (sqrt V)) (cbrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (/ (sqrt A) (sqrt V)) (sqrt l))
  (/ (sqrt A) (sqrt V))
  (/ (/ (sqrt A) (sqrt V)) l)
  (/ (/ (sqrt A) (cbrt l)) (cbrt l))
  (/ (/ (sqrt A) V) (cbrt l))
  (/ (sqrt A) (sqrt l))
  (/ (/ (sqrt A) V) (sqrt l))
  (sqrt A)
  (/ (/ (sqrt A) V) l)
  (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))
  (/ (/ A (cbrt V)) (cbrt l))
  (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))
  (/ (/ A (cbrt V)) (sqrt l))
  (/ 1 (* (cbrt V) (cbrt V)))
  (/ (/ A (cbrt V)) l)
  (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))
  (/ (/ A (sqrt V)) (cbrt l))
  (/ (/ 1 (sqrt V)) (sqrt l))
  (/ (/ A (sqrt V)) (sqrt l))
  (/ 1 (sqrt V))
  (/ (/ A (sqrt V)) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  1
  (/ (/ A V) l)
  (/ 1 (* (cbrt l) (cbrt l)))
  (/ (/ A V) (cbrt l))
  (/ 1 (sqrt l))
  (/ (/ A V) (sqrt l))
  1
  (/ (/ A V) l)
  (/ A (* (cbrt l) (cbrt l)))
  (/ (/ 1 V) (cbrt l))
  (/ A (sqrt l))
  (/ (/ 1 V) (sqrt l))
  A
  (/ (/ 1 V) l)
  (/ 1 l)
  (/ l (/ A V))
  (/ (/ A V) (* (cbrt l) (cbrt l)))
  (/ (/ A V) (sqrt l))
  (/ A V)
  (/ l (cbrt (/ A V)))
  (/ l (sqrt (/ A V)))
  (/ l (/ (cbrt A) (cbrt V)))
  (/ l (/ (cbrt A) (sqrt V)))
  (/ l (/ (cbrt A) V))
  (/ l (/ (sqrt A) (cbrt V)))
  (/ l (/ (sqrt A) (sqrt V)))
  (/ l (/ (sqrt A) V))
  (/ l (/ A (cbrt V)))
  (/ l (/ A (sqrt V)))
  (/ l (/ A V))
  (/ l (/ A V))
  (* V l)
  (* V l)
  (* c0 (sqrt (/ (/ A V) l)))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (exp (* c0 (sqrt (/ (/ A V) l))))
  (pow (* c0 (sqrt (/ (/ A V) l))) 3)
  (* (cbrt (* c0 (sqrt (/ (/ A V) l)))) (cbrt (* c0 (sqrt (/ (/ A V) l)))))
  (cbrt (* c0 (sqrt (/ (/ A V) l))))
  (pow (* c0 (sqrt (/ (/ A V) l))) 3)
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (sqrt (* c0 (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* (sqrt c0) (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l)))))
  (* (fabs (cbrt (/ (/ A V) l))) c0)
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  (* c0 (fabs (/ (cbrt (/ A V)) (cbrt l))))
  (* c0 (sqrt (/ (* (cbrt (/ A V)) (cbrt (/ A V))) (sqrt l))))
  (* c0 (fabs (cbrt (/ A V))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (sqrt (/ A V)) (sqrt l))))
  (* c0 (sqrt (/ (sqrt (/ A V)) 1)))
  (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0)
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (fabs (/ (cbrt A) (cbrt V))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) (sqrt V)) 1)))
  (* (fabs (/ (cbrt A) (cbrt l))) c0)
  (* c0 (sqrt (/ (/ (* (cbrt A) (cbrt A)) 1) (sqrt l))))
  (* c0 (fabs (cbrt A)))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) 1)))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) (sqrt l))))
  (* c0 (sqrt (/ (/ (sqrt A) 1) 1)))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (* (cbrt V) (cbrt V))) (sqrt l))))
  (* (fabs (/ 1 (cbrt V))) c0)
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) (sqrt l))))
  (* c0 (sqrt (/ (/ 1 (sqrt V)) 1)))
  (* (fabs (/ 1 (cbrt l))) c0)
  (* c0 (sqrt (/ 1 (sqrt l))))
  c0
  (* (fabs (/ 1 (cbrt l))) c0)
  (* c0 (sqrt (/ 1 (sqrt l))))
  c0
  (* c0 (sqrt (/ A (* (cbrt l) (cbrt l)))))
  (* c0 (sqrt (/ A (sqrt l))))
  (* c0 (sqrt A))
  c0
  (* c0 (sqrt (/ A V)))
  (* c0 (sqrt (sqrt (/ (/ A V) l))))
  c0
  (* (cbrt c0) (sqrt (/ (/ A V) l)))
  (* (sqrt c0) (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ A V)))
  (* +nan.0 (/ A (* V l)))
  0
  0
  (/ (/ A V) l)
  (/ (/ A V) l)
  (/ (/ A V) l)
  (* +nan.0 (/ (* c0 A) (* V l)))
  0
  (* +nan.0 (/ c0 (* V l)))
0.634 * * * [progress]: adding candidates to table
1.115 * * [progress]: iteration 3 / 4
1.115 * * * [progress]: picking best candidate
1.158 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))>
1.158 * * * [progress]: localizing error
1.175 * * * [progress]: generating rewritten candidates
1.175 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1.181 * * * [progress]: generating series expansions
1.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.181 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
1.181 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.181 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.181 * [taylor]: Taking taylor expansion of 1/3 in l
1.181 * [taylor]: Taking taylor expansion of (log l) in l
1.181 * [taylor]: Taking taylor expansion of l in l
1.182 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.182 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.182 * [taylor]: Taking taylor expansion of 1/3 in l
1.182 * [taylor]: Taking taylor expansion of (log l) in l
1.182 * [taylor]: Taking taylor expansion of l in l
1.229 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
1.229 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.229 * [taylor]: Taking taylor expansion of 1/3 in l
1.229 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.229 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.229 * [taylor]: Taking taylor expansion of l in l
1.230 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.230 * [taylor]: Taking taylor expansion of 1/3 in l
1.230 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.230 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.230 * [taylor]: Taking taylor expansion of l in l
1.284 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
1.284 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.284 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.284 * [taylor]: Taking taylor expansion of -1 in l
1.285 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.285 * [taylor]: Taking taylor expansion of 1/3 in l
1.285 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.285 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.285 * [taylor]: Taking taylor expansion of l in l
1.286 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.286 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.286 * [taylor]: Taking taylor expansion of -1 in l
1.287 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.287 * [taylor]: Taking taylor expansion of 1/3 in l
1.287 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.287 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.287 * [taylor]: Taking taylor expansion of l in l
1.354 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.354 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
1.354 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.354 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.354 * [taylor]: Taking taylor expansion of 1/3 in l
1.354 * [taylor]: Taking taylor expansion of (log l) in l
1.354 * [taylor]: Taking taylor expansion of l in l
1.355 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.355 * [taylor]: Taking taylor expansion of 1/3 in l
1.355 * [taylor]: Taking taylor expansion of (log l) in l
1.355 * [taylor]: Taking taylor expansion of l in l
1.407 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
1.407 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.407 * [taylor]: Taking taylor expansion of 1/3 in l
1.407 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.407 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.407 * [taylor]: Taking taylor expansion of l in l
1.408 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.408 * [taylor]: Taking taylor expansion of 1/3 in l
1.408 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.408 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.408 * [taylor]: Taking taylor expansion of l in l
1.460 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
1.460 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.460 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.460 * [taylor]: Taking taylor expansion of -1 in l
1.461 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.461 * [taylor]: Taking taylor expansion of 1/3 in l
1.461 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.461 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.461 * [taylor]: Taking taylor expansion of l in l
1.462 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.462 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.462 * [taylor]: Taking taylor expansion of -1 in l
1.463 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.463 * [taylor]: Taking taylor expansion of 1/3 in l
1.463 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.463 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.463 * [taylor]: Taking taylor expansion of l in l
1.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.529 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
1.529 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.529 * [taylor]: Taking taylor expansion of 1/3 in V
1.529 * [taylor]: Taking taylor expansion of (log V) in V
1.529 * [taylor]: Taking taylor expansion of V in V
1.530 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.530 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.530 * [taylor]: Taking taylor expansion of 1/3 in V
1.530 * [taylor]: Taking taylor expansion of (log V) in V
1.530 * [taylor]: Taking taylor expansion of V in V
1.583 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
1.583 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.583 * [taylor]: Taking taylor expansion of 1/3 in V
1.584 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.584 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.584 * [taylor]: Taking taylor expansion of V in V
1.584 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.584 * [taylor]: Taking taylor expansion of 1/3 in V
1.585 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.585 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.585 * [taylor]: Taking taylor expansion of V in V
1.641 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
1.641 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.641 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.641 * [taylor]: Taking taylor expansion of 1/3 in V
1.641 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.641 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.641 * [taylor]: Taking taylor expansion of V in V
1.642 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.642 * [taylor]: Taking taylor expansion of -1 in V
1.643 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.643 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.643 * [taylor]: Taking taylor expansion of 1/3 in V
1.643 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.643 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.643 * [taylor]: Taking taylor expansion of V in V
1.644 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.644 * [taylor]: Taking taylor expansion of -1 in V
1.710 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
1.710 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
1.710 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.710 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.710 * [taylor]: Taking taylor expansion of 1/3 in V
1.710 * [taylor]: Taking taylor expansion of (log V) in V
1.710 * [taylor]: Taking taylor expansion of V in V
1.711 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.711 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.711 * [taylor]: Taking taylor expansion of 1/3 in V
1.711 * [taylor]: Taking taylor expansion of (log V) in V
1.711 * [taylor]: Taking taylor expansion of V in V
1.759 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
1.759 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.759 * [taylor]: Taking taylor expansion of 1/3 in V
1.759 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.759 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.759 * [taylor]: Taking taylor expansion of V in V
1.760 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.760 * [taylor]: Taking taylor expansion of 1/3 in V
1.760 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.760 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.760 * [taylor]: Taking taylor expansion of V in V
1.817 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
1.817 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.817 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.817 * [taylor]: Taking taylor expansion of 1/3 in V
1.817 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.817 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.817 * [taylor]: Taking taylor expansion of V in V
1.818 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.818 * [taylor]: Taking taylor expansion of -1 in V
1.819 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.819 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.819 * [taylor]: Taking taylor expansion of 1/3 in V
1.819 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.819 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.819 * [taylor]: Taking taylor expansion of V in V
1.820 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.820 * [taylor]: Taking taylor expansion of -1 in V
1.887 * * * [progress]: simplifying candidates
1.888 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (cbrt V)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  (* (* (cbrt V) (cbrt V)) (cbrt V))
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (cbrt V)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  (* (* (cbrt V) (cbrt V)) (cbrt V))
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow V 1/3)
  (pow (/ 1 V) -1/3)
  (* (pow (* -1 V) 1/3) (cbrt -1))
  (pow V 1/3)
  (pow (/ 1 V) -1/3)
  (* (pow (* -1 V) 1/3) (cbrt -1))
1.891 * * [simplify]: iteration  0 :  69  enodes  (cost  156 )
1.893 * * [simplify]: iteration  1 :  145  enodes  (cost  144 )
1.896 * * [simplify]: iteration  2 :  346  enodes  (cost  136 )
1.903 * * [simplify]: iteration  3 :  1277  enodes  (cost  136 )
1.945 * * [simplify]: iteration  4 :  5001  enodes  (cost  136 )
1.946 * [simplify]: Simplified to:
   (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (pow V 1/3)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  V
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (log (cbrt V))
  (exp (cbrt V))
  (cbrt (* (cbrt V) (cbrt V)))
  (cbrt (cbrt V))
  (cbrt (sqrt V))
  (cbrt (sqrt V))
  (cbrt 1)
  (pow V 1/3)
  (* (cbrt (cbrt V)) (cbrt (cbrt V)))
  (cbrt (cbrt V))
  V
  (sqrt (cbrt V))
  (sqrt (cbrt V))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow V 1/3)
  (pow (/ 1 V) -1/3)
  (* (pow (* -1 V) 1/3) (cbrt -1))
  (pow V 1/3)
  (pow (/ 1 V) -1/3)
  (* (pow (* -1 V) 1/3) (cbrt -1))
1.946 * * * [progress]: adding candidates to table
2.140 * * [progress]: iteration 4 / 4
2.140 * * * [progress]: picking best candidate
2.194 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>
2.194 * * * [progress]: localizing error
2.214 * * * [progress]: generating rewritten candidates
2.214 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 2)
2.216 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 2)
2.218 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1 1)
2.220 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.222 * * * [progress]: generating series expansions
2.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 2)
2.222 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0
2.222 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.222 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.222 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.222 * [taylor]: Taking taylor expansion of 1/9 in V
2.222 * [taylor]: Taking taylor expansion of (log V) in V
2.222 * [taylor]: Taking taylor expansion of V in V
2.223 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.223 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.223 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.223 * [taylor]: Taking taylor expansion of 1/9 in V
2.223 * [taylor]: Taking taylor expansion of (log V) in V
2.223 * [taylor]: Taking taylor expansion of V in V
2.277 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0
2.277 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.277 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.277 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.277 * [taylor]: Taking taylor expansion of 1/9 in V
2.277 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.277 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.277 * [taylor]: Taking taylor expansion of V in V
2.278 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.278 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.278 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.278 * [taylor]: Taking taylor expansion of 1/9 in V
2.278 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.278 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.278 * [taylor]: Taking taylor expansion of V in V
2.330 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0
2.330 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.330 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.330 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.330 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.330 * [taylor]: Taking taylor expansion of 1/9 in V
2.330 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.330 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.330 * [taylor]: Taking taylor expansion of V in V
2.331 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.331 * [taylor]: Taking taylor expansion of 1/3 in V
2.331 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.331 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.331 * [taylor]: Taking taylor expansion of -1 in V
2.341 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.341 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.341 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.341 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.341 * [taylor]: Taking taylor expansion of 1/9 in V
2.341 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.341 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.341 * [taylor]: Taking taylor expansion of V in V
2.342 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.342 * [taylor]: Taking taylor expansion of 1/3 in V
2.342 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.342 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.342 * [taylor]: Taking taylor expansion of -1 in V
2.465 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 2)
2.465 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0
2.465 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.466 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.466 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.466 * [taylor]: Taking taylor expansion of 1/9 in V
2.466 * [taylor]: Taking taylor expansion of (log V) in V
2.466 * [taylor]: Taking taylor expansion of V in V
2.466 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.466 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.466 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.466 * [taylor]: Taking taylor expansion of 1/9 in V
2.466 * [taylor]: Taking taylor expansion of (log V) in V
2.466 * [taylor]: Taking taylor expansion of V in V
2.520 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0
2.520 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.520 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.520 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.520 * [taylor]: Taking taylor expansion of 1/9 in V
2.520 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.520 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.520 * [taylor]: Taking taylor expansion of V in V
2.521 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.521 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.521 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.521 * [taylor]: Taking taylor expansion of 1/9 in V
2.521 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.521 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.521 * [taylor]: Taking taylor expansion of V in V
2.579 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0
2.579 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.579 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.579 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.579 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.579 * [taylor]: Taking taylor expansion of 1/9 in V
2.579 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.579 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.579 * [taylor]: Taking taylor expansion of V in V
2.580 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.580 * [taylor]: Taking taylor expansion of 1/3 in V
2.580 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.580 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.580 * [taylor]: Taking taylor expansion of -1 in V
2.584 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.584 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.584 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.584 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.584 * [taylor]: Taking taylor expansion of 1/9 in V
2.584 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.584 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.584 * [taylor]: Taking taylor expansion of V in V
2.585 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.585 * [taylor]: Taking taylor expansion of 1/3 in V
2.585 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.585 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.585 * [taylor]: Taking taylor expansion of -1 in V
2.710 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1 1)
2.710 * [approximate]: Taking taylor expansion of (pow V 1/9) in (V) around 0
2.710 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.710 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.710 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.710 * [taylor]: Taking taylor expansion of 1/9 in V
2.710 * [taylor]: Taking taylor expansion of (log V) in V
2.710 * [taylor]: Taking taylor expansion of V in V
2.711 * [taylor]: Taking taylor expansion of (pow V 1/9) in V
2.711 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log V))) in V
2.711 * [taylor]: Taking taylor expansion of (* 1/9 (log V)) in V
2.711 * [taylor]: Taking taylor expansion of 1/9 in V
2.711 * [taylor]: Taking taylor expansion of (log V) in V
2.711 * [taylor]: Taking taylor expansion of V in V
2.766 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/9) in (V) around 0
2.766 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.766 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.766 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.766 * [taylor]: Taking taylor expansion of 1/9 in V
2.766 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.766 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.766 * [taylor]: Taking taylor expansion of V in V
2.767 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.767 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.767 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.767 * [taylor]: Taking taylor expansion of 1/9 in V
2.767 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.767 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.767 * [taylor]: Taking taylor expansion of V in V
2.827 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in (V) around 0
2.827 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.827 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.827 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.827 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.827 * [taylor]: Taking taylor expansion of 1/9 in V
2.827 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.827 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.827 * [taylor]: Taking taylor expansion of V in V
2.828 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.828 * [taylor]: Taking taylor expansion of 1/3 in V
2.828 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.828 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.828 * [taylor]: Taking taylor expansion of -1 in V
2.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/9) (pow (cbrt -1) 1/3)) in V
2.832 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/9) in V
2.832 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 V)))) in V
2.832 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 V))) in V
2.832 * [taylor]: Taking taylor expansion of 1/9 in V
2.832 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.832 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.832 * [taylor]: Taking taylor expansion of V in V
2.833 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in V
2.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in V
2.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in V
2.833 * [taylor]: Taking taylor expansion of 1/3 in V
2.833 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in V
2.833 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.833 * [taylor]: Taking taylor expansion of -1 in V
2.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
2.962 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
2.962 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.962 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.962 * [taylor]: Taking taylor expansion of 1/3 in l
2.962 * [taylor]: Taking taylor expansion of (log l) in l
2.962 * [taylor]: Taking taylor expansion of l in l
2.963 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.963 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.963 * [taylor]: Taking taylor expansion of 1/3 in l
2.963 * [taylor]: Taking taylor expansion of (log l) in l
2.963 * [taylor]: Taking taylor expansion of l in l
3.010 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
3.010 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.010 * [taylor]: Taking taylor expansion of 1/3 in l
3.010 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.010 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.010 * [taylor]: Taking taylor expansion of l in l
3.011 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.011 * [taylor]: Taking taylor expansion of 1/3 in l
3.011 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.011 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.011 * [taylor]: Taking taylor expansion of l in l
3.068 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
3.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.069 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.069 * [taylor]: Taking taylor expansion of -1 in l
3.069 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.069 * [taylor]: Taking taylor expansion of 1/3 in l
3.069 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.069 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.069 * [taylor]: Taking taylor expansion of l in l
3.070 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.070 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.070 * [taylor]: Taking taylor expansion of -1 in l
3.071 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.071 * [taylor]: Taking taylor expansion of 1/3 in l
3.071 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.071 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.071 * [taylor]: Taking taylor expansion of l in l
3.138 * * * [progress]: simplifying candidates
3.139 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
3.142 * * [simplify]: iteration  0 :  84  enodes  (cost  261 )
3.144 * * [simplify]: iteration  1 :  154  enodes  (cost  243 )
3.148 * * [simplify]: iteration  2 :  370  enodes  (cost  235 )
3.155 * * [simplify]: iteration  3 :  1302  enodes  (cost  235 )
3.199 * * [simplify]: iteration  4 :  5001  enodes  (cost  235 )
3.200 * [simplify]: Simplified to:
   (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt V)
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt V)
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt (cbrt V)))
  (exp (cbrt (cbrt V)))
  (cbrt (cbrt (* (cbrt V) (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt (sqrt V)))
  (cbrt (cbrt 1))
  (cbrt (cbrt V))
  (cbrt (* (cbrt (cbrt V)) (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt (sqrt (cbrt V)))
  (cbrt 1)
  (cbrt (cbrt V))
  (* (cbrt (cbrt (cbrt V))) (cbrt (cbrt (cbrt V))))
  (cbrt (cbrt (cbrt V)))
  (cbrt V)
  (sqrt (cbrt (cbrt V)))
  (sqrt (cbrt (cbrt V)))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow V 1/9)
  (pow (/ 1 V) -1/9)
  (* (pow (* -1 V) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
3.201 * * * [progress]: adding candidates to table
3.464 * [progress]: [Phase 3 of 3] Extracting.
3.465 * * [regime]: Finding splitpoints for: (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.469 * * * [regime-changes]: Trying 8 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) (* c0 (sqrt (/ A (* V l)))) l V A c0)
3.469 * * * * [regimes]: Trying to branch on (* V l) from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.543 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))>)
3.563 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.634 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.710 * * * * [regimes]: Trying to branch on (* c0 (sqrt (/ A (* V l)))) from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.786 * * * * [regimes]: Trying to branch on l from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.863 * * * * [regimes]: Trying to branch on V from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
3.938 * * * * [regimes]: Trying to branch on A from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
4.011 * * * * [regimes]: Trying to branch on c0 from (#<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) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (cbrt (sqrt l)) (cbrt (sqrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l))))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ (/ (sqrt A) (* (cbrt V) (cbrt V))) 1)) (sqrt (/ (/ (sqrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))) (sqrt (/ (/ (sqrt A) (sqrt V)) (sqrt l)))))> #<alt (λ (c0 A V l) (cbrt (pow (* c0 (sqrt (/ A (* V l)))) 3)))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (sqrt (/ A V)) 1))) (sqrt (/ (sqrt (/ A V)) l))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt A) (sqrt (* V l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt l))))))> #<alt (λ (c0 A V l) (* c0 (/ (sqrt (/ A V)) (sqrt l))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt V))) c0) (sqrt (/ (/ A (cbrt V)) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (cbrt A)) (sqrt (/ (/ (cbrt A) V) l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt V))) (sqrt (/ (/ (cbrt A) (cbrt V)) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (* (* (cbrt (cbrt V)) (cbrt (cbrt V))) (cbrt (cbrt V)))) (cbrt l)))))>)
4.084 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
4.084 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
4.085 * * [simplify]: iteration  0 :  15  enodes  (cost  14 )
4.085 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
4.085 * [simplify]: Simplified to:
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
6.110 * [regime-testing]: Baseline error score: 1.1583772566739103
6.111 * [regime-testing]: Oracle error score: 0.09465391014872158
6.112 * [regime-testing]: End program error score: 1.1583772566739103