acos Add x0 tanh Mul acoth x3 cosh x0 
Mul -1 Mul Add 1 Mul Pow sech Mul acoth x3 cosh x0 2 Mul acoth x3 sinh x0 Pow sqrt Add 1 Mul -1 Mul Add x0 tanh Mul acoth x3 cosh x0 Add x0 tanh Mul acoth x3 cosh x0 -1 