Add acsch x0 acsch Add 3 Pow 2 Pow x0 asech E 
Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul -1 Mul Pow 2 Add Pow x0 asech E -1 Mul 2.69314718055995 Mul Pow x0 Add asech E -1 asech E Pow Mul Mul Add 3 Pow 2 Pow x0 asech E Add 3 Pow 2 Pow x0 asech E sqrt Add 1 Mul -1 Pow Mul Add 3 Pow 2 Pow x0 asech E Add 3 Pow 2 Pow x0 asech E -1 -1 