Mul Pow E Add Pow Add x2 x0 atan acoth x3 x0 x0 
Add Mul x0 Mul Pow E Add Add Pow Add x2 x0 atan acoth x3 x0 -1 Mul Mul E log E Add Mul Pow Add x2 x0 Add atan acoth x3 -1 atan acoth x3 1 Pow E Add Pow Add x2 x0 atan acoth x3 x0 