Mul x0 Mul 5 cot Pow Add x0 Mul log x5 x0 acos x3 
Add Mul 5 cot Pow Add x0 Mul log x5 x0 acos x3 Mul x0 Mul 5 Mul Mul -1 Pow csc Pow Add x0 Mul log x5 x0 acos x3 2 Mul Pow Add x0 Mul log x5 x0 Add acos x3 -1 Mul acos x3 Add 1 log x5 