Herbie run

Date:Friday, April 19th, 2024
Commit:633bebd4 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 10.4min)

sample3.3min (31.5%)

Results
1.3min372480×256valid
15.6s72815×256infinite
6.3s10813×1024valid
1.2min7644×8192exit
2.5s7059×512valid
1.1s5304×256unsamplable
4.4s4480×512infinite
999.0ms1871×2048valid
693.0ms1028×4096valid
67.0ms507×256invalid
105.0ms86×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.8s, 39.0% of total-time
Operation ival-mult, time spent: 21.3s, 17.0% of total-time
Operation ival-add, time spent: 12.1s, 10.0% of total-time
Operation ival-sub, time spent: 8.8s, 7.0% of total-time
Operation ival-div, time spent: 8.2s, 7.0% of total-time
Operation ival-pow, time spent: 4.8s, 4.0% of total-time
Operation ival-log, time spent: 3.2s, 3.0% of total-time
Operation ival-exp, time spent: 3.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.1s, 1.0% of total-time
Operation ival-pi, time spent: 1.1s, 1.0% of total-time
Operation ival->, time spent: 960.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 765.0ms, 1.0% of total-time
Operation ival-<=, time spent: 630.0ms, 1.0% of total-time
Operation ival-neg, time spent: 542.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 511.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 412.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 367.0ms, 0.0% of total-time
Operation ival->=, time spent: 157.0ms, 0.0% of total-time
Operation ival-and, time spent: 108.0ms, 0.0% of total-time
Bogosity

localize2.2min (21.4%)

Compiler

Compiled 43742 to 24377 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-mult, time spent: 20.0s, 21.0% of total-time
Operation composed, time spent: 11.9s, 13.0% of total-time
Operation ival-add, time spent: 11.7s, 12.0% of total-time
Operation ival-pow, time spent: 10.8s, 11.0% of total-time
Operation ival-div, time spent: 7.8s, 8.0% of total-time
Operation ival-log, time spent: 6.1s, 6.0% of total-time
Operation ival-asin, time spent: 6.0s, 6.0% of total-time
Operation ival-sub, time spent: 5.6s, 6.0% of total-time
Operation ival-exp, time spent: 2.8s, 3.0% of total-time
Operation ival-acos, time spent: 2.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 3.0% of total-time
Operation const, time spent: 2.4s, 3.0% of total-time
Operation ival-cos, time spent: 1.5s, 2.0% of total-time
Operation ival-sin, time spent: 1.1s, 1.0% of total-time
Operation ival-atan2, time spent: 1.0s, 1.0% of total-time
Operation ival-cbrt, time spent: 376.0ms, 0.0% of total-time
Operation ival-neg, time spent: 347.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 133.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 104.0ms, 0.0% of total-time
Operation ival-pi, time spent: 62.0ms, 0.0% of total-time

eval1.2min (11.1%)

Compiler

Compiled 3017955 to 1918375 computations (36.4% saved)

simplify47.1s (7.5%)

Algorithm
219×egg-herbie
Rules
56838×fma-define
52495×fmm-def
46514×associate-*r*
46100×distribute-lft-in
45544×*-commutative
Stop Event
57×saturated
32×fuel
156×node limit
6×unsound
25×done
Counts
65596 → 60930
Compiler

Compiled 10967 to 6866 computations (37.4% saved)

soundness39.2s (6.3%)

Rules
52055×fma-define
46602×log1p-expm1-u
42186×fmm-def
38609×associate-*r*
31449×expm1-log1p-u
Stop Event
20×saturated
164×node limit
9×unsound
Compiler

Compiled 35513 to 22117 computations (37.7% saved)

preprocess39.1s (6.3%)

