Herbie run

Date:Wednesday, April 10th, 2024
Commit:19b68fd2 on main
Hostname:nightly with Racket 8.11.1
Seed:2024101
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)

localize17.8s (20.8%)

Results
3.2s4935×0valid
2.6s955×0invalid
2.5s420×1valid
4.3s283×2valid
1.6s63×3valid
Compiler

Compiled 6744 to 3768 computations (44.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-mult: 2.9s (24.9% of total)
ival-pow: 2.1s (17.4% of total)
ival-fma: 1.3s (11.2% of total)
backward-pass: 1.3s (10.8% of total)
ival-div: 1.2s (10.4% of total)
ival-sqrt: 828.0ms (7% of total)
ival-add: 578.0ms (4.9% of total)
ival-sub: 538.0ms (4.6% of total)
ival->=: 300.0ms (2.5% of total)
ival-log: 256.0ms (2.2% of total)
const: 227.0ms (1.9% of total)
ival-exp: 74.0ms (0.6% of total)
ival-if: 70.0ms (0.6% of total)
ival-fabs: 39.0ms (0.3% of total)
ival-cbrt: 34.0ms (0.3% of total)
ival-neg: 23.0ms (0.2% of total)
ival-log1p: 6.0ms (0.1% of total)
ival-e: 4.0ms (0% of total)
ival-expm1: 4.0ms (0% of total)

sample14.4s (16.8%)

Results
7.9s70149×0valid
1.8s4148×2valid
335.0ms1917×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-mult: 2.4s (31.3% of total)
ival-div: 1.3s (17.5% of total)
ival-sub: 1.3s (17.2% of total)
ival-sqrt: 841.0ms (11.2% of total)
ival-neg: 400.0ms (5.3% of total)
ival-add: 257.0ms (3.4% of total)
ival-fabs: 227.0ms (3% of total)
ival-if: 198.0ms (2.6% of total)
backward-pass: 169.0ms (2.2% of total)
ival-log: 143.0ms (1.9% of total)
const: 141.0ms (1.9% of total)
ival->=: 112.0ms (1.5% of total)
ival-exp: 67.0ms (0.9% of total)
Bogosity

eval12.6s (14.8%)

Compiler

Compiled 917342 to 625899 computations (31.8% saved)

simplify12.6s (14.8%)

Algorithm
55×egg-herbie
Rules
19730×fma-define
15742×distribute-lft-in
13492×associate-*r*
13266×distribute-rgt-in
12926×times-frac
Stop Event
9×saturated
46×node limit
Counts
17338 → 16928

soundness7.1s (8.3%)

Rules
9808×fma-define
7673×distribute-lft-in
6428×distribute-rgt-in
6346×times-frac
5808×fma-neg
Stop Event
2×saturated
4×fuel
26×node limit
5×done
Compiler

Compiled 15651 to 8778 computations (43.9% saved)

prune6.2s (7.3%)

Counts
19825 → 354
Compiler

Compiled 20381 to 13812 computations (32.2% saved)

rewrite5.3s (6.2%)

Algorithm
23×batch-egg-rewrite
Rules
15020×log1p-expm1-u
10293×expm1-log1p-u
5254×add-exp-log
5026×pow1
4777×add-log-exp
Stop Event
23×node limit
Counts
139 → 4996

explain3.1s (3.6%)

Results
883.0ms3718×0valid
604.0ms486×1valid
562.0ms394×2valid
22.0ms10×3valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 712.0ms (47.3% of total)
backward-pass: 183.0ms (12.2% of total)
ival-sub: 149.0ms (9.9% of total)
ival-div: 140.0ms (9.3% of total)
ival-sqrt: 123.0ms (8.2% of total)
ival-add: 82.0ms (5.5% of total)
const: 33.0ms (2.2% of total)
ival->=: 26.0ms (1.7% of total)
ival-neg: 23.0ms (1.5% of total)
ival-log: 12.0ms (0.8% of total)
ival-if: 10.0ms (0.7% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.3% of total)

series1.8s (2.1%)

Counts
139 → 3673
Calls

810 calls:

TimeVariablePointExpression
290.0ms
c
@-inf
(pow (* (* a -4) c) 1/4)
76.0ms
x
@0
(/ (* 1 x) (E))
65.0ms
x
@0
(log (- (/ 1 x) 1))
63.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
57.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a))))))

preprocess1.5s (1.7%)

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 2638 to 1574 computations (40.3% saved)

regimes1.1s (1.3%)

Counts
480 → 84
Calls

26 calls:

259.0ms
x
178.0ms
b
137.0ms
c
104.0ms
a
54.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.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)) (/.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))))))
Compiler

Compiled 445 to 307 computations (31% saved)

analyze1.1s (1.3%)

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: 565.0ms
ival-mult: 326.0ms (57.7% of total)
ival-sqrt: 67.0ms (11.9% of total)
ival-sub: 50.0ms (8.8% of total)
ival-div: 38.0ms (6.7% of total)
ival-add: 22.0ms (3.9% of total)
ival->=: 18.0ms (3.2% of total)
ival-if: 16.0ms (2.8% of total)
ival-neg: 16.0ms (2.8% of total)
const: 8.0ms (1.4% of total)
ival-fabs: 3.0ms (0.5% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch730.0ms (0.9%)

Algorithm
40×binary-search
Stop Event
10×predicate-same
30×narrow-enough
Results
481.0ms4768×0valid
14.0ms100×0invalid
Compiler

Compiled 9142 to 6562 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 276.0ms
ival-mult: 72.0ms (26.1% of total)
ival-div: 69.0ms (25% of total)
ival-sub: 36.0ms (13% of total)
ival-add: 31.0ms (11.2% of total)
ival-fabs: 19.0ms (6.9% of total)
ival-sqrt: 16.0ms (5.8% of total)
ival-neg: 13.0ms (4.7% of total)
const: 8.0ms (2.9% of total)
ival-if: 6.0ms (2.2% of total)
ival->=: 6.0ms (2.2% of total)
backward-pass: 1.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...