(display (* (asin 1) 2))
(newline)