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