Herbie run

Date:Wednesday, May 15th, 2024
Commit:1c6b5fd9 on zane-get-alternatives
Hostname:nightly with Racket 8.11.1
Seed:2024136
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 9.2min)

sample2.6min (27.8%)

Results
1.1min434489×0valid
41.7s7943×5exit
15.6s28836×1valid
4.1s6905×2valid
1.2s5362×0unsamplable
263.0ms407×3valid
45.0ms597×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 28.5s (27.2% of total)
ival-mult: 27.6s (26.4% of total)
ival-add: 7.3s (7% of total)
...c/correct-round.rkt:119:19: 7.0s (6.7% of total)
ival-div: 5.8s (5.5% of total)
ival-sub: 4.0s (3.8% of total)
backward-pass: 3.9s (3.7% of total)
ival-exp: 3.9s (3.7% of total)
ival-sqrt: 3.0s (2.9% of total)
ival-log: 3.0s (2.9% of total)
ival-pow: 1.8s (1.7% of total)
ival-atan2: 1.4s (1.4% of total)
ival-cos: 1.4s (1.3% of total)
ival-asin: 1.3s (1.3% of total)
const: 748.0ms (0.7% of total)
ival-asinh: 627.0ms (0.6% of total)
ival->: 622.0ms (0.6% of total)
ival-pi: 596.0ms (0.6% of total)
ival-fabs: 379.0ms (0.4% of total)
ival-acosh: 375.0ms (0.4% of total)
ival-<=: 352.0ms (0.3% of total)
ival-neg: 345.0ms (0.3% of total)
ival->=: 287.0ms (0.3% of total)
ival-atanh: 286.0ms (0.3% of total)
ival-and: 82.0ms (0.1% of total)
Bogosity

simplify1.8min (19.7%)

Algorithm
444×egg-herbie
Rules
160982×fma-define
117454×fma-neg
92222×distribute-lft-in
91358×associate-*r*
83852×distribute-rgt-in
Stop Event
153×saturated
282×node limit
9×unsound
Counts
99825 → 92841

soundness1.0min (11.2%)

Rules
57963×fma-define
53628×log1p-expm1-u
49638×fma-neg
41450×associate-*r*
36361×*-commutative
Stop Event
18×saturated
191×node limit
38×fuel
10×unsound
19×done
Compiler

Compiled 44890 to 13107 computations (70.8% saved)

rewrite49.6s (9%)

Algorithm
191×batch-egg-rewrite
Rules
129633×log1p-expm1-u
87740×expm1-log1p-u
41252×pow1
40913×add-exp-log
38020×add-log-exp
Stop Event
185×node limit
6×unsound
Counts
2217 → 61471

localize41.5s (7.5%)

Results
15.9s39374×0valid
6.2s4298×1valid
2.7s1310×2valid
2.6s4500×0invalid
1.6s523×5exit
89.0ms132×0unsamplable
45.0ms26×1unsamplable
14.0ms12×3valid
3.0ms1×4valid
Compiler

Compiled 45910 to 5284 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.3s
ival-mult: 3.8s (22.1% of total)
ival-div: 1.8s (10.6% of total)
ival-pow: 1.7s (9.9% of total)
ival-add: 1.7s (9.7% of total)
...c/correct-round.rkt:119:19: 1.3s (7.6% of total)
backward-pass: 1.2s (7% of total)
ival-fma: 990.0ms (5.7% of total)
ival-log: 871.0ms (5% of total)
ival-exp: 621.0ms (3.6% of total)
ival-sub: 545.0ms (3.2% of total)
ival-sin: 382.0ms (2.2% of total)
ival-hypot: 372.0ms (2.2% of total)
ival-asin: 356.0ms (2.1% of total)
ival-sqrt: 341.0ms (2% of total)
ival-cos: 225.0ms (1.3% of total)
ival-cbrt: 159.0ms (0.9% of total)
const: 153.0ms (0.9% of total)
ival-neg: 137.0ms (0.8% of total)
ival-log1p: 135.0ms (0.8% of total)
ival-acos: 102.0ms (0.6% of total)
ival-copysign: 90.0ms (0.5% of total)
ival-atan2: 74.0ms (0.4% of total)
ival-fabs: 69.0ms (0.4% of total)
ival-pi: 48.0ms (0.3% of total)
ival-expm1: 48.0ms (0.3% of total)
ival-e: 2.0ms (0% of total)

