Add x0 Add 2 Pow Pow log x0 Mul x0 x0 Mul Pow acoth Mul acos x0 E x0 Add 1.29014688959822 x0 
Add 1 Mul Pow Pow log x0 Mul x0 x0 Add Mul Pow acoth Mul acos x0 E x0 Add 1.29014688959822 x0 -1 Add Mul Mul Pow acoth Mul acos x0 E x0 Add 1.29014688959822 x0 Mul Pow log x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Pow x0 -1 Mul Mul log x0 log log x0 Add x0 x0 Mul Mul Pow log x0 Mul x0 x0 log Pow log x0 Mul x0 x0 Add Mul Add 1.29014688959822 x0 Mul Pow acoth Mul acos x0 E Add x0 -1 Add Mul x0 Mul Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul acos x0 E Mul acos x0 E -1 Mul acoth Mul acos x0 E log acoth Mul acos x0 E Pow acoth Mul acos x0 E x0 