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.7min)

sample1.2min (21.3%)

Memory
666.6MiB live, 86 196.4MiB allocated
Samples
30.4s285 222×0valid
14.8s43 773×1valid
8.3s17 387×2valid
393.0ms4 302×0invalid
293.0ms370×3valid
253.0ms948×0exit
97.0ms101×4exit
64.0ms101×3exit
4.0ms32×1exit
Precisions
Click to see histograms. Total time spent on operations: 41.9s
ival-mult: 10.5s (25.1% of total)
ival-add: 4.8s (11.4% of total)
ival-div: 4.3s (10.3% of total)
ival-pow: 3.6s (8.6% of total)
ival-sub: 3.3s (7.9% of total)
...in/eval/compile.rkt:111:19: 3.2s (7.8% of total)
ival-sin: 2.9s (6.9% of total)
ival-<=: 2.1s (4.9% of total)
ival-cos: 2.0s (4.7% of total)
adjust: 1.6s (3.8% of total)
ival-exp: 550.0ms (1.3% of total)
ival-neg: 505.0ms (1.2% of total)
ival-sqrt: 460.0ms (1.1% of total)
...in/eval/compile.rkt:110:19: 365.0ms (0.9% of total)
ival-pow2: 345.0ms (0.8% of total)
ival-and: 334.0ms (0.8% of total)
ival-==: 226.0ms (0.5% of total)
ival-true: 137.0ms (0.3% of total)
ival-assert: 135.0ms (0.3% of total)
ival-tan: 123.0ms (0.3% of total)
ival-<: 97.0ms (0.2% of total)
ival-log1p: 78.0ms (0.2% of total)
ival-atan: 75.0ms (0.2% of total)
ival-expm1: 66.0ms (0.2% of total)
ival-if: 36.0ms (0.1% of total)
ival-pi: 32.0ms (0.1% of total)
ival-hypot: 19.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

simplify1.2min (20.6%)

Memory
-444.0MiB live, 70 095.1MiB allocated
Algorithm
333×egg-herbie
Rules
115 514×fma-define
88 072×fmm-def
74 182×distribute-lft-in
62 865×distribute-rgt-in
56 733×times-frac
Stop Event
221×node limit
112×saturated
Counts
76 862 → 73 444

rewrite37.6s (11.1%)

Memory
48.6MiB live, 33 283.3MiB allocated
Algorithm
143×batch-egg-rewrite
Rules
84 441×log1p-expm1-u
66 381×expm1-log1p-u
31 857×pow1
30 061×add-exp-log
27 667×add-log-exp
Stop Event
143×node limit
Counts
1 568 → 50 069

soundness36.2s (10.6%)

Memory
-17.8MiB live, 32 944.2MiB allocated
Rules
37 289×fma-define
31 069×fmm-def
30 958×log1p-expm1-u
26 712×expm1-log1p-u
26 598×distribute-lft-in
Stop Event
138×node limit
27×fuel
15×done
8×saturated
Compiler

Compiled 30 646 to 8 776 computations (71.4% saved)

prune26.3s (7.7%)

Memory
-294.3MiB live, 38 268.3MiB allocated
Counts
108 992 → 2 130
Compiler

Compiled 77 099 to 40 821 computations (47.1% saved)

eval25.1s (7.4%)

Memory
753.9MiB live, 32 686.5MiB allocated
Compiler

Compiled 2 840 301 to 413 982 computations (85.4% saved)

localize23.5s (6.9%)

Memory
9.8MiB live, 32 585.9MiB allocated
Samples
8.2s30 377×0valid
3.0s2 059×2valid
2.0s2 585×1valid
479.0ms155×3valid
417.0ms333×5exit
412.0ms1 375×0invalid
375.0ms774×1exit
78.0ms223×0exit
18.0ms7×4valid
Compiler

