Herbie run

Date:Friday, April 19th, 2024
Commit:57a26043 on spec-rewriting
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 50.5min)

rewrite10.2min (20.2%)

Algorithm
948×batch-egg-rewrite
Rules
4751384×accelerator-lowering-fma.f32
4751384×accelerator-lowering-fma.f64
3889308×*-lowering-*.f32
3889308×*-lowering-*.f64
3367396×/-lowering-/.f64
Stop Event
37×saturated
978×iter limit
911×node limit
11×unsound
Counts
10277 → 649621

simplify9.7min (19.2%)

Algorithm
947×egg-herbie
Rules
8628364×accelerator-lowering-fma.f32
8628364×accelerator-lowering-fma.f64
3713540×*-lowering-*.f32
3713540×*-lowering-*.f64
2104192×+-lowering-+.f32
Stop Event
124×saturated
936×iter limit
834×node limit
Counts
279936 → 279936

localize9.0min (17.8%)

Algorithm
948×egg-herbie
Rules
5125444×accelerator-lowering-fma.f32
5125444×accelerator-lowering-fma.f64
1693814×*-lowering-*.f32
1693814×*-lowering-*.f64
862930×+-lowering-+.f32
Stop Event
553×saturated
937×iter limit
406×node limit
Results
1.6min224363×0valid
25.7s8389×1valid
2.7s3617×0invalid
13.4s3320×5exit
8.0s2078×2valid
353.0ms543×0unsamplable
940.0ms273×3valid
344.0ms95×1invalid
26.0ms10×4valid
Compiler

Compiled 128108 to 56502 computations (55.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-mult: 33.4s (31.7% of total)
ival-div: 19.0s (18% of total)
ival-add: 14.5s (13.8% of total)
backward-pass: 8.9s (8.5% of total)
ival-sub: 7.6s (7.2% of total)
ival-log: 4.2s (4% of total)
ival-cos: 3.8s (3.6% of total)
<compiled-spec>: 2.8s (2.7% of total)
ival-sqrt: 2.8s (2.7% of total)
const: 2.8s (2.6% of total)
ival-pow: 2.7s (2.5% of total)
ival-sin: 1.2s (1.2% of total)
ival-exp: 527.0ms (0.5% of total)
ival-neg: 289.0ms (0.3% of total)
ival-asin: 216.0ms (0.2% of total)
ival-tan: 207.0ms (0.2% of total)
ival-cosh: 58.0ms (0.1% of total)
ival-fabs: 49.0ms (0% of total)
ival-acos: 47.0ms (0% of total)
ival-sinh: 19.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)
ival-pi: 3.0ms (0% of total)
ival-cbrt: 2.0ms (0% of total)

sample5.1min (10.2%)

Results
3.0min2149404×0valid
9.7s63732×0invalid
20.4s62662×1valid
2.4s7666×2valid
1.3s1535×5exit
314.0ms1355×1invalid
547.0ms1131×3valid
69.0ms201×2invalid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-mult: 44.8s (34.2% of total)
ival-sub: 20.2s (15.3% of total)
ival-add: 18.5s (14.1% of total)
ival-div: 16.8s (12.8% of total)
ival-log: 9.0s (6.9% of total)
ival-sqrt: 5.7s (4.3% of total)
ival-sin: 4.0s (3% of total)
backward-pass: 3.6s (2.7% of total)
const: 3.3s (2.5% of total)
ival-cos: 2.5s (1.9% of total)
ival-exp: 1.5s (1.1% of total)
ival-tan: 406.0ms (0.3% of total)
ival-sinh: 271.0ms (0.2% of total)
ival-cosh: 262.0ms (0.2% of total)
ival-fabs: 214.0ms (0.2% of total)
ival-acos: 178.0ms (0.1% of total)
ival-tanh: 98.0ms (0.1% of total)
Bogosity

eval5.0min (9.9%)

Compiler

Compiled 29354267 to 12011653 computations (59.1% saved)

prune3.5min (7%)

Counts
1036436 → 15835
Compiler

Compiled 613556 to 398076 computations (35.1% saved)

regimes2.9min (5.7%)

Counts
54122 → 6748
Calls

510 calls:

