Add Mul Mul Pow 4 sqrt x0 Add Mul Mul x0 x1 x0 x0 cosh x6 x0 
Add Mul cosh x6 Add Mul Add Mul Mul x0 x1 x0 x0 Mul Pow 4 Add sqrt x0 -1 Mul 5.38629436111989 Pow Mul 2 sqrt x0 -1 Mul Pow 4 sqrt x0 Add Add Mul x0 x1 Mul x0 x1 1 1 