Mul x0 Mul x0 atanh Pow Pow coth Mul x0 -4 Add x1 x0 -3 
Add Mul x0 atanh Pow Pow coth Mul x0 -4 Add x1 x0 -3 Mul x0 Add atanh Pow Pow coth Mul x0 -4 Add x1 x0 -3 Mul x0 Mul Mul Pow Pow coth Mul x0 -4 Add x1 x0 4 Mul -3 Mul Pow coth Mul x0 -4 Add Add x1 x0 -1 Add Mul Add x1 x0 Mul Mul -1 Pow csch Mul x0 -4 2 -4 Mul coth Mul x0 -4 log coth Mul x0 -4 Pow Add 1 Mul -1 Mul Pow Pow coth Mul x0 -4 Add x1 x0 -3 Pow Pow coth Mul x0 -4 Add x1 x0 -3 -1 