Add Pow Mul x6 -4 Add x1 Pow coth Pow x0 x3 x3 x0 
Add Mul Pow Mul x6 -4 Add Add x1 Pow coth Pow x0 x3 x3 -1 Mul Mul Mul x6 -4 log Mul x6 -4 Mul Pow coth Pow x0 x3 Add x3 -1 Mul x3 Mul Mul -1 Pow csch Pow x0 x3 2 Mul Pow x0 Add x3 -1 x3 1 