12.377 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* c0 (sqrt (/ A (* V l))))
0.037 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
0.039 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.040 * * [simplify]: iteration  2 :  14  enodes  (cost  4 )
0.040 * [simplify]: Simplified to:
   (* c0 (sqrt (/ A (* V l))))
0.040 * * [progress]: iteration 1 / 4
0.040 * * * [progress]: picking best candidate
0.042 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.042 * * * [progress]: localizing error
0.049 * * * [progress]: generating rewritten candidates
0.049 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.063 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.091 * * * [progress]: generating series expansions
0.091 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.091 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.091 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.092 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.092 * [taylor]: Taking taylor expansion of A in l
0.092 * [taylor]: Taking taylor expansion of (* V l) in l
0.092 * [taylor]: Taking taylor expansion of V in l
0.092 * [taylor]: Taking taylor expansion of l in l
0.093 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.093 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.093 * [taylor]: Taking taylor expansion of A in V
0.093 * [taylor]: Taking taylor expansion of (* V l) in V
0.093 * [taylor]: Taking taylor expansion of V in V
0.093 * [taylor]: Taking taylor expansion of l in V
0.094 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.094 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.094 * [taylor]: Taking taylor expansion of 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.095 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.095 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.095 * [taylor]: Taking taylor expansion of A in A
0.095 * [taylor]: Taking taylor expansion of (* V l) in A
0.095 * [taylor]: Taking taylor expansion of V in A
0.095 * [taylor]: Taking taylor expansion of l in A
0.095 * [taylor]: Taking taylor expansion of 0 in V
0.095 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.095 * [taylor]: Taking taylor expansion of +nan.0 in V
0.095 * [taylor]: Taking taylor expansion of (* V l) in V
0.095 * [taylor]: Taking taylor expansion of V in V
0.095 * [taylor]: Taking taylor expansion of l in V
0.096 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.096 * [taylor]: Taking taylor expansion of +nan.0 in l
0.096 * [taylor]: Taking taylor expansion of l in l
0.096 * [taylor]: Taking taylor expansion of 0 in l
0.097 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.097 * [taylor]: Taking taylor expansion of +nan.0 in V
0.097 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.097 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.097 * [taylor]: Taking taylor expansion of V in V
0.097 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.097 * [taylor]: Taking taylor expansion of l in V
0.098 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.099 * [taylor]: Taking taylor expansion of 0 in l
0.100 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
0.100 * [taylor]: Taking taylor expansion of +nan.0 in V
0.100 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.100 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.100 * [taylor]: Taking taylor expansion of V in V
0.100 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.100 * [taylor]: Taking taylor expansion of l in V
0.104 * [taylor]: Taking taylor expansion of 0 in l
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.106 * [taylor]: Taking taylor expansion of 0 in l
0.107 * [taylor]: Taking taylor expansion of 0 in l
0.107 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.107 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.107 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.107 * [taylor]: Taking taylor expansion of (* V l) in l
0.107 * [taylor]: Taking taylor expansion of V in l
0.107 * [taylor]: Taking taylor expansion of l in l
0.107 * [taylor]: Taking taylor expansion of A in l
0.108 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.108 * [taylor]: Taking taylor expansion of (* V l) in V
0.108 * [taylor]: Taking taylor expansion of V in V
0.108 * [taylor]: Taking taylor expansion of l in V
0.108 * [taylor]: Taking taylor expansion of A in V
0.109 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.109 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.109 * [taylor]: Taking taylor expansion of (* V l) in A
0.109 * [taylor]: Taking taylor expansion of V in A
0.109 * [taylor]: Taking taylor expansion of l in A
0.109 * [taylor]: Taking taylor expansion of A in A
0.110 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.110 * [taylor]: Taking taylor expansion of (* V l) in A
0.110 * [taylor]: Taking taylor expansion of V in A
0.110 * [taylor]: Taking taylor expansion of l in A
0.110 * [taylor]: Taking taylor expansion of A in A
0.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 (* +nan.0 (* V l)) in V
0.111 * [taylor]: Taking taylor expansion of +nan.0 in V
0.111 * [taylor]: Taking taylor expansion of (* V l) in V
0.111 * [taylor]: Taking taylor expansion of V in V
0.111 * [taylor]: Taking taylor expansion of l in V
0.111 * [taylor]: Taking taylor expansion of 0 in l
0.111 * [taylor]: Taking taylor expansion of 0 in l
0.112 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.112 * [taylor]: Taking taylor expansion of +nan.0 in V
0.112 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.112 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.112 * [taylor]: Taking taylor expansion of V in V
0.112 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.112 * [taylor]: Taking taylor expansion of l in V
0.113 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.113 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.113 * [taylor]: Taking taylor expansion of +nan.0 in l
0.113 * [taylor]: Taking taylor expansion of l in l
0.113 * [taylor]: Taking taylor expansion of 0 in l
0.113 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.113 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.113 * [taylor]: Taking taylor expansion of -1 in l
0.113 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.113 * [taylor]: Taking taylor expansion of (* V l) in l
0.113 * [taylor]: Taking taylor expansion of V in l
0.113 * [taylor]: Taking taylor expansion of l in l
0.114 * [taylor]: Taking taylor expansion of A in l
0.114 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.114 * [taylor]: Taking taylor expansion of -1 in V
0.114 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.114 * [taylor]: Taking taylor expansion of (* V l) in V
0.114 * [taylor]: Taking taylor expansion of V in V
0.114 * [taylor]: Taking taylor expansion of l in V
0.114 * [taylor]: Taking taylor expansion of A in V
0.115 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.115 * [taylor]: Taking taylor expansion of -1 in A
0.115 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.115 * [taylor]: Taking taylor expansion of (* V l) in A
0.115 * [taylor]: Taking taylor expansion of V in A
0.115 * [taylor]: Taking taylor expansion of l in A
0.115 * [taylor]: Taking taylor expansion of A in A
0.116 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.116 * [taylor]: Taking taylor expansion of -1 in A
0.116 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.116 * [taylor]: Taking taylor expansion of (* V l) in A
0.116 * [taylor]: Taking taylor expansion of V in A
0.116 * [taylor]: Taking taylor expansion of l in A
0.116 * [taylor]: Taking taylor expansion of A in A
0.117 * [taylor]: Taking taylor expansion of 0 in V
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.117 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.117 * [taylor]: Taking taylor expansion of +nan.0 in V
0.117 * [taylor]: Taking taylor expansion of (* V l) in V
0.117 * [taylor]: Taking taylor expansion of V in V
0.117 * [taylor]: Taking taylor expansion of l in V
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.117 * [taylor]: Taking taylor expansion of 0 in l
0.119 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.119 * [taylor]: Taking taylor expansion of +nan.0 in V
0.119 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.119 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.119 * [taylor]: Taking taylor expansion of V in V
0.119 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.119 * [taylor]: Taking taylor expansion of l in V
0.119 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.119 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.119 * [taylor]: Taking taylor expansion of +nan.0 in l
0.119 * [taylor]: Taking taylor expansion of l in l
0.120 * [taylor]: Taking taylor expansion of 0 in l
0.120 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.120 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.120 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.120 * [taylor]: Taking taylor expansion of A in l
0.120 * [taylor]: Taking taylor expansion of (* V l) in l
0.120 * [taylor]: Taking taylor expansion of V in l
0.120 * [taylor]: Taking taylor expansion of l in l
0.120 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.120 * [taylor]: Taking taylor expansion of A in V
0.120 * [taylor]: Taking taylor expansion of (* V l) in V
0.120 * [taylor]: Taking taylor expansion of V in V
0.120 * [taylor]: Taking taylor expansion of l in V
0.121 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.121 * [taylor]: Taking taylor expansion of A in A
0.121 * [taylor]: Taking taylor expansion of (* V l) in A
0.121 * [taylor]: Taking taylor expansion of V in A
0.121 * [taylor]: Taking taylor expansion of l in A
0.121 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.121 * [taylor]: Taking taylor expansion of A in A
0.121 * [taylor]: Taking taylor expansion of (* V l) in A
0.121 * [taylor]: Taking taylor expansion of V in A
0.121 * [taylor]: Taking taylor expansion of l in A
0.121 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.121 * [taylor]: Taking taylor expansion of (* V l) in V
0.121 * [taylor]: Taking taylor expansion of V in V
0.121 * [taylor]: Taking taylor expansion of l in V
0.121 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.121 * [taylor]: Taking taylor expansion of l in l
0.122 * [taylor]: Taking taylor expansion of 0 in V
0.122 * [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.124 * [taylor]: Taking taylor expansion of 0 in l
0.125 * [taylor]: Taking taylor expansion of 0 in V
0.125 * [taylor]: Taking taylor expansion of 0 in l
0.125 * [taylor]: Taking taylor expansion of 0 in l
0.126 * [taylor]: Taking taylor expansion of 0 in l
0.126 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.126 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.126 * [taylor]: Taking taylor expansion of (* V l) in l
0.126 * [taylor]: Taking taylor expansion of V in l
0.126 * [taylor]: Taking taylor expansion of l in l
0.126 * [taylor]: Taking taylor expansion of A in l
0.127 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.127 * [taylor]: Taking taylor expansion of (* V l) in V
0.127 * [taylor]: Taking taylor expansion of V in V
0.127 * [taylor]: Taking taylor expansion of l in V
0.127 * [taylor]: Taking taylor expansion of A in V
0.127 * [taylor]: Taking taylor expansion of (/ (* V l) 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.127 * [taylor]: Taking taylor expansion of A in A
0.127 * [taylor]: Taking taylor expansion of (/ (* V l) 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.127 * [taylor]: Taking taylor expansion of A in A
0.127 * [taylor]: Taking taylor expansion of (* V l) in V
0.127 * [taylor]: Taking taylor expansion of V in V
0.127 * [taylor]: Taking taylor expansion of l in V
0.127 * [taylor]: Taking taylor expansion of l in l
0.128 * [taylor]: Taking taylor expansion of 0 in V
0.128 * [taylor]: Taking taylor expansion of 0 in l
0.129 * [taylor]: Taking taylor expansion of 0 in l
0.130 * [taylor]: Taking taylor expansion of 0 in V
0.130 * [taylor]: Taking taylor expansion of 0 in l
0.130 * [taylor]: Taking taylor expansion of 0 in l
0.131 * [taylor]: Taking taylor expansion of 0 in l
0.131 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.131 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.131 * [taylor]: Taking taylor expansion of -1 in l
0.131 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.131 * [taylor]: Taking taylor expansion of (* V l) in l
0.131 * [taylor]: Taking taylor expansion of V in l
0.131 * [taylor]: Taking taylor expansion of l in l
0.131 * [taylor]: Taking taylor expansion of A in l
0.131 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.131 * [taylor]: Taking taylor expansion of -1 in V
0.131 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.131 * [taylor]: Taking taylor expansion of (* V l) in V
0.131 * [taylor]: Taking taylor expansion of V in V
0.131 * [taylor]: Taking taylor expansion of l in V
0.131 * [taylor]: Taking taylor expansion of A in V
0.132 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.132 * [taylor]: Taking taylor expansion of -1 in A
0.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.132 * [taylor]: Taking taylor expansion of (* V l) in A
0.132 * [taylor]: Taking taylor expansion of V in A
0.132 * [taylor]: Taking taylor expansion of l in A
0.132 * [taylor]: Taking taylor expansion of A in A
0.132 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.132 * [taylor]: Taking taylor expansion of -1 in A
0.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.132 * [taylor]: Taking taylor expansion of (* V l) in A
0.132 * [taylor]: Taking taylor expansion of V in A
0.132 * [taylor]: Taking taylor expansion of l in A
0.132 * [taylor]: Taking taylor expansion of A in A
0.132 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.132 * [taylor]: Taking taylor expansion of -1 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.133 * [taylor]: Taking taylor expansion of (- l) in l
0.133 * [taylor]: Taking taylor expansion of l in l
0.134 * [taylor]: Taking taylor expansion of 0 in V
0.134 * [taylor]: Taking taylor expansion of 0 in l
0.135 * [taylor]: Taking taylor expansion of 0 in l
0.136 * [taylor]: Taking taylor expansion of 0 in V
0.136 * [taylor]: Taking taylor expansion of 0 in l
0.136 * [taylor]: Taking taylor expansion of 0 in l
0.138 * [taylor]: Taking taylor expansion of 0 in l
0.138 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.138 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.138 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.138 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.138 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.138 * [taylor]: Taking taylor expansion of A in l
0.138 * [taylor]: Taking taylor expansion of (* V l) in l
0.138 * [taylor]: Taking taylor expansion of V in l
0.138 * [taylor]: Taking taylor expansion of l in l
0.139 * [taylor]: Taking taylor expansion of c0 in l
0.139 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.139 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.139 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.139 * [taylor]: Taking taylor expansion of A in V
0.139 * [taylor]: Taking taylor expansion of (* V l) in V
0.139 * [taylor]: Taking taylor expansion of V in V
0.139 * [taylor]: Taking taylor expansion of l in V
0.140 * [taylor]: Taking taylor expansion of c0 in V
0.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.140 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.140 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.140 * [taylor]: Taking taylor expansion of A in A
0.140 * [taylor]: Taking taylor expansion of (* V l) in A
0.140 * [taylor]: Taking taylor expansion of V in A
0.140 * [taylor]: Taking taylor expansion of l in A
0.140 * [taylor]: Taking taylor expansion of c0 in A
0.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.140 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.140 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.140 * [taylor]: Taking taylor expansion of A in c0
0.141 * [taylor]: Taking taylor expansion of (* V l) in c0
0.141 * [taylor]: Taking taylor expansion of V in c0
0.141 * [taylor]: Taking taylor expansion of l in c0
0.141 * [taylor]: Taking taylor expansion of c0 in c0
0.141 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.141 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.141 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.141 * [taylor]: Taking taylor expansion of A in c0
0.141 * [taylor]: Taking taylor expansion of (* V l) in c0
0.141 * [taylor]: Taking taylor expansion of V in c0
0.141 * [taylor]: Taking taylor expansion of l in c0
0.141 * [taylor]: Taking taylor expansion of c0 in c0
0.141 * [taylor]: Taking taylor expansion of 0 in A
0.141 * [taylor]: Taking taylor expansion of 0 in V
0.142 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.142 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.142 * [taylor]: Taking taylor expansion of A in A
0.142 * [taylor]: Taking taylor expansion of (* V l) in A
0.142 * [taylor]: Taking taylor expansion of V in A
0.142 * [taylor]: Taking taylor expansion of l in A
0.142 * [taylor]: Taking taylor expansion of 0 in V
0.143 * [taylor]: Taking taylor expansion of 0 in V
0.143 * [taylor]: Taking taylor expansion of 0 in l
0.144 * [taylor]: Taking taylor expansion of 0 in A
0.144 * [taylor]: Taking taylor expansion of 0 in V
0.144 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.144 * [taylor]: Taking taylor expansion of +nan.0 in V
0.144 * [taylor]: Taking taylor expansion of (* V l) in V
0.144 * [taylor]: Taking taylor expansion of V in V
0.144 * [taylor]: Taking taylor expansion of l in V
0.144 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.144 * [taylor]: Taking taylor expansion of +nan.0 in l
0.144 * [taylor]: Taking taylor expansion of l in l
0.145 * [taylor]: Taking taylor expansion of 0 in V
0.145 * [taylor]: Taking taylor expansion of 0 in l
0.145 * [taylor]: Taking taylor expansion of 0 in l
0.145 * [taylor]: Taking taylor expansion of 0 in l
0.146 * [taylor]: Taking taylor expansion of 0 in A
0.146 * [taylor]: Taking taylor expansion of 0 in V
0.146 * [taylor]: Taking taylor expansion of 0 in V
0.147 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.147 * [taylor]: Taking taylor expansion of +nan.0 in V
0.147 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.147 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.147 * [taylor]: Taking taylor expansion of V in V
0.147 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.147 * [taylor]: Taking taylor expansion of l in V
0.148 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in V
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.149 * [taylor]: Taking taylor expansion of 0 in l
0.150 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.150 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.150 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) 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 (/ 1 c0) in l
0.151 * [taylor]: Taking taylor expansion of c0 in l
0.151 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.151 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.151 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.151 * [taylor]: Taking taylor expansion of (* V l) in V
0.151 * [taylor]: Taking taylor expansion of V in V
0.151 * [taylor]: Taking taylor expansion of l in V
0.151 * [taylor]: Taking taylor expansion of A in V
0.152 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.152 * [taylor]: Taking taylor expansion of c0 in V
0.152 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.152 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.152 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.152 * [taylor]: Taking taylor expansion of (* V l) in A
0.152 * [taylor]: Taking taylor expansion of V in A
0.152 * [taylor]: Taking taylor expansion of l in A
0.152 * [taylor]: Taking taylor expansion of A in A
0.153 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.153 * [taylor]: Taking taylor expansion of c0 in A
0.153 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.153 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.153 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.153 * [taylor]: Taking taylor expansion of (* V l) in c0
0.153 * [taylor]: Taking taylor expansion of V in c0
0.153 * [taylor]: Taking taylor expansion of l in c0
0.153 * [taylor]: Taking taylor expansion of A in c0
0.153 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.153 * [taylor]: Taking taylor expansion of c0 in c0
0.153 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.153 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.153 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.153 * [taylor]: Taking taylor expansion of (* V l) in c0
0.153 * [taylor]: Taking taylor expansion of V in c0
0.153 * [taylor]: Taking taylor expansion of l in c0
0.153 * [taylor]: Taking taylor expansion of A in c0
0.154 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.154 * [taylor]: Taking taylor expansion of c0 in c0
0.154 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.154 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.154 * [taylor]: Taking taylor expansion of (* V l) in A
0.154 * [taylor]: Taking taylor expansion of V in A
0.154 * [taylor]: Taking taylor expansion of l in A
0.154 * [taylor]: Taking taylor expansion of A in A
0.155 * [taylor]: Taking taylor expansion of 0 in V
0.155 * [taylor]: Taking taylor expansion of 0 in l
0.156 * [taylor]: Taking taylor expansion of 0 in A
0.156 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.156 * [taylor]: Taking taylor expansion of +nan.0 in V
0.156 * [taylor]: Taking taylor expansion of (* V l) in V
0.156 * [taylor]: Taking taylor expansion of V in V
0.156 * [taylor]: Taking taylor expansion of l in V
0.156 * [taylor]: Taking taylor expansion of 0 in l
0.156 * [taylor]: Taking taylor expansion of 0 in l
0.158 * [taylor]: Taking taylor expansion of 0 in A
0.158 * [taylor]: Taking taylor expansion of 0 in V
0.158 * [taylor]: Taking taylor expansion of 0 in l
0.160 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.160 * [taylor]: Taking taylor expansion of +nan.0 in V
0.160 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.160 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.160 * [taylor]: Taking taylor expansion of V in V
0.160 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.160 * [taylor]: Taking taylor expansion of l in V
0.160 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.160 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.160 * [taylor]: Taking taylor expansion of +nan.0 in l
0.160 * [taylor]: Taking taylor expansion of l in l
0.161 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.161 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.161 * [taylor]: Taking taylor expansion of -1 in l
0.161 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.161 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.161 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.161 * [taylor]: Taking taylor expansion of -1 in l
0.161 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.161 * [taylor]: Taking taylor expansion of (* V l) in l
0.161 * [taylor]: Taking taylor expansion of V in l
0.161 * [taylor]: Taking taylor expansion of l in l
0.161 * [taylor]: Taking taylor expansion of A in l
0.162 * [taylor]: Taking taylor expansion of c0 in l
0.162 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.162 * [taylor]: Taking taylor expansion of -1 in V
0.162 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.162 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.162 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.162 * [taylor]: Taking taylor expansion of -1 in V
0.162 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.162 * [taylor]: Taking taylor expansion of (* V l) in V
0.162 * [taylor]: Taking taylor expansion of V in V
0.162 * [taylor]: Taking taylor expansion of l in V
0.162 * [taylor]: Taking taylor expansion of A in V
0.168 * [taylor]: Taking taylor expansion of c0 in V
0.168 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.168 * [taylor]: Taking taylor expansion of -1 in A
0.168 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.168 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.168 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.168 * [taylor]: Taking taylor expansion of -1 in A
0.168 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.168 * [taylor]: Taking taylor expansion of (* V l) in A
0.168 * [taylor]: Taking taylor expansion of V in A
0.169 * [taylor]: Taking taylor expansion of l in A
0.169 * [taylor]: Taking taylor expansion of A in A
0.169 * [taylor]: Taking taylor expansion of c0 in A
0.169 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.169 * [taylor]: Taking taylor expansion of -1 in c0
0.169 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.169 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.169 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.169 * [taylor]: Taking taylor expansion of -1 in c0
0.169 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.169 * [taylor]: Taking taylor expansion of (* V l) in c0
0.169 * [taylor]: Taking taylor expansion of V in c0
0.169 * [taylor]: Taking taylor expansion of l in c0
0.169 * [taylor]: Taking taylor expansion of A in c0
0.170 * [taylor]: Taking taylor expansion of c0 in c0
0.170 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.170 * [taylor]: Taking taylor expansion of -1 in c0
0.170 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.170 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.170 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.170 * [taylor]: Taking taylor expansion of -1 in c0
0.170 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.170 * [taylor]: Taking taylor expansion of (* V l) in c0
0.170 * [taylor]: Taking taylor expansion of V in c0
0.170 * [taylor]: Taking taylor expansion of l in c0
0.170 * [taylor]: Taking taylor expansion of A in c0
0.171 * [taylor]: Taking taylor expansion of c0 in c0
0.171 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.171 * [taylor]: Taking taylor expansion of -1 in A
0.171 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.171 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.171 * [taylor]: Taking taylor expansion of -1 in A
0.171 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.171 * [taylor]: Taking taylor expansion of (* V l) in A
0.171 * [taylor]: Taking taylor expansion of V in A
0.171 * [taylor]: Taking taylor expansion of l in A
0.171 * [taylor]: Taking taylor expansion of A in A
0.172 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V
0.172 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.172 * [taylor]: Taking taylor expansion of +nan.0 in V
0.172 * [taylor]: Taking taylor expansion of (* V l) in V
0.172 * [taylor]: Taking taylor expansion of V in V
0.173 * [taylor]: Taking taylor expansion of l in V
0.173 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.173 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.173 * [taylor]: Taking taylor expansion of +nan.0 in l
0.173 * [taylor]: Taking taylor expansion of l in l
0.175 * [taylor]: Taking taylor expansion of 0 in A
0.175 * [taylor]: Taking taylor expansion of 0 in V
0.175 * [taylor]: Taking taylor expansion of 0 in l
0.177 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V
0.177 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.177 * [taylor]: Taking taylor expansion of +nan.0 in V
0.177 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.177 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.177 * [taylor]: Taking taylor expansion of V in V
0.177 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.177 * [taylor]: Taking taylor expansion of l in V
0.179 * [taylor]: Taking taylor expansion of 0 in l
0.182 * [taylor]: Taking taylor expansion of 0 in A
0.182 * [taylor]: Taking taylor expansion of 0 in V
0.182 * [taylor]: Taking taylor expansion of 0 in l
0.182 * [taylor]: Taking taylor expansion of 0 in V
0.182 * [taylor]: Taking taylor expansion of 0 in l
0.185 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V
0.185 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
0.185 * [taylor]: Taking taylor expansion of +nan.0 in V
0.185 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.185 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.185 * [taylor]: Taking taylor expansion of V in V
0.185 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.185 * [taylor]: Taking taylor expansion of l in V
0.185 * [taylor]: Taking taylor expansion of 0 in l
0.186 * * * [progress]: simplifying candidates
0.187 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (/ A (* V l))))
  (log1p (sqrt (/ A (* V l))))
  (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))))
  (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt 1)
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  (/ 1 2)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (expm1 (/ A (* V l)))
  (log1p (/ 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)))
  (- A)
  (- (* 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)
  (expm1 (* c0 (sqrt (/ A (* V l)))))
  (log1p (* c0 (sqrt (/ A (* V l)))))
  (* 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.191 * * [simplify]: iteration  0 :  215  enodes  (cost  345 )
0.195 * * [simplify]: iteration  1 :  819  enodes  (cost  320 )
0.209 * * [simplify]: iteration  2 :  3061  enodes  (cost  317 )
0.249 * * [simplify]: iteration  3 :  5001  enodes  (cost  317 )
0.251 * [simplify]: Simplified to:
   (expm1 (sqrt (/ A (* V l))))
  (log1p (sqrt (/ A (* V l))))
  (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (pow (sqrt (/ A (* V l))) 3)
  (fabs (cbrt (/ A (* V l))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  1
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  1/2
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (expm1 (/ A (* V l)))
  (log1p (/ 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)))
  (- A)
  (- (* 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)
  (expm1 (* c0 (sqrt (/ A (* V l)))))
  (log1p (* c0 (sqrt (/ A (* 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 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.252 * * * [progress]: adding candidates to table
0.624 * * [progress]: iteration 2 / 4
0.624 * * * [progress]: picking best candidate
0.649 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))>
0.649 * * * [progress]: localizing error
0.659 * * * [progress]: generating rewritten candidates
0.659 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.669 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.680 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.728 * * * [progress]: generating series expansions
0.728 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.728 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.728 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.728 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.728 * [taylor]: Taking taylor expansion of A in l
0.728 * [taylor]: Taking taylor expansion of (* V l) in l
0.728 * [taylor]: Taking taylor expansion of V in l
0.728 * [taylor]: Taking taylor expansion of l in l
0.729 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.729 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.729 * [taylor]: Taking taylor expansion of A in V
0.729 * [taylor]: Taking taylor expansion of (* V l) in V
0.729 * [taylor]: Taking taylor expansion of V in V
0.729 * [taylor]: Taking taylor expansion of l in V
0.730 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.730 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.730 * [taylor]: Taking taylor expansion of A in A
0.730 * [taylor]: Taking taylor expansion of (* V l) in A
0.730 * [taylor]: Taking taylor expansion of V in A
0.730 * [taylor]: Taking taylor expansion of l in A
0.731 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.731 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.731 * [taylor]: Taking taylor expansion of A in A
0.731 * [taylor]: Taking taylor expansion of (* V l) in A
0.731 * [taylor]: Taking taylor expansion of V in A
0.731 * [taylor]: Taking taylor expansion of l in A
0.732 * [taylor]: Taking taylor expansion of 0 in V
0.732 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.732 * [taylor]: Taking taylor expansion of +nan.0 in V
0.732 * [taylor]: Taking taylor expansion of (* V l) in V
0.732 * [taylor]: Taking taylor expansion of V in V
0.732 * [taylor]: Taking taylor expansion of l in V
0.732 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.732 * [taylor]: Taking taylor expansion of +nan.0 in l
0.732 * [taylor]: Taking taylor expansion of l in l
0.732 * [taylor]: Taking taylor expansion of 0 in l
0.733 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.733 * [taylor]: Taking taylor expansion of +nan.0 in V
0.733 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.733 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.733 * [taylor]: Taking taylor expansion of V in V
0.733 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.733 * [taylor]: Taking taylor expansion of l in V
0.735 * [taylor]: Taking taylor expansion of 0 in l
0.735 * [taylor]: Taking taylor expansion of 0 in l
0.736 * [taylor]: Taking taylor expansion of 0 in l
0.737 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
0.737 * [taylor]: Taking taylor expansion of +nan.0 in V
0.737 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.737 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.737 * [taylor]: Taking taylor expansion of V in V
0.737 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.737 * [taylor]: Taking taylor expansion of l in V
0.741 * [taylor]: Taking taylor expansion of 0 in l
0.743 * [taylor]: Taking taylor expansion of 0 in l
0.743 * [taylor]: Taking taylor expansion of 0 in l
0.744 * [taylor]: Taking taylor expansion of 0 in l
0.745 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.745 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.745 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.745 * [taylor]: Taking taylor expansion of (* V l) in l
0.745 * [taylor]: Taking taylor expansion of V in l
0.745 * [taylor]: Taking taylor expansion of l in l
0.745 * [taylor]: Taking taylor expansion of A in l
0.745 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.745 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.745 * [taylor]: Taking taylor expansion of (* V l) in V
0.745 * [taylor]: Taking taylor expansion of V in V
0.746 * [taylor]: Taking taylor expansion of l in V
0.746 * [taylor]: Taking taylor expansion of A in V
0.746 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.746 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.746 * [taylor]: Taking taylor expansion of (* V l) in A
0.746 * [taylor]: Taking taylor expansion of V in A
0.746 * [taylor]: Taking taylor expansion of l in A
0.746 * [taylor]: Taking taylor expansion of A in A
0.747 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.747 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.747 * [taylor]: Taking taylor expansion of (* V l) in A
0.747 * [taylor]: Taking taylor expansion of V in A
0.747 * [taylor]: Taking taylor expansion of l in A
0.747 * [taylor]: Taking taylor expansion of A in A
0.748 * [taylor]: Taking taylor expansion of 0 in V
0.748 * [taylor]: Taking taylor expansion of 0 in l
0.748 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.748 * [taylor]: Taking taylor expansion of +nan.0 in V
0.748 * [taylor]: Taking taylor expansion of (* V l) in V
0.748 * [taylor]: Taking taylor expansion of V in V
0.748 * [taylor]: Taking taylor expansion of l in V
0.748 * [taylor]: Taking taylor expansion of 0 in l
0.748 * [taylor]: Taking taylor expansion of 0 in l
0.749 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.749 * [taylor]: Taking taylor expansion of +nan.0 in V
0.749 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.749 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.749 * [taylor]: Taking taylor expansion of V in V
0.749 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.749 * [taylor]: Taking taylor expansion of l in V
0.750 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.750 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.750 * [taylor]: Taking taylor expansion of +nan.0 in l
0.750 * [taylor]: Taking taylor expansion of l in l
0.750 * [taylor]: Taking taylor expansion of 0 in l
0.751 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.751 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.751 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.751 * [taylor]: Taking taylor expansion of -1 in l
0.751 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.751 * [taylor]: Taking taylor expansion of (* V l) in l
0.751 * [taylor]: Taking taylor expansion of V in l
0.751 * [taylor]: Taking taylor expansion of l in l
0.751 * [taylor]: Taking taylor expansion of A in l
0.752 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.752 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.752 * [taylor]: Taking taylor expansion of -1 in V
0.752 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.752 * [taylor]: Taking taylor expansion of (* V l) in V
0.752 * [taylor]: Taking taylor expansion of V in V
0.752 * [taylor]: Taking taylor expansion of l in V
0.752 * [taylor]: Taking taylor expansion of A in V
0.753 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.753 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.753 * [taylor]: Taking taylor expansion of -1 in A
0.753 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.753 * [taylor]: Taking taylor expansion of (* V l) in A
0.753 * [taylor]: Taking taylor expansion of V in A
0.753 * [taylor]: Taking taylor expansion of l in A
0.753 * [taylor]: Taking taylor expansion of A in A
0.753 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.753 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.753 * [taylor]: Taking taylor expansion of -1 in A
0.753 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.753 * [taylor]: Taking taylor expansion of (* V l) in A
0.753 * [taylor]: Taking taylor expansion of V in A
0.753 * [taylor]: Taking taylor expansion of l in A
0.753 * [taylor]: Taking taylor expansion of A in A
0.754 * [taylor]: Taking taylor expansion of 0 in V
0.754 * [taylor]: Taking taylor expansion of 0 in l
0.754 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.754 * [taylor]: Taking taylor expansion of +nan.0 in V
0.754 * [taylor]: Taking taylor expansion of (* V l) in V
0.754 * [taylor]: Taking taylor expansion of V in V
0.754 * [taylor]: Taking taylor expansion of l in V
0.755 * [taylor]: Taking taylor expansion of 0 in l
0.755 * [taylor]: Taking taylor expansion of 0 in l
0.756 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.756 * [taylor]: Taking taylor expansion of +nan.0 in V
0.756 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.756 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.756 * [taylor]: Taking taylor expansion of V in V
0.756 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.756 * [taylor]: Taking taylor expansion of l in V
0.757 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.757 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.757 * [taylor]: Taking taylor expansion of +nan.0 in l
0.757 * [taylor]: Taking taylor expansion of l in l
0.757 * [taylor]: Taking taylor expansion of 0 in l
0.757 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.757 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.757 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.757 * [taylor]: Taking taylor expansion of A in l
0.757 * [taylor]: Taking taylor expansion of (* V l) in l
0.757 * [taylor]: Taking taylor expansion of V in l
0.757 * [taylor]: Taking taylor expansion of l in l
0.758 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.758 * [taylor]: Taking taylor expansion of A in V
0.758 * [taylor]: Taking taylor expansion of (* V l) in V
0.758 * [taylor]: Taking taylor expansion of V in V
0.758 * [taylor]: Taking taylor expansion of l in V
0.758 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.758 * [taylor]: Taking taylor expansion of A in A
0.758 * [taylor]: Taking taylor expansion of (* V l) in A
0.758 * [taylor]: Taking taylor expansion of V in A
0.758 * [taylor]: Taking taylor expansion of l in A
0.758 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.758 * [taylor]: Taking taylor expansion of A in A
0.758 * [taylor]: Taking taylor expansion of (* V l) in A
0.758 * [taylor]: Taking taylor expansion of V in A
0.758 * [taylor]: Taking taylor expansion of l in A
0.758 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.758 * [taylor]: Taking taylor expansion of (* V l) in V
0.758 * [taylor]: Taking taylor expansion of V in V
0.758 * [taylor]: Taking taylor expansion of l in V
0.759 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.759 * [taylor]: Taking taylor expansion of l in l
0.759 * [taylor]: Taking taylor expansion of 0 in V
0.760 * [taylor]: Taking taylor expansion of 0 in l
0.760 * [taylor]: Taking taylor expansion of 0 in V
0.760 * [taylor]: Taking taylor expansion of 0 in l
0.761 * [taylor]: Taking taylor expansion of 0 in l
0.762 * [taylor]: Taking taylor expansion of 0 in V
0.762 * [taylor]: Taking taylor expansion of 0 in l
0.762 * [taylor]: Taking taylor expansion of 0 in l
0.763 * [taylor]: Taking taylor expansion of 0 in l
0.763 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.763 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.764 * [taylor]: Taking taylor expansion of (* V l) in l
0.764 * [taylor]: Taking taylor expansion of V in l
0.764 * [taylor]: Taking taylor expansion of l in l
0.764 * [taylor]: Taking taylor expansion of A in l
0.764 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.764 * [taylor]: Taking taylor expansion of (* V l) in V
0.764 * [taylor]: Taking taylor expansion of V in V
0.764 * [taylor]: Taking taylor expansion of l in V
0.764 * [taylor]: Taking taylor expansion of A in V
0.764 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.764 * [taylor]: Taking taylor expansion of (* V l) in A
0.764 * [taylor]: Taking taylor expansion of V in A
0.764 * [taylor]: Taking taylor expansion of l in A
0.764 * [taylor]: Taking taylor expansion of A in A
0.764 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.764 * [taylor]: Taking taylor expansion of (* V l) in A
0.764 * [taylor]: Taking taylor expansion of V in A
0.764 * [taylor]: Taking taylor expansion of l in A
0.764 * [taylor]: Taking taylor expansion of A in A
0.765 * [taylor]: Taking taylor expansion of (* V l) in V
0.765 * [taylor]: Taking taylor expansion of V in V
0.765 * [taylor]: Taking taylor expansion of l in V
0.765 * [taylor]: Taking taylor expansion of l in l
0.765 * [taylor]: Taking taylor expansion of 0 in V
0.765 * [taylor]: Taking taylor expansion of 0 in l
0.766 * [taylor]: Taking taylor expansion of 0 in l
0.767 * [taylor]: Taking taylor expansion of 0 in V
0.767 * [taylor]: Taking taylor expansion of 0 in l
0.767 * [taylor]: Taking taylor expansion of 0 in l
0.768 * [taylor]: Taking taylor expansion of 0 in l
0.768 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.768 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.768 * [taylor]: Taking taylor expansion of -1 in l
0.768 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.768 * [taylor]: Taking taylor expansion of (* V l) in l
0.768 * [taylor]: Taking taylor expansion of V in l
0.768 * [taylor]: Taking taylor expansion of l in l
0.768 * [taylor]: Taking taylor expansion of A in l
0.768 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.768 * [taylor]: Taking taylor expansion of -1 in V
0.768 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.768 * [taylor]: Taking taylor expansion of (* V l) in V
0.768 * [taylor]: Taking taylor expansion of V in V
0.768 * [taylor]: Taking taylor expansion of l in V
0.768 * [taylor]: Taking taylor expansion of A in V
0.769 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.769 * [taylor]: Taking taylor expansion of -1 in A
0.769 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.769 * [taylor]: Taking taylor expansion of (* V l) in A
0.769 * [taylor]: Taking taylor expansion of V in A
0.769 * [taylor]: Taking taylor expansion of l in A
0.769 * [taylor]: Taking taylor expansion of A in A
0.769 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.769 * [taylor]: Taking taylor expansion of -1 in A
0.769 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.769 * [taylor]: Taking taylor expansion of (* V l) in A
0.769 * [taylor]: Taking taylor expansion of V in A
0.769 * [taylor]: Taking taylor expansion of l in A
0.769 * [taylor]: Taking taylor expansion of A in A
0.769 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.769 * [taylor]: Taking taylor expansion of -1 in V
0.769 * [taylor]: Taking taylor expansion of (* V l) in V
0.769 * [taylor]: Taking taylor expansion of V in V
0.769 * [taylor]: Taking taylor expansion of l in V
0.770 * [taylor]: Taking taylor expansion of (- l) in l
0.770 * [taylor]: Taking taylor expansion of l in l
0.771 * [taylor]: Taking taylor expansion of 0 in V
0.771 * [taylor]: Taking taylor expansion of 0 in l
0.772 * [taylor]: Taking taylor expansion of 0 in l
0.773 * [taylor]: Taking taylor expansion of 0 in V
0.773 * [taylor]: Taking taylor expansion of 0 in l
0.773 * [taylor]: Taking taylor expansion of 0 in l
0.775 * [taylor]: Taking taylor expansion of 0 in l
0.775 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.775 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.775 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.775 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.775 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.775 * [taylor]: Taking taylor expansion of A in l
0.775 * [taylor]: Taking taylor expansion of (* V l) in l
0.775 * [taylor]: Taking taylor expansion of V in l
0.775 * [taylor]: Taking taylor expansion of l in l
0.776 * [taylor]: Taking taylor expansion of c0 in l
0.776 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.776 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.776 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.776 * [taylor]: Taking taylor expansion of A in V
0.776 * [taylor]: Taking taylor expansion of (* V l) in V
0.776 * [taylor]: Taking taylor expansion of V in V
0.776 * [taylor]: Taking taylor expansion of l in V
0.777 * [taylor]: Taking taylor expansion of c0 in V
0.777 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.777 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.777 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.777 * [taylor]: Taking taylor expansion of A in A
0.777 * [taylor]: Taking taylor expansion of (* V l) in A
0.777 * [taylor]: Taking taylor expansion of V in A
0.777 * [taylor]: Taking taylor expansion of l in A
0.778 * [taylor]: Taking taylor expansion of c0 in A
0.778 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.778 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.778 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.778 * [taylor]: Taking taylor expansion of A in c0
0.778 * [taylor]: Taking taylor expansion of (* V l) in c0
0.778 * [taylor]: Taking taylor expansion of V in c0
0.778 * [taylor]: Taking taylor expansion of l in c0
0.778 * [taylor]: Taking taylor expansion of c0 in c0
0.778 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.778 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.778 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.778 * [taylor]: Taking taylor expansion of A in c0
0.778 * [taylor]: Taking taylor expansion of (* V l) in c0
0.778 * [taylor]: Taking taylor expansion of V in c0
0.778 * [taylor]: Taking taylor expansion of l in c0
0.778 * [taylor]: Taking taylor expansion of c0 in c0
0.779 * [taylor]: Taking taylor expansion of 0 in A
0.779 * [taylor]: Taking taylor expansion of 0 in V
0.779 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.779 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.779 * [taylor]: Taking taylor expansion of A in A
0.779 * [taylor]: Taking taylor expansion of (* V l) in A
0.779 * [taylor]: Taking taylor expansion of V in A
0.779 * [taylor]: Taking taylor expansion of l in A
0.780 * [taylor]: Taking taylor expansion of 0 in V
0.780 * [taylor]: Taking taylor expansion of 0 in V
0.780 * [taylor]: Taking taylor expansion of 0 in l
0.781 * [taylor]: Taking taylor expansion of 0 in A
0.781 * [taylor]: Taking taylor expansion of 0 in V
0.781 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.781 * [taylor]: Taking taylor expansion of +nan.0 in V
0.781 * [taylor]: Taking taylor expansion of (* V l) in V
0.781 * [taylor]: Taking taylor expansion of V in V
0.781 * [taylor]: Taking taylor expansion of l in V
0.781 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.781 * [taylor]: Taking taylor expansion of +nan.0 in l
0.781 * [taylor]: Taking taylor expansion of l in l
0.782 * [taylor]: Taking taylor expansion of 0 in V
0.782 * [taylor]: Taking taylor expansion of 0 in l
0.782 * [taylor]: Taking taylor expansion of 0 in l
0.782 * [taylor]: Taking taylor expansion of 0 in l
0.783 * [taylor]: Taking taylor expansion of 0 in A
0.783 * [taylor]: Taking taylor expansion of 0 in V
0.784 * [taylor]: Taking taylor expansion of 0 in V
0.784 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.784 * [taylor]: Taking taylor expansion of +nan.0 in V
0.784 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.784 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.784 * [taylor]: Taking taylor expansion of V in V
0.784 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.784 * [taylor]: Taking taylor expansion of l in V
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in V
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.786 * [taylor]: Taking taylor expansion of 0 in l
0.787 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.787 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.787 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.787 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.787 * [taylor]: Taking taylor expansion of (* V l) in l
0.787 * [taylor]: Taking taylor expansion of V in l
0.787 * [taylor]: Taking taylor expansion of l in l
0.787 * [taylor]: Taking taylor expansion of A in l
0.788 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.788 * [taylor]: Taking taylor expansion of c0 in l
0.788 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.788 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.788 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.788 * [taylor]: Taking taylor expansion of (* V l) in V
0.788 * [taylor]: Taking taylor expansion of V in V
0.788 * [taylor]: Taking taylor expansion of l in V
0.788 * [taylor]: Taking taylor expansion of A in V
0.789 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.789 * [taylor]: Taking taylor expansion of c0 in V
0.789 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.789 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.789 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.789 * [taylor]: Taking taylor expansion of (* V l) in A
0.789 * [taylor]: Taking taylor expansion of V in A
0.789 * [taylor]: Taking taylor expansion of l in A
0.789 * [taylor]: Taking taylor expansion of A in A
0.790 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.790 * [taylor]: Taking taylor expansion of c0 in A
0.790 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.790 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.790 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.790 * [taylor]: Taking taylor expansion of (* V l) in c0
0.790 * [taylor]: Taking taylor expansion of V in c0
0.790 * [taylor]: Taking taylor expansion of l in c0
0.790 * [taylor]: Taking taylor expansion of A in c0
0.791 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.791 * [taylor]: Taking taylor expansion of c0 in c0
0.791 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.791 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.791 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.791 * [taylor]: Taking taylor expansion of (* V l) in c0
0.791 * [taylor]: Taking taylor expansion of V in c0
0.791 * [taylor]: Taking taylor expansion of l in c0
0.791 * [taylor]: Taking taylor expansion of A in c0
0.791 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.791 * [taylor]: Taking taylor expansion of c0 in c0
0.792 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.792 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.792 * [taylor]: Taking taylor expansion of (* V l) in A
0.792 * [taylor]: Taking taylor expansion of V in A
0.792 * [taylor]: Taking taylor expansion of l in A
0.792 * [taylor]: Taking taylor expansion of A in A
0.792 * [taylor]: Taking taylor expansion of 0 in V
0.792 * [taylor]: Taking taylor expansion of 0 in l
0.793 * [taylor]: Taking taylor expansion of 0 in A
0.793 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.793 * [taylor]: Taking taylor expansion of +nan.0 in V
0.793 * [taylor]: Taking taylor expansion of (* V l) in V
0.793 * [taylor]: Taking taylor expansion of V in V
0.793 * [taylor]: Taking taylor expansion of l in V
0.793 * [taylor]: Taking taylor expansion of 0 in l
0.793 * [taylor]: Taking taylor expansion of 0 in l
0.795 * [taylor]: Taking taylor expansion of 0 in A
0.795 * [taylor]: Taking taylor expansion of 0 in V
0.795 * [taylor]: Taking taylor expansion of 0 in l
0.797 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.797 * [taylor]: Taking taylor expansion of +nan.0 in V
0.797 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.797 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.797 * [taylor]: Taking taylor expansion of V in V
0.797 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.797 * [taylor]: Taking taylor expansion of l in V
0.797 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.797 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.797 * [taylor]: Taking taylor expansion of +nan.0 in l
0.797 * [taylor]: Taking taylor expansion of l in l
0.798 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.798 * [taylor]: Taking taylor expansion of -1 in l
0.798 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.798 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.798 * [taylor]: Taking taylor expansion of -1 in l
0.798 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.798 * [taylor]: Taking taylor expansion of (* V l) in l
0.798 * [taylor]: Taking taylor expansion of V in l
0.798 * [taylor]: Taking taylor expansion of l in l
0.798 * [taylor]: Taking taylor expansion of A in l
0.799 * [taylor]: Taking taylor expansion of c0 in l
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.799 * [taylor]: Taking taylor expansion of -1 in V
0.799 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.799 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.799 * [taylor]: Taking taylor expansion of -1 in V
0.799 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.799 * [taylor]: Taking taylor expansion of (* V l) in V
0.799 * [taylor]: Taking taylor expansion of V in V
0.799 * [taylor]: Taking taylor expansion of l in V
0.799 * [taylor]: Taking taylor expansion of A in V
0.800 * [taylor]: Taking taylor expansion of c0 in V
0.800 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.800 * [taylor]: Taking taylor expansion of -1 in A
0.800 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.800 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.800 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.800 * [taylor]: Taking taylor expansion of -1 in A
0.800 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.800 * [taylor]: Taking taylor expansion of (* V l) in A
0.800 * [taylor]: Taking taylor expansion of V in A
0.800 * [taylor]: Taking taylor expansion of l in A
0.800 * [taylor]: Taking taylor expansion of A in A
0.801 * [taylor]: Taking taylor expansion of c0 in A
0.801 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.801 * [taylor]: Taking taylor expansion of -1 in c0
0.801 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.801 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.801 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.801 * [taylor]: Taking taylor expansion of -1 in c0
0.801 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.801 * [taylor]: Taking taylor expansion of (* V l) in c0
0.801 * [taylor]: Taking taylor expansion of V in c0
0.801 * [taylor]: Taking taylor expansion of l in c0
0.801 * [taylor]: Taking taylor expansion of A in c0
0.802 * [taylor]: Taking taylor expansion of c0 in c0
0.802 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.802 * [taylor]: Taking taylor expansion of -1 in c0
0.802 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.802 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.802 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.802 * [taylor]: Taking taylor expansion of -1 in c0
0.802 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.802 * [taylor]: Taking taylor expansion of (* V l) in c0
0.802 * [taylor]: Taking taylor expansion of V in c0
0.802 * [taylor]: Taking taylor expansion of l in c0
0.802 * [taylor]: Taking taylor expansion of A in c0
0.803 * [taylor]: Taking taylor expansion of c0 in c0
0.803 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.803 * [taylor]: Taking taylor expansion of -1 in A
0.803 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.803 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.803 * [taylor]: Taking taylor expansion of -1 in A
0.803 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.803 * [taylor]: Taking taylor expansion of (* V l) in A
0.803 * [taylor]: Taking taylor expansion of V in A
0.803 * [taylor]: Taking taylor expansion of l in A
0.803 * [taylor]: Taking taylor expansion of A in A
0.804 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V
0.804 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.804 * [taylor]: Taking taylor expansion of +nan.0 in V
0.804 * [taylor]: Taking taylor expansion of (* V l) in V
0.804 * [taylor]: Taking taylor expansion of V in V
0.804 * [taylor]: Taking taylor expansion of l in V
0.804 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.805 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.805 * [taylor]: Taking taylor expansion of +nan.0 in l
0.805 * [taylor]: Taking taylor expansion of l in l
0.807 * [taylor]: Taking taylor expansion of 0 in A
0.807 * [taylor]: Taking taylor expansion of 0 in V
0.807 * [taylor]: Taking taylor expansion of 0 in l
0.813 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V
0.813 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.813 * [taylor]: Taking taylor expansion of +nan.0 in V
0.813 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.813 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.813 * [taylor]: Taking taylor expansion of V in V
0.813 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.813 * [taylor]: Taking taylor expansion of l in V
0.814 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [taylor]: Taking taylor expansion of 0 in A
0.817 * [taylor]: Taking taylor expansion of 0 in V
0.817 * [taylor]: Taking taylor expansion of 0 in l
0.817 * [taylor]: Taking taylor expansion of 0 in V
0.817 * [taylor]: Taking taylor expansion of 0 in l
0.820 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V
0.820 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
0.820 * [taylor]: Taking taylor expansion of +nan.0 in V
0.820 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.820 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.820 * [taylor]: Taking taylor expansion of V in V
0.820 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.820 * [taylor]: Taking taylor expansion of l in V
0.820 * [taylor]: Taking taylor expansion of 0 in l
0.821 * * * [progress]: simplifying candidates
0.823 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (sqrt (/ (/ A V) l)))
  (log1p (sqrt (/ (/ A V) l)))
  (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (* (* (sqrt (/ (/ A V) l)) (sqrt (/ (/ A V) l))) (sqrt (/ (/ A V) l)))
  (sqrt (* (cbrt (/ (/ A V) l)) (cbrt (/ (/ A V) l))))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (/ (* (cbrt (/ A 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)))
  (expm1 (/ (/ A V) l))
  (log1p (/ (/ 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))
  (- (/ A V))
  (- 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)
  (expm1 (* c0 (sqrt (/ (/ A V) l))))
  (log1p (* c0 (sqrt (/ (/ A V) l))))
  (* 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.832 * * [simplify]: iteration  0 :  584  enodes  (cost  1424 )
0.841 * * [simplify]: iteration  1 :  2014  enodes  (cost  1350 )
0.870 * * [simplify]: iteration  2 :  5001  enodes  (cost  1314 )
0.876 * [simplify]: Simplified to:
   (expm1 (sqrt (/ (/ A V) l)))
  (log1p (sqrt (/ (/ A V) l)))
  (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (pow (sqrt (/ (/ A V) l)) 3)
  (fabs (cbrt (/ (/ A V) l)))
  (sqrt (cbrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (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)))
  (expm1 (/ (/ A V) l))
  (log1p (/ (/ 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))
  (- (/ A V))
  (- 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)
  (expm1 (* c0 (sqrt (/ (/ A V) l))))
  (log1p (* c0 (sqrt (/ (/ A 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.877 * * * [progress]: adding candidates to table
1.435 * * [progress]: iteration 3 / 4
1.435 * * * [progress]: picking best candidate
1.477 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))>
1.477 * * * [progress]: localizing error
1.493 * * * [progress]: generating rewritten candidates
1.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1.496 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1.497 * * * [progress]: generating series expansions
1.497 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.497 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
1.497 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.497 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.497 * [taylor]: Taking taylor expansion of 1/3 in l
1.497 * [taylor]: Taking taylor expansion of (log l) in l
1.497 * [taylor]: Taking taylor expansion of l in l
1.498 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.498 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.498 * [taylor]: Taking taylor expansion of 1/3 in l
1.498 * [taylor]: Taking taylor expansion of (log l) in l
1.498 * [taylor]: Taking taylor expansion of l in l
1.550 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
1.550 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.550 * [taylor]: Taking taylor expansion of 1/3 in l
1.550 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.550 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.550 * [taylor]: Taking taylor expansion of l in l
1.551 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.551 * [taylor]: Taking taylor expansion of 1/3 in l
1.551 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.551 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.551 * [taylor]: Taking taylor expansion of l in l
1.601 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
1.601 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.601 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.601 * [taylor]: Taking taylor expansion of -1 in l
1.602 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.602 * [taylor]: Taking taylor expansion of 1/3 in l
1.602 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.602 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.602 * [taylor]: Taking taylor expansion of l in l
1.603 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.603 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.603 * [taylor]: Taking taylor expansion of -1 in l
1.604 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.604 * [taylor]: Taking taylor expansion of 1/3 in l
1.604 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.604 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.604 * [taylor]: Taking taylor expansion of l in l
1.668 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.668 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
1.668 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.668 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.668 * [taylor]: Taking taylor expansion of 1/3 in l
1.668 * [taylor]: Taking taylor expansion of (log l) in l
1.668 * [taylor]: Taking taylor expansion of l in l
1.669 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
1.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
1.669 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
1.669 * [taylor]: Taking taylor expansion of 1/3 in l
1.669 * [taylor]: Taking taylor expansion of (log l) in l
1.669 * [taylor]: Taking taylor expansion of l in l
1.720 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
1.720 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.720 * [taylor]: Taking taylor expansion of 1/3 in l
1.720 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.720 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.720 * [taylor]: Taking taylor expansion of l in l
1.721 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.721 * [taylor]: Taking taylor expansion of 1/3 in l
1.721 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.721 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.721 * [taylor]: Taking taylor expansion of l in l
1.774 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
1.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.774 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.774 * [taylor]: Taking taylor expansion of -1 in l
1.775 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.775 * [taylor]: Taking taylor expansion of 1/3 in l
1.775 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.775 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.775 * [taylor]: Taking taylor expansion of l in l
1.776 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
1.776 * [taylor]: Taking taylor expansion of (cbrt -1) in l
1.776 * [taylor]: Taking taylor expansion of -1 in l
1.777 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
1.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
1.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
1.777 * [taylor]: Taking taylor expansion of 1/3 in l
1.777 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
1.777 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.777 * [taylor]: Taking taylor expansion of l in l
1.843 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1.843 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
1.843 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.843 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.843 * [taylor]: Taking taylor expansion of 1/3 in V
1.843 * [taylor]: Taking taylor expansion of (log V) in V
1.843 * [taylor]: Taking taylor expansion of V in V
1.844 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
1.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
1.844 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
1.844 * [taylor]: Taking taylor expansion of 1/3 in V
1.844 * [taylor]: Taking taylor expansion of (log V) in V
1.844 * [taylor]: Taking taylor expansion of V in V
1.891 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
1.891 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.891 * [taylor]: Taking taylor expansion of 1/3 in V
1.891 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.891 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.891 * [taylor]: Taking taylor expansion of V in V
1.892 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.892 * [taylor]: Taking taylor expansion of 1/3 in V
1.892 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.892 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.892 * [taylor]: Taking taylor expansion of V in V
1.948 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
1.948 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.948 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.948 * [taylor]: Taking taylor expansion of 1/3 in V
1.948 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.948 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.948 * [taylor]: Taking taylor expansion of V in V
1.949 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.949 * [taylor]: Taking taylor expansion of -1 in V
1.950 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
1.950 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
1.950 * [taylor]: Taking taylor expansion of 1/3 in V
1.950 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
1.950 * [taylor]: Taking taylor expansion of (/ 1 V) in V
1.950 * [taylor]: Taking taylor expansion of V in V
1.951 * [taylor]: Taking taylor expansion of (cbrt -1) in V
1.951 * [taylor]: Taking taylor expansion of -1 in V
2.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.016 * [approximate]: Taking taylor expansion of (pow V 1/3) in (V) around 0
2.016 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
2.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
2.016 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
2.016 * [taylor]: Taking taylor expansion of 1/3 in V
2.016 * [taylor]: Taking taylor expansion of (log V) in V
2.016 * [taylor]: Taking taylor expansion of V in V
2.017 * [taylor]: Taking taylor expansion of (pow V 1/3) in V
2.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log V))) in V
2.017 * [taylor]: Taking taylor expansion of (* 1/3 (log V)) in V
2.017 * [taylor]: Taking taylor expansion of 1/3 in V
2.017 * [taylor]: Taking taylor expansion of (log V) in V
2.017 * [taylor]: Taking taylor expansion of V in V
2.063 * [approximate]: Taking taylor expansion of (pow (/ 1 V) 1/3) in (V) around 0
2.063 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
2.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
2.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
2.063 * [taylor]: Taking taylor expansion of 1/3 in V
2.063 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.063 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.063 * [taylor]: Taking taylor expansion of V in V
2.064 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
2.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
2.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
2.064 * [taylor]: Taking taylor expansion of 1/3 in V
2.064 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.064 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.065 * [taylor]: Taking taylor expansion of V in V
2.122 * [approximate]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in (V) around 0
2.122 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
2.122 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
2.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
2.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
2.122 * [taylor]: Taking taylor expansion of 1/3 in V
2.122 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.122 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.122 * [taylor]: Taking taylor expansion of V in V
2.123 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.123 * [taylor]: Taking taylor expansion of -1 in V
2.123 * [taylor]: Taking taylor expansion of (* (pow (/ 1 V) 1/3) (cbrt -1)) in V
2.123 * [taylor]: Taking taylor expansion of (pow (/ 1 V) 1/3) in V
2.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 V)))) in V
2.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 V))) in V
2.123 * [taylor]: Taking taylor expansion of 1/3 in V
2.123 * [taylor]: Taking taylor expansion of (log (/ 1 V)) in V
2.123 * [taylor]: Taking taylor expansion of (/ 1 V) in V
2.123 * [taylor]: Taking taylor expansion of V in V
2.124 * [taylor]: Taking taylor expansion of (cbrt -1) in V
2.124 * [taylor]: Taking taylor expansion of -1 in V
2.189 * * * [progress]: simplifying candidates
2.190 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt l))
  (log1p (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))
  (expm1 (cbrt l))
  (log1p (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))
  (expm1 (cbrt V))
  (log1p (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))
  (expm1 (cbrt V))
  (log1p (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))
2.193 * * [simplify]: iteration  0 :  73  enodes  (cost  172 )
2.195 * * [simplify]: iteration  1 :  149  enodes  (cost  160 )
2.198 * * [simplify]: iteration  2 :  350  enodes  (cost  152 )
2.205 * * [simplify]: iteration  3 :  1283  enodes  (cost  152 )
2.242 * * [simplify]: iteration  4 :  5001  enodes  (cost  152 )
2.243 * [simplify]: Simplified to:
   (expm1 (cbrt l))
  (log1p (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))
  (expm1 (cbrt l))
  (log1p (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))
  (expm1 (cbrt V))
  (log1p (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))
  (expm1 (cbrt V))
  (log1p (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))
2.243 * * * [progress]: adding candidates to table
2.506 * * [progress]: iteration 4 / 4
2.506 * * * [progress]: picking best candidate
2.550 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))>
2.550 * * * [progress]: localizing error
2.569 * * * [progress]: generating rewritten candidates
2.569 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
2.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
2.572 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1)
2.574 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
2.575 * * * [progress]: generating series expansions
2.575 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
2.576 * [approximate]: Taking taylor expansion of (pow l 1/9) in (l) around 0
2.576 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
2.576 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
2.576 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
2.576 * [taylor]: Taking taylor expansion of 1/9 in l
2.576 * [taylor]: Taking taylor expansion of (log l) in l
2.576 * [taylor]: Taking taylor expansion of l in l
2.576 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
2.577 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
2.577 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
2.577 * [taylor]: Taking taylor expansion of 1/9 in l
2.577 * [taylor]: Taking taylor expansion of (log l) in l
2.577 * [taylor]: Taking taylor expansion of l in l
2.628 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/9) in (l) around 0
2.628 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.628 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.628 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.628 * [taylor]: Taking taylor expansion of 1/9 in l
2.628 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.628 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.628 * [taylor]: Taking taylor expansion of l in l
2.629 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.629 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.629 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.629 * [taylor]: Taking taylor expansion of 1/9 in l
2.629 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.629 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.629 * [taylor]: Taking taylor expansion of l in l
2.679 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in (l) around 0
2.679 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
2.679 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
2.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
2.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
2.679 * [taylor]: Taking taylor expansion of 1/3 in l
2.679 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
2.679 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.679 * [taylor]: Taking taylor expansion of -1 in l
2.683 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.683 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.683 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.683 * [taylor]: Taking taylor expansion of 1/9 in l
2.683 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.683 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.683 * [taylor]: Taking taylor expansion of l in l
2.683 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
2.683 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
2.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
2.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
2.684 * [taylor]: Taking taylor expansion of 1/3 in l
2.684 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
2.684 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.684 * [taylor]: Taking taylor expansion of -1 in l
2.687 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.687 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.687 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.687 * [taylor]: Taking taylor expansion of 1/9 in l
2.687 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.687 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.687 * [taylor]: Taking taylor expansion of l in l
2.815 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
2.815 * [approximate]: Taking taylor expansion of (pow l 1/9) in (l) around 0
2.815 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
2.815 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
2.815 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
2.815 * [taylor]: Taking taylor expansion of 1/9 in l
2.815 * [taylor]: Taking taylor expansion of (log l) in l
2.815 * [taylor]: Taking taylor expansion of l in l
2.816 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
2.816 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
2.816 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
2.816 * [taylor]: Taking taylor expansion of 1/9 in l
2.816 * [taylor]: Taking taylor expansion of (log l) in l
2.816 * [taylor]: Taking taylor expansion of l in l
2.870 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/9) in (l) around 0
2.870 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.870 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.870 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.870 * [taylor]: Taking taylor expansion of 1/9 in l
2.870 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.870 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.870 * [taylor]: Taking taylor expansion of l in l
2.871 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.871 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.871 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.871 * [taylor]: Taking taylor expansion of 1/9 in l
2.871 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.871 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.871 * [taylor]: Taking taylor expansion of l in l
2.923 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in (l) around 0
2.923 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
2.923 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
2.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
2.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
2.923 * [taylor]: Taking taylor expansion of 1/3 in l
2.923 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
2.924 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.924 * [taylor]: Taking taylor expansion of -1 in l
2.927 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.927 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.927 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.927 * [taylor]: Taking taylor expansion of 1/9 in l
2.927 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.927 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.927 * [taylor]: Taking taylor expansion of l in l
2.928 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
2.928 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
2.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
2.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
2.928 * [taylor]: Taking taylor expansion of 1/3 in l
2.928 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
2.928 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.928 * [taylor]: Taking taylor expansion of -1 in l
2.931 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
2.931 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
2.931 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
2.931 * [taylor]: Taking taylor expansion of 1/9 in l
2.931 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.931 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.931 * [taylor]: Taking taylor expansion of l in l
3.056 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1)
3.057 * [approximate]: Taking taylor expansion of (pow l 1/9) in (l) around 0
3.057 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
3.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
3.057 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
3.057 * [taylor]: Taking taylor expansion of 1/9 in l
3.057 * [taylor]: Taking taylor expansion of (log l) in l
3.057 * [taylor]: Taking taylor expansion of l in l
3.057 * [taylor]: Taking taylor expansion of (pow l 1/9) in l
3.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log l))) in l
3.057 * [taylor]: Taking taylor expansion of (* 1/9 (log l)) in l
3.057 * [taylor]: Taking taylor expansion of 1/9 in l
3.057 * [taylor]: Taking taylor expansion of (log l) in l
3.057 * [taylor]: Taking taylor expansion of l in l
3.110 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/9) in (l) around 0
3.110 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
3.110 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
3.110 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
3.110 * [taylor]: Taking taylor expansion of 1/9 in l
3.110 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.110 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.110 * [taylor]: Taking taylor expansion of l in l
3.111 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
3.111 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
3.111 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
3.111 * [taylor]: Taking taylor expansion of 1/9 in l
3.111 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.111 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.111 * [taylor]: Taking taylor expansion of l in l
3.161 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in (l) around 0
3.161 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
3.161 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
3.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
3.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
3.162 * [taylor]: Taking taylor expansion of 1/3 in l
3.162 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
3.162 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.162 * [taylor]: Taking taylor expansion of -1 in l
3.165 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
3.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
3.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
3.165 * [taylor]: Taking taylor expansion of 1/9 in l
3.165 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.165 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.165 * [taylor]: Taking taylor expansion of l in l
3.166 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 l) 1/9)) in l
3.166 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in l
3.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in l
3.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in l
3.166 * [taylor]: Taking taylor expansion of 1/3 in l
3.166 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in l
3.166 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.166 * [taylor]: Taking taylor expansion of -1 in l
3.169 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/9) in l
3.169 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 l)))) in l
3.169 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 l))) in l
3.169 * [taylor]: Taking taylor expansion of 1/9 in l
3.169 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.169 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.169 * [taylor]: Taking taylor expansion of l in l
3.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
3.295 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
3.295 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.295 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.295 * [taylor]: Taking taylor expansion of 1/3 in l
3.295 * [taylor]: Taking taylor expansion of (log l) in l
3.295 * [taylor]: Taking taylor expansion of l in l
3.296 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.296 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.296 * [taylor]: Taking taylor expansion of 1/3 in l
3.296 * [taylor]: Taking taylor expansion of (log l) in l
3.296 * [taylor]: Taking taylor expansion of l in l
3.349 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
3.349 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.349 * [taylor]: Taking taylor expansion of 1/3 in l
3.349 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.349 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.349 * [taylor]: Taking taylor expansion of l in l
3.350 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.350 * [taylor]: Taking taylor expansion of 1/3 in l
3.350 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.350 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.350 * [taylor]: Taking taylor expansion of l in l
3.400 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
3.400 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.400 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.400 * [taylor]: Taking taylor expansion of -1 in l
3.401 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.401 * [taylor]: Taking taylor expansion of 1/3 in l
3.401 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.401 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.401 * [taylor]: Taking taylor expansion of l in l
3.402 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.402 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.402 * [taylor]: Taking taylor expansion of -1 in l
3.402 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.402 * [taylor]: Taking taylor expansion of 1/3 in l
3.402 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.403 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.403 * [taylor]: Taking taylor expansion of l in l
3.470 * * * [progress]: simplifying candidates
3.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt l))
  (log1p (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))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
