Pow Add x0 Pow Add Add x0 Pow x0 acoth acoth E x0 E 0.841470984807897 
Mul Pow Add x0 Pow Add Add x0 Pow x0 acoth acoth E x0 E -0.158529015192103 Mul 0.841470984807897 Add 1 Mul Pow Add Add x0 Pow x0 acoth acoth E x0 Add E -1 Mul E Add Add 1 Mul Pow x0 Add acoth acoth E -1 acoth acoth E 1 