Add Add Pow acos x0 E Pow 1.73205080756888 x0 acoth x0 
Add Add Mul Pow acos x0 Add E -1 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow 1.73205080756888 Add x0 -1 2.28135695190293 Pow Add 1 Mul -1 Mul x0 x0 -1 