Add x3 sinh Mul 2 Add Add x6 Add x0 8 asinh sec sec x0 
Mul cosh Mul 2 Add Add x6 Add x0 8 asinh sec sec x0 Mul 2 Add 1 Mul Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul sec sec x0 sec sec x0 -1 