Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 3.1min)

sample43.5s (23.7%)

Results
13.6s48636×1valid
10.1s109254×0valid
8.3s16413×5exit
2.9s7230×2valid
452.0ms3835×0invalid
121.0ms1363×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 24.5s
ival-cos: 3.9s (16% of total)
...c/correct-round.rkt:119:19: 2.4s (9.9% of total)
backward-pass: 2.4s (9.7% of total)
ival-mult: 2.2s (9% of total)
ival-pow: 1.6s (6.4% of total)
ival-log: 1.3s (5.3% of total)
ival-sqrt: 1.3s (5.2% of total)
ival-tan: 1.1s (4.3% of total)
ival-exp: 1.0s (4.2% of total)
ival-sin: 1.0s (4.1% of total)
ival-add: 950.0ms (3.9% of total)
ival-<=: 920.0ms (3.8% of total)
ival-fmod: 834.0ms (3.4% of total)
ival-div: 765.0ms (3.1% of total)
ival-sub: 667.0ms (2.7% of total)
ival-sinh: 619.0ms (2.5% of total)
ival-acos: 377.0ms (1.5% of total)
ival-neg: 265.0ms (1.1% of total)
const: 225.0ms (0.9% of total)
ival-==: 205.0ms (0.8% of total)
ival-and: 198.0ms (0.8% of total)
ival-<: 98.0ms (0.4% of total)
ival-or: 72.0ms (0.3% of total)
ival-atan: 55.0ms (0.2% of total)
ival->=: 33.0ms (0.1% of total)
ival->: 28.0ms (0.1% of total)
Bogosity

soundness31.1s (16.9%)

Rules
262892×*-lowering-*.f32
262892×*-lowering-*.f64
142654×+-lowering-+.f32
142654×+-lowering-+.f64
118114×/-lowering-/.f32
Stop Event
14×saturated
96×iter limit
75×node limit
13×fuel
2×unsound
7×done
Compiler

Compiled 8030 to 4311 computations (46.3% saved)

rewrite26.6s (14.5%)

Algorithm
72×batch-egg-rewrite
Rules
213672×*-lowering-*.f32
213672×*-lowering-*.f64
151930×/-lowering-/.f32
151930×/-lowering-/.f64
96962×+-lowering-+.f32
Stop Event
4×saturated
82×iter limit
65×node limit
4×unsound
Counts
819 → 33697

simplify22.9s (12.5%)

Algorithm
164×egg-herbie
Rules
263714×*-lowering-*.f32
263714×*-lowering-*.f64
144102×+-lowering-+.f32
144102×+-lowering-+.f64
114368×fma-lowering-fma.f64
Stop Event
140×iter limit
86×saturated
82×node limit
Counts
15348 → 15348

localize19.5s (10.6%)

Results
5.7s12697×0valid
5.0s3914×1valid
3.2s622×5exit
2.2s925×2valid
167.0ms233×0unsamplable
87.0ms40×3valid
13.0ms1×4valid
Compiler

Compiled 12442 to 1488 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
ival-sub: 2.1s (21.5% of total)
ival-mult: 1.4s (14.6% of total)
backward-pass: 979.0ms (10.2% of total)
ival-div: 875.0ms (9.1% of total)
...c/correct-round.rkt:119:19: 666.0ms (7% of total)
ival-sin: 633.0ms (6.6% of total)
ival-cos: 626.0ms (6.5% of total)
ival-pow: 576.0ms (6% of total)
ival-add: 505.0ms (5.3% of total)
ival-fmod: 319.0ms (3.3% of total)
ival-log: 199.0ms (2.1% of total)
ival-tan: 163.0ms (1.7% of total)
ival-exp: 158.0ms (1.7% of total)
compiled-spec: 152.0ms (1.6% of total)
ival-sqrt: 108.0ms (1.1% of total)
const: 49.0ms (0.5% of total)
ival-sinh: 47.0ms (0.5% of total)
ival-neg: 23.0ms (0.2% of total)
ival-acos: 20.0ms (0.2% of total)
ival-atan: 6.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

eval8.8s (4.8%)

Compiler

Compiled 1596150 to 122577 computations (92.3% saved)

prune8.1s (4.4%)

Counts
58543 → 1491
Compiler

Compiled 64065 to 32374 computations (49.5% saved)

regimes5.9s (3.2%)

Counts
3857 → 193
Calls

53 calls:

835.0ms
x
679.0ms
a
475.0ms
b
420.0ms
r
249.0ms
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
Compiler

Compiled 1859 to 1321 computations (28.9% saved)

