Add x0 Mul Add Pow x0 atan Add x0 acos x2 x0 coth sec acos x2 
Add 1 Mul coth sec acos x2 Add Mul Pow x0 Add atan Add x0 acos x2 -1 Add atan Add x0 acos x2 Mul Mul x0 log x0 Pow Add 1 Mul Add x0 acos x2 Add x0 acos x2 -1 1 