Mul Add x3 x0 Pow asinh x0 Pow Mul x3 x1 asec x0 
Add Pow asinh x0 Pow Mul x3 x1 asec x0 Mul Add x3 x0 Mul Pow asinh x0 Add Pow Mul x3 x1 asec x0 -1 Add Mul Pow Mul x3 x1 asec x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul Pow Mul x3 x1 Add asec x0 -1 Mul Mul Mul x3 x1 log Mul x3 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 