Pow Add sec Add sinh x0 x0 Mul -1 Pow sqrt x6 x0 2 
Mul Add sec Add sinh x0 x0 Mul -1 Pow sqrt x6 x0 Mul 2 Add Mul Mul tan Add sinh x0 x0 sec Add sinh x0 x0 Add cosh x0 1 Mul -1 Mul Pow sqrt x6 Add x0 -1 Mul sqrt x6 log sqrt x6 