Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
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.4min)

localize23.2s (26.9%)

Compiler

Compiled 6624 to 3672 computations (44.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.5s
Operation ival-mult, time spent: 4.4s, 25.0% of total-time
Operation ival-pow, time spent: 3.9s, 22.0% of total-time
Operation composed, time spent: 2.3s, 13.0% of total-time
Operation ival-add, time spent: 1.7s, 10.0% of total-time
Operation ival-div, time spent: 1.2s, 7.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 6.0% of total-time
Operation ival-sub, time spent: 714.0ms, 4.0% of total-time
Operation ival-cbrt, time spent: 533.0ms, 3.0% of total-time
Operation const, time spent: 472.0ms, 3.0% of total-time
Operation ival-log, time spent: 466.0ms, 3.0% of total-time
Operation ival->=, time spent: 219.0ms, 1.0% of total-time
Operation ival-exp, time spent: 217.0ms, 1.0% of total-time
Operation ival-if, time spent: 167.0ms, 1.0% of total-time
Operation ival-neg, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 42.0ms, 0.0% of total-time

eval18.1s (21%)

Compiler

Compiled 861233 to 588157 computations (31.7% saved)

sample15.3s (17.7%)

Results
10.6s62935×256valid
1.3s7188×256infinite
1.6s4181×2048valid
474.0ms1948×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.9s
Operation ival-mult, time spent: 2.0s, 29.0% of total-time
Operation ival-div, time spent: 1.3s, 19.0% of total-time
Operation ival-sub, time spent: 1.2s, 17.0% of total-time
Operation ival-sqrt, time spent: 826.0ms, 12.0% of total-time
Operation ival-add, time spent: 370.0ms, 5.0% of total-time
Operation ival-neg, time spent: 266.0ms, 4.0% of total-time
Operation ival-exp, time spent: 211.0ms, 3.0% of total-time
Operation const, time spent: 191.0ms, 3.0% of total-time
Operation ival-log, time spent: 180.0ms, 3.0% of total-time
Operation ival-if, time spent: 145.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 135.0ms, 2.0% of total-time
Operation ival->=, time spent: 113.0ms, 2.0% of total-time
Bogosity

simplify6.7s (7.8%)

Algorithm
32×egg-herbie
Rules
9571×distribute-lft-in
7736×distribute-rgt-in
7546×*-commutative
7448×fma-define
6697×times-frac
Stop Event
9×saturated
5×fuel
23×node limit
4×done
Counts
9457 → 9351
Compiler

Compiled 866 to 585 computations (32.4% saved)

prune6.5s (7.5%)

Counts
19996 → 321
Compiler

Compiled 17974 to 12229 computations (32% saved)

preprocess4.7s (5.4%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3252 to 1927 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-mult, time spent: 734.0ms, 47.0% of total-time
Operation ival-sub, time spent: 228.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 194.0ms, 12.0% of total-time
Operation ival-div, time spent: 191.0ms, 12.0% of total-time
Operation ival-add, time spent: 67.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-neg, time spent: 25.0ms, 2.0% of total-time
Operation ival-log, time spent: 18.0ms, 1.0% of total-time
Operation ival-if, time spent: 16.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.1%)

Algorithm
23×batch-egg-rewrite
Rules
14073×log1p-expm1-u
9161×expm1-log1p-u
5854×add-exp-log
5603×pow1
4979×add-log-exp
Stop Event
23×node limit
Counts
154 → 5441

soundness3.8s (4.4%)

Rules
5035×fma-define
5018×fma-neg
3727×distribute-lft-in
3644×distribute-rgt-in
3583×times-frac
Stop Event
2×saturated
14×node limit
Compiler

Compiled 3380 to 2105 computations (37.7% saved)

series1.4s (1.6%)

Counts
154 → 4016
Calls

873 calls:

TimeVariablePointExpression
57.0ms
c
@-inf
(pow (exp 1/4) (+ (log (* c -4)) (log a)))
46.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
41.0ms
c
@0
(pow (exp 1/4) (+ (log (* c -4)) (log a)))
35.0ms
x
@inf
(pow (cbrt (exp (+ (* x x) -1))) 15/4)
30.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))

regimes885.0ms (1%)

Counts
378 → 64
Calls

26 calls:

187.0ms
c
150.0ms
a
146.0ms
b
76.0ms
x
49.0ms
y
Compiler

Compiled 482 to 339 computations (29.7% saved)

bsearch754.0ms (0.9%)

Algorithm
27×binary-search
Stop Event
4×predicate-same
23×narrow-enough
Results
570.0ms2898×256valid
62.0ms414×256infinite
22.0ms119×256invalid
Compiler

Compiled 6831 to 4898 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 245.0ms
Operation ival-mult, time spent: 68.0ms, 28.0% of total-time
Operation ival-div, time spent: 52.0ms, 21.0% of total-time
Operation ival-sub, time spent: 34.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 24.0ms, 10.0% of total-time
Operation ival-add, time spent: 23.0ms, 9.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 4.0% of total-time
Operation ival-neg, time spent: 10.0ms, 4.0% of total-time
Operation ival-if, time spent: 8.0ms, 3.0% of total-time
Operation const, time spent: 8.0ms, 3.0% of total-time
Operation ival->=, time spent: 6.0ms, 2.0% of total-time

analyze734.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: 433.0ms
Operation ival-mult, time spent: 170.0ms, 39.0% of total-time
Operation ival-sub, time spent: 75.0ms, 17.0% of total-time
Operation ival-sqrt, time spent: 45.0ms, 10.0% of total-time
Operation ival-div, time spent: 43.0ms, 10.0% of total-time
Operation ival->=, time spent: 26.0ms, 6.0% of total-time
Operation ival-neg, time spent: 21.0ms, 5.0% of total-time
Operation ival-add, time spent: 20.0ms, 5.0% of total-time
Operation ival-if, time spent: 17.0ms, 4.0% of total-time
Operation const, time spent: 12.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...