Add acsch Add Mul acos x2 Add x0 pi acos x7 x2 
Mul Mul -1 acos x2 Pow Mul Mul Add Mul acos x2 Add x0 pi acos x7 Add Mul acos x2 Add x0 pi acos x7 sqrt Add 1 Mul -1 Pow Mul Add Mul acos x2 Add x0 pi acos x7 Add Mul acos x2 Add x0 pi acos x7 -1 -1 