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