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