Mul Pow sech x0 Mul x0 sec x7 Mul Mul csch x0 4 cosh pi 
Add Mul Mul Mul csch x0 4 cosh pi Mul Pow sech x0 Add Mul x0 sec x7 -1 Add Mul Mul x0 sec x7 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 sec x7 Mul Pow sech x0 Mul x0 sec x7 Mul cosh pi Mul 4 Mul Mul -1 coth x0 csch x0 