D-finite function