x
x
+(x,1)
-(-(x,y),z)
+(*(3,delta),1)
+(x,1)
^(2,^(2,n))
/(^(x,n),+(z,1))
