Pow asinh Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 x0 
Mul Pow asinh Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 Add x0 -1 Add Mul x0 Mul x5 Pow sqrt Add 1 Mul Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 -1 Mul asinh Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 log asinh Mul Add x0 sqrt Mul sec x6 Mul x1 2 x5 