Episode 1022: ?(2^ln x)/x dx Antiderivative Example