Herbie run

Date:Wednesday, February 21st, 2024
Commit:fdeaafd3 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024052
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: 12.5min)

sample3.8min (30.7%)

Results
50.3s182311×0valid
10.7s42647×0infinite
11.1s40802×0invalid
1.2min36875×5exit
52.1s17116×1valid
14.0s7544×1invalid
1.3s2438×1infinite
1.9s1005×4valid
872.0ms904×3valid
406.0ms808×2invalid
570.0ms676×2valid
427.0ms337×5valid
177.0ms177×2infinite
67.0ms83×3infinite
9.0ms10×4infinite
1.0ms4×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.8min
Operation ival-tan, time spent: 41.1s, 25.0% of total-time
Operation ival-mult, time spent: 24.4s, 15.0% of total-time
Operation ival-div, time spent: 23.5s, 14.0% of total-time
Operation ival-exp, time spent: 21.5s, 13.0% of total-time
Operation ival-pow, time spent: 15.2s, 9.0% of total-time
Operation ival-sub, time spent: 10.0s, 6.0% of total-time
Operation ival-sin, time spent: 9.3s, 6.0% of total-time
Operation ival-add, time spent: 7.9s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.7s, 3.0% of total-time
Operation const, time spent: 3.2s, 2.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-neg, time spent: 1.2s, 1.0% of total-time
Operation ival-log, time spent: 577.0ms, 0.0% of total-time
Operation ival-pi, time spent: 566.0ms, 0.0% of total-time
Operation ival-asin, time spent: 537.0ms, 0.0% of total-time
Operation composed, time spent: 500.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 79.0ms, 0.0% of total-time
Operation ival-<, time spent: 79.0ms, 0.0% of total-time
Operation ival-acos, time spent: 42.0ms, 0.0% of total-time
Operation ival-and, time spent: 14.0ms, 0.0% of total-time
Bogosity

localize2.1min (17.2%)

Compiler

