Pow Pow Add acoth x7 Mul cosh x3 x0 x0 pi 
Mul Pow Pow Add acoth x7 Mul cosh x3 x0 x0 Add pi -1 Mul pi Mul Pow Add acoth x7 Mul cosh x3 x0 Add x0 -1 Add Mul x0 cosh x3 Mul Add acoth x7 Mul cosh x3 x0 log Add acoth x7 Mul cosh x3 x0 