Herbie run

Date:Thursday, February 8th, 2024
Commit:ecdcf070 on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024039
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: 1.1min)

sample16.3s (25.1%)

Results
10.8s62949×256valid
1.4s7311×256infinite
1.8s4044×2048valid
462.0ms1946×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.4s
Operation ival-mult, time spent: 1.9s, 26.0% of total-time
Operation ival-div, time spent: 1.5s, 20.0% of total-time
Operation ival-sub, time spent: 1.3s, 18.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 17.0% of total-time
Operation ival-add, time spent: 323.0ms, 4.0% of total-time
Operation ival->=, time spent: 240.0ms, 3.0% of total-time
Operation ival-neg, time spent: 229.0ms, 3.0% of total-time
Operation ival-log, time spent: 197.0ms, 3.0% of total-time
Operation const, time spent: 190.0ms, 3.0% of total-time
Operation ival-exp, time spent: 146.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 58.0ms, 1.0% of total-time
Operation ival-if, time spent: 23.0ms, 0.0% of total-time
Bogosity

localize14.4s (22.3%)

Compiler

Compiled 5932 to 3276 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
Operation ival-mult, time spent: 2.5s, 23.0% of total-time
Operation ival-pow, time spent: 2.1s, 20.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 13.0% of total-time
Operation ival-fma, time spent: 1.3s, 12.0% of total-time
Operation ival-div, time spent: 1.2s, 11.0% of total-time
Operation ival-sub, time spent: 589.0ms, 6.0% of total-time
Operation ival-add, time spent: 379.0ms, 4.0% of total-time
Operation ival-log, time spent: 318.0ms, 3.0% of total-time
Operation ival->=, time spent: 251.0ms, 2.0% of total-time
Operation const, time spent: 244.0ms, 2.0% of total-time
Operation ival-exp, time spent: 129.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 107.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 68.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 44.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival-if, time spent: 17.0ms, 0.0% of total-time

soundness7.9s (12.3%)

Rules
27392×fma-def
21538×associate-*r*
20110×times-frac
12920×associate-/r*
12876×associate-*l*
Stop Event
2×saturated
33×node limit
Compiler

Compiled 3436 to 2093 computations (39.1% saved)

eval7.7s (11.9%)

Compiler

Compiled 426994 to 283174 computations (33.7% saved)

preprocess4.8s (7.5%)

Algorithm
9×egg-herbie
Rules
7114×fma-def
5092×div-sub
4546×fma-neg
3738×times-frac
3230×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3566 to 2113 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 873.0ms, 46.0% of total-time
Operation ival-sub, time spent: 306.0ms, 16.0% of total-time
Operation ival-sqrt, time spent: 290.0ms, 15.0% of total-time
Operation ival-div, time spent: 232.0ms, 12.0% of total-time
Operation ival-add, time spent: 58.0ms, 3.0% of total-time
Operation const, time spent: 46.0ms, 2.0% of total-time
Operation ival->=, time spent: 36.0ms, 2.0% of total-time
Operation ival-log, time spent: 24.0ms, 1.0% of total-time
Operation ival-neg, time spent: 22.0ms, 1.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

simplify3.8s (5.8%)

Algorithm
25×egg-herbie
Rules
13668×fma-def
10542×associate-*r*
8342×log-prod
8320×times-frac
7458×associate-*l*
Stop Event
10×saturated
3×fuel
15×node limit
6×done
Counts
5364 → 4729
Compiler

Compiled 1002 to 676 computations (32.5% saved)

rewrite3.0s (4.6%)

Algorithm
15×batch-egg-rewrite
Rules
7749×log1p-expm1-u
5717×expm1-log1p-u
4582×expm1-udef
3842×unpow-prod-down
3740×prod-diff
Stop Event
15×node limit
Counts
104 → 3355

prune2.6s (3.9%)

Counts
10186 → 267
Compiler

Compiled 16115 to 11017 computations (31.6% saved)

regimes1.5s (2.3%)

Counts
312 → 62
Calls

22 calls:

271.0ms
a
254.0ms
b
213.0ms
c
176.0ms
y
142.0ms
x
Compiler

Compiled 470 to 326 computations (30.6% saved)

series1.3s (2%)

Counts
104 → 2009
Calls

660 calls:

TimeVariablePointExpression
354.0ms
c
@0
(pow.f64 (exp.f64 1/2) (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))))
73.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a)))))
49.0ms
a
@-inf
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 a -4)) (log.f64 c))))
43.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 a -4)) (log.f64 c))))
41.0ms
a
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a)))))

bsearch720.0ms (1.1%)

Algorithm
28×binary-search
Stop Event
5×predicate-same
23×narrow-enough
Results
531.0ms2947×256valid
65.0ms349×256infinite
25.0ms140×256invalid
Compiler

Compiled 7719 to 5511 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 249.0ms
Operation ival-mult, time spent: 73.0ms, 29.0% of total-time
Operation ival-div, time spent: 48.0ms, 19.0% of total-time
Operation ival-sub, time spent: 37.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 37.0ms, 15.0% of total-time
Operation ival-add, time spent: 20.0ms, 8.0% of total-time
Operation ival-neg, time spent: 11.0ms, 4.0% of total-time
Operation const, time spent: 8.0ms, 3.0% of total-time
Operation ival->=, time spent: 8.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 2.0% of total-time
Operation ival-if, time spent: 2.0ms, 1.0% of total-time

analyze676.0ms (1%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 470.0ms
Operation ival-mult, time spent: 209.0ms, 44.0% of total-time
Operation ival-sqrt, time spent: 97.0ms, 21.0% of total-time
Operation ival-sub, time spent: 47.0ms, 10.0% of total-time
Operation ival-div, time spent: 38.0ms, 8.0% of total-time
Operation ival->=, time spent: 22.0ms, 5.0% of total-time
Operation ival-add, time spent: 20.0ms, 4.0% of total-time
Operation ival-neg, time spent: 15.0ms, 3.0% of total-time
Operation const, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 5.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 1.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...