private void btnBuildSample_Click(object sender, EventArgs e)
{
s = _project.CurrentSystem;
Context c = s.Context;
Builder b = c.Builder;
Signal x = new Signal(c); x.Label = "x";
x.AddConstraint(RealSetProperty.Instance);
Signal x2 = b.Square(x); x2.Label = "x2";
Signal sinx2 = Std.Sine(c, x2); sinx2.Label = "sinx2";
Signal sinx2t2 = sinx2 * IntegerValue.ConstantTwo(c);
Signal sinx2t2cosx = sinx2t2 + Std.Cosine(c, x); sinx2t2cosx.Label = "sinx2t2cosx";
s.AddSignalTree(sinx2t2, true, true);
}
