Add log Mul Pow x6 log x2 Pow x0 x5 Mul Mul 5 acosh acos x0 -4 
Add Mul Mul Pow x6 log x2 Mul Pow x0 Add x5 -1 x5 Pow Mul Pow x6 log x2 Pow x0 x5 -1 Mul -4 Mul 5 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acos x0 -1 sqrt Add 1 acos x0 -1 