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