Herbie run

Date:Tuesday, April 30th, 2024
Commit:877d2d5e on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024121
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: 5.8min)

sample2.7min (47%)

Results
43.2s55203×2valid
30.2s143040×0precondition
28.5s7193×5exit
27.5s116382×1valid
6.2s57023×0valid
3.5s2560×3valid
749.0ms4204×0unsamplable
616.0ms4274×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 28.7s (24.3% of total)
ival-exp: 12.5s (10.6% of total)
ival-tan: 11.9s (10% of total)
ival-mult: 9.7s (8.2% of total)
ival-sub: 8.4s (7.1% of total)
...c/correct-round.rkt:119:19: 5.8s (4.9% of total)
backward-pass: 5.1s (4.3% of total)
ival-cos: 5.0s (4.2% of total)
ival-div: 4.9s (4.1% of total)
ival-log: 4.9s (4.1% of total)
ival-add: 4.3s (3.6% of total)
ival-sin: 4.2s (3.5% of total)
ival-<=: 3.7s (3.1% of total)
ival-fabs: 2.6s (2.2% of total)
ival-<: 1.4s (1.2% of total)
ival-sqrt: 1.3s (1.1% of total)
ival->: 785.0ms (0.7% of total)
ival-and: 738.0ms (0.6% of total)
const: 624.0ms (0.5% of total)
ival-fmin: 610.0ms (0.5% of total)
ival-neg: 602.0ms (0.5% of total)
ival-atan: 438.0ms (0.4% of total)
ival-cbrt: 318.0ms (0.3% of total)
Bogosity

simplify35.7s (10.3%)

Algorithm
138×egg-herbie
Rules
34758×fma-neg
33908×fma-define
33360×times-frac
31105×distribute-lft-in
28946×*-commutative
Stop Event
28×saturated
110×node limit
Counts
57035 → 60058

localize35.2s (10.2%)

Algorithm
111×egg-herbie
Rules
51592×fma-define
34157×fma-neg
23728×distribute-lft-in
22199×distribute-rgt-in
20310×div-sub
Stop Event
43×saturated
68×node limit
Results
6.4s4436×2valid
5.8s7343×1valid
4.4s14614×0valid
1.7s465×3valid
758.0ms181×5exit
662.0ms1377×0invalid
Compiler

Compiled 18534 to 2652 computations (85.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.4s
ival-mult: 1.7s (14.1% of total)
ival-pow: 1.7s (13.5% of total)
ival-div: 1.2s (9.6% of total)
backward-pass: 1.1s (8.9% of total)
ival-tan: 953.0ms (7.7% of total)
ival-add: 946.0ms (7.6% of total)
...c/correct-round.rkt:119:19: 752.0ms (6.1% of total)
ival-log: 623.0ms (5% of total)
ival-sub: 560.0ms (4.5% of total)
ival-sqrt: 535.0ms (4.3% of total)
ival-sin: 514.0ms (4.2% of total)
ival-exp: 434.0ms (3.5% of total)
ival-cos: 354.0ms (2.9% of total)
ival-fma: 328.0ms (2.6% of total)
ival-log1p: 154.0ms (1.2% of total)
ival-cbrt: 121.0ms (1% of total)
const: 101.0ms (0.8% of total)
ival-neg: 95.0ms (0.8% of total)
ival-expm1: 65.0ms (0.5% of total)
ival-cosh: 61.0ms (0.5% of total)
ival-atan: 28.0ms (0.2% of total)
ival-hypot: 26.0ms (0.2% of total)
ival-atan2: 17.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

soundness28.5s (8.2%)

Rules
34826×log1p-expm1-u
31678×fma-neg
29462×fma-define
27472×expm1-log1p-u
21839×times-frac
Stop Event
8×saturated
123×node limit
24×fuel
4×done
Compiler

Compiled 25592 to 7559 computations (70.5% saved)

rewrite24.5s (7.1%)

Algorithm
110×batch-egg-rewrite
Rules
64127×log1p-expm1-u
51207×expm1-log1p-u
22975×add-exp-log
22827×add-log-exp
22648×pow1
Stop Event
110×node limit
Counts
1282 → 38458

prune15.1s (4.4%)

Counts
83829 → 1949
Compiler

Compiled 63597 to 35461 computations (44.2% saved)

eval15.0s (4.3%)

Compiler

Compiled 2003433 to 317288 computations (84.2% saved)

series7.1s (2%)

Counts
1282 → 18577
Calls

5070 calls:

TimeVariablePointExpression
231.0ms
x
@0
(* x (+ 1/2 (* x (+ 1/6 (* x 1/24)))))
158.0ms
eps
@inf
(/ -1 (+ eps -1))
148.0ms
eps
@inf
(log (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x)))
129.0ms
a
@inf
(cbrt (* a (* c 4)))
105.0ms
x
@0
(/ 1 (+ (* (* (cbrt (pow x 1/6)) (cbrt (* (pow (cbrt x) 2) (pow x 1/6)))) (+ (cbrt (+ 1 x)) (cbrt x))) (sqrt (pow (exp 4/3) (log (+ 1 x))))))