prune33.4s (6%)

Counts
139946 → 3238
Compiler

Compiled 136620 to 71640 computations (47.6% saved)

eval31.1s (5.6%)

Compiler

Compiled 4753540 to 559393 computations (88.2% saved)

series18.8s (3.4%)

Counts
2217 → 38354
Calls

9864 calls:

TimeVariablePointExpression
345.0ms
im
@0
(log (+ 1 (log im)))
314.0ms
base
@inf
(log (/ (atan2 im re) (log base)))
209.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
195.0ms
im
@inf
(* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (log base)))
195.0ms
u1
@-inf
(* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2)))

preprocess13.3s (2.4%)

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
Compiler

Compiled 30796 to 11840 computations (61.6% saved)

regimes12.7s (2.3%)

Counts
8541 → 827
Calls

132 calls:

1.2s
y.re
980.0ms
im
864.0ms
re
804.0ms
x
782.0ms
x.im
Compiler

Compiled 6481 to 4057 computations (37.4% saved)

bsearch12.0s (2.2%)

Algorithm
367×binary-search
42×left-value
Stop Event
14×predicate-same
353×narrow-enough
Results
6.2s37750×0valid
1.9s3407×1valid
121.0ms203×2valid
Compiler

Compiled 77390 to 53830 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-mult: 2.5s (41.6% of total)
ival-add: 615.0ms (10.2% of total)
ival-sin: 504.0ms (8.4% of total)
ival-cos: 435.0ms (7.2% of total)
ival-exp: 390.0ms (6.5% of total)
ival-log: 299.0ms (5% of total)
ival-sub: 238.0ms (4% of total)
ival-div: 208.0ms (3.5% of total)
ival-sqrt: 176.0ms (2.9% of total)
backward-pass: 164.0ms (2.7% of total)
...c/correct-round.rkt:119:19: 164.0ms (2.7% of total)
ival-atan2: 141.0ms (2.3% of total)
ival-neg: 96.0ms (1.6% of total)
const: 52.0ms (0.9% of total)
ival-fabs: 17.0ms (0.3% of total)
ival-copysign: 10.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

explain11.7s (2.1%)

Results
4.5s25596×0valid
2.0s2942×1valid
381.0ms628×2valid
7.0ms14×3valid
3.0ms4×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 994.0ms (26.6% of total)
ival-add: 442.0ms (11.8% of total)
...c/correct-round.rkt:119:19: 437.0ms (11.7% of total)
ival-div: 298.0ms (8% of total)
ival-sin: 238.0ms (6.4% of total)
ival-log: 214.0ms (5.7% of total)
ival-sqrt: 179.0ms (4.8% of total)
backward-pass: 172.0ms (4.6% of total)
ival-exp: 162.0ms (4.3% of total)
ival-sub: 155.0ms (4.2% of total)
ival-atan2: 121.0ms (3.2% of total)
ival-cos: 72.0ms (1.9% of total)
ival-asin: 69.0ms (1.8% of total)
const: 53.0ms (1.4% of total)
ival-pow: 41.0ms (1.1% of total)
ival-fabs: 26.0ms (0.7% of total)
ival-pi: 19.0ms (0.5% of total)
ival-neg: 15.0ms (0.4% of total)
ival-copysign: 15.0ms (0.4% of total)
ival-log1p: 8.0ms (0.2% of total)

analyze3.7s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%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 790 computations (49.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 735.0ms (31.3% of total)
ival-add: 468.0ms (19.9% of total)
ival-sqrt: 207.0ms (8.8% of total)
...c/correct-round.rkt:119:19: 202.0ms (8.6% of total)
ival-log: 145.0ms (6.2% of total)
ival-div: 131.0ms (5.6% of total)
ival-exp: 111.0ms (4.7% of total)
ival-pow: 80.0ms (3.4% of total)
ival-sub: 75.0ms (3.2% of total)
ival-atan2: 74.0ms (3.1% of total)
ival-sin: 27.0ms (1.1% of total)
const: 22.0ms (0.9% of total)
ival-cos: 16.0ms (0.7% of total)
ival-<=: 14.0ms (0.6% of total)
ival->: 13.0ms (0.6% of total)
ival-neg: 9.0ms (0.4% of total)
ival-pi: 8.0ms (0.3% of total)
backward-pass: 7.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...