The way this kind of thing is done in the "real" flight simulator business in real time with limited computing power is to use lookup tables. If you can work through the math in non-real time and construct a number of tables then all you have to do in real time is enter the right table and interpolate.
"The proof is left to the student"