LindoGlobal , and SCIP . According to the results of the comparative solver study . BARON solves more SR problems and converges faster than all other solvers. Hence, BARON (version 18.5.9) as commercial general-purpose solver in deterministic global optimization was selected in combination with IBM CPLEX as sub-solver. Upon solver completion, the optimization results are analyzed within Pyomo allowing to translate the optimal decision variable values into the corresponding algebraic equation. This model can then be evaluated at different inputs for prediction as well. For further simplification, Python's library for symbolic mathematics SymPy was used.