asin Pow acot x0 acoth Mul Add x1 Mul -1 asec x7 E 
Mul Mul Pow acot x0 Add acoth Mul Add x1 Mul -1 asec x7 E -1 Mul acoth Mul Add x1 Mul -1 asec x7 E Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow acot x0 acoth Mul Add x1 Mul -1 asec x7 E Pow acot x0 acoth Mul Add x1 Mul -1 asec x7 E -1 