Variant of the REDUCE CDE extraction library by N Piskunov