Herbie run

Date:Tuesday, July 9th, 2024
Commit:05213bce on main
Hostname:nightly with Racket 8.11.1
Seed:2024191
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.6min)

sample60.0s (27.9%)

Memory
442.2MiB live, 50 854.8MiB allocated
Samples
19.8s108 989×0valid
15.4s43 742×1valid
9.1s6 336×5exit
5.5s12 389×2valid
855.0ms9 033×1exit
552.0ms3 982×0invalid
216.0ms1 256×2exit
146.0ms1 373×0exit
3.0ms2×4exit
Precisions
Click to see histograms. Total time spent on operations: 44.3s
const: 9.4s (21.1% of total)
ival-add: 5.0s (11.4% of total)
ival-exp: 4.4s (10% of total)
ival-pow: 3.2s (7.1% of total)
ival-mult: 2.6s (5.9% of total)
ival-tan: 2.5s (5.7% of total)
ival-cos: 2.4s (5.3% of total)
adjust: 2.1s (4.8% of total)
ival-<=: 2.0s (4.6% of total)
ival-sqrt: 1.9s (4.2% of total)
ival-log: 1.7s (3.9% of total)
ival-sin: 1.3s (2.9% of total)
ival-sub: 998.0ms (2.3% of total)
ival-fmod: 916.0ms (2.1% of total)
ival-div: 718.0ms (1.6% of total)
ival-sinh: 659.0ms (1.5% of total)
ival-acos: 610.0ms (1.4% of total)
ival-neg: 404.0ms (0.9% of total)
ival-pow2: 377.0ms (0.9% of total)
ival-hypot: 294.0ms (0.7% of total)
ival-==: 133.0ms (0.3% of total)
ival-<: 130.0ms (0.3% of total)
ival-and: 124.0ms (0.3% of total)
ival-true: 95.0ms (0.2% of total)
exact: 87.0ms (0.2% of total)
ival-assert: 77.0ms (0.2% of total)
ival-atan: 46.0ms (0.1% of total)
ival-or: 37.0ms (0.1% of total)
ival->=: 36.0ms (0.1% of total)
ival->: 23.0ms (0.1% of total)
Bogosity

simplify45.7s (21.3%)

Memory
-210.9MiB live, 25 105.2MiB allocated
Algorithm
162×egg-herbie
Rules
48 976×fma-define
37 615×fmm-def
26 966×distribute-lft-in
22 378×distribute-rgt-in
20 925×sub-neg
Stop Event
90×node limit
65×saturated
7×unsound
Counts
32 915 → 29 257

soundness29.6s (13.8%)

Memory
106.1MiB live, 12 915.2MiB allocated
Rules
15 850×fma-define
14 350×log1p-expm1-u
13 634×fmm-def
11 403×expm1-log1p-u
11 177×associate-*r*
Stop Event
60×node limit
12×fuel
8×done
6×saturated
3×unsound
Compiler

Compiled 11 566 to 3 320 computations (71.3% saved)

rewrite17.5s (8.1%)

Memory
337.7MiB live, 13 359.4MiB allocated
Algorithm
70×batch-egg-rewrite
Rules
35 378×log1p-expm1-u
28 344×expm1-log1p-u
17 889×pow1
15 488×add-exp-log
15 021×add-log-exp
Stop Event
70×node limit
Counts
667 → 22 057

localize14.9s (6.9%)

Memory
216.9MiB live, 13 615.7MiB allocated
Samples
4.4s2 184×2valid
3.3s11 459×0valid
2.5s3 646×1valid
943.0ms48×5exit
267.0ms34×3valid
219.0ms715×1exit
106.0ms102×2exit
43.0ms219×0exit
21.0ms17×1invalid
3.0ms8×0invalid
Compiler

Compiled 9 085 to 1 447 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
ival-add: 1.8s (18.2% of total)
ival-mult: 1.2s (12.3% of total)
ival-sin: 1.2s (11.9% of total)
ival-pow: 1.2s (11.6% of total)
ival-log: 820.0ms (8.2% of total)
ival-tan: 631.0ms (6.3% of total)
ival-div: 437.0ms (4.4% of total)
ival-cos: 408.0ms (4.1% of total)
adjust: 359.0ms (3.6% of total)
ival-sqrt: 354.0ms (3.5% of total)
ival-exp: 305.0ms (3.1% of total)
const: 288.0ms (2.9% of total)
ival-fmod: 243.0ms (2.4% of total)
ival-sub: 211.0ms (2.1% of total)
ival-pow2: 140.0ms (1.4% of total)
ival-cbrt: 87.0ms (0.9% of total)
ival-acos: 61.0ms (0.6% of total)
ival-sinh: 46.0ms (0.5% of total)
ival-asin: 35.0ms (0.4% of total)
ival-hypot: 29.0ms (0.3% of total)
exact: 27.0ms (0.3% of total)
ival-log1p: 23.0ms (0.2% of total)
ival-neg: 21.0ms (0.2% of total)
ival-expm1: 20.0ms (0.2% of total)
ival-e: 19.0ms (0.2% of total)
ival-true: 15.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 5.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

prune12.1s (5.6%)

Memory
-187.8MiB live, 16 338.7MiB allocated
Counts
47 256 → 1 869
Compiler

Compiled 62 159 to 34 709 computations (44.2% saved)

