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