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