Herbie run

Date:Tuesday, June 25th, 2024
Commit:c8a5274a on zane-job-abstraction-places
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: 3.5min)

sample53.8s (26%)

Memory
302.2MiB live, 51 811.6MiB allocated
Samples
18.7s48 622×1valid
13.9s14 451×5exit
10.2s109 208×0valid
2.3s7 290×2valid
482.0ms4 041×0invalid
162.0ms1 222×0exit
Precisions
Click to see histograms. Total time spent on operations: 37.9s
ival-<=: 7.5s (19.7% of total)
ival-exp: 6.0s (15.8% of total)
ival-pow: 4.2s (11.2% of total)
ival-cos: 3.9s (10.4% of total)
...in/eval/compile.rkt:77:19: 2.2s (5.9% of total)
adjust: 1.9s (5% of total)
ival-mult: 1.7s (4.4% of total)
ival-add: 1.6s (4.1% of total)
ival-sqrt: 1.3s (3.5% of total)
ival-log: 1.2s (3.1% of total)
ival-fmod: 992.0ms (2.6% of total)
ival-tan: 991.0ms (2.6% of total)
ival-div: 797.0ms (2.1% of total)
ival-pow2: 755.0ms (2% of total)
ival-sin: 716.0ms (1.9% of total)
ival-sub: 645.0ms (1.7% of total)
ival-sinh: 411.0ms (1.1% of total)
ival-acos: 324.0ms (0.9% of total)
ival-neg: 144.0ms (0.4% of total)
ival-and: 119.0ms (0.3% of total)
ival-true: 90.0ms (0.2% of total)
ival-==: 82.0ms (0.2% of total)
ival-assert: 71.0ms (0.2% of total)
ival-<: 61.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 59.0ms (0.2% of total)
ival-atan: 45.0ms (0.1% of total)
ival-or: 35.0ms (0.1% of total)
ival->: 32.0ms (0.1% of total)
ival->=: 31.0ms (0.1% of total)
Bogosity

simplify32.2s (15.6%)

Memory
70.5MiB live, 25 905.3MiB allocated
Algorithm
156×egg-herbie
Rules
50 485×fma-define
43 580×fmm-def
23 352×distribute-lft-in
20 534×associate-*r*
20 505×times-frac
Stop Event
83×node limit
66×saturated
7×unsound
Counts
33 997 → 30 262

soundness29.0s (14%)

Memory
34.8MiB live, 13 810.7MiB allocated
Rules
16 834×log1p-expm1-u
15 544×fma-define
13 805×expm1-log1p-u
13 600×fmm-def
12 326×associate-*r*
Stop Event
66×node limit
12×fuel
8×done
6×saturated
4×unsound
Compiler

Compiled 11 425 to 3 261 computations (71.5% saved)

rewrite23.0s (11.1%)

Memory
37.2MiB live, 12 139.3MiB allocated
Algorithm
67×batch-egg-rewrite
Rules
35 593×log1p-expm1-u
28 657×expm1-log1p-u
16 084×pow1
15 418×add-exp-log
15 111×add-log-exp
Stop Event
67×node limit
Counts
663 → 22 526

localize14.1s (6.8%)

Memory
490.4MiB live, 15 078.7MiB allocated
Samples
4.4s5 189×1valid
2.2s385×5exit
2.0s9 844×0valid
1.9s1 395×2valid
322.0ms451×0invalid
174.0ms240×1invalid
62.0ms160×0exit
Compiler

