Herbie run

Date:Thursday, July 4th, 2024
Commit:333f5f95 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024186
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.8min)

sample2.3min (26.3%)

Memory
490.4MiB live, 140 795.6MiB allocated
Samples
52.8s434 266×0valid
38.9s3 939×5exit
10.5s26 321×1valid
4.4s9 176×2valid
2.7s10 915×0exit
282.0ms931×3valid
38.0ms544×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 32.0s (35.3% of total)
ival-mult: 16.0s (17.7% of total)
ival-add: 7.0s (7.7% of total)
...in/eval/compile.rkt:111:19: 4.6s (5.1% of total)
adjust: 4.5s (5% of total)
ival-div: 4.5s (5% of total)
ival-sub: 3.6s (3.9% of total)
ival-exp: 3.2s (3.5% of total)
ival-hypot: 2.6s (2.9% of total)
ival-log: 2.4s (2.6% of total)
ival-atan2: 1.6s (1.8% of total)
ival-asin: 1.6s (1.7% of total)
ival-cos: 1.2s (1.3% of total)
ival-sqrt: 931.0ms (1% of total)
ival-pow: 756.0ms (0.8% of total)
ival-acosh: 544.0ms (0.6% of total)
ival-pi: 479.0ms (0.5% of total)
ival-<=: 462.0ms (0.5% of total)
ival-neg: 457.0ms (0.5% of total)
ival-assert: 436.0ms (0.5% of total)
ival-fabs: 361.0ms (0.4% of total)
ival->: 318.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 288.0ms (0.3% of total)
ival-true: 279.0ms (0.3% of total)
ival-asinh: 260.0ms (0.3% of total)
ival->=: 153.0ms (0.2% of total)
ival-atanh: 132.0ms (0.1% of total)
ival-and: 76.0ms (0.1% of total)
Bogosity

simplify1.6min (18.2%)

Memory
-101.9MiB live, 89 780.9MiB allocated
Algorithm
435×egg-herbie
Rules
167 085×fma-define
99 799×fmm-def
94 595×distribute-lft-in
83 546×distribute-rgt-in
81 787×associate-*r*
Stop Event
277×node limit
151×saturated
7×unsound
Counts
95 168 → 92 921

soundness1.1min (12.6%)

Memory
-169.5MiB live, 46 948.0MiB allocated
Rules
58 097×fma-define
56 887×log1p-expm1-u
45 841×fmm-def
43 124×expm1-log1p-u
37 981×associate-*r*
Stop Event
194×node limit
35×fuel
22×done
17×saturated
9×unsound
Compiler

Compiled 42 469 to 12 633 computations (70.3% saved)

rewrite49.4s (9.3%)

Memory
36.8MiB live, 40 960.8MiB allocated
Algorithm
186×batch-egg-rewrite
Rules
124 982×log1p-expm1-u
89 681×expm1-log1p-u
40 396×pow1
38 958×add-exp-log
37 232×add-log-exp
Stop Event
179×node limit
7×unsound
Counts
2 159 → 57 959

localize39.9s (7.5%)

Memory
217.8MiB live, 39 230.3MiB allocated
Samples
9.1s37 357×0valid
4.2s4 297×1valid
3.7s1 936×2valid
2.0s4 521×0invalid
668.0ms257×5exit
271.0ms176×1exit
166.0ms301×0exit
163.0ms162×1invalid
115.0ms55×4exit
44.0ms35×2exit
31.0ms55×3valid
Compiler

Compiled 44 634 to 5 374 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0s
ival-mult: 3.4s (23% of total)
ival-div: 1.8s (12.3% of total)
ival-add: 1.6s (10.8% of total)
...in/eval/compile.rkt:111:19: 996.0ms (6.6% of total)
ival-log: 979.0ms (6.5% of total)
adjust: 696.0ms (4.6% of total)
ival-pow: 685.0ms (4.6% of total)
ival-sub: 629.0ms (4.2% of total)
ival-exp: 485.0ms (3.2% of total)
ival-asin: 464.0ms (3.1% of total)
ival-sqrt: 444.0ms (3% of total)
ival-cbrt: 406.0ms (2.7% of total)
ival-hypot: 364.0ms (2.4% of total)
ival-pow2: 270.0ms (1.8% of total)
ival-acos: 248.0ms (1.7% of total)
ival-expm1: 233.0ms (1.6% of total)
ival-copysign: 216.0ms (1.4% of total)
ival-sin: 215.0ms (1.4% of total)
ival-log1p: 180.0ms (1.2% of total)
ival-atan2: 151.0ms (1% of total)
ival-cos: 119.0ms (0.8% of total)
ival-neg: 107.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 63.0ms (0.4% of total)
ival-fabs: 51.0ms (0.3% of total)
ival-true: 43.0ms (0.3% of total)
ival-pi: 33.0ms (0.2% of total)
ival-assert: 20.0ms (0.1% of total)

prune34.8s (6.6%)

Memory
-436.1MiB live, 49 416.9MiB allocated
Counts
140 215 → 3 151
Compiler

Compiled 135 093 to 71 854 computations (46.8% saved)

eval31.4s (5.9%)

Memory
973.4MiB live, 39 801.0MiB allocated
Compiler

Compiled 4 456 016 to 572 155 computations (87.2% saved)

