disco 1.2 fullsimplify