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