Herbie run

Date:Wednesday, January 31st, 2024
Commit:666e0b59 on artem-minus-and-trig-tuning
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: 6.8min)

sample3.0min (43.3%)

Results
35.2s144588×0precondition
20.0s101615×0valid
27.0s48413×2valid
46.3s45068×3valid
12.4s31041×1invalid
8.8s28045×1valid
815.0ms5179×0invalid
1.0s4314×0infinite
848.0ms3980×0unsamplable
8.8s3410×4valid
139.0ms195×2infinite
98.0ms101×3infinite
1.0ms3×1infinite
3.0ms3×5valid
1.0ms1×4infinite
Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-sub, time spent: 24.1s, 20.0% of total-time
Operation ival-tan, time spent: 15.4s, 13.0% of total-time
Operation ival-exp, time spent: 12.8s, 11.0% of total-time
Operation ival-add, time spent: 12.7s, 11.0% of total-time
Operation ival-mult, time spent: 8.8s, 7.0% of total-time
Operation ival-log, time spent: 7.3s, 6.0% of total-time
Operation ival-div, time spent: 5.9s, 5.0% of total-time
Operation ival-<=, time spent: 5.1s, 4.0% of total-time
Operation ival-sin, time spent: 4.8s, 4.0% of total-time
Operation ival-cos, time spent: 4.0s, 3.0% of total-time
Operation ival-pow, time spent: 3.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation ival-fabs, time spent: 2.8s, 2.0% of total-time
Operation ival-<, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-and, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 902.0ms, 1.0% of total-time
Operation ival-atan, time spent: 417.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 399.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 328.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 79.0ms, 0.0% of total-time
Bogosity

localize1.2min (17.5%)

Compiler

Compiled 16335 to 9356 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 57.3s
Operation ival-pow, time spent: 16.2s, 28.0% of total-time
Operation ival-add, time spent: 11.5s, 20.0% of total-time
Operation ival-div, time spent: 6.5s, 11.0% of total-time
Operation ival-mult, time spent: 5.8s, 10.0% of total-time
Operation ival-sub, time spent: 3.8s, 7.0% of total-time
Operation ival-tan, time spent: 2.7s, 5.0% of total-time
Operation ival-sin, time spent: 2.0s, 4.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-fma, time spent: 1.5s, 3.0% of total-time
Operation ival-log, time spent: 1.2s, 2.0% of total-time
Operation ival-cos, time spent: 977.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 965.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 920.0ms, 2.0% of total-time
Operation ival-exp, time spent: 590.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 400.0ms, 1.0% of total-time
Operation ival-neg, time spent: 250.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 209.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 116.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 102.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 78.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 4.0ms, 0.0% of total-time

soundness44.0s (10.7%)

Rules
105034×fma-def
66198×times-frac
65096×fma-neg
56314×log-prod
55828×associate-*r*
Stop Event
2×saturated
180×node limit
1×unsound
Compiler

Compiled 18072 to 11440 computations (36.7% saved)

eval29.2s (7.1%)

Compiler

Compiled 1306027 to 855409 computations (34.5% saved)

simplify21.8s (5.3%)

Algorithm
122×egg-herbie
Rules
66546×fma-def
53046×times-frac
45622×associate-*r*
41128×associate-*l*
39334×fma-neg
Stop Event
28×saturated
93×node limit
19×fuel
1×unsound
9×done
Counts
34080 → 32366
Compiler

Compiled 3217 to 2238 computations (30.4% saved)

rewrite17.8s (4.3%)

Algorithm
94×batch-egg-rewrite
Rules
54731×log1p-expm1-u
42938×expm1-log1p-u
41058×prod-diff
29982×log-prod
27360×expm1-udef
Stop Event
94×node limit
Counts
654 → 25016

