;;X=sinθ;;(- 1 (* X X))=cosθ2;;(expt (- 1 (* X X)) 0.5)=cosθ(defun Arcsin(X) (Atan (/ X (expt (- 1 (* X X)) 0.5))))