3.475 * * [simplify]: iteration  0 :  75  enodes  (cost  283 )
3.477 * * [simplify]: iteration  1 :  145  enodes  (cost  265 )
3.480 * * [simplify]: iteration  2 :  361  enodes  (cost  257 )
3.487 * * [simplify]: iteration  3 :  1382  enodes  (cost  257 )
3.520 * * [simplify]: iteration  4 :  5002  enodes  (cost  257 )
3.522 * [simplify]: Simplified to:
   (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (pow l 1/3)
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (pow l 1/3)
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt (cbrt l)))
  (log1p (cbrt (cbrt l)))
  (log (cbrt (cbrt l)))
  (exp (cbrt (cbrt l)))
  (cbrt (cbrt (* (cbrt l) (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt (sqrt l)))
  (cbrt (cbrt 1))
  (cbrt (cbrt l))
  (cbrt (* (cbrt (cbrt l)) (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt (sqrt (cbrt l)))
  (cbrt 1)
  (cbrt (cbrt l))
  (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l))))
  (cbrt (cbrt (cbrt l)))
  (pow l 1/3)
  (sqrt (cbrt (cbrt l)))
  (sqrt (cbrt (cbrt l)))
  (expm1 (cbrt l))
  (log1p (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))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/9)
  (pow (/ 1 l) -1/9)
  (* (pow (* -1 l) 1/9) (pow (cbrt -1) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
3.522 * * * [progress]: adding candidates to table
3.900 * [progress]: [Phase 3 of 3] Extracting.
3.900 * * [regime]: Finding splitpoints for: (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
3.905 * * * [regime-changes]: Trying 7 branch expressions: ((* V l) (/ A (* V l)) (sqrt (/ A (* V l))) l V A c0)
3.905 * * * * [regimes]: Trying to branch on (* V l) from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
3.972 * * * * [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) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))>)
3.996 * * * * [regimes]: Trying to branch on (/ A (* V l)) from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.060 * * * * [regimes]: Trying to branch on (sqrt (/ A (* V l))) from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.131 * * * * [regimes]: Trying to branch on l from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.199 * * * * [regimes]: Trying to branch on V from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.269 * * * * [regimes]: Trying to branch on A from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.335 * * * * [regimes]: Trying to branch on c0 from (#<alt (λ (c0 A V l) (* (* c0 (sqrt (/ (/ 1 (sqrt V)) (* (cbrt l) (cbrt l))))) (sqrt (/ (/ A (sqrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (sqrt (* (sqrt A) (/ (/ (sqrt A) V) l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ 1 (cbrt l))) c0) (sqrt (/ (/ A V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (sqrt (/ A (* (cbrt l) (cbrt l)))) (sqrt (/ (/ 1 V) (cbrt 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) (* (* c0 (sqrt A)) (sqrt (/ 1 (* V l)))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (cbrt A) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) V) (cbrt l)))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (sqrt (/ A (* V l))))) (sqrt (sqrt (/ A (* V l))))))> #<alt (λ (c0 A V l) (* c0 (sqrt (/ (/ A V) l))))> #<alt (λ (c0 A V l) (* c0 (* (fabs (/ (cbrt A) (cbrt l))) (sqrt (/ (/ (cbrt A) V) (cbrt l))))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ A V))) (sqrt (/ 1 l))))> #<alt (λ (c0 A V l) (* (* c0 (sqrt (/ 1 V))) (sqrt (/ A 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 V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (cbrt (cbrt l)))))))> #<alt (λ (c0 A V l) (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (* (* (cbrt (cbrt l)) (cbrt (cbrt l))) (* (* (cbrt (cbrt (cbrt l))) (cbrt (cbrt (cbrt l)))) (cbrt (cbrt (cbrt l)))))))))>)
4.404 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.404 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
4.405 * * [simplify]: iteration  0 :  15  enodes  (cost  14 )
4.405 * * [simplify]: iteration  1 :  15  enodes  (cost  14 )
4.405 * [simplify]: Simplified to:
   (* (* (fabs (/ (/ (cbrt A) (cbrt V)) (cbrt l))) c0) (sqrt (/ (/ (cbrt A) (cbrt V)) (cbrt l))))
6.405 * [regime-testing]: Baseline error score: 1.1349773191655768
6.405 * [regime-testing]: Oracle error score: 0.09992533099388701
6.406 * [regime-testing]: End program error score: 1.1349773191655768