Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
Hostname:nightly with Racket 8.11.1
Seed:2024181
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: 1.5hr)

sample19.3min (20.9%)

Memory
4 410.6MiB live, 1 309 116.4MiB allocated
Samples
7.4min3 885 143×0valid
2.9min455 929×1valid
2.1min41 531×5exit
1.1min116 243×2valid
56.9s309 137×0invalid
26.4s15 522×3valid
8.3s50 046×0exit
6.0s1 943×4valid
5.5s23 084×1invalid
663.0ms1 830×2invalid
77.0ms8×5valid
34.0ms1×4exit
19.0ms27×1exit
11.0ms24×3invalid
Precisions
Click to see histograms. Total time spent on operations: 11.7min
ival-mult: 2.2min (18.7% of total)
ival-pow: 1.2min (10.6% of total)
ival-sin: 1.2min (10.2% of total)
ival-div: 57.7s (8.2% of total)
ival-add: 50.1s (7.1% of total)
ival-sub: 48.0s (6.8% of total)
...in/eval/compile.rkt:111:19: 37.6s (5.3% of total)
ival-cos: 36.7s (5.2% of total)
ival-tan: 27.3s (3.9% of total)
ival-log: 23.6s (3.4% of total)
adjust: 22.9s (3.3% of total)
ival-exp: 22.1s (3.1% of total)
ival-sqrt: 20.7s (2.9% of total)
ival-pow2: 13.8s (2% of total)
ival-<=: 13.0s (1.9% of total)
ival-neg: 6.8s (1% of total)
ival-fabs: 5.1s (0.7% of total)
ival-<: 4.2s (0.6% of total)
ival-hypot: 4.0s (0.6% of total)
ival-log1p: 2.9s (0.4% of total)
ival-true: 2.8s (0.4% of total)
ival-pi: 2.6s (0.4% of total)
ival-and: 2.6s (0.4% of total)
...in/eval/compile.rkt:110:19: 2.6s (0.4% of total)
ival-expm1: 2.0s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-atan2: 1.7s (0.2% of total)
ival-acos: 1.6s (0.2% of total)
ival-asin: 1.5s (0.2% of total)
ival->: 1.4s (0.2% of total)
ival-atan: 1.2s (0.2% of total)
ival-==: 1.1s (0.2% of total)
ival-fmin: 814.0ms (0.1% of total)
ival-fmod: 803.0ms (0.1% of total)
ival-floor: 741.0ms (0.1% of total)
ival-sinh: 651.0ms (0.1% of total)
ival-cbrt: 495.0ms (0.1% of total)
ival-fmax: 372.0ms (0.1% of total)
ival-if: 321.0ms (0% of total)
ival-acosh: 318.0ms (0% of total)
ival-asinh: 256.0ms (0% of total)
ival-log2: 224.0ms (0% of total)
ival->=: 207.0ms (0% of total)
ival-cosh: 183.0ms (0% of total)
ival-atanh: 131.0ms (0% of total)
ival-tanh: 77.0ms (0% of total)
ival-or: 36.0ms (0% of total)
Bogosity

simplify19.2min (20.8%)

Memory
-1 146.3MiB live, 1 195 528.0MiB allocated
Algorithm
4 377×egg-herbie
Rules
1 651 598×fma-define
1 267 663×fmm-def
886 989×distribute-lft-in
868 444×times-frac
799 144×associate-*r*
Stop Event
2 894×node limit
1 455×saturated
28×unsound
Counts
1 130 269 → 978 081

soundness12.2min (13.2%)

Memory
55.0MiB live, 661 951.6MiB allocated
Rules
661 215×fma-define
494 746×fmm-def
493 457×log1p-expm1-u
400 293×times-frac
398 313×associate-*r*
Stop Event
1 956×node limit
363×fuel
179×done
157×saturated
25×unsound
Compiler

Compiled 450 916 to 129 939 computations (71.2% saved)

rewrite8.4min (9.1%)

