Mul x0 exp sinh Pow sqrt x0 sinh Mul Pow E x5 Mul 0.862871262356080 x5 
Add exp sinh Pow sqrt x0 sinh Mul Pow E x5 Mul 0.862871262356080 x5 Mul x0 Mul exp sinh Pow sqrt x0 sinh Mul Pow E x5 Mul 0.862871262356080 x5 Mul cosh Pow sqrt x0 sinh Mul Pow E x5 Mul 0.862871262356080 x5 Mul Pow sqrt x0 Add sinh Mul Pow E x5 Mul 0.862871262356080 x5 -1 Mul sinh Mul Pow E x5 Mul 0.862871262356080 x5 Pow Mul 2 sqrt x0 -1 