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
|
First run with autosimplify = on
17 == 42 returns false
42 == 17 returns false
17 == 17 returns true
The following test is not certified (both values are probably equal)
sin((pi) / 3) == sqrt(3) / 2 returns true
sin((pi) / 3) == sqrt(3) / 2 * (1 + 6.2230152778611417071440640537801242405902521687212e-61) returns false
sin((pi) / 3) - sqrt(3) / 2 == 1 returns false
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 == 0 returns true
1 == sin((pi) / 3) - sqrt(3) / 2 returns false
The test will rely on pure FP evaluation.
0 == sin((pi) / 3) - sqrt(3) / 2 returns true
Warning: the following test involves a NaN
1 == log(-17) returns false
Warning: the following test involves a NaN
log(-17) == 1 returns false
The test will rely on pure FP evaluation.
1 == tan((pi) / 2)^2 returns false
The test will rely on pure FP evaluation.
1 == -(tan((pi) / 2)^2) returns false
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 == 1 returns false
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) == 1 returns false
The test will rely on pure FP evaluation.
infty == -(tan((pi) / 2)^2) returns false
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) == infty returns false
The test will rely on pure FP evaluation.
infty == tan((pi) / 2)^2 returns false
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 == infty returns false
error == 17 returns false
error == error returns false
NaN == error returns false
NaN == NaN returns false
NaN == 1 returns false
2 + _x_ == _x_ + 2 returns true
[1;2] == [1;2] returns true (even when bounds are stored at different precisions)
1 + exp(sin(x + log(x^2))) == 1 + exp(sin(x + log(x^2))) returns true (even when constructed at different precisions)
Hello! == Hella! returns false
Hello! == Hello! returns true
Second run with autosimplify = off
17 == 42 returns false
42 == 17 returns false
17 == 17 returns true
The following test is not certified (both values are probably equal)
sin((pi) / 3) == sqrt(3) / 2 returns true
sin((pi) / 3) == sqrt(3) / 2 * (1 + 6.22301527786e-61) returns false
sin((pi) / 3) - sqrt(3) / 2 == 1 returns false
The test will rely on pure FP evaluation.
sin((pi) / 3) - sqrt(3) / 2 == 0 returns true
1 == sin((pi) / 3) - sqrt(3) / 2 returns false
The test will rely on pure FP evaluation.
0 == sin((pi) / 3) - sqrt(3) / 2 returns true
Warning: the following test involves a NaN
1 == log(-17) returns false
Warning: the following test involves a NaN
log(-17) == 1 returns false
The test will rely on pure FP evaluation.
1 == tan((pi) / 2)^2 returns false
The test will rely on pure FP evaluation.
1 == -(tan((pi) / 2)^2) returns false
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 == 1 returns false
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) == 1 returns false
The test will rely on pure FP evaluation.
infty == -(tan((pi) / 2)^2) returns false
The test will rely on pure FP evaluation.
-(tan((pi) / 2)^2) == infty returns false
The test will rely on pure FP evaluation.
infty == tan((pi) / 2)^2 returns false
The test will rely on pure FP evaluation.
tan((pi) / 2)^2 == infty returns false
error == 17 returns false
error == error returns false
NaN == error returns false
NaN == NaN returns false
NaN == 1 returns false
2 + x == x + 2 returns false
[1;2] == [1;2] returns true (even when bounds are stored at different precisions)
1 + exp(sin(x + log(x^2))) == 1 + exp(sin(x + log(x^2))) returns true (even when constructed at different precisions)
Hello! == Hella! returns false
Hello! == Hello! returns true
|
