Pow x0 Pow csc csch Add x0 x0 Add x0 Pow Pow acos x3 x0 Pow x0 x4 
Mul Pow x0 Add Pow csc csch Add x0 x0 Add x0 Pow Pow acos x3 x0 Pow x0 x4 -1 Add Pow csc csch Add x0 x0 Add x0 Pow Pow acos x3 x0 Pow x0 x4 Mul Mul x0 log x0 Mul Pow csc csch Add x0 x0 Add Add x0 Pow Pow acos x3 x0 Pow x0 x4 -1 Add Mul Add x0 Pow Pow acos x3 x0 Pow x0 x4 Mul Mul Mul -1 cot csch Add x0 x0 csc csch Add x0 x0 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 Mul Mul csc csch Add x0 x0 log csc csch Add x0 x0 Add 1 Mul Pow Pow acos x3 x0 Add Pow x0 x4 -1 Add Mul Pow x0 x4 Mul Pow acos x3 Add x0 -1 Mul acos x3 log acos x3 Mul Mul Pow acos x3 x0 log Pow acos x3 x0 Mul Pow x0 Add x4 -1 x4 