Derive a holonomic system for the inner single integral in Example 1

<< RISC`HolonomicFunctions`;

HolonomicFunctions Package version 1.7.3 (21-Mar-2017)
written by Christoph Koutschan
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria

ann = <<ec1_ann.m;

Timing[ann1=CreativeTelescoping[ann,Der[t]][[1]];] (* compute a holonomic system ann1 of the inner single integral *)

ann1 >> ec1_ann1.m; (* output ann1 *)