Herbie run

Date:Saturday, July 6th, 2024
Commit:2ce46aa0 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024188
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)

sample18.8min (20.2%)

Memory
5 080.1MiB live, 1 279 042.9MiB allocated
Samples
7.6min3 885 283×0valid
2.7min441 516×1valid
1.4min33 044×5exit
1.3min133 068×2valid
55.7s315 701×0invalid
15.6s14 887×3valid
8.9s51 102×0exit
6.9s28 367×1invalid
5.4s20 105×1exit
943.0ms605×4exit
571.0ms1 469×2invalid
229.0ms122×3exit
222.0ms52×4valid
201.0ms1 246×2exit
Precisions
Click to see histograms. Total time spent on operations: 11.1min
ival-mult: 2.2min (20.2% of total)
ival-div: 1.1min (9.6% of total)
ival-sin: 59.0s (8.9% of total)
ival-add: 51.7s (7.8% of total)
ival-sub: 47.4s (7.1% of total)
ival-pow: 46.2s (7% of total)
ival-cos: 35.4s (5.3% of total)
...in/eval/compile.rkt:111:19: 32.5s (4.9% of total)
ival-tan: 27.8s (4.2% of total)
ival-log: 24.6s (3.7% of total)
adjust: 22.5s (3.4% of total)
ival-exp: 22.0s (3.3% of total)
ival-sqrt: 18.2s (2.7% of total)
ival-pow2: 14.0s (2.1% of total)
ival-<=: 12.8s (1.9% of total)
ival-neg: 6.1s (0.9% of total)
ival-hypot: 4.5s (0.7% of total)
ival-fabs: 4.0s (0.6% of total)
ival-<: 3.6s (0.5% of total)
ival-acos: 3.0s (0.4% of total)
ival-true: 2.8s (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-pi: 2.5s (0.4% of total)
ival-expm1: 2.1s (0.3% of total)
ival-assert: 2.0s (0.3% of total)
ival-asin: 1.8s (0.3% of total)
ival->: 1.7s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-log1p: 1.6s (0.2% of total)
ival-atan: 1.5s (0.2% of total)
ival-sinh: 1.0s (0.2% of total)
ival-fmod: 924.0ms (0.1% of total)
ival-floor: 887.0ms (0.1% of total)
ival-==: 673.0ms (0.1% of total)
ival-fmin: 607.0ms (0.1% of total)
ival-cbrt: 606.0ms (0.1% of total)
ival-log2: 588.0ms (0.1% of total)
ival-asinh: 512.0ms (0.1% of total)
ival-cosh: 492.0ms (0.1% of total)
ival-if: 407.0ms (0.1% of total)
ival-fmax: 305.0ms (0% of total)
ival->=: 216.0ms (0% of total)
ival-acosh: 216.0ms (0% of total)
ival-atanh: 131.0ms (0% of total)
ival-tanh: 119.0ms (0% of total)
ival-or: 36.0ms (0% of total)
Bogosity

simplify18.5min (20%)

Memory
361.0MiB live, 1 141 772.9MiB allocated
Algorithm
4 354×egg-herbie
Rules
1 615 822×fma-define
1 225 576×fmm-def
871 320×distribute-lft-in
861 730×associate-*r*
840 247×times-frac
Stop Event
2 836×node limit
1 486×saturated
32×unsound
Counts
1 133 614 → 976 824

soundness12.0min (13%)

Memory
-144.3MiB live, 634 970.8MiB allocated
Rules
657 643×fma-define
486 316×log1p-expm1-u
481 002×fmm-def
401 358×associate-*r*
395 312×times-frac
Stop Event
1 951×node limit
355×fuel
186×done
161×saturated
22×unsound
Compiler

Compiled 419 151 to 129 323 computations (69.1% saved)

prune9.3min (10%)

Memory
-6 902.1MiB live, 723 029.5MiB allocated
Counts
1 440 625 → 39 946
Compiler

Compiled 1 903 201 to 985 511 computations (48.2% saved)

rewrite8.5min (9.2%)

Memory
-120.5MiB live, 444 776.2MiB allocated
Algorithm
1 883×batch-egg-rewrite
Rules
1 188 303×log1p-expm1-u
899 081×expm1-log1p-u
423 021×pow1
403 590×add-exp-log
382 927×add-log-exp
Stop Event
1 865×node limit
16×unsound
2×saturated
Counts
21 630 → 650 033

localize5.6min (6%)

Memory
3 871.1MiB live, 421 190.2MiB allocated
Samples
1.7min394 807×0valid
41.3s41 837×1valid
23.8s16 527×2valid
16.5s4 065×5exit
12.9s25 774×0invalid
7.1s1 741×3valid
2.7s4 036×1exit
1.8s133×3exit
1.3s949×1invalid
936.0ms2 796×0exit
918.0ms286×4exit
752.0ms868×2exit
394.0ms125×3invalid
137.0ms108×2invalid
84.0ms28×4valid
Compiler

Compiled 454 776 to 51 635 computations (88.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 35.4s (23.2% of total)
ival-div: 21.1s (13.8% of total)
ival-add: 12.9s (8.4% of total)
adjust: 11.5s (7.5% of total)
ival-sin: 11.0s (7.2% of total)
ival-pow: 6.9s (4.5% of total)
ival-pow2: 6.8s (4.5% of total)
ival-cos: 6.7s (4.4% of total)
ival-sub: 6.7s (4.4% of total)
...in/eval/compile.rkt:111:19: 5.7s (3.7% of total)
ival-tan: 4.6s (3% of total)
ival-sqrt: 4.3s (2.8% of total)
ival-log: 4.2s (2.8% of total)
ival-exp: 3.0s (2% of total)
ival-hypot: 1.7s (1.1% of total)
ival-neg: 1.5s (1% of total)
ival-log1p: 1.4s (0.9% of total)
ival-cbrt: 1.4s (0.9% of total)
ival-expm1: 849.0ms (0.6% of total)
ival-atan2: 739.0ms (0.5% of total)
ival-asin: 677.0ms (0.4% of total)
ival-fabs: 528.0ms (0.3% of total)
ival-acos: 500.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 499.0ms (0.3% of total)
ival-true: 411.0ms (0.3% of total)
ival-atan: 360.0ms (0.2% of total)
ival-pi: 237.0ms (0.2% of total)
ival-fmod: 211.0ms (0.1% of total)
ival-assert: 205.0ms (0.1% of total)
ival-if: 173.0ms (0.1% of total)
ival-fmax: 143.0ms (0.1% of total)
ival-log2: 96.0ms (0.1% of total)
ival-floor: 93.0ms (0.1% of total)
ival-copysign: 72.0ms (0% of total)
ival-sinh: 63.0ms (0% of total)
ival-e: 51.0ms (0% of total)
ival-cosh: 46.0ms (0% of total)
ival->=: 39.0ms (0% of total)
ival->: 16.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-<: 7.0ms (0% of total)

eval5.3min (5.7%)

Memory
6 791.3MiB live, 424 675.8MiB allocated
Compiler

Compiled 52 930 144 to 5 532 580 computations (89.5% saved)

regimes3.5min (3.8%)

Memory
686.4MiB live, 298 957.1MiB allocated
Counts
104 986 → 8 817
Calls

1 221 calls:

18.4s
x
12.8s
y
12.1s
z
8.9s
t
8.2s
a
Compiler

Compiled 94 878 to 69 144 computations (27.1% saved)

series3.1min (3.3%)

Memory
1 408.3MiB live, 242 394.2MiB allocated
Counts
21 630 → 483 581
Calls

118425 calls:

TimeVariablePointExpression
721.0ms
dX.w
@inf
(exp (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* dX.w (floor d)) 2)) (pow (* (floor d) dY.w) 2))) 1/2))
572.0ms
im
@-inf
(log (+ 1 (log im)))
455.0ms
x
@0
(pow x 1/4)
419.0ms
angle
@0
(* 180 (/ (atan (/ (* 90 (* (* x-scale y-scale) (* 2 (- (/ (pow a 2) (pow y-scale 2)) (/ (pow b 2) (pow x-scale 2)))))) (* (* angle (PI)) (- (pow b 2) (pow a 2))))) (PI)))
412.0ms
y
@inf
(* x (pow (E) (log (log (/ x y)))))

