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: 35.9min)

simplify8.0min (22.2%)

Memory
62.2MiB live, 445 390.1MiB allocated
Algorithm
2 119×egg-herbie
Rules
713 332×fma-define
588 306×fmm-def
384 944×times-frac
357 938×distribute-lft-in
356 830×associate-*r*
Stop Event
1 352×node limit
758×saturated
9×unsound
Counts
528 113 → 452 898

sample5.8min (16.2%)

Memory
724.9MiB live, 400 594.7MiB allocated
Samples
3.5min2 145 364×0valid
24.5s66 251×1valid
12.7s64 444×0invalid
2.5s8 106×2valid
1.9s1 572×5exit
593.0ms1 797×1invalid
415.0ms1 142×3valid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 53.0s (33.4% of total)
ival-add: 22.0s (13.8% of total)
ival-sub: 20.7s (13% of total)
ival-div: 20.7s (13% of total)
ival-log: 11.8s (7.4% of total)
...in/eval/compile.rkt:77:19: 6.9s (4.3% of total)
ival-sqrt: 5.7s (3.6% of total)
ival-sin: 4.4s (2.8% of total)
ival-cos: 3.6s (2.3% of total)
adjust: 2.4s (1.5% of total)
ival-exp: 1.9s (1.2% of total)
ival-true: 1.6s (1% of total)
ival-assert: 862.0ms (0.5% of total)
...in/eval/compile.rkt:76:19: 643.0ms (0.4% of total)
ival-acos: 629.0ms (0.4% of total)
ival-tan: 496.0ms (0.3% of total)
ival-fabs: 460.0ms (0.3% of total)
ival-sinh: 440.0ms (0.3% of total)
ival-cosh: 345.0ms (0.2% of total)
ival-tanh: 123.0ms (0.1% of total)
Bogosity

soundness4.6min (12.9%)

Memory
-609.6MiB live, 233 468.2MiB allocated
Rules
254 599×fma-define
225 321×fmm-def
191 932×log1p-expm1-u
160 361×times-frac
151 415×associate-*r*
Stop Event
791×node limit
162×fuel
107×done
84×saturated
6×unsound
Compiler

Compiled 147 621 to 50 431 computations (65.8% saved)

rewrite4.1min (11.4%)

Memory
-306.6MiB live, 213 361.0MiB allocated
Algorithm
911×batch-egg-rewrite
Rules
612 096×log1p-expm1-u
464 434×expm1-log1p-u
185 759×pow1
178 127×add-exp-log
171 296×add-log-exp
Stop Event
907×node limit
3×unsound
1×saturated
Counts
9 181 → 304 574

prune3.1min (8.5%)

Memory
-3 073.4MiB live, 245 237.5MiB allocated
Counts
613 729 → 14 871
Compiler

Compiled 490 357 to 292 141 computations (40.4% saved)

eval2.3min (6.5%)

Memory
3 443.5MiB live, 179 428.2MiB allocated
Compiler

Compiled 13 011 275 to 2 155 367 computations (83.4% saved)

localize1.9min (5.3%)

Memory
2 239.9MiB live, 147 190.8MiB allocated
Samples
49.2s218 745×0valid
7.6s8 264×1valid
5.9s2 888×5exit
2.8s8 321×0invalid
1.8s1 527×2valid
439.0ms323×0exit
142.0ms208×3valid
80.0ms30×1exit
66.0ms71×1invalid
5.0ms7×4valid
Compiler

