Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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.1min)

sample2.1min (40.3%)

Memory
20.6MiB live, 133 301.4MiB allocated
Samples
27.3s46 845×2valid
26.4s146 442×0invalid
20.6s91 689×1valid
16.9s3 597×5exit
8.3s90 008×0valid
3.4s2 626×3valid
298.0ms3 863×0exit
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-pow: 17.5s (20.5% of total)
ival-tan: 12.6s (14.8% of total)
ival-mult: 6.8s (8% of total)
...in/eval/compile.rkt:105:19: 6.1s (7.1% of total)
ival-sub: 4.2s (4.9% of total)
ival-cos: 4.2s (4.9% of total)
adjust: 4.1s (4.8% of total)
ival-div: 4.0s (4.7% of total)
ival-add: 3.7s (4.3% of total)
ival-sin: 3.4s (4% of total)
ival-log: 3.0s (3.5% of total)
ival-<=: 2.6s (3% of total)
ival-fabs: 2.3s (2.7% of total)
ival-exp: 2.1s (2.5% of total)
ival-expm1: 1.7s (2% of total)
ival-<: 1.3s (1.6% of total)
ival-sqrt: 1.1s (1.3% of total)
ival-neg: 925.0ms (1.1% of total)
ival-log1p: 896.0ms (1% of total)
ival-and: 616.0ms (0.7% of total)
ival->: 583.0ms (0.7% of total)
ival-atan: 486.0ms (0.6% of total)
ival-fmin: 438.0ms (0.5% of total)
ival-cbrt: 379.0ms (0.4% of total)
...in/eval/compile.rkt:104:19: 291.0ms (0.3% of total)
ival-assert: 171.0ms (0.2% of total)
ival-true: 63.0ms (0.1% of total)
Bogosity

simplify46.3s (15%)

Memory
24.4MiB live, 41 947.6MiB allocated
Algorithm
235×egg-herbie
Rules
79 387×fma-define
69 275×fmm-def
42 264×distribute-lft-in
41 074×times-frac
40 166×associate-*r*
Stop Event
151×node limit
83×saturated
1×unsound
Counts
53 916 → 56 009

soundness31.5s (10.2%)

Memory
-126.7MiB live, 24 791.5MiB allocated
Rules
33 435×log1p-expm1-u
31 232×fma-define
28 167×fmm-def
27 967×expm1-log1p-u
20 829×associate-*r*
Stop Event
116×node limit
22×fuel
8×saturated
6×done
Compiler

Compiled 22 688 to 6 929 computations (69.5% saved)

rewrite25.7s (8.4%)

Memory
-552.4MiB live, 20 544.2MiB allocated
Algorithm
103×batch-egg-rewrite
Rules
64 705×log1p-expm1-u
51 607×expm1-log1p-u
21 185×pow1
20 487×prod-diff
20 141×add-exp-log
Stop Event
103×node limit
Counts
1 168 → 36 314

localize17.6s (5.7%)

Memory
593.3MiB live, 20 935.1MiB allocated
Samples
4.2s7 016×1valid
3.5s3 455×2valid
3.1s13 653×0valid
656.0ms212×5exit
648.0ms1 914×0invalid
332.0ms306×3valid
33.0ms16×2invalid
27.0ms26×1invalid
14.0ms26×0exit
Compiler

Compiled 16 941 to 2 565 computations (84.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 1.4s (15.2% of total)
ival-div: 1.3s (14.5% of total)
ival-add: 795.0ms (8.7% of total)
ival-exp: 714.0ms (7.8% of total)
adjust: 703.0ms (7.7% of total)
ival-pow: 684.0ms (7.5% of total)
ival-sub: 559.0ms (6.1% of total)
...in/eval/compile.rkt:105:19: 449.0ms (4.9% of total)
ival-cos: 449.0ms (4.9% of total)
ival-pow2: 408.0ms (4.5% of total)
ival-tan: 339.0ms (3.7% of total)
ival-log: 314.0ms (3.4% of total)
ival-sin: 215.0ms (2.4% of total)
ival-sqrt: 200.0ms (2.2% of total)
ival-log1p: 186.0ms (2% of total)
ival-cbrt: 100.0ms (1.1% of total)
ival-neg: 91.0ms (1% of total)
ival-hypot: 59.0ms (0.6% of total)
...in/eval/compile.rkt:104:19: 37.0ms (0.4% of total)
ival-expm1: 31.0ms (0.3% of total)
ival-atan: 27.0ms (0.3% of total)
ival-true: 22.0ms (0.2% of total)
ival-atan2: 20.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)

prune16.4s (5.3%)

Memory
-203.0MiB live, 24 789.2MiB allocated
Counts
77 598 → 1 911
Compiler

Compiled 63 798 to 35 412 computations (44.5% saved)

eval15.6s (5.1%)

Memory
717.8MiB live, 20 063.1MiB allocated
Compiler

