Mul Mul -5 Add Mul -4 x0 5 acosh Pow Add 5 asech Add Mul sinh x0 -4 x5 Mul E x0 
Add Mul acosh Pow Add 5 asech Add Mul sinh x0 -4 x5 Mul E x0 9 Mul Mul -5 Add Mul -4 x0 5 Mul Mul Pow Add 5 asech Add Mul sinh x0 -4 x5 Add Mul E x0 -1 Add Mul Mul E x0 Mul Mul -4 cosh x0 Pow Mul Mul Add Mul sinh x0 -4 x5 Add Mul sinh x0 -4 x5 sqrt Add 1 Mul -1 Pow Mul Add Mul sinh x0 -4 x5 Add Mul sinh x0 -4 x5 -1 -1 Mul Mul Add 5 asech Add Mul sinh x0 -4 x5 log Add 5 asech Add Mul sinh x0 -4 x5 E Pow Mul sqrt Add Pow Add 5 asech Add Mul sinh x0 -4 x5 Mul E x0 -1 sqrt Add 1 Pow Add 5 asech Add Mul sinh x0 -4 x5 Mul E x0 -1 