(2^ln x)/x Antiderivative Example