csch Mul Pow Mul x0 pi sec x0 sec x0 
Mul Mul Mul -1 coth Mul Pow Mul x0 pi sec x0 sec x0 csch Mul Pow Mul x0 pi sec x0 sec x0 Add Mul sec x0 Mul Pow Mul x0 pi Add sec x0 -1 Add Mul sec x0 pi Mul Mul Mul x0 pi log Mul x0 pi Mul tan x0 sec x0 Mul Pow Mul x0 pi sec x0 Mul tan x0 sec x0 