MAYBE
(ignored inputs)COMMENT doi:10.1145/322217.322230 [12] p. 819 submitted by: Aart Middeldorp
Rewrite Rules:
   [ E(+(?x,?y)) -> *(E(?x),E(?y)),
     E(0) -> 1,
     +(?x,0) -> ?x,
     +(0,?x) -> ?x,
     *(?x,1) -> ?x,
     *(1,?x) -> ?x,
     +(+(?x,?y),?z) -> +(?x,+(?y,?z)),
     +(?x,+(?y,?z)) -> +(+(?x,?y),?z),
     +(?x,?y) -> +(?y,?x),
     *(*(?x,?y),?z) -> *(?x,*(?y,?z)),
     *(?x,*(?y,?z)) -> *(*(?x,?y),?z),
     *(?x,?y) -> *(?y,?x) ]
Apply Direct Methods...
Inner CPs:
   [ E(?x_1) = *(E(?x_1),E(0)),
     E(?x_2) = *(E(0),E(?x_2)),
     E(+(?x_5,+(?y_5,?z_5))) = *(E(+(?x_5,?y_5)),E(?z_5)),
     E(+(+(?x_6,?y_6),?z_6)) = *(E(?x_6),E(+(?y_6,?z_6))),
     E(+(?y_7,?x_7)) = *(E(?x_7),E(?y_7)),
     +(?x_1,?z_5) = +(?x_1,+(0,?z_5)),
     +(?x_2,?z_5) = +(0,+(?x_2,?z_5)),
     +(+(+(?x_6,?y_6),?z_6),?z_5) = +(?x_6,+(+(?y_6,?z_6),?z_5)),
     +(+(?y_7,?x_7),?z_5) = +(?x_7,+(?y_7,?z_5)),
     +(?x_6,?x_1) = +(+(?x_6,?x_1),0),
     +(?x_6,?x_2) = +(+(?x_6,0),?x_2),
     +(?x_6,+(?x_5,+(?y_5,?z_5))) = +(+(?x_6,+(?x_5,?y_5)),?z_5),
     +(?x_6,+(?y_7,?x_7)) = +(+(?x_6,?x_7),?y_7),
     *(?x_3,?z_8) = *(?x_3,*(1,?z_8)),
     *(?x_4,?z_8) = *(1,*(?x_4,?z_8)),
     *(*(*(?x_9,?y_9),?z_9),?z_8) = *(?x_9,*(*(?y_9,?z_9),?z_8)),
     *(*(?y_10,?x_10),?z_8) = *(?x_10,*(?y_10,?z_8)),
     *(?x_9,?x_3) = *(*(?x_9,?x_3),1),
     *(?x_9,?x_4) = *(*(?x_9,1),?x_4),
     *(?x_9,*(?x_8,*(?y_8,?z_8))) = *(*(?x_9,*(?x_8,?y_8)),?z_8),
     *(?x_9,*(?y_10,?x_10)) = *(*(?x_9,?x_10),?y_10),
     +(+(?x,+(?y,?z)),?z_1) = +(+(?x,?y),+(?z,?z_1)),
     +(?x_1,+(+(?x,?y),?z)) = +(+(?x_1,?x),+(?y,?z)),
     *(*(?x,*(?y,?z)),?z_1) = *(*(?x,?y),*(?z,?z_1)),
     *(?x_1,*(*(?x,?y),?z)) = *(*(?x_1,?x),*(?y,?z)) ]
Outer CPs:
   [ 0 = 0,
     +(?x_5,?y_5) = +(?x_5,+(?y_5,0)),
     ?x_1 = +(0,?x_1),
     +(?y_6,?z_6) = +(+(0,?y_6),?z_6),
     ?x_2 = +(?x_2,0),
     1 = 1,
     *(?x_8,?y_8) = *(?x_8,*(?y_8,1)),
     ?x_3 = *(1,?x_3),
     *(?y_9,?z_9) = *(*(1,?y_9),?z_9),
     ?x_4 = *(?x_4,1),
     +(?x_5,+(?y_5,+(?y_6,?z_6))) = +(+(+(?x_5,?y_5),?y_6),?z_6),
     +(?x_5,+(?y_5,?z_5)) = +(?z_5,+(?x_5,?y_5)),
     +(+(?x_6,?y_6),?z_6) = +(+(?y_6,?z_6),?x_6),
     *(?x_8,*(?y_8,*(?y_9,?z_9))) = *(*(*(?x_8,?y_8),?y_9),?z_9),
     *(?x_8,*(?y_8,?z_8)) = *(?z_8,*(?x_8,?y_8)),
     *(*(?x_9,?y_9),?z_9) = *(*(?y_9,?z_9),?x_9) ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
530.trs: Failure(unknown CR)
(1 msec.)