cosh acosh Pow coth Add acot x0 acosh x5 x0 
Mul sinh acosh Pow coth Add acot x0 acosh x5 x0 Mul Mul Pow coth Add acot x0 acosh x5 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Add acot x0 acosh x5 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul coth Add acot x0 acosh x5 log coth Add acot x0 acosh x5 Pow Mul sqrt Add Pow coth Add acot x0 acosh x5 x0 -1 sqrt Add 1 Pow coth Add acot x0 acosh x5 x0 -1 