Add Add pi log Add x0 Add Pow pi -3 x0 Add atan tan x0 Mul Mul x0 tan csch x0 x7 
Add Mul 2 Pow Add x0 Add Pow pi -3 x0 -1 Add Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 Mul x7 Add tan csch x0 Mul x0 Mul Pow sec csch x0 2 Mul Mul -1 coth x0 csch x0 