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: 14.8min)

sample3.4min (23.3%)

Memory
1 055.1MiB live, 253 443.8MiB allocated
Samples
1.1min127 393×1valid
36.3s273 667×0valid
30.5s15 372×5exit
18.9s24 957×2valid
7.5s3 260×3valid
6.7s34 980×0exit
4.3s9 964×1exit
2.7s19 906×0invalid
2.2s12 070×1invalid
534.0ms38×4exit
379.0ms907×2invalid
212.0ms35×4valid
126.0ms16×3exit
7.0ms4×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-pow: 25.0s (16.6% of total)
ival-mult: 19.9s (13.2% of total)
ival-cos: 18.5s (12.3% of total)
ival-sin: 15.9s (10.6% of total)
ival-div: 13.4s (8.9% of total)
ival-pow2: 10.4s (6.9% of total)
adjust: 7.5s (5% of total)
ival-add: 6.8s (4.5% of total)
ival-sub: 6.5s (4.4% of total)
ival-exp: 6.1s (4.1% of total)
ival-log: 4.5s (3% of total)
ival-sqrt: 4.2s (2.8% of total)
ival-neg: 2.8s (1.9% of total)
ival-<: 1.7s (1.2% of total)
...in/eval/compile.rkt:111:19: 1.5s (1% of total)
ival-pi: 716.0ms (0.5% of total)
ival-atan2: 716.0ms (0.5% of total)
ival-tan: 601.0ms (0.4% of total)
ival-hypot: 593.0ms (0.4% of total)
ival-acos: 353.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 347.0ms (0.2% of total)
ival-and: 310.0ms (0.2% of total)
ival-atan: 304.0ms (0.2% of total)
ival-cbrt: 295.0ms (0.2% of total)
ival-true: 294.0ms (0.2% of total)
ival-assert: 213.0ms (0.1% of total)
ival-log1p: 190.0ms (0.1% of total)
ival-<=: 148.0ms (0.1% of total)
ival-fabs: 147.0ms (0.1% of total)
ival-asin: 133.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.9min (19.6%)

Memory
-1 026.7MiB live, 202 697.3MiB allocated
Algorithm
448×egg-herbie
Rules
177 716×fma-define
120 819×fmm-def
99 109×distribute-lft-in
90 893×times-frac
89 298×distribute-rgt-in
Stop Event
328×node limit
119×saturated
1×unsound
Counts
145 490 → 123 296

soundness1.9min (12.6%)

Memory
124.6MiB live, 123 591.9MiB allocated
Rules
87 431×fma-define
71 858×log1p-expm1-u
52 110×fmm-def
51 821×expm1-log1p-u
50 707×*-commutative
Stop Event
267×node limit
45×fuel
15×saturated
7×done
3×unsound
Compiler

Compiled 67 571 to 19 529 computations (71.1% saved)

localize1.1min (7.5%)

Memory
953.4MiB live, 86 301.2MiB allocated
Samples
18.6s14 187×1valid
10.1s27 754×0valid
7.1s3 339×2valid
4.4s685×5exit
2.2s3 350×0invalid
1.1s394×3valid
908.0ms474×1invalid
519.0ms124×4exit
298.0ms258×2exit
164.0ms235×1exit
105.0ms15×3exit
68.0ms128×0exit
7.0ms1×4valid
Compiler

