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