Pow coth Mul -3 x1 Pow x7 Mul 4 log Mul x1 x0 
Mul Pow coth Mul -3 x1 Add Pow x7 Mul 4 log Mul x1 x0 -1 Mul Mul coth Mul -3 x1 log coth Mul -3 x1 Mul Pow x7 Add Mul 4 log Mul x1 x0 -1 Mul Mul x7 log x7 Mul 4 Mul x1 Pow Mul x1 x0 -1 