Pow Pow Mul Add x1 csch x4 x0 acsch x2 Mul acoth x0 x0 
Mul Pow Pow Mul Add x1 csch x4 x0 acsch x2 Add Mul acoth x0 x0 -1 Add Mul Mul acoth x0 x0 Mul Pow Mul Add x1 csch x4 x0 Add acsch x2 -1 Mul acsch x2 Add x1 csch x4 Mul Mul Pow Mul Add x1 csch x4 x0 acsch x2 log Pow Mul Add x1 csch x4 x0 acsch x2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 