preprocess16.7s (4.1%)

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 11139 to 6762 computations (39.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
Operation ival-sub, time spent: 1.6s, 25.0% of total-time
Operation ival-tan, time spent: 972.0ms, 15.0% of total-time
Operation ival-add, time spent: 874.0ms, 14.0% of total-time
Operation ival-exp, time spent: 633.0ms, 10.0% of total-time
Operation ival-div, time spent: 425.0ms, 7.0% of total-time
Operation ival-pow, time spent: 370.0ms, 6.0% of total-time
Operation ival-mult, time spent: 335.0ms, 5.0% of total-time
Operation ival-log, time spent: 292.0ms, 5.0% of total-time
Operation ival-sin, time spent: 288.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 239.0ms, 4.0% of total-time
Operation ival-cos, time spent: 173.0ms, 3.0% of total-time
Operation const, time spent: 154.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 34.0ms, 1.0% of total-time
Operation ival-atan, time spent: 33.0ms, 1.0% of total-time
Operation ival-neg, time spent: 22.0ms, 0.0% of total-time

prune11.4s (2.8%)

Counts
49227 → 1779
Compiler

Compiled 61053 to 43558 computations (28.7% saved)

regimes7.3s (1.8%)

Counts
2814 → 293
Calls

43 calls:

1.8s
x
1.1s
b
883.0ms
a
815.0ms
c
599.0ms
(/.f64 1 n)
Compiler

Compiled 1422 to 1000 computations (29.7% saved)

series5.0s (1.2%)

Counts
654 → 9064
Calls

2910 calls:

TimeVariablePointExpression
329.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
283.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
121.0ms
x
@0
(cbrt.f64 (sqrt.f64 x))
118.0ms
b
@-inf
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (*.f64 a (*.f64 c -4)))) (*.f64 a 2))
117.0ms
x
@inf
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))))

bsearch5.0s (1.2%)

Algorithm
93×binary-search
35×left-value
Stop Event
2×predicate-same
91×narrow-enough
Results
1.7s7312×0valid
1.6s3162×1valid
372.0ms2167×0invalid
472.0ms461×3valid
231.0ms382×2valid
129.0ms289×0infinite
12.0ms57×0unsamplable
10.0ms10×3infinite
Compiler

Compiled 17584 to 12927 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
Operation ival-sub, time spent: 666.0ms, 27.0% of total-time
Operation ival-mult, time spent: 421.0ms, 17.0% of total-time
Operation ival-sqrt, time spent: 358.0ms, 14.0% of total-time
Operation ival-pow, time spent: 315.0ms, 13.0% of total-time
Operation ival-div, time spent: 262.0ms, 11.0% of total-time
Operation ival-add, time spent: 218.0ms, 9.0% of total-time
Operation ival-neg, time spent: 89.0ms, 4.0% of total-time
Operation ival-exp, time spent: 59.0ms, 2.0% of total-time
Operation const, time spent: 51.0ms, 2.0% of total-time
Operation ival-log, time spent: 17.0ms, 1.0% of total-time
Operation ival-cos, time spent: 12.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: 302.0ms, 17.0% of total-time
Operation ival-mult, time spent: 288.0ms, 16.0% of total-time
Operation ival-sub, time spent: 208.0ms, 12.0% of total-time
Operation ival-div, time spent: 147.0ms, 8.0% of total-time
Operation ival-pow, time spent: 144.0ms, 8.0% of total-time
Operation ival-add, time spent: 111.0ms, 6.0% of total-time
Operation ival-<=, time spent: 97.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 88.0ms, 5.0% of total-time
Operation ival-exp, time spent: 69.0ms, 4.0% of total-time
Operation ival-sin, time spent: 57.0ms, 3.0% of total-time
Operation ival-tan, time spent: 38.0ms, 2.0% of total-time
Operation ival-neg, time spent: 37.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 35.0ms, 2.0% of total-time
Operation ival->, time spent: 34.0ms, 2.0% of total-time
Operation ival-cos, time spent: 32.0ms, 2.0% of total-time
Operation const, time spent: 32.0ms, 2.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 7.0ms, 0.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

end5.0ms (0%)

Profiling

Loading profile data...