Herbie run

Date:Monday, May 20th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024141
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.8min)

sample2.3min (26.3%)

Results
57.3s434143×0valid
42.7s7929×5exit
13.2s29158×1valid
3.1s6950×2valid
1.5s5744×0unsamplable
196.0ms399×3valid
45.0ms538×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 33.4s (34.8% of total)
ival-mult: 19.6s (20.4% of total)
ival-add: 9.1s (9.5% of total)
...c/correct-round.rkt:121:19: 5.3s (5.5% of total)
ival-div: 4.9s (5.1% of total)
ival-sub: 3.7s (3.8% of total)
backward-pass: 3.2s (3.3% of total)
ival-exp: 3.1s (3.2% of total)
ival-sqrt: 2.9s (3.1% of total)
ival-log: 1.9s (1.9% of total)
ival-pow: 1.1s (1.2% of total)
ival-atan2: 1.1s (1.1% of total)
ival->: 1.1s (1.1% of total)
ival-asin: 1.1s (1.1% of total)
ival-cos: 972.0ms (1% of total)
const: 723.0ms (0.8% of total)
ival-pi: 536.0ms (0.6% of total)
ival-neg: 469.0ms (0.5% of total)
ival-<=: 429.0ms (0.4% of total)
ival-acosh: 403.0ms (0.4% of total)
ival-asinh: 328.0ms (0.3% of total)
ival->=: 283.0ms (0.3% of total)
ival-fabs: 198.0ms (0.2% of total)
ival-atanh: 134.0ms (0.1% of total)
ival-and: 81.0ms (0.1% of total)
Bogosity

simplify1.5min (17.4%)

Algorithm
432×egg-herbie
Rules
152916×fma-define
101249×fma-neg
98043×associate-*r*
87593×distribute-lft-in
77340×distribute-rgt-in
Stop Event
142×saturated
279×node limit
11×unsound
Counts
98786 → 92833

soundness1.1min (11.9%)

Rules
61288×fma-define
50918×log1p-expm1-u
50258×fma-neg
41190×associate-*r*
39757×expm1-log1p-u
Stop Event
17×saturated
34×fuel
201×node limit
12×unsound
23×done
Compiler

Compiled 46274 to 13445 computations (70.9% saved)

rewrite47.2s (8.9%)

Algorithm
185×batch-egg-rewrite
Rules
116872×log1p-expm1-u
84831×expm1-log1p-u
41363×pow1
39568×add-exp-log
38110×add-log-exp
Stop Event
177×node limit
8×unsound
Counts
2182 → 60550

localize40.2s (7.6%)

Results
13.3s37531×0valid
6.2s4062×1valid
3.5s4989×0invalid
3.0s1218×2valid
1.7s557×5exit
261.0ms264×0unsamplable
26.0ms19×3valid
Compiler

Compiled 44951 to 5177 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.1s
ival-mult: 3.8s (22% of total)
ival-div: 1.9s (11.3% of total)
ival-pow: 1.9s (11% of total)
ival-add: 1.5s (8.8% of total)
backward-pass: 1.4s (8% of total)
...c/correct-round.rkt:121:19: 1.2s (6.9% of total)
ival-fma: 729.0ms (4.3% of total)
ival-sub: 681.0ms (4% of total)
ival-log: 609.0ms (3.6% of total)
ival-sqrt: 546.0ms (3.2% of total)
ival-hypot: 445.0ms (2.6% of total)
ival-exp: 344.0ms (2% of total)
ival-asin: 319.0ms (1.9% of total)
ival-copysign: 318.0ms (1.9% of total)
ival-sin: 209.0ms (1.2% of total)
ival-atan2: 178.0ms (1% of total)
ival-neg: 177.0ms (1% of total)
ival-cos: 162.0ms (0.9% of total)
ival-cbrt: 145.0ms (0.8% of total)
const: 142.0ms (0.8% of total)
ival-log1p: 128.0ms (0.7% of total)
ival-fabs: 120.0ms (0.7% of total)
ival-pi: 94.0ms (0.6% of total)
ival-expm1: 52.0ms (0.3% of total)
ival-acos: 46.0ms (0.3% of total)
ival-e: 7.0ms (0% of total)

eval37.0s (7%)

Compiler

Compiled 4241724 to 552594 computations (87% saved)

