Pow x2 Add acosh acosh Pow Add acos x0 x0 E atanh x7 
Mul Pow x2 Add Add acosh acosh Pow Add acos x0 x0 E atanh x7 -1 Mul Mul x2 log x2 Mul Mul Mul Pow Add acos x0 x0 Add E -1 Mul E Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul sqrt Add Pow Add acos x0 x0 E -1 sqrt Add 1 Pow Add acos x0 x0 E -1 Pow Mul sqrt Add acosh Pow Add acos x0 x0 E -1 sqrt Add 1 acosh Pow Add acos x0 x0 E -1 