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