prune32.2s (6.1%)

Counts
138509 → 3187
Compiler

Compiled 136275 to 72946 computations (46.5% saved)

series20.6s (3.9%)

Counts
2182 → 38236
Calls

9810 calls:

TimeVariablePointExpression
514.0ms
im
@0
(log im)
474.0ms
base
@inf
(log (+ 1 (log base)))
440.0ms
base
@0
(* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (log base)))
370.0ms
re
@inf
(/ 1 (log (pow base (/ 1 (atan2 im re)))))
273.0ms
x
@inf
(log (/ -1/2 x))

preprocess19.4s (3.7%)

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 31726 to 12416 computations (60.9% saved)

regimes12.1s (2.3%)

Counts
8161 → 831
Calls

132 calls:

1.4s
y.re
983.0ms
im
861.0ms
y.im
799.0ms
re
705.0ms
x.im
Compiler

Compiled 6357 to 4020 computations (36.8% saved)

bsearch11.7s (2.2%)

Algorithm
355×binary-search
49×left-value
Stop Event
12×predicate-same
343×narrow-enough
Results
6.0s37348×0valid
2.0s3802×1valid
366.0ms552×2valid
17.0ms26×3valid
Compiler

Compiled 80333 to 54557 computations (32.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 2.1s (35.5% of total)
ival-log: 701.0ms (11.8% of total)
ival-add: 616.0ms (10.4% of total)
ival-cos: 459.0ms (7.7% of total)
ival-div: 352.0ms (5.9% of total)
ival-sin: 343.0ms (5.8% of total)
ival-sub: 287.0ms (4.8% of total)
ival-sqrt: 248.0ms (4.2% of total)
ival-exp: 247.0ms (4.2% of total)
ival-atan2: 175.0ms (2.9% of total)
...c/correct-round.rkt:121:19: 124.0ms (2.1% of total)
backward-pass: 122.0ms (2.1% of total)
const: 53.0ms (0.9% of total)
ival-asin: 48.0ms (0.8% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-neg: 17.0ms (0.3% of total)
ival-copysign: 13.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)

explain10.7s (2%)

Results
3.7s25482×0valid
1.8s3032×1valid
419.0ms650×2valid
8.0ms18×3valid
2.0ms2×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 1.3s (36.8% of total)
ival-add: 408.0ms (11.9% of total)
backward-pass: 245.0ms (7.1% of total)
...c/correct-round.rkt:121:19: 231.0ms (6.7% of total)
ival-div: 215.0ms (6.2% of total)
ival-log: 200.0ms (5.8% of total)
ival-sub: 146.0ms (4.2% of total)
ival-exp: 143.0ms (4.2% of total)
ival-sqrt: 143.0ms (4.2% of total)
ival-sin: 98.0ms (2.8% of total)
ival-asin: 64.0ms (1.9% of total)
ival-cos: 62.0ms (1.8% of total)
const: 51.0ms (1.5% of total)
ival-atan2: 50.0ms (1.5% of total)
ival-pow: 39.0ms (1.1% of total)
ival-fabs: 22.0ms (0.6% of total)
ival-pi: 21.0ms (0.6% of total)
ival-copysign: 16.0ms (0.5% of total)
ival-neg: 14.0ms (0.4% of total)
ival-log1p: 8.0ms (0.2% of total)

analyze4.1s (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.9s
ival-mult: 986.0ms (34.3% of total)
ival-div: 398.0ms (13.9% of total)
...c/correct-round.rkt:121:19: 341.0ms (11.9% of total)
ival-add: 309.0ms (10.8% of total)
ival-log: 298.0ms (10.4% of total)
ival-sqrt: 114.0ms (4% of total)
ival-exp: 88.0ms (3.1% of total)
ival-sub: 76.0ms (2.6% of total)
ival-atan2: 72.0ms (2.5% of total)
ival-pow: 71.0ms (2.5% of total)
ival-sin: 25.0ms (0.9% of total)
const: 21.0ms (0.7% of total)
ival->: 17.0ms (0.6% of total)
ival-pi: 16.0ms (0.6% of total)
ival-cos: 15.0ms (0.5% of total)
ival-<=: 11.0ms (0.4% of total)
ival-neg: 7.0ms (0.2% of total)
backward-pass: 5.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...