Pow sqrt Add asech sinh x0 x0 5 
Mul Pow sqrt Add asech sinh x0 x0 4 Mul 5 Mul Pow Mul 2 sqrt Add asech sinh x0 x0 -1 Add Mul cosh x0 Pow Mul Mul sinh x0 sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 -1 1 