Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
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: 11.3min)

sample3.5min (31.4%)

Results
50.4s182290×0valid
11.7s42773×0infinite
9.2s40393×0invalid
1.2min38279×6exit
21.5s13296×1valid
16.5s7081×1invalid
3.0s1631×5valid
1.7s1581×4valid
624.0ms1001×2valid
943.0ms994×3valid
2.2s969×6valid
701.0ms859×1infinite
1.1s723×6infinite
549.0ms663×3invalid
750.0ms519×5infinite
346.0ms498×2invalid
1.2s484×4infinite
302.0ms295×2infinite
458.0ms268×3infinite
301.0ms168×4invalid
1.0ms5×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-mult, time spent: 30.3s, 22.0% of total-time
Operation ival-div, time spent: 26.3s, 19.0% of total-time
Operation ival-exp, time spent: 26.1s, 19.0% of total-time
Operation ival-pow, time spent: 16.1s, 12.0% of total-time
Operation ival-sub, time spent: 10.9s, 8.0% of total-time
Operation ival-add, time spent: 8.8s, 6.0% of total-time
Operation ival-sqrt, time spent: 5.6s, 4.0% of total-time
Operation const, time spent: 4.1s, 3.0% of total-time
Operation ival-tan, time spent: 2.9s, 2.0% of total-time
Operation ival-sin, time spent: 2.7s, 2.0% of total-time
Operation ival-neg, time spent: 1.5s, 1.0% of total-time
Operation ival-cos, time spent: 1.5s, 1.0% of total-time
Operation ival-pi, time spent: 1.2s, 1.0% of total-time
Operation ival-log, time spent: 733.0ms, 1.0% of total-time
Operation composed, time spent: 487.0ms, 0.0% of total-time
Operation ival-asin, time spent: 263.0ms, 0.0% of total-time
Operation ival-<, time spent: 85.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 82.0ms, 0.0% of total-time
Operation ival-acos, time spent: 24.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

localize1.9min (17%)

Compiler

