coth Add Pow Mul x0 Add Pow Pow atanh log log csch x0 acosh E x0 x0 x7 -3 
Mul Mul -1 Pow csch Add Pow Mul x0 Add Pow Pow atanh log log csch x0 acosh E x0 x0 x7 -3 2 Mul Pow Mul x0 Add Pow Pow atanh log log csch x0 acosh E x0 x0 Add x7 -1 Mul x7 Add Add Pow Pow atanh log log csch x0 acosh E x0 x0 Mul x0 Add Mul Pow Pow atanh log log csch x0 acosh E Add x0 -1 Add Mul x0 Mul Pow atanh log log csch x0 Add acosh E -1 Mul acosh E Mul Mul Mul Mul Mul -1 coth x0 csch x0 Pow csch x0 -1 Pow log csch x0 -1 Pow Add 1 Mul -1 Mul log log csch x0 log log csch x0 -1 Mul Pow atanh log log csch x0 acosh E log Pow atanh log log csch x0 acosh E 1 