Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 29.1min)

sample8.5min (29.2%)

Results
1.5min298691×256valid
44.1s45977×512valid
8.4s28066×256invalid
7.3s27269×256infinite
8.4s25998×256unsamplable
28.6s25381×1024valid
2.7min16592×8192exit
33.8s11108×2048valid
55.4s7397×4096valid
5.7s5831×512infinite
1.4s1727×1024invalid
662.0ms1215×512invalid
1.2s1178×2048invalid
19.9s1092×8192valid
107.0ms914×256precondition
3.6s638×2048infinite
2.4s459×1024infinite
3.8s403×4096infinite
5.0ms5×512unsamplable
7.0ms4×1024unsamplable
8.0ms2×2048unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.5min
Operation ival-pow, time spent: 2.6min, 40.0% of total-time
Operation ival-sin, time spent: 46.4s, 12.0% of total-time
Operation ival-mult, time spent: 46.2s, 12.0% of total-time
Operation ival-cos, time spent: 36.1s, 9.0% of total-time
Operation ival-div, time spent: 34.5s, 9.0% of total-time
Operation ival-exp, time spent: 13.1s, 3.0% of total-time
Operation ival-add, time spent: 12.5s, 3.0% of total-time
Operation ival-log, time spent: 11.5s, 3.0% of total-time
Operation ival-sub, time spent: 10.8s, 3.0% of total-time
Operation ival-<, time spent: 5.0s, 1.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 1.0% of total-time
Operation ival-neg, time spent: 4.1s, 1.0% of total-time
Operation const, time spent: 4.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.8s, 0.0% of total-time
Operation ival-atan, time spent: 1.0s, 0.0% of total-time
Operation ival-pi, time spent: 996.0ms, 0.0% of total-time
Operation ival-acos, time spent: 757.0ms, 0.0% of total-time
Operation ival-tan, time spent: 673.0ms, 0.0% of total-time
Operation ival-and, time spent: 593.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 321.0ms, 0.0% of total-time
Operation ival-<=, time spent: 307.0ms, 0.0% of total-time
Operation ival-asin, time spent: 303.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 232.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize8.5min (29.2%)

Results
Compiler

