Herbie run

Date:Thursday, April 25th, 2024
Commit:8a894d72 on main
Hostname:nightly with Racket 8.11.1
Seed:2024116
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: 4.4min)

simplify45.0s (17%)

Algorithm
40×egg-herbie
Rules
12754×fma-define
12071×fma-neg
10437×times-frac
8303×distribute-lft-in
8261×*-commutative
Stop Event
9×saturated
31×node limit
Counts
16419 → 14457

sample44.1s (16.7%)

Results
27.5s70124×0valid
5.9s4171×2valid
1.8s1928×0invalid
2.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 27.1s
ival-mult: 7.9s (29% of total)
ival-div: 6.2s (22.8% of total)
ival-sub: 3.0s (11% of total)
ival-sqrt: 2.5s (9.2% of total)
ival-if: 1.6s (5.9% of total)
ival-neg: 1.5s (5.7% of total)
ival-add: 1.3s (4.8% of total)
ival-fabs: 1.2s (4.6% of total)
ival->=: 638.0ms (2.4% of total)
const: 443.0ms (1.6% of total)
ival-log: 322.0ms (1.2% of total)
backward-pass: 264.0ms (1% of total)
ival-exp: 238.0ms (0.9% of total)
Bogosity

localize37.7s (14.2%)

Algorithm
32×egg-herbie
Rules
17713×fma-neg
14131×fma-define
6088×div-sub
6069×distribute-rgt-in
6031×distribute-lft-in
Stop Event
16×saturated
16×node limit
Results
8.1s6401×0valid
5.6s636×2valid
1.7s502×1valid
1.6s455×0invalid
2.2s108×5exit
1.5s90×3valid
Compiler

Compiled 6362 to 748 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-div: 2.8s (24.2% of total)
ival-mult: 1.5s (12.5% of total)
backward-pass: 1.3s (11.1% of total)
ival-pow: 1.3s (10.6% of total)
ival-fabs: 1.1s (9.5% of total)
ival-sub: 875.0ms (7.4% of total)
ival-add: 751.0ms (6.4% of total)
ival-fma: 634.0ms (5.4% of total)
ival-sqrt: 459.0ms (3.9% of total)
ival-if: 434.0ms (3.7% of total)
ival-neg: 126.0ms (1.1% of total)
const: 121.0ms (1% of total)
ival-cbrt: 112.0ms (1% of total)
ival-exp: 91.0ms (0.8% of total)
ival-log: 59.0ms (0.5% of total)
ival-expm1: 53.0ms (0.5% of total)
ival->=: 27.0ms (0.2% of total)
ival-log1p: 23.0ms (0.2% of total)
ival-e: 10.0ms (0.1% of total)

soundness34.1s (12.9%)

Rules
11100×fma-define
9579×log1p-expm1-u
8889×times-frac
8807×fma-neg
6423×expm1-log1p-u
Stop Event
3×saturated
4×fuel
36×node limit
5×done
Compiler

Compiled 8354 to 2467 computations (70.5% saved)

rewrite27.0s (10.2%)

Algorithm
31×batch-egg-rewrite
Rules
19660×log1p-expm1-u
13773×expm1-log1p-u
8269×pow1
7663×add-exp-log
7054×add-log-exp
Stop Event
31×node limit
Counts
301 → 9544

eval22.6s (8.5%)

Compiler

Compiled 841478 to 93751 computations (88.9% saved)

prune22.2s (8.4%)

Counts
24720 → 394
Compiler

Compiled 19982 to 10159 computations (49.2% saved)

series8.2s (3.1%)

Counts
301 → 6875
Calls

1695 calls:

TimeVariablePointExpression
468.0ms
c
@inf
(sqrt (+ (* c (pow (cbrt (* a -4)) 3)) (* b b)))
338.0ms
x
@-inf
(log (+ 1 (- x 1)))
260.0ms
b
@0
(/ (* 2 (+ (* a (/ c b)) (neg b))) (* 2 a))
242.0ms
x
@0
(pow (exp (* (+ x -1) 1/2)) (+ 2 (* 2 x)))
185.0ms
a
@inf
(/ 2 (- (pow (cbrt (sqrt (+ (* c (* a -4)) (pow b 2)))) 3) b))

explain6.6s (2.5%)

Results
1.7s3648×0valid
2.7s774×2valid
334.0ms176×1valid
18.0ms10×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-div: 1.0s (35.3% of total)
ival-sub: 858.0ms (29.7% of total)
ival-mult: 376.0ms (13% of total)
backward-pass: 186.0ms (6.4% of total)
ival-sqrt: 103.0ms (3.6% of total)
ival-add: 102.0ms (3.5% of total)
ival-fabs: 59.0ms (2% of total)
ival-neg: 58.0ms (2% of total)
const: 42.0ms (1.5% of total)
ival->=: 41.0ms (1.4% of total)
ival-if: 30.0ms (1% of total)
ival-log: 10.0ms (0.3% of total)
ival-exp: 6.0ms (0.2% of total)

preprocess5.5s (2.1%)

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 3166 to 1146 computations (63.8% saved)

regimes4.4s (1.7%)

Counts
1031 → 115
Calls

26 calls:

799.0ms
z
693.0ms
x
399.0ms
b
257.0ms
c
208.0ms
y
Compiler

Compiled 616 to 413 computations (33% saved)

bsearch4.0s (1.5%)

Algorithm
55×binary-search
Stop Event
8×predicate-same
47×narrow-enough
Results
2.5s6176×0valid
140.0ms257×0invalid
216.0ms96×2valid
Compiler

Compiled 11579 to 7928 computations (31.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-div: 820.0ms (45.9% of total)
ival-mult: 298.0ms (16.7% of total)
ival-fabs: 186.0ms (10.4% of total)
ival-sub: 184.0ms (10.3% of total)
ival-add: 135.0ms (7.6% of total)
ival-neg: 43.0ms (2.4% of total)
ival-sqrt: 39.0ms (2.2% of total)
const: 30.0ms (1.7% of total)
ival-if: 30.0ms (1.7% of total)
ival->=: 14.0ms (0.8% of total)
backward-pass: 7.0ms (0.4% of total)

analyze3.3s (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 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-if: 370.0ms (23% of total)
ival-mult: 363.0ms (22.6% of total)
ival-sub: 342.0ms (21.3% of total)
ival-div: 161.0ms (10% of total)
ival-neg: 150.0ms (9.3% of total)
ival-sqrt: 78.0ms (4.9% of total)
ival->=: 64.0ms (4% of total)
const: 37.0ms (2.3% of total)
ival-add: 32.0ms (2% of total)
ival-fabs: 6.0ms (0.4% of total)
backward-pass: 2.0ms (0.1% of total)
ival-log: 1.0ms (0.1% of total)
ival-exp: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...