Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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: 8.6min)

sample2.3min (26.5%)

Results
59.8s434304×0valid
40.2s7883×5exit
12.1s28991×1valid
3.1s6931×2valid
442.0ms4307×0unsamplable
206.0ms373×3valid
37.0ms492×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 31.2s (33.1% of total)
ival-mult: 20.5s (21.7% of total)
ival-add: 7.8s (8.3% of total)
...c/correct-round.rkt:121:19: 5.8s (6.1% of total)
ival-div: 5.4s (5.7% of total)
ival-sub: 3.3s (3.5% of total)
ival-exp: 3.0s (3.2% of total)
backward-pass: 2.9s (3.1% of total)
ival-sqrt: 2.6s (2.8% of total)
ival-log: 2.2s (2.3% of total)
ival->: 1.3s (1.4% of total)
ival-asin: 1.2s (1.2% of total)
ival-pow: 1.1s (1.2% of total)
ival-cos: 1.1s (1.2% of total)
ival-<=: 1.1s (1.1% of total)
ival-pi: 812.0ms (0.9% of total)
const: 703.0ms (0.7% of total)
ival-atan2: 702.0ms (0.7% of total)
ival-neg: 384.0ms (0.4% of total)
ival-acosh: 373.0ms (0.4% of total)
ival-asinh: 265.0ms (0.3% of total)
ival-fabs: 240.0ms (0.3% of total)
ival-atanh: 202.0ms (0.2% of total)
ival->=: 140.0ms (0.1% of total)
ival-and: 82.0ms (0.1% of total)
Bogosity

simplify1.6min (18.2%)

Algorithm
430×egg-herbie
Rules
157225×fma-define
120854×fma-neg
84168×distribute-lft-in
74896×distribute-rgt-in
74339×associate-*r*
Stop Event
151×saturated
270×node limit
9×unsound
Counts
97549 → 90572

soundness1.0min (11.7%)

Rules
60831×fma-define
56109×log1p-expm1-u
53675×fma-neg
43881×associate-*r*
40453×expm1-log1p-u
Stop Event
19×saturated
199×node limit
36×fuel
11×unsound
21×done
Compiler

Compiled 46305 to 13329 computations (71.2% saved)

rewrite47.8s (9.3%)

Algorithm
185×batch-egg-rewrite
Rules
122847×log1p-expm1-u
90423×expm1-log1p-u
41748×pow1
38053×add-exp-log
35927×add-log-exp
Stop Event
179×node limit
6×unsound
Counts
2173 → 59493

localize45.7s (8.8%)

Results
15.3s35833×0valid
7.6s5216×1valid
4.0s655×5exit
3.3s1354×2valid
2.4s4687×0invalid
259.0ms331×0unsamplable
47.0ms22×1unsamplable
31.0ms28×3valid
6.0ms2×2unsamplable
Compiler

Compiled 48280 to 5180 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.2s
ival-mult: 4.5s (22.1% of total)
ival-pow: 3.2s (15.6% of total)
backward-pass: 1.8s (8.9% of total)
ival-div: 1.7s (8.3% of total)
ival-add: 1.5s (7.6% of total)
...c/correct-round.rkt:121:19: 1.4s (6.8% of total)
ival-log: 822.0ms (4.1% of total)
ival-sub: 660.0ms (3.3% of total)
ival-exp: 650.0ms (3.2% of total)
ival-sqrt: 572.0ms (2.8% of total)
ival-fma: 514.0ms (2.5% of total)
ival-hypot: 456.0ms (2.3% of total)
ival-sin: 438.0ms (2.2% of total)
ival-asin: 390.0ms (1.9% of total)
ival-expm1: 307.0ms (1.5% of total)
ival-cos: 258.0ms (1.3% of total)
ival-neg: 244.0ms (1.2% of total)
ival-atan2: 192.0ms (0.9% of total)
ival-cbrt: 171.0ms (0.8% of total)
const: 150.0ms (0.7% of total)
ival-copysign: 124.0ms (0.6% of total)
ival-log1p: 92.0ms (0.5% of total)
ival-acos: 78.0ms (0.4% of total)
ival-fabs: 46.0ms (0.2% of total)
ival-pi: 43.0ms (0.2% of total)

eval31.5s (6.1%)

Compiler

Compiled 4440215 to 558814 computations (87.4% saved)

prune30.6s (5.9%)

Counts
135883 → 3026
Compiler

Compiled 134700 to 69130 computations (48.7% saved)

