Solution (source code)

= Solution

The <hyperbolic functions> identity eliminates $t$ from the <parametric curve>:
$$
\boxed{\frac{x^2}{a^2}-\frac{y^2}{b^2}=1,\qquad x\geq a}.
$$
The restriction is essential: $\cosh t\geq1$, so the parametrization traces only the right branch of the full <hyperbola>. Conversely, every point on that right branch is reached by taking $t=\operatorname{arsinh}(y/b)$.