asin acoth Mul E Add Add x0 x0 1 
Mul Mul Mul E 2 Pow Add 1 Mul -1 Mul Mul E Add Add x0 x0 1 Mul E Add Add x0 x0 1 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul E Add Add x0 x0 1 acoth Mul E Add Add x0 x0 1 -1 