Herbie run

Date:Tuesday, June 25th, 2024
Commit:c8a5274a on zane-job-abstraction-places
Hostname:nightly with Racket 8.11.1
Seed:2024177
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: 8.5min)

sample2.1min (25.2%)

Memory
714.8MiB live, 139 991.6MiB allocated
Samples
50.0s434 438×0valid
41.4s7 823×5exit
10.8s29 045×1valid
2.3s6 739×2valid
485.0ms4 094×0exit
372.0ms373×3valid
300.0ms496×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 35.3s (40.5% of total)
ival-mult: 15.8s (18.2% of total)
ival-add: 6.2s (7.1% of total)
...in/eval/compile.rkt:77:19: 4.5s (5.2% of total)
ival-div: 4.4s (5.1% of total)
ival-exp: 3.6s (4.1% of total)
adjust: 2.7s (3.1% of total)
ival-sqrt: 2.2s (2.5% of total)
ival-sub: 2.1s (2.4% of total)
ival-log: 2.0s (2.3% of total)
ival-cos: 1.2s (1.3% of total)
ival-pow: 1.1s (1.2% of total)
ival-asin: 1.0s (1.2% of total)
ival-atan2: 1.0s (1.2% of total)
ival-asinh: 767.0ms (0.9% of total)
ival-pi: 725.0ms (0.8% of total)
ival->: 325.0ms (0.4% of total)
ival-fabs: 301.0ms (0.3% of total)
ival-neg: 296.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 263.0ms (0.3% of total)
ival-true: 263.0ms (0.3% of total)
ival-acosh: 251.0ms (0.3% of total)
ival-atanh: 230.0ms (0.3% of total)
ival-<=: 190.0ms (0.2% of total)
ival-assert: 179.0ms (0.2% of total)
ival->=: 76.0ms (0.1% of total)
ival-and: 70.0ms (0.1% of total)
Bogosity

simplify1.7min (20.6%)

Memory
498.5MiB live, 88 629.1MiB allocated
Algorithm
430×egg-herbie
Rules
158 493×fma-define
115 113×fmm-def
94 835×distribute-lft-in
80 962×distribute-rgt-in
78 013×associate-*r*
Stop Event
279×node limit
143×saturated
8×unsound
Counts
94 191 → 91 422

soundness58.7s (11.5%)

Memory
135.8MiB live, 49 258.0MiB allocated
Rules
61 378×log1p-expm1-u
56 118×fma-define
46 074×fmm-def
42 065×associate-*r*
41 638×expm1-log1p-u
Stop Event
193×node limit
35×fuel
22×done
17×saturated
12×unsound
Compiler

Compiled 43 013 to 12 973 computations (69.8% saved)

rewrite48.3s (9.5%)

Memory
-112.4MiB live, 39 208.5MiB allocated
Algorithm
184×batch-egg-rewrite
Rules
122 335×log1p-expm1-u
88 777×expm1-log1p-u
38 276×pow1
37 648×add-exp-log
36 496×add-log-exp
Stop Event
174×node limit
10×unsound
Counts
2 093 → 58 178

prune35.8s (7%)

Memory
-688.6MiB live, 49 922.4MiB allocated
Counts
138 996 → 3 124
Compiler

Compiled 142 353 to 74 467 computations (47.7% saved)

localize33.7s (6.6%)

Memory
-0.9MiB live, 39 238.7MiB allocated
Samples
8.7s37 392×0valid
4.4s3 982×1valid
3.6s903×5exit
2.8s4 944×0invalid
1.2s906×2valid
94.0ms111×1invalid
43.0ms129×0exit
8.0ms17×3valid
Compiler

Compiled 44 864 to 5 349 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.5s
ival-mult: 3.5s (22.4% of total)
ival-pow: 1.8s (11.6% of total)
ival-log: 1.4s (9.3% of total)
ival-add: 1.4s (9.2% of total)
ival-div: 1.3s (8.5% of total)
...in/eval/compile.rkt:77:19: 908.0ms (5.9% of total)
ival-sin: 864.0ms (5.6% of total)
adjust: 679.0ms (4.4% of total)
ival-sub: 553.0ms (3.6% of total)
ival-exp: 380.0ms (2.5% of total)
ival-expm1: 377.0ms (2.4% of total)
ival-sqrt: 324.0ms (2.1% of total)
ival-hypot: 310.0ms (2% of total)
ival-pow2: 246.0ms (1.6% of total)
ival-asin: 244.0ms (1.6% of total)
ival-atan2: 157.0ms (1% of total)
ival-cos: 157.0ms (1% of total)
ival-copysign: 144.0ms (0.9% of total)
ival-cbrt: 143.0ms (0.9% of total)
ival-log1p: 136.0ms (0.9% of total)
ival-acos: 106.0ms (0.7% of total)
ival-neg: 97.0ms (0.6% of total)
...in/eval/compile.rkt:76:19: 57.0ms (0.4% of total)
ival-fabs: 44.0ms (0.3% of total)
ival-true: 41.0ms (0.3% of total)
ival-pi: 31.0ms (0.2% of total)
ival-assert: 19.0ms (0.1% of total)
ival-e: 16.0ms (0.1% of total)

eval31.9s (6.3%)

Memory
563.2MiB live, 39 941.3MiB allocated
Compiler

Compiled 4 571 226 to 563 728 computations (87.7% saved)

series18.2s (3.6%)

Memory
203.0MiB live, 21 435.7MiB allocated
Counts
2 093 → 36 013
Calls

9426 calls:

