Herbie run

Date:Tuesday, February 13th, 2024
Commit:b6334c6f on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024044
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.6min)

sample2.9min (43.7%)

Results
32.8s141241×256precondition
17.3s95450×256valid
30.0s58303×1024valid
46.3s36049×2048valid
10.5s34820×512valid
17.4s7371×8192exit
624.0ms4306×256invalid
1.0s4250×256infinite
783.0ms3893×256unsamplable
1.9s1978×4096valid
97.0ms171×512infinite
299.0ms146×1024infinite
2.0ms1×8192valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 16.0s, 14.0% of total-time
Operation ival-tan, time spent: 14.0s, 12.0% of total-time
Operation ival-exp, time spent: 12.4s, 11.0% of total-time
Operation ival-mult, time spent: 10.2s, 9.0% of total-time
Operation ival-sub, time spent: 8.2s, 7.0% of total-time
Operation ival-log, time spent: 7.6s, 7.0% of total-time
Operation ival-div, time spent: 6.4s, 6.0% of total-time
Operation ival-cos, time spent: 5.9s, 5.0% of total-time
Operation ival-sin, time spent: 5.5s, 5.0% of total-time
Operation ival-add, time spent: 5.4s, 5.0% of total-time
Operation ival-<=, time spent: 5.2s, 5.0% of total-time
Operation ival-<, time spent: 3.4s, 3.0% of total-time
Operation ival-fabs, time spent: 3.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 1.7s, 2.0% of total-time
Operation ival->, time spent: 1.2s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 704.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 693.0ms, 1.0% of total-time
Operation ival-atan, time spent: 520.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 382.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 94.0ms, 0.0% of total-time
Bogosity

localize57.3s (14.4%)

Compiler

