Mul x0 atanh csch Mul sec x0 x0 
Add atanh csch Mul sec x0 x0 Mul x0 Mul Mul Mul Mul -1 coth Mul sec x0 x0 csch Mul sec x0 x0 Add Mul x0 Mul tan x0 sec x0 sec x0 Pow Add 1 Mul -1 Mul csch Mul sec x0 x0 csch Mul sec x0 x0 -1 