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