Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 7.6min)

sample1.6min (21.4%)

Results
40.3s221205×0valid
13.5s28939×1valid
12.0s65851×0invalid
4.8s13734×1invalid
3.9s6497×3valid
3.3s6653×2valid
831.0ms890×4valid
380.0ms969×2invalid
31.0ms217×0unsamplable
8.0ms8×5valid
6.0ms9×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 16.4s (27% of total)
ival-div: 8.7s (14.3% of total)
ival-pow: 8.1s (13.3% of total)
ival-tan: 4.7s (7.7% of total)
ival-add: 3.9s (6.4% of total)
ival-sub: 3.8s (6.3% of total)
ival-sqrt: 2.7s (4.4% of total)
ival-sin: 2.5s (4% of total)
ival-exp: 2.4s (4% of total)
backward-pass: 1.7s (2.8% of total)
ival-acos: 1.0s (1.7% of total)
ival-cos: 1.0s (1.6% of total)
ival-neg: 733.0ms (1.2% of total)
const: 726.0ms (1.2% of total)
ival-pi: 567.0ms (0.9% of total)
...c/correct-round.rkt:121:19: 474.0ms (0.8% of total)
ival-log: 398.0ms (0.7% of total)
ival-hypot: 391.0ms (0.6% of total)
ival-asin: 256.0ms (0.4% of total)
ival-atan: 143.0ms (0.2% of total)
ival-fabs: 113.0ms (0.2% of total)
ival-<: 90.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.5min (19.4%)

Algorithm
286×egg-herbie
Rules
112664×fma-define
69019×times-frac
68152×fma-neg
65163×*-commutative
61666×distribute-lft-in
Stop Event
66×saturated
220×node limit
Counts
95618 → 80829

soundness1.0min (13.3%)

Rules
53490×fma-define
44816×log1p-expm1-u
39459×times-frac
34547×expm1-log1p-u
32928×*-commutative
Stop Event
8×saturated
173×node limit
31×fuel
1×unsound
1×done
Compiler

Compiled 40144 to 12509 computations (68.8% saved)

localize45.0s (9.8%)

Results
12.1s22627×0valid
9.9s934×5exit
4.3s2727×1valid
3.6s4566×0invalid
2.5s580×3valid
1.0s610×2valid
547.0ms90×4valid
437.0ms378×0unsamplable
Compiler

Compiled 36604 to 4320 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.3s
ival-tan: 6.0s (28.2% of total)
ival-mult: 3.5s (16.6% of total)
ival-pow: 2.5s (11.8% of total)
ival-div: 1.9s (9.1% of total)
backward-pass: 1.4s (6.6% of total)
ival-sqrt: 1.1s (5.3% of total)
ival-cos: 627.0ms (2.9% of total)
ival-add: 627.0ms (2.9% of total)
ival-sub: 626.0ms (2.9% of total)
ival-fma: 588.0ms (2.8% of total)
ival-hypot: 449.0ms (2.1% of total)
ival-log: 282.0ms (1.3% of total)
ival-sin: 279.0ms (1.3% of total)
ival-log1p: 197.0ms (0.9% of total)
ival-exp: 195.0ms (0.9% of total)
ival-cbrt: 164.0ms (0.8% of total)
ival-acos: 149.0ms (0.7% of total)
...c/correct-round.rkt:121:19: 136.0ms (0.6% of total)
const: 123.0ms (0.6% of total)
ival-expm1: 99.0ms (0.5% of total)
ival-neg: 79.0ms (0.4% of total)
ival-asin: 59.0ms (0.3% of total)
ival-atan: 49.0ms (0.2% of total)
ival-pi: 45.0ms (0.2% of total)
ival-fabs: 15.0ms (0.1% of total)

rewrite34.2s (7.5%)

Algorithm
127×batch-egg-rewrite
Rules
73283×log1p-expm1-u
51270×expm1-log1p-u
33454×add-exp-log
33012×add-log-exp
32931×pow1
Stop Event
126×node limit
1×unsound
Counts
1923 → 50724

prune29.0s (6.3%)

Counts
114678 → 3390
Compiler

Compiled 156799 to 87336 computations (44.3% saved)

eval23.5s (5.1%)

Compiler

Compiled 3711618 to 484916 computations (86.9% saved)

series19.5s (4.2%)

Counts
1923 → 44894
Calls

12231 calls:

