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: 1.5hr)

simplify19.2min (21.1%)

Memory
1 677.5MiB live, 1 168 310.4MiB allocated
Algorithm
4 356×egg-herbie
Rules
1 664 452×fma-define
1 240 731×fmm-def
891 958×distribute-lft-in
848 791×associate-*r*
819 890×times-frac
Stop Event
2 836×node limit
1 495×saturated
25×unsound
Counts
1 128 393 → 980 660

sample18.9min (20.8%)

Memory
3 340.5MiB live, 1 306 053.4MiB allocated
Samples
7.7min3 884 830×0valid
2.7min441 979×1valid
1.4min32 516×5exit
1.3min133 283×2valid
55.9s318 687×0invalid
16.2s14 647×3valid
8.3s28 066×1invalid
7.5s50 214×0exit
5.7s20 123×1exit
1.3s633×4exit
568.0ms1 354×2invalid
274.0ms121×3exit
241.0ms1 244×2exit
121.0ms37×4valid
Precisions
Click to see histograms. Total time spent on operations: 11.2min
ival-mult: 2.3min (20.1% of total)
ival-div: 1.0min (9% of total)
ival-sin: 1.0min (9% of total)
ival-add: 52.5s (7.8% of total)
ival-sub: 46.0s (6.8% of total)
ival-pow: 44.7s (6.6% of total)
...in/eval/compile.rkt:111:19: 38.1s (5.7% of total)
ival-cos: 37.3s (5.5% of total)
ival-log: 26.8s (4% of total)
ival-tan: 25.9s (3.9% of total)
ival-exp: 24.8s (3.7% of total)
adjust: 22.8s (3.4% of total)
ival-sqrt: 18.7s (2.8% of total)
ival-pow2: 13.9s (2.1% of total)
ival-<=: 13.2s (2% of total)
ival-neg: 6.6s (1% of total)
ival-hypot: 5.1s (0.8% of total)
ival-fabs: 4.5s (0.7% of total)
ival-<: 3.4s (0.5% of total)
ival-pi: 3.0s (0.4% of total)
ival-true: 2.8s (0.4% of total)
...in/eval/compile.rkt:110:19: 2.6s (0.4% of total)
ival-and: 2.6s (0.4% of total)
ival-asin: 2.4s (0.4% of total)
ival-expm1: 2.3s (0.3% of total)
ival-atan2: 2.0s (0.3% of total)
ival-acos: 1.9s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-log1p: 1.5s (0.2% of total)
ival-atan: 1.2s (0.2% of total)
ival->: 1.1s (0.2% of total)
ival-sinh: 918.0ms (0.1% of total)
ival-fmin: 802.0ms (0.1% of total)
ival-fmod: 746.0ms (0.1% of total)
ival-floor: 712.0ms (0.1% of total)
ival-==: 574.0ms (0.1% of total)
ival-cbrt: 556.0ms (0.1% of total)
ival-acosh: 548.0ms (0.1% of total)
ival-tanh: 467.0ms (0.1% of total)
ival-if: 447.0ms (0.1% of total)
ival-log2: 304.0ms (0% of total)
ival-asinh: 292.0ms (0% of total)
ival-fmax: 283.0ms (0% of total)
ival-atanh: 229.0ms (0% of total)
ival->=: 219.0ms (0% of total)
ival-cosh: 183.0ms (0% of total)
ival-or: 39.0ms (0% of total)
Bogosity

soundness11.7min (12.9%)

Memory
-376.5MiB live, 645 868.4MiB allocated
Rules
626 744×fma-define
483 669×fmm-def
466 557×log1p-expm1-u
387 759×associate-*r*
367 817×distribute-lft-in
Stop Event
1 900×node limit
352×fuel
190×done
163×saturated
23×unsound
Compiler

Compiled 457 545 to 129 708 computations (71.7% saved)

rewrite8.4min (9.2%)