Memory
-668.7MiB live, 445 848.9MiB allocated
Algorithm
1 897×batch-egg-rewrite
Rules
1 199 337×log1p-expm1-u
903 808×expm1-log1p-u
425 322×pow1
409 215×add-exp-log
389 622×add-log-exp
Stop Event
1 878×node limit
17×unsound
2×saturated
Counts
21 471 → 645 212

prune6.8min (7.4%)

Memory
-7 298.0MiB live, 579 218.5MiB allocated
Counts
1 451 278 → 39 916
Compiler

Compiled 1 988 652 to 992 683 computations (50.1% saved)

localize5.8min (6.3%)

Memory
3 654.4MiB live, 433 154.7MiB allocated
Samples
1.8min399 456×0valid
45.7s47 441×1valid
28.8s5 559×5exit
18.8s12 155×2valid
11.8s25 595×0invalid
7.2s2 219×3valid
2.1s248×4valid
1.1s2 639×0exit
1.1s744×1invalid
76.0ms61×2invalid
13.0ms10×1exit
3.0ms1×5valid
Compiler

Compiled 461 480 to 51 542 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 38.0s (23.5% of total)
ival-div: 20.8s (12.9% of total)
ival-add: 13.1s (8.1% of total)
ival-sin: 10.1s (6.3% of total)
ival-tan: 9.6s (6% of total)
ival-cos: 8.5s (5.3% of total)
ival-pow: 8.4s (5.2% of total)
ival-sub: 7.1s (4.4% of total)
...in/eval/compile.rkt:111:19: 7.0s (4.3% of total)
ival-log: 6.3s (3.9% of total)
adjust: 5.5s (3.4% of total)
ival-pow2: 5.1s (3.2% of total)
ival-sqrt: 3.9s (2.4% of total)
ival-exp: 3.2s (2% of total)
ival-log1p: 2.6s (1.6% of total)
ival-hypot: 2.0s (1.2% of total)
ival-expm1: 1.8s (1.1% of total)
ival-neg: 1.6s (1% of total)
ival-cbrt: 1.3s (0.8% of total)
ival-asin: 1.0s (0.6% of total)
ival-atan2: 597.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 520.0ms (0.3% of total)
ival-acos: 511.0ms (0.3% of total)
ival-true: 427.0ms (0.3% of total)
ival-atan: 408.0ms (0.3% of total)
ival-fmod: 279.0ms (0.2% of total)
ival-fabs: 229.0ms (0.1% of total)
ival-if: 225.0ms (0.1% of total)
ival-assert: 211.0ms (0.1% of total)
ival-pi: 207.0ms (0.1% of total)
ival-fmax: 167.0ms (0.1% of total)
ival-e: 157.0ms (0.1% of total)
ival-log2: 135.0ms (0.1% of total)
ival-floor: 96.0ms (0.1% of total)
ival-copysign: 69.0ms (0% of total)
ival-sinh: 60.0ms (0% of total)
ival-cosh: 36.0ms (0% of total)
ival->=: 28.0ms (0% of total)
ival->: 26.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-<: 6.0ms (0% of total)

eval5.3min (5.7%)

Memory
8 486.0MiB live, 422 355.7MiB allocated
Compiler

Compiled 49 259 359 to 5 562 904 computations (88.7% saved)

regimes3.9min (4.2%)

Memory
-10.3MiB live, 322 481.1MiB allocated
Counts
110 510 → 9 075
Calls

1 224 calls:

17.3s
x
14.1s
y
12.3s
z
9.1s
a
8.5s
b
Compiler

Compiled 101 261 to 73 279 computations (27.6% saved)

series3.0min (3.3%)

Memory
1 440.3MiB live, 241 301.3MiB allocated
Counts
21 471 → 485 057
Calls

118128 calls:

TimeVariablePointExpression
717.0ms
h
@inf
(log (+ 1 (log2 (sqrt (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor d) dX.w) (* (floor d) dX.w)))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2))))))
529.0ms
x
@0
(pow x 1/4)
504.0ms
y
@-inf
(+ x (* y (- z x)))
496.0ms
x
@0
(- x (* (/ 1 t) (log (+ 1 (* y z)))))
420.0ms
t
@0
(* (/ 1 t) (log (+ 1 (* y z))))

