Mul Pow Pow acot Mul csch x0 x4 -5 Mul cot Pow E x0 E x3 
Mul x3 Mul Pow Pow acot Mul csch x0 x4 -5 Add Mul cot Pow E x0 E -1 Add Mul Mul cot Pow E x0 E Mul Pow acot Mul csch x0 x4 6 Mul -5 Mul -1 Mul Mul x4 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul Mul csch x0 x4 Mul csch x0 x4 -1 Mul Mul Pow acot Mul csch x0 x4 -5 log Pow acot Mul csch x0 x4 -5 Mul E Mul Mul -1 Pow csc Pow E x0 2 Mul Pow E Add x0 -1 Mul E log E 