Mul x7 Add 2 Pow Mul coth x0 x0 Mul Pow acot Add atanh Mul pi E x0 4 acot sec x6 
Mul x7 Mul Pow Mul coth x0 x0 Add Mul Pow acot Add atanh Mul pi E x0 4 acot sec x6 -1 Add Mul Mul Pow acot Add atanh Mul pi E x0 4 acot sec x6 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Mul Mul Mul coth x0 x0 log Mul coth x0 x0 Mul acot sec x6 Mul Pow acot Add atanh Mul pi E x0 3 Mul 4 Mul -1 Pow Add 1 Mul Add atanh Mul pi E x0 Add atanh Mul pi E x0 -1 