Mul Pow x0 Add Mul Mul Pow Pow E x0 acoth x2 Add x0 x7 x0 Add Pow pi 3 x0 x5 
Mul x5 Mul Pow x0 Add Add Mul Mul Pow Pow E x0 acoth x2 Add x0 x7 x0 Add Pow pi 3 x0 -1 Add Add Mul Mul Pow Pow E x0 acoth x2 Add x0 x7 x0 Add Pow pi 3 x0 Mul Mul x0 log x0 Add Add Mul x0 Add Mul Add x0 x7 Mul Pow Pow E x0 Add acoth x2 -1 Mul acoth x2 Mul Pow E Add x0 -1 Mul E log E Pow Pow E x0 acoth x2 Mul Pow Pow E x0 acoth x2 Add x0 x7 1 