Method 1: xl_split − n (x)

Method 2: xl_imp − n (x)

Method 3: xl_part_coll − n (x) − m − g 2

xl_coll_ck − n (x)

xl_partition − n (x) − m

full_simplify

xl_imp − n (x)

xl_partition − n (x) − t

xl_cover − n (x) − e (x)0 − u 200

xl_coll_ck − n (x) − k

Method 4: xl_part_coll − n (x) − m − g 2

xl_coll_ck − n (x)

xl_partition − n (x) − m

sweep; eliminate − 1

simplify − m nocomp

eliminate − 1

sweep; eliminate 5

simplify − m nocomp

resub − a

fx

resub − a; sweep

eliminate − 1; sweep

full_simplify − m nocomp

xl_imp − n (x)

xl_partition − n (x) − t

xl_cover − n (x) − e (x)0 − u 200

xl_coll_ck − n (x) − k