Herbie run

Date:Thursday, June 20th, 2024
Commit:aefdd770 on main
Hostname:nightly with Racket 8.11.1
Seed:2024172
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)

simplify16.8s (21%)

Memory
263.7MiB live, 17 223.4MiB allocated
Algorithm
70×egg-herbie
Rules
30 047×fma-define
21 399×fmm-def
14 875×times-frac
11 161×distribute-lft-in
10 010×associate-*r*
Stop Event
45×node limit
25×saturated
Counts
16 983 → 15 823

soundness12.0s (15%)

Memory
-72.6MiB live, 9 685.4MiB allocated
Rules
12 025×fma-define
9 019×fmm-def
8 524×times-frac
6 503×associate-*r*
5 662×distribute-lft-in
Stop Event
33×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 8 926 to 2 443 computations (72.6% saved)

sample11.5s (14.4%)

Memory
266.9MiB live, 13 313.7MiB allocated
Samples
6.7s70 217×0valid
1.5s4 075×2valid
217.0ms1 999×0invalid
1.0ms12×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-mult: 1.8s (33.2% of total)
ival-div: 1.2s (23% of total)
ival-sqrt: 688.0ms (12.7% of total)
ival-sub: 508.0ms (9.4% of total)
ival-neg: 227.0ms (4.2% of total)
ival-add: 217.0ms (4% of total)
ival-fabs: 155.0ms (2.9% of total)
ival->=: 135.0ms (2.5% of total)
ival-log: 108.0ms (2% of total)
ival-if: 79.0ms (1.5% of total)
ival-exp: 74.0ms (1.4% of total)
adjust: 71.0ms (1.3% of total)
ival-true: 52.0ms (1% of total)
...in/eval/compile.rkt:76:19: 34.0ms (0.6% of total)
ival-assert: 27.0ms (0.5% of total)
Bogosity

rewrite8.8s (11%)

Memory
-49.8MiB live, 7 041.5MiB allocated
Algorithm
30×batch-egg-rewrite
Rules
15 822×log1p-expm1-u
13 303×expm1-log1p-u
8 580×pow1
8 010×add-exp-log
7 400×add-log-exp
Stop Event
30×node limit
Counts
328 → 9 910

prune8.1s (10.1%)

Memory
-128.1MiB live, 10 033.4MiB allocated
Counts
25 476 → 422
Compiler

Compiled 21 769 to 11 352 computations (47.9% saved)

localize6.9s (8.6%)

Memory
155.1MiB live, 6 871.5MiB allocated
Samples
1.5s5 816×0valid
1.4s564×2valid
497.0ms611×0invalid
281.0ms509×1valid
214.0ms65×3valid
150.0ms369×0exit
1.0ms2×5exit
Compiler

