sinh Pow Mul Add log Pow acoth x0 x0 x0 x0 atanh x6 
Mul cosh Pow Mul Add log Pow acoth x0 x0 x0 x0 atanh x6 Mul Pow Mul Add log Pow acoth x0 x0 x0 x0 Add atanh x6 -1 Mul atanh x6 Add Mul x0 Add Mul Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Pow Pow acoth x0 x0 -1 1 Add log Pow acoth x0 x0 x0 