Compiled 9 092 to 1 412 computations (84.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-cos: 1.1s (13.5% of total)
ival-pow: 931.0ms (11.5% of total)
ival-mult: 878.0ms (10.9% of total)
ival-div: 822.0ms (10.2% of total)
ival-exp: 719.0ms (8.9% of total)
ival-log: 568.0ms (7% of total)
ival-fmod: 537.0ms (6.6% of total)
ival-add: 489.0ms (6% of total)
adjust: 338.0ms (4.2% of total)
ival-sub: 286.0ms (3.5% of total)
ival-sin: 218.0ms (2.7% of total)
ival-sqrt: 216.0ms (2.7% of total)
...in/eval/compile.rkt:77:19: 193.0ms (2.4% of total)
ival-acos: 169.0ms (2.1% of total)
ival-pow2: 168.0ms (2.1% of total)
ival-tan: 166.0ms (2.1% of total)
ival-asin: 56.0ms (0.7% of total)
ival-cbrt: 41.0ms (0.5% of total)
ival-hypot: 40.0ms (0.5% of total)
ival-sinh: 36.0ms (0.4% of total)
ival-neg: 34.0ms (0.4% of total)
ival-log1p: 34.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 15.0ms (0.2% of total)
ival-true: 14.0ms (0.2% of total)
ival-expm1: 10.0ms (0.1% of total)
ival-assert: 7.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

prune11.1s (5.4%)

Memory
-28.8MiB live, 16 906.0MiB allocated
Counts
48 414 → 1 948
Compiler

Compiled 71 382 to 38 369 computations (46.2% saved)

eval10.4s (5%)

Memory
197.2MiB live, 11 903.6MiB allocated
Compiler

Compiled 1 160 383 to 167 955 computations (85.5% saved)

analyze8.3s (4%)

Memory
-54.8MiB live, 5 008.7MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 218 computations (21.9% saved)

series6.9s (3.3%)

Memory
-434.7MiB live, 5 681.0MiB allocated
Counts
663 → 11 471
Calls

2850 calls:

TimeVariablePointExpression
1.4s
lo
@0
(/ (+ x (- (* hi (/ (- x hi) lo)) hi)) lo)
407.0ms
x
@inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
340.0ms
b
@inf
(log (cos (+ b a)))
155.0ms
x
@-inf
(/ (* 2 (log (sqrt (exp (fmod (exp x) (sqrt (cos x))))))) (exp x))
147.0ms
x
@0
(* 2 (log (sqrt (exp (acos (- 1 x))))))

regimes6.9s (3.3%)

Memory
55.2MiB live, 9 422.8MiB allocated
Counts
4 198 → 196
Calls

53 calls:

921.0ms
x
649.0ms
a
523.0ms
b
409.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
404.0ms
(tan.f64 a)
Compiler

Compiled 1 754 to 1 244 computations (29.1% saved)

preprocess5.6s (2.7%)

Memory
-368.5MiB live, 3 847.7MiB allocated
Algorithm
20×egg-herbie
Rules
5 179×fmm-def
5 054×fma-define
1 627×distribute-rgt-in
1 585×distribute-lft-in
1 517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 7 244 to 3 178 computations (56.1% saved)

bsearch3.2s (1.5%)

Memory
20.0MiB live, 2 927.5MiB allocated
Algorithm
60×binary-search
8×left-value
Stop Event
57×narrow-enough
2×predicate-same
1×predicate-failed
Samples
954.0ms640×2valid
629.0ms2 808×1valid
562.0ms4 344×0valid
409.0ms117×5exit
12.0ms101×0invalid
11.0ms133×0exit
Compiler

Compiled 11 888 to 8 565 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-exp: 1.1s (50% of total)
ival-cos: 262.0ms (11.9% of total)
ival-fmod: 255.0ms (11.6% of total)
ival-tan: 126.0ms (5.7% of total)
adjust: 118.0ms (5.3% of total)
ival-mult: 66.0ms (3% of total)
ival-pow: 60.0ms (2.7% of total)
ival-add: 53.0ms (2.4% of total)
ival-sin: 46.0ms (2.1% of total)
ival-sqrt: 29.0ms (1.3% of total)
ival-sub: 27.0ms (1.2% of total)
ival-div: 25.0ms (1.1% of total)
ival-neg: 19.0ms (0.9% of total)
ival-pow2: 6.0ms (0.3% of total)
ival-true: 6.0ms (0.3% of total)
ival-assert: 3.0ms (0.1% of total)
...in/eval/compile.rkt:76:19: 0.0ms (0% of total)

explain2.6s (1.3%)

Memory
35.8MiB live, 3 525.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5850
cos.f64#fsensitivity5042
-.f64#fcancellation3291
sqrt.f64#fuflow-rescue3130
/.f64#fn/o2560
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2541
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2500
tan.f64(tan.f64 (+.f64 y z))sensitivity1911
pow.f64(pow.f64 l (exp.f64 w))sensitivity11215
*.f64#fn*o550
*.f64#fu*o320
*.f64#fn*u220
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue200
↳(*.f64 a a)overflow137
↳(*.f64 b b)overflow20
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue30
↳(sinh.f64 x)overflow3
↳(/.f64 (sinh.f64 x) x)overflow3
exp.f64(exp.f64 (neg.f64 x))sensitivity10
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))o/o10
↳(-.f64 x lo)overflow1
↳(-.f64 hi lo)overflow256
Confusion
Predicted +Predicted -
+2141275
-7071997
Precision
0.7517556179775281
Recall
0.8861754966887417
Confusion?
Predicted +Predicted MaybePredicted -
+21412273
-707181979
Precision?
0.74721059972106
Recall?
0.8870033112582781
Freqs
test
numberfreq
02272
12769
278
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
542.0ms6 690×0valid
437.0ms2 974×1valid
223.0ms92×5exit
151.0ms484×2valid
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 943.0ms
ival-cos: 237.0ms (25.1% of total)
ival-div: 112.0ms (11.9% of total)
ival-mult: 69.0ms (7.3% of total)
ival-log: 65.0ms (6.9% of total)
ival-sqrt: 58.0ms (6.2% of total)
ival-sin: 58.0ms (6.2% of total)
ival-exp: 49.0ms (5.2% of total)
adjust: 46.0ms (4.9% of total)
ival-tan: 45.0ms (4.8% of total)
ival-sub: 41.0ms (4.3% of total)
ival-fmod: 36.0ms (3.8% of total)
ival-add: 35.0ms (3.7% of total)
ival-sinh: 22.0ms (2.3% of total)
ival-pow2: 20.0ms (2.1% of total)
ival-acos: 18.0ms (1.9% of total)
ival-pow: 10.0ms (1.1% of total)
ival-true: 8.0ms (0.8% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 2.0ms (0.2% of total)

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...