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