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