Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024076
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.4%)

Results
1.1min373909×256valid
13.6s71266×256infinite
6.2s10725×1024valid
1.2min7744×8192exit
2.8s7279×512valid
3.7s4380×512infinite
648.0ms4154×256unsamplable
1.5s1909×2048valid
529.0ms1043×4096valid
61.0ms574×256invalid
91.0ms84×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.7s, 38.0% of total-time
Operation ival-mult, time spent: 21.1s, 17.0% of total-time
Operation ival-add, time spent: 12.6s, 10.0% of total-time
Operation ival-sub, time spent: 9.4s, 7.0% of total-time
Operation ival-div, time spent: 9.1s, 7.0% of total-time
Operation ival-pow, time spent: 5.4s, 4.0% of total-time
Operation ival-log, time spent: 3.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation ival-exp, time spent: 2.9s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-asin, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 1.0% of total-time
Operation ival->, time spent: 978.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 751.0ms, 1.0% of total-time
Operation ival-pi, time spent: 603.0ms, 0.0% of total-time
Operation ival-<=, time spent: 572.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 405.0ms, 0.0% of total-time
Operation ival-neg, time spent: 376.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 241.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 232.0ms, 0.0% of total-time
Operation ival->=, time spent: 162.0ms, 0.0% of total-time
Operation ival-and, time spent: 109.0ms, 0.0% of total-time
Bogosity

localize2.3min (21.9%)

Results
33.1s29992×256valid
3.5s4717×256infinite
6.5s4245×256invalid
9.5s1450×1024valid
4.5s1142×512valid
24.8s870×2048valid
14.7s663×2048infinite
7.4s603×8192exit
219.0ms175×256unsamplable
714.0ms140×512infinite
2.6s134×1024invalid
707.0ms65×1024infinite
673.0ms56×512invalid
88.0ms36×4096valid
Compiler

