2N/A()

2N/A+a

2N/A- +a -> b %[stops at -]%

2N/Aa*b

2N/Aa-> -b

2N/A-(a->b)

2N/Aa-> b * c

2N/A(+a * (-b)+ * d) -> e %[nested variance]%

2N/Aa->(b->c+)

2N/Aa->(b->c)+

2N/A(a-> +b)->c

2N/A(a-> +b) * d ->c

2N/A(+a,b) -> c

2N/Aa*b->c

2N/A+a * -b -> c

2N/Aa*b->c*d->e

2N/A(a*b)->c

2N/A(+a * (-b *c)+ * d) -> e %[nested products]%

2N/A(-a * (+b ->c)- * -d) -> e %[nested products]%

2N/A(-a * (+b ->c)- * -d) -> e %[nested products]%

2N/A(a,b) * (c,d) -> (e,f) %[Intersection]%

2N/A