Memory
-1 998.3MiB live, 453 060.8MiB allocated
Algorithm
1 885×batch-egg-rewrite
Rules
1 194 675×log1p-expm1-u
907 671×expm1-log1p-u
426 908×pow1
407 362×add-exp-log
384 555×add-log-exp
Stop Event
1 863×node limit
21×unsound
1×saturated
Counts
21 604 → 646 684

prune6.5min (7.2%)

Memory
-8 568.1MiB live, 589 752.2MiB allocated
Counts
1 446 626 → 39 721
Compiler

Compiled 1 939 833 to 993 256 computations (48.8% saved)

localize5.5min (6%)

Memory
3 781.4MiB live, 424 628.3MiB allocated
Samples
1.9min397 502×0valid
39.9s41 807×1valid
23.3s14 852×2valid
11.2s24 603×0invalid
9.8s3 322×5exit
3.8s1 637×3valid
2.5s5 062×1exit
1.4s3 375×0exit
1.3s605×1invalid
965.0ms168×4exit
757.0ms768×2exit
327.0ms86×3exit
261.0ms37×4valid
Compiler

Compiled 450 413 to 51 475 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 35.8s (24% of total)
ival-div: 28.3s (19% of total)
ival-add: 13.2s (8.8% of total)
ival-pow: 8.5s (5.7% of total)
ival-sin: 8.2s (5.5% of total)
ival-sub: 7.3s (4.9% of total)
ival-cos: 6.9s (4.6% of total)
adjust: 5.5s (3.7% of total)
...in/eval/compile.rkt:111:19: 5.2s (3.5% of total)
ival-pow2: 4.9s (3.3% of total)
ival-log: 4.3s (2.9% of total)
ival-sqrt: 3.7s (2.5% of total)
ival-exp: 2.9s (1.9% of total)
ival-tan: 2.5s (1.7% of total)
ival-neg: 2.0s (1.3% of total)
ival-hypot: 1.7s (1.2% of total)
ival-log1p: 1.4s (1% of total)
ival-cbrt: 1.2s (0.8% of total)
ival-asin: 709.0ms (0.5% of total)
ival-acos: 566.0ms (0.4% of total)
ival-expm1: 529.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 488.0ms (0.3% of total)
ival-atan2: 476.0ms (0.3% of total)
ival-pi: 466.0ms (0.3% of total)
ival-atan: 405.0ms (0.3% of total)
ival-true: 405.0ms (0.3% of total)
ival-fabs: 314.0ms (0.2% of total)
ival-copysign: 216.0ms (0.1% of total)
ival-assert: 204.0ms (0.1% of total)
ival-fmod: 173.0ms (0.1% of total)
ival-if: 171.0ms (0.1% of total)
ival-fmax: 150.0ms (0.1% of total)
ival-cosh: 94.0ms (0.1% of total)
ival-log2: 93.0ms (0.1% of total)
ival-floor: 90.0ms (0.1% of total)
ival-sinh: 45.0ms (0% of total)
ival->=: 38.0ms (0% of total)
ival-e: 20.0ms (0% of total)
ival->: 14.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-<: 4.0ms (0% of total)

eval5.2min (5.7%)

Memory
7 561.4MiB live, 432 898.4MiB allocated
Compiler

Compiled 51 580 209 to 5 574 131 computations (89.2% saved)

regimes4.0min (4.4%)

Memory
-900.5MiB live, 315 081.9MiB allocated
Counts
109 251 → 9 033
Calls

1 224 calls:

17.9s
x
14.6s
y
12.2s
z
9.4s
t
9.2s
a
Compiler

Compiled 100 396 to 72 926 computations (27.4% saved)

series3.1min (3.4%)

Memory
1 625.4MiB live, 248 199.7MiB allocated
Counts
21 604 → 481 709
Calls

117498 calls:

