Herbie run

Date:Saturday, May 18th, 2024
Commit:fffc84a6 on zane-better-job-hash
Hostname:nightly with Racket 8.11.1
Seed:2024139
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.4min)

sample2.3min (28%)

Results
1.0min434413×0valid
40.6s7762×5exit
12.8s28925×1valid
2.9s6861×2valid
1.0s4960×0unsamplable
269.0ms434×3valid
65.0ms544×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 31.8s (33.3% of total)
ival-mult: 20.6s (21.6% of total)
ival-add: 7.9s (8.3% of total)
...c/correct-round.rkt:121:19: 5.1s (5.4% of total)
ival-div: 4.8s (5% of total)
ival-sub: 3.8s (3.9% of total)
ival-exp: 3.6s (3.8% of total)
backward-pass: 3.0s (3.1% of total)
ival-sqrt: 2.5s (2.6% of total)
ival-log: 2.3s (2.4% of total)
ival-cos: 1.5s (1.6% of total)
ival-pow: 1.2s (1.3% of total)
ival-asin: 1.2s (1.3% of total)
ival-atan2: 1.0s (1.1% of total)
ival-pi: 952.0ms (1% of total)
ival-<=: 858.0ms (0.9% of total)
const: 745.0ms (0.8% of total)
ival->: 497.0ms (0.5% of total)
ival->=: 392.0ms (0.4% of total)
ival-fabs: 387.0ms (0.4% of total)
ival-neg: 360.0ms (0.4% of total)
ival-acosh: 346.0ms (0.4% of total)
ival-asinh: 317.0ms (0.3% of total)
ival-atanh: 142.0ms (0.1% of total)
ival-and: 81.0ms (0.1% of total)
Bogosity

simplify1.5min (17.8%)

Algorithm
424×egg-herbie
Rules
141672×fma-define
99123×fma-neg
84096×distribute-lft-in
83151×associate-*r*
75619×distribute-rgt-in
Stop Event
148×saturated
265×node limit
11×unsound
Counts
97610 → 91090

soundness57.2s (11.4%)

Rules
55694×fma-define
51492×log1p-expm1-u
46778×fma-neg
40907×associate-*r*
37407×expm1-log1p-u
Stop Event
17×saturated
190×node limit
33×fuel
11×unsound
24×done
Compiler

Compiled 45016 to 12991 computations (71.1% saved)

rewrite45.7s (9.1%)

Algorithm
182×batch-egg-rewrite
Rules
116228×log1p-expm1-u
84834×expm1-log1p-u
40331×pow1
38598×add-exp-log
37149×add-log-exp
Stop Event
174×node limit
8×unsound
Counts
2148 → 60083

localize42.9s (8.6%)

Results
14.6s36274×0valid
6.8s4295×1valid
2.7s4612×0invalid
2.6s562×5exit
2.4s1088×2valid
357.0ms320×0unsamplable
259.0ms169×1invalid
48.0ms34×3valid
10.0ms6×1unsamplable
Compiler

Compiled 43585 to 5056 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.8s
ival-mult: 4.5s (25.3% of total)
ival-pow: 1.9s (10.9% of total)
ival-add: 1.4s (7.8% of total)
ival-div: 1.4s (7.8% of total)
backward-pass: 1.4s (7.6% of total)
...c/correct-round.rkt:121:19: 1.3s (7.2% of total)
ival-log: 1.1s (6.4% of total)
ival-hypot: 608.0ms (3.4% of total)
ival-fma: 557.0ms (3.1% of total)
ival-sub: 505.0ms (2.8% of total)
ival-exp: 428.0ms (2.4% of total)
ival-sin: 404.0ms (2.3% of total)
ival-asin: 394.0ms (2.2% of total)
ival-atan2: 375.0ms (2.1% of total)
ival-sqrt: 349.0ms (2% of total)
ival-cos: 281.0ms (1.6% of total)
ival-acos: 177.0ms (1% of total)
const: 135.0ms (0.8% of total)
ival-neg: 121.0ms (0.7% of total)
ival-cbrt: 113.0ms (0.6% of total)
ival-expm1: 106.0ms (0.6% of total)
ival-log1p: 93.0ms (0.5% of total)
ival-copysign: 61.0ms (0.3% of total)
ival-fabs: 48.0ms (0.3% of total)
ival-pi: 38.0ms (0.2% of total)
ival-e: 2.0ms (0% of total)

