acosh Add x0 coth Pow x0 sqrt x7 
Mul Add 1 Mul Mul -1 Pow csch Pow x0 sqrt x7 2 Mul Pow x0 Add sqrt x7 -1 sqrt x7 Pow Mul sqrt Add Add x0 coth Pow x0 sqrt x7 -1 sqrt Add 1 Add x0 coth Pow x0 sqrt x7 -1 