Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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.5%)

Results
26.9s143275×0precondition
31.4s116349×1valid
5.6s56963×0valid
42.5s55248×2valid
28.0s7114×5exit
781.0ms4258×0invalid
542.0ms4195×0unsamplable
3.5s2608×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 27.7s (23.5% of total)
ival-exp: 13.2s (11.2% of total)
ival-tan: 11.5s (9.8% of total)
ival-mult: 9.6s (8.2% of total)
ival-sub: 7.7s (6.6% of total)
backward-pass: 6.6s (5.6% of total)
ival-add: 6.0s (5.1% of total)
ival-log: 5.7s (4.8% of total)
ival-div: 5.0s (4.3% of total)
ival-sin: 4.5s (3.9% of total)
ival-cos: 4.3s (3.7% of total)
ival-<=: 4.3s (3.6% of total)
ival-fabs: 3.6s (3% of total)
ival-<: 1.9s (1.6% of total)
ival-sqrt: 1.7s (1.4% of total)
ival->: 796.0ms (0.7% of total)
ival-and: 784.0ms (0.7% of total)
const: 773.0ms (0.7% of total)
ival-fmin: 759.0ms (0.6% of total)
ival-neg: 575.0ms (0.5% of total)
ival-atan: 345.0ms (0.3% of total)
ival-cbrt: 332.0ms (0.3% of total)
Bogosity

simplify35.7s (10.3%)

Algorithm
137×egg-herbie
Rules
35247×fma-neg
34328×fma-define
34207×times-frac
32346×distribute-lft-in
27999×associate-*r*
Stop Event
28×saturated
108×node limit
1×unsound
Counts
55970 → 57965

localize34.6s (10%)

Algorithm
110×egg-herbie
Rules
47804×fma-define
39218×fma-neg
18826×sub-neg
18006×distribute-lft-in
17624×distribute-rgt-in
Stop Event
55×saturated
55×node limit
Results
4.4s15427×0valid
4.6s6059×1valid
5.1s4009×2valid
801.0ms1776×0invalid
1.8s526×5exit
626.0ms283×3valid
33.0ms80×0unsamplable
Compiler

