Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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.6min)

sample3.2min (30.3%)

Results
1.3min373024×256valid
15.0s72335×256infinite
6.4s10682×1024valid
1.2min7723×8192exit
3.1s7050×512valid
4.5s4434×512infinite
560.0ms4257×256unsamplable
1.2s1966×2048valid
542.0ms1025×4096valid
141.0ms515×256invalid
85.0ms79×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 46.5s, 37.0% of total-time
Operation ival-mult, time spent: 20.4s, 16.0% of total-time
Operation ival-add, time spent: 12.3s, 10.0% of total-time
Operation ival-div, time spent: 10.4s, 8.0% of total-time
Operation ival-sub, time spent: 8.8s, 7.0% of total-time
Operation ival-pow, time spent: 5.0s, 4.0% of total-time
Operation ival-log, time spent: 3.6s, 3.0% of total-time
Operation ival-exp, time spent: 3.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-asin, time spent: 1.8s, 1.0% of total-time
Operation ival-cos, time spent: 1.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-asinh, time spent: 949.0ms, 1.0% of total-time
Operation ival-pi, time spent: 831.0ms, 1.0% of total-time
Operation ival-<=, time spent: 432.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 417.0ms, 0.0% of total-time
Operation ival-neg, time spent: 353.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 316.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 289.0ms, 0.0% of total-time
Operation ival->=, time spent: 148.0ms, 0.0% of total-time
Operation ival-and, time spent: 109.0ms, 0.0% of total-time
Bogosity

localize2.5min (23.3%)

Compiler

