Pow acot Mul Add x3 x0 x7 Add Pow Mul cot Mul x0 pi x0 Mul x0 acos x6 -5 
Mul Pow acot Mul Add x3 x0 x7 Add Add Pow Mul cot Mul x0 pi x0 Mul x0 acos x6 -5 -1 Add Mul Add Pow Mul cot Mul x0 pi x0 Mul x0 acos x6 -5 Mul -1 Mul x7 Pow Add 1 Mul Mul Add x3 x0 x7 Mul Add x3 x0 x7 -1 Mul Mul acot Mul Add x3 x0 x7 log acot Mul Add x3 x0 x7 Mul Pow Mul cot Mul x0 pi x0 Add Mul x0 acos x6 -1 Add Mul Mul x0 acos x6 Add Mul x0 Mul Mul -1 Pow csc Mul x0 pi 2 pi cot Mul x0 pi Mul Mul Mul cot Mul x0 pi x0 log Mul cot Mul x0 pi x0 acos x6 