: (bench (do 99999999))
0.328 sec
-> NIL
: (bench (do 99999999 A A A A A A))
0.572 sec
-> NIL
: (bench (do 99999999 (not A) (not A) (not A) (not A) (not A) (not A)))
2.539 sec
-> T