Add Mul -4 x0 Mul asinh Mul Pow acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 Add x0 -1 -2 x7 
Add -4 Mul x7 Mul Mul -2 Mul Pow acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 Add Add x0 -1 -1 Add Mul Add x0 -1 Mul Mul x7 asec cosh asin x2 Pow Mul sqrt Add Mul x7 Add 2 Mul x0 asec cosh asin x2 -1 sqrt Add 1 Mul x7 Add 2 Mul x0 asec cosh asin x2 -1 Mul acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 log acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 Pow sqrt Add 1 Mul Mul Pow acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 Add x0 -1 -2 Mul Pow acosh Mul x7 Add 2 Mul x0 asec cosh asin x2 Add x0 -1 -2 -1 