Antiderivatives and Core Integration Techniques