Mul x1 Pow x4 log acosh Pow x0 acos x7 
Mul x1 Mul Pow x4 Add log acosh Pow x0 acos x7 -1 Mul Mul x4 log x4 Mul Mul Mul Pow x0 Add acos x7 -1 acos x7 Pow Mul sqrt Add Pow x0 acos x7 -1 sqrt Add 1 Pow x0 acos x7 -1 Pow acosh Pow x0 acos x7 -1 