Mul Add x0 Add x5 Pow Pow Mul acosh x0 x0 x0 Pow Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 log x0 x2 
Mul x2 Add 1 Mul Pow Pow Mul acosh x0 x0 x0 Add Pow Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 log x0 -1 Add Mul Pow Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 log x0 Mul Pow Mul acosh x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Mul Mul acosh x0 x0 log Mul acosh x0 x0 Mul Mul Pow Mul acosh x0 x0 x0 log Pow Mul acosh x0 x0 x0 Mul Pow Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 Add log x0 -1 Add Mul log x0 Mul Mul 3 x1 Mul Pow acos x0 Add asech Mul x6 -2 -1 Mul asech Mul x6 -2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 log Mul Pow acos x0 asech Mul x6 -2 Mul 3 x1 Pow x0 -1 