Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
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)

simplify17.7s (23.6%)

Memory
-93.4MiB live, 13 504.8MiB 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.9s (14.6%)

Memory
284.4MiB live, 13 668.3MiB allocated
Samples
6.1s70 161×0valid
1.4s4 133×2valid
335.0ms1 932×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.4s (29% of total)
ival-div: 926.0ms (18.6% of total)
ival-sub: 660.0ms (13.3% of total)
ival-sqrt: 576.0ms (11.6% of total)
ival-fabs: 323.0ms (6.5% of total)
ival-add: 307.0ms (6.2% of total)
ival-neg: 203.0ms (4.1% of total)
ival-log: 97.0ms (2% of total)
ival-if: 93.0ms (1.9% of total)
adjust: 85.0ms (1.7% of total)
ival-exp: 82.0ms (1.6% of total)
ival->=: 62.0ms (1.2% of total)
ival-true: 52.0ms (1% of total)
...in/eval/compile.rkt:110:19: 34.0ms (0.7% of total)
ival-assert: 28.0ms (0.6% of total)
Bogosity

soundness9.4s (12.5%)

Memory
-18.2MiB live, 8 812.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)

rewrite9.0s (12%)

Memory
35.7MiB live, 6 225.1MiB 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

prune6.9s (9.2%)

Memory
15.2MiB live, 7 920.8MiB allocated
Counts
21 995 → 380
Compiler

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

localize5.9s (7.9%)

Memory
24.8MiB live, 6 068.3MiB allocated
Samples
1.2s663×2valid
1.1s6 187×0valid
971.0ms693×1valid
198.0ms98×3valid
138.0ms295×0invalid
Compiler

Compiled 6 135 to 764 computations (87.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-div: 723.0ms (28.3% of total)
ival-mult: 534.0ms (20.9% of total)
ival-add: 257.0ms (10.1% of total)
ival-sub: 188.0ms (7.4% of total)
ival-log1p: 129.0ms (5% of total)
adjust: 119.0ms (4.7% of total)
ival-sqrt: 106.0ms (4.1% of total)
ival-if: 100.0ms (3.9% of total)
ival-pow: 88.0ms (3.4% of total)
ival-pow2: 83.0ms (3.2% of total)
ival-log: 68.0ms (2.7% of total)
ival-neg: 50.0ms (2% of total)
ival-exp: 37.0ms (1.4% of total)
ival-hypot: 20.0ms (0.8% 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-fabs: 8.0ms (0.3% of total)
ival->=: 7.0ms (0.3% of total)
ival-true: 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)

eval5.8s (7.7%)

Memory
170.7MiB live, 6 671.1MiB allocated
Compiler

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

preprocess2.7s (3.6%)

Memory
-7.3MiB live, 1 745.2MiB 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)

explain2.0s (2.6%)

Memory
28.4MiB live, 2 235.5MiB 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
351.0ms3 678×0valid
349.0ms720×2valid
54.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: 503.0ms
ival-add: 150.0ms (29.8% of total)
ival-div: 126.0ms (25.1% of total)
ival-mult: 75.0ms (14.9% of total)
ival-sub: 42.0ms (8.4% of total)
ival-sqrt: 33.0ms (6.6% of total)
adjust: 24.0ms (4.8% of total)
ival-neg: 16.0ms (3.2% of total)
ival-if: 9.0ms (1.8% of total)
ival-log: 6.0ms (1.2% of total)
ival-exp: 5.0ms (1% of total)
ival-fabs: 5.0ms (1% of total)
ival-true: 4.0ms (0.8% of total)
ival->=: 3.0ms (0.6% of total)
ival-assert: 2.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 2.0ms (0.4% of total)

series1.8s (2.4%)

Memory
-8.6MiB live, 2 117.8MiB allocated
Counts
276 → 6 076
Calls

1599 calls:

TimeVariablePointExpression
83.0ms
x
@0
(log x)
72.0ms
x
@-inf
(+ (* (pow x 2) 1/3) -1/3)
66.0ms
a
@inf
(* (/ -1/2 a) (+ (* -2 (* a (/ c b))) (* b 2)))
66.0ms
c
@-inf
(pow (+ (* b b) (* c (* a -4))) 1/4)
65.0ms
b
@-inf
(/ b a)

regimes1.3s (1.7%)

Memory
-73.7MiB live, 1 514.5MiB allocated
Counts
831 → 122
Calls

26 calls:

220.0ms
a
139.0ms
x
123.0ms
b
103.0ms
y
65.0ms
c
Compiler

Compiled 613 to 412 computations (32.8% saved)

bsearch888.0ms (1.2%)

Memory
125.0MiB live, 1 334.0MiB allocated
Algorithm
57×binary-search
4×left-value
Stop Event
50×narrow-enough
7×predicate-same
Samples
528.0ms5 776×0valid
32.0ms238×0invalid
10.0ms64×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 417.0ms
ival-div: 144.0ms (34.5% of total)
ival-mult: 121.0ms (29% of total)
ival-sub: 43.0ms (10.3% of total)
ival-add: 37.0ms (8.9% of total)
ival-sqrt: 18.0ms (4.3% of total)
ival-fabs: 14.0ms (3.4% of total)
ival-neg: 12.0ms (2.9% of total)
ival-if: 10.0ms (2.4% of total)
ival->=: 8.0ms (1.9% of total)
ival-true: 4.0ms (1% of total)
...in/eval/compile.rkt:110:19: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)
adjust: 1.0ms (0.2% of total)

analyze734.0ms (1%)

Memory
-44.8MiB live, 687.1MiB 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.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...