Mul cot Pow x0 sqrt Mul x6 x2 Pow Mul x6 Add Pow 4 Mul x5 3 x0 x0 
Add Mul Pow Mul x6 Add Pow 4 Mul x5 3 x0 x0 Mul Mul -1 Pow csc Pow x0 sqrt Mul x6 x2 2 Mul Pow x0 Add sqrt Mul x6 x2 -1 sqrt Mul x6 x2 Mul cot Pow x0 sqrt Mul x6 x2 Mul Pow Mul x6 Add Pow 4 Mul x5 3 x0 Add x0 -1 Add Mul x0 x6 Mul Mul x6 Add Pow 4 Mul x5 3 x0 log Mul x6 Add Pow 4 Mul x5 3 x0 