Distinct Distances on Pfaffian Curves

We generalize Pach and de Zeeuw's bound for distinct distances between points on two curves, from algebraic curves to Pfaffian curves. Pfaffian curves include those that can be defined by any combination of elementary functions, including exponential and logarithmic functions, rational and irrational powers, trigonometric functions and their inverses, integration, and more. The bound remains $\Omega(\min\{m^{3/4}n^{3/4},m^2,n^2\})$, as obtained from the proximity technique of Solymosi and Zahl.