Compiled 17613 to 2457 computations (86.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-pow: 2.6s (23.6% of total)
ival-mult: 1.5s (13.3% of total)
ival-div: 1.3s (12% of total)
backward-pass: 1.1s (9.7% of total)
ival-add: 764.0ms (6.9% of total)
ival-log: 600.0ms (5.5% of total)
ival-sub: 469.0ms (4.3% of total)
ival-tan: 345.0ms (3.1% of total)
ival-fma: 296.0ms (2.7% of total)
ival-cbrt: 291.0ms (2.6% of total)
ival-sin: 277.0ms (2.5% of total)
ival-exp: 275.0ms (2.5% of total)
ival-cos: 273.0ms (2.5% of total)
ival-sqrt: 250.0ms (2.3% of total)
ival-log1p: 185.0ms (1.7% of total)
ival-cosh: 157.0ms (1.4% of total)
const: 122.0ms (1.1% of total)
ival-neg: 76.0ms (0.7% of total)
ival-expm1: 54.0ms (0.5% of total)
ival-hypot: 53.0ms (0.5% of total)
ival-atan: 28.0ms (0.3% of total)
ival-atan2: 19.0ms (0.2% of total)
ival-e: 7.0ms (0.1% of total)
ival-fabs: 7.0ms (0.1% of total)

soundness26.1s (7.5%)

Rules
31525×log1p-expm1-u
28539×fma-neg
28104×fma-define
27075×expm1-log1p-u
21102×times-frac
Stop Event
9×saturated
109×node limit
21×fuel
1×unsound
7×done
Compiler

Compiled 21988 to 6697 computations (69.5% saved)

rewrite24.6s (7.1%)

Algorithm
109×batch-egg-rewrite
Rules
67587×log1p-expm1-u
54473×expm1-log1p-u
21523×add-exp-log
21313×add-log-exp
21105×pow1
Stop Event
109×node limit
Counts
1174 → 38264

prune16.5s (4.8%)

Counts
83346 → 2064
Compiler

Compiled 67278 to 37197 computations (44.7% saved)

eval15.4s (4.5%)

Compiler

Compiled 2096461 to 308138 computations (85.3% saved)

series6.9s (2%)

Counts
1174 → 17706
Calls

4758 calls:

TimeVariablePointExpression
505.0ms
a
@-inf
(log (- (exp (* a x)) 1))
310.0ms
x
@-inf
(log (+ 1 (exp x)))
158.0ms
a
@inf
(pow (* (pow (E) (/ (pow (cbrt (log (- (exp (* a x)) 1))) 2) 2)) (pow (E) (/ (pow (cbrt (log (- (exp (* a x)) 1))) 2) 2))) (cbrt (log (- (exp (* a x)) 1))))
131.0ms
c
@0
(pow (- (pow b_2 2) (* a c)) 1/4)
91.0ms
a
@0
(pow (* (neg a) c) 1/4)

explain6.8s (2%)

Results
1.8s7180×1valid
2.7s3484×2valid
404.0ms3484×0valid
305.0ms188×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-tan: 664.0ms (18.2% of total)
ival-sub: 520.0ms (14.3% of total)
ival-exp: 469.0ms (12.9% of total)
ival-log: 366.0ms (10.1% of total)
backward-pass: 315.0ms (8.7% of total)
ival-mult: 229.0ms (6.3% of total)
ival-cos: 227.0ms (6.2% of total)
ival-sin: 193.0ms (5.3% of total)
ival-div: 178.0ms (4.9% of total)
ival-add: 146.0ms (4% of total)
ival-pow: 136.0ms (3.7% of total)
ival-sqrt: 93.0ms (2.6% of total)
const: 32.0ms (0.9% of total)
ival-neg: 30.0ms (0.8% of total)
ival-atan: 23.0ms (0.6% of total)
ival-cbrt: 19.0ms (0.5% of total)

preprocess5.2s (1.5%)

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 9722 to 3974 computations (59.1% saved)

analyze3.7s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
10.9%6.7%54.4%38.9%0%0%0%1
20.4%12.4%48.7%38.9%0%0%0%2
38.1%22.2%36.2%41.6%0%0%0%3
47.5%27.7%30.6%41.7%0%0%0%4
55.5%31.9%25.6%42.4%0%0%0%5
57.5%32.7%24.2%43.1%0%0%0%6
61.6%34%21.2%44%0%0.8%0.1%7
64.7%35.3%19.3%44.5%0%0.8%0.1%8
67.2%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.9%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: 1.8s
ival-exp: 242.0ms (13.6% of total)
ival-sub: 222.0ms (12.5% of total)
ival-mult: 200.0ms (11.2% of total)
ival-pow: 179.0ms (10% of total)
ival-div: 160.0ms (9% of total)
ival-<=: 102.0ms (5.7% of total)
ival-log: 101.0ms (5.7% of total)
ival-neg: 101.0ms (5.7% of total)
ival-sin: 98.0ms (5.5% of total)
ival-add: 72.0ms (4% of total)
ival-fabs: 71.0ms (4% of total)
ival-tan: 63.0ms (3.5% of total)
ival-sqrt: 53.0ms (3% of total)
ival-cos: 33.0ms (1.9% of total)
const: 30.0ms (1.7% of total)
ival->: 15.0ms (0.8% of total)
ival-and: 14.0ms (0.8% of total)
backward-pass: 10.0ms (0.6% of total)
ival-<: 9.0ms (0.5% of total)
ival-fmin: 6.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

regimes3.5s (1%)

Counts
4213 → 305
Calls

43 calls:

859.0ms
x
333.0ms
eps
279.0ms
c
261.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
173.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1663 to 1108 computations (33.4% saved)

bsearch2.7s (0.8%)

Algorithm
78×binary-search
25×left-value
Stop Event
3×predicate-same
75×narrow-enough
Results
1.0s7506×0valid
406.0ms1652×1valid
273.0ms1191×0invalid
282.0ms586×2valid
8.0ms50×0unsamplable
Compiler

Compiled 15067 to 10904 computations (27.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-div: 400.0ms (28.8% of total)
ival-pow: 261.0ms (18.8% of total)
ival-mult: 215.0ms (15.5% of total)
ival-sub: 199.0ms (14.3% of total)
ival-exp: 72.0ms (5.2% of total)
ival-sqrt: 58.0ms (4.2% of total)
ival-add: 54.0ms (3.9% of total)
backward-pass: 41.0ms (3% of total)
ival-neg: 39.0ms (2.8% of total)
ival-cos: 19.0ms (1.4% of total)
const: 16.0ms (1.2% of total)
ival-cbrt: 12.0ms (0.9% of total)

end0.0ms (0%)

Profiling

Loading profile data...