Pow cot Mul 2 acos x0 Add atan x0 x0 
Mul Pow cot Mul 2 acos x0 Add Add atan x0 x0 -1 Add Mul Add atan x0 x0 Mul Mul -1 Pow csc Mul 2 acos x0 2 Mul 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cot Mul 2 acos x0 log cot Mul 2 acos x0 Add Pow Add 1 Mul x0 x0 -1 1 