Pow Add x0 -3 Mul x7 Mul Mul acos x0 acosh Add -2 x0 -4 
Mul Pow Add x0 -3 Add Mul x7 Mul Mul acos x0 acosh Add -2 x0 -4 -1 Add Mul x7 Mul Mul acos x0 acosh Add -2 x0 -4 Mul Mul Add x0 -3 log Add x0 -3 Mul x7 Mul -4 Add Mul acosh Add -2 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Pow Mul sqrt Add Add -2 x0 -1 sqrt Add 1 Add -2 x0 -1 