Herbie run

Date:Tuesday, July 9th, 2024
Commit:05213bce on main
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)

simplify15.4s (21.2%)

Memory
-206.7MiB live, 13 432.7MiB 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.8s (16.3%)

Memory
136.4MiB live, 13 023.4MiB allocated
Samples
7.4s70 183×0valid
1.0s4 116×2valid
313.0ms1 891×0invalid
0.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.5s (25.3% of total)
ival-div: 1.4s (24.1% of total)
ival-sub: 982.0ms (16.7% of total)
ival-sqrt: 485.0ms (8.2% of total)
ival->=: 392.0ms (6.6% of total)
ival-neg: 205.0ms (3.5% of total)
ival-add: 196.0ms (3.3% of total)
ival-if: 184.0ms (3.1% of total)
ival-exp: 139.0ms (2.4% of total)
ival-log: 108.0ms (1.8% of total)
ival-fabs: 89.0ms (1.5% of total)
adjust: 68.0ms (1.2% of total)
exact: 59.0ms (1% of total)
ival-true: 52.0ms (0.9% of total)
ival-assert: 29.0ms (0.5% of total)
Bogosity

soundness10.0s (13.9%)

Memory
-12.2MiB live, 7 869.0MiB allocated
Rules
11 170×fma-define
8 142×fmm-def
6 884×times-frac
6 756×log1p-expm1-u
5 530×*-commutative
Stop Event
31×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 7 389 to 2 077 computations (71.9% saved)

eval7.3s (10.1%)

Memory
262.8MiB live, 7 040.5MiB allocated
Compiler

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

rewrite7.3s (10.1%)

Memory
7.1MiB live, 6 006.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

prune6.8s (9.5%)

Memory
23.4MiB live, 8 547.6MiB allocated
Counts
23 915 → 376
Compiler

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

localize5.1s (7.1%)

Memory
197.7MiB live, 6 270.0MiB allocated
Samples
1.3s6 252×0valid
1.2s500×2valid
560.0ms668×1valid
199.0ms445×0invalid
102.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: 484.0ms (21.3% of total)
ival-div: 478.0ms (21% of total)
ival-add: 295.0ms (13% of total)
ival-sub: 194.0ms (8.5% of total)
adjust: 192.0ms (8.4% of total)
ival-if: 163.0ms (7.2% of total)
ival-pow: 160.0ms (7% of total)
ival-sqrt: 72.0ms (3.2% of total)
ival-neg: 55.0ms (2.4% of total)
ival->=: 37.0ms (1.6% of total)
ival-exp: 29.0ms (1.3% of total)
ival-cbrt: 20.0ms (0.9% of total)
ival-pow2: 18.0ms (0.8% of total)
ival-log: 17.0ms (0.7% of total)
exact: 14.0ms (0.6% of total)
ival-fabs: 13.0ms (0.6% of total)
ival-log1p: 11.0ms (0.5% of total)
const: 7.0ms (0.3% 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)
ival-assert: 3.0ms (0.1% of total)

series2.2s (3%)

Memory
22.3MiB live, 2 394.0MiB allocated
Counts
277 → 6 194
Calls

1590 calls:

TimeVariablePointExpression
230.0ms
b
@inf
(- b (sqrt (+ (* c (* a -4)) (* b b))))
121.0ms
a
@inf
(if (>= b 0) (cbrt (pow (* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (pow b 2)))))) 3)) (/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2)))
79.0ms
n
@0
(* 2 (/ f n))
54.0ms
y
@0
(* (/ -1 y) (* x (- (+ -1 z) (/ 4 x))))
51.0ms
n
@-inf
(/ f (- n f))

preprocess1.9s (2.6%)

Memory
70.6MiB live, 1 976.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 596 to 1 174 computations (67.4% saved)

explain1.8s (2.5%)

Memory
41.5MiB live, 2 912.4MiB 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
247.0ms3 696×0valid
236.0ms578×2valid
198.0ms286×1valid
22.0ms48×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 517.0ms
ival-mult: 264.0ms (51% of total)
ival-div: 73.0ms (14.1% of total)
ival-sub: 44.0ms (8.5% of total)
ival-sqrt: 34.0ms (6.6% of total)
adjust: 27.0ms (5.2% of total)
ival-neg: 18.0ms (3.5% of total)
ival-add: 17.0ms (3.3% of total)
ival-if: 9.0ms (1.7% of total)
ival-exp: 6.0ms (1.2% of total)
ival-log: 6.0ms (1.2% of total)
ival-fabs: 5.0ms (1% of total)
exact: 4.0ms (0.8% 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)

bsearch1.3s (1.8%)

Memory
31.3MiB live, 1 373.6MiB allocated
Algorithm
62×binary-search
1×left-value
Stop Event
56×narrow-enough
6×predicate-same
Samples
795.0ms7 616×0valid
42.0ms387×0invalid
12.0ms64×2valid
Compiler

Compiled 14 495 to 10 006 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 483.0ms
ival-add: 154.0ms (31.9% of total)
ival-mult: 101.0ms (20.9% of total)
ival-div: 98.0ms (20.3% of total)
ival-sub: 46.0ms (9.5% of total)
ival-fabs: 18.0ms (3.7% of total)
ival-neg: 18.0ms (3.7% of total)
ival-sqrt: 17.0ms (3.5% of total)
ival-if: 10.0ms (2.1% of total)
ival->=: 7.0ms (1.4% of total)
exact: 6.0ms (1.2% of total)
ival-true: 5.0ms (1% of total)
ival-assert: 3.0ms (0.6% of total)
adjust: 1.0ms (0.2% of total)

regimes910.0ms (1.3%)

Memory
26.4MiB live, 1 382.5MiB allocated
Counts
891 → 127
Calls

26 calls:

159.0ms
b
159.0ms
x
107.0ms
c
95.0ms
a
66.0ms
y
Compiler

Compiled 643 to 430 computations (33.1% saved)

analyze502.0ms (0.7%)

Memory
37.0MiB live, 845.7MiB 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...