Pow csc sqrt Pow x0 x3 Mul x0 x6 
Mul Pow csc sqrt Pow x0 x3 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul Mul Mul -1 cot sqrt Pow x0 x3 csc sqrt Pow x0 x3 Mul Pow Mul 2 sqrt Pow x0 x3 -1 Mul Pow x0 Add x3 -1 x3 Mul Mul csc sqrt Pow x0 x3 log csc sqrt Pow x0 x3 x6 