let algebra-2rootspoly-apatapbeq2asqp2ab = `!a:complex b:complex. (a + a) * (a + b) = Cx(&2) * a pow 2 + Cx(&2) * (a * b)`;;