Herbie run

Date:Wednesday, January 31st, 2024
Commit:fcee7d92 on artem-tuning-64start-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.9min)

sample3.4min (43.1%)

Results
35.4s144588×0precondition
24.2s76135×1invalid
52.2s63439×3valid
10.6s57976×0valid
19.1s56964×1valid
15.3s29450×2valid
25.5s18716×4valid
711.0ms4580×0invalid
834.0ms4101×0unsamplable
845.0ms4096×0infinite
259.0ms256×3infinite
201.0ms213×2infinite
20.0ms45×1infinite
37.0ms9×5valid
6.0ms4×4infinite
Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-sub, time spent: 29.8s, 22.0% of total-time
Operation ival-add, time spent: 18.8s, 14.0% of total-time
Operation ival-exp, time spent: 12.9s, 9.0% of total-time
Operation ival-tan, time spent: 12.0s, 9.0% of total-time
Operation ival-log, time spent: 10.7s, 8.0% of total-time
Operation ival-mult, time spent: 9.9s, 7.0% of total-time
Operation ival-div, time spent: 7.0s, 5.0% of total-time
Operation ival-<=, time spent: 5.9s, 4.0% of total-time
Operation ival-cos, time spent: 5.5s, 4.0% of total-time
Operation ival-fabs, time spent: 3.6s, 3.0% of total-time
Operation ival-sin, time spent: 3.5s, 3.0% of total-time
Operation ival-pow, time spent: 3.3s, 2.0% of total-time
Operation ival-<, time spent: 3.2s, 2.0% of total-time
Operation const, time spent: 2.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation ival->, time spent: 1.8s, 1.0% of total-time
Operation ival-and, time spent: 1.4s, 1.0% of total-time
Operation ival-neg, time spent: 676.0ms, 0.0% of total-time
Operation ival-atan, time spent: 509.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 503.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 358.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 105.0ms, 0.0% of total-time
Bogosity

localize1.7min (21.3%)

Compiler

Compiled 17164 to 9738 computations (43.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-pow, time spent: 26.7s, 32.0% of total-time
Operation ival-add, time spent: 15.8s, 19.0% of total-time
Operation ival-mult, time spent: 9.6s, 12.0% of total-time
Operation ival-div, time spent: 7.0s, 8.0% of total-time
Operation ival-sub, time spent: 4.9s, 6.0% of total-time
Operation ival-tan, time spent: 3.7s, 4.0% of total-time
Operation ival-sin, time spent: 3.2s, 4.0% of total-time
Operation const, time spent: 2.1s, 3.0% of total-time
Operation ival-fma, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation ival-log, time spent: 1.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 1.0% of total-time
Operation ival-exp, time spent: 644.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 586.0ms, 1.0% of total-time
Operation ival-neg, time spent: 399.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 338.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 143.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 90.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 72.0ms, 0.0% of total-time
Operation ival-atan, time spent: 21.0ms, 0.0% of total-time
Operation ival-e, time spent: 2.0ms, 0.0% of total-time

soundness41.4s (8.8%)

Rules
103676×fma-def
59982×times-frac
59174×fma-neg
52768×associate-*r*
50796×log-prod
Stop Event
2×saturated
169×node limit
2×unsound
Compiler

Compiled 16911 to 10898 computations (35.6% saved)

eval34.4s (7.3%)

Compiler

Compiled 1507821 to 987682 computations (34.5% saved)

simplify23.4s (5%)

Algorithm
125×egg-herbie
Rules
68340×fma-def
55758×times-frac
50552×associate-*r*
40562×associate-*l*
38802×distribute-lft-in
Stop Event
28×saturated
95×node limit
21×fuel
2×unsound
7×done
Counts
37314 → 35228
Compiler

Compiled 2781 to 1969 computations (29.2% saved)

rewrite19.2s (4.1%)

Algorithm
97×batch-egg-rewrite
Rules
55196×log1p-expm1-u
42754×expm1-log1p-u
42448×prod-diff
29758×log-prod
28812×expm1-udef
Stop Event
97×node limit
Counts
703 → 27533

preprocess18.3s (3.9%)

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 10345 to 6380 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.8s
Operation ival-sub, time spent: 1.8s, 23.0% of total-time
Operation ival-add, time spent: 1.4s, 18.0% of total-time
Operation ival-exp, time spent: 833.0ms, 11.0% of total-time
Operation ival-tan, time spent: 777.0ms, 10.0% of total-time
Operation ival-mult, time spent: 542.0ms, 7.0% of total-time
Operation ival-log, time spent: 503.0ms, 6.0% of total-time
Operation ival-div, time spent: 481.0ms, 6.0% of total-time
Operation ival-sin, time spent: 338.0ms, 4.0% of total-time
Operation ival-cos, time spent: 293.0ms, 4.0% of total-time
Operation ival-pow, time spent: 285.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 263.0ms, 3.0% of total-time
Operation const, time spent: 218.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 42.0ms, 1.0% of total-time
Operation ival-atan, time spent: 41.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 0.0% of total-time

prune12.1s (2.6%)

Counts
52834 → 1932
Compiler

Compiled 65896 to 46610 computations (29.3% saved)

regimes7.5s (1.6%)

Counts
2849 → 255
Calls

43 calls:

1.8s
x
1.2s
c
897.0ms
a
695.0ms
b
605.0ms
b_2
Compiler

Compiled 1440 to 1012 computations (29.7% saved)

series5.7s (1.2%)

Counts
703 → 9781
Calls

3117 calls:

TimeVariablePointExpression
351.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
322.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
125.0ms
x
@-inf
(exp.f64 (+.f64 (*.f64 1/12 (pow.f64 x 2)) (*.f64 2 (log.f64 x))))
120.0ms
eps
@-inf
(fma.f64 (cos.f64 x) (sin.f64 (+.f64 x eps)) (*.f64 (neg.f64 (sin.f64 x)) (cos.f64 (+.f64 x eps))))
110.0ms
x
@inf
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x))))))

