Herbie run

Date:Wednesday, July 3rd, 2024
Commit:276d3a06 on main
Hostname:nightly with Racket 8.11.1
Seed:2024185
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 (41.2%)

Memory
482.2MiB live, 135 567.0MiB allocated
Samples
32.2s43 816×2valid
28.0s147 014×0invalid
21.5s94 844×1valid
10.1s6 030×5exit
9.3s89 339×0valid
2.6s3 168×3valid
319.0ms4 233×0exit
142.0ms1 070×1exit
108.0ms64×4exit
7.0ms5×2exit
2.0ms4×3exit
1.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-tan: 15.8s (18.6% of total)
ival-pow: 9.9s (11.7% of total)
ival-mult: 6.7s (7.8% of total)
...in/eval/compile.rkt:111:19: 5.5s (6.5% of total)
ival-div: 5.0s (5.8% of total)
ival-add: 4.4s (5.1% of total)
adjust: 4.4s (5.1% of total)
ival-cos: 4.3s (5% of total)
ival-log: 4.2s (5% of total)
ival-sin: 3.8s (4.5% of total)
ival-sub: 3.6s (4.2% of total)
ival-<=: 2.8s (3.3% of total)
ival-expm1: 2.2s (2.6% of total)
ival-fabs: 2.2s (2.6% of total)
ival-exp: 2.1s (2.4% of total)
ival-<: 1.5s (1.7% of total)
ival-sqrt: 1.4s (1.6% of total)
ival-log1p: 1.3s (1.5% of total)
ival-neg: 856.0ms (1% of total)
ival-fmin: 802.0ms (0.9% of total)
ival-and: 618.0ms (0.7% of total)
ival->: 617.0ms (0.7% of total)
ival-atan: 433.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 311.0ms (0.4% of total)
ival-cbrt: 302.0ms (0.4% of total)
ival-assert: 170.0ms (0.2% of total)
ival-true: 68.0ms (0.1% of total)
Bogosity

simplify48.6s (15.8%)

Memory
-45.9MiB live, 42 358.7MiB allocated
Algorithm
241×egg-herbie
Rules
81 732×fma-define
73 128×fmm-def
46 032×distribute-lft-in
45 543×times-frac
40 345×distribute-rgt-in
Stop Event
161×node limit
77×saturated
3×unsound
Counts
54 969 → 57 843

rewrite26.5s (8.6%)

Memory
-159.7MiB live, 21 668.2MiB allocated
Algorithm
106×batch-egg-rewrite
Rules
68 671×log1p-expm1-u
51 106×expm1-log1p-u
22 405×add-exp-log
21 942×pow1
21 649×prod-diff
Stop Event
106×node limit
Counts
1 212 → 36 939

soundness26.3s (8.5%)

Memory
0.4MiB live, 22 765.1MiB allocated
Rules
33 381×log1p-expm1-u
24 478×fma-define
24 468×expm1-log1p-u
22 358×fmm-def
17 498×times-frac
Stop Event
101×node limit
23×fuel
8×saturated
5×done
1×unsound
Compiler

Compiled 19 468 to 6 063 computations (68.9% saved)

localize19.5s (6.3%)

Memory
432.3MiB live, 21 102.1MiB allocated
Samples
4.9s3 921×2valid
4.2s6 567×1valid
3.6s14 522×0valid
482.0ms1 638×0invalid
299.0ms233×3valid
162.0ms444×1exit
111.0ms50×5exit
12.0ms17×2exit
Compiler

