Add x2 asech Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 x0 
Mul Add Mul x0 Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 Add x0 -1 Add Mul x0 Mul 3 Mul Pow x7 Add acos cot Mul x0 x0 -1 Mul Mul x7 log x7 Mul -1 Mul Mul Mul -1 Pow csc Mul x0 x0 2 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul cot Mul x0 x0 cot Mul x0 x0 -1 Mul Mul Pow x7 acos cot Mul x0 x0 3 log Mul Pow x7 acos cot Mul x0 x0 3 Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 Pow Mul Mul Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 x0 Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 x0 Mul Pow Mul Pow x7 acos cot Mul x0 x0 3 x0 x0 -1 -1 