Pow E Pow Pow acoth x3 Pow Pow x0 pi exp x0 3 
Mul Pow E Add Pow Pow acoth x3 Pow Pow x0 pi exp x0 3 -1 Mul Mul E log E Mul Pow Pow acoth x3 Pow Pow x0 pi exp x0 2 Mul 3 Mul Pow acoth x3 Add Pow Pow x0 pi exp x0 -1 Mul Mul acoth x3 log acoth x3 Mul Pow Pow x0 pi Add exp x0 -1 Add Mul exp x0 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi exp x0 