Add Pow csch x0 cos x4 Pow exp Mul -2 x0 cos tan atan Add tan x3 pi 
Add Mul Pow csch x0 Add cos x4 -1 Mul cos x4 Mul Mul -1 coth x0 csch x0 Mul Pow exp Mul -2 x0 Add cos tan atan Add tan x3 pi -1 Mul cos tan atan Add tan x3 pi Mul exp Mul -2 x0 -2 