Mul Pow x0 Mul x5 cosh x3 Add x0 Mul Add x0 x0 Add -0.549306144334055 Add x0 x0 
Add Mul Add x0 Mul Add x0 x0 Add -0.549306144334055 Add x0 x0 Mul Pow x0 Add Mul x5 cosh x3 -1 Mul x5 cosh x3 Mul Pow x0 Mul x5 cosh x3 Add 1 Add Mul Add -0.549306144334055 Add x0 x0 2 Mul Add x0 x0 2 