Add x0 Mul Mul Add acsch Add x0 acos asech pi acos Add x0 x1 Mul acot sech Pow 2 x7 x0 x6 
Add 1 Mul x6 Add Mul Mul acot sech Pow 2 x7 x0 Add Mul -1 Pow Mul Mul Add x0 acos asech pi Add x0 acos asech pi sqrt Add 1 Mul -1 Pow Mul Add x0 acos asech pi Add x0 acos asech pi -1 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 Mul Add acsch Add x0 acos asech pi acos Add x0 x1 acot sech Pow 2 x7 