antiderivative of e^(-x)tan(e^(-x)) dx