(DEFUN sqrt (X) (SQRT X))