atan Mul Pow acos x0 -3 csc csch x0 
Mul Add Mul csc csch x0 Mul Pow acos x0 4 Mul -3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acos x0 -3 Mul Mul Mul -1 cot csch x0 csc csch x0 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul Mul Pow acos x0 -3 csc csch x0 Mul Pow acos x0 -3 csc csch x0 -1 