Herbie run

Date:Thursday, May 23rd, 2024
Commit:f940d267 on brett-blog-post
Hostname:nightly with Racket 8.11.1
Seed:2024144
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.0min)

sample2.4min (27.2%)

Results
1.1min434195×0valid
42.6s7883×5exit
12.4s29206×1valid
3.2s6821×2valid
839.0ms4578×0unsamplable
157.0ms392×3valid
48.0ms560×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 33.9s (32.9% of total)
ival-mult: 21.0s (20.4% of total)
ival->: 7.5s (7.3% of total)
ival-add: 7.3s (7.1% of total)
ival-div: 5.6s (5.5% of total)
...c/correct-round.rkt:121:19: 5.0s (4.9% of total)
backward-pass: 3.6s (3.5% of total)
ival-exp: 3.0s (2.9% of total)
ival-sub: 2.9s (2.8% of total)
ival-log: 2.7s (2.6% of total)
ival-sqrt: 2.5s (2.4% of total)
ival-pow: 1.3s (1.3% of total)
ival-atan2: 1.2s (1.2% of total)
ival-cos: 1.1s (1.1% of total)
ival-asin: 1.0s (1% of total)
const: 704.0ms (0.7% of total)
ival-pi: 670.0ms (0.7% of total)
ival-asinh: 458.0ms (0.4% of total)
ival-<=: 327.0ms (0.3% of total)
ival-acosh: 283.0ms (0.3% of total)
ival-atanh: 267.0ms (0.3% of total)
ival-neg: 265.0ms (0.3% of total)
ival-fabs: 226.0ms (0.2% of total)
ival->=: 143.0ms (0.1% of total)
ival-and: 84.0ms (0.1% of total)
Bogosity

simplify1.6min (17.6%)

Algorithm
439×egg-herbie
Rules
166380×fma-define
112766×fma-neg
94265×distribute-lft-in
84563×distribute-rgt-in
83962×associate-*r*
Stop Event
138×saturated
292×node limit
9×unsound
Counts
97479 → 91927

soundness1.1min (11.7%)

Rules
56507×fma-define
54099×log1p-expm1-u
47534×fma-neg
43628×associate-*r*
36177×expm1-log1p-u
Stop Event
20×saturated
37×fuel
190×node limit
13×unsound
20×done
Compiler

Compiled 58344 to 16009 computations (72.6% saved)

localize51.9s (9.6%)

Results
15.2s38377×0valid
7.2s3939×1valid
3.5s654×5exit
3.3s1430×2valid
3.2s4816×0invalid
97.0ms137×0unsamplable
69.0ms36×1unsamplable
15.0ms17×3valid
3.0ms1×2unsamplable
2.0ms1×4valid
Compiler

Compiled 46742 to 5290 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.6s
ival-mult: 3.8s (20.7% of total)
ival-div: 2.7s (14.7% of total)
ival-add: 1.9s (10.4% of total)
ival-pow: 1.7s (9.3% of total)
backward-pass: 1.5s (7.8% of total)
...c/correct-round.rkt:121:19: 1.2s (6.4% of total)
ival-log: 1.0s (5.5% of total)
ival-sub: 663.0ms (3.6% of total)
ival-sqrt: 586.0ms (3.1% of total)
ival-fma: 540.0ms (2.9% of total)
ival-hypot: 457.0ms (2.5% of total)
ival-exp: 351.0ms (1.9% of total)
ival-asin: 346.0ms (1.9% of total)
ival-sin: 346.0ms (1.9% of total)
ival-cos: 199.0ms (1.1% of total)
ival-copysign: 190.0ms (1% of total)
ival-fabs: 158.0ms (0.8% of total)
const: 146.0ms (0.8% of total)
ival-acos: 146.0ms (0.8% of total)
ival-log1p: 133.0ms (0.7% of total)
ival-neg: 127.0ms (0.7% of total)
ival-atan2: 108.0ms (0.6% of total)
ival-cbrt: 77.0ms (0.4% of total)
ival-expm1: 63.0ms (0.3% of total)
ival-pi: 40.0ms (0.2% of total)
ival-e: 8.0ms (0% of total)

rewrite48.3s (8.9%)

Algorithm
189×batch-egg-rewrite
Rules
124574×log1p-expm1-u
86675×expm1-log1p-u
39968×pow1
39213×add-exp-log
38006×add-log-exp
Stop Event
1×saturated
178×node limit
10×unsound
Counts
2180 → 60220

prune32.6s (6%)

