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