Herbie run

Date:Sunday, March 17th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.7s (27.5%)

Compiler

Compiled 6546 to 3729 computations (43% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.7s
Operation ival-mult, time spent: 4.8s, 27.0% of total-time
Operation ival-pow, time spent: 4.6s, 26.0% of total-time
Operation composed, time spent: 2.2s, 12.0% of total-time
Operation ival-div, time spent: 1.5s, 8.0% of total-time
Operation ival-add, time spent: 1.4s, 8.0% of total-time
Operation ival-sqrt, time spent: 801.0ms, 5.0% of total-time
Operation ival-log, time spent: 633.0ms, 4.0% of total-time
Operation ival-sub, time spent: 505.0ms, 3.0% of total-time
Operation ival-exp, time spent: 426.0ms, 2.0% of total-time
Operation const, time spent: 324.0ms, 2.0% of total-time
Operation ival->=, time spent: 291.0ms, 2.0% of total-time
Operation ival-if, time spent: 100.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 83.0ms, 0.0% of total-time
Operation ival-neg, time spent: 35.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 32.0ms, 0.0% of total-time
Operation ival-e, time spent: 5.0ms, 0.0% of total-time

eval18.0s (20.9%)

Compiler

Compiled 899370 to 613531 computations (31.8% saved)

sample15.4s (17.9%)

Results
10.5s63018×256valid
1.3s7198×256infinite
1.9s4088×2048valid
521.0ms1969×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.7s
Operation ival-mult, time spent: 1.9s, 29.0% of total-time
Operation ival-div, time spent: 1.3s, 19.0% of total-time
Operation ival-sub, time spent: 923.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 734.0ms, 11.0% of total-time
Operation ival->=, time spent: 425.0ms, 6.0% of total-time
Operation ival-add, time spent: 400.0ms, 6.0% of total-time
Operation ival-neg, time spent: 271.0ms, 4.0% of total-time
Operation ival-if, time spent: 239.0ms, 4.0% of total-time
Operation const, time spent: 186.0ms, 3.0% of total-time
Operation ival-log, time spent: 151.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 114.0ms, 2.0% of total-time
Operation ival-exp, time spent: 99.0ms, 1.0% of total-time
Bogosity

prune5.6s (6.5%)

Counts
18761 → 280
Compiler

Compiled 15899 to 10743 computations (32.4% saved)

simplify5.4s (6.3%)

Algorithm
30×egg-herbie
Rules
6541×distribute-lft-in
6157×fma-define
6091×associate-*r*
5921×distribute-rgt-in
5727×*-commutative
Stop Event
9×saturated
3×fuel
21×node limit
6×done
Counts
7583 → 7464
Compiler

Compiled 1170 to 746 computations (36.2% saved)

soundness5.1s (5.9%)

Rules
5724×fma-define
5484×fma-neg
4554×distribute-lft-in
4195×*-commutative
4191×associate-*r*
Stop Event
2×saturated
19×node limit
Compiler

Compiled 3646 to 2144 computations (41.2% saved)

preprocess5.0s (5.8%)

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 3890 to 2241 computations (42.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-mult, time spent: 652.0ms, 40.0% of total-time
Operation ival-sqrt, time spent: 293.0ms, 18.0% of total-time
Operation ival-sub, time spent: 267.0ms, 17.0% of total-time
Operation ival-div, time spent: 180.0ms, 11.0% of total-time
Operation ival-add, time spent: 67.0ms, 4.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-neg, time spent: 33.0ms, 2.0% of total-time
Operation ival->=, time spent: 31.0ms, 2.0% of total-time
Operation ival-log, time spent: 18.0ms, 1.0% of total-time
Operation ival-if, time spent: 15.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

rewrite4.1s (4.8%)

Algorithm
21×batch-egg-rewrite
Rules
14311×log1p-expm1-u
9962×expm1-log1p-u
4796×prod-diff
4222×add-exp-log
4089×pow1
Stop Event
21×node limit
Counts
127 → 4279

series1.1s (1.3%)

Counts
127 → 3304
Calls

720 calls:

TimeVariablePointExpression
67.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))
35.0ms
c
@0
(pow (* (* a -4) c) 1/4)
31.0ms
b
@0
(log (* c (pow b -2)))
30.0ms
a
@0
(pow (* (* a -4) c) 1/4)
23.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

regimes983.0ms (1.1%)

Counts
412 → 82
Calls

22 calls:

164.0ms
c
155.0ms
b
118.0ms
x
114.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
100.0ms
a
Compiler

Compiled 478 to 329 computations (31.2% saved)

bsearch920.0ms (1.1%)

Algorithm
45×binary-search
Stop Event
12×predicate-same
33×narrow-enough
Results
613.0ms4118×256valid
122.0ms890×256infinite
43.0ms223×256invalid
Compiler

Compiled 9426 to 6832 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 320.0ms
Operation ival-mult, time spent: 83.0ms, 26.0% of total-time
Operation ival-div, time spent: 78.0ms, 24.0% of total-time
Operation ival-sub, time spent: 48.0ms, 15.0% of total-time
Operation ival-add, time spent: 37.0ms, 12.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 18.0ms, 6.0% of total-time
Operation const, time spent: 11.0ms, 3.0% of total-time
Operation ival-neg, time spent: 11.0ms, 3.0% of total-time
Operation ival-if, time spent: 7.0ms, 2.0% of total-time
Operation ival->=, time spent: 7.0ms, 2.0% of total-time

analyze829.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: 457.0ms
Operation ival-mult, time spent: 200.0ms, 44.0% of total-time
Operation ival-div, time spent: 62.0ms, 14.0% of total-time
Operation ival-sub, time spent: 57.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 52.0ms, 11.0% of total-time
Operation ival-add, time spent: 20.0ms, 4.0% of total-time
Operation ival-neg, time spent: 18.0ms, 4.0% of total-time
Operation ival-if, time spent: 16.0ms, 3.0% of total-time
Operation ival->=, time spent: 16.0ms, 3.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...