acsch Pow Add x5 x0 Add acos x1 x0 
Mul Mul -1 Mul Pow Add x5 x0 Add Add acos x1 x0 -1 Add Add acos x1 x0 Mul Add x5 x0 log Add x5 x0 Pow Mul Mul Pow Add x5 x0 Add acos x1 x0 Pow Add x5 x0 Add acos x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow Add x5 x0 Add acos x1 x0 Pow Add x5 x0 Add acos x1 x0 -1 -1 