eval9.7s (4.5%)

Memory
432.1MiB live, 11 497.5MiB allocated
Compiler

Compiled 1 009 783 to 162 853 computations (83.9% saved)

regimes7.0s (3.2%)

Memory
-27.0MiB live, 9 928.8MiB allocated
Counts
3 879 → 166
Calls

55 calls:

919.0ms
x
777.0ms
a
611.0ms
r
410.0ms
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
338.0ms
b
Compiler

Compiled 1 646 to 1 156 computations (29.8% saved)

preprocess4.7s (2.2%)

Memory
-20.9MiB live, 3 870.0MiB 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 6 466 to 3 116 computations (51.8% saved)

analyze4.6s (2.1%)

Memory
43.5MiB live, 4 856.3MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.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 216 computations (22.6% saved)

series4.1s (1.9%)

Memory
-151.0MiB live, 4 753.3MiB allocated
Counts
667 → 10 858
Calls

2673 calls:

TimeVariablePointExpression
389.0ms
b
@inf
(log (+ 1 (sin b)))
258.0ms
r
@inf
(* r (/ (sin b) (- (* (cos b) (cos a)) (* (- (exp (log (+ 1 (sin b)))) 1) (sin a)))))
123.0ms
y
@0
(log (+ x (- (tan (+ y z)) (tan a))))
118.0ms
a
@inf
(/ (* r (sin b)) (+ (cos a) (* b (- (* -1/2 (* b (cos a))) (sin a)))))
112.0ms
x
@0
(/ (fmod (+ x 1) (pow (pow (cos x) 1/6) 3)) (exp x))

explain3.5s (1.6%)

Memory
-45.5MiB live, 3 838.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue6140
cos.f64#fsensitivity5241
-.f64#fcancellation3422
sqrt.f64#fuflow-rescue3040
/.f64#fn/o2590
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2540
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2471
tan.f64(tan.f64 (+.f64 y z))sensitivity1920
pow.f64(pow.f64 l (exp.f64 w))sensitivity12314
*.f64#fn*o640
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))u*o360
↳(pow.f64 c #s(literal 2 binary64))underflow111
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow108
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow113
↳(pow.f64 s #s(literal 2 binary64))overflow117
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue190
↳(*.f64 a a)overflow104
↳(*.f64 b b)overflow19
*.f64#fn*u190
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue50
↳(sinh.f64 x)overflow5
↳(/.f64 (sinh.f64 x) x)overflow5
exp.f64(exp.f64 (neg.f64 x))sensitivity10
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation12
Confusion
Predicted +Predicted -
+2181275
-7361928
Precision
0.7476859787452863
Recall
0.8880293159609121
Confusion?
Predicted +Predicted MaybePredicted -
+21811274
-736171911
Precision?
0.7434412265758092
Recall?
0.8884364820846905
Freqs
test
numberfreq
02203
12830
287
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
659.0ms2 750×1valid
437.0ms6 648×0valid
225.0ms752×2valid
13.0ms90×1exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 947.0ms
ival-cos: 260.0ms (27.5% of total)
ival-tan: 93.0ms (9.8% of total)
ival-mult: 70.0ms (7.4% of total)
ival-log: 63.0ms (6.7% of total)
ival-sub: 58.0ms (6.1% of total)
ival-sqrt: 52.0ms (5.5% of total)
adjust: 51.0ms (5.4% of total)
ival-exp: 40.0ms (4.2% of total)
ival-sin: 39.0ms (4.1% of total)
ival-add: 38.0ms (4% of total)
ival-sinh: 37.0ms (3.9% of total)
ival-div: 30.0ms (3.2% of total)
ival-pow2: 29.0ms (3.1% of total)
ival-fmod: 29.0ms (3.1% of total)
ival-acos: 19.0ms (2% of total)
ival-pow: 8.0ms (0.8% of total)
ival-hypot: 8.0ms (0.8% 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)
exact: 3.0ms (0.3% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.7s (0.8%)

Memory
-77.0MiB live, 2 013.5MiB allocated
Algorithm
40×binary-search
6×left-value
Stop Event
39×narrow-enough
1×predicate-same
Samples
570.0ms2 026×1valid
490.0ms512×2valid
329.0ms3 078×0valid
Compiler

Compiled 8 510 to 6 214 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-tan: 330.0ms (31.2% of total)
ival-cos: 242.0ms (22.9% of total)
ival-exp: 147.0ms (13.9% of total)
ival-mult: 95.0ms (9% of total)
adjust: 50.0ms (4.7% of total)
ival-add: 45.0ms (4.3% of total)
ival-fmod: 37.0ms (3.5% of total)
ival-pow: 34.0ms (3.2% of total)
ival-sub: 18.0ms (1.7% of total)
ival-sin: 17.0ms (1.6% of total)
ival-sqrt: 13.0ms (1.2% of total)
ival-neg: 11.0ms (1% of total)
ival-div: 10.0ms (0.9% of total)
ival-true: 4.0ms (0.4% of total)
ival-acos: 3.0ms (0.3% of total)
ival-assert: 2.0ms (0.2% of total)
ival-pow2: 1.0ms (0.1% of total)
exact: 0.0ms (0% of total)

end1.0ms (0%)

Memory
-38.6MiB live, 0.3MiB allocated

Profiling

Loading profile data...