Mul x0 Pow asec Mul Add x0 1.73205080756888 Pow log x0 sech E x0 
Add Pow asec Mul Add x0 1.73205080756888 Pow log x0 sech E x0 Mul x0 Mul Pow asec Mul Add x0 1.73205080756888 Pow log x0 sech E Add x0 -1 Add Mul x0 Mul Add Pow log x0 sech E Mul Add x0 1.73205080756888 Mul Pow log x0 Add sech E -1 Mul sech E Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add x0 1.73205080756888 Pow log x0 sech E Mul Add x0 1.73205080756888 Pow log x0 sech E -1 Mul Add x0 1.73205080756888 Pow log x0 sech E Mul Add x0 1.73205080756888 Pow log x0 sech E -1 Mul asec Mul Add x0 1.73205080756888 Pow log x0 sech E log asec Mul Add x0 1.73205080756888 Pow log x0 sech E 