Compiled 29 202 to 3 671 computations (87.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.8s
ival-mult: 2.9s (27.2% of total)
ival-div: 1.8s (16.4% of total)
ival-add: 1.1s (10.4% of total)
ival-pow: 1.0s (9.4% of total)
ival-sub: 794.0ms (7.4% of total)
adjust: 566.0ms (5.3% of total)
...in/eval/compile.rkt:111:19: 547.0ms (5.1% of total)
ival-sin: 368.0ms (3.4% of total)
ival-exp: 309.0ms (2.9% of total)
ival-neg: 204.0ms (1.9% of total)
ival-pow2: 200.0ms (1.9% of total)
ival-cos: 188.0ms (1.7% of total)
ival-tan: 164.0ms (1.5% of total)
ival-sqrt: 144.0ms (1.3% of total)
ival-atan: 137.0ms (1.3% of total)
ival-hypot: 59.0ms (0.5% of total)
ival-log: 51.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 45.0ms (0.4% of total)
ival-cbrt: 35.0ms (0.3% of total)
ival-expm1: 35.0ms (0.3% of total)
ival-log1p: 33.0ms (0.3% of total)
ival-true: 32.0ms (0.3% of total)
ival-assert: 16.0ms (0.1% of total)
ival-pi: 10.0ms (0.1% of total)
ival-e: 8.0ms (0.1% of total)
ival-copysign: 2.0ms (0% of total)
ival-fabs: 1.0ms (0% of total)

explain11.3s (3.3%)

Memory
148.6MiB live, 14 511.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation14082
+.f64#fcancellation37992
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2210
sqrt.f64#foflow-rescue1860
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1730
/.f64#fo/o1700
/.f64#fn/o1690
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1220
-.f64#fnan-rescue690
/.f64#fu/n670
*.f64#fn*u490
/.f64#fo/n480
/.f64#fn/u420
+.f64#fnan-rescue390
/.f64#fu/u380
*.f64#fn*o280
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue240
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow30
↳(/.f64 i n)overflow24
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow24
sqrt.f64#fuflow-rescue160
exp.f64#fsensitivity22
Confusion
Predicted +Predicted -
+3672496
-1226462
Precision
0.9678439641539273
Recall
0.8809980806142035
Confusion?
Predicted +Predicted MaybePredicted -
+3672164332
-1221876275
Precision?
0.9254523522316044
Recall?
0.9203454894433781
Freqs
test
numberfreq
06958
13357
2398
339
Total Confusion?
Predicted +Predicted MaybePredicted -
+3011
-208
Precision?
0.9393939393939394
Recall?
0.96875
Samples
2.0s16 796×0valid
989.0ms1 410×2valid
853.0ms3 266×1valid
20.0ms32×3valid
Compiler

Compiled 8 444 to 1 926 computations (77.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 683.0ms (26.8% of total)
ival-pow: 661.0ms (26% of total)
ival-div: 218.0ms (8.6% of total)
ival-add: 200.0ms (7.9% of total)
ival-sub: 197.0ms (7.7% of total)
adjust: 184.0ms (7.2% of total)
...in/eval/compile.rkt:111:19: 96.0ms (3.8% of total)
ival-sin: 87.0ms (3.4% of total)
ival-cos: 65.0ms (2.6% of total)
ival-exp: 28.0ms (1.1% of total)
ival-neg: 26.0ms (1% of total)
ival-sqrt: 24.0ms (0.9% of total)
ival-true: 19.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.6% of total)
ival-pow2: 15.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

preprocess10.5s (3.1%)

Memory
-231.2MiB live, 9 578.3MiB allocated
Algorithm
42×egg-herbie
Rules
18 502×fmm-def
16 342×fma-define
9 180×sub-neg
8 997×unsub-neg
7 628×distribute-rgt-in
Stop Event
22×node limit
20×saturated
Compiler

Compiled 21 918 to 7 244 computations (66.9% saved)

bsearch8.8s (2.6%)

Memory
139.3MiB live, 9 870.5MiB allocated
Algorithm
283×binary-search
19×left-value
Stop Event
260×narrow-enough
23×predicate-same
Samples
4.6s28 339×0valid
606.0ms3 694×1valid
448.0ms1 430×2valid
226.0ms2 946×0invalid
16.0ms25×3valid
6.0ms48×0exit
0.0ms1×1exit
Compiler

Compiled 84 954 to 50 195 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.4s
ival-mult: 1.8s (41.8% of total)
ival-div: 681.0ms (15.6% of total)
ival-add: 629.0ms (14.4% of total)
ival-sub: 508.0ms (11.6% of total)
ival-pow: 433.0ms (9.9% of total)
adjust: 89.0ms (2% of total)
ival-neg: 66.0ms (1.5% of total)
ival-sqrt: 30.0ms (0.7% of total)
ival-exp: 27.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 27.0ms (0.6% of total)
ival-true: 26.0ms (0.6% of total)
ival-assert: 14.0ms (0.3% of total)
ival-pow2: 13.0ms (0.3% of total)
ival-pi: 2.0ms (0% of total)

regimes7.1s (2.1%)

Memory
-65.1MiB live, 9 040.1MiB allocated
Counts
5 140 → 598
Calls

96 calls:

609.0ms
b
547.0ms
x
505.0ms
x1
463.0ms
c
274.0ms
d
Compiler

Compiled 3 889 to 2 500 computations (35.7% saved)

series6.9s (2%)

Memory
-394.2MiB live, 9 137.7MiB allocated
Counts
1 568 → 26 793
Calls

7248 calls:

TimeVariablePointExpression
236.0ms
x2
@-inf
(+ 12 (* 15 (/ 1 x2)))
231.0ms
d
@inf
(+ (* -1 (* a (/ d (pow c 2)))) (/ b c))
165.0ms
x
@0
(/ (* (cbrt (/ -10 (+ (* x x) -1))) 1) (pow (cbrt (* (+ (* x x) -1) 1/10)) 2))
155.0ms
x2
@-inf
(+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (/ (* 2 x2) x1) (+ 1 (/ 3 x1))) x1)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1))
137.0ms
x
@0
(* 1/8 (/ eps (pow x 3)))

analyze4.2s (1.2%)

Memory
-13.8MiB live, 5 276.1MiB allocated
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 401 to 721 computations (48.5% saved)

end0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

Profiling

Loading profile data...