Mul Add x7 Mul sqrt tanh x0 cosh Pow 4 x0 x0 
Add Mul x0 Add Mul cosh Pow 4 x0 Mul Pow Mul 2 sqrt tanh x0 -1 Pow sech x0 2 Mul sqrt tanh x0 Mul sinh Pow 4 x0 Mul Pow 4 Add x0 -1 5.38629436111989 Add x7 Mul sqrt tanh x0 cosh Pow 4 x0 