bsearch3.3s (0.7%)

Algorithm
60×binary-search
35×left-value
Stop Event
4×predicate-same
56×narrow-enough
Results
1.1s4602×0valid
386.0ms1359×1valid
201.0ms1342×0invalid
918.0ms505×3valid
69.0ms299×0infinite
134.0ms155×2valid
115.0ms126×4valid
12.0ms57×0unsamplable
11.0ms10×3infinite
Compiler

Compiled 10572 to 7830 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-pow, time spent: 797.0ms, 41.0% of total-time
Operation ival-sub, time spent: 344.0ms, 18.0% of total-time
Operation ival-mult, time spent: 227.0ms, 12.0% of total-time
Operation ival-div, time spent: 181.0ms, 9.0% of total-time
Operation ival-add, time spent: 159.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 95.0ms, 5.0% of total-time
Operation ival-exp, time spent: 52.0ms, 3.0% of total-time
Operation ival-neg, time spent: 38.0ms, 2.0% of total-time
Operation const, time spent: 36.0ms, 2.0% of total-time
Operation ival-log, time spent: 17.0ms, 1.0% of total-time
Operation ival-cos, time spent: 11.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 4.0ms, 0.0% of total-time

analyze2.9s (0.6%)

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.6s
Operation ival-mult, time spent: 239.0ms, 15.0% of total-time
Operation ival-sub, time spent: 210.0ms, 13.0% of total-time
Operation ival-log, time spent: 185.0ms, 12.0% of total-time
Operation ival-div, time spent: 181.0ms, 11.0% of total-time
Operation ival-pow, time spent: 165.0ms, 10.0% of total-time
Operation ival-<=, time spent: 106.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 92.0ms, 6.0% of total-time
Operation ival-exp, time spent: 70.0ms, 4.0% of total-time
Operation ival-add, time spent: 58.0ms, 4.0% of total-time
Operation ival-sin, time spent: 54.0ms, 3.0% of total-time
Operation ival-tan, time spent: 46.0ms, 3.0% of total-time
Operation ival-neg, time spent: 44.0ms, 3.0% of total-time
Operation const, time spent: 36.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 24.0ms, 2.0% of total-time
Operation ival-cos, time spent: 17.0ms, 1.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-and, time spent: 16.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: 8.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 4.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...