TimeVariablePointExpression
1.2s
x
@inf
(+ (* -1 (/ (- x lo) lo)) (* hi (- (+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo)) (/ x (pow lo 2)))))
579.0ms
n
@-inf
(/ (* n (- n (* -1 n))) f)
508.0ms
y
@-inf
(+ (* z (log (+ 1 (* (pow (cbrt y) 2) (neg (cbrt y)))))) (- (* x (log y)) t))
441.0ms
y
@0
(* x (- (log (/ x (sqrt y))) (log (sqrt y))))
424.0ms
t
@-inf
(* x (/ (- (/ (- 1 z) t) (/ z y)) (* (/ (- 1 z) t) (/ z y))))

preprocess2.4min (2.7%)

Memory
-2 136.2MiB live, 138 373.1MiB 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 373 532 to 139 282 computations (62.7% saved)

bsearch2.4min (2.6%)

Memory
1 167.6MiB live, 164 198.8MiB allocated
Algorithm
4 101×binary-search
535×left-value
Stop Event
3 988×narrow-enough
111×predicate-same
2×predicate-failed
Samples
1.2min459 907×0valid
16.0s34 204×1valid
4.1s26 485×0invalid
2.3s5 241×2valid
1.6s1 836×5exit
563.0ms2 189×1invalid
526.0ms664×3valid
197.0ms548×2invalid
18.0ms213×0exit
13.0ms42×1exit
4.0ms1×3exit
Compiler

Compiled 987 507 to 706 554 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 22.2s (30.6% of total)
ival-sub: 11.7s (16.1% of total)
ival-div: 6.4s (8.9% of total)
ival-add: 6.4s (8.8% of total)
ival-sin: 5.5s (7.6% of total)
ival-cos: 4.3s (5.9% of total)
ival-log: 2.1s (2.9% of total)
...in/eval/compile.rkt:111:19: 1.9s (2.7% of total)
ival-pow: 1.7s (2.4% of total)
adjust: 1.7s (2.3% of total)
ival-sqrt: 1.6s (2.2% of total)
ival-pow2: 1.3s (1.8% of total)
ival-exp: 1.2s (1.7% of total)
ival-tan: 1.2s (1.6% of total)
ival-hypot: 852.0ms (1.2% of total)
ival-neg: 657.0ms (0.9% of total)
ival-true: 378.0ms (0.5% of total)
ival-atan2: 340.0ms (0.5% of total)
ival-assert: 202.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 195.0ms (0.3% of total)
ival-acos: 173.0ms (0.2% of total)
ival-fabs: 97.0ms (0.1% of total)
ival-asin: 95.0ms (0.1% of total)
ival-atan: 87.0ms (0.1% of total)
ival-pi: 56.0ms (0.1% of total)
ival-copysign: 14.0ms (0% of total)
ival-fmod: 13.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-if: 9.0ms (0% of total)
ival->=: 8.0ms (0% of total)
ival-cbrt: 8.0ms (0% of total)
ival-log1p: 7.0ms (0% of total)
ival-sinh: 7.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)
ival-expm1: 1.0ms (0% of total)

explain2.2min (2.5%)

