tan Mul cosh Add x0 acoth exp cosh x0 -1 
Mul Pow sec Mul cosh Add x0 acoth exp cosh x0 -1 2 Mul -1 Mul sinh Add x0 acoth exp cosh x0 Add 1 Mul Mul exp cosh x0 sinh x0 Pow Add 1 Mul -1 Mul exp cosh x0 exp cosh x0 -1 