Add Mul exp Add x0 sec asinh tan x7 Mul csch x7 Mul pi x0 Pow coth x0 x0 
Add Add Mul Mul csch x7 Mul pi x0 exp Add x0 sec asinh tan x7 Mul exp Add x0 sec asinh tan x7 Mul csch x7 pi Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 