Herbie run

Date:Tuesday, March 19th, 2024
Commit:f5417cea on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024079
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: 10.1min)

sample2.5min (25%)

Results
43.1s176344×0valid
14.3s65964×0invalid
10.6s42312×0infinite
18.1s23506×1valid
25.8s11863×5exit
9.0s9940×1invalid
7.3s5377×3valid
5.2s5102×2valid
730.0ms1077×1infinite
2.3s842×4valid
844.0ms793×2infinite
956.0ms583×3infinite
276.0ms323×2invalid
43.0ms230×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation backward-pass, time spent: 32.1s, 31.0% of total-time
Operation ival-mult, time spent: 18.4s, 18.0% of total-time
Operation ival-div, time spent: 11.7s, 11.0% of total-time
Operation ival-pow, time spent: 6.6s, 6.0% of total-time
Operation composed, time spent: 5.7s, 6.0% of total-time
Operation ival-sub, time spent: 4.9s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.8s, 5.0% of total-time
Operation ival-exp, time spent: 4.4s, 4.0% of total-time
Operation ival-add, time spent: 4.3s, 4.0% of total-time
Operation ival-tan, time spent: 2.5s, 2.0% of total-time
Operation ival-sin, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 1.4s, 1.0% of total-time
Operation ival-cos, time spent: 997.0ms, 1.0% of total-time
Operation ival-neg, time spent: 892.0ms, 1.0% of total-time
Operation ival-log, time spent: 748.0ms, 1.0% of total-time
Operation ival-acos, time spent: 674.0ms, 1.0% of total-time
Operation ival-pi, time spent: 571.0ms, 1.0% of total-time
Operation ival-asin, time spent: 210.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 147.0ms, 0.0% of total-time
Operation ival-<, time spent: 103.0ms, 0.0% of total-time
Operation ival-and, time spent: 15.0ms, 0.0% of total-time
Bogosity

localize1.8min (18%)

Compiler

Compiled 39988 to 21090 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 17.2s, 22.0% of total-time
Operation ival-pow, time spent: 16.7s, 22.0% of total-time
Operation composed, time spent: 8.6s, 11.0% of total-time
Operation ival-div, time spent: 7.5s, 10.0% of total-time
Operation ival-add, time spent: 5.1s, 7.0% of total-time
Operation ival-tan, time spent: 3.9s, 5.0% of total-time
Operation ival-sub, time spent: 3.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 3.0% of total-time
Operation ival-cos, time spent: 1.9s, 2.0% of total-time
Operation ival-log, time spent: 1.9s, 2.0% of total-time
Operation ival-acos, time spent: 1.9s, 2.0% of total-time
Operation ival-exp, time spent: 1.8s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-sin, time spent: 1.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 777.0ms, 1.0% of total-time
Operation ival-asin, time spent: 592.0ms, 1.0% of total-time
Operation ival-neg, time spent: 582.0ms, 1.0% of total-time
Operation ival-pi, time spent: 55.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time

eval1.1min (11.3%)

Compiler

Compiled 3004939 to 1899900 computations (36.8% saved)

regimes54.7s (9%)

Counts
9857 → 649
Calls

152 calls:

5.3s
l
3.6s
k
2.4s
F
2.4s
t
2.1s
mu
Compiler

Compiled 8305 to 6290 computations (24.3% saved)

simplify54.3s (8.9%)

Algorithm
154×egg-herbie
Rules
53059×fma-define
41310×associate-*r*
39870×*-commutative
37877×times-frac
32915×distribute-lft-in
Stop Event
31×saturated
123×node limit
30×fuel
1×done
Counts
72221 → 58965
Compiler

Compiled 11492 to 7593 computations (33.9% saved)

soundness49.5s (8.1%)

Rules
56614×fma-define
46503×log1p-expm1-u
42617×associate-*r*
37720×times-frac
32222×expm1-log1p-u
Stop Event
7×saturated
174×node limit
1×unsound
Compiler

Compiled 35488 to 22197 computations (37.5% saved)

