Pow asinh sec Add x0 x7 x0 
Mul Pow asinh sec Add x0 x7 Add x0 -1 Add Mul x0 Mul Mul tan Add x0 x7 sec Add x0 x7 Pow sqrt Add 1 Mul sec Add x0 x7 sec Add x0 x7 -1 Mul asinh sec Add x0 x7 log asinh sec Add x0 x7 