“…Most research has focused on the inference of polynomial bounds on the worst-case cost of the program under analysis. A few papers also target the inference of exponential and logarithmic bounds (Albert et al, 2008;Avanzini et al, 2011;Chatterjee et al, 2017;Kahn and Hoffmann, 2020;Wang et al, 2017;Winkler and Moser, 2020). Some of the cited approaches are able to conduct an automated amortised analysis in the sense of Sleator and Tarjan: The work on type-based cost analysis by Martin Hofmann and his collaborators (Hoffmann, 2011;Hoffmann et al, 2012aHoffmann et al, , 2017Hofmann and Jost, 2003;Moser, 2014, 2015;Hoffmann and Shao, 2015a,b;Jost et al, 2009Jost et al, , 2010Jost et al, , 2017), which we discuss in more detail below, directly employs potential functions as proposed in Sleator and Tarjan (1985); Tarjan (1985).…”