Mul x0 Add Add x2 acoth sqrt Pow Mul -4 x2 x0 atanh E 
Add Add Add x2 acoth sqrt Pow Mul -4 x2 x0 atanh E Mul x0 Mul Mul Pow Mul 2 sqrt Pow Mul -4 x2 x0 -1 Mul Pow Mul -4 x2 Add x0 -1 Mul Mul -4 x2 log Mul -4 x2 Pow Add 1 Mul -1 Mul sqrt Pow Mul -4 x2 x0 sqrt Pow Mul -4 x2 x0 -1 