sech Mul x0 Pow Pow x4 x0 Mul Mul x0 x0 pi 
Mul Mul tanh Mul x0 Pow Pow x4 x0 Mul Mul x0 x0 pi Mul -1 sech Mul x0 Pow Pow x4 x0 Mul Mul x0 x0 pi Add Pow Pow x4 x0 Mul Mul x0 x0 pi Mul x0 Mul Pow Pow x4 x0 Add Mul Mul x0 x0 pi -1 Add Mul Mul Mul x0 x0 pi Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Mul Pow x4 x0 log Pow x4 x0 Mul pi Add x0 x0 