Mul x0 log csc Pow acos x0 x5 
Add log csc Pow acos x0 x5 Mul x0 Mul Mul Mul Mul -1 cot Pow acos x0 x5 csc Pow acos x0 x5 Mul Pow acos x0 Add x5 -1 Mul x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow csc Pow acos x0 x5 -1 