Add Pow acot Add Pow pi tanh Mul csch x7 x0 2 tan x3 1 
Mul Pow acot Add Pow pi tanh Mul csch x7 x0 2 Add tan x3 -1 Mul tan x3 Mul -1 Mul Mul Pow pi Add tanh Mul csch x7 x0 -1 Mul Mul pi log pi Mul Pow sech Mul csch x7 x0 2 csch x7 Pow Add 1 Mul Add Pow pi tanh Mul csch x7 x0 2 Add Pow pi tanh Mul csch x7 x0 2 -1 