Herbie run

Date:Thursday, June 20th, 2024
Commit:aefdd770 on main
Hostname:nightly with Racket 8.11.1
Seed:2024172
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: 4.3min)

sample1.1min (25.5%)

Memory
527.4MiB live, 47 239.1MiB allocated
Samples
26.2s48 455×1valid
14.7s109 254×0valid
13.3s14 709×5exit
2.4s7 411×2valid
391.0ms4 051×0invalid
116.0ms1 271×0exit
Precisions
Click to see histograms. Total time spent on operations: 49.7s
...in/eval/compile.rkt:77:19: 8.7s (17.6% of total)
ival-add: 7.5s (15% of total)
ival-tan: 6.6s (13.2% of total)
ival-exp: 4.9s (9.8% of total)
ival-cos: 4.0s (8% of total)
ival-pow: 3.9s (7.9% of total)
ival-sqrt: 2.0s (4.1% of total)
ival-<=: 2.0s (4.1% of total)
adjust: 1.7s (3.5% of total)
ival-mult: 1.5s (3.1% of total)
ival-log: 1.4s (2.8% of total)
ival-fmod: 999.0ms (2% of total)
ival-div: 934.0ms (1.9% of total)
ival-sub: 694.0ms (1.4% of total)
ival-sin: 659.0ms (1.3% of total)
ival-pow2: 420.0ms (0.8% of total)
ival-acos: 392.0ms (0.8% of total)
ival-sinh: 353.0ms (0.7% of total)
ival-neg: 295.0ms (0.6% of total)
ival-and: 118.0ms (0.2% of total)
ival-true: 97.0ms (0.2% of total)
ival-==: 79.0ms (0.2% of total)
ival->=: 75.0ms (0.2% of total)
ival-assert: 73.0ms (0.1% of total)
...in/eval/compile.rkt:76:19: 64.0ms (0.1% of total)
ival-atan: 64.0ms (0.1% of total)
ival-<: 62.0ms (0.1% of total)
ival-or: 36.0ms (0.1% of total)
ival->: 19.0ms (0% of total)
Bogosity

simplify39.8s (15.4%)

Memory
-217.2MiB live, 24 926.9MiB allocated
Algorithm
148×egg-herbie
Rules
46 161×fma-define
37 760×fmm-def
24 539×distribute-lft-in
24 232×times-frac
22 220×distribute-rgt-in
Stop Event
88×node limit
56×saturated
4×unsound
Counts
32 350 → 28 357

soundness38.7s (14.9%)

Memory
99.1MiB live, 14 747.9MiB allocated
Rules
17 310×fma-define
14 718×log1p-expm1-u
13 788×fmm-def
12 789×expm1-log1p-u
12 236×times-frac
Stop Event
63×node limit
11×fuel
9×done
6×saturated
2×unsound
Compiler

Compiled 11 535 to 3 332 computations (71.1% saved)

rewrite22.5s (8.7%)

Memory
75.1MiB live, 12 828.4MiB allocated
Algorithm
63×batch-egg-rewrite
Rules
29 356×log1p-expm1-u
25 951×expm1-log1p-u
15 459×add-exp-log
15 004×add-log-exp
14 880×pow1
Stop Event
63×node limit
Counts
628 → 21 425

localize20.6s (7.9%)

Memory
-110.8MiB live, 19 874.2MiB allocated
Samples
7.6s740×5exit
5.1s5 166×1valid
2.5s1 517×2valid
2.0s8 895×0valid
141.0ms217×0invalid
27.0ms105×0exit
Compiler

Compiled 9 382 to 1 450 computations (84.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
ival-pow: 3.4s (24.8% of total)
ival-cos: 1.2s (9% of total)
ival-mult: 1.1s (8.3% of total)
ival-log: 1.1s (8.1% of total)
ival-tan: 792.0ms (5.7% of total)
ival-add: 762.0ms (5.5% of total)
ival-exp: 758.0ms (5.5% of total)
ival-sub: 681.0ms (4.9% of total)
adjust: 661.0ms (4.8% of total)
ival-sin: 644.0ms (4.7% of total)
...in/eval/compile.rkt:77:19: 495.0ms (3.6% of total)
ival-fmod: 400.0ms (2.9% of total)
ival-pow2: 370.0ms (2.7% of total)
ival-div: 358.0ms (2.6% of total)
ival-sqrt: 239.0ms (1.7% of total)
ival-expm1: 163.0ms (1.2% of total)
ival-e: 93.0ms (0.7% of total)
ival-cbrt: 92.0ms (0.7% of total)
ival-acos: 72.0ms (0.5% of total)
ival-log1p: 71.0ms (0.5% of total)
ival-neg: 67.0ms (0.5% of total)
ival-asin: 57.0ms (0.4% of total)
ival-sinh: 26.0ms (0.2% of total)
ival-hypot: 24.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 19.0ms (0.1% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-true: 14.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-assert: 7.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)

eval16.4s (6.3%)

Memory
192.6MiB live, 12 355.5MiB allocated
Compiler

Compiled 1 155 464 to 173 678 computations (85% saved)

analyze15.6s (6%)

Memory
39.6MiB live, 4 516.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)

