fact: Definition Bx_R (intruder evader : State) : R := (-2 * (yt evader * sind (heading intruder) * intruderSpeed) + 2 * (yt intruder * sind (heading intruder) * intruderSpeed) - 2 * (cosd (heading intruder) * xt evader * intruderSpeed) + 2 * (cosd (heading intruder) * xt intruder * intruderSpeed) + 2 * (xt evader * evaderSpeed) - 2 * (xt intruder * evaderSpeed))%R.
imports: Reals ails_def trajectory_const