Mul acot Mul Pow pi x0 sech Mul x7 x0 x5 
Mul x5 Mul -1 Mul Add Mul sech Mul x7 x0 Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow pi x0 Mul Mul tanh Mul x7 x0 Mul -1 sech Mul x7 x0 x7 Pow Add 1 Mul Mul Pow pi x0 sech Mul x7 x0 Mul Pow pi x0 sech Mul x7 x0 -1 