Mul Pow sech cosh atanh asinh cosh pi x0 Pow sinh x0 4 
Add Mul Pow sinh x0 4 Mul Pow sech cosh atanh asinh cosh pi Add x0 -1 Mul sech cosh atanh asinh cosh pi log sech cosh atanh asinh cosh pi Mul Pow sech cosh atanh asinh cosh pi x0 Mul Pow sinh x0 3 Mul 4 cosh x0 