Pow Mul Pow x6 x0 x1 cot Mul acos Pow x0 asech E x0 
Mul Pow Mul Pow x6 x0 x1 Add cot Mul acos Pow x0 asech E x0 -1 Add Mul cot Mul acos Pow x0 asech E x0 Mul x1 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Mul Pow x6 x0 x1 log Mul Pow x6 x0 x1 Mul Mul -1 Pow csc Mul acos Pow x0 asech E x0 2 Add Mul x0 Mul -1 Mul Mul Pow x0 Add asech E -1 asech E Pow sqrt Add 1 Mul -1 Mul Pow x0 asech E Pow x0 asech E -1 acos Pow x0 asech E 