Mul x0 Add Pow acos Add -1 Mul x0 x5 coth Add Add E 4 x3 Mul acot Pow E Add coth x0 x0 -1 
Add Add Pow acos Add -1 Mul x0 x5 coth Add Add E 4 x3 Mul acot Pow E Add coth x0 x0 -1 Mul x0 Add Mul Pow acos Add -1 Mul x0 x5 Add coth Add Add E 4 x3 -1 Mul coth Add Add E 4 x3 Mul -1 Mul x5 Pow sqrt Add 1 Mul -1 Mul Add -1 Mul x0 x5 Add -1 Mul x0 x5 -1 Mul -1 Mul -1 Mul Mul Pow E Add Add coth x0 x0 -1 Mul Mul E log E Add Mul -1 Pow csch x0 2 1 Pow Add 1 Mul Pow E Add coth x0 x0 Pow E Add coth x0 x0 -1 