hoa: Higher-Order Asymptotics