Tag derivative of tan inverse x