csch sec csc Pow acos x1 Mul x0 x1 
Mul Mul Mul -1 coth sec csc Pow acos x1 Mul x0 x1 csch sec csc Pow acos x1 Mul x0 x1 Mul Mul tan csc Pow acos x1 Mul x0 x1 sec csc Pow acos x1 Mul x0 x1 Mul Mul Mul -1 cot Pow acos x1 Mul x0 x1 csc Pow acos x1 Mul x0 x1 Mul Pow acos x1 Add Mul x0 x1 -1 Mul Mul acos x1 log acos x1 x1 