sech asech atanh tanh Pow acosh x3 x0 
Mul Mul tanh asech atanh tanh Pow acosh x3 x0 Mul -1 sech asech atanh tanh Pow acosh x3 x0 Mul Mul Mul Pow sech Pow acosh x3 x0 2 Mul Pow acosh x3 Add x0 -1 Mul acosh x3 log acosh x3 Pow Add 1 Mul -1 Mul tanh Pow acosh x3 x0 tanh Pow acosh x3 x0 -1 Pow Mul Mul atanh tanh Pow acosh x3 x0 atanh tanh Pow acosh x3 x0 sqrt Add 1 Mul -1 Pow Mul atanh tanh Pow acosh x3 x0 atanh tanh Pow acosh x3 x0 -1 -1 