Herbie run

Date:Tuesday, June 25th, 2024
Commit:f9aa416d on zane-job-abstraction5
Hostname:nightly with Racket 8.11.1
Seed:2024177
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: 5.5min)

sample2.4min (43.1%)

Memory
413.7MiB live, 140 830.6MiB allocated
Samples
38.3s55 099×2valid
28.4s145 444×0invalid
25.0s116 080×1valid
15.8s3 677×5exit
7.9s57 399×0valid
3.7s2 590×3valid
704.0ms3 700×0exit
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pow: 16.7s (16.5% of total)
ival-exp: 13.1s (13% of total)
ival-tan: 12.6s (12.4% of total)
ival-mult: 8.4s (8.3% of total)
ival-sub: 7.1s (7% of total)
...in/eval/compile.rkt:77:19: 6.1s (6% of total)
ival-log: 5.1s (5.1% of total)
ival-div: 4.4s (4.3% of total)
ival-add: 4.3s (4.3% of total)
ival-cos: 4.3s (4.2% of total)
adjust: 4.0s (3.9% of total)
ival-sin: 3.8s (3.8% of total)
ival-fabs: 2.5s (2.4% of total)
ival-<=: 2.4s (2.3% of total)
ival-sqrt: 1.2s (1.2% of total)
ival-<: 1.1s (1.1% of total)
ival-neg: 931.0ms (0.9% of total)
ival->: 745.0ms (0.7% of total)
ival-and: 612.0ms (0.6% of total)
ival-fmin: 513.0ms (0.5% of total)
ival-atan: 392.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 335.0ms (0.3% of total)
ival-cbrt: 267.0ms (0.3% of total)
ival-assert: 165.0ms (0.2% of total)
ival-true: 59.0ms (0.1% of total)
Bogosity

simplify49.7s (15.1%)

Memory
-283.0MiB live, 38 324.1MiB allocated
Algorithm
239×egg-herbie
Rules
87 577×fma-define
76 608×fmm-def
47 714×distribute-lft-in
43 719×distribute-rgt-in
41 686×associate-*r*
Stop Event
158×node limit
81×saturated
Counts
53 514 → 56 752

soundness28.6s (8.7%)

Memory
178.5MiB live, 18 453.9MiB allocated
Rules
35 124×log1p-expm1-u
27 072×fma-define
25 980×fmm-def
25 100×expm1-log1p-u
18 935×associate-*r*
Stop Event
109×node limit
22×fuel
9×saturated
6×done
Compiler

Compiled 18 725 to 6 131 computations (67.3% saved)

rewrite26.3s (8%)

Memory
166.6MiB live, 20 453.8MiB allocated
Algorithm
105×batch-egg-rewrite
Rules
67 052×log1p-expm1-u
50 501×expm1-log1p-u
21 132×pow1
20 754×add-exp-log
20 596×add-log-exp
Stop Event
105×node limit
Counts
1 171 → 36 422

localize21.2s (6.4%)

Memory
350.2MiB live, 22 170.8MiB allocated
Samples
4.8s7 065×1valid
4.4s4 564×2valid
3.1s13 257×0valid
978.0ms274×5exit
799.0ms439×3valid
351.0ms1 409×0invalid
35.0ms128×0exit
Compiler

