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