Compiled 86159 to 47683 computations (44.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0min
Operation ival-sin, time spent: 1.4min, 20.0% of total-time
Operation ival-mult, time spent: 1.3min, 19.0% of total-time
Operation ival-pow, time spent: 1.3min, 18.0% of total-time
Operation ival-cos, time spent: 1.1min, 16.0% of total-time
Operation ival-div, time spent: 33.0s, 8.0% of total-time
Operation composed, time spent: 21.5s, 5.0% of total-time
Operation ival-add, time spent: 11.8s, 3.0% of total-time
Operation ival-log, time spent: 9.9s, 2.0% of total-time
Operation ival-exp, time spent: 8.5s, 2.0% of total-time
Operation ival-sub, time spent: 6.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 2.0% of total-time
Operation const, time spent: 5.5s, 1.0% of total-time
Operation ival-cbrt, time spent: 3.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 0.0% of total-time
Operation ival-neg, time spent: 1.3s, 0.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-acos, time spent: 955.0ms, 0.0% of total-time
Operation ival-tan, time spent: 743.0ms, 0.0% of total-time
Operation ival-pi, time spent: 362.0ms, 0.0% of total-time
Operation ival-asin, time spent: 237.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 101.0ms, 0.0% of total-time

eval3.2min (10.9%)

Compiler

Compiled 6860738 to 4019718 computations (41.4% saved)

preprocess2.4min (8.3%)

Algorithm
51×egg-herbie
Rules
31511×fma-define
18832×fmm-def
12992×div-sub
11124×sub-neg
10161×distribute-lft-in
Stop Event
21×saturated
30×node limit
Results
Compiler

Compiled 80736 to 49180 computations (39.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-sin, time spent: 22.5s, 25.0% of total-time
Operation ival-cos, time spent: 18.3s, 20.0% of total-time
Operation ival-mult, time spent: 16.4s, 18.0% of total-time
Operation ival-div, time spent: 13.4s, 15.0% of total-time
Operation ival-pow, time spent: 10.1s, 11.0% of total-time
Operation ival-add, time spent: 2.7s, 3.0% of total-time
Operation ival-sub, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 1.0% of total-time
Operation ival-log, time spent: 1.0s, 1.0% of total-time
Operation ival-exp, time spent: 302.0ms, 0.0% of total-time
Operation ival-tan, time spent: 294.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 247.0ms, 0.0% of total-time
Operation ival-atan, time spent: 193.0ms, 0.0% of total-time
Operation ival-neg, time spent: 182.0ms, 0.0% of total-time
Operation ival-pi, time spent: 97.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 92.0ms, 0.0% of total-time
Operation ival-acos, time spent: 51.0ms, 0.0% of total-time
Operation ival-asin, time spent: 32.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time

simplify1.4min (4.7%)

Algorithm
228×egg-herbie
Rules
72142×fma-define
58730×associate-*r*
54774×distribute-lft-in
52094×fmm-def
51990×*-commutative
Stop Event
49×saturated
38×fuel
177×node limit
2×unsound
9×done
Counts
87245 → 76299
Compiler

Compiled 17209 to 11637 computations (32.4% saved)

soundness1.1min (3.7%)

Rules
76021×fma-define
51175×associate-*r*
50883×log1p-expm1-u
49722×fmm-def
43427×distribute-lft-in
Stop Event
15×saturated
211×node limit
3×unsound
Compiler

Compiled 53344 to 32262 computations (39.5% saved)

regimes1.1min (3.7%)

Counts
20023 → 865
Calls

134 calls:

5.8s
phi1
5.1s
phi2
4.6s
lambda2
4.3s
lambda1
3.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 12113 to 8892 computations (26.6% saved)

prune1.0min (3.5%)

Counts
166646 → 6682
Results
Compiler

Compiled 419800 to 291150 computations (30.6% saved)

analyze42.4s (2.4%)

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: 29.4s
Operation ival-mult, time spent: 8.4s, 29.0% of total-time
Operation ival-div, time spent: 4.6s, 16.0% of total-time
Operation ival-pow, time spent: 3.9s, 13.0% of total-time
Operation ival-sin, time spent: 3.2s, 11.0% of total-time
Operation ival-cos, time spent: 2.7s, 9.0% of total-time
Operation ival-<, time spent: 1.8s, 6.0% of total-time
Operation ival-add, time spent: 1.2s, 4.0% of total-time
Operation ival-sub, time spent: 987.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 760.0ms, 3.0% of total-time
Operation ival-neg, time spent: 544.0ms, 2.0% of total-time
Operation const, time spent: 446.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 171.0ms, 1.0% of total-time
Operation ival-log, time spent: 150.0ms, 1.0% of total-time
Operation ival-pi, time spent: 104.0ms, 0.0% of total-time
Operation ival-exp, time spent: 97.0ms, 0.0% of total-time
Operation ival-tan, time spent: 87.0ms, 0.0% of total-time
Operation ival-and, time spent: 72.0ms, 0.0% of total-time
Operation ival-atan, time spent: 55.0ms, 0.0% of total-time
Operation ival-acos, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 42.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 21.0ms, 0.0% of total-time
Operation ival-==, time spent: 5.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

rewrite41.4s (2.4%)

Algorithm
181×batch-egg-rewrite
Rules
114496×log1p-expm1-u
87390×expm1-log1p-u
43803×pow1
40955×add-exp-log
39979×add-log-exp
Stop Event
178×node limit
3×unsound
Counts
1669 → 48412

bsearch18.0s (1%)

Algorithm
310×binary-search
87×left-value
Stop Event
6×predicate-same
304×narrow-enough
Results
7.1s28662×256valid
5.1s5622×512valid
243.0ms1624×256invalid
965.0ms1203×2048valid
1.1s959×4096valid
503.0ms934×1024valid
112.0ms653×256infinite
62.0ms127×512infinite
1.0ms15×256unsamplable
Compiler

Compiled 97176 to 72852 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
Operation ival-sin, time spent: 1.9s, 19.0% of total-time
Operation ival-mult, time spent: 1.7s, 17.0% of total-time
Operation ival-cos, time spent: 1.5s, 15.0% of total-time
Operation ival-div, time spent: 948.0ms, 10.0% of total-time
Operation ival-sub, time spent: 743.0ms, 7.0% of total-time
Operation ival-pow, time spent: 581.0ms, 6.0% of total-time
Operation ival-atan2, time spent: 474.0ms, 5.0% of total-time
Operation ival-add, time spent: 466.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 381.0ms, 4.0% of total-time
Operation ival-atan, time spent: 371.0ms, 4.0% of total-time
Operation ival-exp, time spent: 206.0ms, 2.0% of total-time
Operation ival-acos, time spent: 159.0ms, 2.0% of total-time
Operation const, time spent: 153.0ms, 2.0% of total-time
Operation ival-neg, time spent: 94.0ms, 1.0% of total-time
Operation ival-pi, time spent: 89.0ms, 1.0% of total-time
Operation ival-log, time spent: 82.0ms, 1.0% of total-time
Operation ival-asin, time spent: 55.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 5.0ms, 0.0% of total-time

series17.7s (1%)

Counts
1669 → 38833
Calls

9405 calls:

TimeVariablePointExpression
203.0ms
lambda1
@0
(- (+ 1 (* phi2 (* (cos (* 1/2 phi1)) (sin (* 1/2 phi1))))) (+ (* (cos phi1) (pow (sin (* 1/2 (- lambda1 lambda2))) 2)) (pow (sin (* 1/2 phi1)) 2)))
159.0ms
C
@0
(log (* B (sqrt (* 2 (* F (* -1/2 (/ (pow B 2) C)))))))
144.0ms
eh
@0
(/ 1 (sqrt (+ (* 1 1) (* (/ (/ eh (tan t)) ew) (/ (/ eh (tan t)) ew)))))
140.0ms
R
@0
(log (* phi2 (+ R (/ (* phi1 R) phi2))))
138.0ms
F
@0
(log (* B (sqrt (* 2 (* F (+ C (sqrt (+ (* B B) (* C C)))))))))

end43.0ms (0%)

Profiling

Loading profile data...