Algorithm
57×egg-herbie
Rules
20513×fmm-def
20193×fma-define
9595×unsub-neg
9128×sub-neg
8864×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 46501 to 24836 computations (46.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.4s
Operation ival-mult, time spent: 3.3s, 27.0% of total-time
Operation ival-add, time spent: 2.3s, 19.0% of total-time
Operation ival-div, time spent: 2.1s, 17.0% of total-time
Operation ival-sub, time spent: 1.7s, 14.0% of total-time
Operation ival-log, time spent: 534.0ms, 4.0% of total-time
Operation const, time spent: 471.0ms, 4.0% of total-time
Operation ival-pow, time spent: 349.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 311.0ms, 3.0% of total-time
Operation ival-exp, time spent: 273.0ms, 2.0% of total-time
Operation composed, time spent: 270.0ms, 2.0% of total-time
Operation ival-sin, time spent: 243.0ms, 2.0% of total-time
Operation ival-asin, time spent: 230.0ms, 2.0% of total-time
Operation ival-cos, time spent: 109.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 74.0ms, 1.0% of total-time
Operation ival-neg, time spent: 46.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 27.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time

rewrite34.2s (5.5%)

Algorithm
162×batch-egg-rewrite
Rules
108125×log1p-expm1-u
81036×expm1-log1p-u
33738×pow1
31675×add-exp-log
30959×log-prod
Stop Event
154×node limit
8×unsound
Counts
1273 → 40247

prune22.3s (3.6%)

Counts
86990 → 2571
Compiler

Compiled 117684 to 81640 computations (30.6% saved)

bsearch14.0s (2.2%)

Algorithm
366×binary-search
29×left-value
Stop Event
19×predicate-same
347×narrow-enough
Results
7.0s29593×256valid
1.8s8161×256infinite
2.5s2921×512infinite
348.0ms788×512valid
150.0ms354×1024valid
188.0ms176×2048valid
37.0ms65×4096valid
85.0ms22×1024infinite
Compiler

Compiled 83748 to 58960 computations (29.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
Operation ival-mult, time spent: 2.4s, 34.0% of total-time
Operation ival-log, time spent: 788.0ms, 11.0% of total-time
Operation ival-add, time spent: 713.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 599.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 551.0ms, 8.0% of total-time
Operation ival-sin, time spent: 511.0ms, 7.0% of total-time
Operation ival-exp, time spent: 437.0ms, 6.0% of total-time
Operation ival-cos, time spent: 276.0ms, 4.0% of total-time
Operation ival-sub, time spent: 263.0ms, 4.0% of total-time
Operation ival-div, time spent: 252.0ms, 4.0% of total-time
Operation const, time spent: 94.0ms, 1.0% of total-time
Operation ival-neg, time spent: 33.0ms, 0.0% of total-time
Operation ival-asin, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

regimes13.9s (2.2%)

Counts
6119 → 746
Calls

130 calls:

2.5s
y.re
1.1s
x.im
972.0ms
im
962.0ms
x.re
938.0ms
y.im
Compiler

Compiled 6137 to 4184 computations (31.8% saved)

series10.7s (1.7%)

Counts
1273 → 25349
Calls

6423 calls:

TimeVariablePointExpression
158.0ms
im
@0
(cbrt (/ im (sqrt re)))
139.0ms
im
@inf
(log (/ (log im) (log base)))
131.0ms
re
@0
(log (log (sqrt (+ (* re re) (* im im)))))
118.0ms
x.re
@0
(sin (- (* y.re (atan2 x.im x.re)) (* y.im (log (/ -1 x.im)))))
110.0ms
re
@inf
(log (/ (atan2 im re) (log base)))

analyze4.4s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
Operation ival-mult, time spent: 911.0ms, 31.0% of total-time
Operation ival-add, time spent: 355.0ms, 12.0% of total-time
Operation ival-atan2, time spent: 309.0ms, 11.0% of total-time
Operation ival-log, time spent: 290.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 254.0ms, 9.0% of total-time
Operation ival-sub, time spent: 237.0ms, 8.0% of total-time
Operation ival-div, time spent: 190.0ms, 7.0% of total-time
Operation ival-pow, time spent: 80.0ms, 3.0% of total-time
Operation ival-sin, time spent: 65.0ms, 2.0% of total-time
Operation ival-exp, time spent: 63.0ms, 2.0% of total-time
Operation const, time spent: 63.0ms, 2.0% of total-time
Operation ival-cos, time spent: 24.0ms, 1.0% of total-time
Operation ival-pi, time spent: 19.0ms, 1.0% of total-time
Operation ival-neg, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 0.0% of total-time
Operation ival-<=, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end25.0ms (0%)

Profiling

Loading profile data...