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