preprocess2.5min (2.7%)

Memory
-3 432.1MiB live, 136 740.2MiB 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 350 968 to 136 278 computations (61.2% saved)

explain2.1min (2.3%)

Memory
1 209.1MiB live, 170 945.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation897145
sqrt.f64#foflow-rescue52170
log.f64#fsensitivity35061
cos.f64#fsensitivity32023
+.f64#fcancellation3105145
/.f64#fo/n19020
sin.f64#fsensitivity18843
/.f64#fo/o17330
-.f64#fnan-rescue12510
log.f32#fsensitivity112575
*.f64#fn*o11220
/.f64#fu/u10560
/.f64#fn/o10450
sqrt.f64#fuflow-rescue9410
+.f64#fnan-rescue7800
/.f64#fu/n7470
sqrt.f32#foflow-rescue5620
acos.f64#fsensitivity5282
*.f64#fn*u4480
tan.f64#fsensitivity4190
pow.f64#fsensitivity41547
-.f32#fcancellation41337
/.f64#fn/u2970
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2080
cos.f64#foflow-rescue2050
exp.f64#fsensitivity19341
cos.f32#fsensitivity19112
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19115
pow.f64#foflow-rescue1600
*.f64#fu*o1570
*.f64#fo*u1320
asin.f64#fsensitivity1261
/.f32#fo/n1240
log.f64#foflow-rescue940
cbrt.f64#foflow-rescue780
log.f64#fuflow-rescue660
pow.f64#fuflow-rescue590
cbrt.f64#fuflow-rescue500
sin.f64#foflow-rescue480
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue470
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow47
exp.f32#fsensitivity4121
/.f32#fu/n220
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-rescue150
↳(*.f32 sinTheta_O sinTheta_O)underflow298
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow15
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow149
↳(*.f32 eta eta)underflow15
/.f32#fo/o140
/.f32#fn/o50
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u40
log.f32#foflow-rescue40
Confusion
Predicted +Predicted -
+304211238
-5970101123
Precision
0.8359484487922838
Recall
0.9608957958242522
Confusion?
Predicted +Predicted MaybePredicted -
+30421270968
-5970410100713
Precision?
0.827897817701168
Recall?
0.9694241763795445
Freqs
test
numberfreq
0102361
130631
24680
3633
4285
5108
634
713
85
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+34141
-112183
Precision?
0.9636871508379888
Recall?
0.9971098265895953
Samples
27.7s233 320×0valid
11.9s32 046×1valid
8.0s10 830×2valid
1.3s1 190×3valid
18.0ms102×1exit
9.0ms6×4valid
5.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 33.3s
ival-mult: 7.5s (22.5% of total)
ival-div: 4.1s (12.4% of total)
ival-sub: 3.7s (11.1% of total)
ival-sin: 2.9s (8.6% of total)
ival-add: 2.6s (7.7% of total)
ival-cos: 1.9s (5.7% of total)
adjust: 1.7s (5.1% of total)
ival-log: 1.5s (4.5% of total)
ival-tan: 1.0s (3.1% of total)
ival-exp: 1.0s (3.1% of total)
ival-pow2: 858.0ms (2.6% of total)
ival-sqrt: 784.0ms (2.4% of total)
ival-hypot: 732.0ms (2.2% of total)
...in/eval/compile.rkt:111:19: 630.0ms (1.9% of total)
ival-pow: 454.0ms (1.4% of total)
ival-neg: 295.0ms (0.9% of total)
ival-true: 245.0ms (0.7% of total)
ival-pi: 167.0ms (0.5% of total)
ival-atan: 148.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 120.0ms (0.4% of total)
ival-assert: 113.0ms (0.3% of total)
ival-fabs: 110.0ms (0.3% of total)
ival-asin: 96.0ms (0.3% of total)
ival-log1p: 91.0ms (0.3% of total)
ival-atan2: 88.0ms (0.3% of total)
ival-acos: 73.0ms (0.2% of total)
ival-if: 67.0ms (0.2% of total)
ival-sinh: 51.0ms (0.2% of total)
ival-tanh: 45.0ms (0.1% of total)
ival-floor: 39.0ms (0.1% of total)
ival-cbrt: 37.0ms (0.1% of total)
ival-expm1: 30.0ms (0.1% of total)
ival-fmod: 28.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->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