Compiled 118 192 to 20 207 computations (82.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.4s
ival-mult: 14.5s (31.2% of total)
ival-div: 7.9s (17.1% of total)
ival-add: 5.8s (12.5% of total)
ival-sub: 3.1s (6.7% of total)
ival-pow: 2.9s (6.3% of total)
...in/eval/compile.rkt:77:19: 2.2s (4.8% of total)
ival-log: 1.9s (4.1% of total)
adjust: 1.3s (2.9% of total)
ival-exp: 1.0s (2.2% of total)
ival-sqrt: 929.0ms (2% of total)
ival-pow2: 866.0ms (1.9% of total)
ival-cos: 822.0ms (1.8% of total)
ival-neg: 690.0ms (1.5% of total)
ival-sin: 672.0ms (1.4% of total)
ival-cbrt: 511.0ms (1.1% of total)
ival-log1p: 292.0ms (0.6% of total)
ival-true: 197.0ms (0.4% of total)
ival-hypot: 170.0ms (0.4% of total)
ival-expm1: 158.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 157.0ms (0.3% of total)
ival-assert: 98.0ms (0.2% of total)
ival-tan: 43.0ms (0.1% of total)
ival-cosh: 37.0ms (0.1% of total)
ival-fabs: 28.0ms (0.1% of total)
ival-tanh: 21.0ms (0% of total)
ival-acos: 20.0ms (0% of total)
ival-sinh: 15.0ms (0% of total)
ival-e: 4.0ms (0% of total)

regimes1.5min (4.1%)

Memory
-494.2MiB live, 121 166.8MiB allocated
Counts
40 294 → 5 042
Calls

511 calls:

14.2s
x
14.2s
y
10.8s
z
6.9s
t
5.2s
a
Compiler

Compiled 47 928 to 37 733 computations (21.3% saved)

preprocess1.2min (3.3%)

Memory
-373.1MiB live, 69 641.5MiB allocated
Algorithm
269×egg-herbie
Rules
137 764×fmm-def
117 089×fma-define
51 035×unsub-neg
50 338×sub-neg
47 100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 147 638 to 58 638 computations (60.3% saved)

series1.2min (3.3%)

Memory
-88.1MiB live, 83 384.5MiB allocated
Counts
9 181 → 223 539
Calls

53265 calls:

TimeVariablePointExpression
3.5s
t
@inf
(/ t (- y z))
431.0ms
y
@inf
(/ (+ y (* -1/6 (pow y 3))) y)
418.0ms
a
@inf
(* 1/2 (/ (* x y) (* a t)))
366.0ms
a
@-inf
(+ (log (* z (pow t (+ a -1/2)))) (log y))
354.0ms
t
@inf
(/ (+ (/ x z) (/ y t)) a)

bsearch1.2min (3.3%)

Memory
94.2MiB live, 91 486.2MiB allocated
Algorithm
2 613×binary-search
289×left-value
Stop Event
2 558×narrow-enough
55×predicate-same
Samples
43.2s316 336×0valid
2.9s7 780×1valid
570.0ms6 275×0invalid
70.0ms389×2valid
7.0ms39×3valid
0.0ms1×5exit
Compiler

Compiled 562 967 to 421 239 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.6s
ival-mult: 12.9s (42.1% of total)
ival-sub: 5.1s (16.8% of total)
ival-add: 3.8s (12.4% of total)
ival-div: 3.0s (9.7% of total)
ival-log: 1.7s (5.5% of total)
...in/eval/compile.rkt:77:19: 1.2s (4% of total)
ival-cos: 710.0ms (2.3% of total)
ival-sin: 607.0ms (2% of total)
ival-sqrt: 478.0ms (1.6% of total)
adjust: 366.0ms (1.2% of total)
ival-exp: 290.0ms (0.9% of total)
ival-true: 231.0ms (0.8% of total)
ival-assert: 126.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 93.0ms (0.3% of total)
ival-fabs: 16.0ms (0.1% of total)
ival-tanh: 9.0ms (0% of total)
ival-sinh: 8.0ms (0% of total)
ival-cosh: 4.0ms (0% of total)

explain45.5s (2.1%)

Memory
209.8MiB live, 62 358.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15541
/.f64#fo/n12020
sqrt.f64#foflow-rescue7540
/.f64#fo/o6190
-.f64#fcancellation60610
+.f64#fnan-rescue5160
-.f64#fnan-rescue4930
*.f64#fn*o4640
cos.f64#fsensitivity3683
/.f64#fn/o3540
+.f64#fcancellation3112
/.f64#fu/n2440
sin.f64#fsensitivity2180
*.f64#fn*u1540
cos.f64#foflow-rescue1430
/.f64#fn/u1320
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity980
/.f64#fu/u950
log.f64#fuflow-rescue730
log.f64#foflow-rescue710
sqrt.f64#fuflow-rescue410
*.f64(*.f64 (cosh.f64 x) (/.f64 y x))o*u340
↳(cosh.f64 x)overflow135
↳(/.f64 y x)underflow34
exp.f64#fsensitivity317
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o20
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow5
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow131
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow61
↳(*.f64 t t)overflow61
Confusion
Predicted +Predicted -
+6020188
-170360953
Precision
0.779489835556131
Recall
0.9697164948453608
Confusion?
Predicted +Predicted MaybePredicted -
+60206182
-17031960934
Precision?
0.7777490965410429
Recall?
0.9706829896907216
Freqs
test
numberfreq
061141
16907
2736
362
416
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+13300
-20134
Precision?
0.9851851851851852
Recall?
1.0
Samples
14.0s130 442×0valid
2.2s6 124×1valid
347.0ms970×2valid
173.0ms186×3valid
1.0ms4×4valid
1.0ms2×5exit
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 2.9s (31.6% of total)
ival-sub: 1.6s (18% of total)
ival-add: 1.1s (12.6% of total)
ival-div: 1.1s (12% of total)
ival-log: 725.0ms (8% of total)
...in/eval/compile.rkt:77:19: 359.0ms (3.9% of total)
ival-sqrt: 333.0ms (3.7% of total)
adjust: 221.0ms (2.4% of total)
ival-sin: 182.0ms (2% of total)
ival-cos: 172.0ms (1.9% of total)
ival-true: 115.0ms (1.3% of total)
ival-exp: 85.0ms (0.9% of total)
ival-assert: 55.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 39.0ms (0.4% of total)
ival-fabs: 19.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

analyze19.4s (0.9%)

Memory
-113.3MiB live, 25 203.4MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 980 computations (13.9% saved)

end1.0ms (0%)

Memory
5.1MiB live, 4.7MiB allocated

Profiling

Loading profile data...