csc acsch Pow acot Pow sec x1 x0 Add x2 x6 
Mul Mul Mul -1 cot acsch Pow acot Pow sec x1 x0 Add x2 x6 csc acsch Pow acot Pow sec x1 x0 Add x2 x6 Mul Mul -1 Mul Pow acot Pow sec x1 x0 Add Add x2 x6 -1 Mul Add x2 x6 Mul -1 Mul Mul Pow sec x1 Add x0 -1 Mul sec x1 log sec x1 Pow Add 1 Mul Pow sec x1 x0 Pow sec x1 x0 -1 Pow Mul Mul Pow acot Pow sec x1 x0 Add x2 x6 Pow acot Pow sec x1 x0 Add x2 x6 sqrt Add 1 Mul -1 Pow Mul Pow acot Pow sec x1 x0 Add x2 x6 Pow acot Pow sec x1 x0 Add x2 x6 -1 -1 