Compiled 18 782 to 2 697 computations (85.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
ival-mult: 2.2s (20.6% of total)
ival-pow: 1.3s (12.5% of total)
ival-div: 1.3s (12.1% of total)
ival-add: 704.0ms (6.6% of total)
ival-log: 702.0ms (6.6% of total)
ival-sub: 575.0ms (5.4% of total)
adjust: 557.0ms (5.2% of total)
ival-tan: 553.0ms (5.2% of total)
ival-pow2: 488.0ms (4.6% of total)
...in/eval/compile.rkt:111:19: 444.0ms (4.2% of total)
ival-log1p: 355.0ms (3.3% of total)
ival-sin: 286.0ms (2.7% of total)
ival-cos: 247.0ms (2.3% of total)
ival-sqrt: 240.0ms (2.3% of total)
ival-exp: 214.0ms (2% of total)
ival-cbrt: 108.0ms (1% of total)
ival-neg: 84.0ms (0.8% of total)
ival-cosh: 75.0ms (0.7% of total)
ival-hypot: 54.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 42.0ms (0.4% of total)
ival-atan: 26.0ms (0.2% of total)
ival-expm1: 26.0ms (0.2% of total)
ival-true: 23.0ms (0.2% of total)
ival-atan2: 15.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

prune18.3s (6%)

Memory
-386.4MiB live, 24 572.6MiB allocated
Counts
78 142 → 1 945
Compiler

Compiled 64 258 to 36 469 computations (43.2% saved)

eval14.6s (4.7%)

Memory
773.4MiB live, 19 324.2MiB allocated
Compiler

Compiled 1 934 265 to 300 766 computations (84.5% saved)

explain7.2s (2.3%)

Memory
10.5MiB live, 7 346.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation415623
log.f64#fsensitivity7613
/.f64#fu/u4410
sqrt.f64#foflow-rescue3720
+.f64#fcancellation3540
/.f64#fu/n1310
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity620
/.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/u250
↳(*.f64 b eps)underflow148
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow149
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow148
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow237
↳(*.f64 a eps)underflow149
sqrt.f64#fuflow-rescue240
-.f64#fnan-rescue170
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o50
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow5
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow5
↳(exp.f64 x)overflow5
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow5
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow65
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
exp.f64(exp.f64 (*.f64 a x))sensitivity10
Confusion
Predicted +Predicted -
+523018
-1511769
Precision
0.9719383014309608
Recall
0.9965701219512195
Confusion?
Predicted +Predicted MaybePredicted -
+5230135
-151121757
Precision?
0.9698483166851646
Recall?
0.999047256097561
Freqs
test
numberfreq
01787
14607
2623
399
452
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
2.5s2 842×2valid
1.3s5 972×1valid
672.0ms5 340×0valid
88.0ms182×3valid
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-tan: 1.1s (32.7% of total)
ival-pow: 386.0ms (11.3% of total)
ival-log: 335.0ms (9.8% of total)
ival-exp: 258.0ms (7.5% of total)
ival-cos: 170.0ms (5% of total)
ival-sub: 167.0ms (4.9% of total)
ival-add: 158.0ms (4.6% of total)
ival-div: 156.0ms (4.6% of total)
adjust: 152.0ms (4.4% of total)
ival-sin: 145.0ms (4.2% of total)
ival-mult: 136.0ms (4% of total)
ival-sqrt: 64.0ms (1.9% of total)
ival-log1p: 60.0ms (1.8% of total)
ival-expm1: 26.0ms (0.8% of total)
ival-neg: 25.0ms (0.7% of total)
ival-cbrt: 20.0ms (0.6% of total)
ival-atan: 20.0ms (0.6% of total)
ival-true: 12.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 8.0ms (0.2% of total)
ival-assert: 6.0ms (0.2% of total)

series5.8s (1.9%)

Memory
-187.7MiB live, 7 280.6MiB allocated
Counts
1 212 → 18 030
Calls

4902 calls:

TimeVariablePointExpression
142.0ms
c
@-inf
(pow (* a (* c -4)) 1/4)
82.0ms
c
@0
(pow (- (pow b_2 2) (* c a)) 3/2)
74.0ms
x
@inf
(log (+ 1 (cos x)))
74.0ms
a
@-inf
(/ a (- b_2 (sqrt (+ (* b_2 b_2) (* (sqrt (* (neg a) c)) (sqrt (* (neg a) c)))))))
70.0ms
eps
@0
(* eps (+ 1 (- (* eps (/ (* (sin x) (- 1 (neg (/ (pow (sin x) 2) (- 1 (pow x 2)))))) (cos x))) (neg (/ (pow (sin x) 2) (pow (cos x) 2))))))

preprocess5.5s (1.8%)

Memory
53.8MiB live, 5 757.6MiB 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 654 to 4 166 computations (56.8% saved)

regimes4.2s (1.4%)

Memory
-120.8MiB live, 5 339.0MiB allocated
Counts
3 506 → 292
Calls

43 calls:

987.0ms
x
441.0ms
eps
325.0ms
n
300.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
216.0ms
b
Compiler

Compiled 1 610 to 1 073 computations (33.4% saved)

bsearch2.6s (0.8%)

Memory
27.8MiB live, 2 756.2MiB allocated
Algorithm
73×binary-search
24×left-value
Stop Event
69×narrow-enough
4×predicate-same
Samples
593.0ms1 754×0invalid
581.0ms6 364×0valid
287.0ms1 896×1valid
225.0ms684×2valid
6.0ms72×0exit
1.0ms10×1exit
Compiler

Compiled 13 253 to 9 810 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 881.0ms
ival-pow: 230.0ms (26.1% of total)
ival-mult: 205.0ms (23.3% of total)
ival-div: 120.0ms (13.6% of total)
ival-sub: 89.0ms (10.1% of total)
ival-sqrt: 54.0ms (6.1% of total)
ival-add: 51.0ms (5.8% of total)
adjust: 48.0ms (5.5% of total)
ival-neg: 40.0ms (4.5% of total)
ival-cos: 11.0ms (1.2% of total)
ival-cbrt: 8.0ms (0.9% of total)
ival-true: 8.0ms (0.9% of total)
...in/eval/compile.rkt:110:19: 5.0ms (0.6% of total)
ival-sin: 5.0ms (0.6% of total)
ival-assert: 4.0ms (0.5% of total)
ival-expm1: 1.0ms (0.1% of total)

analyze1.9s (0.6%)

Memory
28.8MiB live, 2 015.0MiB 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.6MiB live, 0.5MiB allocated

Profiling

Loading profile data...