An attempt to create a timing testbench for maxima.