Mul Pow Mul x0 4 tanh x0 Pow x0 coth x7 
Add Mul Pow x0 coth x7 Mul Pow Mul x0 4 Add tanh x0 -1 Add Mul tanh x0 4 Mul Mul Mul x0 4 log Mul x0 4 Pow sech x0 2 Mul Pow Mul x0 4 tanh x0 Mul Pow x0 Add coth x7 -1 coth x7 