series18.5s (3.6%)

Counts
2173 → 38056
Calls

9786 calls:

TimeVariablePointExpression
199.0ms
x.re
@inf
(* -1/2 (* (pow (atan2 x.im x.re) 2) (pow y.re 2)))
181.0ms
base
@-inf
(/ 1 (log (pow base (/ 1 (atan2 im re)))))
168.0ms
u2
@inf
(* (sqrt (log (pow u1 -1/18))) (cos (* (* 2 (PI)) u2)))
168.0ms
y.re
@0
(* y.re (neg (log (/ -1 x.re))))
162.0ms
x
@0
(log (+ x x))

preprocess12.8s (2.5%)

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 32496 to 12426 computations (61.8% saved)

regimes11.7s (2.3%)

Counts
8885 → 841
Calls

132 calls:

994.0ms
y.im
953.0ms
y.re
928.0ms
im
921.0ms
re
581.0ms
x.im
Compiler

Compiled 6179 to 3898 computations (36.9% saved)

bsearch11.7s (2.3%)

Algorithm
371×binary-search
38×left-value
Stop Event
15×predicate-same
356×narrow-enough
Results
6.0s40029×0valid
1.5s3180×1valid
320.0ms575×2valid
10.0ms24×3valid
Compiler

Compiled 80513 to 54886 computations (31.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.8s
ival-mult: 2.4s (41% of total)
ival-add: 765.0ms (13.1% of total)
ival-sin: 420.0ms (7.2% of total)
ival-div: 341.0ms (5.8% of total)
ival-cos: 298.0ms (5.1% of total)
ival-log: 285.0ms (4.9% of total)
ival-exp: 280.0ms (4.8% of total)
ival-sqrt: 235.0ms (4% of total)
ival-sub: 195.0ms (3.3% of total)
...c/correct-round.rkt:121:19: 171.0ms (2.9% of total)
ival-atan2: 165.0ms (2.8% of total)
backward-pass: 138.0ms (2.4% of total)
const: 53.0ms (0.9% of total)
ival-asin: 46.0ms (0.8% of total)
ival-neg: 22.0ms (0.4% of total)
ival-fabs: 16.0ms (0.3% of total)
ival-copysign: 13.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)

explain10.6s (2%)

Results
4.2s25544×0valid
1.8s3006×1valid
430.0ms596×2valid
71.0ms32×3valid
4.0ms6×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 1.1s (32.4% of total)
ival-div: 448.0ms (13% of total)
ival-add: 386.0ms (11.2% of total)
...c/correct-round.rkt:121:19: 259.0ms (7.5% of total)
backward-pass: 203.0ms (5.9% of total)
ival-log: 180.0ms (5.2% of total)
ival-sqrt: 177.0ms (5.1% of total)
ival-exp: 138.0ms (4% of total)
ival-sub: 120.0ms (3.5% of total)
ival-sin: 66.0ms (1.9% of total)
ival-asin: 62.0ms (1.8% of total)
ival-cos: 62.0ms (1.8% of total)
ival-atan2: 51.0ms (1.5% of total)
const: 50.0ms (1.4% of total)
ival-pow: 39.0ms (1.1% of total)
ival-copysign: 25.0ms (0.7% of total)
ival-pi: 22.0ms (0.6% of total)
ival-fabs: 22.0ms (0.6% of total)
ival-neg: 14.0ms (0.4% of total)
ival-log1p: 10.0ms (0.3% of total)

analyze4.9s (0.9%)

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: 3.5s
...c/correct-round.rkt:121:19: 1.3s (38.9% of total)
ival-mult: 710.0ms (20.5% of total)
ival-add: 455.0ms (13.1% of total)
ival-div: 247.0ms (7.1% of total)
ival-log: 155.0ms (4.5% of total)
ival-sqrt: 120.0ms (3.5% of total)
ival-pow: 117.0ms (3.4% of total)
ival-sub: 70.0ms (2% of total)
ival-atan2: 69.0ms (2% of total)
ival-exp: 53.0ms (1.5% of total)
ival-sin: 31.0ms (0.9% of total)
const: 22.0ms (0.6% of total)
ival-cos: 16.0ms (0.5% of total)
ival-<=: 14.0ms (0.4% of total)
ival->: 12.0ms (0.3% of total)
ival-pi: 8.0ms (0.2% of total)
ival-neg: 7.0ms (0.2% of total)
backward-pass: 5.0ms (0.1% 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...