Compiled 13953 to 8179 computations (41.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 39.7s
Operation ival-pow, time spent: 8.4s, 21.0% of total-time
Operation ival-mult, time spent: 5.8s, 15.0% of total-time
Operation ival-div, time spent: 4.8s, 12.0% of total-time
Operation ival-add, time spent: 3.9s, 10.0% of total-time
Operation composed, time spent: 3.7s, 9.0% of total-time
Operation ival-log, time spent: 2.5s, 6.0% of total-time
Operation ival-sin, time spent: 2.5s, 6.0% of total-time
Operation ival-exp, time spent: 1.6s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 4.0% of total-time
Operation ival-sub, time spent: 1.1s, 3.0% of total-time
Operation const, time spent: 1.0s, 3.0% of total-time
Operation ival-tan, time spent: 921.0ms, 2.0% of total-time
Operation ival-cos, time spent: 918.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 823.0ms, 2.0% of total-time
Operation ival-neg, time spent: 100.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 82.0ms, 0.0% of total-time
Operation ival-atan, time spent: 52.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 48.0ms, 0.0% of total-time

soundness44.1s (11.1%)

Rules
101394×fma-define
86428×fma-neg
55568×associate-*r*
53496×log1p-expm1-u
51708×log-prod
Stop Event
3×saturated
180×node limit
Compiler

Compiled 17305 to 11438 computations (33.9% saved)

eval32.2s (8.1%)

Compiler

Compiled 1342242 to 886248 computations (34% saved)

simplify22.7s (5.7%)

Algorithm
117×egg-herbie
Rules
58230×fma-define
52678×fma-neg
39456×times-frac
37234×log-prod
35722×associate-*r*
Stop Event
28×saturated
89×node limit
17×fuel
11×done
Counts
34366 → 35123
Compiler

Compiled 3009 to 2159 computations (28.2% saved)

rewrite19.0s (4.8%)

Algorithm
89×batch-egg-rewrite
Rules
56377×log1p-expm1-u
46966×expm1-log1p-u
40752×prod-diff
29656×fma-define
23914×log-prod
Stop Event
89×node limit
Counts
679 → 25610

preprocess16.5s (4.1%)

Algorithm
28×egg-herbie
Rules
23796×fma-neg
15718×fma-define
9020×distribute-lft-in
8670×sub-neg
8024×div-sub
Stop Event
15×saturated
13×node limit
Compiler

Compiled 10743 to 6762 computations (37.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.4s
Operation ival-log, time spent: 944.0ms, 17.0% of total-time
Operation ival-tan, time spent: 680.0ms, 13.0% of total-time
Operation ival-exp, time spent: 609.0ms, 11.0% of total-time
Operation ival-sub, time spent: 573.0ms, 11.0% of total-time
Operation ival-mult, time spent: 504.0ms, 9.0% of total-time
Operation ival-add, time spent: 412.0ms, 8.0% of total-time
Operation ival-div, time spent: 354.0ms, 7.0% of total-time
Operation ival-pow, time spent: 350.0ms, 6.0% of total-time
Operation ival-cos, time spent: 256.0ms, 5.0% of total-time
Operation ival-sin, time spent: 255.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 249.0ms, 5.0% of total-time
Operation const, time spent: 137.0ms, 3.0% of total-time
Operation ival-atan, time spent: 37.0ms, 1.0% of total-time
Operation ival-neg, time spent: 34.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 1.0% of total-time

prune12.1s (3%)

Counts
51618 → 1839
Compiler

Compiled 63240 to 45659 computations (27.8% saved)

regimes7.5s (1.9%)

Counts
2890 → 278
Calls

43 calls:

1.4s
x
1.1s
(/.f64 1 n)
1.1s
c
991.0ms
a
504.0ms
b
Compiler

Compiled 1462 to 1024 computations (30% saved)

series5.4s (1.3%)

Counts
679 → 8756
Calls

3039 calls:

TimeVariablePointExpression
124.0ms
x
@inf
(sqrt.f64 (/.f64 1 x))
107.0ms
b_2
@inf
(/.f64 (-.f64 (cbrt.f64 (+.f64 (*.f64 -3/2 (*.f64 a (*.f64 b_2 c))) (pow.f64 b_2 3))) b_2) a)
88.0ms
x
@-inf
(sin.f64 (+.f64 x eps))
85.0ms
b
@-inf
(log.f64 (*.f64 1 (/.f64 a b)))
83.0ms
x
@-inf
(sqrt.f64 (+.f64 1 (exp.f64 x)))

analyze3.8s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-log, time spent: 274.0ms, 14.0% of total-time
Operation ival-add, time spent: 265.0ms, 14.0% of total-time
Operation ival-sub, time spent: 211.0ms, 11.0% of total-time
Operation ival-mult, time spent: 192.0ms, 10.0% of total-time
Operation ival-div, time spent: 172.0ms, 9.0% of total-time
Operation ival-pow, time spent: 167.0ms, 9.0% of total-time
Operation ival-<=, time spent: 108.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 97.0ms, 5.0% of total-time
Operation ival-exp, time spent: 76.0ms, 4.0% of total-time
Operation ival-sin, time spent: 76.0ms, 4.0% of total-time
Operation ival-tan, time spent: 56.0ms, 3.0% of total-time
Operation const, time spent: 49.0ms, 3.0% of total-time
Operation ival-neg, time spent: 43.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 1.0% of total-time
Operation ival-cos, time spent: 26.0ms, 1.0% of total-time
Operation ival-and, time spent: 18.0ms, 1.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 11.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

bsearch3.2s (0.8%)

Algorithm
47×left-value
65×binary-search
Stop Event
3×predicate-same
62×narrow-enough
Results
1.1s5450×256valid
162.0ms1308×256invalid
510.0ms948×1024valid
173.0ms658×256infinite
407.0ms443×2048valid
148.0ms436×512valid
69.0ms321×256unsamplable
74.0ms70×1024infinite
31.0ms59×512infinite
Compiler

Compiled 11494 to 8590 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-pow, time spent: 665.0ms, 41.0% of total-time
Operation ival-mult, time spent: 322.0ms, 20.0% of total-time
Operation ival-div, time spent: 171.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 123.0ms, 8.0% of total-time
Operation ival-sub, time spent: 113.0ms, 7.0% of total-time
Operation ival-add, time spent: 74.0ms, 5.0% of total-time
Operation ival-exp, time spent: 56.0ms, 3.0% of total-time
Operation ival-neg, time spent: 34.0ms, 2.0% of total-time
Operation const, time spent: 33.0ms, 2.0% of total-time
Operation ival-log, time spent: 16.0ms, 1.0% of total-time
Operation ival-cos, time spent: 8.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 2.0ms, 0.0% of total-time

end5.0ms (0%)

Profiling

Loading profile data...