Herbie run

Date:Sunday, March 17th, 2024
Commit:d4730769 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.1min (45.6%)

Results
29.1s140553×256precondition
13.3s95526×256valid
27.5s58845×1024valid
44.4s36009×2048valid
8.4s34341×512valid
32.7s6907×8192exit
972.0ms4263×256infinite
774.0ms4247×256unsamplable
455.0ms4194×256invalid
1.3s1862×4096valid
101.0ms167×512infinite
510.0ms155×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.3s, 26.0% of total-time
Operation ival-tan, time spent: 14.1s, 11.0% of total-time
Operation ival-exp, time spent: 12.9s, 10.0% of total-time
Operation ival-mult, time spent: 9.7s, 8.0% of total-time
Operation ival-sub, time spent: 7.6s, 6.0% of total-time
Operation ival-log, time spent: 6.2s, 5.0% of total-time
Operation ival-div, time spent: 6.2s, 5.0% of total-time
Operation ival-add, time spent: 6.1s, 5.0% of total-time
Operation ival-sin, time spent: 5.7s, 5.0% of total-time
Operation ival-cos, time spent: 5.4s, 4.0% of total-time
Operation ival-<=, time spent: 4.6s, 4.0% of total-time
Operation ival-fabs, time spent: 4.6s, 4.0% of total-time
Operation ival-<, time spent: 2.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 960.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 937.0ms, 1.0% of total-time
Operation ival-neg, time spent: 594.0ms, 0.0% of total-time
Operation ival-atan, time spent: 412.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 319.0ms, 0.0% of total-time
Bogosity

localize1.3min (19.1%)

Results
9.2s13271×256valid
12.1s3888×1024valid
15.9s3319×2048valid
3.4s2000×512valid
1.4s1501×256invalid
19.4s772×8192exit
2.1s326×4096valid
219.0ms224×256infinite
1.0s92×1024infinite
341.0ms71×512infinite
113.0ms31×256unsamplable
158.0ms28×4096infinite
49.0ms22×2048invalid
68.0ms22×1024invalid
73.0ms17×2048infinite
12.0ms15×512invalid
6.0ms1×8192valid
Compiler

Compiled 15299 to 9080 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.2s
Operation ival-pow, time spent: 25.6s, 44.0% of total-time
Operation ival-mult, time spent: 6.3s, 11.0% of total-time
Operation ival-add, time spent: 4.5s, 8.0% of total-time
Operation composed, time spent: 4.4s, 8.0% of total-time
Operation ival-div, time spent: 4.3s, 7.0% of total-time
Operation ival-log, time spent: 2.0s, 3.0% of total-time
Operation ival-sub, time spent: 1.7s, 3.0% of total-time
Operation ival-exp, time spent: 1.6s, 3.0% of total-time
Operation ival-cbrt, time spent: 1.6s, 3.0% of total-time
Operation ival-cos, time spent: 1.4s, 2.0% of total-time
Operation ival-sin, time spent: 1.3s, 2.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 873.0ms, 1.0% of total-time
Operation ival-neg, time spent: 282.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 95.0ms, 0.0% of total-time
Operation ival-atan, time spent: 69.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 48.0ms, 0.0% of total-time
Operation ival-e, time spent: 7.0ms, 0.0% of total-time

eval33.8s (8.3%)

Compiler

Compiled 1475021 to 959101 computations (35% saved)

simplify25.0s (6.2%)

Algorithm
125×egg-herbie
Rules
31012×fma-define
28486×distribute-lft-in
28003×fma-neg
27133×associate-*r*
26723×*-commutative
Stop Event
28×saturated
95×node limit
19×fuel
2×unsound
9×done
Counts
38429 → 41336
Compiler

Compiled 2980 to 2161 computations (27.5% saved)

soundness22.0s (5.4%)

Rules
27535×log1p-expm1-u
27444×fma-define
24753×fma-neg
20172×associate-*r*
19433×expm1-log1p-u
Stop Event
9×saturated
98×node limit
Compiler

Compiled 18103 to 11840 computations (34.6% saved)

rewrite19.2s (4.7%)

Algorithm
97×batch-egg-rewrite
Rules
59473×log1p-expm1-u
45550×expm1-log1p-u
19991×pow1
19296×add-exp-log
19044×prod-diff
Stop Event
97×node limit
Counts
727 → 26117