explain7.0s (2%)

Results
2.5s3368×2valid
2.2s7356×1valid
522.0ms3454×0valid
162.0ms158×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 660.0ms (18.5% of total)
ival-exp: 533.0ms (15% of total)
ival-log: 338.0ms (9.5% of total)
ival-cos: 303.0ms (8.5% of total)
backward-pass: 279.0ms (7.8% of total)
ival-sub: 277.0ms (7.8% of total)
ival-sin: 227.0ms (6.4% of total)
ival-div: 224.0ms (6.3% of total)
ival-add: 206.0ms (5.8% of total)
ival-mult: 155.0ms (4.4% of total)
ival-pow: 131.0ms (3.7% of total)
ival-sqrt: 130.0ms (3.6% of total)
ival-neg: 31.0ms (0.9% of total)
const: 30.0ms (0.8% of total)
ival-atan: 20.0ms (0.6% of total)
ival-cbrt: 18.0ms (0.5% of total)

preprocess4.9s (1.4%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 10378 to 4092 computations (60.6% saved)

regimes4.3s (1.2%)

Counts
3742 → 334
Calls

43 calls:

1.3s
x
507.0ms
b
314.0ms
b_2
251.0ms
eps
212.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
Compiler

Compiled 1518 to 1015 computations (33.1% saved)

analyze3.5s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-pow: 280.0ms (14.3% of total)
ival-mult: 204.0ms (10.4% of total)
ival-sub: 203.0ms (10.4% of total)
...c/correct-round.rkt:119:19: 190.0ms (9.7% of total)
ival-log: 188.0ms (9.6% of total)
ival-div: 180.0ms (9.2% of total)
ival-exp: 136.0ms (7% of total)
ival-add: 129.0ms (6.6% of total)
ival-<=: 94.0ms (4.8% of total)
ival-sin: 66.0ms (3.4% of total)
ival-sqrt: 64.0ms (3.3% of total)
ival-fabs: 46.0ms (2.4% of total)
ival-tan: 41.0ms (2.1% of total)
ival-neg: 32.0ms (1.6% of total)
ival-cos: 27.0ms (1.4% of total)
const: 21.0ms (1.1% of total)
ival-and: 13.0ms (0.7% of total)
ival->: 13.0ms (0.7% of total)
backward-pass: 10.0ms (0.5% of total)
ival-<: 10.0ms (0.5% of total)
ival-fmin: 7.0ms (0.4% of total)
ival-cbrt: 3.0ms (0.2% of total)
ival-atan: 0.0ms (0% of total)

bsearch2.5s (0.7%)

Algorithm
77×binary-search
52×left-value
Stop Event
1×predicate-same
76×narrow-enough
Results
875.0ms7947×0valid
444.0ms1615×1valid
300.0ms486×2valid
191.0ms1755×0invalid
1.0ms7×0unsamplable
Compiler

Compiled 14228 to 10488 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 348.0ms (26.1% of total)
ival-sub: 217.0ms (16.3% of total)
ival-sqrt: 175.0ms (13.1% of total)
ival-pow: 156.0ms (11.7% of total)
ival-div: 119.0ms (8.9% of total)
ival-cos: 78.0ms (5.8% of total)
ival-add: 62.0ms (4.6% of total)
ival-exp: 57.0ms (4.3% of total)
ival-neg: 49.0ms (3.7% of total)
backward-pass: 37.0ms (2.8% of total)
const: 16.0ms (1.2% of total)
ival-cbrt: 14.0ms (1% of total)
ival-sin: 8.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...