Herbie run

Date:Wednesday, January 31st, 2024
Commit:84d7cf92 on artem-tuning-128start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 7.4min)

sample3.4min (45.4%)

Results
35.2s144588×0precondition
16.6s81826×0valid
26.5s75975×1invalid
53.0s60396×3valid
12.6s38550×1valid
14.2s29254×2valid
24.0s16525×4valid
861.0ms4861×0invalid
952.0ms4167×0infinite
1.0s3980×0unsamplable
406.0ms258×3infinite
147.0ms185×2infinite
1.0ms3×1infinite
4.0ms3×5valid
1.0ms1×4infinite
Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-sub, time spent: 26.7s, 20.0% of total-time
Operation ival-add, time spent: 17.5s, 13.0% of total-time
Operation ival-exp, time spent: 13.6s, 10.0% of total-time
Operation ival-log, time spent: 12.8s, 9.0% of total-time
Operation ival-tan, time spent: 12.1s, 9.0% of total-time
Operation ival-mult, time spent: 9.2s, 7.0% of total-time
Operation ival-div, time spent: 7.4s, 5.0% of total-time
Operation ival-<=, time spent: 6.7s, 5.0% of total-time
Operation ival-cos, time spent: 5.6s, 4.0% of total-time
Operation ival-pow, time spent: 4.0s, 3.0% of total-time
Operation ival-sin, time spent: 3.9s, 3.0% of total-time
Operation ival-fabs, time spent: 3.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 2.5s, 2.0% of total-time
Operation ival-<, time spent: 2.4s, 2.0% of total-time
Operation ival->, time spent: 1.4s, 1.0% of total-time
Operation ival-and, time spent: 1.3s, 1.0% of total-time
Operation ival-atan, time spent: 987.0ms, 1.0% of total-time
Operation ival-neg, time spent: 886.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 445.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 293.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 93.0ms, 0.0% of total-time
Bogosity

localize1.3min (18.1%)

Compiler

Compiled 16484 to 9436 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 18.4s, 29.0% of total-time
Operation ival-add, time spent: 13.4s, 21.0% of total-time
Operation ival-div, time spent: 6.4s, 10.0% of total-time
Operation ival-mult, time spent: 6.4s, 10.0% of total-time
Operation ival-sub, time spent: 4.6s, 7.0% of total-time
Operation ival-tan, time spent: 2.8s, 4.0% of total-time
Operation ival-sin, time spent: 2.5s, 4.0% of total-time
Operation const, time spent: 1.8s, 3.0% of total-time
Operation ival-fma, time spent: 1.5s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-log, time spent: 1.1s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 2.0% of total-time
Operation ival-exp, time spent: 602.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 601.0ms, 1.0% of total-time
Operation ival-expm1, time spent: 336.0ms, 1.0% of total-time
Operation ival-neg, time spent: 213.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 96.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 88.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 86.0ms, 0.0% of total-time
Operation ival-atan, time spent: 18.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

soundness42.0s (9.5%)

Rules
107606×fma-def
66022×times-frac
65108×fma-neg
56594×associate-*r*
55650×log-prod
Stop Event
2×saturated
181×node limit
1×unsound
Compiler

Compiled 17684 to 11149 computations (37% saved)

eval30.3s (6.8%)

Compiler

Compiled 1345490 to 885835 computations (34.2% saved)

simplify20.8s (4.7%)

Algorithm
122×egg-herbie
Rules
68040×fma-def
54944×times-frac
47092×associate-*r*
39516×fma-neg
39320×associate-*l*
Stop Event
28×saturated
93×node limit
19×fuel
1×unsound
9×done
Counts
34975 → 33279
Compiler

Compiled 3216 to 2233 computations (30.6% saved)

rewrite18.0s (4%)

Algorithm
94×batch-egg-rewrite
Rules
54027×log1p-expm1-u
42323×expm1-log1p-u
40076×prod-diff
29518×log-prod
28652×expm1-udef
Stop Event
94×node limit
Counts
675 → 25633

