tanh Pow Pow x0 pi Pow x0 x3 
Mul Pow sech Pow Pow x0 pi Pow x0 x3 2 Mul Pow Pow x0 pi Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi Mul Pow x0 Add x3 -1 x3 