bsearch2.0min (2.1%)

Memory
620.0MiB live, 152 226.3MiB allocated
Algorithm
3 948×binary-search
543×left-value
Stop Event
3 850×narrow-enough
98×predicate-same
Samples
1.0min448 856×0valid
13.7s31 865×1valid
2.8s6 239×2valid
2.6s20 399×0invalid
430.0ms527×3valid
176.0ms1 345×1invalid
90.0ms791×0exit
33.0ms113×1exit
4.0ms14×2invalid
0.0ms1×4valid
Compiler

Compiled 925 833 to 671 719 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.0s
ival-mult: 17.5s (29.6% of total)
ival-sub: 7.4s (12.5% of total)
ival-add: 6.9s (11.7% of total)
ival-div: 5.8s (9.9% of total)
ival-sin: 4.1s (6.9% of total)
ival-cos: 3.8s (6.5% of total)
...in/eval/compile.rkt:111:19: 2.1s (3.6% of total)
ival-pow: 1.5s (2.6% of total)
ival-log: 1.5s (2.5% of total)
ival-sqrt: 1.3s (2.2% of total)
ival-exp: 1.2s (2.1% of total)
ival-pow2: 1.2s (2% of total)
adjust: 1.1s (1.9% of total)
ival-hypot: 718.0ms (1.2% of total)
ival-tan: 656.0ms (1.1% of total)
ival-neg: 581.0ms (1% of total)
ival-true: 370.0ms (0.6% of total)
ival-atan2: 273.0ms (0.5% of total)
ival-assert: 200.0ms (0.3% of total)
ival-acos: 196.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 174.0ms (0.3% of total)
ival-atan: 81.0ms (0.1% of total)
ival-sinh: 71.0ms (0.1% of total)
ival-fabs: 65.0ms (0.1% of total)
ival-pi: 40.0ms (0.1% of total)
ival-log1p: 20.0ms (0% of total)
ival-tanh: 15.0ms (0% of total)
ival-cbrt: 13.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival-asin: 11.0ms (0% of total)
ival-if: 11.0ms (0% of total)
ival-fmod: 11.0ms (0% of total)
ival->=: 9.0ms (0% of total)
ival-cosh: 9.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)

analyze1.6min (1.7%)

Memory
122.1MiB live, 110 005.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)

end4.0ms (0%)

Memory
-27.9MiB live, 8.9MiB allocated

Profiling

Loading profile data...