(let ((x (: math sin 0.5)))
  ...)