Memory
1 565.4MiB live, 168 475.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation904642
sqrt.f64#foflow-rescue52540
log.f64#fsensitivity34766
cos.f64#fsensitivity33102
+.f64#fcancellation3135118
/.f64#fo/n19670
sin.f64#fsensitivity19563
/.f64#fo/o18080
-.f64#fnan-rescue12990
log.f32#fsensitivity115477
*.f64#fn*o11050
/.f64#fu/u10290
/.f64#fn/o10240
sqrt.f64#fuflow-rescue9080
+.f64#fnan-rescue8050
/.f64#fu/n7170
sqrt.f32#foflow-rescue5580
acos.f64#fsensitivity5345
*.f64#fn*u4670
-.f32#fcancellation42032
tan.f64#fsensitivity4111
pow.f64#fsensitivity40038
/.f64#fn/u2900
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2210
exp.f64#fsensitivity21026
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19316
cos.f32#fsensitivity19216
*.f64#fu*o1910
cos.f64#foflow-rescue1660
pow.f64#foflow-rescue1580
/.f32#fo/n1380
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)))))))sensitivity1340
*.f64#fo*u1340
log.f64#foflow-rescue1090
log.f64#fuflow-rescue820
cbrt.f64#foflow-rescue820
pow.f64#fuflow-rescue750
cbrt.f64#fuflow-rescue330
sin.f64#foflow-rescue270
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
exp.f32#fsensitivity2522
/.f32#fu/n160
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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow286
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow143
↳(*.f32 eta eta)underflow13
/.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))overflow13
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow13
/.f32#fo/o60
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
*.f32#fn*o20
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue20
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow2
↳(*.f32 x x)overflow117
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow117
sin.f64#fcancellation20
Confusion
Predicted +Predicted -
+308071170
-5971100804
Precision
0.8376475066615912
Recall
0.9634112018012947
Confusion?
Predicted +Predicted MaybePredicted -
+30807243927
-5971376100428
Precision?
0.830280503783726
Recall?
0.971010413734872
Freqs
test
numberfreq
0101974
131062
24642
3603
4282
5121
634
728
83
92
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+34324
-161176
Precision?
0.9530386740331491
Recall?
0.9885386819484241
Samples
28.8s233 292×0valid
12.7s31 992×1valid
8.1s10 996×2valid
1.0s1 118×3valid
109.0ms16×5exit
12.0ms88×1exit
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 34.0s
ival-mult: 8.6s (25.3% of total)
ival-div: 3.4s (10% of total)
ival-sin: 2.7s (7.9% of total)
ival-sub: 2.5s (7.4% of total)
ival-add: 2.5s (7.4% of total)
ival-log: 2.1s (6.3% of total)
ival-cos: 1.9s (5.7% of total)
ival-tan: 1.6s (4.8% of total)
adjust: 1.5s (4.3% of total)
ival-pow: 1.3s (3.7% of total)
ival-exp: 1.1s (3.3% of total)
ival-sqrt: 924.0ms (2.7% of total)
...in/eval/compile.rkt:111:19: 786.0ms (2.3% of total)
ival-pow2: 589.0ms (1.7% of total)
ival-hypot: 431.0ms (1.3% of total)
ival-neg: 326.0ms (1% of total)
ival-floor: 293.0ms (0.9% of total)
ival-true: 240.0ms (0.7% of total)
ival-pi: 166.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 120.0ms (0.4% of total)
ival-assert: 113.0ms (0.3% of total)
ival-sinh: 93.0ms (0.3% of total)
ival-asin: 85.0ms (0.2% of total)
ival-atan2: 83.0ms (0.2% of total)
ival-log1p: 77.0ms (0.2% of total)
ival-acos: 76.0ms (0.2% of total)
ival-atan: 73.0ms (0.2% of total)
ival-fabs: 60.0ms (0.2% of total)
ival-cbrt: 43.0ms (0.1% of total)
ival-expm1: 30.0ms (0.1% of total)
ival-fmod: 27.0ms (0.1% of total)
ival-if: 24.0ms (0.1% of total)
ival-fmax: 16.0ms (0% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.5min (1.6%)

Memory
162.7MiB live, 107 941.0MiB 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.2%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.8%0%4
67.7%54.3%25.9%15.6%0%4.3%0%5
71.6%57.1%22.7%15.6%0%4.7%0%6
75.5%59.8%19.4%15.6%0%5.2%0%7
77.5%61.1%17.7%15.6%0%5.6%0%8
80.1%62.9%15.6%15.6%0%5.9%0%9
81.7%63.9%14.3%15.6%0%6.2%0%10
83.9%65.5%12.6%15.6%0%6.4%0%11
85%66.2%11.6%15.6%0%6.6%0%12
Compiler

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

end3.0ms (0%)

Memory
9.4MiB live, 8.9MiB allocated

Profiling

Loading profile data...