60.729 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.074 * [progress]: [Phase 2 of 3] Improving.
0.075 * [simplify]: Simplifying:
  (* c0 (sqrt (/ A (* V l))))
0.075 * * [simplify]: iteration 0: 8 enodes
0.078 * * [simplify]: iteration 1: 12 enodes
0.082 * * [simplify]: iteration complete: 12 enodes
0.082 * * [simplify]: Extracting #0: cost 1 inf + 0
0.082 * * [simplify]: Extracting #1: cost 3 inf + 0
0.082 * * [simplify]: Extracting #2: cost 3 inf + 1
0.082 * * [simplify]: Extracting #3: cost 7 inf + 1
0.082 * * [simplify]: Extracting #4: cost 6 inf + 3
0.082 * * [simplify]: Extracting #5: cost 5 inf + 4
0.083 * * [simplify]: Extracting #6: cost 0 inf + 458
0.083 * [simplify]: Simplified to:
  (* (sqrt (/ A (* V l))) c0)
0.098 * * [progress]: iteration 1 / 4
0.098 * * * [progress]: picking best candidate
0.107 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (/ A (* V l)))))>
0.107 * * * [progress]: localizing error
0.135 * * * [progress]: generating rewritten candidates
0.135 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.150 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.169 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.220 * * * [progress]: generating series expansions
0.220 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.220 * [backup-simplify]: Simplify (sqrt (/ A (* V l))) into (sqrt (/ A (* V l)))
0.220 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
0.220 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.221 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.221 * [taylor]: Taking taylor expansion of A in l
0.221 * [backup-simplify]: Simplify A into A
0.221 * [taylor]: Taking taylor expansion of (* V l) in l
0.221 * [taylor]: Taking taylor expansion of V in l
0.221 * [backup-simplify]: Simplify V into V
0.221 * [taylor]: Taking taylor expansion of l in l
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify 1 into 1
0.221 * [backup-simplify]: Simplify (* V 0) into 0
0.221 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.221 * [backup-simplify]: Simplify (/ A V) into (/ A V)
0.222 * [backup-simplify]: Simplify (sqrt 0) into 0
0.222 * [backup-simplify]: Simplify (/ (/ A V) (* 2 (sqrt 0))) into (* +nan.0 (/ A V))
0.222 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.222 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.222 * [taylor]: Taking taylor expansion of A in V
0.222 * [backup-simplify]: Simplify A into A
0.222 * [taylor]: Taking taylor expansion of (* V l) in V
0.222 * [taylor]: Taking taylor expansion of V in V
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 1 into 1
0.222 * [taylor]: Taking taylor expansion of l in V
0.222 * [backup-simplify]: Simplify l into l
0.222 * [backup-simplify]: Simplify (* 0 l) into 0
0.223 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.223 * [backup-simplify]: Simplify (/ A l) into (/ A l)
0.223 * [backup-simplify]: Simplify (sqrt 0) into 0
0.224 * [backup-simplify]: Simplify (/ (/ A l) (* 2 (sqrt 0))) into (* +nan.0 (/ A l))
0.224 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.224 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.224 * [taylor]: Taking taylor expansion of A in A
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [taylor]: Taking taylor expansion of (* V l) in A
0.224 * [taylor]: Taking taylor expansion of V in A
0.224 * [backup-simplify]: Simplify V into V
0.224 * [taylor]: Taking taylor expansion of l in A
0.224 * [backup-simplify]: Simplify l into l
0.224 * [backup-simplify]: Simplify (* V l) into (* V l)
0.224 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.225 * [backup-simplify]: Simplify (sqrt 0) into 0
0.225 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
0.225 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.225 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.225 * [taylor]: Taking taylor expansion of A in A
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.225 * [taylor]: Taking taylor expansion of (* V l) in A
0.225 * [taylor]: Taking taylor expansion of V in A
0.225 * [backup-simplify]: Simplify V into V
0.225 * [taylor]: Taking taylor expansion of l in A
0.226 * [backup-simplify]: Simplify l into l
0.226 * [backup-simplify]: Simplify (* V l) into (* V l)
0.226 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.226 * [backup-simplify]: Simplify (sqrt 0) into 0
0.227 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
0.227 * [taylor]: Taking taylor expansion of 0 in V
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.227 * [taylor]: Taking taylor expansion of +nan.0 in V
0.227 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.227 * [taylor]: Taking taylor expansion of (* V l) in V
0.227 * [taylor]: Taking taylor expansion of V in V
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of l in V
0.227 * [backup-simplify]: Simplify l into l
0.227 * [backup-simplify]: Simplify (* 0 l) into 0
0.228 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.228 * [backup-simplify]: Simplify (/ +nan.0 l) into (/ +nan.0 l)
0.228 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.228 * [taylor]: Taking taylor expansion of +nan.0 in l
0.228 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.228 * [taylor]: Taking taylor expansion of l in l
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
0.228 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.229 * [taylor]: Taking taylor expansion of 0 in l
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
0.230 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (* V l)) 2) (+)) (* 2 0)) into (/ +nan.0 (* (pow V 2) (pow l 2)))
0.230 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.230 * [taylor]: Taking taylor expansion of +nan.0 in V
0.230 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.231 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.231 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.231 * [taylor]: Taking taylor expansion of V in V
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.231 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.231 * [taylor]: Taking taylor expansion of l in V
0.231 * [backup-simplify]: Simplify l into l
0.231 * [backup-simplify]: Simplify (* 1 1) into 1
0.231 * [backup-simplify]: Simplify (* l l) into (pow l 2)
0.231 * [backup-simplify]: Simplify (* 1 (pow l 2)) into (pow l 2)
0.232 * [backup-simplify]: Simplify (/ +nan.0 (pow l 2)) into (/ +nan.0 (pow l 2))
0.232 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
0.232 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 2))) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))))) into 0
0.233 * [taylor]: Taking taylor expansion of 0 in l
0.233 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.234 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)))) into 0
0.234 * [taylor]: Taking taylor expansion of 0 in l
0.234 * [backup-simplify]: Simplify 0 into 0
0.235 * [taylor]: Taking taylor expansion of 0 in l
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.236 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
0.238 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 (* V l)) (/ +nan.0 (* (pow V 2) (pow l 2))))))) (* 2 0)) into (/ +nan.0 (* (pow V 3) (pow l 3)))
0.238 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
0.238 * [taylor]: Taking taylor expansion of +nan.0 in V
0.238 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.238 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.238 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.238 * [taylor]: Taking taylor expansion of V in V
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.238 * [taylor]: Taking taylor expansion of l in V
0.238 * [backup-simplify]: Simplify l into l
0.238 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (* l l) into (pow l 2)
0.239 * [backup-simplify]: Simplify (* l (pow l 2)) into (pow l 3)
0.239 * [backup-simplify]: Simplify (* 1 (pow l 3)) into (pow l 3)
0.239 * [backup-simplify]: Simplify (/ +nan.0 (pow l 3)) into (/ +nan.0 (pow l 3))
0.240 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 l))) into 0
0.240 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
0.240 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 (pow l 2)))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.250 * [backup-simplify]: Simplify (+ (* l 0) (* 0 (pow l 2))) into 0
0.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow l 3)))) into 0
0.254 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 3))) into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 (pow l 3)) (+ (* (/ +nan.0 (pow l 3)) (/ 0 (pow l 3))))) into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 (pow l 3)) (+ (* (/ +nan.0 (pow l 3)) (/ 0 (pow l 3))) (* 0 (/ 0 (pow l 3))))) into 0
0.255 * [taylor]: Taking taylor expansion of 0 in l
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 l))) into 0
0.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow l 2)))) into 0
0.259 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))) (* 0 (/ 0 (pow l 2))))) into 0
0.259 * [taylor]: Taking taylor expansion of 0 in l
0.259 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
0.261 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)) (* 0 (/ 0 l)))) into 0
0.261 * [taylor]: Taking taylor expansion of 0 in l
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [taylor]: Taking taylor expansion of 0 in l
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (* +nan.0 (* (/ 1 l) (* (/ 1 V) A))) into (* +nan.0 (/ A (* V l)))
0.263 * [backup-simplify]: Simplify (sqrt (/ (/ 1 A) (* (/ 1 V) (/ 1 l)))) into (sqrt (/ (* V l) A))
0.263 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
0.263 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.263 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.263 * [taylor]: Taking taylor expansion of (* V l) in l
0.263 * [taylor]: Taking taylor expansion of V in l
0.263 * [backup-simplify]: Simplify V into V
0.263 * [taylor]: Taking taylor expansion of l in l
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 1 into 1
0.263 * [taylor]: Taking taylor expansion of A in l
0.263 * [backup-simplify]: Simplify A into A
0.263 * [backup-simplify]: Simplify (* V 0) into 0
0.264 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.264 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.265 * [backup-simplify]: Simplify (sqrt 0) into 0
0.265 * [backup-simplify]: Simplify (/ (/ V A) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
0.265 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.265 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.265 * [taylor]: Taking taylor expansion of (* V l) in V
0.265 * [taylor]: Taking taylor expansion of V in V
0.265 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify 1 into 1
0.265 * [taylor]: Taking taylor expansion of l in V
0.265 * [backup-simplify]: Simplify l into l
0.265 * [taylor]: Taking taylor expansion of A in V
0.265 * [backup-simplify]: Simplify A into A
0.266 * [backup-simplify]: Simplify (* 0 l) into 0
0.266 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.266 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.266 * [backup-simplify]: Simplify (sqrt 0) into 0
0.267 * [backup-simplify]: Simplify (/ (/ l A) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
0.267 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.267 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.267 * [taylor]: Taking taylor expansion of (* V l) in A
0.267 * [taylor]: Taking taylor expansion of V in A
0.267 * [backup-simplify]: Simplify V into V
0.267 * [taylor]: Taking taylor expansion of l in A
0.267 * [backup-simplify]: Simplify l into l
0.267 * [taylor]: Taking taylor expansion of A in A
0.267 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify 1 into 1
0.267 * [backup-simplify]: Simplify (* V l) into (* V l)
0.268 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.268 * [backup-simplify]: Simplify (sqrt 0) into 0
0.268 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.268 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.269 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.269 * [taylor]: Taking taylor expansion of (* V l) in A
0.269 * [taylor]: Taking taylor expansion of V in A
0.269 * [backup-simplify]: Simplify V into V
0.269 * [taylor]: Taking taylor expansion of l in A
0.269 * [backup-simplify]: Simplify l into l
0.269 * [taylor]: Taking taylor expansion of A in A
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [backup-simplify]: Simplify (* V l) into (* V l)
0.269 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.269 * [backup-simplify]: Simplify (sqrt 0) into 0
0.270 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.270 * [taylor]: Taking taylor expansion of 0 in V
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [taylor]: Taking taylor expansion of 0 in l
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.270 * [taylor]: Taking taylor expansion of +nan.0 in V
0.270 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.270 * [taylor]: Taking taylor expansion of (* V l) in V
0.270 * [taylor]: Taking taylor expansion of V in V
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [taylor]: Taking taylor expansion of l in V
0.270 * [backup-simplify]: Simplify l into l
0.270 * [backup-simplify]: Simplify (* 0 l) into 0
0.271 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.271 * [taylor]: Taking taylor expansion of 0 in l
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [taylor]: Taking taylor expansion of 0 in l
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.274 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
0.274 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.274 * [taylor]: Taking taylor expansion of +nan.0 in V
0.274 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.274 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.274 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.274 * [taylor]: Taking taylor expansion of V in V
0.274 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify 1 into 1
0.274 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.274 * [taylor]: Taking taylor expansion of l in V
0.274 * [backup-simplify]: Simplify l into l
0.275 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.275 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
0.275 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.275 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.275 * [taylor]: Taking taylor expansion of +nan.0 in l
0.275 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.275 * [taylor]: Taking taylor expansion of l in l
0.275 * [backup-simplify]: Simplify 0 into 0
0.275 * [backup-simplify]: Simplify 1 into 1
0.276 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.276 * [backup-simplify]: Simplify (- 0) into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [taylor]: Taking taylor expansion of 0 in l
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify (sqrt (/ (/ 1 (- A)) (* (/ 1 (- V)) (/ 1 (- l))))) into (sqrt (* -1 (/ (* V l) A)))
0.277 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
0.277 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.277 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.277 * [taylor]: Taking taylor expansion of -1 in l
0.277 * [backup-simplify]: Simplify -1 into -1
0.277 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.277 * [taylor]: Taking taylor expansion of (* V l) in l
0.277 * [taylor]: Taking taylor expansion of V in l
0.277 * [backup-simplify]: Simplify V into V
0.277 * [taylor]: Taking taylor expansion of l in l
0.277 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify 1 into 1
0.277 * [taylor]: Taking taylor expansion of A in l
0.277 * [backup-simplify]: Simplify A into A
0.277 * [backup-simplify]: Simplify (* V 0) into 0
0.278 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.278 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.278 * [backup-simplify]: Simplify (* -1 (/ V A)) into (* -1 (/ V A))
0.278 * [backup-simplify]: Simplify (sqrt 0) into 0
0.279 * [backup-simplify]: Simplify (/ (* -1 (/ V A)) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
0.279 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.279 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.279 * [taylor]: Taking taylor expansion of -1 in V
0.279 * [backup-simplify]: Simplify -1 into -1
0.279 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.279 * [taylor]: Taking taylor expansion of (* V l) in V
0.279 * [taylor]: Taking taylor expansion of V in V
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [taylor]: Taking taylor expansion of l in V
0.279 * [backup-simplify]: Simplify l into l
0.279 * [taylor]: Taking taylor expansion of A in V
0.279 * [backup-simplify]: Simplify A into A
0.279 * [backup-simplify]: Simplify (* 0 l) into 0
0.280 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.280 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.280 * [backup-simplify]: Simplify (* -1 (/ l A)) into (* -1 (/ l A))
0.280 * [backup-simplify]: Simplify (sqrt 0) into 0
0.281 * [backup-simplify]: Simplify (/ (* -1 (/ l A)) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
0.281 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.281 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.281 * [taylor]: Taking taylor expansion of -1 in A
0.281 * [backup-simplify]: Simplify -1 into -1
0.281 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.281 * [taylor]: Taking taylor expansion of (* V l) in A
0.281 * [taylor]: Taking taylor expansion of V in A
0.281 * [backup-simplify]: Simplify V into V
0.281 * [taylor]: Taking taylor expansion of l in A
0.281 * [backup-simplify]: Simplify l into l
0.281 * [taylor]: Taking taylor expansion of A in A
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [backup-simplify]: Simplify (* V l) into (* V l)
0.281 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.281 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
0.282 * [backup-simplify]: Simplify (sqrt 0) into 0
0.282 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.282 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.283 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.283 * [taylor]: Taking taylor expansion of -1 in A
0.283 * [backup-simplify]: Simplify -1 into -1
0.283 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.283 * [taylor]: Taking taylor expansion of (* V l) in A
0.283 * [taylor]: Taking taylor expansion of V in A
0.283 * [backup-simplify]: Simplify V into V
0.283 * [taylor]: Taking taylor expansion of l in A
0.283 * [backup-simplify]: Simplify l into l
0.283 * [taylor]: Taking taylor expansion of A in A
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify 1 into 1
0.283 * [backup-simplify]: Simplify (* V l) into (* V l)
0.283 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.283 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
0.283 * [backup-simplify]: Simplify (sqrt 0) into 0
0.284 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.284 * [taylor]: Taking taylor expansion of 0 in V
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [taylor]: Taking taylor expansion of 0 in l
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.284 * [taylor]: Taking taylor expansion of +nan.0 in V
0.284 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.284 * [taylor]: Taking taylor expansion of (* V l) in V
0.285 * [taylor]: Taking taylor expansion of V in V
0.285 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify 1 into 1
0.285 * [taylor]: Taking taylor expansion of l in V
0.285 * [backup-simplify]: Simplify l into l
0.285 * [backup-simplify]: Simplify (* 0 l) into 0
0.285 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.285 * [taylor]: Taking taylor expansion of 0 in l
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [taylor]: Taking taylor expansion of 0 in l
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.288 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
0.290 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
0.290 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.290 * [taylor]: Taking taylor expansion of +nan.0 in V
0.290 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.290 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.290 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.290 * [taylor]: Taking taylor expansion of V in V
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify 1 into 1
0.290 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.290 * [taylor]: Taking taylor expansion of l in V
0.290 * [backup-simplify]: Simplify l into l
0.291 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.291 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
0.291 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.291 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.291 * [taylor]: Taking taylor expansion of +nan.0 in l
0.291 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.291 * [taylor]: Taking taylor expansion of l in l
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 1 into 1
0.292 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.293 * [backup-simplify]: Simplify (- 0) into 0
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [taylor]: Taking taylor expansion of 0 in l
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.293 * [backup-simplify]: Simplify (/ A (* V l)) into (/ A (* V l))
0.293 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
0.293 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.293 * [taylor]: Taking taylor expansion of A in l
0.293 * [backup-simplify]: Simplify A into A
0.293 * [taylor]: Taking taylor expansion of (* V l) in l
0.293 * [taylor]: Taking taylor expansion of V in l
0.293 * [backup-simplify]: Simplify V into V
0.293 * [taylor]: Taking taylor expansion of l in l
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 1 into 1
0.294 * [backup-simplify]: Simplify (* V 0) into 0
0.294 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.294 * [backup-simplify]: Simplify (/ A V) into (/ A V)
0.294 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.294 * [taylor]: Taking taylor expansion of A in V
0.294 * [backup-simplify]: Simplify A into A
0.294 * [taylor]: Taking taylor expansion of (* V l) in V
0.294 * [taylor]: Taking taylor expansion of V in V
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [taylor]: Taking taylor expansion of l in V
0.294 * [backup-simplify]: Simplify l into l
0.294 * [backup-simplify]: Simplify (* 0 l) into 0
0.295 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.295 * [backup-simplify]: Simplify (/ A l) into (/ A l)
0.295 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.295 * [taylor]: Taking taylor expansion of A in A
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 1 into 1
0.295 * [taylor]: Taking taylor expansion of (* V l) in A
0.295 * [taylor]: Taking taylor expansion of V in A
0.295 * [backup-simplify]: Simplify V into V
0.295 * [taylor]: Taking taylor expansion of l in A
0.295 * [backup-simplify]: Simplify l into l
0.295 * [backup-simplify]: Simplify (* V l) into (* V l)
0.295 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.295 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.295 * [taylor]: Taking taylor expansion of A in A
0.295 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 1 into 1
0.296 * [taylor]: Taking taylor expansion of (* V l) in A
0.296 * [taylor]: Taking taylor expansion of V in A
0.296 * [backup-simplify]: Simplify V into V
0.296 * [taylor]: Taking taylor expansion of l in A
0.296 * [backup-simplify]: Simplify l into l
0.296 * [backup-simplify]: Simplify (* V l) into (* V l)
0.296 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.296 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
0.296 * [taylor]: Taking taylor expansion of (* V l) in V
0.296 * [taylor]: Taking taylor expansion of V in V
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 1 into 1
0.296 * [taylor]: Taking taylor expansion of l in V
0.296 * [backup-simplify]: Simplify l into l
0.296 * [backup-simplify]: Simplify (* 0 l) into 0
0.297 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.297 * [backup-simplify]: Simplify (/ 1 l) into (/ 1 l)
0.297 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.297 * [taylor]: Taking taylor expansion of l in l
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 1 into 1
0.297 * [backup-simplify]: Simplify (/ 1 1) into 1
0.297 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.298 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
0.298 * [taylor]: Taking taylor expansion of 0 in V
0.298 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.299 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)))) into 0
0.299 * [taylor]: Taking taylor expansion of 0 in l
0.299 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.301 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
0.301 * [taylor]: Taking taylor expansion of 0 in V
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [taylor]: Taking taylor expansion of 0 in l
0.301 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
0.302 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)))) into 0
0.302 * [taylor]: Taking taylor expansion of 0 in l
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 0 into 0
0.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.303 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (+ (* 0 0) (* 0 l)))) into 0
0.305 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
0.305 * [taylor]: Taking taylor expansion of 0 in V
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [taylor]: Taking taylor expansion of 0 in l
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [taylor]: Taking taylor expansion of 0 in l
0.305 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 l))))) into 0
0.307 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)) (* 0 (/ 0 l)))) into 0
0.307 * [taylor]: Taking taylor expansion of 0 in l
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify 0 into 0
0.307 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (* (/ 1 V) A))) into (/ A (* V l))
0.307 * [backup-simplify]: Simplify (/ (/ 1 A) (* (/ 1 V) (/ 1 l))) into (/ (* V l) A)
0.307 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
0.307 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.307 * [taylor]: Taking taylor expansion of (* V l) in l
0.307 * [taylor]: Taking taylor expansion of V in l
0.307 * [backup-simplify]: Simplify V into V
0.307 * [taylor]: Taking taylor expansion of l in l
0.307 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [taylor]: Taking taylor expansion of A in l
0.308 * [backup-simplify]: Simplify A into A
0.308 * [backup-simplify]: Simplify (* V 0) into 0
0.308 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.308 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.308 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.308 * [taylor]: Taking taylor expansion of (* V l) in V
0.308 * [taylor]: Taking taylor expansion of V in V
0.308 * [backup-simplify]: Simplify 0 into 0
0.308 * [backup-simplify]: Simplify 1 into 1
0.308 * [taylor]: Taking taylor expansion of l in V
0.308 * [backup-simplify]: Simplify l into l
0.308 * [taylor]: Taking taylor expansion of A in V
0.309 * [backup-simplify]: Simplify A into A
0.309 * [backup-simplify]: Simplify (* 0 l) into 0
0.309 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.309 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.309 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.309 * [taylor]: Taking taylor expansion of (* V l) in A
0.309 * [taylor]: Taking taylor expansion of V in A
0.309 * [backup-simplify]: Simplify V into V
0.309 * [taylor]: Taking taylor expansion of l in A
0.309 * [backup-simplify]: Simplify l into l
0.309 * [taylor]: Taking taylor expansion of A in A
0.309 * [backup-simplify]: Simplify 0 into 0
0.309 * [backup-simplify]: Simplify 1 into 1
0.309 * [backup-simplify]: Simplify (* V l) into (* V l)
0.310 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.310 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.310 * [taylor]: Taking taylor expansion of (* V l) in A
0.310 * [taylor]: Taking taylor expansion of V in A
0.310 * [backup-simplify]: Simplify V into V
0.310 * [taylor]: Taking taylor expansion of l in A
0.310 * [backup-simplify]: Simplify l into l
0.310 * [taylor]: Taking taylor expansion of A in A
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify 1 into 1
0.310 * [backup-simplify]: Simplify (* V l) into (* V l)
0.310 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.310 * [taylor]: Taking taylor expansion of (* V l) in V
0.310 * [taylor]: Taking taylor expansion of V in V
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify 1 into 1
0.310 * [taylor]: Taking taylor expansion of l in V
0.310 * [backup-simplify]: Simplify l into l
0.311 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.311 * [taylor]: Taking taylor expansion of l in l
0.311 * [backup-simplify]: Simplify 0 into 0
0.311 * [backup-simplify]: Simplify 1 into 1
0.311 * [backup-simplify]: Simplify 1 into 1
0.311 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.312 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.312 * [taylor]: Taking taylor expansion of 0 in V
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [taylor]: Taking taylor expansion of 0 in l
0.312 * [backup-simplify]: Simplify 0 into 0
0.312 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.313 * [taylor]: Taking taylor expansion of 0 in l
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.313 * [backup-simplify]: Simplify 0 into 0
0.314 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.315 * [taylor]: Taking taylor expansion of 0 in V
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [taylor]: Taking taylor expansion of 0 in l
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [taylor]: Taking taylor expansion of 0 in l
0.315 * [backup-simplify]: Simplify 0 into 0
0.315 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
0.316 * [taylor]: Taking taylor expansion of 0 in l
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (* (/ 1 V) (/ 1 (/ 1 A))))) into (/ A (* V l))
0.317 * [backup-simplify]: Simplify (/ (/ 1 (- A)) (* (/ 1 (- V)) (/ 1 (- l)))) into (* -1 (/ (* V l) A))
0.317 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
0.317 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.317 * [taylor]: Taking taylor expansion of -1 in l
0.317 * [backup-simplify]: Simplify -1 into -1
0.317 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.317 * [taylor]: Taking taylor expansion of (* V l) in l
0.317 * [taylor]: Taking taylor expansion of V in l
0.317 * [backup-simplify]: Simplify V into V
0.317 * [taylor]: Taking taylor expansion of l in l
0.317 * [backup-simplify]: Simplify 0 into 0
0.317 * [backup-simplify]: Simplify 1 into 1
0.317 * [taylor]: Taking taylor expansion of A in l
0.317 * [backup-simplify]: Simplify A into A
0.318 * [backup-simplify]: Simplify (* V 0) into 0
0.318 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.318 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.318 * [taylor]: Taking taylor expansion of -1 in V
0.318 * [backup-simplify]: Simplify -1 into -1
0.318 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.318 * [taylor]: Taking taylor expansion of (* V l) in V
0.318 * [taylor]: Taking taylor expansion of V in V
0.318 * [backup-simplify]: Simplify 0 into 0
0.318 * [backup-simplify]: Simplify 1 into 1
0.318 * [taylor]: Taking taylor expansion of l in V
0.318 * [backup-simplify]: Simplify l into l
0.318 * [taylor]: Taking taylor expansion of A in V
0.318 * [backup-simplify]: Simplify A into A
0.318 * [backup-simplify]: Simplify (* 0 l) into 0
0.319 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.319 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.319 * [taylor]: Taking taylor expansion of -1 in A
0.319 * [backup-simplify]: Simplify -1 into -1
0.319 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.319 * [taylor]: Taking taylor expansion of (* V l) in A
0.319 * [taylor]: Taking taylor expansion of V in A
0.319 * [backup-simplify]: Simplify V into V
0.319 * [taylor]: Taking taylor expansion of l in A
0.319 * [backup-simplify]: Simplify l into l
0.319 * [taylor]: Taking taylor expansion of A in A
0.319 * [backup-simplify]: Simplify 0 into 0
0.319 * [backup-simplify]: Simplify 1 into 1
0.319 * [backup-simplify]: Simplify (* V l) into (* V l)
0.320 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.320 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.320 * [taylor]: Taking taylor expansion of -1 in A
0.320 * [backup-simplify]: Simplify -1 into -1
0.320 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.320 * [taylor]: Taking taylor expansion of (* V l) in A
0.320 * [taylor]: Taking taylor expansion of V in A
0.320 * [backup-simplify]: Simplify V into V
0.320 * [taylor]: Taking taylor expansion of l in A
0.320 * [backup-simplify]: Simplify l into l
0.320 * [taylor]: Taking taylor expansion of A in A
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 1 into 1
0.320 * [backup-simplify]: Simplify (* V l) into (* V l)
0.320 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.320 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
0.320 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
0.320 * [taylor]: Taking taylor expansion of -1 in V
0.320 * [backup-simplify]: Simplify -1 into -1
0.320 * [taylor]: Taking taylor expansion of (* V l) in V
0.320 * [taylor]: Taking taylor expansion of V in V
0.321 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify 1 into 1
0.321 * [taylor]: Taking taylor expansion of l in V
0.321 * [backup-simplify]: Simplify l into l
0.321 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.321 * [backup-simplify]: Simplify (* 0 l) into 0
0.322 * [backup-simplify]: Simplify (+ (* -1 l) (* 0 0)) into (- l)
0.322 * [taylor]: Taking taylor expansion of (- l) in l
0.322 * [taylor]: Taking taylor expansion of l in l
0.322 * [backup-simplify]: Simplify 0 into 0
0.322 * [backup-simplify]: Simplify 1 into 1
0.322 * [backup-simplify]: Simplify (- 1) into -1
0.322 * [backup-simplify]: Simplify -1 into -1
0.323 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.324 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
0.324 * [taylor]: Taking taylor expansion of 0 in V
0.324 * [backup-simplify]: Simplify 0 into 0
0.324 * [taylor]: Taking taylor expansion of 0 in l
0.324 * [backup-simplify]: Simplify 0 into 0
0.324 * [backup-simplify]: Simplify 0 into 0
0.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.326 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 l) (* 0 0))) into 0
0.326 * [taylor]: Taking taylor expansion of 0 in l
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.326 * [backup-simplify]: Simplify (- 0) into 0
0.326 * [backup-simplify]: Simplify 0 into 0
0.327 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* V l)))) into 0
0.330 * [taylor]: Taking taylor expansion of 0 in V
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [taylor]: Taking taylor expansion of 0 in l
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [taylor]: Taking taylor expansion of 0 in l
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
0.333 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 l) (* 0 0)))) into 0
0.333 * [taylor]: Taking taylor expansion of 0 in l
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- l)) (* (/ 1 (- V)) (/ 1 (/ 1 (- A)))))) into (/ A (* V l))
0.333 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.334 * [backup-simplify]: Simplify (* c0 (sqrt (/ A (* V l)))) into (* (sqrt (/ A (* V l))) c0)
0.334 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
0.334 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
0.334 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
0.334 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
0.334 * [taylor]: Taking taylor expansion of A in l
0.334 * [backup-simplify]: Simplify A into A
0.334 * [taylor]: Taking taylor expansion of (* V l) in l
0.334 * [taylor]: Taking taylor expansion of V in l
0.334 * [backup-simplify]: Simplify V into V
0.334 * [taylor]: Taking taylor expansion of l in l
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 1 into 1
0.334 * [backup-simplify]: Simplify (* V 0) into 0
0.335 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.335 * [backup-simplify]: Simplify (/ A V) into (/ A V)
0.335 * [backup-simplify]: Simplify (sqrt 0) into 0
0.336 * [backup-simplify]: Simplify (/ (/ A V) (* 2 (sqrt 0))) into (* +nan.0 (/ A V))
0.336 * [taylor]: Taking taylor expansion of c0 in l
0.336 * [backup-simplify]: Simplify c0 into c0
0.336 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
0.336 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
0.336 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
0.336 * [taylor]: Taking taylor expansion of A in V
0.336 * [backup-simplify]: Simplify A into A
0.336 * [taylor]: Taking taylor expansion of (* V l) in V
0.336 * [taylor]: Taking taylor expansion of V in V
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 1 into 1
0.336 * [taylor]: Taking taylor expansion of l in V
0.336 * [backup-simplify]: Simplify l into l
0.336 * [backup-simplify]: Simplify (* 0 l) into 0
0.337 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.337 * [backup-simplify]: Simplify (/ A l) into (/ A l)
0.337 * [backup-simplify]: Simplify (sqrt 0) into 0
0.338 * [backup-simplify]: Simplify (/ (/ A l) (* 2 (sqrt 0))) into (* +nan.0 (/ A l))
0.338 * [taylor]: Taking taylor expansion of c0 in V
0.338 * [backup-simplify]: Simplify c0 into c0
0.338 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
0.338 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.338 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.338 * [taylor]: Taking taylor expansion of A in A
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify 1 into 1
0.338 * [taylor]: Taking taylor expansion of (* V l) in A
0.338 * [taylor]: Taking taylor expansion of V in A
0.338 * [backup-simplify]: Simplify V into V
0.338 * [taylor]: Taking taylor expansion of l in A
0.338 * [backup-simplify]: Simplify l into l
0.338 * [backup-simplify]: Simplify (* V l) into (* V l)
0.339 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.339 * [backup-simplify]: Simplify (sqrt 0) into 0
0.340 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
0.340 * [taylor]: Taking taylor expansion of c0 in A
0.340 * [backup-simplify]: Simplify c0 into c0
0.340 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.340 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.340 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.340 * [taylor]: Taking taylor expansion of A in c0
0.340 * [backup-simplify]: Simplify A into A
0.340 * [taylor]: Taking taylor expansion of (* V l) in c0
0.340 * [taylor]: Taking taylor expansion of V in c0
0.340 * [backup-simplify]: Simplify V into V
0.340 * [taylor]: Taking taylor expansion of l in c0
0.340 * [backup-simplify]: Simplify l into l
0.340 * [backup-simplify]: Simplify (* V l) into (* V l)
0.340 * [backup-simplify]: Simplify (/ A (* V l)) into (/ A (* V l))
0.340 * [backup-simplify]: Simplify (sqrt (/ A (* V l))) into (sqrt (/ A (* V l)))
0.340 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.341 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))))) into 0
0.341 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ A (* V l))))) into 0
0.341 * [taylor]: Taking taylor expansion of c0 in c0
0.341 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify 1 into 1
0.341 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
0.341 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
0.341 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
0.341 * [taylor]: Taking taylor expansion of A in c0
0.341 * [backup-simplify]: Simplify A into A
0.341 * [taylor]: Taking taylor expansion of (* V l) in c0
0.341 * [taylor]: Taking taylor expansion of V in c0
0.341 * [backup-simplify]: Simplify V into V
0.341 * [taylor]: Taking taylor expansion of l in c0
0.341 * [backup-simplify]: Simplify l into l
0.341 * [backup-simplify]: Simplify (* V l) into (* V l)
0.341 * [backup-simplify]: Simplify (/ A (* V l)) into (/ A (* V l))
0.342 * [backup-simplify]: Simplify (sqrt (/ A (* V l))) into (sqrt (/ A (* V l)))
0.342 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.342 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))))) into 0
0.342 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ A (* V l))))) into 0
0.342 * [taylor]: Taking taylor expansion of c0 in c0
0.342 * [backup-simplify]: Simplify 0 into 0
0.342 * [backup-simplify]: Simplify 1 into 1
0.342 * [backup-simplify]: Simplify (* (sqrt (/ A (* V l))) 0) into 0
0.342 * [taylor]: Taking taylor expansion of 0 in A
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [taylor]: Taking taylor expansion of 0 in V
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 1) (* 0 0)) into (sqrt (/ A (* V l)))
0.343 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
0.343 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
0.343 * [taylor]: Taking taylor expansion of A in A
0.343 * [backup-simplify]: Simplify 0 into 0
0.344 * [backup-simplify]: Simplify 1 into 1
0.344 * [taylor]: Taking taylor expansion of (* V l) in A
0.344 * [taylor]: Taking taylor expansion of V in A
0.344 * [backup-simplify]: Simplify V into V
0.344 * [taylor]: Taking taylor expansion of l in A
0.344 * [backup-simplify]: Simplify l into l
0.344 * [backup-simplify]: Simplify (* V l) into (* V l)
0.344 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
0.344 * [backup-simplify]: Simplify (sqrt 0) into 0
0.345 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
0.345 * [taylor]: Taking taylor expansion of 0 in V
0.345 * [backup-simplify]: Simplify 0 into 0
0.345 * [taylor]: Taking taylor expansion of 0 in V
0.345 * [backup-simplify]: Simplify 0 into 0
0.345 * [taylor]: Taking taylor expansion of 0 in l
0.345 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.346 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
0.347 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ A (* V l))))) into 0
0.348 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 0) (+ (* 0 1) (* 0 0))) into 0
0.348 * [taylor]: Taking taylor expansion of 0 in A
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [taylor]: Taking taylor expansion of 0 in V
0.348 * [backup-simplify]: Simplify 0 into 0
0.349 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
0.349 * [taylor]: Taking taylor expansion of +nan.0 in V
0.349 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.349 * [taylor]: Taking taylor expansion of (* V l) in V
0.349 * [taylor]: Taking taylor expansion of V in V
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [taylor]: Taking taylor expansion of l in V
0.349 * [backup-simplify]: Simplify l into l
0.349 * [backup-simplify]: Simplify (* 0 l) into 0
0.349 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.349 * [backup-simplify]: Simplify (/ +nan.0 l) into (/ +nan.0 l)
0.349 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
0.350 * [taylor]: Taking taylor expansion of +nan.0 in l
0.350 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.350 * [taylor]: Taking taylor expansion of l in l
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify 1 into 1
0.350 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
0.350 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.350 * [taylor]: Taking taylor expansion of 0 in V
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [taylor]: Taking taylor expansion of 0 in l
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [taylor]: Taking taylor expansion of 0 in l
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [taylor]: Taking taylor expansion of 0 in l
0.351 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (+ (* 0 0) (* 0 l)))) into 0
0.352 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
0.353 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ A (* V l))))) into 0
0.354 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.354 * [taylor]: Taking taylor expansion of 0 in A
0.354 * [backup-simplify]: Simplify 0 into 0
0.354 * [taylor]: Taking taylor expansion of 0 in V
0.354 * [backup-simplify]: Simplify 0 into 0
0.354 * [taylor]: Taking taylor expansion of 0 in V
0.354 * [backup-simplify]: Simplify 0 into 0
0.354 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.355 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
0.356 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (* V l)) 2) (+)) (* 2 0)) into (/ +nan.0 (* (pow V 2) (pow l 2)))
0.356 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
0.356 * [taylor]: Taking taylor expansion of +nan.0 in V
0.356 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.356 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.356 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.356 * [taylor]: Taking taylor expansion of V in V
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 1 into 1
0.356 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.356 * [taylor]: Taking taylor expansion of l in V
0.356 * [backup-simplify]: Simplify l into l
0.357 * [backup-simplify]: Simplify (* 1 1) into 1
0.357 * [backup-simplify]: Simplify (* l l) into (pow l 2)
0.357 * [backup-simplify]: Simplify (* 1 (pow l 2)) into (pow l 2)
0.357 * [backup-simplify]: Simplify (/ +nan.0 (pow l 2)) into (/ +nan.0 (pow l 2))
0.357 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
0.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 2))) into 0
0.360 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))))) into 0
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [backup-simplify]: Simplify 0 into 0
0.360 * [taylor]: Taking taylor expansion of 0 in V
0.360 * [backup-simplify]: Simplify 0 into 0
0.360 * [taylor]: Taking taylor expansion of 0 in l
0.360 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.362 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)))) into 0
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [backup-simplify]: Simplify 0 into 0
0.362 * [taylor]: Taking taylor expansion of 0 in l
0.362 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.363 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify (* +nan.0 (* (/ 1 l) (* (/ 1 V) (* A c0)))) into (* +nan.0 (/ (* c0 A) (* V l)))
0.364 * [backup-simplify]: Simplify (* (/ 1 c0) (sqrt (/ (/ 1 A) (* (/ 1 V) (/ 1 l))))) into (* (sqrt (/ (* V l) A)) (/ 1 c0))
0.364 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
0.364 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
0.364 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
0.364 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.364 * [taylor]: Taking taylor expansion of (* V l) in l
0.364 * [taylor]: Taking taylor expansion of V in l
0.364 * [backup-simplify]: Simplify V into V
0.364 * [taylor]: Taking taylor expansion of l in l
0.364 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify 1 into 1
0.364 * [taylor]: Taking taylor expansion of A in l
0.364 * [backup-simplify]: Simplify A into A
0.364 * [backup-simplify]: Simplify (* V 0) into 0
0.364 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.364 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.365 * [backup-simplify]: Simplify (sqrt 0) into 0
0.365 * [backup-simplify]: Simplify (/ (/ V A) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
0.365 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
0.365 * [taylor]: Taking taylor expansion of c0 in l
0.365 * [backup-simplify]: Simplify c0 into c0
0.365 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
0.365 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
0.365 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
0.366 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.366 * [taylor]: Taking taylor expansion of (* V l) in V
0.366 * [taylor]: Taking taylor expansion of V in V
0.366 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify 1 into 1
0.366 * [taylor]: Taking taylor expansion of l in V
0.366 * [backup-simplify]: Simplify l into l
0.366 * [taylor]: Taking taylor expansion of A in V
0.366 * [backup-simplify]: Simplify A into A
0.366 * [backup-simplify]: Simplify (* 0 l) into 0
0.366 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.366 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.367 * [backup-simplify]: Simplify (sqrt 0) into 0
0.367 * [backup-simplify]: Simplify (/ (/ l A) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
0.367 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
0.367 * [taylor]: Taking taylor expansion of c0 in V
0.367 * [backup-simplify]: Simplify c0 into c0
0.367 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
0.367 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
0.367 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.368 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.368 * [taylor]: Taking taylor expansion of (* V l) in A
0.368 * [taylor]: Taking taylor expansion of V in A
0.368 * [backup-simplify]: Simplify V into V
0.368 * [taylor]: Taking taylor expansion of l in A
0.368 * [backup-simplify]: Simplify l into l
0.368 * [taylor]: Taking taylor expansion of A in A
0.368 * [backup-simplify]: Simplify 0 into 0
0.368 * [backup-simplify]: Simplify 1 into 1
0.368 * [backup-simplify]: Simplify (* V l) into (* V l)
0.368 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.368 * [backup-simplify]: Simplify (sqrt 0) into 0
0.369 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.369 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
0.369 * [taylor]: Taking taylor expansion of c0 in A
0.369 * [backup-simplify]: Simplify c0 into c0
0.369 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
0.369 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.369 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.369 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.369 * [taylor]: Taking taylor expansion of (* V l) in c0
0.369 * [taylor]: Taking taylor expansion of V in c0
0.369 * [backup-simplify]: Simplify V into V
0.369 * [taylor]: Taking taylor expansion of l in c0
0.369 * [backup-simplify]: Simplify l into l
0.369 * [taylor]: Taking taylor expansion of A in c0
0.369 * [backup-simplify]: Simplify A into A
0.369 * [backup-simplify]: Simplify (* V l) into (* V l)
0.370 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
0.370 * [backup-simplify]: Simplify (sqrt (/ (* V l) A)) into (sqrt (/ (* V l) A))
0.370 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.370 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
0.370 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (* V l) A)))) into 0
0.370 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.370 * [taylor]: Taking taylor expansion of c0 in c0
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 1 into 1
0.371 * [backup-simplify]: Simplify (/ 1 1) into 1
0.371 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
0.371 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
0.371 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.371 * [taylor]: Taking taylor expansion of (* V l) in c0
0.371 * [taylor]: Taking taylor expansion of V in c0
0.371 * [backup-simplify]: Simplify V into V
0.371 * [taylor]: Taking taylor expansion of l in c0
0.371 * [backup-simplify]: Simplify l into l
0.371 * [taylor]: Taking taylor expansion of A in c0
0.371 * [backup-simplify]: Simplify A into A
0.371 * [backup-simplify]: Simplify (* V l) into (* V l)
0.371 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
0.371 * [backup-simplify]: Simplify (sqrt (/ (* V l) A)) into (sqrt (/ (* V l) A))
0.372 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.372 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
0.372 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (* V l) A)))) into 0
0.372 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
0.372 * [taylor]: Taking taylor expansion of c0 in c0
0.372 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify 1 into 1
0.373 * [backup-simplify]: Simplify (/ 1 1) into 1
0.373 * [backup-simplify]: Simplify (* (sqrt (/ (* V l) A)) 1) into (sqrt (/ (* V l) A))
0.373 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
0.373 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.373 * [taylor]: Taking taylor expansion of (* V l) in A
0.373 * [taylor]: Taking taylor expansion of V in A
0.373 * [backup-simplify]: Simplify V into V
0.373 * [taylor]: Taking taylor expansion of l in A
0.373 * [backup-simplify]: Simplify l into l
0.373 * [taylor]: Taking taylor expansion of A in A
0.373 * [backup-simplify]: Simplify 0 into 0
0.373 * [backup-simplify]: Simplify 1 into 1
0.373 * [backup-simplify]: Simplify (* V l) into (* V l)
0.373 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.374 * [backup-simplify]: Simplify (sqrt 0) into 0
0.374 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.374 * [taylor]: Taking taylor expansion of 0 in V
0.374 * [backup-simplify]: Simplify 0 into 0
0.375 * [taylor]: Taking taylor expansion of 0 in l
0.375 * [backup-simplify]: Simplify 0 into 0
0.375 * [backup-simplify]: Simplify 0 into 0
0.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.376 * [backup-simplify]: Simplify (+ (* (sqrt (/ (* V l) A)) 0) (* 0 1)) into 0
0.376 * [taylor]: Taking taylor expansion of 0 in A
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.376 * [taylor]: Taking taylor expansion of +nan.0 in V
0.376 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.376 * [taylor]: Taking taylor expansion of (* V l) in V
0.376 * [taylor]: Taking taylor expansion of V in V
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [taylor]: Taking taylor expansion of l in V
0.376 * [backup-simplify]: Simplify l into l
0.377 * [backup-simplify]: Simplify (* 0 l) into 0
0.377 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.377 * [taylor]: Taking taylor expansion of 0 in l
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [taylor]: Taking taylor expansion of 0 in l
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify 0 into 0
0.377 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.379 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.379 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)) (* 0 (/ 0 A)))) into 0
0.380 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ (* V l) A)))) into 0
0.381 * [backup-simplify]: Simplify (+ (* (sqrt (/ (* V l) A)) 0) (+ (* 0 0) (* 0 1))) into 0
0.381 * [taylor]: Taking taylor expansion of 0 in A
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [taylor]: Taking taylor expansion of 0 in V
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [taylor]: Taking taylor expansion of 0 in l
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify 0 into 0
0.381 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.383 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
0.383 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.383 * [taylor]: Taking taylor expansion of +nan.0 in V
0.383 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.383 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.383 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.383 * [taylor]: Taking taylor expansion of V in V
0.383 * [backup-simplify]: Simplify 0 into 0
0.383 * [backup-simplify]: Simplify 1 into 1
0.383 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.383 * [taylor]: Taking taylor expansion of l in V
0.383 * [backup-simplify]: Simplify l into l
0.384 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.384 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
0.384 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.384 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.384 * [taylor]: Taking taylor expansion of +nan.0 in l
0.384 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.384 * [taylor]: Taking taylor expansion of l in l
0.384 * [backup-simplify]: Simplify 0 into 0
0.384 * [backup-simplify]: Simplify 1 into 1
0.385 * [backup-simplify]: Simplify (* +nan.0 0) into 0
0.385 * [backup-simplify]: Simplify (- 0) into 0
0.385 * [backup-simplify]: Simplify 0 into 0
0.385 * [backup-simplify]: Simplify 0 into 0
0.386 * [backup-simplify]: Simplify (* (/ 1 (- c0)) (sqrt (/ (/ 1 (- A)) (* (/ 1 (- V)) (/ 1 (- l)))))) into (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0))
0.386 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
0.386 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
0.386 * [taylor]: Taking taylor expansion of -1 in l
0.386 * [backup-simplify]: Simplify -1 into -1
0.386 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
0.386 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
0.386 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
0.386 * [taylor]: Taking taylor expansion of -1 in l
0.386 * [backup-simplify]: Simplify -1 into -1
0.386 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
0.386 * [taylor]: Taking taylor expansion of (* V l) in l
0.386 * [taylor]: Taking taylor expansion of V in l
0.386 * [backup-simplify]: Simplify V into V
0.386 * [taylor]: Taking taylor expansion of l in l
0.386 * [backup-simplify]: Simplify 0 into 0
0.386 * [backup-simplify]: Simplify 1 into 1
0.386 * [taylor]: Taking taylor expansion of A in l
0.386 * [backup-simplify]: Simplify A into A
0.386 * [backup-simplify]: Simplify (* V 0) into 0
0.387 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
0.387 * [backup-simplify]: Simplify (/ V A) into (/ V A)
0.387 * [backup-simplify]: Simplify (* -1 (/ V A)) into (* -1 (/ V A))
0.387 * [backup-simplify]: Simplify (sqrt 0) into 0
0.388 * [backup-simplify]: Simplify (/ (* -1 (/ V A)) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
0.388 * [taylor]: Taking taylor expansion of c0 in l
0.388 * [backup-simplify]: Simplify c0 into c0
0.388 * [backup-simplify]: Simplify (/ (* +nan.0 (/ V A)) c0) into (* +nan.0 (/ V (* A c0)))
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
0.388 * [taylor]: Taking taylor expansion of -1 in V
0.388 * [backup-simplify]: Simplify -1 into -1
0.388 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
0.388 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
0.388 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
0.388 * [taylor]: Taking taylor expansion of -1 in V
0.388 * [backup-simplify]: Simplify -1 into -1
0.388 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
0.388 * [taylor]: Taking taylor expansion of (* V l) in V
0.388 * [taylor]: Taking taylor expansion of V in V
0.389 * [backup-simplify]: Simplify 0 into 0
0.389 * [backup-simplify]: Simplify 1 into 1
0.389 * [taylor]: Taking taylor expansion of l in V
0.389 * [backup-simplify]: Simplify l into l
0.389 * [taylor]: Taking taylor expansion of A in V
0.389 * [backup-simplify]: Simplify A into A
0.389 * [backup-simplify]: Simplify (* 0 l) into 0
0.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.389 * [backup-simplify]: Simplify (/ l A) into (/ l A)
0.389 * [backup-simplify]: Simplify (* -1 (/ l A)) into (* -1 (/ l A))
0.390 * [backup-simplify]: Simplify (sqrt 0) into 0
0.390 * [backup-simplify]: Simplify (/ (* -1 (/ l A)) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
0.390 * [taylor]: Taking taylor expansion of c0 in V
0.390 * [backup-simplify]: Simplify c0 into c0
0.391 * [backup-simplify]: Simplify (/ (* +nan.0 (/ l A)) c0) into (* +nan.0 (/ l (* c0 A)))
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
0.391 * [taylor]: Taking taylor expansion of -1 in A
0.391 * [backup-simplify]: Simplify -1 into -1
0.391 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
0.391 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.391 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.391 * [taylor]: Taking taylor expansion of -1 in A
0.391 * [backup-simplify]: Simplify -1 into -1
0.391 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.391 * [taylor]: Taking taylor expansion of (* V l) in A
0.391 * [taylor]: Taking taylor expansion of V in A
0.391 * [backup-simplify]: Simplify V into V
0.391 * [taylor]: Taking taylor expansion of l in A
0.391 * [backup-simplify]: Simplify l into l
0.391 * [taylor]: Taking taylor expansion of A in A
0.391 * [backup-simplify]: Simplify 0 into 0
0.391 * [backup-simplify]: Simplify 1 into 1
0.391 * [backup-simplify]: Simplify (* V l) into (* V l)
0.391 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.391 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
0.392 * [backup-simplify]: Simplify (sqrt 0) into 0
0.392 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.392 * [taylor]: Taking taylor expansion of c0 in A
0.393 * [backup-simplify]: Simplify c0 into c0
0.393 * [backup-simplify]: Simplify (/ (* +nan.0 (* V l)) c0) into (* +nan.0 (/ (* V l) c0))
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.393 * [taylor]: Taking taylor expansion of -1 in c0
0.393 * [backup-simplify]: Simplify -1 into -1
0.393 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.393 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.393 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.393 * [taylor]: Taking taylor expansion of -1 in c0
0.393 * [backup-simplify]: Simplify -1 into -1
0.393 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.393 * [taylor]: Taking taylor expansion of (* V l) in c0
0.393 * [taylor]: Taking taylor expansion of V in c0
0.393 * [backup-simplify]: Simplify V into V
0.393 * [taylor]: Taking taylor expansion of l in c0
0.393 * [backup-simplify]: Simplify l into l
0.393 * [taylor]: Taking taylor expansion of A in c0
0.393 * [backup-simplify]: Simplify A into A
0.393 * [backup-simplify]: Simplify (* V l) into (* V l)
0.393 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
0.393 * [backup-simplify]: Simplify (* -1 (/ (* V l) A)) into (* -1 (/ (* V l) A))
0.394 * [backup-simplify]: Simplify (sqrt (* -1 (/ (* V l) A))) into (sqrt (* -1 (/ (* V l) A)))
0.394 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.394 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
0.395 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (* V l) A))) into 0
0.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
0.395 * [taylor]: Taking taylor expansion of c0 in c0
0.395 * [backup-simplify]: Simplify 0 into 0
0.395 * [backup-simplify]: Simplify 1 into 1
0.395 * [backup-simplify]: Simplify (/ (sqrt (* -1 (/ (* V l) A))) 1) into (sqrt (* -1 (/ (* V l) A)))
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
0.395 * [taylor]: Taking taylor expansion of -1 in c0
0.395 * [backup-simplify]: Simplify -1 into -1
0.395 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
0.395 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
0.395 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
0.395 * [taylor]: Taking taylor expansion of -1 in c0
0.395 * [backup-simplify]: Simplify -1 into -1
0.395 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
0.395 * [taylor]: Taking taylor expansion of (* V l) in c0
0.395 * [taylor]: Taking taylor expansion of V in c0
0.395 * [backup-simplify]: Simplify V into V
0.395 * [taylor]: Taking taylor expansion of l in c0
0.396 * [backup-simplify]: Simplify l into l
0.396 * [taylor]: Taking taylor expansion of A in c0
0.396 * [backup-simplify]: Simplify A into A
0.396 * [backup-simplify]: Simplify (* V l) into (* V l)
0.396 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
0.396 * [backup-simplify]: Simplify (* -1 (/ (* V l) A)) into (* -1 (/ (* V l) A))
0.396 * [backup-simplify]: Simplify (sqrt (* -1 (/ (* V l) A))) into (sqrt (* -1 (/ (* V l) A)))
0.396 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.396 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
0.397 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (* V l) A))) into 0
0.397 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
0.397 * [taylor]: Taking taylor expansion of c0 in c0
0.397 * [backup-simplify]: Simplify 0 into 0
0.397 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (/ (sqrt (* -1 (/ (* V l) A))) 1) into (sqrt (* -1 (/ (* V l) A)))
0.398 * [backup-simplify]: Simplify (* -1 (sqrt (* -1 (/ (* V l) A)))) into (* -1 (sqrt (* -1 (/ (* V l) A))))
0.398 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
0.398 * [taylor]: Taking taylor expansion of -1 in A
0.398 * [backup-simplify]: Simplify -1 into -1
0.398 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
0.398 * [taylor]: Taking taylor expansion of -1 in A
0.398 * [backup-simplify]: Simplify -1 into -1
0.398 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
0.398 * [taylor]: Taking taylor expansion of (* V l) in A
0.398 * [taylor]: Taking taylor expansion of V in A
0.398 * [backup-simplify]: Simplify V into V
0.398 * [taylor]: Taking taylor expansion of l in A
0.398 * [backup-simplify]: Simplify l into l
0.398 * [taylor]: Taking taylor expansion of A in A
0.398 * [backup-simplify]: Simplify 0 into 0
0.398 * [backup-simplify]: Simplify 1 into 1
0.398 * [backup-simplify]: Simplify (* V l) into (* V l)
0.398 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
0.399 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
0.399 * [backup-simplify]: Simplify (sqrt 0) into 0
0.400 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
0.400 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* V l))) (* 0 0)) into (- (* +nan.0 (* V l)))
0.400 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V
0.400 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
0.400 * [taylor]: Taking taylor expansion of +nan.0 in V
0.400 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.400 * [taylor]: Taking taylor expansion of (* V l) in V
0.400 * [taylor]: Taking taylor expansion of V in V
0.400 * [backup-simplify]: Simplify 0 into 0
0.400 * [backup-simplify]: Simplify 1 into 1
0.401 * [taylor]: Taking taylor expansion of l in V
0.401 * [backup-simplify]: Simplify l into l
0.401 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
0.401 * [backup-simplify]: Simplify (* 0 l) into 0
0.401 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
0.402 * [backup-simplify]: Simplify (- (- (* +nan.0 l))) into (- (* +nan.0 l))
0.402 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
0.402 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
0.402 * [taylor]: Taking taylor expansion of +nan.0 in l
0.402 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.402 * [taylor]: Taking taylor expansion of l in l
0.402 * [backup-simplify]: Simplify 0 into 0
0.402 * [backup-simplify]: Simplify 1 into 1
0.403 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
0.404 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
0.405 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (* -1 (/ (* V l) A))) (/ 0 1)))) into 0
0.407 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (* -1 (/ (* V l) A))))) into 0
0.407 * [taylor]: Taking taylor expansion of 0 in A
0.407 * [backup-simplify]: Simplify 0 into 0
0.407 * [taylor]: Taking taylor expansion of 0 in V
0.407 * [backup-simplify]: Simplify 0 into 0
0.407 * [taylor]: Taking taylor expansion of 0 in l
0.407 * [backup-simplify]: Simplify 0 into 0
0.407 * [backup-simplify]: Simplify 0 into 0
0.407 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
0.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
0.409 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
0.410 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
0.411 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* (pow V 2) (pow l 2)))) (+ (* 0 (* +nan.0 (* V l))) (* 0 0))) into (- (* +nan.0 (* (pow V 2) (pow l 2))))
0.411 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V
0.411 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
0.411 * [taylor]: Taking taylor expansion of +nan.0 in V
0.411 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.411 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
0.411 * [taylor]: Taking taylor expansion of (pow V 2) in V
0.412 * [taylor]: Taking taylor expansion of V in V
0.412 * [backup-simplify]: Simplify 0 into 0
0.412 * [backup-simplify]: Simplify 1 into 1
0.412 * [taylor]: Taking taylor expansion of (pow l 2) in V
0.412 * [taylor]: Taking taylor expansion of l in V
0.412 * [backup-simplify]: Simplify l into l
0.413 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
0.414 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 l) (* 0 0))) into 0
0.414 * [backup-simplify]: Simplify (- 0) into 0
0.414 * [taylor]: Taking taylor expansion of 0 in l
0.414 * [backup-simplify]: Simplify 0 into 0
0.414 * [backup-simplify]: Simplify 0 into 0
0.415 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
0.416 * [backup-simplify]: Simplify (- 0) into 0
0.416 * [backup-simplify]: Simplify 0 into 0
0.417 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.417 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)) (* 0 (/ 0 A)))) into 0
0.418 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (* V l) A)))) into 0
0.419 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
0.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (* -1 (/ (* V l) A))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.422 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (* -1 (/ (* V l) A)))))) into 0
0.422 * [taylor]: Taking taylor expansion of 0 in A
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [taylor]: Taking taylor expansion of 0 in V
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [taylor]: Taking taylor expansion of 0 in l
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [taylor]: Taking taylor expansion of 0 in V
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [taylor]: Taking taylor expansion of 0 in l
0.422 * [backup-simplify]: Simplify 0 into 0
0.422 * [backup-simplify]: Simplify 0 into 0
0.423 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
0.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.425 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* V l)))) into 0
0.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (* V l)) (* +nan.0 (* (pow V 2) (pow l 2))))))) (* 2 0)) into (* +nan.0 (* (pow V 3) (pow l 3)))
0.433 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* (pow V 3) (pow l 3)))) (+ (* 0 (* +nan.0 (* (pow V 2) (pow l 2)))) (+ (* 0 (* +nan.0 (* V l))) (* 0 0)))) into (- (* +nan.0 (* (pow V 3) (pow l 3))))
0.433 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V
0.433 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
0.433 * [taylor]: Taking taylor expansion of +nan.0 in V
0.433 * [backup-simplify]: Simplify +nan.0 into +nan.0
0.433 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
0.433 * [taylor]: Taking taylor expansion of (pow V 3) in V
0.433 * [taylor]: Taking taylor expansion of V in V
0.433 * [backup-simplify]: Simplify 0 into 0
0.433 * [backup-simplify]: Simplify 1 into 1
0.433 * [taylor]: Taking taylor expansion of (pow l 3) in V
0.433 * [taylor]: Taking taylor expansion of l in V
0.433 * [backup-simplify]: Simplify l into l
0.434 * [taylor]: Taking taylor expansion of 0 in l
0.434 * [backup-simplify]: Simplify 0 into 0
0.434 * [backup-simplify]: Simplify 0 into 0
0.434 * [backup-simplify]: Simplify (* (- +nan.0) (* (/ 1 (- l)) (* (/ 1 (- V)) (* 1 (/ 1 (/ 1 (- c0))))))) into (* +nan.0 (/ c0 (* V l)))
0.434 * * * [progress]: simplifying candidates
0.436 * [simplify]: Simplifying:
  (log (sqrt (/ A (* V l))))
  (exp (sqrt (/ A (* V l))))
  (* (cbrt (sqrt (/ A (* V l)))) (cbrt (sqrt (/ A (* V l)))))
  (cbrt (sqrt (/ A (* V l))))
  (* (* (sqrt (/ A (* V l))) (sqrt (/ A (* V l)))) (sqrt (/ A (* V l))))
  (sqrt (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l)))))
  (sqrt (cbrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (/ (* (cbrt A) (cbrt A)) V))
  (sqrt (/ (cbrt A) l))
  (sqrt (/ (sqrt A) V))
  (sqrt (/ (sqrt A) l))
  (sqrt (/ 1 V))
  (sqrt (/ A l))
  (sqrt 1)
  (sqrt (/ A (* V l)))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  (/ 1 2)
  (sqrt (sqrt (/ A (* V l))))
  (sqrt (sqrt (/ A (* V l))))
  (- (log A) (+ (log V) (log l)))
  (- (log A) (log (* V l)))
  (log (/ A (* V l)))
  (exp (/ A (* V l)))
  (/ (* (* A A) A) (* (* (* V V) V) (* (* l l) l)))
  (/ (* (* A A) A) (* (* (* V l) (* V l)) (* V l)))
  (* (cbrt (/ A (* V l))) (cbrt (/ A (* V l))))
  (cbrt (/ A (* V l)))
  (* (* (/ A (* V l)) (/ A (* V l))) (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (sqrt (/ A (* V l)))
  (- 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)
  (* 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.439 * * [simplify]: iteration 0: 103 enodes
0.494 * * [simplify]: iteration 1: 218 enodes
0.669 * * [simplify]: iteration 2: 601 enodes
1.406 * * [simplify]: iteration 3: 1992 enodes
4.389 * * [simplify]: iteration complete: 5000 enodes
4.389 * * [simplify]: Extracting #0: cost 61 inf + 0
4.392 * * [simplify]: Extracting #1: cost 682 inf + 4
4.409 * * [simplify]: Extracting #2: cost 1081 inf + 14122
4.455 * * [simplify]: Extracting #3: cost 637 inf + 84267
4.552 * * [simplify]: Extracting #4: cost 139 inf + 198118
4.667 * * [simplify]: Extracting #5: cost 6 inf + 236732
4.783 * * [simplify]: Extracting #6: cost 0 inf + 239527
4.899 * [simplify]: Simplified to:
  (log (sqrt (/ (/ A V) l)))
  (exp (sqrt (/ (/ A V) l)))
  (* (cbrt (sqrt (/ (/ A V) l))) (cbrt (sqrt (/ (/ A V) l))))
  (cbrt (sqrt (/ (/ A V) l)))
  (* (/ (/ A V) l) (sqrt (/ (/ A V) l)))
  (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 (* l V)))
  (sqrt A)
  (sqrt (* l V))
  1/2
  (sqrt (sqrt (/ (/ A V) l)))
  (sqrt (sqrt (/ (/ A V) l)))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (log (/ (/ A V) l))
  (exp (/ (/ A V) l))
  (* (* (/ (/ A V) l) (/ (/ A V) l)) (/ (/ A V) l))
  (* (* (/ (/ A V) l) (/ (/ A V) l)) (/ (/ A 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)
  (* l (- V))
  (* (cbrt A) (/ (cbrt A) V))
  (/ (cbrt A) l)
  (/ (sqrt A) V)
  (/ (sqrt A) l)
  (/ 1 V)
  (/ A l)
  (/ 1 (* l V))
  (/ V (/ A l))
  (/ A V)
  (/ l (/ (cbrt A) V))
  (/ (* l V) (sqrt A))
  (/ V (/ A l))
  (* c0 (sqrt (/ (/ A V) l)))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (log (* c0 (sqrt (/ (/ A V) l))))
  (exp (* c0 (sqrt (/ (/ A V) l))))
  (* (* (sqrt (/ (/ A V) l)) (* (* c0 c0) (/ (/ A V) l))) c0)
  (* (cbrt (* c0 (sqrt (/ (/ A V) l)))) (cbrt (* c0 (sqrt (/ (/ A V) l)))))
  (cbrt (* c0 (sqrt (/ (/ A V) l))))
  (* (* (sqrt (/ (/ A V) l)) (* (* c0 c0) (/ (/ A V) l))) c0)
  (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 (fabs (cbrt (/ (/ A V) l))))
  (* (sqrt (sqrt (/ (/ A V) l))) c0)
  (* c0 (sqrt (* (cbrt A) (/ (cbrt A) V))))
  (* (sqrt (/ (sqrt A) V)) c0)
  (* c0 (sqrt (/ 1 V)))
  c0
  (* (sqrt A) c0)
  (* (sqrt (sqrt (/ (/ A V) l))) c0)
  c0
  (* (cbrt c0) (sqrt (/ (/ A V) l)))
  (* (sqrt c0) (sqrt (/ (/ A V) l)))
  (* c0 (sqrt (/ (/ A V) l)))
  (* (sqrt A) c0)
  (* (/ (/ A V) l) +nan.0)
  0
  0
  (/ (/ A V) l)
  (/ (/ A V) l)
  (/ (/ A V) l)
  (* (/ +nan.0 (/ (* l V) c0)) A)
  0
  (/ +nan.0 (/ (* l V) c0))
4.921 * * * [progress]: adding candidates to table
5.520 * * [progress]: iteration 2 / 4
5.520 * * * [progress]: picking best candidate
5.655 * * * * [pick]: Picked  #<alt (λ (c0 A V l) (* c0 (sqrt (* A (/ 1 (* V l))))))>
5.655 * * * [progress]: localizing error
5.689 * * * [progress]: generating rewritten candidates
5.689 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.726 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
5.790 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.925 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
5.954 * * * [progress]: generating series expansions
5.954 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.954 * [backup-simplify]: Simplify (sqrt (* A (/ 1 (* V l)))) into (sqrt (/ A (* V l)))
5.954 * [approximate]: Taking taylor expansion of (sqrt (/ A (* V l))) in (A V l) around 0
5.954 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
5.954 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
5.954 * [taylor]: Taking taylor expansion of A in l
5.954 * [backup-simplify]: Simplify A into A
5.954 * [taylor]: Taking taylor expansion of (* V l) in l
5.954 * [taylor]: Taking taylor expansion of V in l
5.954 * [backup-simplify]: Simplify V into V
5.954 * [taylor]: Taking taylor expansion of l in l
5.954 * [backup-simplify]: Simplify 0 into 0
5.954 * [backup-simplify]: Simplify 1 into 1
5.954 * [backup-simplify]: Simplify (* V 0) into 0
5.955 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
5.955 * [backup-simplify]: Simplify (/ A V) into (/ A V)
5.956 * [backup-simplify]: Simplify (sqrt 0) into 0
5.956 * [backup-simplify]: Simplify (/ (/ A V) (* 2 (sqrt 0))) into (* +nan.0 (/ A V))
5.956 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
5.956 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
5.956 * [taylor]: Taking taylor expansion of A in V
5.956 * [backup-simplify]: Simplify A into A
5.956 * [taylor]: Taking taylor expansion of (* V l) in V
5.956 * [taylor]: Taking taylor expansion of V in V
5.956 * [backup-simplify]: Simplify 0 into 0
5.956 * [backup-simplify]: Simplify 1 into 1
5.956 * [taylor]: Taking taylor expansion of l in V
5.956 * [backup-simplify]: Simplify l into l
5.956 * [backup-simplify]: Simplify (* 0 l) into 0
5.957 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
5.957 * [backup-simplify]: Simplify (/ A l) into (/ A l)
5.957 * [backup-simplify]: Simplify (sqrt 0) into 0
5.958 * [backup-simplify]: Simplify (/ (/ A l) (* 2 (sqrt 0))) into (* +nan.0 (/ A l))
5.958 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
5.958 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.958 * [taylor]: Taking taylor expansion of A in A
5.958 * [backup-simplify]: Simplify 0 into 0
5.958 * [backup-simplify]: Simplify 1 into 1
5.958 * [taylor]: Taking taylor expansion of (* V l) in A
5.958 * [taylor]: Taking taylor expansion of V in A
5.958 * [backup-simplify]: Simplify V into V
5.958 * [taylor]: Taking taylor expansion of l in A
5.958 * [backup-simplify]: Simplify l into l
5.958 * [backup-simplify]: Simplify (* V l) into (* V l)
5.958 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
5.959 * [backup-simplify]: Simplify (sqrt 0) into 0
5.959 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
5.959 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
5.959 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
5.959 * [taylor]: Taking taylor expansion of A in A
5.960 * [backup-simplify]: Simplify 0 into 0
5.960 * [backup-simplify]: Simplify 1 into 1
5.960 * [taylor]: Taking taylor expansion of (* V l) in A
5.960 * [taylor]: Taking taylor expansion of V in A
5.960 * [backup-simplify]: Simplify V into V
5.960 * [taylor]: Taking taylor expansion of l in A
5.960 * [backup-simplify]: Simplify l into l
5.960 * [backup-simplify]: Simplify (* V l) into (* V l)
5.960 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
5.960 * [backup-simplify]: Simplify (sqrt 0) into 0
5.961 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
5.961 * [taylor]: Taking taylor expansion of 0 in V
5.961 * [backup-simplify]: Simplify 0 into 0
5.961 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
5.961 * [taylor]: Taking taylor expansion of +nan.0 in V
5.961 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.961 * [taylor]: Taking taylor expansion of (* V l) in V
5.961 * [taylor]: Taking taylor expansion of V in V
5.961 * [backup-simplify]: Simplify 0 into 0
5.961 * [backup-simplify]: Simplify 1 into 1
5.961 * [taylor]: Taking taylor expansion of l in V
5.961 * [backup-simplify]: Simplify l into l
5.961 * [backup-simplify]: Simplify (* 0 l) into 0
5.962 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
5.962 * [backup-simplify]: Simplify (/ +nan.0 l) into (/ +nan.0 l)
5.962 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
5.962 * [taylor]: Taking taylor expansion of +nan.0 in l
5.962 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.962 * [taylor]: Taking taylor expansion of l in l
5.962 * [backup-simplify]: Simplify 0 into 0
5.962 * [backup-simplify]: Simplify 1 into 1
5.962 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
5.963 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.963 * [taylor]: Taking taylor expansion of 0 in l
5.963 * [backup-simplify]: Simplify 0 into 0
5.963 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
5.963 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
5.964 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (* V l)) 2) (+)) (* 2 0)) into (/ +nan.0 (* (pow V 2) (pow l 2)))
5.964 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
5.964 * [taylor]: Taking taylor expansion of +nan.0 in V
5.964 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.965 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
5.965 * [taylor]: Taking taylor expansion of (pow V 2) in V
5.965 * [taylor]: Taking taylor expansion of V in V
5.965 * [backup-simplify]: Simplify 0 into 0
5.965 * [backup-simplify]: Simplify 1 into 1
5.965 * [taylor]: Taking taylor expansion of (pow l 2) in V
5.965 * [taylor]: Taking taylor expansion of l in V
5.965 * [backup-simplify]: Simplify l into l
5.965 * [backup-simplify]: Simplify (* 1 1) into 1
5.965 * [backup-simplify]: Simplify (* l l) into (pow l 2)
5.965 * [backup-simplify]: Simplify (* 1 (pow l 2)) into (pow l 2)
5.966 * [backup-simplify]: Simplify (/ +nan.0 (pow l 2)) into (/ +nan.0 (pow l 2))
5.966 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
5.967 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.967 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 2))) into 0
5.968 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))))) into 0
5.968 * [taylor]: Taking taylor expansion of 0 in l
5.968 * [backup-simplify]: Simplify 0 into 0
5.969 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
5.969 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)))) into 0
5.969 * [taylor]: Taking taylor expansion of 0 in l
5.969 * [backup-simplify]: Simplify 0 into 0
5.969 * [taylor]: Taking taylor expansion of 0 in l
5.969 * [backup-simplify]: Simplify 0 into 0
5.970 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
5.970 * [backup-simplify]: Simplify 0 into 0
5.970 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
5.971 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
5.972 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 (* V l)) (/ +nan.0 (* (pow V 2) (pow l 2))))))) (* 2 0)) into (/ +nan.0 (* (pow V 3) (pow l 3)))
5.972 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 3) (pow l 3))) in V
5.972 * [taylor]: Taking taylor expansion of +nan.0 in V
5.972 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.972 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
5.972 * [taylor]: Taking taylor expansion of (pow V 3) in V
5.972 * [taylor]: Taking taylor expansion of V in V
5.972 * [backup-simplify]: Simplify 0 into 0
5.972 * [backup-simplify]: Simplify 1 into 1
5.972 * [taylor]: Taking taylor expansion of (pow l 3) in V
5.972 * [taylor]: Taking taylor expansion of l in V
5.972 * [backup-simplify]: Simplify l into l
5.973 * [backup-simplify]: Simplify (* 1 1) into 1
5.973 * [backup-simplify]: Simplify (* 1 1) into 1
5.973 * [backup-simplify]: Simplify (* l l) into (pow l 2)
5.973 * [backup-simplify]: Simplify (* l (pow l 2)) into (pow l 3)
5.974 * [backup-simplify]: Simplify (* 1 (pow l 3)) into (pow l 3)
5.974 * [backup-simplify]: Simplify (/ +nan.0 (pow l 3)) into (/ +nan.0 (pow l 3))
5.974 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 l))) into 0
5.974 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
5.975 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 (pow l 2)))) into 0
5.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.976 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.976 * [backup-simplify]: Simplify (+ (* l 0) (* 0 (pow l 2))) into 0
5.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow l 3)))) into 0
5.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 3))) into 0
5.981 * [backup-simplify]: Simplify (- (/ 0 (pow l 3)) (+ (* (/ +nan.0 (pow l 3)) (/ 0 (pow l 3))))) into 0
5.982 * [backup-simplify]: Simplify (- (/ 0 (pow l 3)) (+ (* (/ +nan.0 (pow l 3)) (/ 0 (pow l 3))) (* 0 (/ 0 (pow l 3))))) into 0
5.982 * [taylor]: Taking taylor expansion of 0 in l
5.982 * [backup-simplify]: Simplify 0 into 0
5.983 * [backup-simplify]: Simplify (+ (* l 0) (+ (* 0 0) (* 0 l))) into 0
5.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow l 2)))) into 0
5.985 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))) (* 0 (/ 0 (pow l 2))))) into 0
5.985 * [taylor]: Taking taylor expansion of 0 in l
5.985 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
5.987 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)) (* 0 (/ 0 l)))) into 0
5.987 * [taylor]: Taking taylor expansion of 0 in l
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [taylor]: Taking taylor expansion of 0 in l
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.988 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.988 * [backup-simplify]: Simplify 0 into 0
5.988 * [backup-simplify]: Simplify (* +nan.0 (* (/ 1 l) (* (/ 1 V) A))) into (* +nan.0 (/ A (* V l)))
5.989 * [backup-simplify]: Simplify (sqrt (* (/ 1 A) (/ 1 (* (/ 1 V) (/ 1 l))))) into (sqrt (/ (* V l) A))
5.989 * [approximate]: Taking taylor expansion of (sqrt (/ (* V l) A)) in (A V l) around 0
5.989 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
5.989 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
5.989 * [taylor]: Taking taylor expansion of (* V l) in l
5.989 * [taylor]: Taking taylor expansion of V in l
5.989 * [backup-simplify]: Simplify V into V
5.989 * [taylor]: Taking taylor expansion of l in l
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [taylor]: Taking taylor expansion of A in l
5.989 * [backup-simplify]: Simplify A into A
5.989 * [backup-simplify]: Simplify (* V 0) into 0
5.989 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
5.990 * [backup-simplify]: Simplify (/ V A) into (/ V A)
5.990 * [backup-simplify]: Simplify (sqrt 0) into 0
5.991 * [backup-simplify]: Simplify (/ (/ V A) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
5.991 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
5.991 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
5.991 * [taylor]: Taking taylor expansion of (* V l) in V
5.991 * [taylor]: Taking taylor expansion of V in V
5.991 * [backup-simplify]: Simplify 0 into 0
5.991 * [backup-simplify]: Simplify 1 into 1
5.991 * [taylor]: Taking taylor expansion of l in V
5.991 * [backup-simplify]: Simplify l into l
5.991 * [taylor]: Taking taylor expansion of A in V
5.991 * [backup-simplify]: Simplify A into A
5.991 * [backup-simplify]: Simplify (* 0 l) into 0
5.991 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
5.991 * [backup-simplify]: Simplify (/ l A) into (/ l A)
5.992 * [backup-simplify]: Simplify (sqrt 0) into 0
5.992 * [backup-simplify]: Simplify (/ (/ l A) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
5.992 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
5.992 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.992 * [taylor]: Taking taylor expansion of (* V l) in A
5.992 * [taylor]: Taking taylor expansion of V in A
5.992 * [backup-simplify]: Simplify V into V
5.992 * [taylor]: Taking taylor expansion of l in A
5.993 * [backup-simplify]: Simplify l into l
5.993 * [taylor]: Taking taylor expansion of A in A
5.993 * [backup-simplify]: Simplify 0 into 0
5.993 * [backup-simplify]: Simplify 1 into 1
5.993 * [backup-simplify]: Simplify (* V l) into (* V l)
5.993 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
5.993 * [backup-simplify]: Simplify (sqrt 0) into 0
5.994 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
5.994 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
5.994 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
5.994 * [taylor]: Taking taylor expansion of (* V l) in A
5.994 * [taylor]: Taking taylor expansion of V in A
5.994 * [backup-simplify]: Simplify V into V
5.994 * [taylor]: Taking taylor expansion of l in A
5.994 * [backup-simplify]: Simplify l into l
5.994 * [taylor]: Taking taylor expansion of A in A
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify 1 into 1
5.994 * [backup-simplify]: Simplify (* V l) into (* V l)
5.994 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
5.995 * [backup-simplify]: Simplify (sqrt 0) into 0
5.995 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
5.995 * [taylor]: Taking taylor expansion of 0 in V
5.995 * [backup-simplify]: Simplify 0 into 0
5.995 * [taylor]: Taking taylor expansion of 0 in l
5.995 * [backup-simplify]: Simplify 0 into 0
5.995 * [backup-simplify]: Simplify 0 into 0
5.995 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
5.995 * [taylor]: Taking taylor expansion of +nan.0 in V
5.995 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.996 * [taylor]: Taking taylor expansion of (* V l) in V
5.996 * [taylor]: Taking taylor expansion of V in V
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 1 into 1
5.996 * [taylor]: Taking taylor expansion of l in V
5.996 * [backup-simplify]: Simplify l into l
5.996 * [backup-simplify]: Simplify (* 0 l) into 0
5.996 * [backup-simplify]: Simplify (* +nan.0 0) into 0
5.996 * [taylor]: Taking taylor expansion of 0 in l
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [taylor]: Taking taylor expansion of 0 in l
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
5.997 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
5.998 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
5.998 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
5.999 * [taylor]: Taking taylor expansion of +nan.0 in V
5.999 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.999 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
5.999 * [taylor]: Taking taylor expansion of (pow V 2) in V
5.999 * [taylor]: Taking taylor expansion of V in V
5.999 * [backup-simplify]: Simplify 0 into 0
5.999 * [backup-simplify]: Simplify 1 into 1
5.999 * [taylor]: Taking taylor expansion of (pow l 2) in V
5.999 * [taylor]: Taking taylor expansion of l in V
5.999 * [backup-simplify]: Simplify l into l
5.999 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.000 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
6.000 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
6.000 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
6.000 * [taylor]: Taking taylor expansion of +nan.0 in l
6.000 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.000 * [taylor]: Taking taylor expansion of l in l
6.000 * [backup-simplify]: Simplify 0 into 0
6.000 * [backup-simplify]: Simplify 1 into 1
6.000 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.001 * [backup-simplify]: Simplify (- 0) into 0
6.001 * [backup-simplify]: Simplify 0 into 0
6.001 * [taylor]: Taking taylor expansion of 0 in l
6.001 * [backup-simplify]: Simplify 0 into 0
6.001 * [backup-simplify]: Simplify 0 into 0
6.001 * [backup-simplify]: Simplify 0 into 0
6.001 * [backup-simplify]: Simplify (sqrt (* (/ 1 (- A)) (/ 1 (* (/ 1 (- V)) (/ 1 (- l)))))) into (sqrt (* -1 (/ (* V l) A)))
6.001 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in (A V l) around 0
6.001 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
6.001 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
6.001 * [taylor]: Taking taylor expansion of -1 in l
6.002 * [backup-simplify]: Simplify -1 into -1
6.002 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
6.002 * [taylor]: Taking taylor expansion of (* V l) in l
6.002 * [taylor]: Taking taylor expansion of V in l
6.002 * [backup-simplify]: Simplify V into V
6.002 * [taylor]: Taking taylor expansion of l in l
6.002 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify 1 into 1
6.002 * [taylor]: Taking taylor expansion of A in l
6.002 * [backup-simplify]: Simplify A into A
6.002 * [backup-simplify]: Simplify (* V 0) into 0
6.002 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.002 * [backup-simplify]: Simplify (/ V A) into (/ V A)
6.002 * [backup-simplify]: Simplify (* -1 (/ V A)) into (* -1 (/ V A))
6.003 * [backup-simplify]: Simplify (sqrt 0) into 0
6.003 * [backup-simplify]: Simplify (/ (* -1 (/ V A)) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
6.004 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
6.004 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
6.004 * [taylor]: Taking taylor expansion of -1 in V
6.004 * [backup-simplify]: Simplify -1 into -1
6.004 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
6.004 * [taylor]: Taking taylor expansion of (* V l) in V
6.004 * [taylor]: Taking taylor expansion of V in V
6.004 * [backup-simplify]: Simplify 0 into 0
6.004 * [backup-simplify]: Simplify 1 into 1
6.004 * [taylor]: Taking taylor expansion of l in V
6.004 * [backup-simplify]: Simplify l into l
6.004 * [taylor]: Taking taylor expansion of A in V
6.004 * [backup-simplify]: Simplify A into A
6.004 * [backup-simplify]: Simplify (* 0 l) into 0
6.004 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.004 * [backup-simplify]: Simplify (/ l A) into (/ l A)
6.005 * [backup-simplify]: Simplify (* -1 (/ l A)) into (* -1 (/ l A))
6.005 * [backup-simplify]: Simplify (sqrt 0) into 0
6.006 * [backup-simplify]: Simplify (/ (* -1 (/ l A)) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
6.006 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
6.006 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.006 * [taylor]: Taking taylor expansion of -1 in A
6.006 * [backup-simplify]: Simplify -1 into -1
6.006 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.006 * [taylor]: Taking taylor expansion of (* V l) in A
6.006 * [taylor]: Taking taylor expansion of V in A
6.006 * [backup-simplify]: Simplify V into V
6.006 * [taylor]: Taking taylor expansion of l in A
6.006 * [backup-simplify]: Simplify l into l
6.006 * [taylor]: Taking taylor expansion of A in A
6.006 * [backup-simplify]: Simplify 0 into 0
6.006 * [backup-simplify]: Simplify 1 into 1
6.006 * [backup-simplify]: Simplify (* V l) into (* V l)
6.006 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.006 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
6.007 * [backup-simplify]: Simplify (sqrt 0) into 0
6.007 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.007 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
6.007 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.007 * [taylor]: Taking taylor expansion of -1 in A
6.007 * [backup-simplify]: Simplify -1 into -1
6.007 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.007 * [taylor]: Taking taylor expansion of (* V l) in A
6.008 * [taylor]: Taking taylor expansion of V in A
6.008 * [backup-simplify]: Simplify V into V
6.008 * [taylor]: Taking taylor expansion of l in A
6.008 * [backup-simplify]: Simplify l into l
6.008 * [taylor]: Taking taylor expansion of A in A
6.008 * [backup-simplify]: Simplify 0 into 0
6.008 * [backup-simplify]: Simplify 1 into 1
6.008 * [backup-simplify]: Simplify (* V l) into (* V l)
6.008 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.008 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
6.008 * [backup-simplify]: Simplify (sqrt 0) into 0
6.009 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.009 * [taylor]: Taking taylor expansion of 0 in V
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [taylor]: Taking taylor expansion of 0 in l
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
6.009 * [taylor]: Taking taylor expansion of +nan.0 in V
6.009 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.009 * [taylor]: Taking taylor expansion of (* V l) in V
6.009 * [taylor]: Taking taylor expansion of V in V
6.009 * [backup-simplify]: Simplify 0 into 0
6.009 * [backup-simplify]: Simplify 1 into 1
6.009 * [taylor]: Taking taylor expansion of l in V
6.009 * [backup-simplify]: Simplify l into l
6.010 * [backup-simplify]: Simplify (* 0 l) into 0
6.010 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.010 * [taylor]: Taking taylor expansion of 0 in l
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [taylor]: Taking taylor expansion of 0 in l
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [backup-simplify]: Simplify 0 into 0
6.010 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
6.012 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
6.013 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
6.013 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
6.013 * [taylor]: Taking taylor expansion of +nan.0 in V
6.013 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.013 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
6.013 * [taylor]: Taking taylor expansion of (pow V 2) in V
6.013 * [taylor]: Taking taylor expansion of V in V
6.013 * [backup-simplify]: Simplify 0 into 0
6.013 * [backup-simplify]: Simplify 1 into 1
6.013 * [taylor]: Taking taylor expansion of (pow l 2) in V
6.013 * [taylor]: Taking taylor expansion of l in V
6.013 * [backup-simplify]: Simplify l into l
6.014 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.014 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
6.014 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
6.014 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
6.014 * [taylor]: Taking taylor expansion of +nan.0 in l
6.014 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.014 * [taylor]: Taking taylor expansion of l in l
6.014 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify 1 into 1
6.015 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.015 * [backup-simplify]: Simplify (- 0) into 0
6.015 * [backup-simplify]: Simplify 0 into 0
6.015 * [taylor]: Taking taylor expansion of 0 in l
6.015 * [backup-simplify]: Simplify 0 into 0
6.015 * [backup-simplify]: Simplify 0 into 0
6.015 * [backup-simplify]: Simplify 0 into 0
6.015 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
6.015 * [backup-simplify]: Simplify (* A (/ 1 (* V l))) into (/ A (* V l))
6.015 * [approximate]: Taking taylor expansion of (/ A (* V l)) in (A V l) around 0
6.015 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
6.016 * [taylor]: Taking taylor expansion of A in l
6.016 * [backup-simplify]: Simplify A into A
6.016 * [taylor]: Taking taylor expansion of (* V l) in l
6.016 * [taylor]: Taking taylor expansion of V in l
6.016 * [backup-simplify]: Simplify V into V
6.016 * [taylor]: Taking taylor expansion of l in l
6.016 * [backup-simplify]: Simplify 0 into 0
6.016 * [backup-simplify]: Simplify 1 into 1
6.016 * [backup-simplify]: Simplify (* V 0) into 0
6.016 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.016 * [backup-simplify]: Simplify (/ A V) into (/ A V)
6.016 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
6.016 * [taylor]: Taking taylor expansion of A in V
6.016 * [backup-simplify]: Simplify A into A
6.016 * [taylor]: Taking taylor expansion of (* V l) in V
6.016 * [taylor]: Taking taylor expansion of V in V
6.016 * [backup-simplify]: Simplify 0 into 0
6.016 * [backup-simplify]: Simplify 1 into 1
6.016 * [taylor]: Taking taylor expansion of l in V
6.017 * [backup-simplify]: Simplify l into l
6.017 * [backup-simplify]: Simplify (* 0 l) into 0
6.017 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.017 * [backup-simplify]: Simplify (/ A l) into (/ A l)
6.017 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
6.017 * [taylor]: Taking taylor expansion of A in A
6.018 * [backup-simplify]: Simplify 0 into 0
6.018 * [backup-simplify]: Simplify 1 into 1
6.018 * [taylor]: Taking taylor expansion of (* V l) in A
6.018 * [taylor]: Taking taylor expansion of V in A
6.018 * [backup-simplify]: Simplify V into V
6.018 * [taylor]: Taking taylor expansion of l in A
6.018 * [backup-simplify]: Simplify l into l
6.018 * [backup-simplify]: Simplify (* V l) into (* V l)
6.018 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
6.018 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
6.018 * [taylor]: Taking taylor expansion of A in A
6.018 * [backup-simplify]: Simplify 0 into 0
6.018 * [backup-simplify]: Simplify 1 into 1
6.018 * [taylor]: Taking taylor expansion of (* V l) in A
6.018 * [taylor]: Taking taylor expansion of V in A
6.018 * [backup-simplify]: Simplify V into V
6.018 * [taylor]: Taking taylor expansion of l in A
6.018 * [backup-simplify]: Simplify l into l
6.018 * [backup-simplify]: Simplify (* V l) into (* V l)
6.018 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
6.018 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
6.018 * [taylor]: Taking taylor expansion of (* V l) in V
6.018 * [taylor]: Taking taylor expansion of V in V
6.018 * [backup-simplify]: Simplify 0 into 0
6.018 * [backup-simplify]: Simplify 1 into 1
6.019 * [taylor]: Taking taylor expansion of l in V
6.019 * [backup-simplify]: Simplify l into l
6.019 * [backup-simplify]: Simplify (* 0 l) into 0
6.019 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.019 * [backup-simplify]: Simplify (/ 1 l) into (/ 1 l)
6.019 * [taylor]: Taking taylor expansion of (/ 1 l) in l
6.019 * [taylor]: Taking taylor expansion of l in l
6.019 * [backup-simplify]: Simplify 0 into 0
6.019 * [backup-simplify]: Simplify 1 into 1
6.020 * [backup-simplify]: Simplify (/ 1 1) into 1
6.020 * [backup-simplify]: Simplify 1 into 1
6.020 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.020 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
6.020 * [taylor]: Taking taylor expansion of 0 in V
6.020 * [backup-simplify]: Simplify 0 into 0
6.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)))) into 0
6.021 * [taylor]: Taking taylor expansion of 0 in l
6.021 * [backup-simplify]: Simplify 0 into 0
6.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.022 * [backup-simplify]: Simplify 0 into 0
6.023 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.023 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
6.023 * [taylor]: Taking taylor expansion of 0 in V
6.023 * [backup-simplify]: Simplify 0 into 0
6.023 * [taylor]: Taking taylor expansion of 0 in l
6.023 * [backup-simplify]: Simplify 0 into 0
6.024 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.025 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)))) into 0
6.025 * [taylor]: Taking taylor expansion of 0 in l
6.025 * [backup-simplify]: Simplify 0 into 0
6.025 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.026 * [backup-simplify]: Simplify 0 into 0
6.027 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (+ (* 0 0) (* 0 l)))) into 0
6.027 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
6.027 * [taylor]: Taking taylor expansion of 0 in V
6.027 * [backup-simplify]: Simplify 0 into 0
6.027 * [taylor]: Taking taylor expansion of 0 in l
6.027 * [backup-simplify]: Simplify 0 into 0
6.027 * [taylor]: Taking taylor expansion of 0 in l
6.027 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 l))))) into 0
6.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)) (* 0 (/ 0 l)))) into 0
6.029 * [taylor]: Taking taylor expansion of 0 in l
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.029 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (* (/ 1 V) A))) into (/ A (* V l))
6.030 * [backup-simplify]: Simplify (* (/ 1 A) (/ 1 (* (/ 1 V) (/ 1 l)))) into (/ (* V l) A)
6.030 * [approximate]: Taking taylor expansion of (/ (* V l) A) in (A V l) around 0
6.030 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
6.030 * [taylor]: Taking taylor expansion of (* V l) in l
6.030 * [taylor]: Taking taylor expansion of V in l
6.030 * [backup-simplify]: Simplify V into V
6.030 * [taylor]: Taking taylor expansion of l in l
6.030 * [backup-simplify]: Simplify 0 into 0
6.030 * [backup-simplify]: Simplify 1 into 1
6.030 * [taylor]: Taking taylor expansion of A in l
6.030 * [backup-simplify]: Simplify A into A
6.030 * [backup-simplify]: Simplify (* V 0) into 0
6.030 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.030 * [backup-simplify]: Simplify (/ V A) into (/ V A)
6.030 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
6.030 * [taylor]: Taking taylor expansion of (* V l) in V
6.030 * [taylor]: Taking taylor expansion of V in V
6.031 * [backup-simplify]: Simplify 0 into 0
6.031 * [backup-simplify]: Simplify 1 into 1
6.031 * [taylor]: Taking taylor expansion of l in V
6.031 * [backup-simplify]: Simplify l into l
6.031 * [taylor]: Taking taylor expansion of A in V
6.031 * [backup-simplify]: Simplify A into A
6.031 * [backup-simplify]: Simplify (* 0 l) into 0
6.031 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.031 * [backup-simplify]: Simplify (/ l A) into (/ l A)
6.031 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.031 * [taylor]: Taking taylor expansion of (* V l) in A
6.031 * [taylor]: Taking taylor expansion of V in A
6.031 * [backup-simplify]: Simplify V into V
6.031 * [taylor]: Taking taylor expansion of l in A
6.031 * [backup-simplify]: Simplify l into l
6.031 * [taylor]: Taking taylor expansion of A in A
6.031 * [backup-simplify]: Simplify 0 into 0
6.031 * [backup-simplify]: Simplify 1 into 1
6.031 * [backup-simplify]: Simplify (* V l) into (* V l)
6.032 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.032 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.032 * [taylor]: Taking taylor expansion of (* V l) in A
6.032 * [taylor]: Taking taylor expansion of V in A
6.032 * [backup-simplify]: Simplify V into V
6.032 * [taylor]: Taking taylor expansion of l in A
6.032 * [backup-simplify]: Simplify l into l
6.032 * [taylor]: Taking taylor expansion of A in A
6.032 * [backup-simplify]: Simplify 0 into 0
6.032 * [backup-simplify]: Simplify 1 into 1
6.032 * [backup-simplify]: Simplify (* V l) into (* V l)
6.032 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.032 * [taylor]: Taking taylor expansion of (* V l) in V
6.032 * [taylor]: Taking taylor expansion of V in V
6.032 * [backup-simplify]: Simplify 0 into 0
6.032 * [backup-simplify]: Simplify 1 into 1
6.032 * [taylor]: Taking taylor expansion of l in V
6.032 * [backup-simplify]: Simplify l into l
6.033 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.033 * [taylor]: Taking taylor expansion of l in l
6.033 * [backup-simplify]: Simplify 0 into 0
6.033 * [backup-simplify]: Simplify 1 into 1
6.033 * [backup-simplify]: Simplify 1 into 1
6.033 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.034 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
6.034 * [taylor]: Taking taylor expansion of 0 in V
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [taylor]: Taking taylor expansion of 0 in l
6.034 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.035 * [taylor]: Taking taylor expansion of 0 in l
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.037 * [taylor]: Taking taylor expansion of 0 in V
6.037 * [backup-simplify]: Simplify 0 into 0
6.037 * [taylor]: Taking taylor expansion of 0 in l
6.037 * [backup-simplify]: Simplify 0 into 0
6.037 * [backup-simplify]: Simplify 0 into 0
6.037 * [taylor]: Taking taylor expansion of 0 in l
6.037 * [backup-simplify]: Simplify 0 into 0
6.037 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.038 * [taylor]: Taking taylor expansion of 0 in l
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (* (/ 1 V) (/ 1 (/ 1 A))))) into (/ A (* V l))
6.039 * [backup-simplify]: Simplify (* (/ 1 (- A)) (/ 1 (* (/ 1 (- V)) (/ 1 (- l))))) into (* -1 (/ (* V l) A))
6.039 * [approximate]: Taking taylor expansion of (* -1 (/ (* V l) A)) in (A V l) around 0
6.039 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
6.039 * [taylor]: Taking taylor expansion of -1 in l
6.039 * [backup-simplify]: Simplify -1 into -1
6.039 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
6.039 * [taylor]: Taking taylor expansion of (* V l) in l
6.039 * [taylor]: Taking taylor expansion of V in l
6.039 * [backup-simplify]: Simplify V into V
6.039 * [taylor]: Taking taylor expansion of l in l
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.039 * [taylor]: Taking taylor expansion of A in l
6.039 * [backup-simplify]: Simplify A into A
6.039 * [backup-simplify]: Simplify (* V 0) into 0
6.040 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.040 * [backup-simplify]: Simplify (/ V A) into (/ V A)
6.040 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
6.040 * [taylor]: Taking taylor expansion of -1 in V
6.040 * [backup-simplify]: Simplify -1 into -1
6.040 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
6.040 * [taylor]: Taking taylor expansion of (* V l) in V
6.040 * [taylor]: Taking taylor expansion of V in V
6.040 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify 1 into 1
6.040 * [taylor]: Taking taylor expansion of l in V
6.040 * [backup-simplify]: Simplify l into l
6.040 * [taylor]: Taking taylor expansion of A in V
6.040 * [backup-simplify]: Simplify A into A
6.040 * [backup-simplify]: Simplify (* 0 l) into 0
6.041 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.041 * [backup-simplify]: Simplify (/ l A) into (/ l A)
6.041 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.041 * [taylor]: Taking taylor expansion of -1 in A
6.041 * [backup-simplify]: Simplify -1 into -1
6.041 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.041 * [taylor]: Taking taylor expansion of (* V l) in A
6.041 * [taylor]: Taking taylor expansion of V in A
6.041 * [backup-simplify]: Simplify V into V
6.041 * [taylor]: Taking taylor expansion of l in A
6.041 * [backup-simplify]: Simplify l into l
6.041 * [taylor]: Taking taylor expansion of A in A
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify 1 into 1
6.041 * [backup-simplify]: Simplify (* V l) into (* V l)
6.041 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.041 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.041 * [taylor]: Taking taylor expansion of -1 in A
6.041 * [backup-simplify]: Simplify -1 into -1
6.041 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.041 * [taylor]: Taking taylor expansion of (* V l) in A
6.041 * [taylor]: Taking taylor expansion of V in A
6.041 * [backup-simplify]: Simplify V into V
6.042 * [taylor]: Taking taylor expansion of l in A
6.042 * [backup-simplify]: Simplify l into l
6.042 * [taylor]: Taking taylor expansion of A in A
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [backup-simplify]: Simplify (* V l) into (* V l)
6.042 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.042 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
6.042 * [taylor]: Taking taylor expansion of (* -1 (* V l)) in V
6.042 * [taylor]: Taking taylor expansion of -1 in V
6.042 * [backup-simplify]: Simplify -1 into -1
6.042 * [taylor]: Taking taylor expansion of (* V l) in V
6.042 * [taylor]: Taking taylor expansion of V in V
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [taylor]: Taking taylor expansion of l in V
6.042 * [backup-simplify]: Simplify l into l
6.043 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.043 * [backup-simplify]: Simplify (* 0 l) into 0
6.043 * [backup-simplify]: Simplify (+ (* -1 l) (* 0 0)) into (- l)
6.043 * [taylor]: Taking taylor expansion of (- l) in l
6.043 * [taylor]: Taking taylor expansion of l in l
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify 1 into 1
6.044 * [backup-simplify]: Simplify (- 1) into -1
6.044 * [backup-simplify]: Simplify -1 into -1
6.044 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
6.045 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
6.045 * [taylor]: Taking taylor expansion of 0 in V
6.045 * [backup-simplify]: Simplify 0 into 0
6.045 * [taylor]: Taking taylor expansion of 0 in l
6.045 * [backup-simplify]: Simplify 0 into 0
6.045 * [backup-simplify]: Simplify 0 into 0
6.046 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.047 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 l) (* 0 0))) into 0
6.047 * [taylor]: Taking taylor expansion of 0 in l
6.047 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify 0 into 0
6.048 * [backup-simplify]: Simplify (- 0) into 0
6.048 * [backup-simplify]: Simplify 0 into 0
6.048 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.064 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* V l)))) into 0
6.064 * [taylor]: Taking taylor expansion of 0 in V
6.064 * [backup-simplify]: Simplify 0 into 0
6.064 * [taylor]: Taking taylor expansion of 0 in l
6.065 * [backup-simplify]: Simplify 0 into 0
6.065 * [backup-simplify]: Simplify 0 into 0
6.065 * [taylor]: Taking taylor expansion of 0 in l
6.065 * [backup-simplify]: Simplify 0 into 0
6.065 * [backup-simplify]: Simplify 0 into 0
6.066 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.068 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 l) (* 0 0)))) into 0
6.068 * [taylor]: Taking taylor expansion of 0 in l
6.068 * [backup-simplify]: Simplify 0 into 0
6.068 * [backup-simplify]: Simplify 0 into 0
6.068 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- l)) (* (/ 1 (- V)) (/ 1 (/ 1 (- A)))))) into (/ A (* V l))
6.069 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.069 * [backup-simplify]: Simplify (* c0 (sqrt (* A (/ 1 (* V l))))) into (* (sqrt (/ A (* V l))) c0)
6.069 * [approximate]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in (c0 A V l) around 0
6.069 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in l
6.069 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in l
6.069 * [taylor]: Taking taylor expansion of (/ A (* V l)) in l
6.069 * [taylor]: Taking taylor expansion of A in l
6.069 * [backup-simplify]: Simplify A into A
6.069 * [taylor]: Taking taylor expansion of (* V l) in l
6.069 * [taylor]: Taking taylor expansion of V in l
6.069 * [backup-simplify]: Simplify V into V
6.069 * [taylor]: Taking taylor expansion of l in l
6.069 * [backup-simplify]: Simplify 0 into 0
6.069 * [backup-simplify]: Simplify 1 into 1
6.070 * [backup-simplify]: Simplify (* V 0) into 0
6.070 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.070 * [backup-simplify]: Simplify (/ A V) into (/ A V)
6.071 * [backup-simplify]: Simplify (sqrt 0) into 0
6.071 * [backup-simplify]: Simplify (/ (/ A V) (* 2 (sqrt 0))) into (* +nan.0 (/ A V))
6.071 * [taylor]: Taking taylor expansion of c0 in l
6.071 * [backup-simplify]: Simplify c0 into c0
6.071 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in V
6.071 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in V
6.071 * [taylor]: Taking taylor expansion of (/ A (* V l)) in V
6.072 * [taylor]: Taking taylor expansion of A in V
6.072 * [backup-simplify]: Simplify A into A
6.072 * [taylor]: Taking taylor expansion of (* V l) in V
6.072 * [taylor]: Taking taylor expansion of V in V
6.072 * [backup-simplify]: Simplify 0 into 0
6.072 * [backup-simplify]: Simplify 1 into 1
6.072 * [taylor]: Taking taylor expansion of l in V
6.072 * [backup-simplify]: Simplify l into l
6.072 * [backup-simplify]: Simplify (* 0 l) into 0
6.072 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.072 * [backup-simplify]: Simplify (/ A l) into (/ A l)
6.073 * [backup-simplify]: Simplify (sqrt 0) into 0
6.073 * [backup-simplify]: Simplify (/ (/ A l) (* 2 (sqrt 0))) into (* +nan.0 (/ A l))
6.073 * [taylor]: Taking taylor expansion of c0 in V
6.073 * [backup-simplify]: Simplify c0 into c0
6.073 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in A
6.074 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
6.074 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
6.074 * [taylor]: Taking taylor expansion of A in A
6.074 * [backup-simplify]: Simplify 0 into 0
6.074 * [backup-simplify]: Simplify 1 into 1
6.074 * [taylor]: Taking taylor expansion of (* V l) in A
6.074 * [taylor]: Taking taylor expansion of V in A
6.074 * [backup-simplify]: Simplify V into V
6.074 * [taylor]: Taking taylor expansion of l in A
6.074 * [backup-simplify]: Simplify l into l
6.074 * [backup-simplify]: Simplify (* V l) into (* V l)
6.074 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
6.074 * [backup-simplify]: Simplify (sqrt 0) into 0
6.075 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
6.075 * [taylor]: Taking taylor expansion of c0 in A
6.075 * [backup-simplify]: Simplify c0 into c0
6.075 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
6.075 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
6.075 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
6.075 * [taylor]: Taking taylor expansion of A in c0
6.075 * [backup-simplify]: Simplify A into A
6.075 * [taylor]: Taking taylor expansion of (* V l) in c0
6.075 * [taylor]: Taking taylor expansion of V in c0
6.075 * [backup-simplify]: Simplify V into V
6.075 * [taylor]: Taking taylor expansion of l in c0
6.075 * [backup-simplify]: Simplify l into l
6.076 * [backup-simplify]: Simplify (* V l) into (* V l)
6.076 * [backup-simplify]: Simplify (/ A (* V l)) into (/ A (* V l))
6.076 * [backup-simplify]: Simplify (sqrt (/ A (* V l))) into (sqrt (/ A (* V l)))
6.076 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.076 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))))) into 0
6.076 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ A (* V l))))) into 0
6.076 * [taylor]: Taking taylor expansion of c0 in c0
6.076 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify 1 into 1
6.076 * [taylor]: Taking taylor expansion of (* (sqrt (/ A (* V l))) c0) in c0
6.076 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in c0
6.077 * [taylor]: Taking taylor expansion of (/ A (* V l)) in c0
6.077 * [taylor]: Taking taylor expansion of A in c0
6.077 * [backup-simplify]: Simplify A into A
6.077 * [taylor]: Taking taylor expansion of (* V l) in c0
6.077 * [taylor]: Taking taylor expansion of V in c0
6.077 * [backup-simplify]: Simplify V into V
6.077 * [taylor]: Taking taylor expansion of l in c0
6.077 * [backup-simplify]: Simplify l into l
6.077 * [backup-simplify]: Simplify (* V l) into (* V l)
6.077 * [backup-simplify]: Simplify (/ A (* V l)) into (/ A (* V l))
6.077 * [backup-simplify]: Simplify (sqrt (/ A (* V l))) into (sqrt (/ A (* V l)))
6.077 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.077 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))))) into 0
6.078 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ A (* V l))))) into 0
6.078 * [taylor]: Taking taylor expansion of c0 in c0
6.078 * [backup-simplify]: Simplify 0 into 0
6.078 * [backup-simplify]: Simplify 1 into 1
6.078 * [backup-simplify]: Simplify (* (sqrt (/ A (* V l))) 0) into 0
6.078 * [taylor]: Taking taylor expansion of 0 in A
6.078 * [backup-simplify]: Simplify 0 into 0
6.078 * [taylor]: Taking taylor expansion of 0 in V
6.078 * [backup-simplify]: Simplify 0 into 0
6.079 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 1) (* 0 0)) into (sqrt (/ A (* V l)))
6.079 * [taylor]: Taking taylor expansion of (sqrt (/ A (* V l))) in A
6.079 * [taylor]: Taking taylor expansion of (/ A (* V l)) in A
6.079 * [taylor]: Taking taylor expansion of A in A
6.079 * [backup-simplify]: Simplify 0 into 0
6.079 * [backup-simplify]: Simplify 1 into 1
6.079 * [taylor]: Taking taylor expansion of (* V l) in A
6.079 * [taylor]: Taking taylor expansion of V in A
6.079 * [backup-simplify]: Simplify V into V
6.079 * [taylor]: Taking taylor expansion of l in A
6.079 * [backup-simplify]: Simplify l into l
6.079 * [backup-simplify]: Simplify (* V l) into (* V l)
6.079 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
6.080 * [backup-simplify]: Simplify (sqrt 0) into 0
6.080 * [backup-simplify]: Simplify (/ (/ 1 (* V l)) (* 2 (sqrt 0))) into (/ +nan.0 (* V l))
6.080 * [taylor]: Taking taylor expansion of 0 in V
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [taylor]: Taking taylor expansion of 0 in V
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [taylor]: Taking taylor expansion of 0 in l
6.081 * [backup-simplify]: Simplify 0 into 0
6.082 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.082 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
6.083 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ A (* V l))))) into 0
6.084 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 0) (+ (* 0 1) (* 0 0))) into 0
6.084 * [taylor]: Taking taylor expansion of 0 in A
6.084 * [backup-simplify]: Simplify 0 into 0
6.084 * [taylor]: Taking taylor expansion of 0 in V
6.084 * [backup-simplify]: Simplify 0 into 0
6.084 * [taylor]: Taking taylor expansion of (/ +nan.0 (* V l)) in V
6.084 * [taylor]: Taking taylor expansion of +nan.0 in V
6.084 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.084 * [taylor]: Taking taylor expansion of (* V l) in V
6.085 * [taylor]: Taking taylor expansion of V in V
6.085 * [backup-simplify]: Simplify 0 into 0
6.085 * [backup-simplify]: Simplify 1 into 1
6.085 * [taylor]: Taking taylor expansion of l in V
6.085 * [backup-simplify]: Simplify l into l
6.085 * [backup-simplify]: Simplify (* 0 l) into 0
6.085 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.085 * [backup-simplify]: Simplify (/ +nan.0 l) into (/ +nan.0 l)
6.085 * [taylor]: Taking taylor expansion of (/ +nan.0 l) in l
6.085 * [taylor]: Taking taylor expansion of +nan.0 in l
6.085 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.085 * [taylor]: Taking taylor expansion of l in l
6.086 * [backup-simplify]: Simplify 0 into 0
6.086 * [backup-simplify]: Simplify 1 into 1
6.086 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
6.086 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.086 * [taylor]: Taking taylor expansion of 0 in V
6.086 * [backup-simplify]: Simplify 0 into 0
6.086 * [taylor]: Taking taylor expansion of 0 in l
6.086 * [backup-simplify]: Simplify 0 into 0
6.086 * [taylor]: Taking taylor expansion of 0 in l
6.086 * [backup-simplify]: Simplify 0 into 0
6.086 * [taylor]: Taking taylor expansion of 0 in l
6.086 * [backup-simplify]: Simplify 0 into 0
6.087 * [backup-simplify]: Simplify 0 into 0
6.088 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (+ (* 0 0) (* 0 l)))) into 0
6.088 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ A (* V l)) (/ 0 (* V l))) (* 0 (/ 0 (* V l))) (* 0 (/ 0 (* V l))))) into 0
6.089 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ A (* V l))))) into 0
6.090 * [backup-simplify]: Simplify (+ (* (sqrt (/ A (* V l))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.090 * [taylor]: Taking taylor expansion of 0 in A
6.090 * [backup-simplify]: Simplify 0 into 0
6.090 * [taylor]: Taking taylor expansion of 0 in V
6.090 * [backup-simplify]: Simplify 0 into 0
6.090 * [taylor]: Taking taylor expansion of 0 in V
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.091 * [backup-simplify]: Simplify (- (/ 0 (* V l)) (+ (* (/ 1 (* V l)) (/ 0 (* V l))))) into 0
6.092 * [backup-simplify]: Simplify (/ (- 0 (pow (/ +nan.0 (* V l)) 2) (+)) (* 2 0)) into (/ +nan.0 (* (pow V 2) (pow l 2)))
6.092 * [taylor]: Taking taylor expansion of (/ +nan.0 (* (pow V 2) (pow l 2))) in V
6.092 * [taylor]: Taking taylor expansion of +nan.0 in V
6.092 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.092 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
6.093 * [taylor]: Taking taylor expansion of (pow V 2) in V
6.093 * [taylor]: Taking taylor expansion of V in V
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 1 into 1
6.093 * [taylor]: Taking taylor expansion of (pow l 2) in V
6.093 * [taylor]: Taking taylor expansion of l in V
6.093 * [backup-simplify]: Simplify l into l
6.093 * [backup-simplify]: Simplify (* 1 1) into 1
6.093 * [backup-simplify]: Simplify (* l l) into (pow l 2)
6.094 * [backup-simplify]: Simplify (* 1 (pow l 2)) into (pow l 2)
6.094 * [backup-simplify]: Simplify (/ +nan.0 (pow l 2)) into (/ +nan.0 (pow l 2))
6.094 * [backup-simplify]: Simplify (+ (* l 0) (* 0 l)) into 0
6.095 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.095 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow l 2))) into 0
6.096 * [backup-simplify]: Simplify (- (/ 0 (pow l 2)) (+ (* (/ +nan.0 (pow l 2)) (/ 0 (pow l 2))))) into 0
6.096 * [taylor]: Taking taylor expansion of 0 in l
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [taylor]: Taking taylor expansion of 0 in V
6.096 * [backup-simplify]: Simplify 0 into 0
6.096 * [taylor]: Taking taylor expansion of 0 in l
6.096 * [backup-simplify]: Simplify 0 into 0
6.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.097 * [backup-simplify]: Simplify (- (/ 0 l) (+ (* (/ +nan.0 l) (/ 0 l)))) into 0
6.097 * [taylor]: Taking taylor expansion of 0 in l
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [taylor]: Taking taylor expansion of 0 in l
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [taylor]: Taking taylor expansion of 0 in l
6.097 * [backup-simplify]: Simplify 0 into 0
6.097 * [taylor]: Taking taylor expansion of 0 in l
6.097 * [backup-simplify]: Simplify 0 into 0
6.098 * [taylor]: Taking taylor expansion of 0 in l
6.098 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify 0 into 0
6.099 * [backup-simplify]: Simplify (* +nan.0 (* (/ 1 l) (* (/ 1 V) (* A c0)))) into (* +nan.0 (/ (* c0 A) (* V l)))
6.099 * [backup-simplify]: Simplify (* (/ 1 c0) (sqrt (* (/ 1 A) (/ 1 (* (/ 1 V) (/ 1 l)))))) into (* (sqrt (/ (* V l) A)) (/ 1 c0))
6.100 * [approximate]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in (c0 A V l) around 0
6.100 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in l
6.100 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in l
6.100 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
6.100 * [taylor]: Taking taylor expansion of (* V l) in l
6.100 * [taylor]: Taking taylor expansion of V in l
6.100 * [backup-simplify]: Simplify V into V
6.100 * [taylor]: Taking taylor expansion of l in l
6.100 * [backup-simplify]: Simplify 0 into 0
6.100 * [backup-simplify]: Simplify 1 into 1
6.100 * [taylor]: Taking taylor expansion of A in l
6.100 * [backup-simplify]: Simplify A into A
6.100 * [backup-simplify]: Simplify (* V 0) into 0
6.101 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.101 * [backup-simplify]: Simplify (/ V A) into (/ V A)
6.101 * [backup-simplify]: Simplify (sqrt 0) into 0
6.102 * [backup-simplify]: Simplify (/ (/ V A) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
6.102 * [taylor]: Taking taylor expansion of (/ 1 c0) in l
6.102 * [taylor]: Taking taylor expansion of c0 in l
6.102 * [backup-simplify]: Simplify c0 into c0
6.102 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
6.102 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in V
6.102 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in V
6.102 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
6.102 * [taylor]: Taking taylor expansion of (* V l) in V
6.102 * [taylor]: Taking taylor expansion of V in V
6.102 * [backup-simplify]: Simplify 0 into 0
6.102 * [backup-simplify]: Simplify 1 into 1
6.102 * [taylor]: Taking taylor expansion of l in V
6.102 * [backup-simplify]: Simplify l into l
6.102 * [taylor]: Taking taylor expansion of A in V
6.102 * [backup-simplify]: Simplify A into A
6.102 * [backup-simplify]: Simplify (* 0 l) into 0
6.103 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.103 * [backup-simplify]: Simplify (/ l A) into (/ l A)
6.103 * [backup-simplify]: Simplify (sqrt 0) into 0
6.104 * [backup-simplify]: Simplify (/ (/ l A) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
6.104 * [taylor]: Taking taylor expansion of (/ 1 c0) in V
6.104 * [taylor]: Taking taylor expansion of c0 in V
6.104 * [backup-simplify]: Simplify c0 into c0
6.104 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
6.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in A
6.104 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
6.104 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.104 * [taylor]: Taking taylor expansion of (* V l) in A
6.104 * [taylor]: Taking taylor expansion of V in A
6.105 * [backup-simplify]: Simplify V into V
6.105 * [taylor]: Taking taylor expansion of l in A
6.105 * [backup-simplify]: Simplify l into l
6.105 * [taylor]: Taking taylor expansion of A in A
6.105 * [backup-simplify]: Simplify 0 into 0
6.105 * [backup-simplify]: Simplify 1 into 1
6.105 * [backup-simplify]: Simplify (* V l) into (* V l)
6.105 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.105 * [backup-simplify]: Simplify (sqrt 0) into 0
6.106 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.106 * [taylor]: Taking taylor expansion of (/ 1 c0) in A
6.106 * [taylor]: Taking taylor expansion of c0 in A
6.106 * [backup-simplify]: Simplify c0 into c0
6.106 * [backup-simplify]: Simplify (/ 1 c0) into (/ 1 c0)
6.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
6.106 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
6.106 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
6.106 * [taylor]: Taking taylor expansion of (* V l) in c0
6.106 * [taylor]: Taking taylor expansion of V in c0
6.106 * [backup-simplify]: Simplify V into V
6.106 * [taylor]: Taking taylor expansion of l in c0
6.106 * [backup-simplify]: Simplify l into l
6.106 * [taylor]: Taking taylor expansion of A in c0
6.106 * [backup-simplify]: Simplify A into A
6.106 * [backup-simplify]: Simplify (* V l) into (* V l)
6.107 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
6.107 * [backup-simplify]: Simplify (sqrt (/ (* V l) A)) into (sqrt (/ (* V l) A))
6.107 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.107 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
6.107 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (* V l) A)))) into 0
6.107 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
6.107 * [taylor]: Taking taylor expansion of c0 in c0
6.107 * [backup-simplify]: Simplify 0 into 0
6.107 * [backup-simplify]: Simplify 1 into 1
6.108 * [backup-simplify]: Simplify (/ 1 1) into 1
6.108 * [taylor]: Taking taylor expansion of (* (sqrt (/ (* V l) A)) (/ 1 c0)) in c0
6.108 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in c0
6.108 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
6.108 * [taylor]: Taking taylor expansion of (* V l) in c0
6.108 * [taylor]: Taking taylor expansion of V in c0
6.108 * [backup-simplify]: Simplify V into V
6.108 * [taylor]: Taking taylor expansion of l in c0
6.108 * [backup-simplify]: Simplify l into l
6.108 * [taylor]: Taking taylor expansion of A in c0
6.108 * [backup-simplify]: Simplify A into A
6.108 * [backup-simplify]: Simplify (* V l) into (* V l)
6.108 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
6.108 * [backup-simplify]: Simplify (sqrt (/ (* V l) A)) into (sqrt (/ (* V l) A))
6.109 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.109 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
6.109 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (* V l) A)))) into 0
6.109 * [taylor]: Taking taylor expansion of (/ 1 c0) in c0
6.109 * [taylor]: Taking taylor expansion of c0 in c0
6.109 * [backup-simplify]: Simplify 0 into 0
6.109 * [backup-simplify]: Simplify 1 into 1
6.110 * [backup-simplify]: Simplify (/ 1 1) into 1
6.110 * [backup-simplify]: Simplify (* (sqrt (/ (* V l) A)) 1) into (sqrt (/ (* V l) A))
6.110 * [taylor]: Taking taylor expansion of (sqrt (/ (* V l) A)) in A
6.110 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.110 * [taylor]: Taking taylor expansion of (* V l) in A
6.110 * [taylor]: Taking taylor expansion of V in A
6.110 * [backup-simplify]: Simplify V into V
6.110 * [taylor]: Taking taylor expansion of l in A
6.110 * [backup-simplify]: Simplify l into l
6.110 * [taylor]: Taking taylor expansion of A in A
6.110 * [backup-simplify]: Simplify 0 into 0
6.110 * [backup-simplify]: Simplify 1 into 1
6.110 * [backup-simplify]: Simplify (* V l) into (* V l)
6.110 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.111 * [backup-simplify]: Simplify (sqrt 0) into 0
6.111 * [backup-simplify]: Simplify (/ (* V l) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.112 * [taylor]: Taking taylor expansion of 0 in V
6.112 * [backup-simplify]: Simplify 0 into 0
6.112 * [taylor]: Taking taylor expansion of 0 in l
6.112 * [backup-simplify]: Simplify 0 into 0
6.112 * [backup-simplify]: Simplify 0 into 0
6.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.113 * [backup-simplify]: Simplify (+ (* (sqrt (/ (* V l) A)) 0) (* 0 1)) into 0
6.113 * [taylor]: Taking taylor expansion of 0 in A
6.113 * [backup-simplify]: Simplify 0 into 0
6.113 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
6.113 * [taylor]: Taking taylor expansion of +nan.0 in V
6.113 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.113 * [taylor]: Taking taylor expansion of (* V l) in V
6.113 * [taylor]: Taking taylor expansion of V in V
6.113 * [backup-simplify]: Simplify 0 into 0
6.114 * [backup-simplify]: Simplify 1 into 1
6.114 * [taylor]: Taking taylor expansion of l in V
6.114 * [backup-simplify]: Simplify l into l
6.114 * [backup-simplify]: Simplify (* 0 l) into 0
6.114 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.114 * [taylor]: Taking taylor expansion of 0 in l
6.114 * [backup-simplify]: Simplify 0 into 0
6.114 * [backup-simplify]: Simplify 0 into 0
6.114 * [taylor]: Taking taylor expansion of 0 in l
6.114 * [backup-simplify]: Simplify 0 into 0
6.114 * [backup-simplify]: Simplify 0 into 0
6.114 * [backup-simplify]: Simplify 0 into 0
6.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.116 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.116 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)) (* 0 (/ 0 A)))) into 0
6.117 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ (* V l) A)))) into 0
6.118 * [backup-simplify]: Simplify (+ (* (sqrt (/ (* V l) A)) 0) (+ (* 0 0) (* 0 1))) into 0
6.118 * [taylor]: Taking taylor expansion of 0 in A
6.118 * [backup-simplify]: Simplify 0 into 0
6.118 * [taylor]: Taking taylor expansion of 0 in V
6.118 * [backup-simplify]: Simplify 0 into 0
6.118 * [taylor]: Taking taylor expansion of 0 in l
6.118 * [backup-simplify]: Simplify 0 into 0
6.119 * [backup-simplify]: Simplify 0 into 0
6.119 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
6.121 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
6.121 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
6.121 * [taylor]: Taking taylor expansion of +nan.0 in V
6.121 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.121 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
6.121 * [taylor]: Taking taylor expansion of (pow V 2) in V
6.121 * [taylor]: Taking taylor expansion of V in V
6.121 * [backup-simplify]: Simplify 0 into 0
6.121 * [backup-simplify]: Simplify 1 into 1
6.122 * [taylor]: Taking taylor expansion of (pow l 2) in V
6.122 * [taylor]: Taking taylor expansion of l in V
6.122 * [backup-simplify]: Simplify l into l
6.122 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.123 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
6.123 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
6.123 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
6.123 * [taylor]: Taking taylor expansion of +nan.0 in l
6.123 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.123 * [taylor]: Taking taylor expansion of l in l
6.123 * [backup-simplify]: Simplify 0 into 0
6.123 * [backup-simplify]: Simplify 1 into 1
6.123 * [backup-simplify]: Simplify (* +nan.0 0) into 0
6.124 * [backup-simplify]: Simplify (- 0) into 0
6.124 * [backup-simplify]: Simplify 0 into 0
6.124 * [backup-simplify]: Simplify 0 into 0
6.124 * [backup-simplify]: Simplify (* (/ 1 (- c0)) (sqrt (* (/ 1 (- A)) (/ 1 (* (/ 1 (- V)) (/ 1 (- l))))))) into (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0))
6.124 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in (c0 A V l) around 0
6.124 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in l
6.124 * [taylor]: Taking taylor expansion of -1 in l
6.124 * [backup-simplify]: Simplify -1 into -1
6.124 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in l
6.124 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in l
6.124 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in l
6.124 * [taylor]: Taking taylor expansion of -1 in l
6.124 * [backup-simplify]: Simplify -1 into -1
6.125 * [taylor]: Taking taylor expansion of (/ (* V l) A) in l
6.125 * [taylor]: Taking taylor expansion of (* V l) in l
6.125 * [taylor]: Taking taylor expansion of V in l
6.125 * [backup-simplify]: Simplify V into V
6.125 * [taylor]: Taking taylor expansion of l in l
6.125 * [backup-simplify]: Simplify 0 into 0
6.125 * [backup-simplify]: Simplify 1 into 1
6.125 * [taylor]: Taking taylor expansion of A in l
6.125 * [backup-simplify]: Simplify A into A
6.125 * [backup-simplify]: Simplify (* V 0) into 0
6.126 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.126 * [backup-simplify]: Simplify (/ V A) into (/ V A)
6.126 * [backup-simplify]: Simplify (* -1 (/ V A)) into (* -1 (/ V A))
6.126 * [backup-simplify]: Simplify (sqrt 0) into 0
6.127 * [backup-simplify]: Simplify (/ (* -1 (/ V A)) (* 2 (sqrt 0))) into (* +nan.0 (/ V A))
6.127 * [taylor]: Taking taylor expansion of c0 in l
6.127 * [backup-simplify]: Simplify c0 into c0
6.127 * [backup-simplify]: Simplify (/ (* +nan.0 (/ V A)) c0) into (* +nan.0 (/ V (* A c0)))
6.127 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in V
6.127 * [taylor]: Taking taylor expansion of -1 in V
6.127 * [backup-simplify]: Simplify -1 into -1
6.127 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in V
6.127 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in V
6.127 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in V
6.128 * [taylor]: Taking taylor expansion of -1 in V
6.128 * [backup-simplify]: Simplify -1 into -1
6.128 * [taylor]: Taking taylor expansion of (/ (* V l) A) in V
6.128 * [taylor]: Taking taylor expansion of (* V l) in V
6.128 * [taylor]: Taking taylor expansion of V in V
6.128 * [backup-simplify]: Simplify 0 into 0
6.128 * [backup-simplify]: Simplify 1 into 1
6.128 * [taylor]: Taking taylor expansion of l in V
6.128 * [backup-simplify]: Simplify l into l
6.128 * [taylor]: Taking taylor expansion of A in V
6.128 * [backup-simplify]: Simplify A into A
6.128 * [backup-simplify]: Simplify (* 0 l) into 0
6.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.128 * [backup-simplify]: Simplify (/ l A) into (/ l A)
6.128 * [backup-simplify]: Simplify (* -1 (/ l A)) into (* -1 (/ l A))
6.129 * [backup-simplify]: Simplify (sqrt 0) into 0
6.130 * [backup-simplify]: Simplify (/ (* -1 (/ l A)) (* 2 (sqrt 0))) into (* +nan.0 (/ l A))
6.130 * [taylor]: Taking taylor expansion of c0 in V
6.130 * [backup-simplify]: Simplify c0 into c0
6.130 * [backup-simplify]: Simplify (/ (* +nan.0 (/ l A)) c0) into (* +nan.0 (/ l (* c0 A)))
6.130 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in A
6.130 * [taylor]: Taking taylor expansion of -1 in A
6.130 * [backup-simplify]: Simplify -1 into -1
6.130 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in A
6.130 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
6.130 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.130 * [taylor]: Taking taylor expansion of -1 in A
6.130 * [backup-simplify]: Simplify -1 into -1
6.130 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.130 * [taylor]: Taking taylor expansion of (* V l) in A
6.130 * [taylor]: Taking taylor expansion of V in A
6.130 * [backup-simplify]: Simplify V into V
6.130 * [taylor]: Taking taylor expansion of l in A
6.130 * [backup-simplify]: Simplify l into l
6.130 * [taylor]: Taking taylor expansion of A in A
6.130 * [backup-simplify]: Simplify 0 into 0
6.130 * [backup-simplify]: Simplify 1 into 1
6.130 * [backup-simplify]: Simplify (* V l) into (* V l)
6.131 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.131 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
6.131 * [backup-simplify]: Simplify (sqrt 0) into 0
6.132 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.132 * [taylor]: Taking taylor expansion of c0 in A
6.132 * [backup-simplify]: Simplify c0 into c0
6.132 * [backup-simplify]: Simplify (/ (* +nan.0 (* V l)) c0) into (* +nan.0 (/ (* V l) c0))
6.132 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
6.132 * [taylor]: Taking taylor expansion of -1 in c0
6.132 * [backup-simplify]: Simplify -1 into -1
6.132 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
6.132 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
6.132 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
6.132 * [taylor]: Taking taylor expansion of -1 in c0
6.132 * [backup-simplify]: Simplify -1 into -1
6.132 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
6.132 * [taylor]: Taking taylor expansion of (* V l) in c0
6.132 * [taylor]: Taking taylor expansion of V in c0
6.132 * [backup-simplify]: Simplify V into V
6.132 * [taylor]: Taking taylor expansion of l in c0
6.132 * [backup-simplify]: Simplify l into l
6.132 * [taylor]: Taking taylor expansion of A in c0
6.132 * [backup-simplify]: Simplify A into A
6.132 * [backup-simplify]: Simplify (* V l) into (* V l)
6.133 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
6.133 * [backup-simplify]: Simplify (* -1 (/ (* V l) A)) into (* -1 (/ (* V l) A))
6.133 * [backup-simplify]: Simplify (sqrt (* -1 (/ (* V l) A))) into (sqrt (* -1 (/ (* V l) A)))
6.133 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.133 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
6.134 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (* V l) A))) into 0
6.134 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
6.134 * [taylor]: Taking taylor expansion of c0 in c0
6.134 * [backup-simplify]: Simplify 0 into 0
6.134 * [backup-simplify]: Simplify 1 into 1
6.134 * [backup-simplify]: Simplify (/ (sqrt (* -1 (/ (* V l) A))) 1) into (sqrt (* -1 (/ (* V l) A)))
6.134 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (* -1 (/ (* V l) A))) c0)) in c0
6.135 * [taylor]: Taking taylor expansion of -1 in c0
6.135 * [backup-simplify]: Simplify -1 into -1
6.135 * [taylor]: Taking taylor expansion of (/ (sqrt (* -1 (/ (* V l) A))) c0) in c0
6.135 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in c0
6.135 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in c0
6.135 * [taylor]: Taking taylor expansion of -1 in c0
6.135 * [backup-simplify]: Simplify -1 into -1
6.135 * [taylor]: Taking taylor expansion of (/ (* V l) A) in c0
6.135 * [taylor]: Taking taylor expansion of (* V l) in c0
6.135 * [taylor]: Taking taylor expansion of V in c0
6.135 * [backup-simplify]: Simplify V into V
6.135 * [taylor]: Taking taylor expansion of l in c0
6.135 * [backup-simplify]: Simplify l into l
6.135 * [taylor]: Taking taylor expansion of A in c0
6.135 * [backup-simplify]: Simplify A into A
6.135 * [backup-simplify]: Simplify (* V l) into (* V l)
6.135 * [backup-simplify]: Simplify (/ (* V l) A) into (/ (* V l) A)
6.135 * [backup-simplify]: Simplify (* -1 (/ (* V l) A)) into (* -1 (/ (* V l) A))
6.135 * [backup-simplify]: Simplify (sqrt (* -1 (/ (* V l) A))) into (sqrt (* -1 (/ (* V l) A)))
6.135 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.136 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)))) into 0
6.136 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (* V l) A))) into 0
6.137 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
6.137 * [taylor]: Taking taylor expansion of c0 in c0
6.137 * [backup-simplify]: Simplify 0 into 0
6.137 * [backup-simplify]: Simplify 1 into 1
6.137 * [backup-simplify]: Simplify (/ (sqrt (* -1 (/ (* V l) A))) 1) into (sqrt (* -1 (/ (* V l) A)))
6.137 * [backup-simplify]: Simplify (* -1 (sqrt (* -1 (/ (* V l) A)))) into (* -1 (sqrt (* -1 (/ (* V l) A))))
6.137 * [taylor]: Taking taylor expansion of (* -1 (sqrt (* -1 (/ (* V l) A)))) in A
6.137 * [taylor]: Taking taylor expansion of -1 in A
6.137 * [backup-simplify]: Simplify -1 into -1
6.137 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (* V l) A))) in A
6.137 * [taylor]: Taking taylor expansion of (* -1 (/ (* V l) A)) in A
6.137 * [taylor]: Taking taylor expansion of -1 in A
6.137 * [backup-simplify]: Simplify -1 into -1
6.138 * [taylor]: Taking taylor expansion of (/ (* V l) A) in A
6.138 * [taylor]: Taking taylor expansion of (* V l) in A
6.138 * [taylor]: Taking taylor expansion of V in A
6.138 * [backup-simplify]: Simplify V into V
6.138 * [taylor]: Taking taylor expansion of l in A
6.138 * [backup-simplify]: Simplify l into l
6.138 * [taylor]: Taking taylor expansion of A in A
6.138 * [backup-simplify]: Simplify 0 into 0
6.138 * [backup-simplify]: Simplify 1 into 1
6.138 * [backup-simplify]: Simplify (* V l) into (* V l)
6.138 * [backup-simplify]: Simplify (/ (* V l) 1) into (* V l)
6.138 * [backup-simplify]: Simplify (* -1 (* V l)) into (* -1 (* V l))
6.138 * [backup-simplify]: Simplify (sqrt 0) into 0
6.139 * [backup-simplify]: Simplify (/ (* -1 (* V l)) (* 2 (sqrt 0))) into (* +nan.0 (* V l))
6.140 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* V l))) (* 0 0)) into (- (* +nan.0 (* V l)))
6.140 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* V l))) in V
6.140 * [taylor]: Taking taylor expansion of (* +nan.0 (* V l)) in V
6.140 * [taylor]: Taking taylor expansion of +nan.0 in V
6.140 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.140 * [taylor]: Taking taylor expansion of (* V l) in V
6.140 * [taylor]: Taking taylor expansion of V in V
6.140 * [backup-simplify]: Simplify 0 into 0
6.140 * [backup-simplify]: Simplify 1 into 1
6.140 * [taylor]: Taking taylor expansion of l in V
6.140 * [backup-simplify]: Simplify l into l
6.140 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.141 * [backup-simplify]: Simplify (* 0 l) into 0
6.141 * [backup-simplify]: Simplify (+ (* +nan.0 l) (* 0 0)) into (- (* +nan.0 l))
6.141 * [backup-simplify]: Simplify (- (- (* +nan.0 l))) into (- (* +nan.0 l))
6.141 * [taylor]: Taking taylor expansion of (- (* +nan.0 l)) in l
6.141 * [taylor]: Taking taylor expansion of (* +nan.0 l) in l
6.141 * [taylor]: Taking taylor expansion of +nan.0 in l
6.141 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.141 * [taylor]: Taking taylor expansion of l in l
6.141 * [backup-simplify]: Simplify 0 into 0
6.141 * [backup-simplify]: Simplify 1 into 1
6.143 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
6.144 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
6.144 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (* -1 (/ (* V l) A))) (/ 0 1)))) into 0
6.146 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (* -1 (/ (* V l) A))))) into 0
6.146 * [taylor]: Taking taylor expansion of 0 in A
6.146 * [backup-simplify]: Simplify 0 into 0
6.146 * [taylor]: Taking taylor expansion of 0 in V
6.146 * [backup-simplify]: Simplify 0 into 0
6.146 * [taylor]: Taking taylor expansion of 0 in l
6.146 * [backup-simplify]: Simplify 0 into 0
6.146 * [backup-simplify]: Simplify 0 into 0
6.146 * [backup-simplify]: Simplify (+ (* V 0) (* 0 l)) into 0
6.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)))) into 0
6.148 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* V l))) into 0
6.149 * [backup-simplify]: Simplify (/ (- 0 (pow (* +nan.0 (* V l)) 2) (+)) (* 2 0)) into (* +nan.0 (* (pow V 2) (pow l 2)))
6.150 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* (pow V 2) (pow l 2)))) (+ (* 0 (* +nan.0 (* V l))) (* 0 0))) into (- (* +nan.0 (* (pow V 2) (pow l 2))))
6.150 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 2) (pow l 2)))) in V
6.150 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 2) (pow l 2))) in V
6.150 * [taylor]: Taking taylor expansion of +nan.0 in V
6.150 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.150 * [taylor]: Taking taylor expansion of (* (pow V 2) (pow l 2)) in V
6.150 * [taylor]: Taking taylor expansion of (pow V 2) in V
6.150 * [taylor]: Taking taylor expansion of V in V
6.151 * [backup-simplify]: Simplify 0 into 0
6.151 * [backup-simplify]: Simplify 1 into 1
6.151 * [taylor]: Taking taylor expansion of (pow l 2) in V
6.151 * [taylor]: Taking taylor expansion of l in V
6.151 * [backup-simplify]: Simplify l into l
6.152 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.153 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 l) (* 0 0))) into 0
6.153 * [backup-simplify]: Simplify (- 0) into 0
6.153 * [taylor]: Taking taylor expansion of 0 in l
6.153 * [backup-simplify]: Simplify 0 into 0
6.153 * [backup-simplify]: Simplify 0 into 0
6.154 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 0))) into 0
6.155 * [backup-simplify]: Simplify (- 0) into 0
6.155 * [backup-simplify]: Simplify 0 into 0
6.155 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.155 * [backup-simplify]: Simplify (- (/ 0 A) (+ (* (/ (* V l) A) (/ 0 A)) (* 0 (/ 0 A)))) into 0
6.156 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (* V l) A)))) into 0
6.157 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (* -1 (/ (* V l) A))))) into 0
6.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (* -1 (/ (* V l) A))) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.160 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (* -1 (/ (* V l) A)))))) into 0
6.160 * [taylor]: Taking taylor expansion of 0 in A
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [taylor]: Taking taylor expansion of 0 in V
6.160 * [backup-simplify]: Simplify 0 into 0
6.160 * [taylor]: Taking taylor expansion of 0 in l
6.160 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [taylor]: Taking taylor expansion of 0 in V
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [taylor]: Taking taylor expansion of 0 in l
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify 0 into 0
6.161 * [backup-simplify]: Simplify (+ (* V 0) (+ (* 0 0) (* 0 l))) into 0
6.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* V l) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.164 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* V l)))) into 0
6.165 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (* +nan.0 (* V l)) (* +nan.0 (* (pow V 2) (pow l 2))))))) (* 2 0)) into (* +nan.0 (* (pow V 3) (pow l 3)))
6.166 * [backup-simplify]: Simplify (+ (* -1 (* +nan.0 (* (pow V 3) (pow l 3)))) (+ (* 0 (* +nan.0 (* (pow V 2) (pow l 2)))) (+ (* 0 (* +nan.0 (* V l))) (* 0 0)))) into (- (* +nan.0 (* (pow V 3) (pow l 3))))
6.166 * [taylor]: Taking taylor expansion of (- (* +nan.0 (* (pow V 3) (pow l 3)))) in V
6.166 * [taylor]: Taking taylor expansion of (* +nan.0 (* (pow V 3) (pow l 3))) in V
6.166 * [taylor]: Taking taylor expansion of +nan.0 in V
6.166 * [backup-simplify]: Simplify +nan.0 into +nan.0
6.166 * [taylor]: Taking taylor expansion of (* (pow V 3) (pow l 3)) in V
6.167 * [taylor]: Taking taylor expansion of (pow V 3) in V
6.167 * [taylor]: Taking taylor expansion of V in V
6.167 * [backup-simplify]: Simplify 0 into 0
6.167 * [backup-simplify]: Simplify 1 into 1
6.167 * [taylor]: Taking taylor expansion of (pow l 3) in V
6.167 * [taylor]: Taking taylor expansion of l in V
6.167 * [backup-simplify]: Simplify l into l
6.167 * [taylor]: Taking taylor expansion of 0 in l
6.167 * [backup-simplify]: Simplify 0 into 0
6.167 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify (* (- +nan.0) (* (/ 1 (- l)) (* (/ 1 (- V)) (* 1 (/ 1 (/ 1 (- c0))))))) into (* +nan.0 (/ c0 (* V l)))
6.168 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
6.168 * [backup-simplify]: Simplify (/ 1 (* V l)) into (/ 1 (* V l))
6.168 * [approximate]: Taking taylor expansion of (/ 1 (* V l)) in (V l) around 0
6.168 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in l
6.168 * [taylor]: Taking taylor expansion of (* V l) in l
6.168 * [taylor]: Taking taylor expansion of V in l
6.168 * [backup-simplify]: Simplify V into V
6.168 * [taylor]: Taking taylor expansion of l in l
6.168 * [backup-simplify]: Simplify 0 into 0
6.168 * [backup-simplify]: Simplify 1 into 1
6.168 * [backup-simplify]: Simplify (* V 0) into 0
6.169 * [backup-simplify]: Simplify (+ (* V 1) (* 0 0)) into V
6.169 * [backup-simplify]: Simplify (/ 1 V) into (/ 1 V)
6.169 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
6.169 * [taylor]: Taking taylor expansion of (* V l) in V
6.169 * [taylor]: Taking taylor expansion of V in V
6.169 * [backup-simplify]: Simplify 0 into 0
6.169 * [backup-simplify]: Simplify 1 into 1
6.169 * [taylor]: Taking taylor expansion of l in V
6.169 * [backup-simplify]: Simplify l into l
6.169 * [backup-simplify]: Simplify (* 0 l) into 0
6.169 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.169 * [backup-simplify]: Simplify (/ 1 l) into (/ 1 l)
6.169 * [taylor]: Taking taylor expansion of (/ 1 (* V l)) in V
6.169 * [taylor]: Taking taylor expansion of (* V l) in V
6.169 * [taylor]: Taking taylor expansion of V in V
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 1 into 1
6.170 * [taylor]: Taking taylor expansion of l in V
6.170 * [backup-simplify]: Simplify l into l
6.170 * [backup-simplify]: Simplify (* 0 l) into 0
6.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.170 * [backup-simplify]: Simplify (/ 1 l) into (/ 1 l)
6.170 * [taylor]: Taking taylor expansion of (/ 1 l) in l
6.170 * [taylor]: Taking taylor expansion of l in l
6.170 * [backup-simplify]: Simplify 0 into 0
6.170 * [backup-simplify]: Simplify 1 into 1
6.171 * [backup-simplify]: Simplify (/ 1 1) into 1
6.171 * [backup-simplify]: Simplify 1 into 1
6.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)))) into 0
6.172 * [taylor]: Taking taylor expansion of 0 in l
6.172 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)))) into 0
6.174 * [taylor]: Taking taylor expansion of 0 in l
6.174 * [backup-simplify]: Simplify 0 into 0
6.174 * [backup-simplify]: Simplify 0 into 0
6.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.175 * [backup-simplify]: Simplify 0 into 0
6.177 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 l))))) into 0
6.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 l) (/ 0 l)) (* 0 (/ 0 l)) (* 0 (/ 0 l)))) into 0
6.177 * [taylor]: Taking taylor expansion of 0 in l
6.177 * [backup-simplify]: Simplify 0 into 0
6.177 * [backup-simplify]: Simplify 0 into 0
6.177 * [backup-simplify]: Simplify 0 into 0
6.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.178 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (/ 1 V))) into (/ 1 (* V l))
6.179 * [backup-simplify]: Simplify (/ 1 (* (/ 1 V) (/ 1 l))) into (* V l)
6.179 * [approximate]: Taking taylor expansion of (* V l) in (V l) around 0
6.179 * [taylor]: Taking taylor expansion of (* V l) in l
6.179 * [taylor]: Taking taylor expansion of V in l
6.179 * [backup-simplify]: Simplify V into V
6.179 * [taylor]: Taking taylor expansion of l in l
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify 1 into 1
6.179 * [taylor]: Taking taylor expansion of (* V l) in V
6.179 * [taylor]: Taking taylor expansion of V in V
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify 1 into 1
6.179 * [taylor]: Taking taylor expansion of l in V
6.179 * [backup-simplify]: Simplify l into l
6.179 * [taylor]: Taking taylor expansion of (* V l) in V
6.179 * [taylor]: Taking taylor expansion of V in V
6.179 * [backup-simplify]: Simplify 0 into 0
6.179 * [backup-simplify]: Simplify 1 into 1
6.179 * [taylor]: Taking taylor expansion of l in V
6.179 * [backup-simplify]: Simplify l into l
6.180 * [backup-simplify]: Simplify (* 0 l) into 0
6.180 * [taylor]: Taking taylor expansion of 0 in l
6.180 * [backup-simplify]: Simplify 0 into 0
6.180 * [backup-simplify]: Simplify 0 into 0
6.180 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.180 * [taylor]: Taking taylor expansion of l in l
6.180 * [backup-simplify]: Simplify 0 into 0
6.180 * [backup-simplify]: Simplify 1 into 1
6.180 * [backup-simplify]: Simplify 0 into 0
6.180 * [backup-simplify]: Simplify 0 into 0
6.181 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.181 * [taylor]: Taking taylor expansion of 0 in l
6.181 * [backup-simplify]: Simplify 0 into 0
6.181 * [backup-simplify]: Simplify 0 into 0
6.181 * [backup-simplify]: Simplify 1 into 1
6.182 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.183 * [taylor]: Taking taylor expansion of 0 in l
6.183 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify 0 into 0
6.183 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 l))))) into 0
6.186 * [taylor]: Taking taylor expansion of 0 in l
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify (* 1 (* (/ 1 l) (/ 1 V))) into (/ 1 (* V l))
6.186 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- V)) (/ 1 (- l)))) into (* V l)
6.186 * [approximate]: Taking taylor expansion of (* V l) in (V l) around 0
6.186 * [taylor]: Taking taylor expansion of (* V l) in l
6.186 * [taylor]: Taking taylor expansion of V in l
6.186 * [backup-simplify]: Simplify V into V
6.186 * [taylor]: Taking taylor expansion of l in l
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [taylor]: Taking taylor expansion of (* V l) in V
6.186 * [taylor]: Taking taylor expansion of V in V
6.186 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 1 into 1
6.187 * [taylor]: Taking taylor expansion of l in V
6.187 * [backup-simplify]: Simplify l into l
6.187 * [taylor]: Taking taylor expansion of (* V l) in V
6.187 * [taylor]: Taking taylor expansion of V in V
6.187 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 1 into 1
6.187 * [taylor]: Taking taylor expansion of l in V
6.187 * [backup-simplify]: Simplify l into l
6.187 * [backup-simplify]: Simplify (* 0 l) into 0
6.187 * [taylor]: Taking taylor expansion of 0 in l
6.187 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 0 into 0
6.188 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 l)) into l
6.188 * [taylor]: Taking taylor expansion of l in l
6.188 * [backup-simplify]: Simplify 0 into 0
6.188 * [backup-simplify]: Simplify 1 into 1
6.188 * [backup-simplify]: Simplify 0 into 0
6.188 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 l))) into 0
6.189 * [taylor]: Taking taylor expansion of 0 in l
6.189 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify 1 into 1
6.189 * [backup-simplify]: Simplify 0 into 0
6.190 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 l)))) into 0
6.190 * [taylor]: Taking taylor expansion of 0 in l
6.190 * [backup-simplify]: Simplify 0 into 0
6.190 * [backup-simplify]: Simplify 0 into 0
6.191 * [backup-simplify]: Simplify 0 into 0
6.191 * [backup-simplify]: Simplify 0 into 0
6.191 * [backup-simplify]: Simplify 0 into 0
6.192 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 l))))) into 0
6.192 * [taylor]: Taking taylor expansion of 0 in l
6.192 * [backup-simplify]: Simplify 0 into 0
6.192 * [backup-simplify]: Simplify 0 into 0
6.193 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- l)) (/ 1 (- V)))) into (/ 1 (* V l))
6.193 * * * [progress]: simplifying candidates
6.195 * [simplify]: Simplifying:
  (log (sqrt (* A (/ 1 (* V l)))))
  (exp (sqrt (* A (/ 1 (* V l)))))
  (* (cbrt (sqrt (* A (/ 1 (* V l))))) (cbrt (sqrt (* A (/ 1 (* V l))))))
  (cbrt (sqrt (* A (/ 1 (* V l)))))
  (* (* (sqrt (* A (/ 1 (* V l)))) (sqrt (* A (/ 1 (* V l))))) (sqrt (* A (/ 1 (* V l)))))
  (sqrt A)
  (sqrt (/ 1 (* V l)))
  (sqrt A)
  (sqrt (* V l))
  (sqrt (* A 1))
  (sqrt (* V l))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* A (/ 1 (* V l)))))
  (sqrt (sqrt (* A (/ 1 (* V l)))))
  (* A (/ 1 (* V l)))
  (+ (log A) (- (+ (log V) (log l))))
  (+ (log A) (- (log (* V l))))
  (+ (log A) (- 0 (+ (log V) (log l))))
  (+ (log A) (- 0 (log (* V l))))
  (+ (log A) (- (log 1) (+ (log V) (log l))))
  (+ (log A) (- (log 1) (log (* V l))))
  (+ (log A) (log (/ 1 (* V l))))
  (log (* A (/ 1 (* V l))))
  (exp (* A (/ 1 (* V l))))
  (* (* (* A A) A) (/ (* (* 1 1) 1) (* (* (* V V) V) (* (* l l) l))))
  (* (* (* A A) A) (/ (* (* 1 1) 1) (* (* (* V l) (* V l)) (* V l))))
  (* (* (* A A) A) (* (* (/ 1 (* V l)) (/ 1 (* V l))) (/ 1 (* V l))))
  (* (cbrt (* A (/ 1 (* V l)))) (cbrt (* A (/ 1 (* V l)))))
  (cbrt (* A (/ 1 (* V l))))
  (* (* (* A (/ 1 (* V l))) (* A (/ 1 (* V l)))) (* A (/ 1 (* V l))))
  (sqrt (* A (/ 1 (* V l))))
  (sqrt (* A (/ 1 (* V l))))
  (* (sqrt A) (sqrt (/ 1 (* V l))))
  (* (sqrt A) (sqrt (/ 1 (* V l))))
  (* A (* (cbrt (/ 1 (* V l))) (cbrt (/ 1 (* V l)))))
  (* A (sqrt (/ 1 (* V l))))
  (* A (/ (* (cbrt 1) (cbrt 1)) V))
  (* A (/ (sqrt 1) V))
  (* A (/ 1 V))
  (* A 1)
  (* A 1)
  (* (cbrt A) (/ 1 (* V l)))
  (* (sqrt A) (/ 1 (* V l)))
  (* A (/ 1 (* V l)))
  (* A 1)
  (* c0 (sqrt (* A (/ 1 (* V l)))))
  (+ (log c0) (log (sqrt (* A (/ 1 (* V l))))))
  (log (* c0 (sqrt (* A (/ 1 (* V l))))))
  (exp (* c0 (sqrt (* A (/ 1 (* V l))))))
  (* (* (* c0 c0) c0) (* (* (sqrt (* A (/ 1 (* V l)))) (sqrt (* A (/ 1 (* V l))))) (sqrt (* A (/ 1 (* V l))))))
  (* (cbrt (* c0 (sqrt (* A (/ 1 (* V l)))))) (cbrt (* c0 (sqrt (* A (/ 1 (* V l)))))))
  (cbrt (* c0 (sqrt (* A (/ 1 (* V l))))))
  (* (* (* c0 (sqrt (* A (/ 1 (* V l))))) (* c0 (sqrt (* A (/ 1 (* V l)))))) (* c0 (sqrt (* A (/ 1 (* V l))))))
  (sqrt (* c0 (sqrt (* A (/ 1 (* V l))))))
  (sqrt (* c0 (sqrt (* A (/ 1 (* V l))))))
  (* (sqrt c0) (sqrt (sqrt (* A (/ 1 (* V l))))))
  (* (sqrt c0) (sqrt (sqrt (* A (/ 1 (* V l))))))
  (* c0 (* (cbrt (sqrt (* A (/ 1 (* V l))))) (cbrt (sqrt (* A (/ 1 (* V l)))))))
  (* c0 (sqrt A))
  (* c0 (sqrt (sqrt (* A (/ 1 (* V l))))))
  (* c0 1)
  (* (cbrt c0) (sqrt (* A (/ 1 (* V l)))))
  (* (sqrt c0) (sqrt (* A (/ 1 (* V l)))))
  (* c0 (sqrt (* A (/ 1 (* V l)))))
  (* c0 (sqrt A))
  (* c0 (sqrt (* A 1)))
  (- 1)
  (- 1)
  (- (+ (log V) (log l)))
  (- (log (* V l)))
  (- 0 (+ (log V) (log l)))
  (- 0 (log (* V l)))
  (- (log 1) (+ (log V) (log l)))
  (- (log 1) (log (* V l)))
  (log (/ 1 (* V l)))
  (exp (/ 1 (* V l)))
  (/ (* (* 1 1) 1) (* (* (* V V) V) (* (* l l) l)))
  (/ (* (* 1 1) 1) (* (* (* V l) (* V l)) (* V l)))
  (* (cbrt (/ 1 (* V l))) (cbrt (/ 1 (* V l))))
  (cbrt (/ 1 (* V l)))
  (* (* (/ 1 (* V l)) (/ 1 (* V l))) (/ 1 (* V l)))
  (sqrt (/ 1 (* V l)))
  (sqrt (/ 1 (* V l)))
  (- 1)
  (- (* V l))
  (/ (* (cbrt 1) (cbrt 1)) V)
  (/ (cbrt 1) l)
  (/ (sqrt 1) V)
  (/ (sqrt 1) l)
  (/ 1 V)
  (/ 1 l)
  (/ 1 (* V l))
  (/ (* V l) 1)
  (/ 1 V)
  (/ (* V l) (cbrt 1))
  (/ (* V l) (sqrt 1))
  (/ (* V l) 1)
  (* +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)))
  (/ 1 (* V l))
  (/ 1 (* V l))
  (/ 1 (* V l))
6.198 * * [simplify]: iteration 0: 125 enodes
6.282 * * [simplify]: iteration 1: 306 enodes
6.465 * * [simplify]: iteration 2: 924 enodes