Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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.3min)

simplify7.6min (21.6%)

Memory
-1 129.0MiB live, 425 171.0MiB allocated
Algorithm
2 096×egg-herbie
Rules
703 493×fma-define
581 727×fmm-def
366 659×times-frac
347 850×distribute-lft-in
329 209×associate-*r*
Stop Event
1 302×node limit
787×saturated
7×unsound
Counts
507 902 → 433 278

sample5.9min (16.7%)

Memory
910.3MiB live, 408 101.4MiB allocated
Samples
3.7min2 146 151×0valid
22.1s65 284×1valid
13.0s63 159×0invalid
2.4s8 231×2valid
2.1s1 571×5exit
820.0ms1 197×3valid
288.0ms1 750×1invalid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 50.9s (32.1% of total)
ival-sub: 22.7s (14.3% of total)
ival-div: 20.2s (12.7% of total)
ival-add: 19.9s (12.5% of total)
ival-log: 10.9s (6.9% of total)
ival-sin: 9.0s (5.7% of total)
...in/eval/compile.rkt:105:19: 6.1s (3.8% of total)
ival-sqrt: 5.8s (3.7% of total)
ival-cos: 3.4s (2.2% of total)
adjust: 2.1s (1.3% of total)
ival-exp: 2.1s (1.3% of total)
ival-true: 1.7s (1.1% of total)
ival-assert: 900.0ms (0.6% of total)
ival-sinh: 718.0ms (0.5% of total)
...in/eval/compile.rkt:104:19: 668.0ms (0.4% of total)
ival-tan: 400.0ms (0.3% of total)
ival-fabs: 310.0ms (0.2% of total)
ival-cosh: 235.0ms (0.1% of total)
ival-acos: 214.0ms (0.1% of total)
ival-hypot: 143.0ms (0.1% of total)
ival-tanh: 81.0ms (0.1% of total)
Bogosity

soundness4.8min (13.7%)

Memory
-1 677.8MiB live, 230 073.7MiB allocated
Rules
268 179×fma-define
231 312×fmm-def
195 889×log1p-expm1-u
158 540×associate-*r*
158 188×times-frac
Stop Event
822×node limit
155×fuel
114×done
81×saturated
5×unsound
Compiler

Compiled 146 908 to 50 386 computations (65.7% saved)

rewrite3.9min (11.1%)

Memory
193.5MiB live, 206 147.2MiB allocated
Algorithm
897×batch-egg-rewrite
Rules
588 376×log1p-expm1-u
453 524×expm1-log1p-u
186 541×pow1
175 160×add-exp-log
166 600×add-log-exp
Stop Event
893×node limit
3×unsound
1×saturated
Counts
8 893 → 293 602

prune2.8min (7.8%)

Memory
-3 127.2MiB live, 235 488.4MiB allocated
Counts
584 533 → 14 307
Compiler

Compiled 464 997 to 278 915 computations (40% saved)

eval2.1min (6%)

Memory
2 444.4MiB live, 169 950.8MiB allocated
Compiler

Compiled 12 242 554 to 2 042 305 computations (83.3% saved)

localize1.9min (5.5%)

Memory
1 487.0MiB live, 143 703.4MiB allocated
Samples
53.4s217 263×0valid
9.4s8 371×1valid
7.5s2 874×5exit
2.8s7 211×0invalid
1.5s1 470×2valid
299.0ms270×3valid
163.0ms516×0exit
78.0ms79×1invalid
22.0ms17×1exit
6.0ms9×4valid
Compiler

Compiled 114 212 to 19 725 computations (82.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.1s
ival-mult: 18.2s (36.3% of total)
ival-div: 7.0s (14% of total)
ival-add: 5.2s (10.4% of total)
ival-pow: 4.9s (9.7% of total)
ival-sub: 3.1s (6.2% of total)
...in/eval/compile.rkt:105:19: 2.4s (4.7% of total)
ival-log: 1.8s (3.7% of total)
adjust: 1.5s (2.9% of total)
ival-sin: 914.0ms (1.8% of total)
ival-cbrt: 802.0ms (1.6% of total)
ival-sqrt: 801.0ms (1.6% of total)
ival-cos: 726.0ms (1.4% of total)
ival-pow2: 665.0ms (1.3% of total)
ival-neg: 567.0ms (1.1% of total)
ival-log1p: 303.0ms (0.6% of total)
ival-exp: 265.0ms (0.5% of total)
ival-expm1: 262.0ms (0.5% of total)
ival-true: 200.0ms (0.4% of total)
...in/eval/compile.rkt:104:19: 162.0ms (0.3% of total)
ival-assert: 103.0ms (0.2% of total)
ival-hypot: 88.0ms (0.2% of total)
ival-tan: 45.0ms (0.1% of total)
ival-sinh: 44.0ms (0.1% of total)
ival-fabs: 24.0ms (0% of total)
ival-cosh: 19.0ms (0% of total)
ival-acos: 18.0ms (0% of total)
ival-e: 11.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)

bsearch1.4min (4%)

