Performance is slower than one would of hoped.

[jasonreich]

Not as good as the experimental branch. Compare and contrast. Could be;

• Optimisation flags. Exagerates differences.
• The known total term constructor. Works well with other fixes.
• Depth differences
• Use Hughes lists for paths? Tried and worked slightly.
• Forcing thunks in calculation of count sums. Tried with no change.
• Perhaps Integer instead of int? Hard to tell.

...

[jasonreich]

Not optimisation flags...

[jasonreich]

• Use Hughes lists for paths?

[jasonreich]

• Forcing thunks in calculation of count sums.

[jasonreich]

Not total known term. Stashed for my benefit.

[jasonreich]

Ah. Differences are more extreme under -O1 than -O2.

[jasonreich]

Not counting sums.

• Perhaps Integer instead of int?

[jasonreich]

Makes near enough no different.