Mul acot acot Add coth E sec x0 Add Pow x0 2 tanh csc cosh Pow Pow coth x0 x0 pi 
Add Mul Add Pow x0 2 tanh csc cosh Pow Pow coth x0 x0 pi Mul -1 Mul Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul Add coth E sec x0 Add coth E sec x0 -1 Pow Add 1 Mul acot Add coth E sec x0 acot Add coth E sec x0 -1 Mul acot acot Add coth E sec x0 Add Mul x0 2 Mul Pow sech csc cosh Pow Pow coth x0 x0 pi 2 Mul Mul Mul -1 cot cosh Pow Pow coth x0 x0 pi csc cosh Pow Pow coth x0 x0 pi Mul sinh Pow Pow coth x0 x0 pi Mul Pow Pow coth x0 x0 Add pi -1 Mul pi Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 