Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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)

localize25.6s (29.4%)

Compiler

Compiled 5956 to 3105 computations (47.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.5s
Operation ival-pow, time spent: 5.8s, 30.0% of total-time
Operation ival-mult, time spent: 4.4s, 22.0% of total-time
Operation composed, time spent: 2.5s, 13.0% of total-time
Operation ival-add, time spent: 2.0s, 10.0% of total-time
Operation ival-div, time spent: 1.7s, 8.0% of total-time
Operation ival-sqrt, time spent: 885.0ms, 5.0% of total-time
Operation ival-sub, time spent: 647.0ms, 3.0% of total-time
Operation ival->=, time spent: 547.0ms, 3.0% of total-time
Operation ival-log, time spent: 411.0ms, 2.0% of total-time
Operation const, time spent: 373.0ms, 2.0% of total-time
Operation ival-exp, time spent: 197.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 83.0ms, 0.0% of total-time
Operation ival-neg, time spent: 31.0ms, 0.0% of total-time
Operation ival-if, time spent: 28.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time

sample15.8s (18.1%)

Results
10.9s63089×256valid
1.2s7179×256infinite
1.5s4036×2048valid
641.0ms1948×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.1s
Operation ival-mult, time spent: 2.1s, 30.0% of total-time
Operation ival-div, time spent: 1.7s, 24.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 14.0% of total-time
Operation ival-sub, time spent: 859.0ms, 12.0% of total-time
Operation ival-neg, time spent: 337.0ms, 5.0% of total-time
Operation ival-add, time spent: 330.0ms, 5.0% of total-time
Operation const, time spent: 198.0ms, 3.0% of total-time
Operation ival-log, time spent: 193.0ms, 3.0% of total-time
Operation ival-exp, time spent: 146.0ms, 2.0% of total-time
Operation ival->=, time spent: 122.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 70.0ms, 1.0% of total-time
Operation ival-if, time spent: 25.0ms, 0.0% of total-time
Bogosity

eval14.0s (16.1%)

Compiler

Compiled 771869 to 512368 computations (33.6% saved)

soundness5.8s (6.6%)

Rules
11874×fma-neg
10300×fma-define
9068×times-frac
8926×*-commutative
7922×associate-*r*
Stop Event
2×saturated
20×node limit
1×unsound
Compiler

Compiled 3724 to 2099 computations (43.6% saved)

prune5.7s (6.5%)

Counts
17742 → 318
Compiler

Compiled 18739 to 12653 computations (32.5% saved)

preprocess5.6s (6.4%)

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 3880 to 2217 computations (42.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 827.0ms, 45.0% of total-time
Operation ival-sub, time spent: 274.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 228.0ms, 12.0% of total-time
Operation ival-div, time spent: 193.0ms, 10.0% of total-time
Operation ival->=, time spent: 149.0ms, 8.0% of total-time
Operation ival-add, time spent: 73.0ms, 4.0% of total-time
Operation const, time spent: 50.0ms, 3.0% of total-time
Operation ival-neg, time spent: 27.0ms, 1.0% of total-time
Operation ival-log, time spent: 17.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

simplify5.1s (5.9%)

Algorithm
27×egg-herbie
Rules
12210×*-commutative
10356×fma-neg
10026×fma-define
9750×distribute-lft-in
9068×times-frac
Stop Event
9×saturated
17×node limit
3×fuel
1×unsound
6×done
Counts
8396 → 8417
Compiler

Compiled 1196 to 780 computations (34.8% saved)

rewrite3.9s (4.5%)

Algorithm
18×batch-egg-rewrite
Rules
13095×log1p-expm1-u
7092×expm1-log1p-u
4400×log-prod
3840×associate-*r*
3834×add-exp-log
Stop Event
18×node limit
Counts
134 → 4616

regimes2.2s (2.5%)

Counts
440 → 86
Calls

22 calls:

581.0ms
a
380.0ms
b
283.0ms
c
230.0ms
x
183.0ms
z
Compiler

Compiled 459 to 317 computations (30.9% saved)

bsearch1.3s (1.5%)

Algorithm
51×binary-search
Stop Event
5×predicate-same
46×narrow-enough
Results
885.0ms5908×256valid
125.0ms860×256infinite
60.0ms332×256invalid
Compiler

Compiled 12728 to 9238 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 449.0ms
Operation ival-mult, time spent: 132.0ms, 29.0% of total-time
Operation ival-div, time spent: 111.0ms, 25.0% of total-time
Operation ival-sub, time spent: 65.0ms, 14.0% of total-time
Operation ival-add, time spent: 45.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 34.0ms, 8.0% of total-time
Operation ival-fabs, time spent: 17.0ms, 4.0% of total-time
Operation const, time spent: 17.0ms, 4.0% of total-time
Operation ival-neg, time spent: 13.0ms, 3.0% of total-time
Operation ival->=, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 3.0ms, 1.0% of total-time

series1.2s (1.4%)

Counts
134 → 3780
Calls

876 calls:

TimeVariablePointExpression
87.0ms
c
@0
(* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b)))
59.0ms
a
@0
(exp (* (+ (log (* a -4)) (log c)) 1/2))
42.0ms
c
@0
(exp (* (+ (log (* c -4)) (log a)) 1/2))
29.0ms
a
@0
(exp (* (+ (log (* c -4)) (log a)) 1/2))
27.0ms
c
@inf
(exp (* (+ (log (* c -4)) (log a)) 1/2))

analyze1.1s (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: 715.0ms
Operation ival-div, time spent: 252.0ms, 35.0% of total-time
Operation ival-mult, time spent: 189.0ms, 26.0% of total-time
Operation ival-sub, time spent: 104.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 81.0ms, 11.0% of total-time
Operation ival->=, time spent: 27.0ms, 4.0% of total-time
Operation ival-add, time spent: 21.0ms, 3.0% of total-time
Operation ival-neg, time spent: 18.0ms, 3.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: 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

end1.0ms (0%)

Profiling

Loading profile data...