prune30.5s (6.1%)

Counts
135326 → 3055
Compiler

Compiled 127228 to 68120 computations (46.5% saved)

eval27.7s (5.5%)

Compiler

Compiled 3980736 to 540400 computations (86.4% saved)

series18.8s (3.7%)

Counts
2148 → 37527
Calls

9783 calls:

TimeVariablePointExpression
311.0ms
im
@-inf
(/ (* 2 (log (sqrt im))) (log base))
295.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
221.0ms
u2
@inf
(* (sqrt (log (pow u1 -1/18))) (cos (* (* 2 (PI)) u2)))
172.0ms
x
@0
(log (+ x x))
166.0ms
x
@-inf
(log (/ -1/2 x))

preprocess13.2s (2.6%)

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 28452 to 10786 computations (62.1% saved)

regimes11.9s (2.4%)

Counts
8753 → 798
Calls

132 calls:

1.2s
im
952.0ms
y.re
688.0ms
x.im
661.0ms
y.im
609.0ms
x.re
Compiler

Compiled 6468 to 4015 computations (37.9% saved)

explain10.3s (2.1%)

Results
4.1s25658×0valid
2.2s2924×1valid
266.0ms572×2valid
20.0ms26×3valid
3.0ms4×5exit
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-mult: 1.2s (32.4% of total)
ival-add: 432.0ms (11.2% of total)
ival-div: 340.0ms (8.8% of total)
backward-pass: 269.0ms (7% of total)
ival-sqrt: 243.0ms (6.3% of total)
...c/correct-round.rkt:121:19: 220.0ms (5.7% of total)
ival-log: 193.0ms (5% of total)
ival-atan2: 164.0ms (4.3% of total)
ival-sin: 162.0ms (4.2% of total)
ival-sub: 157.0ms (4.1% of total)
ival-exp: 122.0ms (3.2% of total)
ival-asin: 66.0ms (1.7% of total)
ival-cos: 57.0ms (1.5% of total)
const: 50.0ms (1.3% of total)
ival-pow: 39.0ms (1% of total)
ival-neg: 29.0ms (0.8% of total)
ival-fabs: 22.0ms (0.6% of total)
ival-pi: 20.0ms (0.5% of total)
ival-copysign: 15.0ms (0.4% of total)
ival-log1p: 10.0ms (0.3% of total)

bsearch9.6s (1.9%)

Algorithm
333×binary-search
50×left-value
Stop Event
10×predicate-same
323×narrow-enough
Results
5.7s35391×0valid
1.1s2563×1valid
185.0ms462×2valid
6.0ms16×3valid
Compiler

Compiled 71045 to 48171 computations (32.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.6s
ival-mult: 1.8s (38.1% of total)
ival-add: 709.0ms (15.4% of total)
ival-sub: 404.0ms (8.8% of total)
ival-div: 269.0ms (5.8% of total)
ival-exp: 263.0ms (5.7% of total)
ival-cos: 260.0ms (5.6% of total)
ival-log: 245.0ms (5.3% of total)
ival-sqrt: 190.0ms (4.1% of total)
ival-sin: 167.0ms (3.6% of total)
backward-pass: 112.0ms (2.4% of total)
ival-atan2: 82.0ms (1.8% of total)
...c/correct-round.rkt:121:19: 67.0ms (1.5% of total)
const: 48.0ms (1% of total)
ival-copysign: 14.0ms (0.3% of total)
ival-neg: 12.0ms (0.3% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

analyze4.0s (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.2s
ival-mult: 753.0ms (33.7% of total)
ival-add: 349.0ms (15.6% of total)
...c/correct-round.rkt:121:19: 279.0ms (12.5% of total)
ival-div: 175.0ms (7.8% of total)
ival-sqrt: 138.0ms (6.2% of total)
ival-log: 137.0ms (6.1% of total)
ival-atan2: 74.0ms (3.3% of total)
ival-sub: 71.0ms (3.2% of total)
ival-pow: 71.0ms (3.2% of total)
ival-exp: 59.0ms (2.6% of total)
ival->: 38.0ms (1.7% of total)
ival-sin: 23.0ms (1% of total)
const: 22.0ms (1% of total)
ival-cos: 15.0ms (0.7% of total)
ival-<=: 10.0ms (0.4% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 7.0ms (0.3% 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...