Compiled 16 070 to 2 591 computations (83.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-pow: 1.8s (16.1% of total)
ival-div: 1.4s (12.9% of total)
ival-mult: 1.4s (12.8% of total)
ival-add: 908.0ms (8.2% of total)
ival-log: 725.0ms (6.6% of total)
ival-tan: 632.0ms (5.7% of total)
ival-sub: 591.0ms (5.4% of total)
adjust: 569.0ms (5.2% of total)
...in/eval/compile.rkt:77:19: 524.0ms (4.8% of total)
ival-cos: 377.0ms (3.4% of total)
ival-sin: 297.0ms (2.7% of total)
ival-log1p: 291.0ms (2.6% of total)
ival-exp: 278.0ms (2.5% of total)
ival-sqrt: 245.0ms (2.2% of total)
ival-pow2: 237.0ms (2.2% of total)
ival-cbrt: 178.0ms (1.6% of total)
ival-neg: 164.0ms (1.5% of total)
ival-expm1: 123.0ms (1.1% of total)
ival-cosh: 106.0ms (1% of total)
...in/eval/compile.rkt:76:19: 41.0ms (0.4% of total)
ival-hypot: 40.0ms (0.4% of total)
ival-atan: 31.0ms (0.3% of total)
ival-true: 21.0ms (0.2% of total)
ival-atan2: 17.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 2.0ms (0% of total)

prune16.0s (4.9%)

Memory
-84.6MiB live, 23 350.3MiB allocated
Counts
75 938 → 2 035
Compiler

Compiled 63 188 to 35 930 computations (43.1% saved)

eval14.5s (4.4%)

Memory
530.4MiB live, 17 408.5MiB allocated
Compiler

Compiled 1 691 568 to 278 685 computations (83.5% saved)

explain6.9s (2.1%)

Memory
235.0MiB live, 8 267.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation408132
log.f64#fsensitivity7640
/.f64#fu/u4440
sqrt.f64#foflow-rescue3760
+.f64#fcancellation3231
/.f64#fu/n1100
pow.f64#fsensitivity932
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u240
↳(*.f64 b eps)underflow167
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow153
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow167
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow238
↳(*.f64 a eps)underflow153
sqrt.f64#fuflow-rescue180
-.f64#fnan-rescue180
exp.f64#fsensitivity31
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o20
↳(*.f64 x x)overflow70
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o20
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow2
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow2
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
Confusion
Predicted +Predicted -
+514325
-1571843
Precision
0.970377358490566
Recall
0.9951625386996904
Confusion?
Predicted +Predicted MaybePredicted -
+5143205
-157151828
Precision?
0.9677600749765698
Recall?
0.9990325077399381
Freqs
test
numberfreq
01868
14517
2647
391
445
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
2.1s3 440×2valid
1.5s7 206×1valid
492.0ms3 534×0valid
125.0ms156×3valid
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-tan: 657.0ms (20.4% of total)
ival-exp: 495.0ms (15.4% of total)
ival-log: 422.0ms (13.1% of total)
ival-sub: 313.0ms (9.7% of total)
ival-cos: 237.0ms (7.4% of total)
adjust: 225.0ms (7% of total)
ival-div: 190.0ms (5.9% of total)
ival-sin: 155.0ms (4.8% of total)
ival-mult: 126.0ms (3.9% of total)
ival-pow: 124.0ms (3.9% of total)
ival-add: 117.0ms (3.6% of total)
ival-sqrt: 71.0ms (2.2% of total)
ival-neg: 20.0ms (0.6% of total)
ival-atan: 20.0ms (0.6% of total)
ival-cbrt: 16.0ms (0.5% of total)
ival-true: 11.0ms (0.3% of total)
ival-assert: 10.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 9.0ms (0.3% of total)

bsearch6.4s (2%)

Memory
14.7MiB live, 5 810.5MiB allocated
Algorithm
96×binary-search
7×left-value
Stop Event
93×narrow-enough
3×predicate-same
Samples
2.6s946×5exit
827.0ms3 426×1valid
626.0ms7 231×0valid
523.0ms1 426×0invalid
161.0ms495×2valid
128.0ms956×0exit
Compiler

Compiled 16 761 to 12 592 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0s
ival-pow: 3.1s (77% of total)
ival-div: 180.0ms (4.5% of total)
ival-mult: 174.0ms (4.3% of total)
adjust: 155.0ms (3.9% of total)
ival-sub: 126.0ms (3.1% of total)
ival-add: 106.0ms (2.6% of total)
ival-sqrt: 56.0ms (1.4% of total)
ival-exp: 45.0ms (1.1% of total)
ival-neg: 31.0ms (0.8% of total)
ival-cbrt: 13.0ms (0.3% of total)
ival-cos: 11.0ms (0.3% of total)
ival-true: 10.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 9.0ms (0.2% of total)
ival-assert: 6.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)

preprocess5.4s (1.7%)

Memory
-410.0MiB live, 5 570.3MiB allocated
Algorithm
28×egg-herbie
Rules
8 308×fmm-def
6 663×fma-define
4 254×div-sub
2 652×sub-neg
2 620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9 064 to 4 004 computations (55.8% saved)

series5.4s (1.6%)

Memory
245.5MiB live, 6 581.1MiB allocated
Counts
1 171 → 17 092
Calls

4752 calls:

TimeVariablePointExpression
118.0ms
c
@inf
(* c (- (* -1/8 (/ (* a c) (pow b_2 3))) (* 1/2 (/ 1 b_2))))
109.0ms
a
@inf
(pow (- (exp (* a x)) 1) 1/6)
93.0ms
b_2
@0
(/ (/ 1 (+ (* c 1/2) (* (* 1/8 a) (pow (* c b_2) 2)))) b_2)
93.0ms
c
@-inf
(/ 1 (* 2 (/ a (- b (sqrt (+ (* b b) (* a (* c -4))))))))
67.0ms
N
@-inf
(log (+ 1 (log N)))

regimes4.0s (1.2%)

Memory
-130.7MiB live, 5 050.4MiB allocated
Counts
3 823 → 295
Calls

43 calls:

1.2s
x
428.0ms
eps
193.0ms
a
186.0ms
b
180.0ms
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
Compiler

Compiled 1 582 to 1 050 computations (33.6% saved)

analyze2.4s (0.7%)

Memory
-70.7MiB live, 3 207.7MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%38.9%0%2.7%0%3
46.1%26.9%31.4%38.9%0%2.8%0%4
54.8%31.5%26%38.9%0%3.6%0%5
57.1%32.5%24.4%38.9%0%4.2%0%6
61.5%33.9%21.3%38.9%0%6%0%7
64.6%35.3%19.3%38.9%0%6.5%0%8
67.1%36%17.6%38.9%0%7.5%0%9
69.1%36.5%16.3%38.9%0%8.3%0%10
71.7%37.5%14.8%38.9%0%8.8%0%11
72.8%37.8%14.1%38.9%0%9.3%0%12
Compiler

Compiled 483 to 350 computations (27.5% saved)

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...