Pow Pow Pow x0 Mul Mul E acoth x7 -1 pi x0 
Mul Pow Pow Pow x0 Mul Mul E acoth x7 -1 pi Add x0 -1 Add Mul x0 Mul Pow Pow x0 Mul Mul E acoth x7 -1 Add pi -1 Mul pi Mul Pow x0 Add Mul Mul E acoth x7 -1 -1 Mul Mul E acoth x7 -1 Mul Pow Pow x0 Mul Mul E acoth x7 -1 pi log Pow Pow x0 Mul Mul E acoth x7 -1 pi 