Mul x0 Pow csc x0 Mul x0 Add -2 log acos x1 
Add Pow csc x0 Mul x0 Add -2 log acos x1 Mul x0 Mul Pow csc x0 Add Mul x0 Add -2 log acos x1 -1 Add Mul Mul x0 Add -2 log acos x1 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Add -2 log acos x1 