Mul Pow Mul Mul -2 csch x5 3 sin x0 Pow Mul x0 acoth Pow x3 4 acoth x0 
Add Mul Pow Mul x0 acoth Pow x3 4 acoth x0 Mul Pow Mul Mul -2 csch x5 3 Add sin x0 -1 Mul Mul Mul Mul -2 csch x5 3 log Mul Mul -2 csch x5 3 cos x0 Mul Pow Mul Mul -2 csch x5 3 sin x0 Mul Pow Mul x0 acoth Pow x3 4 Add acoth x0 -1 Add Mul acoth x0 acoth Pow x3 4 Mul Mul Mul x0 acoth Pow x3 4 log Mul x0 acoth Pow x3 4 Pow Add 1 Mul -1 Mul x0 x0 -1 