Methods of path integrals are used to develop multi-factor probabilities of bid-ask variables for use in high-frequency trading (HFT). Adaptive Simulated Annealing (ASA) is used to fit the nonlinear forms so developed to a day of bitmex tick data. Maxima algebraic code is used to develop the...