1: \begin{abstract} Let $G$ be a group acting acylindrically on a hyperbolic space and let $E$ be an exponential equation over $G$.

2: We show that $E$ is equivalent to a finite disjunction of finite systems of pairwise

3: independent equations  which are either loxodromic over virtually cyclic subgroups or elliptic.

4: We also obtain a description of the solution set of $E$. We obtain stronger results in the case where $G$ is hyperbolic relative to a collection of peripheral subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. In particular, we prove in this case that the solution sets of exponential equations over $G$ are $\mathbb{Z}$-semilinear if and only if the solution sets of exponential equations over every $H_{\lambda}$, $\lambda\in \Lambda$, are $\mathbb{Z}$-semilinear.

5: We obtain an analogous result for finite disjunctions of finite systems of exponential equations and inequations

6: over relatively hyperbolic groups in terms of definable sets in the weak Presburger arithmetic.

7: %The notion of $\mathbb{Z}$-semilinearity mimics the notion of semilinearity that appears in studying of Presburger's arithmetic.

8: \end{abstract}