Herbie run

Date:Thursday, August 1st, 2024
Commit:9d1b2398 on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024214
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.1s (22.1%)

Memory
392.6MiB live, 21 604.4MiB allocated
Algorithm
73×egg-herbie
Rules
383 192×lower-fma.f32
383 096×lower-fma.f64
169 744×lower-*.f32
169 484×lower-*.f64
82 108×lower-+.f32
Stop Event
94×iter limit
40×saturated
36×node limit
Counts
8 076 → 7 945

soundness12.0s (15.6%)

Memory
31.9MiB live, 6 041.2MiB allocated
Rules
270 276×lower-fma.f32
270 216×lower-fma.f64
173 304×lower-*.f32
173 114×lower-*.f64
93 190×lower-/.f32
Stop Event
65×iter limit
38×node limit
5×done
4×fuel
2×saturated
1×unsound
Compiler

Compiled 8 402 to 4 082 computations (51.4% saved)

sample11.7s (15.2%)

Memory
143.6MiB live, 12 207.9MiB allocated
Samples
7.2s70 157×0valid
649.0ms4 138×2valid
298.0ms1 917×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-add: 1.4s (21.4% of total)
ival-mult: 1.3s (20.4% of total)
ival-div: 909.0ms (14.4% of total)
ival-sub: 811.0ms (12.8% of total)
ival-sqrt: 456.0ms (7.2% of total)
ival-fabs: 354.0ms (5.6% of total)
ival-if: 326.0ms (5.1% of total)
ival-neg: 205.0ms (3.2% of total)
ival->=: 193.0ms (3% of total)
ival-log: 130.0ms (2.1% of total)
adjust: 95.0ms (1.5% of total)
ival-exp: 71.0ms (1.1% of total)
exact: 55.0ms (0.9% of total)
ival-true: 52.0ms (0.8% of total)
ival-assert: 28.0ms (0.4% of total)
Bogosity

rewrite10.4s (13.5%)

Memory
257.2MiB live, 13 826.9MiB allocated
Algorithm
32×batch-egg-rewrite
Rules
114 114×lower-fma.f32
114 026×lower-fma.f64
106 280×lower-*.f32
106 040×lower-*.f64
102 432×lower-/.f32
Stop Event
68×iter limit
29×node limit
4×saturated
1×unsound
Counts
354 → 19 391

eval8.2s (10.7%)

Memory
169.4MiB live, 10 760.0MiB allocated
Compiler

Compiled 1 184 536 to 82 605 computations (93% saved)

prune6.2s (8%)

Memory
-233.6MiB live, 11 059.9MiB allocated
Counts
35 026 → 475
Compiler

Compiled 22 109 to 11 307 computations (48.9% saved)

localize3.9s (5.1%)

Memory
-92.3MiB live, 5 498.0MiB allocated
Samples
1.1s6 538×0valid
568.0ms642×2valid
436.0ms533×1valid
150.0ms380×0invalid
105.0ms99×3valid
Compiler

