Pow Add Pow acos x7 Add 1 x0 Add 2 Add coth x1 x0 x0 
Mul Pow Add Pow acos x7 Add 1 x0 Add 2 Add coth x1 x0 Add x0 -1 Add Mul x0 Add Mul Pow acos x7 Add Add 1 x0 -1 Mul acos x7 log acos x7 1 Mul Add Pow acos x7 Add 1 x0 Add 2 Add coth x1 x0 log Add Pow acos x7 Add 1 x0 Add 2 Add coth x1 x0 