Memory
241.5MiB live, 94 858.6MiB allocated
Algorithm
2 597×binary-search
331×left-value
Stop Event
2 544×narrow-enough
53×predicate-same
Samples
49.4s318 364×0valid
3.1s9 333×1valid
821.0ms7 096×0invalid
355.0ms663×2valid
4.0ms24×3valid
3.0ms19×1invalid
Compiler

Compiled 588 835 to 441 131 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.3s
ival-mult: 14.6s (42.4% of total)
ival-sub: 6.0s (17.4% of total)
ival-add: 4.7s (13.8% of total)
ival-div: 3.0s (8.7% of total)
...in/eval/compile.rkt:105:19: 1.9s (5.6% of total)
ival-log: 1.2s (3.4% of total)
ival-sqrt: 894.0ms (2.6% of total)
ival-cos: 518.0ms (1.5% of total)
adjust: 507.0ms (1.5% of total)
ival-sin: 388.0ms (1.1% of total)
ival-true: 253.0ms (0.7% of total)
ival-exp: 200.0ms (0.6% of total)
ival-assert: 137.0ms (0.4% of total)
...in/eval/compile.rkt:104:19: 101.0ms (0.3% of total)
ival-fabs: 20.0ms (0.1% of total)
ival-tanh: 9.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-sinh: 1.0ms (0% of total)

regimes1.4min (3.9%)

Memory
-629.5MiB live, 111 595.4MiB allocated
Counts
38 403 → 5 060
Calls

511 calls:

13.4s
x
11.6s
y
11.0s
z
6.1s
t
3.9s
a
Compiler

Compiled 47 742 to 37 715 computations (21% saved)

preprocess1.2min (3.3%)

Memory
-847.0MiB live, 68 387.2MiB 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 149 726 to 57 628 computations (61.5% saved)

series60.0s (2.8%)

Memory
932.8MiB live, 81 453.7MiB allocated
Counts
8 893 → 214 300
Calls

51339 calls:

TimeVariablePointExpression
478.0ms
a
@-inf
(* x (/ (* (pow z y) (/ (pow a t) a)) y))
323.0ms
y
@0
(* x (+ (log (pow (cbrt y) 2)) (log (cbrt y))))
303.0ms
x
@inf
(/ (* x 100) (+ x y))
234.0ms
x
@0
(* x (+ (log (pow (cbrt y) 2)) (log (cbrt y))))
229.0ms
x
@0
(pow (/ x y) 1/6)

explain54.1s (2.6%)

Memory
988.4MiB live, 61 009.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15811
/.f64#fo/n12030
sqrt.f64#foflow-rescue7650
/.f64#fo/o6040
-.f64#fcancellation5756
*.f64#fn*o4730
+.f64#fnan-rescue4490
-.f64#fnan-rescue4110
cos.f64#fsensitivity3701
/.f64#fn/o3350
+.f64#fcancellation3261
/.f64#fu/n2460
sin.f64#fsensitivity2230
*.f64#fn*u1710
/.f64#fn/u1400
cos.f64#foflow-rescue1330
/.f64#fu/u1030
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity940
log.f64#foflow-rescue770
log.f64#fuflow-rescue700
sqrt.f64#fuflow-rescue420
*.f64#fo*u410
exp.f64#fsensitivity314
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue200
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow20
↳(*.f64 y #s(literal 2 binary64))overflow1
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue200
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow20
↳(*.f64 y #s(literal 2 binary64))overflow1
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o10
↳(*.f64 t y2)underflow36
↳(*.f64 y y3)underflow32
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow4
↳(*.f64 y4 c)overflow32
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow57
↳(*.f64 y5 a)overflow27
Confusion
Predicted +Predicted -
+6001196
-171660951
Precision
0.7776337955163923
Recall
0.9683717928029691
Confusion?
Predicted +Predicted MaybePredicted -
+60015191
-1716860943
Precision?
0.7769728331177231
Recall?
0.9691786348233016
Freqs
test
numberfreq
061147
17005
2653
347
48
54
Total Confusion?
Predicted +Predicted MaybePredicted -
+13400
-31131
Precision?
0.9710144927536232
Recall?
1.0
Samples
13.6s130 420×0valid
2.6s6 066×1valid
511.0ms1 032×2valid
93.0ms206×3valid
3.0ms2×5exit
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-mult: 3.4s (35.5% of total)
ival-add: 1.3s (13.4% of total)
ival-sub: 1.2s (12.9% of total)
ival-div: 1.1s (11.3% of total)
ival-log: 960.0ms (10.1% of total)
...in/eval/compile.rkt:105:19: 417.0ms (4.4% of total)
ival-cos: 232.0ms (2.4% of total)
ival-sin: 203.0ms (2.1% of total)
adjust: 197.0ms (2.1% of total)
ival-sqrt: 159.0ms (1.7% of total)
ival-true: 121.0ms (1.3% of total)
ival-exp: 107.0ms (1.1% of total)
ival-assert: 63.0ms (0.7% of total)
...in/eval/compile.rkt:104:19: 43.0ms (0.5% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-hypot: 11.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

analyze19.9s (0.9%)

Memory
-347.3MiB live, 25 319.8MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%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 977 computations (14% saved)

end2.0ms (0%)

Memory
4.8MiB live, 4.4MiB allocated

Profiling

Loading profile data...