Herbie run

Date:Saturday, June 29th, 2024
Commit:e9990e25 on zane-job-abstraction5
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.5min (21%)

Memory
3 830.5MiB live, 1 312 217.8MiB allocated
Samples
7.6min3 885 143×0valid
2.8min455 929×1valid
2.1min41 531×5exit
1.1min116 243×2valid
1.0min309 137×0invalid
26.5s15 522×3valid
7.8s50 046×0exit
5.7s23 084×1invalid
5.6s1 943×4valid
1.2s1 830×2invalid
76.0ms8×5valid
32.0ms1×4exit
13.0ms27×1exit
11.0ms24×3invalid
Precisions
Click to see histograms. Total time spent on operations: 11.9min
ival-mult: 2.2min (18.9% of total)
ival-pow: 1.2min (10.1% of total)
ival-sin: 1.2min (9.9% of total)
ival-div: 1.0min (8.7% of total)
ival-add: 51.2s (7.2% of total)
ival-sub: 47.3s (6.6% of total)
...in/eval/compile.rkt:111:19: 39.6s (5.6% of total)
ival-cos: 37.3s (5.2% of total)
ival-tan: 25.5s (3.6% of total)
ival-log: 24.2s (3.4% of total)
ival-exp: 23.7s (3.3% of total)
adjust: 21.1s (3% of total)
ival-sqrt: 20.6s (2.9% of total)
ival-<=: 14.5s (2% of total)
ival-pow2: 13.7s (1.9% of total)
ival-neg: 6.4s (0.9% of total)
ival-fabs: 6.0s (0.8% of total)
ival-hypot: 4.5s (0.6% of total)
ival-<: 3.5s (0.5% of total)
ival-expm1: 2.9s (0.4% of total)
ival-log1p: 2.9s (0.4% of total)
ival-true: 2.9s (0.4% of total)
ival-pi: 2.7s (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-acos: 2.0s (0.3% of total)
ival-asin: 2.0s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-atan2: 1.6s (0.2% of total)
ival-atan: 1.5s (0.2% of total)
ival->: 1.0s (0.1% of total)
ival-floor: 1.0s (0.1% of total)
ival-fmod: 910.0ms (0.1% of total)
ival-sinh: 767.0ms (0.1% of total)
ival-fmin: 729.0ms (0.1% of total)
ival-cbrt: 572.0ms (0.1% of total)
ival-cosh: 491.0ms (0.1% of total)
ival-==: 432.0ms (0.1% of total)
ival-asinh: 377.0ms (0.1% of total)
ival-log2: 358.0ms (0.1% of total)
ival-if: 326.0ms (0% of total)
ival-acosh: 301.0ms (0% of total)
ival-fmax: 271.0ms (0% of total)
ival-atanh: 241.0ms (0% of total)
ival->=: 208.0ms (0% of total)
ival-tanh: 80.0ms (0% of total)
ival-or: 37.0ms (0% of total)
Bogosity

simplify19.2min (20.8%)

Memory
655.3MiB live, 1 193 609.2MiB 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.3min (13.3%)

Memory
276.8MiB live, 658 256.9MiB 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 936 computations (71.2% saved)

rewrite8.4min (9.1%)

Memory
-866.3MiB live, 442 886.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.6min (7.1%)

Memory
-6 922.3MiB live, 580 468.2MiB allocated
Counts
1 451 278 → 39 916
Compiler

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

localize5.7min (6.2%)

Memory
3 768.8MiB live, 434 239.8MiB allocated
Samples
1.8min399 456×0valid
45.0s47 441×1valid
28.3s5 559×5exit
18.3s12 155×2valid
11.5s25 595×0invalid
7.1s2 219×3valid
1.3s248×4valid
913.0ms2 639×0exit
822.0ms744×1invalid
127.0ms61×2invalid
12.0ms10×1exit
2.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: 39.7s (24.8% of total)
ival-div: 19.2s (12% of total)
ival-add: 14.5s (9.1% of total)
ival-pow: 9.3s (5.8% of total)
ival-tan: 9.0s (5.6% of total)
ival-sin: 9.0s (5.6% of total)
ival-cos: 7.6s (4.7% of total)
ival-sub: 7.5s (4.7% of total)
...in/eval/compile.rkt:111:19: 6.2s (3.9% of total)
adjust: 5.4s (3.4% of total)
ival-pow2: 5.1s (3.2% of total)
ival-log: 4.5s (2.8% of total)
ival-sqrt: 3.5s (2.2% of total)
ival-exp: 3.5s (2.2% of total)
ival-log1p: 3.0s (1.8% of total)
ival-hypot: 2.5s (1.6% of total)
ival-neg: 2.0s (1.2% of total)
ival-expm1: 1.8s (1.1% of total)
ival-cbrt: 1.2s (0.8% of total)
ival-acos: 768.0ms (0.5% of total)
ival-atan2: 767.0ms (0.5% of total)
ival-fmax: 559.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 513.0ms (0.3% of total)
ival-true: 442.0ms (0.3% of total)
ival-asin: 439.0ms (0.3% of total)
ival-fabs: 336.0ms (0.2% of total)
ival-atan: 294.0ms (0.2% of total)
ival-fmod: 265.0ms (0.2% of total)
ival-pi: 206.0ms (0.1% of total)
ival-assert: 204.0ms (0.1% of total)
ival-if: 197.0ms (0.1% of total)
ival-floor: 152.0ms (0.1% of total)
ival-log2: 131.0ms (0.1% of total)
ival-cosh: 83.0ms (0.1% of total)
ival-copysign: 76.0ms (0% of total)
ival-sinh: 62.0ms (0% of total)
ival->=: 31.0ms (0% of total)
ival->: 24.0ms (0% of total)
ival-e: 20.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-<: 6.0ms (0% of total)

eval5.6min (6%)

Memory
7 242.0MiB live, 431 920.1MiB allocated
Compiler

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

regimes3.8min (4.1%)

Memory
95.8MiB live, 320 040.3MiB allocated
Counts
110 510 → 9 075
Calls

1 224 calls:

16.6s
x
14.1s
y
11.4s
z
8.4s
b
8.3s
a
Compiler

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

series3.0min (3.2%)

Memory
1 462.8MiB live, 239 142.5MiB allocated
Counts
21 471 → 485 057
Calls

118128 calls:

TimeVariablePointExpression
744.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))))))
428.0ms
angle
@-inf
(log (pow (exp (/ y-scale (* (* (- (pow b 2) (pow a 2)) (sin (* angle (* (PI) 1/180)))) (/ (cos (* angle (* (PI) 1/180))) x-scale)))) (* (- (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)) (+ (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (sqrt (+ (* (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2))) (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)))) (* (* (cos (* angle (* (PI) 1/180))) (/ (* (sin (* angle (* (PI) 1/180))) (* 2 (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* (cos (* angle (* (PI) 1/180))) (/ (* (sin (* angle (* (PI) 1/180))) (* 2 (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))) 1/2)))
409.0ms
x
@inf
(cbrt (* x (log (/ x y))))
401.0ms
beta
@0
(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i i))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
393.0ms
angle
@0
(pow (* a (cos (* 1/180 (* angle (PI))))) 2)

preprocess2.6min (2.8%)

Memory
-2 548.1MiB live, 139 909.7MiB 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 610 to 141 418 computations (62.9% saved)

bsearch2.4min (2.6%)

Memory
192.4MiB live, 175 466.7MiB 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.3s33 364×1valid
4.2s22 792×0invalid
3.6s2 831×5exit
2.0s4 410×2valid
1.2s1 454×3valid
153.0ms1 167×0exit
138.0ms952×1invalid
72.0ms1×5valid
60.0ms17×4valid
21.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: 23.1s (32% of total)
ival-sub: 9.0s (12.5% of total)
ival-add: 7.2s (10% of total)
ival-div: 6.3s (8.8% of total)
ival-sin: 4.6s (6.4% of total)
ival-pow: 4.2s (5.8% of total)
ival-cos: 4.2s (5.8% of total)
...in/eval/compile.rkt:111:19: 2.3s (3.2% of total)
adjust: 1.7s (2.3% of total)
ival-sqrt: 1.6s (2.2% of total)
ival-log: 1.4s (2% of total)
ival-exp: 1.4s (1.9% of total)
ival-pow2: 1.1s (1.5% of total)
ival-tan: 921.0ms (1.3% of total)
ival-hypot: 747.0ms (1% of total)
ival-atan2: 455.0ms (0.6% of total)
ival-true: 400.0ms (0.6% of total)
ival-neg: 378.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 201.0ms (0.3% of total)
ival-assert: 200.0ms (0.3% of total)
ival-fabs: 143.0ms (0.2% of total)
ival-acos: 125.0ms (0.2% of total)
ival-copysign: 109.0ms (0.2% of total)
ival-atan: 105.0ms (0.1% of total)
ival-pi: 70.0ms (0.1% of total)
ival-fmod: 58.0ms (0.1% of total)
ival-log1p: 20.0ms (0% of total)
ival-asin: 16.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)
ival-sinh: 13.0ms (0% of total)
ival-cbrt: 7.0ms (0% of total)
ival-if: 7.0ms (0% of total)
ival->=: 5.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)
ival-expm1: 3.0ms (0% of total)

explain2.2min (2.4%)

Memory
26.0MiB live, 168 678.0MiB 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
26.6s233 274×0valid
12.7s33 318×1valid
6.8s9 360×2valid
1.6s1 190×3valid
452.0ms150×4valid
263.0ms118×5exit
18.0ms44×2invalid
14.0ms50×1invalid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 33.0s
ival-mult: 7.0s (21.3% of total)
ival-sin: 3.4s (10.4% of total)
ival-div: 3.1s (9.5% of total)
ival-add: 2.9s (8.9% of total)
ival-cos: 2.5s (7.6% of total)
adjust: 2.1s (6.5% of total)
ival-sub: 2.0s (6.1% of total)
ival-log: 2.0s (6.1% of total)
ival-tan: 1.6s (4.9% of total)
ival-sqrt: 1.0s (3.1% of total)
ival-exp: 975.0ms (3% of total)
...in/eval/compile.rkt:111:19: 935.0ms (2.8% of total)
ival-pow2: 623.0ms (1.9% of total)
ival-pow: 487.0ms (1.5% of total)
ival-neg: 425.0ms (1.3% of total)
ival-true: 250.0ms (0.8% of total)
ival-hypot: 217.0ms (0.7% of total)
ival-acos: 149.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 123.0ms (0.4% of total)
ival-atan: 116.0ms (0.4% of total)
ival-assert: 112.0ms (0.3% of total)
ival-atan2: 93.0ms (0.3% of total)
ival-pi: 87.0ms (0.3% of total)
ival-asin: 84.0ms (0.3% of total)
ival-cosh: 68.0ms (0.2% of total)
ival-log1p: 66.0ms (0.2% of total)
ival-fabs: 59.0ms (0.2% of total)
ival-floor: 44.0ms (0.1% of total)
ival-cbrt: 41.0ms (0.1% of total)
ival-fmod: 41.0ms (0.1% of total)
ival-expm1: 35.0ms (0.1% of total)
ival-sinh: 32.0ms (0.1% of total)
ival-if: 23.0ms (0.1% of total)
ival-fmax: 17.0ms (0.1% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.4min (1.5%)

Memory
1 035.3MiB live, 107 546.3MiB 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
10.6MiB live, 9.6MiB allocated

Profiling

Loading profile data...