exp csc Pow E Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 asech x0 
Mul exp csc Pow E Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 asech x0 Mul Mul Mul -1 cot Pow E Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 asech x0 csc Pow E Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 asech x0 Mul Pow E Add Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 asech x0 -1 Mul Mul E log E Mul Pow Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 Add asech x0 -1 Add Mul asech x0 Mul Pow Mul 2 sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 Mul Mul exp Add x4 Pow E x0 Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Add Mul E -4 exp Add x4 Pow E x0 -1 sqrt Add 1 Add Mul E -4 exp Add x4 Pow E x0 -1 Mul Mul Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 log Add sqrt acosh Add Mul E -4 exp Add x4 Pow E x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 