Pow tan cosh pi Add coth Pow x0 acoth acoth acot x4 x0 
Mul Pow tan cosh pi Add Add coth Pow x0 acoth acoth acot x4 x0 -1 Mul Mul tan cosh pi log tan cosh pi Add Mul Mul -1 Pow csch Pow x0 acoth acoth acot x4 2 Mul Pow x0 Add acoth acoth acot x4 -1 acoth acoth acot x4 1 