Mul x0 Add exp cot Add acos x0 Pow -4 x1 x0 
Add Add exp cot Add acos x0 Pow -4 x1 x0 Mul x0 Add Mul exp cot Add acos x0 Pow -4 x1 Mul Mul -1 Pow csc Add acos x0 Pow -4 x1 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 