Herbie run

Date:Thursday, May 23rd, 2024
Commit:7841f259 on main
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 (26.7%)

Results
1.1min434195×0valid
41.8s7883×5exit
12.6s29206×1valid
3.4s6821×2valid
764.0ms4578×0unsamplable
201.0ms392×3valid
72.0ms560×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 32.4s (34.2% of total)
ival-mult: 20.1s (21.2% of total)
ival-add: 6.8s (7.1% of total)
ival-div: 5.9s (6.2% of total)
...c/correct-round.rkt:121:19: 5.8s (6.1% of total)
backward-pass: 3.8s (4.1% of total)
ival-exp: 3.5s (3.7% of total)
ival-sqrt: 2.9s (3.1% of total)
ival-sub: 2.7s (2.9% of total)
ival-log: 1.9s (2% of total)
ival-pow: 1.4s (1.5% of total)
ival-cos: 1.1s (1.2% of total)
ival-asin: 1.1s (1.1% of total)
ival-atan2: 848.0ms (0.9% of total)
const: 701.0ms (0.7% of total)
ival->: 630.0ms (0.7% of total)
ival-pi: 540.0ms (0.6% of total)
ival-asinh: 475.0ms (0.5% of total)
ival-acosh: 449.0ms (0.5% of total)
ival-neg: 438.0ms (0.5% of total)
ival-<=: 426.0ms (0.4% of total)
ival-atanh: 368.0ms (0.4% of total)
ival-fabs: 353.0ms (0.4% of total)
ival->=: 136.0ms (0.1% of total)
ival-and: 82.0ms (0.1% of total)
Bogosity

simplify1.6min (17.9%)

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.9%)

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)