prune12.6s (4.9%)

Memory
-204.3MiB live, 18 102.4MiB allocated
Counts
50 743 → 1 899
Compiler

Compiled 69 424 to 37 218 computations (46.4% saved)

preprocess10.1s (3.9%)

Memory
66.5MiB live, 3 764.3MiB 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 620 to 3 438 computations (54.9% saved)

regimes8.2s (3.2%)

Memory
56.6MiB live, 12 379.0MiB allocated
Counts
4 745 → 174
Calls

53 calls:

1.1s
a
916.0ms
x
904.0ms
r
635.0ms
b
586.0ms
(tan.f64 (+.f64 y z))
Compiler

Compiled 1 970 to 1 392 computations (29.3% saved)

series3.7s (1.4%)

Memory
-99.9MiB live, 4 515.6MiB allocated
Counts
628 → 10 925
Calls

2655 calls:

TimeVariablePointExpression
310.0ms
a
@inf
(* r (/ (sin b) (log (+ 1 (fabs (- (exp (cos (+ b a))) 1))))))
237.0ms
b
@0
(pow (* r (sin b)) 3)
155.0ms
r
@inf
(* r (/ (sin b) (log (+ 1 (fabs (- (exp (cos (+ b a))) 1))))))
126.0ms
x
@-inf
(+ (* -1 (* (- x lo) (/ 1 lo))) (* hi (/ (+ 1 (/ (- hi x) lo)) lo)))
91.0ms
b
@inf
(* r (/ (sin b) (log (+ 1 (fabs (- (exp (cos (+ b a))) 1))))))

explain3.5s (1.3%)

Memory
139.8MiB live, 3 434.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5580
cos.f64#fsensitivity5031
-.f64#fcancellation3420
sqrt.f64#fuflow-rescue3230
/.f64#fn/o2560
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2560
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2452
tan.f64(tan.f64 (+.f64 y z))sensitivity1870
pow.f64(pow.f64 l (exp.f64 w))sensitivity9210
*.f64#fn*o510
*.f64#fu*o260
*.f64#fn*u220
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue190
↳(*.f64 a a)overflow103
↳(*.f64 b b)overflow19
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue40
↳(sinh.f64 x)overflow4
↳(/.f64 (sinh.f64 x) x)overflow4
exp.f64(exp.f64 (neg.f64 w))sensitivity10
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))o/o10
↳(-.f64 x lo)overflow1
↳(-.f64 hi lo)overflow256
Confusion
Predicted +Predicted -
+2154269
-6602037
Precision
0.7654584221748401
Recall
0.8889806025588114
Confusion?
Predicted +Predicted MaybePredicted -
+21543266
-660102027
Precision?
0.7629996462681288
Recall?
0.8902187371027651
Freqs
test
numberfreq
02306
12743
270
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
566.0ms6 670×0valid
550.0ms3 034×1valid
258.0ms102×5exit
152.0ms434×2valid
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 978.0ms
ival-cos: 297.0ms (30.4% of total)
ival-tan: 102.0ms (10.4% of total)
ival-mult: 80.0ms (8.2% of total)
ival-sqrt: 61.0ms (6.2% of total)
ival-log: 61.0ms (6.2% of total)
adjust: 49.0ms (5% of total)
ival-add: 45.0ms (4.6% of total)
ival-exp: 43.0ms (4.4% of total)
ival-pow2: 37.0ms (3.8% of total)
ival-sin: 36.0ms (3.7% of total)
ival-fmod: 35.0ms (3.6% of total)
ival-sub: 34.0ms (3.5% of total)
ival-div: 29.0ms (3% of total)
ival-acos: 20.0ms (2% of total)
ival-sinh: 15.0ms (1.5% of total)
ival-pow: 11.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)

bsearch1.4s (0.5%)

Memory
8.5MiB live, 1 793.9MiB allocated
Algorithm
34×binary-search
18×left-value
Stop Event
28×narrow-enough
6×predicate-failed
Samples
475.0ms1 745×1valid
299.0ms2 591×0valid
141.0ms126×5exit
117.0ms606×0invalid
Compiler

Compiled 6 691 to 4 851 computations (27.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 866.0ms
ival-tan: 174.0ms (20.1% of total)
ival-exp: 138.0ms (15.9% of total)
ival-sin: 107.0ms (12.4% of total)
ival-mult: 105.0ms (12.1% of total)
ival-cos: 103.0ms (11.9% of total)
ival-sqrt: 59.0ms (6.8% of total)
ival-pow: 46.0ms (5.3% of total)
ival-add: 33.0ms (3.8% of total)
adjust: 31.0ms (3.6% of total)
ival-fmod: 28.0ms (3.2% of total)
ival-div: 15.0ms (1.7% of total)
ival-sub: 9.0ms (1% of total)
ival-neg: 9.0ms (1% of total)
ival-pow2: 5.0ms (0.6% of total)
ival-true: 4.0ms (0.5% of total)
ival-assert: 2.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...