Pow Add Pow pi Pow x0 acoth x4 Add Add x0 x0 x2 Add Mul x1 Add E -3 x7 
Mul Pow Add Pow pi Pow x0 acoth x4 Add Add x0 x0 x2 Add Add Mul x1 Add E -3 x7 -1 Mul Add Mul x1 Add E -3 x7 Add Mul Pow pi Add Pow x0 acoth x4 -1 Mul Mul pi log pi Mul Pow x0 Add acoth x4 -1 acoth x4 2 