series19.3s (3.6%)

Memory
110.9MiB live, 23 431.3MiB allocated
Counts
2 159 → 37 209
Calls

9636 calls:

TimeVariablePointExpression
460.0ms
x
@0
(+ (log 2) (log x))
344.0ms
re
@-inf
(log (/ (atan2 im re) (log base)))
298.0ms
x
@0
(log (+ 1 (fabs x)))
282.0ms
re
@0
(cbrt (* 1/2 (sqrt (* 2 (+ re (sqrt (+ (* re re) (* im im))))))))
255.0ms
x
@-inf
(log (* x 2))

explain14.3s (2.7%)

Memory
-22.2MiB live, 19 428.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12050
-.f64#fcancellation7651
/.f64#fo/o6550
/.f64#fo/n1990
sqrt.f32#foflow-rescue1930
sin.f64#fsensitivity1860
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)))sensitivity1810
+.f64#fcancellation1622
sqrt.f64#fuflow-rescue1550
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1290
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1250
/.f64#fn/o830
-.f64#fnan-rescue780
*.f64#fn*u690
/.f64#fu/u590
+.f64#fnan-rescue500
*.f64#fn*o400
/.f64#fu/n290
/.f64#fn/u130
exp.f64#fsensitivity82
*.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*u40
↳(*.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))))overflow5
↳(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)))overflow5
↳(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))))underflow4
log.f32#foflow-rescue30
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-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow63
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow67
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-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow63
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow67
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)))cancellation10
Confusion
Predicted +Predicted -
+363639
-19810719
Precision
0.9483568075117371
Recall
0.9893877551020408
Confusion?
Predicted +Predicted MaybePredicted -
+3636435
-198110718
Precision?
0.9481635842667361
Recall?
0.9904761904761905
Freqs
test
numberfreq
010758
13275
2556
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+3701
-2017
Precision?
0.9487179487179487
Recall?
0.9736842105263158
Samples
3.6s25 532×0valid
1.2s2 614×1valid
532.0ms966×2valid
25.0ms66×3valid
4.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 805.0ms (24.7% of total)
ival-add: 456.0ms (14% of total)
ival-cos: 294.0ms (9% of total)
...in/eval/compile.rkt:111:19: 284.0ms (8.7% of total)
ival-div: 197.0ms (6% of total)
ival-hypot: 196.0ms (6% of total)
ival-log: 189.0ms (5.8% of total)
ival-exp: 181.0ms (5.6% of total)
adjust: 123.0ms (3.8% of total)
ival-sub: 114.0ms (3.5% of total)
ival-sin: 98.0ms (3% of total)
ival-asin: 83.0ms (2.5% of total)
ival-sqrt: 55.0ms (1.7% of total)
ival-atan2: 44.0ms (1.4% of total)
ival-true: 27.0ms (0.8% of total)
ival-pow: 21.0ms (0.6% of total)
ival-fabs: 18.0ms (0.6% of total)
ival-pi: 16.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 15.0ms (0.5% of total)
ival-neg: 12.0ms (0.4% of total)
ival-assert: 12.0ms (0.4% of total)
ival-copysign: 11.0ms (0.3% of total)
ival-log1p: 8.0ms (0.2% of total)

preprocess14.2s (2.7%)

Memory
-512.0MiB live, 13 430.0MiB 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 28 948 to 11 918 computations (58.8% saved)

regimes11.2s (2.1%)

Memory
99.4MiB live, 15 811.4MiB allocated
Counts
8 158 → 783
Calls

132 calls:

1.1s
y.re
872.0ms
x.im
829.0ms
im
733.0ms
x
664.0ms
re
Compiler

Compiled 6 458 to 4 083 computations (36.8% saved)

bsearch9.9s (1.9%)

Memory
-37.1MiB live, 11 344.8MiB allocated
Algorithm
323×binary-search
38×left-value
Stop Event
317×narrow-enough
6×predicate-same
Samples
5.3s35 646×0valid
1.5s3 123×1valid
176.0ms357×2valid
34.0ms74×3valid
Compiler

Compiled 68 067 to 47 120 computations (30.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-mult: 1.3s (23.4% of total)
ival-hypot: 747.0ms (14% of total)
ival-exp: 613.0ms (11.5% of total)
ival-fabs: 573.0ms (10.7% of total)
ival-add: 425.0ms (7.9% of total)
ival-sin: 363.0ms (6.8% of total)
ival-log: 261.0ms (4.9% of total)
ival-cos: 249.0ms (4.7% of total)
...in/eval/compile.rkt:111:19: 172.0ms (3.2% of total)
ival-sub: 156.0ms (2.9% of total)
ival-div: 117.0ms (2.2% of total)
ival-neg: 99.0ms (1.9% of total)
ival-atan2: 84.0ms (1.6% of total)
ival-copysign: 77.0ms (1.4% of total)
adjust: 76.0ms (1.4% of total)
ival-true: 30.0ms (0.6% of total)
ival-sqrt: 26.0ms (0.5% of total)
ival-assert: 16.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 10.0ms (0.2% of total)

analyze3.0s (0.6%)

Memory
94.4MiB live, 3 873.0MiB allocated
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%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 821 computations (45.2% saved)

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated

Profiling

Loading profile data...