Compiled 95 281 to 7 921 computations (91.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.5s
ival-mult: 6.6s (18.5% of total)
ival-sin: 6.2s (17.5% of total)
ival-cos: 3.8s (10.8% of total)
ival-div: 3.8s (10.8% of total)
ival-pow2: 2.8s (7.9% of total)
ival-add: 2.1s (5.9% of total)
adjust: 2.0s (5.6% of total)
ival-pow: 1.1s (3.1% of total)
ival-sub: 1.1s (3.1% of total)
...in/eval/compile.rkt:111:19: 745.0ms (2.1% of total)
ival-exp: 672.0ms (1.9% of total)
ival-sqrt: 653.0ms (1.8% of total)
ival-atan2: 597.0ms (1.7% of total)
ival-hypot: 576.0ms (1.6% of total)
ival-expm1: 501.0ms (1.4% of total)
ival-log: 437.0ms (1.2% of total)
ival-neg: 372.0ms (1% of total)
ival-cbrt: 312.0ms (0.9% of total)
ival-log1p: 296.0ms (0.8% of total)
ival-acos: 168.0ms (0.5% of total)
ival-atan: 153.0ms (0.4% of total)
ival-tan: 148.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 84.0ms (0.2% of total)
ival-fabs: 75.0ms (0.2% of total)
ival-pi: 70.0ms (0.2% of total)
ival-true: 45.0ms (0.1% of total)
ival-assert: 21.0ms (0.1% of total)
ival-asin: 15.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

prune1.1min (7.4%)

Memory
-1 644.8MiB live, 103 551.4MiB allocated
Counts
197 067 → 8 193
Compiler

Compiled 566 668 to 278 666 computations (50.8% saved)

regimes58.7s (6.6%)

Memory
393.6MiB live, 82 059.3MiB allocated
Counts
24 246 → 854
Calls

155 calls:

4.1s
phi1
3.8s
phi2
3.7s
lambda1
2.7s
lambda2
2.2s
(-.f64 lambda1 lambda2)
Compiler

Compiled 12 875 to 8 200 computations (36.3% saved)

rewrite55.8s (6.3%)

Memory
-249.2MiB live, 55 881.6MiB allocated
Algorithm
197×batch-egg-rewrite
Rules
122 365×log1p-expm1-u
89 564×expm1-log1p-u
54 840×pow1
49 885×add-exp-log
46 401×add-log-exp
Stop Event
193×node limit
4×unsound
Counts
2 992 → 76 931

eval42.4s (4.8%)

Memory
1 354.7MiB live, 62 671.7MiB allocated
Compiler

Compiled 9 357 057 to 891 065 computations (90.5% saved)

series34.9s (3.9%)

Memory
303.5MiB live, 48 140.0MiB allocated
Counts
2 992 → 68 559
Calls

17949 calls:

TimeVariablePointExpression
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)))
334.0ms
b
@0
(+ (log (+ 1 (exp a))) (exp (- (log b) (log (+ 1 (exp a))))))
271.0ms
y-scale
@0
(* 1/4 (* (* b (* x-scale (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2)))))))
242.0ms
s
@inf
(/ (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (+ 1 (/ 1 (- -1 (exp (neg s))))) c_n)) (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
240.0ms
C
@-inf
(sqrt (+ C (sqrt (+ (* C C) (* B B)))))

explain23.0s (2.6%)

Memory
380.9MiB live, 32 619.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity17352
+.f64#fcancellation173147
sin.f64#fsensitivity14791
sqrt.f64#foflow-rescue14200
-.f64#fcancellation94310
log.f64#fsensitivity6170
-.f64#fnan-rescue4820
/.f64#fo/n4590
/.f64#fu/u3430
/.f64#fo/o2870
*.f64#fn*o2560
/.f64#fu/n2050
exp.f64#fsensitivity16234
sqrt.f64#fuflow-rescue1530
/.f64#fn/o1210
*.f64#fn*u1060
cbrt.f64#foflow-rescue780
cbrt.f64#fuflow-rescue500
/.f64#fn/u370
*.f64#fo*u290
*.f64#fu*o240
acos.f64(acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))))sensitivity191
pow.f64#fsensitivity92
pow.f64#fuflow-rescue60
log.f64#foflow-rescue60
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity10
Confusion
Predicted +Predicted -
+573493
-13276158
Precision
0.8120662795638012
Recall
0.9840398146559122
Confusion?
Predicted +Predicted MaybePredicted -
+57345538
-1327336125
Precision?
0.809763603301161
Recall?
0.9934786339454265
Freqs
test
numberfreq
06251
14737
21567
3380
4219
5106
632
713
85
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-306
Precision?
0.9347826086956522
Recall?
1.0
Samples
4.2s8 292×1valid
2.7s2 118×2valid
2.3s15 864×0valid
701.0ms348×3valid
7.0ms2×4valid
Compiler

