(setq *read-default-float-format* 'double-float)
(let ((h (read)) (r (read))) (format t "~,15f~%" (+ -8.245d0 (* 6.807d0 h) (* 7.073d0 pi 2 r))))