29.6s
x
29.1s
y
22.1s
z
16.3s
t
11.8s
a
Compiler

Compiled 46089 to 36403 computations (21% saved)

bsearch1.8min (3.5%)

Algorithm
3985×binary-search
388×left-value
Stop Event
57×predicate-same
3928×narrow-enough
Results
1.2min484307×0valid
3.4s10378×1valid
601.0ms6692×0invalid
270.0ms884×2valid
45.0ms234×1invalid
22.0ms81×2invalid
39.0ms75×3valid
1.0ms4×4valid
Compiler

Compiled 928855 to 694157 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.4s
ival-mult: 20.6s (44.5% of total)
ival-sub: 9.2s (19.8% of total)
ival-add: 5.5s (11.9% of total)
ival-div: 3.9s (8.5% of total)
ival-log: 2.1s (4.5% of total)
ival-sin: 1.1s (2.4% of total)
ival-sqrt: 918.0ms (2% of total)
ival-cos: 883.0ms (1.9% of total)
const: 757.0ms (1.6% of total)
backward-pass: 583.0ms (1.3% of total)
ival-exp: 393.0ms (0.8% of total)
ival-sinh: 298.0ms (0.6% of total)
ival-cosh: 81.0ms (0.2% of total)
ival-fabs: 17.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)

preprocess1.6min (3.1%)

Algorithm
538×egg-herbie
Rules
854502×accelerator-lowering-fma.f32
854502×accelerator-lowering-fma.f64
196052×unsub-neg
193236×*-lowering-*.f32
193236×*-lowering-*.f64
Stop Event
392×saturated
269×iter limit
146×node limit
Compiler

Compiled 211156 to 109444 computations (48.2% saved)

series42.8s (1.4%)

Counts
10280 → 280008
Calls

51660 calls:

TimeVariablePointExpression
184.0ms
x
@inf
(* (/ 1 (+ x -1/3)) -1/9)
173.0ms
x
@0
(log (/ x y))
163.0ms
y
@0
(- 1 y)
147.0ms
x
@0
(* x (log y))
133.0ms
t
@0
(* z (+ (/ y t) (/ (* y (* z (+ (* -1/2 y) 1/2))) t)))

explain39.6s (1.3%)

Results
19.1s130582×0valid
4.8s5664×1valid
1.6s1304×2valid
177.0ms164×3valid
14.0ms14×5exit
Compiler

Compiled 26361 to 12514 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.7s
ival-mult: 5.4s (34.6% of total)
ival-sub: 2.2s (14.2% of total)
ival-add: 2.0s (12.8% of total)
ival-log: 1.9s (12.2% of total)
ival-div: 1.6s (9.9% of total)
backward-pass: 776.0ms (4.9% of total)
const: 497.0ms (3.2% of total)
ival-sqrt: 459.0ms (2.9% of total)
ival-cos: 289.0ms (1.8% of total)
ival-sin: 279.0ms (1.8% of total)
ival-exp: 121.0ms (0.8% of total)
ival-tan: 54.0ms (0.3% of total)
ival-sinh: 51.0ms (0.3% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-acos: 9.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)

analyze17.6s (0.6%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%22.9%0.1%0%4.6%0%6
79.9%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.2%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
ival-mult: 3.0s (40% of total)
ival-sub: 1.3s (17.4% of total)
ival-add: 1.1s (14.8% of total)
ival-div: 1.1s (14% of total)
ival-sqrt: 300.0ms (4% of total)
ival-log: 205.0ms (2.7% of total)
const: 147.0ms (1.9% of total)
ival-exp: 119.0ms (1.6% of total)
ival-sin: 103.0ms (1.4% of total)
backward-pass: 54.0ms (0.7% of total)
ival-cos: 51.0ms (0.7% of total)
ival-acos: 20.0ms (0.3% of total)
ival-tanh: 18.0ms (0.2% of total)
ival-tan: 17.0ms (0.2% of total)
ival-cosh: 16.0ms (0.2% of total)
ival-sinh: 4.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)

soundness1.0s (0%)

Stop Event
158×fuel
110×done
Compiler

Compiled 76224 to 36535 computations (52.1% saved)

end1.0ms (0%)

Profiling

Loading profile data...