Mul x0 Mul cosh sqrt Mul -0.642092615934331 x0 x0 
Add Mul cosh sqrt Mul -0.642092615934331 x0 x0 Mul x0 Add Mul x0 Mul sinh sqrt Mul -0.642092615934331 x0 Mul Pow Mul 2 sqrt Mul -0.642092615934331 x0 -1 -0.642092615934331 cosh sqrt Mul -0.642092615934331 x0 