Herbie run

Date:Friday, January 26th, 2024
Commit:906dabff on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024026
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.4min)

localize24.0s (27.8%)

Compiler

Compiled 7027 to 3667 computations (47.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
Operation ival-mult, time spent: 3.5s, 26.0% of total-time
Operation ival-pow, time spent: 2.3s, 17.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 12.0% of total-time
Operation ival-div, time spent: 1.6s, 12.0% of total-time
Operation ival-fma, time spent: 1.6s, 12.0% of total-time
Operation ival-sub, time spent: 912.0ms, 7.0% of total-time
Operation ival-add, time spent: 583.0ms, 4.0% of total-time
Operation ival-log, time spent: 357.0ms, 3.0% of total-time
Operation const, time spent: 346.0ms, 3.0% of total-time
Operation ival->=, time spent: 272.0ms, 2.0% of total-time
Operation ival-exp, time spent: 113.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 47.0ms, 0.0% of total-time
Operation ival-neg, time spent: 32.0ms, 0.0% of total-time
Operation ival-if, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

sample17.7s (20.6%)

Results
13.0s63006×256valid
1.6s7199×256infinite
2.3s4099×2048valid
603.0ms1960×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-mult, time spent: 2.0s, 27.0% of total-time
Operation ival-sub, time spent: 1.5s, 20.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 17.0% of total-time
Operation ival-div, time spent: 1.2s, 16.0% of total-time
Operation ival-add, time spent: 347.0ms, 5.0% of total-time
Operation ival-log, time spent: 327.0ms, 4.0% of total-time
Operation ival-neg, time spent: 256.0ms, 3.0% of total-time
Operation ival-exp, time spent: 230.0ms, 3.0% of total-time
Operation const, time spent: 194.0ms, 3.0% of total-time
Operation ival->=, time spent: 147.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 69.0ms, 1.0% of total-time
Operation ival-if, time spent: 26.0ms, 0.0% of total-time
Bogosity

eval13.1s (15.2%)

Compiler

Compiled 724838 to 440819 computations (39.2% saved)

soundness8.0s (9.3%)

Rules
23102×fma-def
18532×associate-*r*
15698×associate-*l*
12914×log-prod
12540×times-frac
Stop Event
2×saturated
35×node limit
Compiler

Compiled 4285 to 2409 computations (43.8% saved)

simplify5.1s (5.9%)

Algorithm
32×egg-herbie
Rules
21504×fma-def
15746×associate-*r*
12804×associate-*l*
12536×times-frac
9800×distribute-lft-in
Stop Event
9×saturated
4×fuel
23×node limit
5×done
Counts
8505 → 7217
Compiler

Compiled 1311 to 863 computations (34.2% saved)

preprocess4.9s (5.7%)

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 4222 to 2495 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-mult, time spent: 504.0ms, 34.0% of total-time
Operation ival-sqrt, time spent: 282.0ms, 19.0% of total-time
Operation ival-sub, time spent: 218.0ms, 15.0% of total-time
Operation ival-div, time spent: 185.0ms, 13.0% of total-time
Operation ival-neg, time spent: 106.0ms, 7.0% of total-time
Operation ival-add, time spent: 60.0ms, 4.0% of total-time
Operation const, time spent: 48.0ms, 3.0% of total-time
Operation ival->=, time spent: 31.0ms, 2.0% of total-time
Operation ival-log, time spent: 24.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 3.0ms, 0.0% of total-time

rewrite4.5s (5.2%)

Algorithm
23×batch-egg-rewrite
Rules
13077×log1p-expm1-u
9751×expm1-log1p-u
7598×prod-diff
7424×expm1-udef
6708×unpow-prod-down
Stop Event
23×node limit
Counts
145 → 5557

prune3.8s (4.5%)

Counts
16482 → 286
Compiler

Compiled 15700 to 10532 computations (32.9% saved)

regimes1.7s (2%)

Counts
407 → 92
Calls

26 calls:

284.0ms
b
250.0ms
a
240.0ms
x
176.0ms
c
116.0ms
y
Compiler

Compiled 532 to 366 computations (31.2% saved)

bsearch1.4s (1.6%)

Algorithm
47×binary-search
1×left-value
Stop Event
7×predicate-same
40×narrow-enough
Results
1.2s5285×256valid
89.0ms507×256infinite
29.0ms111×256invalid
Compiler

Compiled 11830 to 8459 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 574.0ms
Operation ival-mult, time spent: 204.0ms, 36.0% of total-time
Operation ival-div, time spent: 91.0ms, 16.0% of total-time
Operation ival-add, time spent: 85.0ms, 15.0% of total-time
Operation ival-sub, time spent: 64.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 55.0ms, 10.0% of total-time
Operation const, time spent: 25.0ms, 4.0% of total-time
Operation ival-neg, time spent: 24.0ms, 4.0% of total-time
Operation ival->=, time spent: 13.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 2.0% of total-time
Operation ival-if, time spent: 3.0ms, 1.0% of total-time

analyze1.0s (1.2%)

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: 678.0ms
Operation ival-sqrt, time spent: 311.0ms, 46.0% of total-time
Operation ival-mult, time spent: 173.0ms, 26.0% of total-time
Operation ival-div, time spent: 61.0ms, 9.0% of total-time
Operation ival-sub, time spent: 56.0ms, 8.0% of total-time
Operation ival-add, time spent: 21.0ms, 3.0% of total-time
Operation ival-neg, time spent: 17.0ms, 3.0% of total-time
Operation ival->=, time spent: 16.0ms, 2.0% of total-time
Operation const, time spent: 13.0ms, 2.0% of total-time
Operation ival-if, time spent: 5.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 4.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

series812.0ms (0.9%)

Counts
145 → 2948
Calls

882 calls:

TimeVariablePointExpression
42.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
27.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
25.0ms
c
@-inf
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
24.0ms
c
@inf
(cbrt.f64 (*.f64 (/.f64 2 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 -4 (*.f64 a c)))))) c))
15.0ms
a
@-inf
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))

end1.0ms (0%)

Profiling

Loading profile data...