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