Herbie run

Date:Monday, February 19th, 2024
Commit:400891fe on main
Hostname:nightly with Racket 8.11.1
Seed:2024050
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.2min)

localize16.5s (23.4%)

Compiler

Compiled 6337 to 3626 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 3.3s, 27.0% of total-time
Operation ival-pow, time spent: 2.6s, 21.0% of total-time
Operation composed, time spent: 1.6s, 13.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 9.0% of total-time
Operation ival-div, time spent: 1.1s, 9.0% of total-time
Operation ival-add, time spent: 919.0ms, 8.0% of total-time
Operation ival-sub, time spent: 662.0ms, 5.0% of total-time
Operation const, time spent: 234.0ms, 2.0% of total-time
Operation ival-log, time spent: 177.0ms, 1.0% of total-time
Operation ival->=, time spent: 159.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 115.0ms, 1.0% of total-time
Operation ival-exp, time spent: 49.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival-if, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

sample16.5s (23.3%)

Results
10.3s62889×256valid
1.2s7219×256infinite
2.1s4196×2048valid
799.0ms1928×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.0s
Operation ival-mult, time spent: 1.8s, 26.0% of total-time
Operation ival-div, time spent: 1.6s, 22.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 18.0% of total-time
Operation ival-sub, time spent: 1.0s, 14.0% of total-time
Operation ival-neg, time spent: 346.0ms, 5.0% of total-time
Operation ival-add, time spent: 260.0ms, 4.0% of total-time
Operation ival-log, time spent: 210.0ms, 3.0% of total-time
Operation const, time spent: 189.0ms, 3.0% of total-time
Operation ival->=, time spent: 174.0ms, 2.0% of total-time
Operation ival-exp, time spent: 99.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 68.0ms, 1.0% of total-time
Operation ival-if, time spent: 24.0ms, 0.0% of total-time
Bogosity

eval12.2s (17.3%)

Compiler

Compiled 604805 to 408308 computations (32.5% saved)

preprocess5.5s (7.7%)

Algorithm
9×egg-herbie
Rules
6570×fma-neg
5642×fma-define
3004×times-frac
2940×div-sub
2342×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3652 to 2151 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-mult, time spent: 735.0ms, 37.0% of total-time
Operation ival-sqrt, time spent: 467.0ms, 23.0% of total-time
Operation ival-sub, time spent: 337.0ms, 17.0% of total-time
Operation ival-div, time spent: 259.0ms, 13.0% of total-time
Operation ival-add, time spent: 64.0ms, 3.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival->=, time spent: 31.0ms, 2.0% of total-time
Operation ival-log, time spent: 24.0ms, 1.0% of total-time
Operation ival-neg, time spent: 23.0ms, 1.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

prune4.9s (6.9%)

Counts
13308 → 230
Compiler

Compiled 13528 to 9265 computations (31.5% saved)

simplify4.1s (5.8%)

Algorithm
26×egg-herbie
Rules
11568×distribute-lft-in
9514×distribute-rgt-in
9202×*-commutative
9176×times-frac
8096×fma-define
Stop Event
10×saturated
3×fuel
16×node limit
6×done
Counts
5973 → 6041
Compiler

Compiled 1060 to 701 computations (33.9% saved)

soundness3.8s (5.4%)

Rules
8120×fma-neg
7740×fma-define
7480×distribute-lft-in
6220×distribute-rgt-in
5824×times-frac
Stop Event
2×saturated
14×node limit
Compiler

Compiled 2926 to 1731 computations (40.8% saved)

rewrite2.8s (3.9%)

Algorithm
16×batch-egg-rewrite
Rules
10536×log1p-expm1-u
7908×expm1-log1p-u
6062×prod-diff
4786×log-prod
3570×unpow-prod-down
Stop Event
16×node limit
Counts
107 → 3271

regimes1.7s (2.4%)

Counts
309 → 73
Calls

22 calls:

291.0ms
x
245.0ms
c
238.0ms
b
205.0ms
a
136.0ms
f
Compiler

Compiled 421 to 289 computations (31.4% saved)

analyze984.0ms (1.4%)

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: 633.0ms
Operation ival-mult, time spent: 335.0ms, 53.0% of total-time
Operation ival-sqrt, time spent: 83.0ms, 13.0% of total-time
Operation ival-div, time spent: 62.0ms, 10.0% of total-time
Operation ival-sub, time spent: 51.0ms, 8.0% of total-time
Operation ival->=, time spent: 39.0ms, 6.0% of total-time
Operation ival-add, time spent: 21.0ms, 3.0% of total-time
Operation ival-neg, time spent: 20.0ms, 3.0% of total-time
Operation const, time spent: 12.0ms, 2.0% of total-time
Operation ival-if, time spent: 5.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.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

series972.0ms (1.4%)

Counts
107 → 2702
Calls

612 calls:

TimeVariablePointExpression
45.0ms
b
@0
(-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))
45.0ms
c
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
26.0ms
c
@-inf
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
24.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 4 c)) (*.f64 -1 (log.f64 (/.f64 -1 a))))))
16.0ms
b
@0
(*.f64 (+.f64 1 (*.f64 -2 (*.f64 a (/.f64 c (pow.f64 b 2))))) (neg.f64 b))

bsearch806.0ms (1.1%)

Algorithm
39×binary-search
Stop Event
4×predicate-same
35×narrow-enough
Results
583.0ms3770×256valid
84.0ms486×256infinite
19.0ms90×256invalid
Compiler

Compiled 8615 to 6195 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 293.0ms
Operation ival-mult, time spent: 89.0ms, 30.0% of total-time
Operation ival-div, time spent: 66.0ms, 23.0% of total-time
Operation ival-sub, time spent: 39.0ms, 13.0% of total-time
Operation ival-add, time spent: 36.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 29.0ms, 10.0% of total-time
Operation const, time spent: 9.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 3.0% of total-time
Operation ival-neg, time spent: 7.0ms, 2.0% of total-time
Operation ival->=, time spent: 6.0ms, 2.0% of total-time
Operation ival-if, time spent: 1.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...