Pow Pow x3 x4 Add Pow x0 pi Add x0 atan Add x0 acoth x1 
Mul Pow Pow x3 x4 Add Add Pow x0 pi Add x0 atan Add x0 acoth x1 -1 Mul Mul Pow x3 x4 log Pow x3 x4 Add Mul Pow x0 Add pi -1 pi Add 1 Pow Add 1 Mul Add x0 acoth x1 Add x0 acoth x1 -1 