TimeVariablePointExpression
419.0ms
im
@0
(/ (log im) (neg (log 1/10)))
388.0ms
re
@-inf
(log (/ (atan2 im re) (log base)))
375.0ms
alpha
@0
(/ (* (+ 1 alpha) (/ (/ (+ 1 beta) (+ 2 (+ beta alpha))) (+ (+ beta 3) alpha))) (+ 2 (+ beta alpha)))
358.0ms
re
@inf
(/ (log (sqrt (+ (* re re) (* im im)))) (log 10))
272.0ms
u2
@inf
(* (sqrt (log (pow u1 -1/18))) (cos (* (* 2 (PI)) u2)))

explain15.3s (3%)

Memory
138.4MiB live, 17 213.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11640
-.f64#fcancellation7432
/.f64#fo/o6420
/.f64#fo/n1890
sqrt.f32#foflow-rescue1810
sin.f64#fsensitivity1700
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1680
+.f64#fcancellation1440
sqrt.f64#fuflow-rescue1290
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1260
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1163
/.f64#fn/o960
-.f64#fnan-rescue890
/.f64#fu/u670
*.f64#fn*u660
+.f64#fnan-rescue480
*.f64#fn*o370
/.f64#fu/n300
/.f64#fn/u120
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue30
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow3
↳(*.f64 x.re x.re)overflow68
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow106
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow3
↳(*.f64 x.im x.im)overflow53
exp.f64#fsensitivity30
sin.f64(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue30
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow3
↳(*.f64 x.re x.re)overflow68
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow106
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow3
↳(*.f64 x.im x.im)overflow53
log.f32#foflow-rescue20
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u10
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow2
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow2
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow1
Confusion
Predicted +Predicted -
+348834
-18910881
Precision
0.9485994016861572
Recall
0.9903463940942646
Confusion?
Predicted +Predicted MaybePredicted -
+3488331
-189610875
Precision?
0.9470971242539338
Recall?
0.9911981828506531
Freqs
test
numberfreq
010915
13126
2550
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+3500
-0220
Precision?
0.9459459459459459
Recall?
1.0
Samples
3.1s25 724×0valid
1.3s2 844×1valid
272.0ms582×2valid
9.0ms34×3valid
Compiler

Compiled 15 052 to 2 968 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 941.0ms (30% of total)
ival-add: 361.0ms (11.5% of total)
ival-div: 358.0ms (11.4% of total)
ival-sin: 213.0ms (6.8% of total)
ival-exp: 195.0ms (6.2% of total)
...in/eval/compile.rkt:77:19: 186.0ms (5.9% of total)
ival-log: 178.0ms (5.7% of total)
ival-sub: 162.0ms (5.2% of total)
ival-sqrt: 112.0ms (3.6% of total)
adjust: 87.0ms (2.8% of total)
ival-asin: 60.0ms (1.9% of total)
ival-cos: 58.0ms (1.8% of total)
ival-copysign: 52.0ms (1.7% of total)
ival-atan2: 43.0ms (1.4% of total)
ival-pow: 27.0ms (0.9% of total)
ival-true: 26.0ms (0.8% of total)
ival-fabs: 17.0ms (0.5% of total)
ival-pi: 15.0ms (0.5% of total)
...in/eval/compile.rkt:76:19: 14.0ms (0.4% of total)
ival-neg: 12.0ms (0.4% of total)
ival-assert: 11.0ms (0.4% of total)
ival-log1p: 11.0ms (0.4% of total)

preprocess13.0s (2.5%)

Memory
-305.2MiB live, 12 730.8MiB allocated
Algorithm
57×egg-herbie
Rules
20 513×fmm-def
20 193×fma-define
9 595×unsub-neg
9 128×sub-neg
8 864×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 27 880 to 11 476 computations (58.8% saved)

regimes11.5s (2.3%)

Memory
-145.0MiB live, 15 063.9MiB allocated
Counts
7 628 → 710
Calls

132 calls:

1.2s
im
874.0ms
re
846.0ms
y.re
676.0ms
y.im
656.0ms
x.re
Compiler

Compiled 6 278 to 3 882 computations (38.2% saved)

bsearch7.2s (1.4%)

Memory
84.2MiB live, 8 475.5MiB allocated
Algorithm
271×binary-search
45×left-value
Stop Event
263×narrow-enough
8×predicate-same
Samples
3.6s29 108×0valid
693.0ms1 846×1valid
515.0ms246×2valid
4.0ms16×3valid
Compiler

Compiled 57 907 to 39 934 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 1.5s (46.8% of total)
ival-add: 320.0ms (10.2% of total)
ival-cos: 241.0ms (7.7% of total)
ival-exp: 189.0ms (6% of total)
ival-div: 142.0ms (4.5% of total)
ival-log: 139.0ms (4.4% of total)
ival-sin: 131.0ms (4.2% of total)
ival-sub: 119.0ms (3.8% of total)
ival-sqrt: 107.0ms (3.4% of total)
...in/eval/compile.rkt:77:19: 99.0ms (3.2% of total)
ival-atan2: 61.0ms (1.9% of total)
adjust: 44.0ms (1.4% of total)
ival-true: 23.0ms (0.7% of total)
ival-fabs: 13.0ms (0.4% of total)
ival-neg: 12.0ms (0.4% of total)
ival-assert: 11.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 9.0ms (0.3% of total)
ival-copysign: 8.0ms (0.3% of total)
ival-pi: 2.0ms (0.1% of total)

analyze2.6s (0.5%)

Memory
24.1MiB live, 3 521.5MiB allocated
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 848 computations (43.4% saved)

end0.0ms (0%)

Memory
1.1MiB live, 1.0MiB allocated

Profiling

Loading profile data...