Mul x0 sin Pow pi Pow coth coth x3 Mul x7 x0 
Add sin Pow pi Pow coth coth x3 Mul x7 x0 Mul x0 Mul cos Pow pi Pow coth coth x3 Mul x7 x0 Mul Pow pi Add Pow coth coth x3 Mul x7 x0 -1 Mul Mul pi log pi Mul Pow coth coth x3 Add Mul x7 x0 -1 Mul Mul coth coth x3 log coth coth x3 x7 