Mul Mul x3 Pow 4 Add cosh x1 Mul Add x5 4 x0 Add Mul cosh Mul sech x0 x0 2 Mul x0 x0 
Add Mul Add Mul cosh Mul sech x0 x0 2 Mul x0 x0 Mul x3 Mul Pow 4 Add Add cosh x1 Mul Add x5 4 x0 -1 Mul 5.38629436111989 Add x5 4 Mul Mul x3 Pow 4 Add cosh x1 Mul Add x5 4 x0 Add Mul 2 Mul sinh Mul sech x0 x0 Add Mul x0 Mul tanh x0 Mul -1 sech x0 sech x0 Add x0 x0 