acsch Add x0 Add x0 acos Pow asech pi Mul x1 x6 
Pow Mul Mul Add x0 Add x0 acos Pow asech pi Mul x1 x6 Add x0 Add x0 acos Pow asech pi Mul x1 x6 sqrt Add 1 Mul -1 Pow Mul Add x0 Add x0 acos Pow asech pi Mul x1 x6 Add x0 Add x0 acos Pow asech pi Mul x1 x6 -1 -1 