op(1,op(1,p))=(a+b)*c
op(2,op(1,op(1,p)))=c
op(1,op(1,op(1,op(1,p))))=a+b