Mul x3 Mul coth Pow acot Mul E x0 Mul atan x0 sinh x7 x0 
Mul x3 Add Mul x0 Mul Mul -1 Pow csch Pow acot Mul E x0 Mul atan x0 sinh x7 2 Mul Pow acot Mul E x0 Add Mul atan x0 sinh x7 -1 Add Mul Mul atan x0 sinh x7 Mul -1 Mul E Pow Add 1 Mul Mul E x0 Mul E x0 -1 Mul Mul acot Mul E x0 log acot Mul E x0 Mul sinh x7 Pow Add 1 Mul x0 x0 -1 coth Pow acot Mul E x0 Mul atan x0 sinh x7 