Herbie run

Date:Wednesday, March 20th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024080
Parameters:256 points for 4 iterations
Flags:
reduce: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: 27.3min)

localize9.0min (33.1%)

Results
46.8s28005×256valid
43.4s4601×512valid
9.2s3517×256invalid
4.6min3011×8192exit
4.6s2735×256infinite
17.1s2534×1024valid
32.4s1949×2048valid
28.3s462×4096valid
5.7s383×512infinite
1.7s167×512invalid
2.0s103×2048infinite
2.0s102×1024infinite
4.6s25×4096infinite
4.9s13×8192valid
23.0ms2×1024invalid
Compiler

Compiled 85328 to 46277 computations (45.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.7min
Operation ival-sin, time spent: 1.9min, 25.0% of total-time
Operation ival-cos, time spent: 1.6min, 21.0% of total-time
Operation ival-mult, time spent: 1.1min, 15.0% of total-time
Operation ival-pow, time spent: 1.0min, 13.0% of total-time
Operation ival-div, time spent: 31.2s, 7.0% of total-time
Operation composed, time spent: 27.3s, 6.0% of total-time
Operation ival-log, time spent: 13.4s, 3.0% of total-time
Operation ival-exp, time spent: 11.8s, 3.0% of total-time
Operation ival-add, time spent: 9.5s, 2.0% of total-time
Operation ival-sub, time spent: 6.0s, 1.0% of total-time
Operation ival-sqrt, time spent: 5.7s, 1.0% of total-time
Operation const, time spent: 5.0s, 1.0% of total-time
Operation ival-cbrt, time spent: 3.1s, 1.0% of total-time
Operation ival-atan2, time spent: 1.7s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-acos, time spent: 866.0ms, 0.0% of total-time
Operation ival-tan, time spent: 687.0ms, 0.0% of total-time
Operation ival-neg, time spent: 550.0ms, 0.0% of total-time
Operation ival-pi, time spent: 261.0ms, 0.0% of total-time
Operation ival-asin, time spent: 124.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 112.0ms, 0.0% of total-time

sample7.7min (28.1%)

Results
1.1min298766×256valid
37.2s45849×512valid
4.9s28070×256invalid
5.6s26874×256infinite
6.7s26452×256unsamplable
20.0s25572×1024valid
2.6min16723×8192exit
29.5s11192×2048valid
51.5s7408×4096valid
5.3s5987×512infinite
1.2s1689×1024invalid
525.0ms1155×512invalid
1.1s1137×2048invalid
19.3s1103×8192valid
89.0ms949×256precondition
2.8s654×2048infinite
1.5s548×1024infinite
3.0s387×4096infinite
7.0ms8×512unsamplable
3.0ms1×1024unsamplable
35.0ms1×8192unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.0min
Operation ival-pow, time spent: 2.5min, 42.0% of total-time
Operation ival-sin, time spent: 46.2s, 13.0% of total-time
Operation ival-mult, time spent: 40.1s, 11.0% of total-time
Operation ival-cos, time spent: 34.3s, 9.0% of total-time
Operation ival-div, time spent: 30.3s, 8.0% of total-time
Operation ival-exp, time spent: 11.1s, 3.0% of total-time
Operation ival-log, time spent: 10.2s, 3.0% of total-time
Operation ival-add, time spent: 9.9s, 3.0% of total-time
Operation ival-sub, time spent: 7.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.4s, 1.0% of total-time
Operation const, time spent: 3.5s, 1.0% of total-time
Operation ival-neg, time spent: 2.7s, 1.0% of total-time
Operation ival-<, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 2.0s, 1.0% of total-time
Operation ival-atan, time spent: 1.1s, 0.0% of total-time
Operation ival-pi, time spent: 1.0s, 0.0% of total-time
Operation ival-acos, time spent: 844.0ms, 0.0% of total-time
Operation ival-tan, time spent: 706.0ms, 0.0% of total-time
Operation ival-and, time spent: 481.0ms, 0.0% of total-time
Operation ival-<=, time spent: 288.0ms, 0.0% of total-time
Operation ival-asin, time spent: 279.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 234.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 230.0ms, 0.0% of total-time
Operation ival-==, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

eval2.7min (9.9%)

Compiler

Compiled 7137845 to 4295075 computations (39.8% saved)

preprocess2.2min (8.1%)

Algorithm
51×egg-herbie
Rules
31500×fma-define
18832×fma-neg
12964×div-sub
11458×unsub-neg
11133×sub-neg
Stop Event
21×saturated
30×node limit
Results
8.8s16908×256valid
11.5s3364×512valid
5.3s1780×1024valid
1.1s1560×256infinite
15.1s1186×2048valid
31.6s560×4096valid
3.3s484×512infinite
1.4s108×2048infinite
14.9s84×8192valid
2.6s40×4096infinite
591.0ms38×1024infinite
Compiler

Compiled 88512 to 55330 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 24.3s, 28.0% of total-time
Operation ival-cos, time spent: 17.3s, 20.0% of total-time
Operation ival-mult, time spent: 14.6s, 17.0% of total-time
Operation ival-div, time spent: 11.4s, 13.0% of total-time
Operation ival-pow, time spent: 10.0s, 12.0% of total-time
Operation ival-add, time spent: 2.5s, 3.0% of total-time
Operation ival-sub, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-sqrt, time spent: 842.0ms, 1.0% of total-time
Operation ival-log, time spent: 637.0ms, 1.0% of total-time
Operation ival-tan, time spent: 418.0ms, 0.0% of total-time
Operation ival-exp, time spent: 235.0ms, 0.0% of total-time
Operation ival-atan, time spent: 217.0ms, 0.0% of total-time
Operation ival-neg, time spent: 159.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 153.0ms, 0.0% of total-time
Operation ival-pi, time spent: 101.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 68.0ms, 0.0% of total-time
Operation ival-acos, time spent: 53.0ms, 0.0% of total-time
Operation ival-asin, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time

simplify1.2min (4.2%)

Algorithm
225×egg-herbie
Rules
78116×fma-define
53312×*-commutative
51736×associate-*r*
50875×distribute-lft-in
48503×fma-neg
Stop Event
50×saturated
38×fuel
174×node limit
1×unsound
10×done
Counts
82529 → 71261
Compiler

Compiled 15586 to 10638 computations (31.7% saved)

soundness54.7s (3.3%)

Rules
75249×fma-define
49093×log1p-expm1-u
45971×associate-*r*
42358×fma-neg
39932×distribute-lft-in
Stop Event
14×saturated
200×node limit
4×unsound
Compiler

Compiled 52142 to 30706 computations (41.1% saved)

regimes53.5s (3.3%)

Counts
17774 → 831
Calls

137 calls:

4.2s
phi1
3.7s
phi2
3.3s
lambda1
3.2s
lambda2
2.3s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11732 to 8670 computations (26.1% saved)

prune52.8s (3.2%)

Counts
165515 → 6334
Compiler

Compiled 413126 to 285541 computations (30.9% saved)

analyze35.8s (2.2%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.2s
Operation ival-mult, time spent: 7.5s, 30.0% of total-time
Operation ival-div, time spent: 3.6s, 14.0% of total-time
Operation ival-sin, time spent: 3.5s, 14.0% of total-time
Operation ival-pow, time spent: 3.4s, 14.0% of total-time
Operation ival-cos, time spent: 2.8s, 11.0% of total-time
Operation ival-add, time spent: 1.2s, 5.0% of total-time
Operation ival-sub, time spent: 862.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 596.0ms, 2.0% of total-time
Operation const, time spent: 419.0ms, 2.0% of total-time
Operation ival-<, time spent: 339.0ms, 1.0% of total-time
Operation ival-neg, time spent: 274.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 140.0ms, 1.0% of total-time
Operation ival-pi, time spent: 97.0ms, 0.0% of total-time
Operation ival-exp, time spent: 84.0ms, 0.0% of total-time
Operation ival-log, time spent: 83.0ms, 0.0% of total-time
Operation ival-tan, time spent: 69.0ms, 0.0% of total-time
Operation ival-and, time spent: 62.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 49.0ms, 0.0% of total-time
Operation ival-acos, time spent: 40.0ms, 0.0% of total-time
Operation ival-asin, time spent: 40.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

rewrite35.7s (2.2%)

Algorithm
177×batch-egg-rewrite
Rules
110578×log1p-expm1-u
85495×expm1-log1p-u
42872×pow1
40458×add-exp-log
38461×add-log-exp
Stop Event
174×node limit
3×unsound
Counts
1590 → 44563

bsearch21.3s (1.3%)

Algorithm
301×binary-search
83×left-value
Stop Event
9×predicate-same
292×narrow-enough
Results
6.9s26104×256valid
5.5s5741×512valid
1.8s1725×4096valid
1.2s1583×2048valid
179.0ms1438×256invalid
518.0ms968×256infinite
570.0ms935×1024valid
696.0ms448×512infinite
1.0ms18×256unsamplable
Compiler

Compiled 88433 to 66856 computations (24.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
Operation ival-mult, time spent: 2.3s, 18.0% of total-time
Operation ival-sin, time spent: 2.2s, 18.0% of total-time
Operation ival-cos, time spent: 1.6s, 13.0% of total-time
Operation ival-div, time spent: 1.4s, 11.0% of total-time
Operation ival-pow, time spent: 1.3s, 11.0% of total-time
Operation ival-sub, time spent: 768.0ms, 6.0% of total-time
Operation ival-add, time spent: 578.0ms, 5.0% of total-time
Operation ival-atan, time spent: 522.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 516.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 316.0ms, 3.0% of total-time
Operation ival-exp, time spent: 256.0ms, 2.0% of total-time
Operation ival-acos, time spent: 201.0ms, 2.0% of total-time
Operation const, time spent: 193.0ms, 2.0% of total-time
Operation ival-pi, time spent: 120.0ms, 1.0% of total-time
Operation ival-neg, time spent: 90.0ms, 1.0% of total-time
Operation ival-log, time spent: 90.0ms, 1.0% of total-time
Operation ival-asin, time spent: 66.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 16.0ms, 0.0% of total-time
Operation ival-tan, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series16.4s (1%)

Counts
1590 → 37966
Calls

9243 calls:

TimeVariablePointExpression
389.0ms
F
@0
(pow (* (* F (+ (* B B) (* (* A C) -4))) (* 2 (+ A (+ C (sqrt (+ (* (- A C) (- A C)) (* B B))))))) 1/4)
341.0ms
b
@0
(* (- (pow b 2) (pow a 2)) (* 2 (* (sin (* (PI) (/ angle 180))) (cos (* (PI) (/ angle 180))))))
295.0ms
theta
@inf
(+ lambda1 (atan2 (* (sin theta) (sin delta)) (cos delta)))
101.0ms
lambda1
@-inf
(log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (sin lambda1) (sin lambda2)) (* (cos lambda1) (cos lambda2)))))))
91.0ms
x
@inf
(log (sqrt (exp (+ (/ 2 (+ 1 (pow (exp -2) x))) -1))))

end30.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-pow, time spent: 4.7s, 51.0% of total-time
Operation ival-mult, time spent: 4.5s, 49.0% of total-time

Profiling

Loading profile data...