Antidifferentiation of Elementary Functions