preprocess16.1s (4%)

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
Results
1.2s6066×256valid
2.4s3582×1024valid
3.4s2276×2048valid
706.0ms2052×512valid
47.0ms190×256infinite
97.0ms106×4096valid
34.0ms34×512infinite
58.0ms30×1024infinite
Compiler

Compiled 11393 to 7276 computations (36.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8s
Operation ival-tan, time spent: 1.3s, 22.0% of total-time
Operation ival-exp, time spent: 911.0ms, 16.0% of total-time
Operation ival-log, time spent: 648.0ms, 11.0% of total-time
Operation ival-div, time spent: 513.0ms, 9.0% of total-time
Operation ival-sub, time spent: 469.0ms, 8.0% of total-time
Operation ival-mult, time spent: 399.0ms, 7.0% of total-time
Operation ival-add, time spent: 345.0ms, 6.0% of total-time
Operation ival-pow, time spent: 345.0ms, 6.0% of total-time
Operation ival-cos, time spent: 248.0ms, 4.0% of total-time
Operation ival-sin, time spent: 222.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 145.0ms, 3.0% of total-time
Operation const, time spent: 122.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 48.0ms, 1.0% of total-time
Operation ival-atan, time spent: 43.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time

prune13.5s (3.3%)

Counts
57798 → 1672
Compiler

Compiled 51626 to 36776 computations (28.8% saved)

series4.8s (1.2%)

Counts
727 → 12312
Calls

3315 calls:

TimeVariablePointExpression
229.0ms
a
@inf
(/ b (* a c))
187.0ms
x
@inf
(/ (exp (/ (log x) n)) (* x n))
120.0ms
n
@0
(/ (log x) n)
93.0ms
eps
@0
(* (cos (* 1/2 (+ (* 2 x) eps))) (* 2 (sin (* eps 1/2))))
67.0ms
x
@0
(pow (/ (sin (- (+ x eps) x)) (* (cos (+ x eps)) (cos x))) 3)

regimes3.6s (0.9%)

Counts
2794 → 278
Calls

43 calls:

1.1s
x
352.0ms
a
341.0ms
c
295.0ms
b
229.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1509 to 1046 computations (30.7% saved)

analyze3.1s (0.8%)

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 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-sub, time spent: 240.0ms, 15.0% of total-time
Operation ival-mult, time spent: 211.0ms, 13.0% of total-time
Operation ival-pow, time spent: 176.0ms, 11.0% of total-time
Operation ival-log, time spent: 169.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 128.0ms, 8.0% of total-time
Operation ival-div, time spent: 117.0ms, 7.0% of total-time
Operation ival-<=, time spent: 89.0ms, 5.0% of total-time
Operation ival-exp, time spent: 80.0ms, 5.0% of total-time
Operation ival-add, time spent: 72.0ms, 4.0% of total-time
Operation ival-sin, time spent: 65.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 57.0ms, 4.0% of total-time
Operation ival-tan, time spent: 56.0ms, 3.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-cos, time spent: 35.0ms, 2.0% of total-time
Operation ival-neg, time spent: 35.0ms, 2.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 13.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.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

bsearch2.4s (0.6%)

Algorithm
75×binary-search
17×left-value
Stop Event
4×predicate-same
71×narrow-enough
Results
682.0ms5508×256valid
527.0ms1615×1024valid
107.0ms1069×256invalid
171.0ms699×256infinite
168.0ms488×512valid
186.0ms215×2048valid
11.0ms58×256unsamplable
11.0ms20×512infinite
11.0ms13×1024infinite
3.0ms2×4096valid
Compiler

Compiled 12945 to 9675 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
Operation ival-pow, time spent: 480.0ms, 40.0% of total-time
Operation ival-div, time spent: 140.0ms, 12.0% of total-time
Operation ival-mult, time spent: 137.0ms, 12.0% of total-time
Operation ival-sub, time spent: 127.0ms, 11.0% of total-time
Operation ival-add, time spent: 71.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 62.0ms, 5.0% of total-time
Operation ival-exp, time spent: 60.0ms, 5.0% of total-time
Operation ival-cbrt, time spent: 37.0ms, 3.0% of total-time
Operation ival-neg, time spent: 36.0ms, 3.0% of total-time
Operation const, time spent: 27.0ms, 2.0% of total-time
Operation ival-cos, time spent: 12.0ms, 1.0% of total-time
Operation ival-log, time spent: 3.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...