exp Pow acos acsch Pow E Add 3 x0 5.80120415379765 
Mul exp Pow acos acsch Pow E Add 3 x0 5.80120415379765 Mul Pow acos acsch Pow E Add 3 x0 4.80120415379765 Mul 5.80120415379765 Mul -1 Mul Mul Mul -1 Mul Pow E Add Add 3 x0 -1 Mul E log E Pow Mul Mul Pow E Add 3 x0 Pow E Add 3 x0 sqrt Add 1 Mul -1 Pow Mul Pow E Add 3 x0 Pow E Add 3 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch Pow E Add 3 x0 acsch Pow E Add 3 x0 -1 