Compiled 35461 to 17788 computations (49.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 17.0s, 20.0% of total-time
Operation ival-pow, time spent: 15.3s, 18.0% of total-time
Operation ival-div, time spent: 11.1s, 13.0% of total-time
Operation ival-add, time spent: 8.9s, 11.0% of total-time
Operation composed, time spent: 8.6s, 10.0% of total-time
Operation ival-sub, time spent: 5.4s, 6.0% of total-time
Operation ival-sqrt, time spent: 5.3s, 6.0% of total-time
Operation ival-exp, time spent: 4.7s, 6.0% of total-time
Operation const, time spent: 2.9s, 3.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation ival-log, time spent: 1.2s, 1.0% of total-time
Operation ival-sin, time spent: 696.0ms, 1.0% of total-time
Operation ival-neg, time spent: 599.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 447.0ms, 1.0% of total-time
Operation ival-asin, time spent: 319.0ms, 0.0% of total-time
Operation ival-tan, time spent: 204.0ms, 0.0% of total-time
Operation ival-pi, time spent: 63.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

soundness1.5min (13%)

Rules
175198×fma-define
133220×associate-*r*
118012×log-prod
113762×times-frac
97594×associate-*l*
Stop Event
4×saturated
315×node limit
3×unsound
Compiler

Compiled 31245 to 19585 computations (37.3% saved)

eval54.7s (8.1%)

Compiler

Compiled 2429330 to 1512896 computations (37.7% saved)

regimes43.1s (6.4%)

Counts
8442 → 713
Calls

150 calls:

3.1s
l
2.5s
t
2.1s
F
1.6s
k
1.3s
x
Compiler

Compiled 8280 to 6409 computations (22.6% saved)

simplify39.4s (5.8%)

Algorithm
146×egg-herbie
Rules
89408×fma-define
72850×associate-*r*
63892×times-frac
61320×log-prod
56532×associate-*l*
Stop Event
30×saturated
116×node limit
27×fuel
3×done
Counts
59064 → 48475
Compiler

Compiled 12061 to 7985 computations (33.8% saved)

preprocess32.1s (4.7%)

Algorithm
30×egg-herbie
Rules
32810×fma-define
22564×fma-neg
15850×times-frac
13640×unsub-neg
12964×associate-*r*
Stop Event
5×saturated
25×node limit
Compiler

Compiled 57481 to 35490 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.9s
Operation ival-exp, time spent: 3.0s, 24.0% of total-time
Operation ival-mult, time spent: 2.3s, 18.0% of total-time
Operation ival-div, time spent: 2.1s, 16.0% of total-time
Operation ival-add, time spent: 1.4s, 11.0% of total-time
Operation ival-sub, time spent: 1.1s, 9.0% of total-time
Operation ival-pow, time spent: 823.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 476.0ms, 4.0% of total-time
Operation const, time spent: 434.0ms, 3.0% of total-time
Operation ival-cos, time spent: 350.0ms, 3.0% of total-time
Operation ival-tan, time spent: 227.0ms, 2.0% of total-time
Operation ival-neg, time spent: 177.0ms, 1.0% of total-time
Operation composed, time spent: 140.0ms, 1.0% of total-time
Operation ival-sin, time spent: 136.0ms, 1.0% of total-time
Operation ival-log, time spent: 122.0ms, 1.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-asin, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite23.8s (3.5%)

Algorithm
116×batch-egg-rewrite
Rules
69455×log1p-expm1-u
44968×expm1-log1p-u
31368×log-prod
30806×prod-diff
28476×add-exp-log
Stop Event
114×node limit
2×unsound
Counts
1169 → 32158

bsearch21.7s (3.2%)

Algorithm
312×binary-search
89×left-value
Stop Event
6×predicate-same
301×narrow-enough
5×predicate-failed
Results
8.6s28894×0valid
2.3s7835×0infinite
6.5s4561×6exit
194.0ms823×0invalid
122.0ms298×1valid
174.0ms155×5valid
123.0ms128×4valid
216.0ms101×5infinite
43.0ms96×1infinite
117.0ms92×6valid
217.0ms87×6infinite
72.0ms82×4infinite
27.0ms45×2valid
42.0ms44×3valid
20.0ms32×2infinite
26.0ms31×3infinite
18.0ms21×3invalid
10.0ms19×2invalid
3.0ms8×1invalid
5.0ms6×4invalid
Compiler

Compiled 98639 to 74119 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.2s
Operation ival-mult, time spent: 2.6s, 21.0% of total-time
Operation ival-div, time spent: 2.5s, 21.0% of total-time
Operation ival-add, time spent: 1.7s, 14.0% of total-time
Operation ival-pow, time spent: 1.6s, 13.0% of total-time
Operation ival-sub, time spent: 1.0s, 8.0% of total-time
Operation ival-tan, time spent: 627.0ms, 5.0% of total-time
Operation ival-sin, time spent: 504.0ms, 4.0% of total-time
Operation const, time spent: 475.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 297.0ms, 2.0% of total-time
Operation ival-neg, time spent: 233.0ms, 2.0% of total-time
Operation ival-cos, time spent: 233.0ms, 2.0% of total-time
Operation composed, time spent: 195.0ms, 2.0% of total-time
Operation ival-exp, time spent: 191.0ms, 2.0% of total-time
Operation ival-asin, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

prune19.5s (2.9%)

Counts
78791 → 2799
Compiler

Compiled 120808 to 84218 computations (30.3% saved)

series14.6s (2.2%)

Counts
1169 → 26906
Calls

8106 calls:

TimeVariablePointExpression
198.0ms
f
@-inf
(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) 1) 16))
162.0ms
l
@0
(sqrt.f64 (-.f64 1 (/.f64 (*.f64 (pow.f64 (/.f64 (/.f64 M 2) (/.f64 d D)) 2) h) l)))
161.0ms
t
@-inf
(*.f64 (sqrt.f64 (+.f64 2 (*.f64 (*.f64 (*.f64 v v) -3) 2))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
147.0ms
d
@0
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 M (*.f64 2 (/.f64 d D))) 2) (/.f64 h l)))))
146.0ms
Om
@-inf
(log1p.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (fma.f64 2 (pow.f64 (/.f64 t l) 2) 1)))))

analyze12.1s (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
44.7%40.3%49.7%1.8%0%7.4%0.8%7
46.8%41.8%47.4%1.8%0%8.2%0.9%8
49.5%44.1%44.9%1.8%0%8.3%0.9%9
50.6%44.9%43.9%1.8%0%8.4%1%10
52.1%46.1%42.3%1.8%0%8.8%1%11
53.7%47.3%40.7%1.8%0%9.2%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.8s
Operation ival-mult, time spent: 2.1s, 30.0% of total-time
Operation ival-pow, time spent: 1.3s, 20.0% of total-time
Operation ival-div, time spent: 1.1s, 17.0% of total-time
Operation ival-sqrt, time spent: 591.0ms, 9.0% of total-time
Operation ival-add, time spent: 378.0ms, 6.0% of total-time
Operation ival-sub, time spent: 300.0ms, 4.0% of total-time
Operation ival-sin, time spent: 264.0ms, 4.0% of total-time
Operation ival-tan, time spent: 194.0ms, 3.0% of total-time
Operation const, time spent: 144.0ms, 2.0% of total-time
Operation ival-neg, time spent: 87.0ms, 1.0% of total-time
Operation ival-acos, time spent: 83.0ms, 1.0% of total-time
Operation ival-exp, time spent: 69.0ms, 1.0% of total-time
Operation ival-cos, time spent: 41.0ms, 1.0% of total-time
Operation ival-asin, time spent: 40.0ms, 1.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-<, time spent: 20.0ms, 0.0% of total-time
Operation ival-log, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.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

end22.0ms (0%)

Profiling

Loading profile data...