analyze5.2s (2.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
...c/correct-round.rkt:119:19: 1.6s (48.4% of total)
ival-add: 459.0ms (14.3% of total)
ival-<=: 266.0ms (8.3% of total)
ival-tan: 128.0ms (4% of total)
ival-mult: 123.0ms (3.8% of total)
ival-pow: 98.0ms (3.1% of total)
ival-sin: 80.0ms (2.5% of total)
ival-and: 72.0ms (2.2% of total)
ival-cos: 67.0ms (2.1% of total)
ival-div: 56.0ms (1.7% of total)
ival-fmod: 55.0ms (1.7% of total)
ival-exp: 47.0ms (1.5% of total)
ival-sub: 43.0ms (1.3% of total)
ival-or: 32.0ms (1% of total)
ival-==: 25.0ms (0.8% of total)
ival-neg: 20.0ms (0.6% of total)
ival-log: 19.0ms (0.6% of total)
ival-sqrt: 18.0ms (0.6% of total)
const: 15.0ms (0.5% of total)
ival-sinh: 12.0ms (0.4% of total)
backward-pass: 9.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-<: 4.0ms (0.1% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series4.4s (2.4%)

Counts
819 → 15348
Calls

3159 calls:

TimeVariablePointExpression
1.9s
x
@-inf
(/ (fmod (exp x) (/ (* (+ -6859/191102976000 (/ (* (+ -1/96 (/ -1/4 (* x x))) (* (+ (/ 1/4 (* x x)) 1/96) (+ (/ 1/4 (* x x)) 1/96))) (* (* x x) (* (* x x) (* x x))))) (* (* x x) (* (* x x) (* x x)))) (+ 361/33177600 (* (/ (+ (/ 1/4 (* x x)) 1/96) (* x x)) (+ -19/5760 (/ (+ (/ 1/4 (* x x)) 1/96) (* x x))))))) (exp x))
256.0ms
x
@inf
(pow (* x 4) 1/4)
99.0ms
x
@-inf
(pow (* x 4) 1/4)
79.0ms
x
@0
(* x (pow 2 1/4))
73.0ms
x
@0
(pow (* (* x (* x x)) (* x 4)) 1/4)

explain3.3s (1.8%)

Results
1.2s3022×1valid
908.0ms6656×0valid
242.0ms66×5exit
235.0ms496×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-sin: 324.0ms (22.3% of total)
ival-cos: 227.0ms (15.6% of total)
ival-neg: 144.0ms (9.9% of total)
ival-mult: 127.0ms (8.8% of total)
backward-pass: 105.0ms (7.2% of total)
ival-log: 91.0ms (6.3% of total)
ival-tan: 78.0ms (5.4% of total)
ival-sqrt: 62.0ms (4.3% of total)
ival-exp: 50.0ms (3.4% of total)
ival-add: 40.0ms (2.8% of total)
ival-div: 39.0ms (2.7% of total)
ival-sub: 37.0ms (2.5% of total)
ival-fmod: 36.0ms (2.5% of total)
ival-pow: 35.0ms (2.4% of total)
ival-acos: 21.0ms (1.4% of total)
ival-sinh: 18.0ms (1.2% of total)
const: 13.0ms (0.9% of total)
ival-atan: 3.0ms (0.2% of total)

preprocess2.6s (1.4%)

Algorithm
40×egg-herbie
Rules
17610×fnmadd-define
16432×sum3-define
14168×fmsub-define
13672×fnmsub-define
11250×fma-define
Stop Event
34×saturated
19×iter limit
7×node limit
Compiler

Compiled 7902 to 3244 computations (58.9% saved)

bsearch1.9s (1%)

Algorithm
61×binary-search
6×left-value
Stop Event
2×predicate-same
57×narrow-enough
2×predicate-failed
Results
772.0ms2855×1valid
517.0ms4697×0valid
64.0ms96×2valid
25.0ms202×0invalid
Compiler

Compiled 16619 to 9769 computations (41.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 896.0ms
ival-exp: 140.0ms (15.6% of total)
ival-tan: 113.0ms (12.6% of total)
ival-cos: 112.0ms (12.5% of total)
ival-sin: 81.0ms (9% of total)
ival-mult: 79.0ms (8.8% of total)
ival-fmod: 78.0ms (8.7% of total)
ival-pow: 73.0ms (8.1% of total)
backward-pass: 60.0ms (6.7% of total)
ival-add: 41.0ms (4.6% of total)
ival-neg: 33.0ms (3.7% of total)
ival-sqrt: 32.0ms (3.6% of total)
ival-div: 22.0ms (2.5% of total)
ival-sub: 14.0ms (1.6% of total)
ival-acos: 9.0ms (1% of total)
const: 8.0ms (0.9% of total)

end0.0ms (0%)

Profiling

Loading profile data...