Pow x7 Pow sqrt Pow Pow x0 Add x0 x0 pi Mul Pow acoth x0 x1 x0 
Mul Pow x7 Add Pow sqrt Pow Pow x0 Add x0 x0 pi Mul Pow acoth x0 x1 x0 -1 Mul Mul x7 log x7 Mul Pow sqrt Pow Pow x0 Add x0 x0 pi Add Mul Pow acoth x0 x1 x0 -1 Add Mul Mul Pow acoth x0 x1 x0 Mul Pow Mul 2 sqrt Pow Pow x0 Add x0 x0 pi -1 Mul Pow Pow x0 Add x0 x0 Add pi -1 Mul pi Mul Pow x0 Add Add x0 x0 -1 Add Add x0 x0 Mul Mul x0 log x0 2 Mul Mul sqrt Pow Pow x0 Add x0 x0 pi log sqrt Pow Pow x0 Add x0 x0 pi Add Mul x0 Mul Pow acoth x0 Add x1 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 x1 