Mul Pow Pow Mul Pow sqrt x0 E x0 x5 asech x0 sinh x7 
Mul sinh x7 Mul Pow Pow Mul Pow sqrt x0 E x0 x5 Add asech x0 -1 Add Mul asech x0 Mul Pow Mul Pow sqrt x0 E x0 Add x5 -1 Mul x5 Add Mul x0 Mul Pow sqrt x0 Add E -1 Mul E Pow Mul 2 sqrt x0 -1 Pow sqrt x0 E Mul Mul Pow Mul Pow sqrt x0 E x0 x5 log Pow Mul Pow sqrt x0 E x0 x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 