Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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.8min)

sample3.2min (30%)

Results
1.1min372229×256valid
13.5s73052×256infinite
5.7s10596×1024valid
1.2min7677×8192exit
2.6s7162×512valid
4.7s4553×512infinite
729.0ms4481×256unsamplable
1.1s1879×2048valid
655.0ms1057×4096valid
69.0ms551×256invalid
89.0ms81×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.5s, 39.0% of total-time
Operation ival-mult, time spent: 21.6s, 17.0% of total-time
Operation ival-add, time spent: 10.9s, 9.0% of total-time
Operation ival-sub, time spent: 9.3s, 7.0% of total-time
Operation ival-div, time spent: 8.7s, 7.0% of total-time
Operation ival-pow, time spent: 5.3s, 4.0% of total-time
Operation ival-log, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 1.0% of total-time
Operation ival->, time spent: 891.0ms, 1.0% of total-time
Operation ival-pi, time spent: 696.0ms, 1.0% of total-time
Operation ival-neg, time spent: 632.0ms, 1.0% of total-time
Operation ival-<=, time spent: 581.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 523.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 382.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 294.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 262.0ms, 0.0% of total-time
Operation ival->=, time spent: 237.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Bogosity

localize2.8min (25.5%)

Results
33.1s30661×256valid
4.7s5786×256infinite
6.6s4558×256invalid
17.2s1827×1024valid
7.9s1415×512valid
46.0s1179×8192exit
13.0s808×2048valid
2.4s209×2048infinite
643.0ms191×512infinite
135.0ms102×256unsamplable
311.0ms65×1024infinite
93.0ms47×4096valid
Compiler

