Pow Mul Add Pow pi x0 Mul Mul sech x7 3 x0 acoth x0 -5 
Mul Pow Mul Add Pow pi x0 Mul Mul sech x7 3 x0 acoth x0 6 Mul -5 Add Mul acoth x0 Add Mul Pow pi Add x0 -1 Mul pi log pi Mul sech x7 3 Mul Add Pow pi x0 Mul Mul sech x7 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 