Solution (source code)

= Solution

The exponential definitions show that $\sinh$ is <odd> and $\cosh$ is <even>. Their quotient therefore satisfies $\boxed{\tanh(-x)=-\tanh x}$.