Pow cot Mul x6 x5 Pow Mul -2 Add Pow x5 asech Mul x0 x7 acot x4 x0 
Mul Pow cot Mul x6 x5 Add Pow Mul -2 Add Pow x5 asech Mul x0 x7 acot x4 x0 -1 Mul Mul cot Mul x6 x5 log cot Mul x6 x5 Mul Pow Mul -2 Add Pow x5 asech Mul x0 x7 acot x4 Add x0 -1 Add Mul x0 Mul -2 Mul Pow x5 Add asech Mul x0 x7 -1 Mul Mul x5 log x5 Mul x7 Pow Mul Mul Mul x0 x7 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 -1 Mul Mul -2 Add Pow x5 asech Mul x0 x7 acot x4 log Mul -2 Add Pow x5 asech Mul x0 x7 acot x4 