Herbie run

Date:Saturday, March 16th, 2024
Commit:d6625134 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024076
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.5min)

localize23.8s (26.8%)

Compiler

Compiled 6494 to 3718 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.5s
Operation ival-mult, time spent: 4.8s, 27.0% of total-time
Operation ival-pow, time spent: 4.2s, 24.0% of total-time
Operation composed, time spent: 2.1s, 12.0% of total-time
Operation ival-div, time spent: 1.6s, 9.0% of total-time
Operation ival-add, time spent: 1.3s, 7.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 7.0% of total-time
Operation ival-sub, time spent: 676.0ms, 4.0% of total-time
Operation ival->=, time spent: 380.0ms, 2.0% of total-time
Operation ival-log, time spent: 357.0ms, 2.0% of total-time
Operation const, time spent: 340.0ms, 2.0% of total-time
Operation ival-exp, time spent: 239.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 204.0ms, 1.0% of total-time
Operation ival-if, time spent: 133.0ms, 1.0% of total-time
Operation ival-neg, time spent: 87.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 37.0ms, 0.0% of total-time

eval18.3s (20.6%)

Compiler

Compiled 846451 to 583938 computations (31% saved)

sample16.0s (18.1%)

Results
11.1s62935×256valid
1.2s7188×256infinite
1.5s4181×2048valid
515.0ms1948×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.7s
Operation ival-mult, time spent: 2.3s, 34.0% of total-time
Operation ival-div, time spent: 1.4s, 20.0% of total-time
Operation ival-sub, time spent: 852.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 692.0ms, 10.0% of total-time
Operation ival-add, time spent: 327.0ms, 5.0% of total-time
Operation ival-neg, time spent: 318.0ms, 5.0% of total-time
Operation const, time spent: 193.0ms, 3.0% of total-time
Operation ival-log, time spent: 168.0ms, 3.0% of total-time
Operation ival->=, time spent: 134.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 125.0ms, 2.0% of total-time
Operation ival-if, time spent: 123.0ms, 2.0% of total-time
Operation ival-exp, time spent: 90.0ms, 1.0% of total-time
Bogosity

simplify6.7s (7.6%)

Algorithm
32×egg-herbie
Rules
8744×fma-define
8290×distribute-lft-in
7563×distribute-rgt-in
6935×times-frac
6911×*-commutative
Stop Event
9×saturated
5×fuel
23×node limit
4×done
Counts
9506 → 9147
Compiler

Compiled 935 to 632 computations (32.4% saved)

prune6.3s (7.1%)

Counts
19598 → 307
Compiler

Compiled 16723 to 11467 computations (31.4% saved)

preprocess5.2s (5.9%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3384 to 2009 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-mult, time spent: 735.0ms, 44.0% of total-time
Operation ival-sub, time spent: 305.0ms, 18.0% of total-time
Operation ival-div, time spent: 226.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 182.0ms, 11.0% of total-time
Operation ival-add, time spent: 64.0ms, 4.0% of total-time
Operation const, time spent: 51.0ms, 3.0% of total-time
Operation ival->=, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 29.0ms, 2.0% of total-time
Operation ival-log, time spent: 18.0ms, 1.0% of total-time
Operation ival-if, time spent: 17.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

rewrite4.4s (5%)

Algorithm
23×batch-egg-rewrite
Rules
14149×log1p-expm1-u
9075×expm1-log1p-u
5851×add-exp-log
5594×pow1
4973×add-log-exp
Stop Event
23×node limit
Counts
157 → 5462

soundness4.1s (4.6%)

Rules
5145×fma-define
5075×fmm-def
3739×distribute-lft-in
3736×times-frac
3665×distribute-rgt-in
Stop Event
2×saturated
16×node limit
Compiler

Compiled 2611 to 1611 computations (38.3% saved)

series1.4s (1.6%)

Counts
157 → 4044
Calls

903 calls:

TimeVariablePointExpression
67.0ms
n
@-inf
(/ (* n (+ (* 2 (/ n f)) 2)) f)
64.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
54.0ms
c
@0
(pow (* (* a -4) c) 1/4)
53.0ms
c
@0
(pow (* c (* a -4)) 1/4)
46.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

regimes877.0ms (1%)

Counts
352 → 69
Calls

26 calls:

153.0ms
c
139.0ms
x
126.0ms
a
125.0ms
b
54.0ms
y
Compiler

Compiled 478 to 336 computations (29.7% saved)

bsearch820.0ms (0.9%)

Algorithm
31×binary-search
Stop Event
4×predicate-same
27×narrow-enough
Results
575.0ms3362×256valid
63.0ms414×256infinite
63.0ms324×256invalid
Compiler

Compiled 7973 to 5697 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 333.0ms
Operation ival-mult, time spent: 106.0ms, 32.0% of total-time
Operation ival-div, time spent: 67.0ms, 20.0% of total-time
Operation ival-sub, time spent: 46.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 30.0ms, 9.0% of total-time
Operation ival-add, time spent: 27.0ms, 8.0% of total-time
Operation ival-neg, time spent: 15.0ms, 5.0% of total-time
Operation ival-if, time spent: 12.0ms, 4.0% of total-time
Operation const, time spent: 11.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 3.0% of total-time
Operation ival->=, time spent: 10.0ms, 3.0% of total-time

analyze738.0ms (0.8%)

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: 416.0ms
Operation ival-mult, time spent: 173.0ms, 42.0% of total-time
Operation ival-sub, time spent: 54.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 50.0ms, 12.0% of total-time
Operation ival-div, time spent: 45.0ms, 11.0% of total-time
Operation ival-add, time spent: 22.0ms, 5.0% of total-time
Operation ival-neg, time spent: 20.0ms, 5.0% of total-time
Operation ival->=, time spent: 18.0ms, 4.0% of total-time
Operation ival-if, time spent: 17.0ms, 4.0% of total-time
Operation const, time spent: 13.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...