Add x0 Pow Add coth x7 Add x0 Add coth x7 Pow acsc x6 E Mul x0 x0 
Add 1 Mul Pow Add coth x7 Add x0 Add coth x7 Pow acsc x6 E Add Mul x0 x0 -1 Add Mul x0 x0 Mul Mul Add coth x7 Add x0 Add coth x7 Pow acsc x6 E log Add coth x7 Add x0 Add coth x7 Pow acsc x6 E Add x0 x0 