Text this: Rigorous Approximation of Diffusion Coefficients for Expanding Maps.