Pow cot acot Pow sech Add x1 x6 Add acot Add x0 x0 x0 sqrt x0 
Mul Pow cot acot Pow sech Add x1 x6 Add acot Add x0 x0 x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul Mul -1 Pow csc acot Pow sech Add x1 x6 Add acot Add x0 x0 x0 2 Mul -1 Mul Mul Pow sech Add x1 x6 Add Add acot Add x0 x0 x0 -1 Mul Mul sech Add x1 x6 log sech Add x1 x6 Add Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 1 Pow Add 1 Mul Pow sech Add x1 x6 Add acot Add x0 x0 x0 Pow sech Add x1 x6 Add acot Add x0 x0 x0 -1 Mul Mul cot acot Pow sech Add x1 x6 Add acot Add x0 x0 x0 log cot acot Pow sech Add x1 x6 Add acot Add x0 x0 x0 Pow Mul 2 sqrt x0 -1 