Herbie run

Date:Saturday, June 29th, 2024
Commit:e9990e25 on zane-job-abstraction5
Hostname:nightly with Racket 8.11.1
Seed:2024181
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: 1.3min)

simplify18.6s (24.9%)

Memory
108.9MiB live, 13 130.7MiB allocated
Algorithm
70×egg-herbie
Rules
27 584×fma-define
23 632×fmm-def
13 174×times-frac
11 681×distribute-lft-in
11 338×distribute-rgt-in
Stop Event
43×node limit
27×saturated
Counts
14 698 → 13 564

sample10.7s (14.3%)

Memory
338.3MiB live, 13 635.6MiB allocated
Samples
6.2s70 161×0valid
1.3s4 133×2valid
431.0ms1 932×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.6s (27.8% of total)
ival-div: 1.6s (26.5% of total)
ival-sub: 985.0ms (16.6% of total)
ival-sqrt: 596.0ms (10.1% of total)
ival-add: 304.0ms (5.1% of total)
ival-neg: 213.0ms (3.6% of total)
ival-log: 114.0ms (1.9% of total)
ival-if: 86.0ms (1.5% of total)
ival-fabs: 85.0ms (1.4% of total)
ival-exp: 70.0ms (1.2% of total)
adjust: 67.0ms (1.1% of total)
ival->=: 66.0ms (1.1% of total)
ival-true: 56.0ms (0.9% of total)
...in/eval/compile.rkt:110:19: 37.0ms (0.6% of total)
ival-assert: 30.0ms (0.5% of total)
Bogosity

soundness10.4s (13.8%)

Memory
-55.5MiB live, 8 874.5MiB allocated
Rules
11 414×fma-define
9 305×fmm-def
7 815×times-frac
7 226×*-commutative
5 310×distribute-lft-in
Stop Event
30×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 490 to 2 028 computations (72.9% saved)

rewrite7.9s (10.5%)

Memory
-16.3MiB live, 6 184.5MiB allocated
Algorithm
30×batch-egg-rewrite
Rules
17 794×log1p-expm1-u
13 411×expm1-log1p-u
8 785×pow1
7 368×add-exp-log
6 770×add-log-exp
Stop Event
30×node limit
Counts
276 → 8 622

prune7.5s (10%)

Memory
-221.3MiB live, 7 944.2MiB allocated
Counts
21 995 → 380
Compiler

Compiled 19 468 to 10 063 computations (48.3% saved)

localize6.3s (8.3%)

Memory
131.4MiB live, 5 957.8MiB allocated
Samples
1.3s663×2valid
1.3s6 187×0valid
699.0ms98×3valid
442.0ms693×1valid
218.0ms295×0invalid
Compiler

Compiled 6 135 to 764 computations (87.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-div: 679.0ms (24.3% of total)
ival-mult: 623.0ms (22.3% of total)
ival-pow: 455.0ms (16.3% of total)
ival-add: 297.0ms (10.6% of total)
ival-sub: 193.0ms (6.9% of total)
ival-sqrt: 138.0ms (4.9% of total)
adjust: 102.0ms (3.7% of total)
ival-if: 71.0ms (2.5% of total)
ival-fabs: 50.0ms (1.8% of total)
ival-pow2: 43.0ms (1.5% of total)
ival-neg: 28.0ms (1% of total)
ival-exp: 24.0ms (0.9% of total)
ival-hypot: 21.0ms (0.8% of total)
ival-log1p: 11.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 10.0ms (0.4% of total)
...in/eval/compile.rkt:111:19: 8.0ms (0.3% of total)
ival->=: 7.0ms (0.3% of total)
ival-true: 7.0ms (0.3% of total)
ival-log: 6.0ms (0.2% of total)
ival-e: 5.0ms (0.2% of total)
ival-cbrt: 5.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)
ival-expm1: 3.0ms (0.1% of total)

eval4.7s (6.2%)

Memory
219.7MiB live, 6 785.7MiB allocated
Compiler

