Add 3 exp log acoth asin Add Mul E Add x0 x0 pi 
Mul exp log acoth asin Add Mul E Add x0 x0 pi Mul Mul Mul Mul E 2 Pow sqrt Add 1 Mul -1 Mul Add Mul E Add x0 x0 pi Add Mul E Add x0 x0 pi -1 Pow Add 1 Mul -1 Mul asin Add Mul E Add x0 x0 pi asin Add Mul E Add x0 x0 pi -1 Pow acoth asin Add Mul E Add x0 x0 pi -1 