Add x4 Pow acos x1 Add Add csc x0 log x0 acot x0 
Mul Pow acos x1 Add Add Add csc x0 log x0 acot x0 -1 Mul Mul acos x1 log acos x1 Add Add Mul Mul -1 cot x0 csc x0 Pow x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 