($ (twice n) (* n 2))
($ pi 3.14159)