Herbie run

Date:Tuesday, July 9th, 2024
Commit:5d49a3a9 on Regimes-Speedup
Hostname:nightly with Racket 8.11.1
Seed:2024191
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)

simplify14.8s (20.6%)

Memory
110.7MiB live, 13 529.4MiB allocated
Algorithm
70×egg-herbie
Rules
24 601×fma-define
20 362×fmm-def
14 298×times-frac
12 655×distribute-lft-in
10 676×distribute-rgt-in
Stop Event
45×node limit
25×saturated
Counts
14 517 → 13 782

sample11.5s (16.1%)

Memory
290.9MiB live, 12 946.3MiB allocated
Samples
7.2s70 183×0valid
1.2s4 116×2valid
398.0ms1 891×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.7s
ival-mult: 1.8s (27.1% of total)
ival-div: 1.4s (20.9% of total)
ival-sub: 1.2s (17.8% of total)
ival-sqrt: 756.0ms (11.3% of total)
ival-fabs: 394.0ms (5.9% of total)
ival-add: 203.0ms (3% of total)
ival-neg: 201.0ms (3% of total)
ival-exp: 155.0ms (2.3% of total)
ival-if: 128.0ms (1.9% of total)
adjust: 119.0ms (1.8% of total)
ival-log: 103.0ms (1.5% of total)
ival->=: 86.0ms (1.3% of total)
exact: 57.0ms (0.9% of total)
ival-true: 53.0ms (0.8% of total)
ival-assert: 28.0ms (0.4% of total)
Bogosity

soundness9.2s (12.9%)

Memory
7.0MiB live, 7 976.2MiB allocated
Rules
11 144×fma-define
8 115×fmm-def
6 780×times-frac
6 354×log1p-expm1-u
5 502×*-commutative
Stop Event
30×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 289 to 1 964 computations (73.1% saved)

prune8.3s (11.6%)

Memory
-450.4MiB live, 8 486.7MiB allocated
Counts
23 915 → 376
Compiler

Compiled 18 167 to 9 660 computations (46.8% saved)

rewrite7.6s (10.6%)

Memory
31.3MiB live, 6 132.1MiB allocated
Algorithm
30×batch-egg-rewrite
Rules
16 993×log1p-expm1-u
12 654×expm1-log1p-u
8 819×pow1
8 347×add-exp-log
7 229×add-log-exp
Stop Event
30×node limit
Counts
277 → 8 323

localize5.7s (8%)

Memory
331.6MiB live, 6 298.7MiB allocated
Samples
1.6s6 252×0valid
1.1s500×2valid
459.0ms668×1valid
258.0ms445×0invalid
95.0ms70×3valid
1.0ms1×5exit
Compiler

Compiled 5 915 to 746 computations (87.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 667.0ms (28.6% of total)
ival-div: 475.0ms (20.4% of total)
ival-add: 334.0ms (14.3% of total)
ival-sub: 217.0ms (9.3% of total)
ival-pow: 146.0ms (6.3% of total)
adjust: 141.0ms (6% of total)
ival-sqrt: 94.0ms (4% of total)
ival-if: 76.0ms (3.3% of total)
ival-neg: 41.0ms (1.8% of total)
ival-cbrt: 19.0ms (0.8% of total)
ival-pow2: 18.0ms (0.8% of total)
ival->=: 18.0ms (0.8% of total)
ival-exp: 16.0ms (0.7% of total)
ival-log: 16.0ms (0.7% of total)
exact: 14.0ms (0.6% of total)
ival-log1p: 11.0ms (0.5% of total)
ival-fabs: 9.0ms (0.4% of total)
ival-true: 6.0ms (0.3% of total)
ival-hypot: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)
const: 4.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)

eval5.7s (8%)

Memory
233.0MiB live, 7 037.5MiB allocated
Compiler

Compiled 801 387 to 87 988 computations (89% saved)

preprocess1.9s (2.7%)

Memory
-121.9MiB live, 1 997.7MiB 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 994 to 1 084 computations (72.9% saved)

series1.9s (2.6%)

Memory
-169.9MiB live, 2 329.5MiB allocated
Counts
277 → 6 194
Calls

1590 calls:

TimeVariablePointExpression
117.0ms
x
@-inf
(log x)
115.0ms
x
@0
(log x)
92.0ms
x
@-inf
(log (+ 1 (- x 1)))
72.0ms
b
@0
(neg (neg (log b)))
66.0ms
c
@-inf
(pow (+ (* b b) (* -4 (* a c))) 1/4)

explain1.9s (2.6%)

Memory
140.3MiB live, 2 921.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2560
+.f64#fcancellation1260
-.f64#fcancellation1230
sqrt.f64#fuflow-rescue830
/.f64#fn/u260
/.f64#fu/n250
-.f64#fnan-rescue200
*.f64(*.f64 (/.f64 x y) z)n*o130
*.f64(*.f64 (/.f64 x y) z)n*u20
/.f64(/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))))n/o10
↳(-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))overflow95
↳(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))overflow1
↳(*.f64 (*.f64 #s(literal 4 binary64) a) c)overflow21
↳(*.f64 b b)overflow80
Confusion
Predicted +Predicted -
+30715
-2201762
Precision
0.5825426944971537
Recall
0.953416149068323
Confusion?
Predicted +Predicted MaybePredicted -
+307015
-22001762
Precision?
0.5825426944971537
Recall?
0.953416149068323
Freqs
test
numberfreq
01777
1389
2128
310
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
405.0ms578×2valid
300.0ms3 696×0valid
78.0ms286×1valid
23.0ms48×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 572.0ms
ival-mult: 300.0ms (52.4% of total)
ival-div: 70.0ms (12.2% of total)
ival-sub: 45.0ms (7.9% of total)
ival-neg: 40.0ms (7% of total)
ival-sqrt: 33.0ms (5.8% of total)
adjust: 27.0ms (4.7% of total)
ival-add: 21.0ms (3.7% of total)
ival-if: 9.0ms (1.6% of total)
ival-fabs: 6.0ms (1% of total)
ival-log: 6.0ms (1% of total)
ival-exp: 4.0ms (0.7% of total)
exact: 4.0ms (0.7% 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)

regimes1.3s (1.8%)

Memory
64.1MiB live, 1 715.9MiB allocated
Counts
901 → 121
Calls

26 calls:

219.0ms
b
142.0ms
y
140.0ms
a
139.0ms
c
110.0ms
(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
Compiler

Compiled 1 476 to 921 computations (37.6% saved)

bsearch1.2s (1.7%)

Memory
-23.7MiB live, 939.4MiB allocated
Algorithm
33×binary-search
24×left-value
Stop Event
28×narrow-enough
5×predicate-same
Samples
564.0ms3 680×0valid
158.0ms387×0invalid
13.0ms64×2valid
Compiler

Compiled 9 673 to 6 515 computations (32.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 355.0ms
ival-div: 168.0ms (47.3% of total)
ival-mult: 79.0ms (22.3% of total)
ival-sub: 29.0ms (8.2% of total)
ival-sqrt: 17.0ms (4.8% of total)
ival-add: 17.0ms (4.8% of total)
ival-fabs: 10.0ms (2.8% of total)
ival-neg: 10.0ms (2.8% of total)
ival-if: 9.0ms (2.5% of total)
ival->=: 7.0ms (2% of total)
exact: 4.0ms (1.1% of total)
ival-true: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.6% of total)
adjust: 1.0ms (0.3% of total)

analyze647.0ms (0.9%)

Memory
-59.3MiB live, 809.6MiB 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...