rewrite48.1s (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

localize45.6s (8.4%)

Results
16.3s38377×0valid
6.1s3939×1valid
3.7s1430×2valid
3.2s4816×0invalid
3.2s654×5exit
249.0ms36×1unsamplable
137.0ms137×0unsamplable
13.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.9s
ival-mult: 3.8s (20.1% of total)
ival-div: 2.2s (11.4% of total)
...c/correct-round.rkt:121:19: 1.9s (10.1% of total)
ival-add: 1.9s (9.9% of total)
ival-pow: 1.7s (9.1% of total)
backward-pass: 1.5s (7.8% of total)
ival-log: 1.2s (6.5% of total)
ival-hypot: 769.0ms (4.1% of total)
ival-sub: 639.0ms (3.4% of total)
ival-fma: 528.0ms (2.8% of total)
ival-sqrt: 485.0ms (2.6% of total)
ival-asin: 429.0ms (2.3% of total)
ival-exp: 415.0ms (2.2% of total)
ival-sin: 217.0ms (1.1% of total)
ival-cos: 207.0ms (1.1% of total)
ival-acos: 162.0ms (0.9% of total)
const: 142.0ms (0.8% of total)
ival-atan2: 135.0ms (0.7% of total)
ival-log1p: 128.0ms (0.7% of total)
ival-neg: 124.0ms (0.7% of total)
ival-copysign: 96.0ms (0.5% of total)
ival-cbrt: 77.0ms (0.4% of total)
ival-expm1: 63.0ms (0.3% of total)
ival-fabs: 63.0ms (0.3% of total)
ival-pi: 43.0ms (0.2% of total)
ival-e: 8.0ms (0% of total)

prune42.1s (7.8%)

Counts
138650 → 3082
Compiler

Compiled 139970 to 75077 computations (46.4% saved)

eval30.9s (5.7%)

Compiler

Compiled 4139977 to 547780 computations (86.8% saved)

series19.5s (3.6%)

Counts
2180 → 37259
Calls

9516 calls:

TimeVariablePointExpression
568.0ms
y.re
@0
(log (+ 1 (* y.re (atan2 x.im x.re))))
410.0ms
x
@0
(log (+ 1 (fabs x)))
323.0ms
x
@-inf
(log (+ 1 (fabs x)))
299.0ms
x.im
@-inf
(* (+ 1 (* -1/2 (pow (* y.re (atan2 x.im x.re)) 2))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re))
225.0ms
x
@0
(log (neg x))

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

bsearch11.8s (2.2%)

Algorithm
355×binary-search
42×left-value
Stop Event
8×predicate-same
347×narrow-enough
Results
6.1s37422×0valid
2.3s3907×1valid
191.0ms528×2valid
19.0ms47×3valid
Compiler

Compiled 79582 to 54189 computations (31.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.8s (30.6% of total)
ival-atan2: 863.0ms (14.7% of total)
ival-add: 539.0ms (9.2% of total)
ival-sqrt: 457.0ms (7.8% of total)
ival-sin: 340.0ms (5.8% of total)
ival-sub: 326.0ms (5.6% of total)
ival-cos: 326.0ms (5.6% of total)
ival-exp: 324.0ms (5.5% of total)
ival-log: 259.0ms (4.4% of total)
ival-div: 214.0ms (3.6% of total)
...c/correct-round.rkt:121:19: 196.0ms (3.3% of total)
backward-pass: 115.0ms (2% of total)
const: 50.0ms (0.9% of total)
ival-neg: 26.0ms (0.4% of total)
ival-fabs: 21.0ms (0.4% of total)
ival-copysign: 20.0ms (0.3% of total)
ival-pi: 2.0ms (0% of total)

regimes11.1s (2%)

Counts
8298 → 821
Calls

132 calls:

835.0ms
x.re
777.0ms
y.re
736.0ms
im
699.0ms
y.im
672.0ms
x
Compiler

Compiled 6153 to 3840 computations (37.6% saved)

explain9.7s (1.8%)

Results
3.9s25742×0valid
1.9s2814×1valid
288.0ms590×2valid
21.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.7s
ival-mult: 1.1s (28.9% of total)
ival-add: 461.0ms (12.5% of total)
ival-log: 373.0ms (10.1% of total)
...c/correct-round.rkt:121:19: 268.0ms (7.3% of total)
ival-div: 220.0ms (6% of total)
ival-sin: 217.0ms (5.9% of total)
ival-sub: 199.0ms (5.4% of total)
backward-pass: 187.0ms (5.1% of total)
ival-exp: 161.0ms (4.4% of total)
ival-sqrt: 117.0ms (3.2% of total)
ival-asin: 66.0ms (1.8% of total)
ival-log1p: 65.0ms (1.8% of total)
ival-cos: 60.0ms (1.6% of total)
ival-atan2: 58.0ms (1.6% of total)
const: 55.0ms (1.5% of total)
ival-pow: 38.0ms (1% of total)
ival-fabs: 21.0ms (0.6% of total)
ival-pi: 20.0ms (0.5% of total)
ival-neg: 15.0ms (0.4% of total)
ival-copysign: 15.0ms (0.4% of total)

analyze4.2s (0.8%)

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.6s
ival-mult: 675.0ms (25.9% of total)
ival-log: 626.0ms (24% of total)
ival-add: 424.0ms (16.2% of total)
...c/correct-round.rkt:121:19: 184.0ms (7% of total)
ival-div: 123.0ms (4.7% of total)
ival-atan2: 115.0ms (4.4% of total)
ival-sqrt: 113.0ms (4.3% of total)
ival-sub: 75.0ms (2.9% of total)
ival-pow: 69.0ms (2.6% of total)
ival-exp: 56.0ms (2.1% of total)
ival-sin: 48.0ms (1.8% of total)
const: 21.0ms (0.8% of total)
ival-pi: 21.0ms (0.8% of total)
ival->: 17.0ms (0.7% of total)
ival-cos: 16.0ms (0.6% of total)
ival-<=: 10.0ms (0.4% of total)
ival-neg: 10.0ms (0.4% of total)
backward-pass: 4.0ms (0.2% 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...