asin Mul Add x6 x0 acot coth asin asech Add -1 x7 
Mul acot coth asin asech Add -1 x7 Pow sqrt Add 1 Mul -1 Mul Mul Add x6 x0 acot coth asin asech Add -1 x7 Mul Add x6 x0 acot coth asin asech Add -1 x7 -1 