Counts
138650 → 3082
Compiler

Compiled 139970 to 75077 computations (46.4% saved)

eval31.6s (5.9%)

Compiler

Compiled 4139977 to 547780 computations (86.8% saved)

series18.5s (3.4%)

Counts
2180 → 37259
Calls

9516 calls:

TimeVariablePointExpression
486.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
481.0ms
im
@-inf
(* -3 (/ (log (cbrt im)) (log 1/10)))
298.0ms
x.im
@0
(cos (* (log (/ -1 x.im)) y.im))
248.0ms
d1
@-inf
(/ (* (* (* d1 (+ d2 30)) d1) (+ d2 -30)) (- (* d1 d2) (* d1 30)))
220.0ms
x.im
@-inf
(log (+ 1 (* y.re (atan2 x.im x.re))))

bsearch12.9s (2.4%)

Algorithm
355×binary-search
42×left-value
Stop Event
8×predicate-same
347×narrow-enough
Results
6.8s37422×0valid
2.1s3907×1valid
236.0ms528×2valid
17.0ms47×3valid
Compiler

Compiled 79582 to 54189 computations (31.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.3s (35.3% of total)
ival-cos: 729.0ms (11.3% of total)
ival-exp: 578.0ms (8.9% of total)
ival-sin: 549.0ms (8.5% of total)
ival-add: 430.0ms (6.6% of total)
ival-sqrt: 402.0ms (6.2% of total)
ival-log: 304.0ms (4.7% of total)
ival-div: 276.0ms (4.3% of total)
...c/correct-round.rkt:121:19: 269.0ms (4.2% of total)
ival-sub: 262.0ms (4% of total)
ival-atan2: 156.0ms (2.4% of total)
backward-pass: 124.0ms (1.9% of total)
const: 51.0ms (0.8% of total)
ival-neg: 25.0ms (0.4% of total)
ival-fabs: 21.0ms (0.3% of total)
ival-copysign: 15.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

preprocess12.1s (2.2%)

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 31750 to 11804 computations (62.8% saved)

regimes11.7s (2.2%)

Counts
8298 → 821
Calls

132 calls:

1.1s
re
963.0ms
im
745.0ms
y.im
733.0ms
x.im
661.0ms
x.re
Compiler

Compiled 6153 to 3840 computations (37.6% saved)

explain11.6s (2.2%)

Results
4.7s25742×0valid
1.8s2814×1valid
421.0ms590×2valid
16.0ms32×3valid
5.0ms6×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 1.0s (27.2% of total)
ival-add: 461.0ms (12.3% of total)
...c/correct-round.rkt:121:19: 314.0ms (8.4% of total)
backward-pass: 312.0ms (8.3% of total)
ival-log: 285.0ms (7.6% of total)
ival-div: 275.0ms (7.3% of total)
ival-sub: 263.0ms (7% of total)
ival-sqrt: 184.0ms (4.9% of total)
ival-exp: 132.0ms (3.5% of total)
ival-log1p: 86.0ms (2.3% of total)
ival-sin: 73.0ms (1.9% of total)
ival-asin: 62.0ms (1.7% of total)
ival-cos: 62.0ms (1.7% of total)
ival-atan2: 57.0ms (1.5% of total)
const: 50.0ms (1.3% of total)
ival-pow: 39.0ms (1% of total)
ival-pi: 23.0ms (0.6% of total)
ival-fabs: 22.0ms (0.6% of total)
ival-copysign: 15.0ms (0.4% of total)
ival-neg: 14.0ms (0.4% of total)

analyze3.9s (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.7s
ival-mult: 619.0ms (22.9% of total)
ival-add: 558.0ms (20.7% of total)
ival-atan2: 544.0ms (20.2% of total)
...c/correct-round.rkt:121:19: 204.0ms (7.6% of total)
ival-sqrt: 175.0ms (6.5% of total)
ival-log: 143.0ms (5.3% of total)
ival-div: 134.0ms (5% of total)
ival-pow: 76.0ms (2.8% of total)
ival-sub: 71.0ms (2.6% of total)
ival-exp: 63.0ms (2.3% of total)
ival-sin: 29.0ms (1.1% of total)
const: 21.0ms (0.8% of total)
ival-cos: 16.0ms (0.6% of total)
ival-pi: 12.0ms (0.4% of total)
ival->: 12.0ms (0.4% of total)
ival-<=: 11.0ms (0.4% of total)
ival-neg: 7.0ms (0.3% of total)
backward-pass: 4.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...