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