Add Mul Pow Mul 5 x0 5 -1 sqrt Pow x0 acos cot x0 
Add Mul -1 Mul Pow Mul 5 x0 4 10 Mul Pow Mul 2 sqrt Pow x0 acos cot x0 -1 Mul Pow x0 Add acos cot x0 -1 Add acos cot x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul cot x0 cot x0 -1 