id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1930	Wrong symbolic simplification	Vitalij Ruge	somebody	"The follow is a model with wrong symbolic simplification.

{{{
model A
  Real x1;
  Real x2;
  Real y;
  Real w;
equation
  x1 = 0/y;
  y*x2 = 0;
  der(y) = 1;
  w = x1/sin(x1);
initial equation
  y = 0;
  x2 = 1;
end A;
}}}

'''Output with +d=optdaedump'''

{{{
Known Variables (constants) (3)
=============================
1:  x1:VARIABLE(start = 0.0 )  = 0.0 .A, .Real type: Real (start = 0.0 )
2:  w:VARIABLE(start = 0.0 )  = 0.0 .A, .Real type: Real (start = 0.0 )
3:  x2:VARIABLE(start = 0.0 )  = 0.0 .A, .Real type: Real (start = 0.0 )

Initial Equations (2, 2)
)
=========
1 : y = 0.0
2 : 0.0 = 1.0
}}}

'''Error 1'''
If ''x1'' is ''0'' then ''w'' is ""division by zero"" or 1.

'''Error 2'''
''x1'' is (to runtime = 0) not define (x1 =0/0).

'''Error 3'''
From y*x2 = 0 not follows x2 = 0/y = 0. In this case is correct x2 = 1, y = 0
(see initial equation)."	defect	closed	high	1.13.0	Frontend	trunk	worksforme