Mul atanh sqrt Add Add acoth x0 x0 Pow Add pi Add E -2 Mul cosh x6 x0 x0 
Add Mul x0 Mul Mul Pow Mul 2 sqrt Add Add acoth x0 x0 Pow Add pi Add E -2 Mul cosh x6 x0 -1 Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow Add pi Add E -2 Add Mul cosh x6 x0 -1 Mul Mul Add pi Add E -2 log Add pi Add E -2 cosh x6 Pow Add 1 Mul -1 Mul sqrt Add Add acoth x0 x0 Pow Add pi Add E -2 Mul cosh x6 x0 sqrt Add Add acoth x0 x0 Pow Add pi Add E -2 Mul cosh x6 x0 -1 atanh sqrt Add Add acoth x0 x0 Pow Add pi Add E -2 Mul cosh x6 x0 