Add Pow Pow cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 sqrt x0 x0 asech x0 
Add Mul Pow Pow cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 sqrt x0 Add x0 -1 Add Mul x0 Mul Pow cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 Add sqrt x0 -1 Add Mul sqrt x0 Mul sinh asin Pow Mul x4 x5 Mul Add x0 x6 -2 Mul Mul Pow Mul x4 x5 Add Mul Add x0 x6 -2 -1 Mul Mul Mul x4 x5 log Mul x4 x5 -2 Pow sqrt Add 1 Mul -1 Mul Pow Mul x4 x5 Mul Add x0 x6 -2 Pow Mul x4 x5 Mul Add x0 x6 -2 -1 Mul Mul cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 log cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 Pow Mul 2 sqrt x0 -1 Mul Pow cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 sqrt x0 log Pow cosh asin Pow Mul x4 x5 Mul Add x0 x6 -2 sqrt x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 