Herbie run

Date:Thursday, June 27th, 2024
Commit:1ed5d077 on no-const-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024179
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.9min)

sample2.2min (37.7%)

Memory
286.5MiB live, 145 345.5MiB allocated
Samples
35.9s54 728×2valid
27.5s143 849×0invalid
26.5s116 589×1valid
14.0s3 691×5exit
5.1s57 196×0valid
3.1s2 655×3valid
361.0ms3 865×0exit
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-pow: 15.3s (16.1% of total)
ival-exp: 12.0s (12.6% of total)
ival-tan: 11.0s (11.6% of total)
ival-mult: 8.4s (8.8% of total)
ival-sub: 6.4s (6.8% of total)
ival-log: 5.5s (5.8% of total)
...in/eval/compile.rkt:77:19: 5.1s (5.3% of total)
ival-div: 4.2s (4.5% of total)
ival-cos: 4.2s (4.5% of total)
ival-sin: 4.2s (4.4% of total)
ival-add: 4.2s (4.4% of total)
adjust: 3.8s (4% of total)
ival-fabs: 2.7s (2.8% of total)
ival-<=: 2.2s (2.3% of total)
ival-sqrt: 1.1s (1.2% of total)
ival-<: 947.0ms (1% of total)
ival->: 660.0ms (0.7% of total)
ival-and: 638.0ms (0.7% of total)
ival-neg: 614.0ms (0.6% of total)
ival-fmin: 454.0ms (0.5% of total)
ival-cbrt: 398.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 363.0ms (0.4% of total)
ival-atan: 360.0ms (0.4% of total)
ival-assert: 174.0ms (0.2% of total)
ival-true: 64.0ms (0.1% of total)
Bogosity

simplify53.4s (15.1%)

Memory
-65.5MiB live, 54 041.3MiB allocated
Algorithm
238×egg-herbie
Rules
80 432×fma-define
66 237×fmm-def
52 703×distribute-lft-in
49 050×distribute-rgt-in
40 624×times-frac
Stop Event
167×node limit
69×saturated
2×unsound
Counts
59 930 → 62 917

soundness32.0s (9.1%)

Memory
-12.0MiB live, 29 195.4MiB allocated
Rules
33 282×fma-define
31 159×log1p-expm1-u
27 289×expm1-log1p-u
24 639×fmm-def
18 330×distribute-lft-in
Stop Event
114×node limit
21×fuel
8×saturated
7×done
1×unsound
Compiler

Compiled 24 919 to 7 133 computations (71.4% saved)

rewrite25.8s (7.3%)

Memory
86.9MiB live, 23 474.5MiB allocated
Algorithm
105×batch-egg-rewrite
Rules
59 911×log1p-expm1-u
54 737×expm1-log1p-u
25 893×pow1
24 230×add-exp-log
23 505×add-log-exp
Stop Event
105×node limit
Counts
1 409 → 38 839

localize23.3s (6.6%)

Memory
258.0MiB live, 27 554.4MiB allocated
Samples
6.0s7 982×1valid
4.6s4 049×2valid
3.2s12 466×0valid
968.0ms1 671×0invalid
900.0ms364×5exit
497.0ms292×3valid
40.0ms56×0exit
Compiler

