Mul Pow cosh Pow x0 x2 Mul sec Pow x4 E x1 x0 
Add Mul x0 Mul Pow cosh Pow x0 x2 Add Mul sec Pow x4 E x1 -1 Mul Mul sec Pow x4 E x1 Mul sinh Pow x0 x2 Mul Pow x0 Add x2 -1 x2 Pow cosh Pow x0 x2 Mul sec Pow x4 E x1 