Add Mul Mul x0 Add x4 x0 Mul Pow Mul Add x0 x0 E acoth x2 x0 x0 
Add Add Mul Mul Pow Mul Add x0 x0 E acoth x2 x0 Add Add x4 x0 x0 Mul Mul x0 Add x4 x0 Add Mul x0 Mul Pow Mul Add x0 x0 E Add acoth x2 -1 Mul acoth x2 Mul E 2 Pow Mul Add x0 x0 E acoth x2 1 