Compiled 6 187 to 759 computations (87.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-div: 381.0ms (25% of total)
ival-mult: 336.0ms (22.1% of total)
ival-add: 197.0ms (12.9% of total)
ival-sub: 153.0ms (10.1% of total)
adjust: 117.0ms (7.7% of total)
ival-sqrt: 87.0ms (5.7% of total)
ival-if: 54.0ms (3.5% of total)
ival-fabs: 49.0ms (3.2% of total)
ival-neg: 49.0ms (3.2% of total)
const: 45.0ms (3% of total)
ival-e: 12.0ms (0.8% of total)
exact: 11.0ms (0.7% of total)
ival-log: 10.0ms (0.7% of total)
ival->=: 7.0ms (0.5% of total)
ival-true: 6.0ms (0.4% of total)
ival-exp: 5.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

preprocess2.1s (2.7%)

Memory
69.7MiB live, 2 240.2MiB allocated
Algorithm
9×egg-herbie
Rules
11 858×lower-fma.f32
11 858×lower-fma.f64
5 976×div-sub
5 512×lower-*.f32
5 482×lower-*.f64
Stop Event
18×iter limit
13×saturated
5×node limit
Compiler

Compiled 5 806 to 1 242 computations (78.6% saved)

regimes1.9s (2.5%)

Memory
-24.9MiB live, 3 274.4MiB allocated
Counts
1 481 → 147
Calls

26 calls:

322.0ms
x
271.0ms
b
177.0ms
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
161.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
147.0ms
(*.f64 x x)
Compiler

Compiled 1 798 to 1 134 computations (36.9% saved)

explain1.6s (2%)

Memory
-21.5MiB live, 2 172.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2800
+.f64#fcancellation1480
-.f64#fcancellation1200
sqrt.f64#fuflow-rescue590
/.f64#fu/n280
-.f64#fnan-rescue230
/.f64#fn/u200
*.f64(*.f64 (/.f64 x y) z)n*o60
*.f64(*.f64 (/.f64 x y) z)n*u30
Confusion
Predicted +Predicted -
+29014
-2491751
Precision
0.5380333951762524
Recall
0.9539473684210527
Confusion?
Predicted +Predicted MaybePredicted -
+290014
-24901751
Precision?
0.5380333951762524
Recall?
0.9539473684210527
Freqs
test
numberfreq
01765
1400
2130
39
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
269.0ms3 620×0valid
181.0ms588×2valid
143.0ms340×1valid
23.0ms60×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 424.0ms
ival-mult: 153.0ms (36.1% of total)
ival-sub: 70.0ms (16.5% of total)
ival-div: 64.0ms (15.1% of total)
ival-sqrt: 38.0ms (9% of total)
adjust: 34.0ms (8% of total)
ival-add: 16.0ms (3.8% of total)
ival-neg: 11.0ms (2.6% of total)
ival-if: 9.0ms (2.1% of total)
ival-log: 6.0ms (1.4% of total)
ival-fabs: 5.0ms (1.2% of total)
ival-exp: 4.0ms (0.9% of total)
ival-true: 4.0ms (0.9% of total)
exact: 4.0ms (0.9% of total)
ival->=: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)

series937.0ms (1.2%)

Memory
-71.0MiB live, 1 174.4MiB allocated
Counts
354 → 8 076
Calls

1449 calls:

TimeVariablePointExpression
111.0ms
c
@0
(* (/ (* c 2) (+ (+ (* a (* -4 c)) 1/4) -1/4)) (+ b (sqrt (+ (* a (* -4 c)) 1/4))))
73.0ms
c
@0
(if (>= b 0) (- (/ c b) (/ b a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))
54.0ms
c
@0
(/ (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
37.0ms
c
@-inf
(/ c (* b b))
30.0ms
x
@0
(log x)

bsearch601.0ms (0.8%)

Memory
-25.3MiB live, 1 037.1MiB allocated
Algorithm
61×binary-search
11×left-value
Stop Event
50×narrow-enough
11×predicate-same
Samples
297.0ms3 264×0valid
43.0ms376×0invalid
4.0ms32×2valid
Compiler

Compiled 22 160 to 14 456 computations (34.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 251.0ms
ival-mult: 70.0ms (27.8% of total)
ival-div: 45.0ms (17.9% of total)
ival-add: 43.0ms (17.1% of total)
ival->=: 24.0ms (9.5% of total)
ival-sub: 23.0ms (9.1% of total)
ival-sqrt: 12.0ms (4.8% of total)
ival-if: 10.0ms (4% of total)
ival-fabs: 9.0ms (3.6% of total)
ival-neg: 7.0ms (2.8% of total)
ival-true: 3.0ms (1.2% of total)
exact: 3.0ms (1.2% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

analyze426.0ms (0.6%)

Memory
38.1MiB live, 794.8MiB 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...