Example 1
Solution: Replace the NumericEventHandler for division by zero.
>
|
|
| (2.1) |
Example 2
| (2.4) |
| (2.5) |
The weakness is in int, which does not identify as equal to 0. Simplifying the expanded output from int then leads to division by zero. A stronger zero-testing routine is required earlier in the process. However, using the strongest possible zero-testing routine by default is inefficient.
Solution 1: For a single expression, simplify before taking the integral.
| (2.6) |
>
|
|
Solution 2: For numerous expressions, control zero-testing using Normalizer.
| (2.8) |
| (2.9) |
>
|
|