Pow Mul cosh sinh Mul 4 x0 Pow Add Mul -2 E x0 pi Mul sec x1 E 
Mul Pow Mul cosh sinh Mul 4 x0 Pow Add Mul -2 E x0 pi Add Mul sec x1 E -1 Mul Mul sec x1 E Add Mul Pow Add Mul -2 E x0 pi Mul sinh sinh Mul 4 x0 Mul cosh Mul 4 x0 4 Mul cosh sinh Mul 4 x0 Mul Pow Add Mul -2 E x0 Add pi -1 pi 