Herbie run

Date:Wednesday, July 3rd, 2024
Commit:276d3a06 on main
Hostname:nightly with Racket 8.11.1
Seed:2024185
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)

simplify15.2s (20.8%)

Memory
76.3MiB live, 13 332.9MiB allocated
Algorithm
70×egg-herbie
Rules
25 268×fmm-def
25 107×fma-define
11 541×times-frac
11 394×distribute-lft-in
10 344×distribute-rgt-in
Stop Event
41×node limit
29×saturated
Counts
15 385 → 13 375

sample11.4s (15.6%)

Memory
324.9MiB live, 13 637.7MiB allocated
Samples
6.2s70 175×0valid
1.6s4 122×2valid
229.0ms1 970×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-mult: 2.0s (36% of total)
ival-div: 1.4s (26.2% of total)
ival-sub: 587.0ms (10.8% of total)
ival-sqrt: 380.0ms (7% of total)
ival-add: 256.0ms (4.7% of total)
ival-neg: 210.0ms (3.9% of total)
ival-log: 125.0ms (2.3% of total)
ival-if: 88.0ms (1.6% of total)
ival-fabs: 84.0ms (1.5% of total)
ival-exp: 82.0ms (1.5% of total)
adjust: 67.0ms (1.2% of total)
ival->=: 61.0ms (1.1% of total)
ival-true: 53.0ms (1% of total)
...in/eval/compile.rkt:110:19: 36.0ms (0.7% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

soundness9.4s (12.8%)

Memory
-4.9MiB live, 8 217.2MiB allocated
Rules
10 762×fma-define
8 704×fmm-def
6 864×times-frac
6 444×log1p-expm1-u
6 294×*-commutative
Stop Event
31×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 431 to 2 080 computations (72% saved)

rewrite9.4s (12.8%)

Memory
-208.3MiB live, 6 175.9MiB allocated
Algorithm
30×batch-egg-rewrite
Rules
18 247×log1p-expm1-u
14 154×expm1-log1p-u
8 152×pow1
7 586×add-exp-log
6 697×add-log-exp
Stop Event
30×node limit
Counts
296 → 8 919

prune7.1s (9.6%)

Memory
-201.0MiB live, 8 342.4MiB allocated
Counts
21 482 → 383
Compiler

Compiled 18 675 to 10 063 computations (46.1% saved)

eval6.0s (8.2%)

Memory
194.3MiB live, 6 576.4MiB allocated
Compiler

Compiled 707 579 to 83 278 computations (88.2% saved)

localize4.8s (6.6%)

Memory
224.6MiB live, 5 884.2MiB allocated
Samples
1.2s6 069×0valid
1.0s438×2valid
428.0ms753×0invalid
268.0ms579×1valid
187.0ms97×3valid
Compiler

Compiled 5 752 to 772 computations (86.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-div: 540.0ms (24.6% of total)
ival-sub: 296.0ms (13.5% of total)
ival-mult: 288.0ms (13.1% of total)
ival-pow: 262.0ms (11.9% of total)
ival-add: 239.0ms (10.9% of total)
ival-sqrt: 142.0ms (6.5% of total)
ival-cbrt: 86.0ms (3.9% of total)
adjust: 76.0ms (3.5% of total)
ival-if: 59.0ms (2.7% of total)
ival-exp: 35.0ms (1.6% of total)
ival-neg: 32.0ms (1.5% of total)
ival-pow2: 29.0ms (1.3% of total)
ival-hypot: 28.0ms (1.3% of total)
ival-log: 15.0ms (0.7% of total)
ival-log1p: 14.0ms (0.6% of total)
ival->=: 12.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 10.0ms (0.5% of total)
ival-fabs: 8.0ms (0.4% of total)
ival-true: 7.0ms (0.3% of total)
...in/eval/compile.rkt:111:19: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)
ival-e: 3.0ms (0.1% of total)
ival-assert: 3.0ms (0.1% of total)

series3.0s (4.1%)

Memory
-18.2MiB live, 2 737.9MiB allocated
Counts
296 → 6 466
Calls

1707 calls:

TimeVariablePointExpression
579.0ms
n
@-inf
(/ (* n (- n (* -1 n))) f)
225.0ms
c
@inf
(* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (* b b))))))
165.0ms
x
@0
(log x)
137.0ms
c
@0
(* c (/ -2 (+ b (pow (exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c)))))) 2))))
85.0ms
x
@-inf
(log (+ 1 (- x 1)))

explain2.4s (3.3%)

Memory
26.9MiB live, 2 309.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2700
+.f64#fcancellation1290
-.f64#fcancellation970
sqrt.f64#fuflow-rescue680
/.f64#fn/u270
/.f64#fu/n200
*.f64(*.f64 (/.f64 x y) z)n*o130
-.f64#fnan-rescue120
*.f64(*.f64 (/.f64 x y) z)n*u50
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+2698
-2541773
Precision
0.51434034416826
Recall
0.9711191335740073
Confusion?
Predicted +Predicted MaybePredicted -
+26908
-25401773
Precision?
0.51434034416826
Recall?
0.9711191335740073
Freqs
test
numberfreq
01781
1410
2107
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
572.0ms614×2valid
311.0ms3 640×0valid
130.0ms274×1valid
35.0ms80×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 791.0ms
ival-mult: 356.0ms (45% of total)
ival-div: 131.0ms (16.6% of total)
ival-sub: 103.0ms (13% of total)
ival-add: 79.0ms (10% of total)
ival-sqrt: 36.0ms (4.5% of total)
adjust: 31.0ms (3.9% of total)
ival-neg: 19.0ms (2.4% of total)
ival-if: 10.0ms (1.3% of total)
ival-log: 6.0ms (0.8% of total)
ival-exp: 5.0ms (0.6% of total)
ival-fabs: 5.0ms (0.6% of total)
ival-true: 4.0ms (0.5% of total)
ival->=: 3.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 2.0ms (0.3% of total)
ival-assert: 2.0ms (0.3% of total)

preprocess1.6s (2.2%)

Memory
-25.1MiB live, 1 734.0MiB 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 470 to 1 094 computations (68.5% saved)

bsearch1.2s (1.6%)

Memory
-15.6MiB live, 1 250.8MiB allocated
Algorithm
52×binary-search
3×left-value
Stop Event
44×narrow-enough
8×predicate-same
Samples
643.0ms5 632×0valid
163.0ms432×0invalid
16.0ms96×2valid
Compiler

Compiled 11 328 to 7 746 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 578.0ms
ival-mult: 252.0ms (43.6% of total)
ival-neg: 126.0ms (21.8% of total)
ival-div: 73.0ms (12.6% of total)
ival-sub: 39.0ms (6.8% of total)
ival-add: 30.0ms (5.2% of total)
ival-sqrt: 18.0ms (3.1% of total)
ival-fabs: 11.0ms (1.9% of total)
ival-if: 9.0ms (1.6% of total)
ival->=: 8.0ms (1.4% of total)
ival-true: 4.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 3.0ms (0.5% of total)
adjust: 2.0ms (0.3% of total)
ival-assert: 2.0ms (0.3% of total)

regimes1.1s (1.5%)

Memory
89.5MiB live, 1 437.1MiB allocated
Counts
801 → 112
Calls

26 calls:

321.0ms
b
180.0ms
z
123.0ms
x
60.0ms
y
59.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
Compiler

Compiled 607 to 403 computations (33.6% saved)

analyze673.0ms (0.9%)

Memory
-61.0MiB live, 692.4MiB 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...