preprocess2.5min (2.7%)

Memory
-2 431.4MiB live, 139 397.5MiB allocated
Algorithm
542×egg-herbie
Rules
252 186×fma-define
252 101×fmm-def
106 305×unsub-neg
100 734×sub-neg
94 641×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 381 612 to 141 426 computations (62.9% saved)

bsearch2.3min (2.5%)

Memory
-289.7MiB live, 175 411.4MiB allocated
Algorithm
4 079×binary-search
570×left-value
Stop Event
3 975×narrow-enough
102×predicate-same
2×predicate-failed
Samples
1.2min460 034×0valid
15.1s33 364×1valid
3.9s2 831×5exit
3.1s22 792×0invalid
1.6s4 410×2valid
1.5s1 454×3valid
252.0ms952×1invalid
184.0ms1 167×0exit
87.0ms17×4valid
86.0ms1×5valid
15.0ms59×2invalid
Compiler

Compiled 978 458 to 707 157 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 21.3s (30.4% of total)
ival-sub: 9.5s (13.5% of total)
ival-div: 7.1s (10.1% of total)
ival-add: 6.9s (9.9% of total)
ival-sin: 4.0s (5.7% of total)
ival-pow: 3.9s (5.6% of total)
ival-cos: 3.3s (4.7% of total)
...in/eval/compile.rkt:111:19: 2.4s (3.4% of total)
ival-log: 1.9s (2.7% of total)
adjust: 1.9s (2.6% of total)
ival-sqrt: 1.4s (1.9% of total)
ival-pow2: 1.3s (1.9% of total)
ival-exp: 1.2s (1.7% of total)
ival-tan: 1.1s (1.6% of total)
ival-hypot: 753.0ms (1.1% of total)
ival-true: 448.0ms (0.6% of total)
ival-neg: 428.0ms (0.6% of total)
ival-atan2: 291.0ms (0.4% of total)
ival-acos: 248.0ms (0.4% of total)
ival-fabs: 207.0ms (0.3% of total)
ival-assert: 205.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 193.0ms (0.3% of total)
ival-atan: 100.0ms (0.1% of total)
ival-pi: 65.0ms (0.1% of total)
ival-log1p: 25.0ms (0% of total)
ival-asin: 16.0ms (0% of total)
ival-fmod: 14.0ms (0% of total)
ival-copysign: 14.0ms (0% of total)
ival-sinh: 13.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-if: 10.0ms (0% of total)
ival->=: 8.0ms (0% of total)
ival-cbrt: 7.0ms (0% of total)
ival-cosh: 4.0ms (0% of total)
ival-expm1: 3.0ms (0% of total)

explain2.2min (2.4%)

