Herbie run

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

localize21.3s (24.7%)

Results
3.5s4060×256valid
1.3s800×256invalid
138.0ms353×256infinite
4.3s317×2048valid
2.8s278×1024valid
317.0ms256×256unsamplable
2.3s118×4096valid
537.0ms85×512valid
1.5s73×4096infinite
624.0ms53×2048infinite
49.0ms7×1024infinite
Compiler

Compiled 6448 to 3611 computations (44% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.1s
ival-pow: 4.4s (27.2% of total)
ival-mult: 4.0s (24.8% of total)
composed: 2.0s (12.3% of total)
ival-div: 1.6s (10% of total)
ival-add: 1.2s (7.2% of total)
ival-sqrt: 1.1s (6.8% of total)
ival-sub: 600.0ms (3.7% of total)
ival-log: 313.0ms (2% of total)
const: 272.0ms (1.7% of total)
ival->=: 199.0ms (1.2% of total)
ival-exp: 172.0ms (1.1% of total)
ival-neg: 106.0ms (0.7% of total)
ival-if: 99.0ms (0.6% of total)
ival-cbrt: 96.0ms (0.6% of total)
ival-fabs: 31.0ms (0.2% of total)

eval15.9s (18.4%)

Compiler

Compiled 839408 to 566824 computations (32.5% saved)

sample15.7s (18.1%)

Results
8.6s62832×0valid
1.1s7287×0infinite
1.8s4179×2valid
314.0ms1982×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-mult: 2.0s (29.4% of total)
ival-sub: 1.1s (16.3% of total)
ival-div: 1.1s (15.8% of total)
ival-sqrt: 793.0ms (11.7% of total)
ival-if: 332.0ms (4.9% of total)
ival-neg: 300.0ms (4.4% of total)
ival-add: 244.0ms (3.6% of total)
backward-pass: 197.0ms (2.9% of total)
ival-exp: 162.0ms (2.4% of total)
ival-fabs: 162.0ms (2.4% of total)
ival->=: 154.0ms (2.3% of total)
const: 150.0ms (2.2% of total)
ival-log: 116.0ms (1.7% of total)
Bogosity

simplify6.9s (8%)

Algorithm
31×egg-herbie
Rules
7936×fma-define
7186×distribute-lft-in
7050×*-commutative
5944×times-frac
5766×fma-neg
Stop Event
9×saturated
22×node limit
Counts
9461 → 9600

prune6.4s (7.4%)

Counts
19501 → 309
Compiler

Compiled 15882 to 10736 computations (32.4% saved)

soundness5.8s (6.7%)

Rules
7126×fma-define
6058×distribute-lft-in
5965×fma-neg
5612×*-commutative
5350×times-frac
Stop Event
2×saturated
23×node limit
3×fuel
6×done
Compiler

Compiled 3907 to 2226 computations (43% saved)

rewrite4.8s (5.6%)

Algorithm
22×batch-egg-rewrite
Rules
12649×log1p-expm1-u
8403×expm1-log1p-u
5103×add-exp-log
4912×pow1
4648×add-log-exp
Stop Event
22×node limit
Counts
149 → 5491

explain3.6s (4.2%)

Results
982.0ms3372×256valid
789.0ms466×2048valid
41.0ms362×256infinite
294.0ms180×1024valid
373.0ms76×4096valid
56.0ms62×512valid
163.0ms48×4096infinite
75.0ms36×2048infinite
10.0ms6×1024infinite
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 572.0ms (29% of total)
ival-sub: 470.0ms (23.8% of total)
ival-sqrt: 338.0ms (17.1% of total)
ival-div: 208.0ms (10.5% of total)
ival-neg: 144.0ms (7.3% of total)
ival-add: 130.0ms (6.6% of total)
const: 38.0ms (1.9% of total)
ival->=: 28.0ms (1.4% of total)
ival-log: 18.0ms (0.9% of total)
ival-if: 17.0ms (0.9% of total)
ival-fabs: 7.0ms (0.4% of total)
ival-exp: 5.0ms (0.3% of total)

preprocess2.0s (2.3%)

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 2560 to 1486 computations (42% saved)

series1.4s (1.6%)

Counts
149 → 3970
Calls

870 calls:

TimeVariablePointExpression
121.0ms
x
@-inf
(cbrt (exp (+ -1 x)))
65.0ms
y
@-inf
(* (/ -1 y) (+ (* x z) (- -4 x)))
63.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
44.0ms
a
@0
(exp (* 1/4 (+ (log (* -4 a)) (* -1 (log (/ 1 c))))))
33.0ms
a
@-inf
(exp (* 1/4 (+ (log (* -4 a)) (* -1 (log (/ 1 c))))))

bsearch1.1s (1.3%)

Algorithm
42×binary-search
Stop Event
4×predicate-same
38×narrow-enough
Results
603.0ms4667×0valid
47.0ms421×0infinite
152.0ms385×0invalid
Compiler

Compiled 10893 to 7819 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 500.0ms
ival-sqrt: 133.0ms (26.6% of total)
ival-mult: 128.0ms (25.6% of total)
ival-div: 74.0ms (14.8% of total)
ival-sub: 56.0ms (11.2% of total)
ival-add: 32.0ms (6.4% of total)
ival-if: 18.0ms (3.6% of total)
ival-neg: 17.0ms (3.4% of total)
ival->=: 15.0ms (3% of total)
ival-fabs: 12.0ms (2.4% of total)
const: 12.0ms (2.4% of total)
backward-pass: 2.0ms (0.4% of total)

regimes886.0ms (1%)

Counts
408 → 83
Calls

26 calls:

207.0ms
b
135.0ms
c
99.0ms
x
76.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))
74.0ms
a
Compiler

Compiled 500 to 346 computations (30.8% saved)

analyze662.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: 391.0ms
ival-mult: 163.0ms (41.7% of total)
ival-sqrt: 67.0ms (17.1% of total)
ival-sub: 44.0ms (11.3% of total)
ival-div: 39.0ms (10% of total)
ival-add: 18.0ms (4.6% of total)
ival->=: 18.0ms (4.6% of total)
ival-neg: 15.0ms (3.8% of total)
ival-if: 14.0ms (3.6% of total)
const: 9.0ms (2.3% of total)
ival-fabs: 4.0ms (1% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...