log Mul Mul Add Mul Add x0 Pow x0 Add Pow acos x3 x0 x2 x0 x0 coth x3 x3 
Mul Mul x3 Mul coth x3 Add Add Mul x0 Add 1 Mul Pow x0 Add Add Pow acos x3 x0 x2 -1 Add Add Pow acos x3 x0 x2 Mul Mul x0 log x0 Mul Pow acos x3 Add x0 -1 Mul acos x3 log acos x3 Add x0 Pow x0 Add Pow acos x3 x0 x2 1 Pow Mul Mul Add Mul Add x0 Pow x0 Add Pow acos x3 x0 x2 x0 x0 coth x3 x3 -1 