sinh Pow x0 Add Add x0 sqrt x6 Pow x0 asec x3 
Mul cosh Pow x0 Add Add x0 sqrt x6 Pow x0 asec x3 Mul Pow x0 Add Add Add x0 sqrt x6 Pow x0 asec x3 -1 Add Add Add x0 sqrt x6 Pow x0 asec x3 Mul Mul x0 log x0 Add 1 Mul Pow x0 Add asec x3 -1 asec x3 