Mul x0 Mul x1 Pow Add atan sin x1 cot Mul x3 x0 log sin Mul x0 x3 
Add Mul x1 Pow Add atan sin x1 cot Mul x3 x0 log sin Mul x0 x3 Mul x0 Mul x1 Mul Pow Add atan sin x1 cot Mul x3 x0 Add log sin Mul x0 x3 -1 Add Mul log sin Mul x0 x3 Mul Mul -1 Pow csc Mul x3 x0 2 x3 Mul Mul Add atan sin x1 cot Mul x3 x0 log Add atan sin x1 cot Mul x3 x0 Mul Mul cos Mul x0 x3 x3 Pow sin Mul x0 x3 -1 