TimeVariablePointExpression
476.0ms
l
@inf
(/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (neg (* l l)))))
372.0ms
l
@-inf
(* 2 (/ l Om))
325.0ms
l
@inf
(* (sqrt 2) (/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (neg (* l l))))))
307.0ms
x
@0
(/ (* (sqrt 2) t) (sqrt (- (* (+ 1 (/ 2 x)) (+ (* l l) (* 2 (* t t)))) (* l l))))
241.0ms
x
@-inf
(/ (+ (* 2 (* t t)) (* l l)) (+ x -1))

regimes17.5s (3.8%)

Counts
10572 → 677
Calls

156 calls:

1.4s
l
789.0ms
k
775.0ms
t
436.0ms
kx
435.0ms
x
Compiler

Compiled 8708 to 6335 computations (27.3% saved)

bsearch12.3s (2.7%)

Algorithm
250×binary-search
91×left-value
Stop Event
9×predicate-same
241×narrow-enough
Results
6.3s28254×0valid
2.3s6830×0invalid
402.0ms798×1valid
235.0ms544×2valid
100.0ms212×3valid
18.0ms79×1invalid
6.0ms18×2invalid
1.0ms1×5exit
Compiler

Compiled 68950 to 50315 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-pow: 1.8s (25.1% of total)
ival-div: 1.8s (24.8% of total)
ival-mult: 1.7s (23% of total)
ival-add: 491.0ms (6.8% of total)
ival-sin: 336.0ms (4.7% of total)
ival-sub: 280.0ms (3.9% of total)
ival-tan: 249.0ms (3.5% of total)
ival-neg: 155.0ms (2.2% of total)
ival-sqrt: 122.0ms (1.7% of total)
backward-pass: 85.0ms (1.2% of total)
const: 72.0ms (1% of total)
ival-exp: 68.0ms (0.9% of total)
ival-cos: 46.0ms (0.6% of total)
...c/correct-round.rkt:121:19: 24.0ms (0.3% of total)
ival-atan: 12.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-pi: 3.0ms (0% of total)
ival-log: 3.0ms (0% of total)
ival-hypot: 2.0ms (0% of total)

analyze11.8s (2.6%)

Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.9s
ival-mult: 2.3s (33.3% of total)
ival-pow: 1.2s (17.1% of total)
ival-div: 965.0ms (14% of total)
ival-add: 649.0ms (9.4% of total)
ival-sqrt: 390.0ms (5.7% of total)
ival-sub: 317.0ms (4.6% of total)
ival-tan: 263.0ms (3.8% of total)
ival-sin: 206.0ms (3% of total)
...c/correct-round.rkt:121:19: 118.0ms (1.7% of total)
const: 87.0ms (1.3% of total)
ival-fabs: 83.0ms (1.2% of total)
ival-neg: 77.0ms (1.1% of total)
ival-pi: 71.0ms (1% of total)
ival-exp: 51.0ms (0.7% of total)
ival-acos: 51.0ms (0.7% of total)
ival-<: 26.0ms (0.4% of total)
ival-asin: 23.0ms (0.3% of total)
backward-pass: 16.0ms (0.2% of total)
ival-log: 15.0ms (0.2% of total)
ival-cos: 14.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)

explain8.7s (1.9%)

Results
2.9s13068×0valid
1.5s2288×1valid
406.0ms528×2valid
336.0ms448×3valid
50.0ms46×4valid
5.0ms6×5exit
Compiler

Compiled 7745 to 1591 computations (79.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 675.0ms (21.5% of total)
ival-pow: 397.0ms (12.6% of total)
ival-tan: 388.0ms (12.3% of total)
ival-div: 380.0ms (12.1% of total)
ival-add: 239.0ms (7.6% of total)
ival-sub: 234.0ms (7.4% of total)
backward-pass: 164.0ms (5.2% of total)
ival-sin: 164.0ms (5.2% of total)
ival-exp: 119.0ms (3.8% of total)
ival-sqrt: 110.0ms (3.5% of total)
ival-cos: 79.0ms (2.5% of total)
const: 40.0ms (1.3% of total)
ival-neg: 32.0ms (1% of total)
ival-acos: 31.0ms (1% of total)
ival-pi: 27.0ms (0.9% of total)
ival-hypot: 20.0ms (0.6% of total)
ival-log: 17.0ms (0.5% of total)
...c/correct-round.rkt:121:19: 9.0ms (0.3% of total)
ival-asin: 9.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

preprocess8.7s (1.9%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 41776 to 17704 computations (57.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...