Compiled 32 396 to 3 265 computations (89.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7s
ival-mult: 2.2s (17.5% of total)
ival-pow: 2.0s (15.5% of total)
ival-div: 1.6s (12.9% of total)
ival-add: 1.1s (8.8% of total)
...in/eval/compile.rkt:77:19: 768.0ms (6% of total)
adjust: 761.0ms (6% of total)
ival-sub: 681.0ms (5.4% of total)
ival-log: 676.0ms (5.3% of total)
ival-exp: 529.0ms (4.2% of total)
ival-tan: 368.0ms (2.9% of total)
ival-sqrt: 348.0ms (2.7% of total)
ival-log1p: 284.0ms (2.2% of total)
ival-cos: 270.0ms (2.1% of total)
ival-cbrt: 254.0ms (2% of total)
ival-pow2: 229.0ms (1.8% of total)
ival-sin: 207.0ms (1.6% of total)
ival-neg: 126.0ms (1% of total)
ival-hypot: 82.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 49.0ms (0.4% of total)
ival-cosh: 41.0ms (0.3% of total)
ival-expm1: 37.0ms (0.3% of total)
ival-true: 24.0ms (0.2% of total)
ival-atan2: 17.0ms (0.1% of total)
ival-atan: 14.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

prune21.7s (6.1%)

Memory
-718.2MiB live, 30 808.4MiB allocated
Counts
89 101 → 2 073
Compiler

Compiled 88 796 to 47 184 computations (46.9% saved)

series20.8s (5.9%)

Memory
640.3MiB live, 23 257.6MiB allocated
Counts
1 409 → 21 091
Calls

5892 calls:

TimeVariablePointExpression
1.0s
x
@-inf
(pow (pow (E) (log (- (exp (* a x)) 1))) 1/6)
638.0ms
x
@inf
(log (+ 1 (neg (cos x))))
427.0ms
x
@inf
(pow (- (exp (* a x)) 1) 1/6)
391.0ms
x
@0
(pow x 1/6)
385.0ms
x
@0
(log (* x n))

eval17.9s (5.1%)

Memory
249.4MiB live, 24 389.8MiB allocated
Compiler

Compiled 3 357 414 to 395 245 computations (88.2% saved)

explain6.9s (2%)

Memory
111.4MiB live, 7 978.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation415228
log.f64#fsensitivity7562
/.f64#fu/u4470
sqrt.f64#foflow-rescue3960
+.f64#fcancellation3430
/.f64#fu/n1010
pow.f64#fsensitivity881
sqrt.f64#fuflow-rescue280
/.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/u230
↳(*.f64 b eps)underflow133
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow141
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow133
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow226
↳(*.f64 a eps)underflow141
-.f64#fnan-rescue180
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow59
sin.f64(sin.f64 (+.f64 x eps))sensitivity31
tan.f64(tan.f64 (+.f64 x eps))sensitivity31
/.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))overflow3
↳(*.f64 #s(literal 2 binary64) x)overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow3
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
cos.f64(cos.f64 (+.f64 x eps))sensitivity22
*.f64#fn*u20
exp.f64(exp.f64 (*.f64 a x))sensitivity10
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/n10
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow3
↳(*.f64 #s(literal 2 binary64) x)overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow3
Confusion
Predicted +Predicted -
+521512
-1521789
Precision
0.9716787777156698
Recall
0.9977042280466807
Confusion?
Predicted +Predicted MaybePredicted -
+521584
-152221767
Precision?
0.9677598665925514
Recall?
0.9992347426822269
Freqs
test
numberfreq
01801
14580
2625
3109
453
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.9s3 304×2valid
1.4s7 286×1valid
312.0ms3 580×0valid
182.0ms166×3valid
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-tan: 625.0ms (20.2% of total)
ival-exp: 519.0ms (16.8% of total)
ival-log: 336.0ms (10.9% of total)
ival-div: 332.0ms (10.8% of total)
ival-sub: 195.0ms (6.3% of total)
ival-cos: 186.0ms (6% of total)
adjust: 175.0ms (5.7% of total)
ival-mult: 161.0ms (5.2% of total)
ival-sin: 154.0ms (5% of total)
ival-add: 127.0ms (4.1% of total)
ival-pow: 126.0ms (4.1% of total)
ival-sqrt: 65.0ms (2.1% of total)
ival-atan: 23.0ms (0.7% of total)
ival-neg: 20.0ms (0.6% of total)
ival-cbrt: 16.0ms (0.5% of total)
ival-true: 13.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 10.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

bsearch6.7s (1.9%)

Memory
56.2MiB live, 7 136.1MiB allocated
Algorithm
63×binary-search
4×left-value
Stop Event
52×narrow-enough
11×predicate-same
Samples
3.9s1 160×5exit
725.0ms4 752×0valid
646.0ms1 805×1valid
312.0ms691×2valid
157.0ms881×0exit
83.0ms942×0invalid
Compiler

Compiled 16 084 to 11 199 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-pow: 4.1s (77.1% of total)
ival-neg: 400.0ms (7.5% of total)
ival-div: 273.0ms (5.1% of total)
ival-mult: 138.0ms (2.6% of total)
adjust: 124.0ms (2.3% of total)
ival-sub: 122.0ms (2.3% of total)
ival-add: 86.0ms (1.6% of total)
ival-sqrt: 56.0ms (1% of total)
ival-true: 8.0ms (0.1% of total)
...in/eval/compile.rkt:76:19: 7.0ms (0.1% of total)
ival-assert: 4.0ms (0.1% of total)
ival-cos: 4.0ms (0.1% of total)
ival-cbrt: 0.0ms (0% of total)

preprocess5.4s (1.5%)

Memory
-113.6MiB live, 5 411.5MiB 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 852 to 4 188 computations (57.5% saved)

regimes3.5s (1%)

Memory
73.6MiB live, 4 335.7MiB allocated
Counts
3 417 → 214
Calls

43 calls:

942.0ms
x
274.0ms
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64)))
251.0ms
b
246.0ms
c
169.0ms
a
Compiler

Compiled 1 316 to 871 computations (33.8% saved)

analyze2.5s (0.7%)

Memory
-215.3MiB live, 3 541.5MiB 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.2MiB allocated

Profiling

Loading profile data...