Compiled 49347 to 27930 computations (43.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-mult, time spent: 20.9s, 17.0% of total-time
Operation ival-asin, time spent: 19.4s, 16.0% of total-time
Operation composed, time spent: 13.8s, 11.0% of total-time
Operation ival-add, time spent: 12.5s, 10.0% of total-time
Operation ival-pow, time spent: 12.3s, 10.0% of total-time
Operation ival-div, time spent: 9.3s, 8.0% of total-time
Operation ival-log, time spent: 8.3s, 7.0% of total-time
Operation ival-sub, time spent: 6.0s, 5.0% of total-time
Operation ival-acos, time spent: 4.5s, 4.0% of total-time
Operation ival-exp, time spent: 4.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 3.0% of total-time
Operation const, time spent: 2.8s, 2.0% of total-time
Operation ival-sin, time spent: 1.4s, 1.0% of total-time
Operation ival-cos, time spent: 865.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 455.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 414.0ms, 0.0% of total-time
Operation ival-neg, time spent: 338.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 195.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 99.0ms, 0.0% of total-time
Operation ival-pi, time spent: 73.0ms, 0.0% of total-time

eval1.0min (9.6%)

Compiler

Compiled 2985304 to 1881770 computations (37% saved)

simplify46.7s (7.2%)

Algorithm
222×egg-herbie
Rules
56577×fma-define
48272×distribute-lft-in
45880×fma-neg
45283×times-frac
44135×distribute-rgt-in
Stop Event
57×saturated
159×node limit
6×unsound
Counts
66106 → 61498

soundness43.5s (6.7%)

Rules
57430×fma-define
51171×log1p-expm1-u
46864×fma-neg
38409×associate-*r*
38158×expm1-log1p-u
Stop Event
20×saturated
176×node limit
29×fuel
5×unsound
28×done
Compiler

Compiled 48631 to 28445 computations (41.5% saved)

preprocess39.3s (6.1%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Results
8.1s21530×256valid
1.9s4704×256infinite
5.0s1362×1024valid
2.1s1104×512valid
200.0ms270×512infinite
347.0ms126×2048valid
52.0ms70×4096valid
9.0ms14×1024infinite
10.0ms4×8192exit
Compiler

Compiled 44307 to 23766 computations (46.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
Operation ival-mult, time spent: 3.0s, 22.0% of total-time
Operation ival-add, time spent: 2.5s, 19.0% of total-time
Operation ival-div, time spent: 1.9s, 14.0% of total-time
Operation ival-sub, time spent: 1.8s, 14.0% of total-time
Operation ival-log, time spent: 930.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 571.0ms, 4.0% of total-time
Operation const, time spent: 468.0ms, 4.0% of total-time
Operation ival-pow, time spent: 460.0ms, 3.0% of total-time
Operation composed, time spent: 399.0ms, 3.0% of total-time
Operation ival-exp, time spent: 270.0ms, 2.0% of total-time
Operation ival-asin, time spent: 227.0ms, 2.0% of total-time
Operation ival-neg, time spent: 208.0ms, 2.0% of total-time
Operation ival-pi, time spent: 175.0ms, 1.0% of total-time
Operation ival-cos, time spent: 147.0ms, 1.0% of total-time
Operation ival-sin, time spent: 124.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 77.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time

rewrite33.3s (5.1%)

Algorithm
165×batch-egg-rewrite
Rules
113749×log1p-expm1-u
89336×expm1-log1p-u
35029×pow1
32453×add-exp-log
30625×add-log-exp
Stop Event
160×node limit
5×unsound
Counts
1295 → 40081

prune23.4s (3.6%)

Counts
89881 → 2735
Compiler

Compiled 120996 to 83964 computations (30.6% saved)

series12.5s (1.9%)

Counts
1295 → 26025
Calls

6660 calls:

TimeVariablePointExpression
667.0ms
base
@inf
(exp (neg (log (log base))))
181.0ms
x.im
@0
(cos (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))
162.0ms
x.im
@0
(cbrt (* (atan2 x.im x.re) y.re))
123.0ms
im
@inf
(log (pow im (/ 1 (log base))))
119.0ms
im
@-inf
(log (/ (log im) (log 10)))

regimes11.7s (1.8%)

Counts
6071 → 728
Calls

130 calls:

1.3s
y.im
1.0s
y.re
918.0ms
im
732.0ms
x.im
728.0ms
re
Compiler

Compiled 6253 to 4255 computations (32% saved)

bsearch11.6s (1.8%)

Algorithm
324×binary-search
35×left-value
Stop Event
18×predicate-same
306×narrow-enough
Results
5.9s30262×256valid
1.3s6615×256infinite
593.0ms985×512infinite
207.0ms472×1024valid
193.0ms291×2048valid
92.0ms290×512valid
21.0ms45×4096valid
50.0ms32×1024infinite
Compiler

Compiled 67380 to 46919 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
Operation ival-mult, time spent: 1.7s, 34.0% of total-time
Operation ival-sin, time spent: 602.0ms, 12.0% of total-time
Operation ival-add, time spent: 590.0ms, 12.0% of total-time
Operation ival-log, time spent: 476.0ms, 9.0% of total-time
Operation ival-div, time spent: 325.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 312.0ms, 6.0% of total-time
Operation ival-exp, time spent: 262.0ms, 5.0% of total-time
Operation ival-sub, time spent: 230.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 161.0ms, 3.0% of total-time
Operation ival-cos, time spent: 131.0ms, 3.0% of total-time
Operation const, time spent: 91.0ms, 2.0% of total-time
Operation ival-asin, time spent: 60.0ms, 1.0% of total-time
Operation ival-neg, time spent: 33.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 1.0% of total-time
Operation ival-copysign, time spent: 26.0ms, 1.0% of total-time
Operation ival-pi, time spent: 9.0ms, 0.0% of total-time

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.8s
Operation ival-mult, time spent: 832.0ms, 30.0% of total-time
Operation ival-add, time spent: 423.0ms, 15.0% of total-time
Operation ival-sub, time spent: 321.0ms, 11.0% of total-time
Operation ival-log, time spent: 302.0ms, 11.0% of total-time
Operation ival-atan2, time spent: 204.0ms, 7.0% of total-time
Operation ival-div, time spent: 192.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 188.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: 61.0ms, 2.0% of total-time
Operation ival-cos, time spent: 25.0ms, 1.0% of total-time
Operation ival->, time spent: 20.0ms, 1.0% of total-time
Operation ival-pi, time spent: 15.0ms, 1.0% of total-time
Operation ival-<=, time spent: 11.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

end0.0ms (0%)

Profiling

Loading profile data...