Add Mul Pow Pow x6 -2 x0 Pow atan acoth x5 x0 Add -2 Pow x0 x5 
Add Add Mul Pow atan acoth x5 x0 Mul Pow Pow x6 -2 Add x0 -1 Mul Pow x6 -2 log Pow x6 -2 Mul Pow Pow x6 -2 x0 Mul Pow atan acoth x5 Add x0 -1 Mul atan acoth x5 log atan acoth x5 Mul Pow x0 Add x5 -1 x5 