Compiled 45226 to 25649 computations (43.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-mult, time spent: 19.2s, 19.0% of total-time
Operation ival-pow, time spent: 13.7s, 14.0% of total-time
Operation composed, time spent: 13.2s, 13.0% of total-time
Operation ival-add, time spent: 10.4s, 10.0% of total-time
Operation ival-asin, time spent: 9.2s, 9.0% of total-time
Operation ival-log, time spent: 8.6s, 9.0% of total-time
Operation ival-div, time spent: 8.6s, 9.0% of total-time
Operation ival-sub, time spent: 5.3s, 5.0% of total-time
Operation const, time spent: 2.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.4s, 2.0% of total-time
Operation ival-exp, time spent: 2.0s, 2.0% of total-time
Operation ival-sin, time spent: 1.4s, 1.0% of total-time
Operation ival-cos, time spent: 892.0ms, 1.0% of total-time
Operation ival-acos, time spent: 797.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 488.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 393.0ms, 0.0% of total-time
Operation ival-neg, time spent: 325.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 254.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 85.0ms, 0.0% of total-time
Operation ival-pi, time spent: 79.0ms, 0.0% of total-time
Operation ival-e, time spent: 4.0ms, 0.0% of total-time

eval1.1min (10.5%)

Compiler

Compiled 2908494 to 1869395 computations (35.7% saved)

simplify43.1s (6.9%)

Algorithm
210×egg-herbie
Rules
109620×fma-define
82870×distribute-lft-in
79665×associate-*r*
77062×*-commutative
75240×fma-neg
Stop Event
57×saturated
32×fuel
148×node limit
5×unsound
25×done
Counts
61583 → 58075
Compiler

Compiled 9878 to 6134 computations (37.9% saved)

preprocess40.2s (6.4%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Results
7.9s21796×256valid
1.7s4364×256infinite
5.7s1414×1024valid
2.0s1012×512valid
372.0ms338×512infinite
513.0ms190×2048valid
39.0ms52×4096valid
17.0ms16×1024infinite
6.0ms2×8192exit
Compiler

Compiled 45007 to 23886 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.9s
Operation ival-mult, time spent: 2.9s, 22.0% of total-time
Operation ival-add, time spent: 2.5s, 19.0% of total-time
Operation ival-sub, time spent: 2.1s, 16.0% of total-time
Operation ival-div, time spent: 1.9s, 15.0% of total-time
Operation ival-sqrt, time spent: 617.0ms, 5.0% of total-time
Operation ival-log, time spent: 552.0ms, 4.0% of total-time
Operation const, time spent: 514.0ms, 4.0% of total-time
Operation ival-pow, time spent: 427.0ms, 3.0% of total-time
Operation ival-exp, time spent: 332.0ms, 3.0% of total-time
Operation ival-asin, time spent: 260.0ms, 2.0% of total-time
Operation composed, time spent: 229.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 206.0ms, 2.0% of total-time
Operation ival-sin, time spent: 126.0ms, 1.0% of total-time
Operation ival-cos, time spent: 112.0ms, 1.0% of total-time
Operation ival-neg, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 28.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 24.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 18.0ms, 0.0% of total-time

soundness39.0s (6.2%)

Rules
101473×fma-define
77787×fma-neg
65441×associate-*r*
60238×distribute-lft-in
54115×*-commutative
Stop Event
20×saturated
152×node limit
8×unsound
Compiler

Compiled 30964 to 18232 computations (41.1% saved)

rewrite30.3s (4.8%)

Algorithm
153×batch-egg-rewrite
Rules
101262×log1p-expm1-u
74064×expm1-log1p-u
48879×prod-diff
45767×log-prod
37901×unpow-prod-down
Stop Event
145×node limit
8×unsound
Counts
1177 → 37725

prune23.1s (3.7%)

Counts
88260 → 2637
Compiler

Compiled 118674 to 84270 computations (29% saved)

regimes20.7s (3.3%)

Counts
5797 → 668
Calls

124 calls:

3.3s
y.re
2.2s
y.im
1.8s
x.re
1.8s
x.im
1.4s
im
Compiler

Compiled 5693 to 3810 computations (33.1% saved)

bsearch14.3s (2.3%)

Algorithm
300×binary-search
29×left-value
Stop Event
14×predicate-same
286×narrow-enough
Results
5.7s22758×256valid
1.9s7104×256infinite
3.0s3629×512infinite
355.0ms720×512valid
219.0ms342×2048valid
97.0ms256×1024valid
174.0ms118×1024infinite
8.0ms17×4096valid
Compiler

Compiled 71761 to 49265 computations (31.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
Operation ival-mult, time spent: 2.6s, 34.0% of total-time
Operation ival-log, time spent: 1.1s, 15.0% of total-time
Operation ival-add, time spent: 816.0ms, 11.0% of total-time
Operation ival-sin, time spent: 746.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 542.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 462.0ms, 6.0% of total-time
Operation ival-sub, time spent: 462.0ms, 6.0% of total-time
Operation ival-exp, time spent: 301.0ms, 4.0% of total-time
Operation ival-div, time spent: 200.0ms, 3.0% of total-time
Operation ival-cos, time spent: 174.0ms, 2.0% of total-time
Operation const, time spent: 86.0ms, 1.0% of total-time
Operation ival-asin, time spent: 54.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 16.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time
Operation ival-pow, time spent: 3.0ms, 0.0% of total-time

series10.6s (1.7%)

Counts
1177 → 23858
Calls

5994 calls:

TimeVariablePointExpression
336.0ms
im
@-inf
(log (+ 1 (/ (log base) (atan2 im re))))
257.0ms
x
@inf
(log (+ (fabs x) 1))
252.0ms
a
@0
(- a 1/3)
186.0ms
x
@-inf
(log (+ x x))
142.0ms
x
@inf
(log (+ 1 (+ (* (PI) 1/2) (* (asin (sqrt (- 1/2 (* x 1/2)))) -2))))

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: 707.0ms, 27.0% of total-time
Operation ival-add, time spent: 420.0ms, 16.0% of total-time
Operation ival-sub, time spent: 333.0ms, 13.0% of total-time
Operation ival-log, time spent: 303.0ms, 12.0% of total-time
Operation ival-atan2, time spent: 187.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 171.0ms, 7.0% of total-time
Operation ival-div, time spent: 133.0ms, 5.0% of total-time
Operation ival-pow, time spent: 120.0ms, 5.0% of total-time
Operation const, time spent: 64.0ms, 2.0% of total-time
Operation ival-exp, time spent: 60.0ms, 2.0% of total-time
Operation ival-sin, time spent: 41.0ms, 2.0% of total-time
Operation ival-cos, time spent: 27.0ms, 1.0% of total-time
Operation ival-pi, time spent: 18.0ms, 1.0% of total-time
Operation ival-<=, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 13.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

end14.0ms (0%)

Profiling

Loading profile data...