Compiled 51036 to 30428 computations (40.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-mult, time spent: 19.0s, 18.0% of total-time
Operation ival-pow, time spent: 13.6s, 13.0% of total-time
Operation composed, time spent: 12.8s, 12.0% of total-time
Operation ival-add, time spent: 12.6s, 12.0% of total-time
Operation ival-asin, time spent: 9.7s, 9.0% of total-time
Operation ival-div, time spent: 8.8s, 9.0% of total-time
Operation ival-sub, time spent: 7.3s, 7.0% of total-time
Operation ival-log, time spent: 6.3s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 3.0% of total-time
Operation const, time spent: 2.7s, 3.0% of total-time
Operation ival-acos, time spent: 2.2s, 2.0% of total-time
Operation ival-exp, time spent: 1.9s, 2.0% of total-time
Operation ival-sin, time spent: 1.0s, 1.0% of total-time
Operation ival-cos, time spent: 643.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 566.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 526.0ms, 1.0% of total-time
Operation ival-neg, time spent: 371.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 117.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 95.0ms, 0.0% of total-time
Operation ival-pi, time spent: 66.0ms, 0.0% of total-time

eval1.1min (10.5%)

Compiler

Compiled 2997415 to 1960247 computations (34.6% saved)

simplify49.6s (7.8%)

Algorithm
221×egg-herbie
Rules
56507×fma-define
48219×distribute-lft-in
48111×fmm-def
44342×*-commutative
43508×associate-*r*
Stop Event
57×saturated
158×node limit
31×fuel
6×unsound
26×done
Counts
65755 → 61184
Compiler

Compiled 10611 to 6614 computations (37.7% saved)

soundness40.4s (6.3%)

Rules
48899×fma-define
47506×log1p-expm1-u
40364×fmm-def
35158×expm1-log1p-u
33691×distribute-lft-in
Stop Event
19×saturated
161×node limit
7×unsound
Compiler

Compiled 33014 to 19943 computations (39.6% saved)

preprocess38.8s (6.1%)

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 44969 to 23994 computations (46.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
Operation ival-mult, time spent: 2.9s, 23.0% of total-time
Operation ival-add, time spent: 2.4s, 19.0% of total-time
Operation ival-sub, time spent: 2.1s, 17.0% of total-time
Operation ival-div, time spent: 1.8s, 15.0% of total-time
Operation ival-log, time spent: 541.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 517.0ms, 4.0% of total-time
Operation const, time spent: 490.0ms, 4.0% of total-time
Operation ival-pow, time spent: 483.0ms, 4.0% of total-time
Operation composed, time spent: 352.0ms, 3.0% of total-time
Operation ival-exp, time spent: 311.0ms, 2.0% of total-time
Operation ival-asin, time spent: 304.0ms, 2.0% of total-time
Operation ival-sin, time spent: 116.0ms, 1.0% of total-time
Operation ival-cos, time spent: 106.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 78.0ms, 1.0% of total-time
Operation ival-neg, time spent: 43.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time

rewrite33.9s (5.3%)

Algorithm
164×batch-egg-rewrite
Rules
113985×log1p-expm1-u
84382×expm1-log1p-u
35272×pow1
34300×add-exp-log
31345×add-log-exp
Stop Event
157×node limit
7×unsound
Counts
1307 → 40193

prune23.9s (3.7%)

Counts
84947 → 2677
Compiler

Compiled 140963 to 99981 computations (29.1% saved)

bsearch14.6s (2.3%)

Algorithm
349×binary-search
37×left-value
Stop Event
18×predicate-same
331×narrow-enough
Results
8.0s29769×256valid
1.8s7686×256infinite
2.6s3052×512infinite
233.0ms419×512valid
86.0ms195×1024valid
59.0ms138×2048valid
35.0ms65×4096valid
21.0ms20×1024infinite
Compiler

Compiled 79020 to 54816 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
Operation ival-mult, time spent: 2.4s, 34.0% of total-time
Operation ival-atan2, time spent: 896.0ms, 12.0% of total-time
Operation ival-add, time spent: 874.0ms, 12.0% of total-time
Operation ival-log, time spent: 861.0ms, 12.0% of total-time
Operation ival-sin, time spent: 563.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 499.0ms, 7.0% of total-time
Operation ival-sub, time spent: 301.0ms, 4.0% of total-time
Operation ival-exp, time spent: 292.0ms, 4.0% of total-time
Operation ival-div, time spent: 206.0ms, 3.0% of total-time
Operation ival-cos, time spent: 103.0ms, 1.0% of total-time
Operation const, time spent: 96.0ms, 1.0% of total-time
Operation ival-neg, time spent: 73.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-pow, time spent: 11.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 11.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

regimes12.0s (1.9%)

Counts
5443 → 728
Calls

132 calls:

1.8s
y.im
1.2s
y.re
903.0ms
x.re
855.0ms
x
752.0ms
x.im
Compiler

Compiled 5953 to 4023 computations (32.4% saved)

series11.5s (1.8%)

Counts
1307 → 25562
Calls

6570 calls:

TimeVariablePointExpression
252.0ms
re
@-inf
(* re (- (* 1/2 (/ re im)) 1))
185.0ms
re
@inf
(log (pow base (/ 1 (atan2 im re))))
174.0ms
x.re
@0
(sin (+ (* (log x.im) y.im) (* (atan2 x.im x.re) y.re)))
167.0ms
y.im
@inf
(/ (* (neg x.re) y.im) (+ (* y.re y.re) (* y.im y.im)))
142.0ms
y.im
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

analyze4.3s (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.6s
Operation ival-mult, time spent: 798.0ms, 31.0% of total-time
Operation ival-add, time spent: 346.0ms, 13.0% of total-time
Operation ival-log, time spent: 329.0ms, 13.0% of total-time
Operation ival-sub, time spent: 292.0ms, 11.0% of total-time
Operation ival-atan2, time spent: 189.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 162.0ms, 6.0% of total-time
Operation ival-div, time spent: 123.0ms, 5.0% of total-time
Operation ival-pow, time spent: 79.0ms, 3.0% of total-time
Operation ival-sin, time spent: 66.0ms, 3.0% of total-time
Operation const, time spent: 61.0ms, 2.0% of total-time
Operation ival-exp, time spent: 59.0ms, 2.0% of total-time
Operation ival->, time spent: 46.0ms, 2.0% of total-time
Operation ival-cos, time spent: 23.0ms, 1.0% of total-time
Operation ival-pi, time spent: 15.0ms, 1.0% of total-time
Operation ival-<=, time spent: 12.0ms, 0.0% of total-time
Operation ival-neg, time spent: 7.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

end21.0ms (0%)

Profiling

Loading profile data...