Mul acos Add Pow x1 x0 Mul -3 asinh x7 exp asinh Pow Mul 2 Add Add 1 x0 x7 x2 
Add Mul exp asinh Pow Mul 2 Add Add 1 x0 x7 x2 Mul -1 Mul Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul -1 Mul Add Pow x1 x0 Mul -3 asinh x7 Add Pow x1 x0 Mul -3 asinh x7 -1 Mul acos Add Pow x1 x0 Mul -3 asinh x7 Mul exp asinh Pow Mul 2 Add Add 1 x0 x7 x2 Mul Mul Pow Mul 2 Add Add 1 x0 x7 Add x2 -1 Mul x2 2 Pow sqrt Add 1 Mul Pow Mul 2 Add Add 1 x0 x7 x2 Pow Mul 2 Add Add 1 x0 x7 x2 -1 