Memory
1 434.1MiB live, 170 242.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation893060
sqrt.f64#foflow-rescue52030
log.f64#fsensitivity34483
cos.f64#fsensitivity34162
+.f64#fcancellation3025107
sin.f64#fsensitivity21451
/.f64#fo/n20170
/.f64#fo/o18630
-.f64#fnan-rescue13960
log.f32#fsensitivity1128101
*.f64#fn*o11120
/.f64#fn/o10140
/.f64#fu/u9910
sqrt.f64#fuflow-rescue9160
+.f64#fnan-rescue8340
/.f64#fu/n7410
sqrt.f32#foflow-rescue5480
acos.f64#fsensitivity5229
*.f64#fn*u4600
tan.f64#fsensitivity4242
pow.f64#fsensitivity39336
-.f32#fcancellation37840
/.f64#fn/u3040
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2230
cos.f32#fsensitivity20810
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation20110
exp.f64#fsensitivity19926
cos.f64#foflow-rescue1940
*.f64#fu*o1760
pow.f64#foflow-rescue1640
*.f64#fo*u1360
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1260
/.f32#fo/n1160
cbrt.f64#foflow-rescue1100
log.f64#foflow-rescue990
log.f64#fuflow-rescue800
pow.f64#fuflow-rescue770
exp.f32#fsensitivity3917
sin.f64#foflow-rescue330
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
cbrt.f64#fuflow-rescue310
/.f32#fu/n250
/.f32#fo/o200
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue180
↳(*.f32 sinTheta_O sinTheta_O)underflow316
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow18
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow158
↳(*.f32 eta eta)underflow18
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o70
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow12
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow12
log.f32#foflow-rescue20
sin.f32(sin.f32 (*.f32 (*.f32 x (PI.f32)) tau))cancellation11
Confusion
Predicted +Predicted -
+306231216
-5931100982
Precision
0.8377468950046506
Recall
0.9618078457237978
Confusion?
Predicted +Predicted MaybePredicted -
+30623257959
-5931395100587
Precision?
0.8299736601623394
Recall?
0.9698797072772386
Freqs
test
numberfreq
0102198
130657
24764
3581
4299
5147
678
714
87
96
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+33916
-83185
Precision?
0.9686609686609686
Recall?
0.9826589595375722
Samples
28.6s233 274×0valid
12.2s33 318×1valid
6.3s9 360×2valid
1.8s1 190×3valid
517.0ms150×4valid
477.0ms118×5exit
20.0ms44×2invalid
15.0ms50×1invalid
Compiler

Compiled 106 238 to 25 502 computations (76% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.6s
ival-mult: 9.1s (26.3% of total)
ival-div: 3.8s (11.1% of total)
ival-add: 3.0s (8.7% of total)
ival-sin: 2.9s (8.5% of total)
ival-cos: 2.8s (8.1% of total)
ival-sub: 2.7s (7.7% of total)
ival-log: 1.7s (4.8% of total)
ival-tan: 1.4s (3.9% of total)
adjust: 1.4s (3.9% of total)
ival-sqrt: 873.0ms (2.5% of total)
ival-exp: 781.0ms (2.3% of total)
ival-pow2: 755.0ms (2.2% of total)
ival-pow: 606.0ms (1.8% of total)
...in/eval/compile.rkt:111:19: 554.0ms (1.6% of total)
ival-hypot: 416.0ms (1.2% of total)
ival-fabs: 313.0ms (0.9% of total)
ival-true: 249.0ms (0.7% of total)
ival-neg: 240.0ms (0.7% of total)
ival-pi: 148.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 120.0ms (0.3% of total)
ival-assert: 112.0ms (0.3% of total)
ival-asin: 91.0ms (0.3% of total)
ival-cbrt: 85.0ms (0.2% of total)
ival-atan2: 82.0ms (0.2% of total)
ival-atan: 70.0ms (0.2% of total)
ival-log1p: 63.0ms (0.2% of total)
ival-acos: 62.0ms (0.2% of total)
ival-floor: 39.0ms (0.1% of total)
ival-sinh: 35.0ms (0.1% of total)
ival-fmod: 34.0ms (0.1% of total)
ival-expm1: 32.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-fmax: 16.0ms (0% of total)
ival-log2: 14.0ms (0% of total)
ival-cosh: 13.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival->=: 7.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.5min (1.6%)

Memory
-351.8MiB live, 107 199.2MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.8%33.6%50.8%15.6%0%0%0%1
45.9%38.4%45.3%15.6%0%0.8%0%2
54.5%44.5%37.1%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.9%0%4
67.7%54.3%25.8%15.6%0%4.3%0%5
71.6%57.1%22.6%15.6%0%4.7%0%6
75.6%59.8%19.3%15.6%0%5.3%0%7
77.6%61.1%17.7%15.6%0%5.7%0%8
80.2%62.9%15.5%15.6%0%6%0%9
81.7%63.9%14.3%15.6%0%6.3%0%10
84%65.5%12.5%15.6%0%6.4%0%11
85.1%66.2%11.6%15.6%0%6.7%0%12
Compiler

Compiled 12 512 to 7 841 computations (37.3% saved)

end3.0ms (0%)

Memory
9.0MiB live, 8.5MiB allocated

Profiling

Loading profile data...