Compiled 21 748 to 3 336 computations (84.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-sin: 1.7s (20.5% of total)
ival-div: 1.2s (14.9% of total)
ival-mult: 1.0s (12.3% of total)
ival-cos: 985.0ms (12.1% of total)
adjust: 681.0ms (8.4% of total)
ival-pow2: 661.0ms (8.1% of total)
ival-sub: 469.0ms (5.8% of total)
ival-add: 271.0ms (3.3% of total)
ival-exp: 223.0ms (2.7% of total)
ival-log: 220.0ms (2.7% of total)
ival-sqrt: 156.0ms (1.9% of total)
ival-neg: 154.0ms (1.9% of total)
ival-atan: 103.0ms (1.3% of total)
ival-tan: 62.0ms (0.8% of total)
ival-hypot: 49.0ms (0.6% of total)
ival-atan2: 41.0ms (0.5% of total)
ival-pi: 33.0ms (0.4% of total)
ival-pow: 29.0ms (0.4% of total)
ival-true: 24.0ms (0.3% of total)
ival-acos: 22.0ms (0.3% of total)
ival-cbrt: 22.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

bsearch16.7s (1.9%)

Memory
246.7MiB live, 23 048.0MiB allocated
Algorithm
311×binary-search
55×left-value
Stop Event
307×narrow-enough
4×predicate-same
Samples
7.9s12 410×1valid
3.8s24 225×0valid
1.1s2 235×2valid
159.0ms90×3valid
105.0ms1 169×0invalid
27.0ms78×1exit
Compiler

Compiled 100 202 to 70 612 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
ival-sin: 2.8s (25.2% of total)
ival-cos: 2.7s (24.3% of total)
ival-mult: 1.8s (15.9% of total)
ival-div: 635.0ms (5.6% of total)
ival-pow2: 611.0ms (5.4% of total)
ival-sub: 558.0ms (5% of total)
adjust: 442.0ms (3.9% of total)
ival-add: 348.0ms (3.1% of total)
ival-sqrt: 251.0ms (2.2% of total)
ival-atan2: 200.0ms (1.8% of total)
ival-acos: 196.0ms (1.7% of total)
ival-log: 125.0ms (1.1% of total)
ival-exp: 123.0ms (1.1% of total)
ival-neg: 116.0ms (1% of total)
ival-tan: 72.0ms (0.6% of total)
ival-atan: 70.0ms (0.6% of total)
ival-pi: 34.0ms (0.3% of total)
ival-true: 31.0ms (0.3% of total)
ival-hypot: 26.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

analyze16.5s (1.9%)

Memory
22.2MiB live, 22 618.0MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
17.2%13.7%65.7%20.6%0%0%0%1
25%19.6%58.5%20.6%0%1.3%0%2
35.2%26.6%48.9%20.6%0%3.8%0%3
42.3%31.7%43.1%20.6%0%4.5%0%4
47.9%35.6%38.7%20.6%0%5.1%0%5
51%37.6%36.1%20.6%0%5.7%0%6
54.4%39.7%33.2%20.6%0%6.5%0%7
56.2%40.7%31.8%20.6%0%6.8%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.4%20.6%0%7.7%0%10
62.1%44.3%27%20.6%0%8.1%0%11
63.6%45.1%25.8%20.6%0%8.5%0%12
Compiler

Compiled 1 826 to 990 computations (45.8% saved)

preprocess15.2s (1.7%)

Memory
-872.1MiB live, 15 024.6MiB allocated
Algorithm
52×egg-herbie
Rules
32 339×fma-define
19 274×fmm-def
13 261×div-sub
11 418×sub-neg
10 337×distribute-lft-in
Stop Event
30×node limit
22×saturated
Compiler

Compiled 56 898 to 21 212 computations (62.7% saved)

end0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated

Profiling

Loading profile data...