Pow cosh Mul Mul x0 acot asec x6 pi x0 
Mul Pow cosh Mul Mul x0 acot asec x6 pi Add x0 -1 Add Mul x0 Mul sinh Mul Mul x0 acot asec x6 pi Mul pi acot asec x6 Mul cosh Mul Mul x0 acot asec x6 pi log cosh Mul Mul x0 acot asec x6 pi 