preprocess16.7s (3.8%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
12020×fma-neg
11952×div-sub
9422×sub-neg
8120×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 11135 to 6752 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
Operation ival-sub, time spent: 1.9s, 26.0% of total-time
Operation ival-add, time spent: 1.2s, 17.0% of total-time
Operation ival-tan, time spent: 808.0ms, 11.0% of total-time
Operation ival-exp, time spent: 629.0ms, 9.0% of total-time
Operation ival-div, time spent: 483.0ms, 7.0% of total-time
Operation ival-cos, time spent: 358.0ms, 5.0% of total-time
Operation ival-log, time spent: 346.0ms, 5.0% of total-time
Operation ival-mult, time spent: 326.0ms, 5.0% of total-time
Operation ival-sin, time spent: 280.0ms, 4.0% of total-time
Operation ival-pow, time spent: 256.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 249.0ms, 4.0% of total-time
Operation const, time spent: 180.0ms, 3.0% of total-time
Operation ival-neg, time spent: 42.0ms, 1.0% of total-time
Operation ival-atan, time spent: 40.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 36.0ms, 1.0% of total-time

prune11.9s (2.7%)

Counts
50594 → 1818
Compiler

Compiled 61758 to 43991 computations (28.8% saved)

regimes8.0s (1.8%)

Counts
2853 → 293
Calls

43 calls:

1.7s
x
1.1s
c
1.0s
a
950.0ms
b
819.0ms
b_2
Compiler

Compiled 1424 to 1001 computations (29.7% saved)

series6.2s (1.4%)

Counts
675 → 9342
Calls

2970 calls:

TimeVariablePointExpression
387.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
274.0ms
x
@inf
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 (fma.f64 2 x eps) 1/2)))))
273.0ms
x
@-inf
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))))
272.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
232.0ms
n
@-inf
(-.f64 (pow.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) 2) (pow.f64 x (/.f64 2 n)))

bsearch5.3s (1.2%)

Algorithm
92×binary-search
35×left-value
Stop Event
2×predicate-same
90×narrow-enough
Results
1.5s6901×0valid
1.3s2859×1valid
598.0ms2066×0invalid
558.0ms508×3valid
71.0ms289×0infinite
128.0ms223×2valid
380.0ms106×4valid
12.0ms57×0unsamplable
10.0ms10×3infinite
Compiler

Compiled 16497 to 12185 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
Operation ival-mult, time spent: 642.0ms, 22.0% of total-time
Operation ival-sub, time spent: 640.0ms, 22.0% of total-time
Operation ival-pow, time spent: 620.0ms, 22.0% of total-time
Operation ival-div, time spent: 354.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 211.0ms, 7.0% of total-time
Operation ival-add, time spent: 187.0ms, 7.0% of total-time
Operation ival-neg, time spent: 75.0ms, 3.0% of total-time
Operation ival-exp, time spent: 55.0ms, 2.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival-log, time spent: 19.0ms, 1.0% of total-time
Operation ival-cos, time spent: 13.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 3.0ms, 0.0% of total-time

analyze2.9s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.5%32.3%24.8%42.4%0%0.4%0%5
58.9%33.1%23.1%43.1%0%0.7%0%6
62.9%34.2%20.2%44%0%1.4%0.1%7
66.1%35.6%18.2%44.5%0%1.6%0.1%8
68.6%36.3%16.6%44.9%0%2%0.3%9
70.7%36.7%15.2%45.2%0%2.6%0.3%10
73.3%37.7%13.7%45.4%0%2.8%0.4%11
74.5%38%13%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-log, time spent: 321.0ms, 17.0% of total-time
Operation ival-exp, time spent: 308.0ms, 17.0% of total-time
Operation ival-sub, time spent: 188.0ms, 10.0% of total-time
Operation ival-mult, time spent: 174.0ms, 9.0% of total-time
Operation ival-pow, time spent: 137.0ms, 7.0% of total-time
Operation ival-div, time spent: 128.0ms, 7.0% of total-time
Operation ival-<=, time spent: 100.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 91.0ms, 5.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 76.0ms, 4.0% of total-time
Operation ival-add, time spent: 64.0ms, 3.0% of total-time
Operation ival-sin, time spent: 53.0ms, 3.0% of total-time
Operation ival-neg, time spent: 39.0ms, 2.0% of total-time
Operation ival-tan, time spent: 38.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 1.0% of total-time
Operation ival-cos, time spent: 18.0ms, 1.0% of total-time
Operation ival->, time spent: 18.0ms, 1.0% of total-time
Operation ival-and, time spent: 15.0ms, 1.0% of total-time
Operation ival-<, time spent: 13.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time

end6.0ms (0%)

Profiling

Loading profile data...