Compiled 788 144 to 89 403 computations (88.7% saved)

explain2.6s (3.4%)

Memory
25.2MiB live, 2 201.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2560
-.f64#fcancellation1410
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue680
/.f64#fu/n330
/.f64#fn/u250
-.f64#fnan-rescue100
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u70
Confusion
Predicted +Predicted -
+28415
-2451760
Precision
0.5368620037807184
Recall
0.9498327759197325
Confusion?
Predicted +Predicted MaybePredicted -
+284015
-24501760
Precision?
0.5368620037807184
Recall?
0.9498327759197325
Freqs
test
numberfreq
01775
1396
2128
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
766.0ms720×2valid
305.0ms3 678×0valid
47.0ms204×1valid
2.0ms6×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 602.0ms
ival-div: 362.0ms (60.1% of total)
ival-mult: 71.0ms (11.8% of total)
ival-sub: 40.0ms (6.6% of total)
ival-sqrt: 33.0ms (5.5% of total)
adjust: 25.0ms (4.2% of total)
ival-neg: 17.0ms (2.8% of total)
ival-add: 16.0ms (2.7% of total)
ival-if: 9.0ms (1.5% of total)
ival-log: 6.0ms (1% of total)
ival-exp: 5.0ms (0.8% of total)
ival-fabs: 5.0ms (0.8% of total)
ival-true: 4.0ms (0.7% of total)
ival->=: 3.0ms (0.5% of total)
ival-assert: 2.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 2.0ms (0.3% of total)

preprocess1.6s (2.1%)

Memory
-41.2MiB live, 1 792.9MiB allocated
Algorithm
9×egg-herbie
Rules
3 285×fmm-def
2 845×fma-define
1 495×times-frac
1 467×div-sub
1 176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3 664 to 1 086 computations (70.4% saved)

regimes1.6s (2.1%)

Memory
-23.7MiB live, 1 480.9MiB allocated
Counts
831 → 122
Calls

26 calls:

716.0ms
x
130.0ms
b
93.0ms
a
63.0ms
y
62.0ms
c
Compiler

Compiled 613 to 412 computations (32.8% saved)

series1.3s (1.8%)

Memory
-19.6MiB live, 2 166.4MiB allocated
Counts
276 → 6 076
Calls

1599 calls:

TimeVariablePointExpression
89.0ms
x
@-inf
(log (+ 1 (- x 1)))
47.0ms
x
@0
(log x)
32.0ms
c
@inf
(sqrt (* a (* c -4)))
18.0ms
x
@-inf
(log x)
15.0ms
b
@inf
(/ (* 2 c) (+ (neg b) (/ (+ (* b b) (* (* a -4) c)) (sqrt (+ (* b b) (* (sqrt (* (* a -4) c)) (sqrt (* (* a -4) c))))))))

bsearch1.3s (1.8%)

Memory
53.4MiB live, 1 431.1MiB allocated
Algorithm
57×binary-search
4×left-value
Stop Event
50×narrow-enough
7×predicate-same
Samples
698.0ms5 776×0valid
288.0ms238×0invalid
11.0ms64×2valid
Compiler

Compiled 12 066 to 8 145 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 844.0ms
ival-mult: 640.0ms (75.8% of total)
ival-div: 70.0ms (8.3% of total)
ival-sub: 36.0ms (4.3% of total)
ival-add: 29.0ms (3.4% of total)
ival-fabs: 20.0ms (2.4% of total)
ival-sqrt: 14.0ms (1.7% of total)
ival-neg: 12.0ms (1.4% of total)
ival-if: 7.0ms (0.8% of total)
ival->=: 5.0ms (0.6% of total)
ival-true: 4.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 3.0ms (0.4% of total)
ival-assert: 2.0ms (0.2% of total)
adjust: 1.0ms (0.1% of total)

analyze611.0ms (0.8%)

Memory
18.2MiB live, 663.0MiB allocated
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

end0.0ms (0%)

Memory
0.2MiB live, 0.1MiB allocated

Profiling

Loading profile data...