preprocess27.9s (4.6%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 65982 to 40774 computations (38.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 2.0s, 21.0% of total-time
Operation ival-div, time spent: 1.7s, 19.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-sub, time spent: 907.0ms, 10.0% of total-time
Operation ival-exp, time spent: 683.0ms, 7.0% of total-time
Operation ival-tan, time spent: 570.0ms, 6.0% of total-time
Operation ival-add, time spent: 554.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 480.0ms, 5.0% of total-time
Operation ival-sin, time spent: 359.0ms, 4.0% of total-time
Operation ival-cos, time spent: 283.0ms, 3.0% of total-time
Operation const, time spent: 199.0ms, 2.0% of total-time
Operation ival-neg, time spent: 138.0ms, 2.0% of total-time
Operation composed, time spent: 94.0ms, 1.0% of total-time
Operation ival-log, time spent: 79.0ms, 1.0% of total-time
Operation ival-acos, time spent: 52.0ms, 1.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

rewrite27.8s (4.6%)

Algorithm
123×batch-egg-rewrite
Rules
70588×log1p-expm1-u
47449×expm1-log1p-u
31891×add-exp-log
31701×add-log-exp
31489×pow1
Stop Event
122×node limit
1×unsound
Counts
1320 → 37306

prune25.8s (4.2%)

Counts
91610 → 3103
Compiler

Compiled 145635 to 101766 computations (30.1% saved)

bsearch14.0s (2.3%)

Algorithm
251×binary-search
83×left-value
Stop Event
2×predicate-same
249×narrow-enough
Results
6.2s22210×0valid
1.9s6627×0infinite
1.6s5323×0invalid
508.0ms976×1valid
277.0ms359×2valid
111.0ms216×1invalid
66.0ms64×2invalid
30.0ms47×1infinite
55.0ms45×3valid
32.0ms30×2infinite
39.0ms25×4valid
20.0ms17×3infinite
2.0ms1×5exit
Compiler

Compiled 75318 to 57659 computations (23.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
Operation ival-mult, time spent: 1.3s, 21.0% of total-time
Operation ival-div, time spent: 1.3s, 20.0% of total-time
Operation ival-pow, time spent: 1.0s, 15.0% of total-time
Operation ival-add, time spent: 650.0ms, 10.0% of total-time
Operation backward-pass, time spent: 510.0ms, 8.0% of total-time
Operation ival-sin, time spent: 480.0ms, 7.0% of total-time
Operation ival-tan, time spent: 339.0ms, 5.0% of total-time
Operation ival-sub, time spent: 303.0ms, 5.0% of total-time
Operation ival-neg, time spent: 158.0ms, 2.0% of total-time
Operation const, time spent: 118.0ms, 2.0% of total-time
Operation ival-exp, time spent: 117.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 109.0ms, 2.0% of total-time
Operation ival-cos, time spent: 98.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

series13.4s (2.2%)

Counts
1320 → 34915
Calls

9069 calls:

TimeVariablePointExpression
224.0ms
d
@0
(pow (exp 1/6) (+ (* -2 (log d)) (log (* -1/4 (/ (* (pow (* D M) 2) h) l)))))
205.0ms
f
@-inf
(/ (neg (log (tanh (* (* f (PI)) 1/4)))) (PI))
132.0ms
c0
@0
(* c0 (/ (/ (* (/ (* c0 (pow (/ d D) 2)) w) -2) (neg h)) (* 2 w)))
122.0ms
Omc
@inf
(sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))))
112.0ms
kx
@-inf
(pow (sqrt (+ (* 1 1) (* (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky))))) (* (/ 2 (/ Om l)) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))))) -1/2)

analyze11.2s (1.8%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.9%1.8%0%7.4%0.7%6
45%40.3%49.1%1.8%0%8%0.8%7
47.4%41.8%46.4%1.8%0%9.2%0.9%8
50.2%44.1%43.8%1.8%0%9.4%0.9%9
51.3%44.9%42.7%1.8%0%9.6%1%10
53%46.1%40.9%1.8%0%10.2%1%11
54.7%47.3%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
Operation ival-mult, time spent: 2.1s, 32.0% of total-time
Operation ival-pow, time spent: 1.2s, 19.0% of total-time
Operation ival-div, time spent: 1.1s, 16.0% of total-time
Operation ival-sqrt, time spent: 479.0ms, 7.0% of total-time
Operation ival-sub, time spent: 402.0ms, 6.0% of total-time
Operation ival-add, time spent: 336.0ms, 5.0% of total-time
Operation ival-sin, time spent: 193.0ms, 3.0% of total-time
Operation ival-tan, time spent: 157.0ms, 2.0% of total-time
Operation const, time spent: 131.0ms, 2.0% of total-time
Operation ival-acos, time spent: 129.0ms, 2.0% of total-time
Operation ival-exp, time spent: 100.0ms, 2.0% of total-time
Operation ival-neg, time spent: 86.0ms, 1.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-cos, time spent: 28.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-<, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

end21.0ms (0%)

Profiling

Loading profile data...