Add Mul Pow pi x0 Mul x0 Mul x2 Add Pow atanh acoth x3 x0 Pow x0 Pow x7 x0 Mul x0 -4 
Add Add Mul Mul x0 Mul x2 Add Pow atanh acoth x3 x0 Pow x0 Pow x7 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Add Mul x2 Add Pow atanh acoth x3 x0 Pow x0 Pow x7 x0 Mul x0 Mul x2 Add Mul Pow atanh acoth x3 Add x0 -1 Mul atanh acoth x3 log atanh acoth x3 Mul Pow x0 Add Pow x7 x0 -1 Add Pow x7 x0 Mul Mul x0 log x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 -4 