1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
First run with autosimplify = on
17 != 42 returns true
42 != 17 returns true
17 != 17 returns false
The following test is not certified (both values are probably equal)
sin((pi) / 3) != sqrt(3) / 2 returns false
sin((pi) / 3) != sqrt(3) / 2 * (1 + 6.2230152778611417071440640537801242405902521687212e-61) returns true
Unexpected warning 478
sin((pi) / 3) - sqrt(3) / 2 != 1 returns true
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 != 0 returns false
1 != sin((pi) / 3) - sqrt(3) / 2 returns true
The test will rely on pure FP evaluation.
0 != sin((pi) / 3) - sqrt(3) / 2 returns false
Warning: the following test involves a NaN
1 != log(-17) returns true
Warning: the following test involves a NaN
log(-17) != 1 returns true
The test will rely on pure FP evaluation.
1 != tan((pi) / 2)^2 returns true
The test will rely on pure FP evaluation.
1 != -(tan((pi) / 2)^2) returns true
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 != 1 returns true
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) != 1 returns true
The test will rely on pure FP evaluation.
infty != -(tan((pi) / 2)^2) returns true
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) != infty returns true
The test will rely on pure FP evaluation.
infty != tan((pi) / 2)^2 returns true
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 != infty returns true
error != 17 returns false
error != error returns false
NaN != error returns false
NaN != NaN returns true
NaN != 1 returns true
2 + _x_ != _x_ + 2 returns false
[1;2] != [1;2] returns false (even when bounds are stored at different precisions)
1 + exp(sin(x + log(x^2))) != 1 + exp(sin(x + log(x^2))) returns false (even when constructed at different precisions)
Hello! != Hella! returns true
Hello! != Hello! returns false
Second run with autosimplify = off
17 != 42 returns true
42 != 17 returns true
17 != 17 returns false
The following test is not certified (both values are probably equal)
sin((pi) / 3) != sqrt(3) / 2 returns false
sin((pi) / 3) != sqrt(3) / 2 * (1 + 6.22301527786e-61) returns true
Unexpected warning 478
sin((pi) / 3) - sqrt(3) / 2 != 1 returns true
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 != 0 returns false
1 != sin((pi) / 3) - sqrt(3) / 2 returns true
The test will rely on pure FP evaluation.
0 != sin((pi) / 3) - sqrt(3) / 2 returns false
Warning: the following test involves a NaN
1 != log(-17) returns true
Warning: the following test involves a NaN
log(-17) != 1 returns true
The test will rely on pure FP evaluation.
1 != tan((pi) / 2)^2 returns true
The test will rely on pure FP evaluation.
1 != -(tan((pi) / 2)^2) returns true
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 != 1 returns true
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) != 1 returns true
The test will rely on pure FP evaluation.
infty != -(tan((pi) / 2)^2) returns true
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) != infty returns true
The test will rely on pure FP evaluation.
infty != tan((pi) / 2)^2 returns true
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 != infty returns true
error != 17 returns false
error != error returns false
NaN != error returns false
NaN != NaN returns true
NaN != 1 returns true
2 + x != x + 2 returns true
[1;2] != [1;2] returns false (even when bounds are stored at different precisions)
1 + exp(sin(x + log(x^2))) != 1 + exp(sin(x + log(x^2))) returns false (even when constructed at different precisions)
Hello! != Hella! returns true
Hello! != Hello! returns false
|
