Add Pow x0 Pow cosh x0 Mul pi Add x0 Add acoth x2 x3 x0 
Add Mul Pow x0 Add Pow cosh x0 Mul pi Add x0 Add acoth x2 x3 -1 Add Pow cosh x0 Mul pi Add x0 Add acoth x2 x3 Mul Mul x0 log x0 Mul Pow cosh x0 Add Mul pi Add x0 Add acoth x2 x3 -1 Add Mul Mul pi Add x0 Add acoth x2 x3 sinh x0 Mul Mul cosh x0 log cosh x0 pi 1 