How to use generator to generate algebra with FsCheck and own custom algebra system

i already implemented algebra such as expand

how to make FsCheck's generator to make different combination of algebra to test properties

as you do not know which function in algebra system library,

you use some psuedo code

combine with FsCheck's syntax to answer this

if above impossible, how to test function properties such as f(x,y) > f(y,x)

the goal is to create function which fits the properties and show these created function in verboseall

You can see an example of the FsCheck Quick Start Guide : Generating recursive data types.