Pow Pow Pow x0 coth pi x7 x0 
Mul Pow Pow Pow x0 coth pi x7 Add x0 -1 Add Mul x0 Mul Pow Pow x0 coth pi Add x7 -1 Mul x7 Mul Pow x0 Add coth pi -1 coth pi Mul Pow Pow x0 coth pi x7 log Pow Pow x0 coth pi x7 