Mul Pow x0 2 acosh Add asinh Add x0 x0 Pow Add Pow x0 x7 x2 asech Pow x0 E 
Add Mul acosh Add asinh Add x0 x0 Pow Add Pow x0 x7 x2 asech Pow x0 E Mul x0 2 Mul Pow x0 2 Mul Add Mul 2 Pow sqrt Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Pow Add Pow x0 x7 x2 Add asech Pow x0 E -1 Add Mul asech Pow x0 E Mul Pow x0 Add x7 -1 x7 Mul Mul Add Pow x0 x7 x2 log Add Pow x0 x7 x2 Mul Mul Pow x0 Add E -1 E Pow Mul Mul Pow x0 E Pow x0 E sqrt Add 1 Mul -1 Pow Mul Pow x0 E Pow x0 E -1 -1 Pow Mul sqrt Add Add asinh Add x0 x0 Pow Add Pow x0 x7 x2 asech Pow x0 E -1 sqrt Add 1 Add asinh Add x0 x0 Pow Add Pow x0 x7 x2 asech Pow x0 E -1 