Pow Mul sech Add 2 x4 Pow Mul Mul Mul log x0 x1 -1 x0 pi x0 
Mul Pow Mul sech Add 2 x4 Pow Mul Mul Mul log x0 x1 -1 x0 pi Add x0 -1 Add Mul x0 Mul sech Add 2 x4 Mul Pow Mul Mul Mul log x0 x1 -1 x0 Add pi -1 Mul pi Add Mul x0 Mul -1 Mul x1 Pow x0 -1 Mul Mul log x0 x1 -1 Mul Mul sech Add 2 x4 Pow Mul Mul Mul log x0 x1 -1 x0 pi log Mul sech Add 2 x4 Pow Mul Mul Mul log x0 x1 -1 x0 pi 