Compiled 36029 to 18178 computations (49.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-pow, time spent: 24.0s, 24.0% of total-time
Operation ival-mult, time spent: 14.6s, 15.0% of total-time
Operation ival-tan, time spent: 9.2s, 9.0% of total-time
Operation ival-add, time spent: 8.4s, 8.0% of total-time
Operation ival-div, time spent: 8.2s, 8.0% of total-time
Operation composed, time spent: 7.6s, 8.0% of total-time
Operation ival-exp, time spent: 5.9s, 6.0% of total-time
Operation ival-sub, time spent: 5.8s, 6.0% of total-time
Operation ival-sin, time spent: 4.8s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.1s, 4.0% of total-time
Operation ival-cos, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.2s, 2.0% of total-time
Operation ival-log, time spent: 2.0s, 2.0% of total-time
Operation ival-neg, time spent: 440.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 425.0ms, 0.0% of total-time
Operation ival-asin, time spent: 135.0ms, 0.0% of total-time
Operation ival-pi, time spent: 58.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 40.0ms, 0.0% of total-time

soundness1.7min (13.3%)

Rules
175238×fma-define
141656×times-frac
141090×associate-*r*
117604×log-prod
111622×associate-*l*
Stop Event
4×saturated
337×node limit
1×unsound
Compiler

Compiled 35205 to 21730 computations (38.3% saved)

eval53.4s (7.1%)

Compiler

Compiled 2447120 to 1530927 computations (37.4% saved)

regimes52.6s (7%)

Counts
9870 → 760
Calls

150 calls:

5.3s
t
4.7s
l
2.9s
NaChar
2.2s
k
1.9s
F
Compiler

Compiled 7711 to 5954 computations (22.8% saved)

simplify41.5s (5.6%)

Algorithm
147×egg-herbie
Rules
86020×fma-define
76180×times-frac
70068×associate-*r*
59326×log-prod
58912×associate-*l*
Stop Event
30×saturated
117×node limit
26×fuel
4×done
Counts
61856 → 49568
Compiler

Compiled 12604 to 8469 computations (32.8% saved)

bsearch35.4s (4.7%)

Algorithm
387×binary-search
64×left-value
Stop Event
14×predicate-same
370×narrow-enough
3×predicate-failed
Results
11.5s34094×0valid
1.7s5912×0infinite
13.8s5655×5exit
2.7s4713×1valid
304.0ms1479×0invalid
884.0ms1309×1infinite
351.0ms549×2invalid
244.0ms521×1invalid
236.0ms276×2valid
163.0ms163×4valid
98.0ms131×3valid
47.0ms42×5valid
11.0ms20×2infinite
8.0ms11×3infinite
1.0ms1×4infinite
Compiler

Compiled 119125 to 91114 computations (23.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.8s
Operation ival-tan, time spent: 3.9s, 16.0% of total-time
Operation ival-sin, time spent: 3.8s, 16.0% of total-time
Operation ival-div, time spent: 3.4s, 14.0% of total-time
Operation ival-mult, time spent: 3.1s, 13.0% of total-time
Operation ival-add, time spent: 3.1s, 13.0% of total-time
Operation ival-pow, time spent: 2.4s, 10.0% of total-time
Operation ival-sub, time spent: 2.3s, 10.0% of total-time
Operation ival-sqrt, time spent: 600.0ms, 3.0% of total-time
Operation const, time spent: 506.0ms, 2.0% of total-time
Operation ival-neg, time spent: 370.0ms, 2.0% of total-time
Operation ival-exp, time spent: 217.0ms, 1.0% of total-time
Operation ival-cos, time spent: 109.0ms, 0.0% of total-time
Operation composed, time spent: 96.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

preprocess31.9s (4.3%)

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 57269 to 35220 computations (38.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
Operation ival-exp, time spent: 2.8s, 20.0% of total-time
Operation ival-tan, time spent: 1.9s, 14.0% of total-time
Operation ival-mult, time spent: 1.8s, 13.0% of total-time
Operation ival-div, time spent: 1.6s, 12.0% of total-time
Operation ival-sub, time spent: 1.3s, 9.0% of total-time
Operation ival-pow, time spent: 1.2s, 9.0% of total-time
Operation ival-add, time spent: 1.2s, 9.0% of total-time
Operation ival-cos, time spent: 492.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 487.0ms, 4.0% of total-time
Operation const, time spent: 327.0ms, 2.0% of total-time
Operation composed, time spent: 201.0ms, 1.0% of total-time
Operation ival-neg, time spent: 156.0ms, 1.0% of total-time
Operation ival-sin, time spent: 150.0ms, 1.0% of total-time
Operation ival-log, time spent: 61.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-asin, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time

rewrite24.9s (3.3%)

Algorithm
117×batch-egg-rewrite
Rules
68414×log1p-expm1-u
46978×expm1-log1p-u
38830×prod-diff
31266×log-prod
28971×pow1
Stop Event
116×node limit
1×unsound
Counts
1209 → 34148

prune23.3s (3.1%)

Counts
81567 → 2860
Compiler

Compiled 126827 to 88998 computations (29.8% saved)

series14.5s (1.9%)

Counts
1209 → 27708
Calls

8454 calls:

TimeVariablePointExpression
242.0ms
t
@0
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (*.f64 (*.f64 (sin.f64 k) (tan.f64 k)) (+.f64 (pow.f64 (/.f64 k t) 2) 0)))
176.0ms
V
@inf
(*.f64 (sqrt.f64 (/.f64 A V)) (/.f64 c0 (sqrt.f64 l)))
150.0ms
a
@inf
(fma.f64 (*.f64 (*.f64 2 (pow.f64 b 2)) a) a (pow.f64 b 4))
138.0ms
m
@-inf
(*.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 10 k)))))
125.0ms
l
@-inf
(*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 (pow.f64 (*.f64 D M) 2) (/.f64 h (pow.f64 (*.f64 d (sqrt.f64 l)) 2))) 1/4))))

analyze11.8s (1.6%)

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.2s
Operation ival-mult, time spent: 1.7s, 28.0% of total-time
Operation ival-pow, time spent: 1.1s, 19.0% of total-time
Operation ival-div, time spent: 940.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 485.0ms, 8.0% of total-time
Operation ival-add, time spent: 458.0ms, 7.0% of total-time
Operation ival-sub, time spent: 355.0ms, 6.0% of total-time
Operation ival-sin, time spent: 274.0ms, 4.0% of total-time
Operation ival-tan, time spent: 182.0ms, 3.0% of total-time
Operation const, time spent: 137.0ms, 2.0% of total-time
Operation ival-asin, time spent: 90.0ms, 1.0% of total-time
Operation ival-neg, time spent: 88.0ms, 1.0% of total-time
Operation ival-acos, time spent: 80.0ms, 1.0% of total-time
Operation ival-exp, time spent: 68.0ms, 1.0% of total-time
Operation ival-pi, time spent: 49.0ms, 1.0% of total-time
Operation ival-cos, time spent: 37.0ms, 1.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-<, time spent: 21.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

end103.0ms (0%)

Profiling

Loading profile data...