Mul Pow cosh Mul 2 x6 x0 acot Mul pi x0 
Add Mul acot Mul pi x0 Mul Pow cosh Mul 2 x6 Add x0 -1 Mul cosh Mul 2 x6 log cosh Mul 2 x6 Mul Pow cosh Mul 2 x6 x0 Mul -1 Mul pi Pow Add 1 Mul Mul pi x0 Mul pi x0 -1 