Pow x0 csch Add log E Pow tan x1 Pow x0 -1 
Mul Pow x0 Add csch Add log E Pow tan x1 Pow x0 -1 -1 Add csch Add log E Pow tan x1 Pow x0 -1 Mul Mul x0 log x0 Mul Mul Mul -1 coth Add log E Pow tan x1 Pow x0 -1 csch Add log E Pow tan x1 Pow x0 -1 Mul Pow tan x1 Add Pow x0 -1 -1 Mul Mul tan x1 log tan x1 Mul Pow x0 2 -1 