Mul Mul Mul x0 x0 Pow Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 Pow atanh x0 x2 Add acoth x0 x5 
Add Mul Add acoth x0 x5 Add Mul Pow Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 Pow atanh x0 x2 Add x0 x0 Mul Mul x0 x0 Mul Pow Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 Add Pow atanh x0 x2 -1 Add Mul Pow atanh x0 x2 Mul Pow cosh Pow Pow acoth x0 x0 sinh x0 Add Pow x7 x6 -1 Mul Pow x7 x6 Mul sinh Pow Pow acoth x0 x0 sinh x0 Mul Pow Pow acoth x0 x0 Add sinh x0 -1 Add Mul sinh x0 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 Mul Mul Pow acoth x0 x0 log Pow acoth x0 x0 cosh x0 Mul Mul Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 log Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 Mul Pow atanh x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 x0 Pow Pow cosh Pow Pow acoth x0 x0 sinh x0 Pow x7 x6 Pow atanh x0 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 