Pow cosh Pow x0 acot acoth x6 x0 
Mul Pow cosh Pow x0 acot acoth x6 Add x0 -1 Add Mul x0 Mul sinh Pow x0 acot acoth x6 Mul Pow x0 Add acot acoth x6 -1 acot acoth x6 Mul cosh Pow x0 acot acoth x6 log cosh Pow x0 acot acoth x6 