Herbie run

Date:Sunday, June 30th, 2024
Commit:2aadce88 on main
Hostname:nightly with Racket 8.11.1
Seed:2024182
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.2min)

simplify18.1s (24.2%)

Memory
-24.0MiB live, 12 908.0MiB allocated
Algorithm
70×egg-herbie
Rules
22 963×fmm-def
22 279×fma-define
13 662×times-frac
11 029×distribute-lft-in
10 129×distribute-rgt-in
Stop Event
40×node limit
30×saturated
Counts
14 879 → 13 231

soundness12.1s (16.2%)

Memory
-1.6MiB live, 10 143.4MiB allocated
Rules
11 774×fma-define
9 373×log1p-expm1-u
9 348×times-frac
9 243×fmm-def
6 704×expm1-log1p-u
Stop Event
39×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 827 to 2 338 computations (70.1% saved)

sample10.6s (14.2%)

Memory
350.1MiB live, 12 566.7MiB allocated
Samples
6.3s70 224×0valid
1.1s4 073×2valid
205.0ms1 984×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.3s (25.4% of total)
ival-div: 1.3s (24.9% of total)
ival-sub: 813.0ms (16.1% of total)
ival-sqrt: 478.0ms (9.5% of total)
ival-add: 319.0ms (6.3% of total)
ival-neg: 285.0ms (5.7% of total)
ival-log: 107.0ms (2.1% of total)
ival-if: 89.0ms (1.8% of total)
ival-fabs: 83.0ms (1.6% of total)
ival-exp: 76.0ms (1.5% of total)
adjust: 67.0ms (1.3% of total)
ival->=: 66.0ms (1.3% of total)
ival-true: 54.0ms (1.1% of total)
...in/eval/compile.rkt:110:19: 37.0ms (0.7% of total)
ival-assert: 30.0ms (0.6% of total)
Bogosity

rewrite7.8s (10.5%)

Memory
75.7MiB live, 5 926.2MiB allocated
Algorithm
30×batch-egg-rewrite
Rules
19 015×log1p-expm1-u
15 179×expm1-log1p-u
7 717×pow1
6 954×add-exp-log
6 209×unpow-prod-down
Stop Event
30×node limit
Counts
272 → 8 841

eval6.1s (8.2%)

Memory
208.4MiB live, 6 570.0MiB allocated
Compiler

Compiled 757 317 to 80 712 computations (89.3% saved)

prune5.2s (7%)

Memory
-208.3MiB live, 9 379.9MiB allocated
Counts
22 545 → 365
Compiler

Compiled 19 115 to 9 755 computations (49% saved)

localize4.9s (6.6%)

Memory
189.7MiB live, 6 094.6MiB allocated
Samples
1.1s703×2valid
1.1s6 627×0valid
380.0ms284×1valid
282.0ms60×3valid
152.0ms262×0invalid
Compiler

Compiled 5 918 to 721 computations (87.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 397.0ms (18.3% of total)
ival-pow: 389.0ms (18% of total)
ival-div: 389.0ms (18% of total)
ival-sub: 237.0ms (10.9% of total)
ival-if: 212.0ms (9.8% of total)
adjust: 180.0ms (8.3% of total)
ival-add: 108.0ms (5% of total)
ival-sqrt: 77.0ms (3.6% of total)
ival-cbrt: 39.0ms (1.8% of total)
ival-neg: 36.0ms (1.7% of total)
ival-pow2: 31.0ms (1.4% of total)
ival-exp: 14.0ms (0.6% of total)
ival-log: 14.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 10.0ms (0.5% of total)
ival->=: 9.0ms (0.4% of total)
ival-fabs: 8.0ms (0.4% of total)
ival-true: 6.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)

preprocess2.8s (3.7%)

Memory
-93.6MiB live, 1 846.3MiB 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 4 140 to 1 250 computations (69.8% saved)

series2.3s (3.1%)

Memory
-82.1MiB live, 2 087.1MiB allocated
Counts
272 → 6 038
Calls

1569 calls:

TimeVariablePointExpression
230.0ms
b
@-inf
(sqrt (- (* b b) (* (* 4 a) c)))
151.0ms
b
@inf
(pow (cbrt (/ (* c 2) (+ b (sqrt (+ (* c (* a -4)) (pow b 2)))))) 3)
125.0ms
a
@inf
(/ (/ b a) c)
86.0ms
x
@inf
(log x)
86.0ms
c
@-inf
(pow (cbrt (* a (* 4 c))) 3)

explain2.1s (2.8%)

Memory
122.5MiB live, 2 467.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2690
+.f64#fcancellation1250
-.f64#fcancellation1000
sqrt.f64#fuflow-rescue670
/.f64#fu/n300
/.f64#fn/u290
-.f64#fnan-rescue170
*.f64#fn*o90
*.f64(*.f64 (/.f64 x y) z)n*u80
Confusion
Predicted +Predicted -
+29026
-2231765
Precision
0.5653021442495126
Recall
0.9177215189873418
Confusion?
Predicted +Predicted MaybePredicted -
+290026
-22301765
Precision?
0.5653021442495126
Recall?
0.9177215189873418
Freqs
test
numberfreq
01791
1382
2121
310
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
448.0ms752×2valid
239.0ms3 664×0valid
45.0ms178×1valid
7.0ms14×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 540.0ms
ival-mult: 194.0ms (36% of total)
ival-sub: 88.0ms (16.3% of total)
ival-div: 78.0ms (14.5% of total)
ival-neg: 63.0ms (11.7% of total)
ival-sqrt: 34.0ms (6.3% of total)
adjust: 25.0ms (4.6% of total)
ival-add: 16.0ms (3% of total)
ival-if: 9.0ms (1.7% of total)
ival-fabs: 7.0ms (1.3% of total)
ival-exp: 6.0ms (1.1% of total)
ival-log: 6.0ms (1.1% of total)
ival-true: 4.0ms (0.7% 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)

bsearch1.3s (1.8%)

Memory
31.6MiB live, 2 135.4MiB allocated
Algorithm
70×binary-search
5×left-value
Stop Event
60×narrow-enough
10×predicate-same
Samples
737.0ms7 792×0valid
57.0ms462×0invalid
42.0ms80×2valid
Compiler

Compiled 16 138 to 11 072 computations (31.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 607.0ms
ival-div: 185.0ms (30.5% of total)
ival-mult: 130.0ms (21.4% of total)
ival-neg: 88.0ms (14.5% of total)
ival-sub: 53.0ms (8.7% of total)
ival-add: 41.0ms (6.8% of total)
adjust: 30.0ms (4.9% of total)
ival-sqrt: 23.0ms (3.8% of total)
ival-fabs: 22.0ms (3.6% of total)
ival-if: 12.0ms (2% of total)
ival->=: 11.0ms (1.8% of total)
ival-true: 6.0ms (1% of total)
...in/eval/compile.rkt:110:19: 4.0ms (0.7% of total)
ival-assert: 3.0ms (0.5% of total)

regimes908.0ms (1.2%)

Memory
-13.9MiB live, 1 852.4MiB allocated
Counts
861 → 143
Calls

26 calls:

187.0ms
x
128.0ms
y
119.0ms
b
80.0ms
c
60.0ms
a
Compiler

Compiled 616 to 410 computations (33.4% saved)

analyze563.0ms (0.8%)

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

Profiling

Loading profile data...