cosh Mul x0 Pow Pow Mul log atanh x0 x0 acot Pow sech Pow cosh pi Add 5 x6 pi -1 
Mul sinh Mul x0 Pow Pow Mul log atanh x0 x0 acot Pow sech Pow cosh pi Add 5 x6 pi -1 Add Pow Pow Mul log atanh x0 x0 acot Pow sech Pow cosh pi Add 5 x6 pi -1 Mul x0 Mul Pow Pow Mul log atanh x0 x0 acot Pow sech Pow cosh pi Add 5 x6 pi 2 Mul -1 Mul Pow Mul log atanh x0 x0 Add acot Pow sech Pow cosh pi Add 5 x6 pi -1 Mul acot Pow sech Pow cosh pi Add 5 x6 pi Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 log atanh x0 