Add x0 Mul Add Pow Pow coth x4 x0 x0 atan x1 cosh Add pi x7 
Add 1 Mul cosh Add pi x7 Mul Pow Pow coth x4 x0 Add x0 -1 Add Mul x0 Mul Pow coth x4 Add x0 -1 Mul coth x4 log coth x4 Mul Pow coth x4 x0 log Pow coth x4 x0 