Compiled 6 421 to 818 computations (87.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-div: 604.0ms (22.7% of total)
ival-mult: 552.0ms (20.7% of total)
ival-add: 520.0ms (19.5% of total)
ival-sqrt: 203.0ms (7.6% of total)
ival-pow: 155.0ms (5.8% of total)
ival-sub: 122.0ms (4.6% of total)
adjust: 108.0ms (4.1% of total)
ival-neg: 74.0ms (2.8% of total)
ival-if: 66.0ms (2.5% of total)
ival-exp: 66.0ms (2.5% of total)
ival-log1p: 36.0ms (1.4% of total)
ival->=: 36.0ms (1.4% of total)
ival-pow2: 35.0ms (1.3% of total)
ival-cbrt: 26.0ms (1% of total)
...in/eval/compile.rkt:76:19: 10.0ms (0.4% of total)
ival-log: 10.0ms (0.4% of total)
ival-hypot: 8.0ms (0.3% of total)
ival-fabs: 8.0ms (0.3% of total)
ival-e: 6.0ms (0.2% of total)
ival-true: 6.0ms (0.2% of total)
...in/eval/compile.rkt:77:19: 4.0ms (0.2% of total)
ival-assert: 3.0ms (0.1% of total)
ival-expm1: 2.0ms (0.1% of total)

eval6.4s (8%)

Memory
108.9MiB live, 8 561.9MiB allocated
Compiler

Compiled 882 135 to 98 646 computations (88.8% saved)

series2.8s (3.5%)

Memory
-91.7MiB live, 2 802.3MiB allocated
Counts
328 → 7 073
Calls

1878 calls:

TimeVariablePointExpression
163.0ms
x
@inf
(log x)
134.0ms
c
@-inf
(pow (* c (* -4 a)) 1/4)
127.0ms
a
@0
(log (* (/ -1/2 a) (* b 2)))
111.0ms
a
@0
(+ (neg b) (sqrt (- (* b b) (* 4 (* a c)))))
77.0ms
a
@0
(sqrt (- (* b b) (pow (cbrt (* (* 4 c) a)) 3)))

explain1.9s (2.4%)

Memory
13.6MiB live, 2 227.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2660
+.f64#fcancellation1160
-.f64#fcancellation1120
sqrt.f64#fuflow-rescue730
/.f64#fu/n330
/.f64#fn/u270
*.f64#fn*o170
-.f64#fnan-rescue90
*.f64(*.f64 (/.f64 x y) z)n*u50
/.f64#fn/o20
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+29710
-2311766
Precision
0.5625
Recall
0.9674267100977199
Confusion?
Predicted +Predicted MaybePredicted -
+297010
-23101766
Precision?
0.5625
Recall?
0.9674267100977199
Freqs
test
numberfreq
01776
1400
2123
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Samples
335.0ms3 724×0valid
276.0ms674×2valid
266.0ms194×1valid
14.0ms16×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 659.0ms
ival-neg: 241.0ms (36.6% of total)
ival-mult: 195.0ms (29.6% of total)
ival-div: 60.0ms (9.1% of total)
ival-sub: 45.0ms (6.8% of total)
ival-sqrt: 40.0ms (6.1% of total)
adjust: 24.0ms (3.6% of total)
ival-add: 18.0ms (2.7% of total)
ival-if: 10.0ms (1.5% of total)
ival-log: 6.0ms (0.9% of total)
ival-fabs: 5.0ms (0.8% of total)
ival-exp: 4.0ms (0.6% of total)
ival-true: 4.0ms (0.6% of total)
ival->=: 3.0ms (0.5% of total)
ival-assert: 2.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 2.0ms (0.3% of total)

preprocess1.7s (2.2%)

Memory
32.2MiB live, 1 757.2MiB 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 158 to 1 310 computations (68.5% saved)

regimes1.4s (1.7%)

Memory
-42.4MiB live, 1 709.1MiB allocated
Counts
1 029 → 124
Calls

26 calls:

432.0ms
x
151.0ms
a
123.0ms
b
86.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
62.0ms
y
Compiler

Compiled 638 to 421 computations (34% saved)

bsearch1.1s (1.4%)

Memory
59.8MiB live, 1 412.2MiB allocated
Algorithm
54×binary-search
5×left-value
Stop Event
49×narrow-enough
5×predicate-same
Samples
628.0ms5 776×0valid
49.0ms80×2valid
36.0ms354×0invalid
Compiler

Compiled 13 721 to 9 349 computations (31.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 423.0ms
ival-mult: 156.0ms (36.9% of total)
ival-div: 69.0ms (16.3% of total)
ival-if: 60.0ms (14.2% of total)
ival-sub: 40.0ms (9.5% of total)
ival-add: 30.0ms (7.1% of total)
ival-sqrt: 22.0ms (5.2% of total)
ival-neg: 16.0ms (3.8% of total)
ival->=: 10.0ms (2.4% of total)
ival-fabs: 9.0ms (2.1% of total)
ival-true: 4.0ms (0.9% of total)
...in/eval/compile.rkt:76:19: 3.0ms (0.7% of total)
ival-assert: 2.0ms (0.5% of total)
adjust: 1.0ms (0.2% of total)

analyze601.0ms (0.8%)

Memory
-69.6MiB live, 648.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...