Profiling performance of minecraft functions in datapack

On a server I play on, we suffered from quite severe tick lag when the functions in our custom datapack were turned on. Turning off the functions returned the server to a more playable state.

Of course we like the custom things we made, so we want to figure out if one of the functions is particularly expensive to run. Is there a way to profile the performance of individual functions of a data pack on the server side, either via regular Minecraft configuration or via Spigot?

The /debug command is useful for measuring performance. Use /debug start to start the profiling, wait a while, then /debug stop to end.

This produces a file in .minecraft\debug breaking down how long everything took to run. Kind of like the F3 pie-chart, but for the server rather than the client.