Compiled 2 050 519 to 299 552 computations (85.4% saved)

series6.7s (2.2%)

Memory
109.3MiB live, 6 699.0MiB allocated
Counts
1 168 → 17 602
Calls

4776 calls:

TimeVariablePointExpression
465.0ms
N
@inf
(log (+ 1 (exp (neg (log N)))))
176.0ms
a
@-inf
(log (- (exp (* a x)) 1))
169.0ms
b_2
@0
(/ (* -1/2 (* c a)) b_2)
150.0ms
n
@0
(/ (log (/ x (exp (+ (log (+ 1 x)) (/ (+ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) (* 1/6 (/ (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) n))) n))))) (neg n))
144.0ms
a
@0
(log (- (exp (* a x)) 1))

explain6.5s (2.1%)

Memory
173.6MiB live, 7 208.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation413545
log.f64#fsensitivity7640
/.f64#fu/u4240
sqrt.f64#foflow-rescue3880
+.f64#fcancellation3150
/.f64#fu/n1200
pow.f64#fsensitivity822
sqrt.f64#fuflow-rescue300
/.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/u210
↳(*.f64 b eps)underflow153
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow139
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow153
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow231
↳(*.f64 a eps)underflow139
-.f64#fnan-rescue150
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o40
↳(*.f64 x x)overflow58
cos.f64(cos.f64 (+.f64 x eps))sensitivity30
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o30
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow3
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow3
↳(exp.f64 x)overflow3
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow3
sin.f64(sin.f64 (+.f64 x eps))sensitivity21
tan.f64(tan.f64 (+.f64 x eps))sensitivity21
Confusion
Predicted +Predicted -
+513723
-1411867
Precision
0.9732853353543008
Recall
0.9955426356589148
Confusion?
Predicted +Predicted MaybePredicted -
+5137212
-141261841
Precision?
0.9686384976525821
Recall?
0.9996124031007751
Freqs
test
numberfreq
01890
14449
2673
3111
445
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.9s2 994×2valid
1.0s5 696×1valid
643.0ms5 494×0valid
111.0ms152×3valid
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-tan: 579.0ms (19.6% of total)
ival-sin: 456.0ms (15.4% of total)
ival-exp: 361.0ms (12.2% of total)
ival-cos: 231.0ms (7.8% of total)
ival-div: 198.0ms (6.7% of total)
ival-sub: 192.0ms (6.5% of total)
ival-log: 179.0ms (6.1% of total)
adjust: 148.0ms (5% of total)
ival-pow: 127.0ms (4.3% of total)
ival-mult: 122.0ms (4.1% of total)
ival-add: 120.0ms (4.1% of total)
ival-sqrt: 67.0ms (2.3% of total)
ival-log1p: 42.0ms (1.4% of total)
ival-atan: 34.0ms (1.2% of total)
ival-neg: 28.0ms (0.9% of total)
ival-expm1: 28.0ms (0.9% of total)
ival-cbrt: 18.0ms (0.6% of total)
ival-true: 12.0ms (0.4% of total)
...in/eval/compile.rkt:104:19: 8.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

bsearch6.5s (2.1%)

Memory
-21.3MiB live, 6 419.5MiB allocated
Algorithm
87×binary-search
23×left-value
Stop Event
80×narrow-enough
7×predicate-same
Samples
3.2s901×5exit
841.0ms7 486×0valid
452.0ms2 279×1valid
296.0ms715×2valid
198.0ms1 927×0invalid
77.0ms724×0exit
Compiler

Compiled 16 090 to 11 687 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
ival-pow: 3.3s (73.8% of total)
ival-mult: 329.0ms (7.3% of total)
ival-sqrt: 204.0ms (4.5% of total)
ival-div: 161.0ms (3.6% of total)
ival-sub: 126.0ms (2.8% of total)
adjust: 118.0ms (2.6% of total)
ival-add: 104.0ms (2.3% of total)
ival-neg: 82.0ms (1.8% of total)
ival-cos: 24.0ms (0.5% of total)
ival-cbrt: 12.0ms (0.3% of total)
ival-true: 10.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 8.0ms (0.2% of total)
ival-assert: 6.0ms (0.1% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-exp: 2.0ms (0% of total)

preprocess5.6s (1.8%)

Memory
-106.0MiB live, 5 547.2MiB 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 286 to 3 930 computations (57.7% saved)

regimes3.6s (1.2%)

Memory
11.5MiB live, 4 686.9MiB allocated
Counts
3 729 → 309
Calls

43 calls:

972.0ms
x
221.0ms
b
209.0ms
eps
204.0ms
c
203.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1 511 to 1 005 computations (33.5% saved)

analyze1.8s (0.6%)

Memory
96.2MiB live, 2 184.2MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

end0.0ms (0%)

Memory
0.3MiB live, 0.2MiB allocated

Profiling

Loading profile data...