Herbie run

Date:Saturday, August 10th, 2024
Commit:e336828d on zane-server-2
Hostname:nightly with Racket 8.11.1
Seed:2024223
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: 20.8min)

prune7.8min (37.4%)

Memory
-1 380.8MiB live, 1 131 423.8MiB allocated
Counts
291 487 → 7 606
Compiler

Compiled 636 359 to 274 720 computations (56.8% saved)

sample3.2min (15.6%)

Memory
1 745.5MiB live, 304 726.8MiB allocated
Samples
54.0s121 583×1valid
35.1s280 525×0valid
29.9s14 365×5exit
16.7s24 040×2valid
8.1s3 133×3valid
5.8s34 968×0exit
4.3s10 736×1exit
3.3s20 525×0invalid
2.1s11 184×1invalid
524.0ms39×4exit
378.0ms771×2invalid
199.0ms16×3exit
147.0ms31×4valid
41.0ms17×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-pow: 25.1s (18.1% of total)
ival-cos: 17.1s (12.3% of total)
ival-mult: 16.5s (11.9% of total)
ival-sin: 15.2s (10.9% of total)
ival-div: 11.8s (8.5% of total)
adjust: 9.9s (7.1% of total)
ival-pow2: 8.8s (6.3% of total)
ival-add: 5.8s (4.1% of total)
ival-sub: 5.5s (4% of total)
ival-exp: 5.2s (3.8% of total)
ival-sqrt: 4.1s (3% of total)
ival-log: 3.6s (2.6% of total)
ival-neg: 1.7s (1.2% of total)
ival-<: 1.6s (1.2% of total)
const: 1.4s (1% of total)
ival-tan: 951.0ms (0.7% of total)
ival-atan2: 790.0ms (0.6% of total)
ival-hypot: 768.0ms (0.6% of total)
ival-pi: 490.0ms (0.4% of total)
exact: 397.0ms (0.3% of total)
ival-atan: 393.0ms (0.3% of total)
ival-acos: 351.0ms (0.3% of total)
ival-and: 323.0ms (0.2% of total)
ival-true: 291.0ms (0.2% of total)
ival-cbrt: 273.0ms (0.2% of total)
ival-assert: 200.0ms (0.1% of total)
ival-<=: 162.0ms (0.1% of total)
ival-asin: 151.0ms (0.1% of total)
ival-fabs: 135.0ms (0.1% of total)
ival-log1p: 121.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.7min (12.9%)

Memory
779.4MiB live, 255 252.1MiB allocated
Algorithm
458×egg-herbie
Rules
3 554 038×lower-fma.f32
3 553 042×lower-fma.f64
1 785 648×lower-*.f32
1 781 316×lower-*.f64
952 578×lower-+.f32
Stop Event
612×iter limit
324×node limit
134×saturated
Counts
98 916 → 98 265

rewrite1.3min (6.4%)

Memory
-49.6MiB live, 128 709.4MiB allocated
Algorithm
204×batch-egg-rewrite
Rules
892 780×lower-fma.f32
891 814×lower-fma.f64
878 122×lower-*.f32
873 952×lower-*.f64
680 344×lower-/.f32
Stop Event
415×iter limit
202×node limit
1×saturated
1×unsound
Counts
3 733 → 137 870

localize1.3min (6.1%)

Memory
184.4MiB live, 135 920.8MiB allocated
Samples
22.4s16 557×1valid
10.7s4 889×2valid
7.4s26 625×0valid
7.2s711×5exit
1.2s536×3valid
838.0ms158×4exit
808.0ms1 772×0invalid
407.0ms256×1invalid
375.0ms585×1exit
168.0ms9×3exit
43.0ms121×0exit
32.0ms4×2exit
15.0ms1×4valid
Compiler

Compiled 125 289 to 9 428 computations (92.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.2s
ival-mult: 8.6s (20.5% of total)
ival-cos: 6.9s (16.3% of total)
ival-sin: 6.8s (16.1% of total)
ival-div: 3.9s (9.2% of total)
adjust: 3.7s (8.7% of total)
ival-add: 2.6s (6.1% of total)
ival-pow2: 1.5s (3.4% of total)
ival-sub: 1.4s (3.3% of total)
ival-sqrt: 1.2s (2.8% of total)
const: 1.0s (2.4% of total)
ival-log: 868.0ms (2.1% of total)
ival-exp: 753.0ms (1.8% of total)
ival-pow: 534.0ms (1.3% of total)
ival-tan: 379.0ms (0.9% of total)
ival-neg: 364.0ms (0.9% of total)
ival-hypot: 332.0ms (0.8% of total)
ival-atan2: 303.0ms (0.7% of total)
ival-cbrt: 224.0ms (0.5% of total)
ival-log1p: 214.0ms (0.5% of total)
ival-fabs: 159.0ms (0.4% of total)
ival-atan: 133.0ms (0.3% of total)
ival-acos: 101.0ms (0.2% of total)
ival-pi: 96.0ms (0.2% of total)
exact: 94.0ms (0.2% of total)
ival-expm1: 60.0ms (0.1% of total)
ival-true: 46.0ms (0.1% of total)
ival-asin: 31.0ms (0.1% of total)
ival-assert: 22.0ms (0.1% of total)
ival-cosh: 15.0ms (0% of total)
ival-copysign: 6.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-tanh: 2.0ms (0% of total)

soundness1.1min (5.2%)

Memory
310.0MiB live, 60 867.3MiB allocated
Rules
2 179 766×lower-fma.f32
2 179 206×lower-fma.f64
1 410 636×lower-*.f32
1 408 022×lower-*.f64
734 016×lower-+.f32
Stop Event
401×iter limit
271×node limit
44×fuel
6×done
Compiler

Compiled 58 869 to 25 746 computations (56.3% saved)

eval1.1min (5.1%)

Memory
-151.0MiB live, 109 825.5MiB allocated
Compiler

Compiled 15 866 408 to 730 143 computations (95.4% saved)

regimes52.5s (4.2%)

Memory
-97.5MiB live, 82 249.3MiB allocated
Counts
25 865 → 1 006
Calls

153 calls:

3.7s
phi2
3.4s
phi1
2.9s
lambda1
2.7s
lambda2
2.3s
(-.f64 lambda1 lambda2)
Compiler

Compiled 29 078 to 17 033 computations (41.4% saved)

series24.1s (1.9%)

Memory
264.4MiB live, 43 772.0MiB allocated
Counts
3 733 → 98 916
Calls

13281 calls:

TimeVariablePointExpression
354.0ms
angle
@0
(* (* 1/4 (* (* b x-scale) (* y-scale (sqrt 8)))) (sqrt (- (+ (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (* x-scale x-scale) (* y-scale y-scale)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* x-scale x-scale)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) 2))))))
184.0ms
angle
@inf
(log (* (* 2 (/ (* (* 4 (* b a)) (neg (* b a))) (* (* (* x-scale x-scale) y-scale) y-scale))) (* (* (* (* b a) b) (neg a)) (- (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))))))
117.0ms
s
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
109.0ms
t
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
99.0ms
b
@0
(log (+ (* b (* b (+ (/ (+ (* 1/2 (cos (* 1/90 (* angle (PI))))) 1/2) (* x-scale x-scale)) (/ (+ 1/2 (* (cos (* 1/90 (* angle (PI)))) -1/2)) (* y-scale y-scale))))) (sqrt (+ (* 4 (* (* (* b b) (* b b)) (/ (* (+ (* 1/2 (cos (* 1/90 (* angle (PI))))) 1/2) (+ 1/2 (* (cos (* 1/90 (* angle (PI)))) -1/2))) (* x-scale (* y-scale (* x-scale y-scale)))))) (pow (* (* b b) (- (/ (+ (* 1/2 (cos (* 1/90 (* angle (PI))))) 1/2) (* x-scale x-scale)) (/ (+ 1/2 (* (cos (* 1/90 (* angle (PI)))) -1/2)) (* y-scale y-scale)))) 2)))))

explain22.0s (1.8%)

Memory
-560.3MiB live, 36 273.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity17924
+.f64#fcancellation175730
sin.f64#fsensitivity15363
sqrt.f64#foflow-rescue14370
-.f64#fcancellation92014
-.f64#fnan-rescue5690
log.f64#fsensitivity5661
/.f64#fo/n4620
/.f64#fo/o3270
/.f64#fu/u3240
*.f64#fn*o2540
sqrt.f64#fuflow-rescue2040
/.f64#fu/n2000
exp.f64#fsensitivity17422
/.f64#fn/o1260
*.f64#fn*u1190
cbrt.f64#foflow-rescue930
/.f64#fn/u580
cbrt.f64#fuflow-rescue410
*.f64#fu*o400
*.f64#fo*u280
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)))))sensitivity215
pow.f64#fuflow-rescue100
log.f64#foflow-rescue90
pow.f64#fsensitivity42
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity14
Confusion
Predicted +Predicted -
+580262
-13526096
Precision
0.8110148168856584
Recall
0.9894270122783083
Confusion?
Predicted +Predicted MaybePredicted -
+58023527
-1352286068
Precision?
0.8087848136344742
Recall?
0.9953956343792633
Freqs
test
numberfreq
06158
14739
21628
3367
4243
5102
647
717
86
95
Total Confusion?
Predicted +Predicted MaybePredicted -
+4210
-306
Precision?
0.9347826086956522
Recall?
1.0
Samples
4.0s8 038×1valid
2.5s16 358×0valid
1.9s1 930×2valid
575.0ms298×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-sin: 1.5s (21.7% of total)
ival-cos: 1.2s (17.6% of total)
ival-mult: 900.0ms (13.3% of total)
ival-div: 517.0ms (7.7% of total)
ival-pow2: 479.0ms (7.1% of total)
adjust: 459.0ms (6.8% of total)
ival-sub: 297.0ms (4.4% of total)
ival-add: 272.0ms (4% of total)
ival-exp: 208.0ms (3.1% of total)
ival-sqrt: 205.0ms (3% of total)
ival-log: 187.0ms (2.8% of total)
ival-hypot: 127.0ms (1.9% of total)
ival-neg: 101.0ms (1.5% of total)
ival-pow: 56.0ms (0.8% of total)
ival-tan: 50.0ms (0.7% of total)
ival-pi: 48.0ms (0.7% of total)
ival-atan2: 42.0ms (0.6% of total)
ival-atan: 27.0ms (0.4% of total)
ival-true: 24.0ms (0.4% of total)
ival-acos: 22.0ms (0.3% of total)
exact: 18.0ms (0.3% of total)
ival-cbrt: 17.0ms (0.3% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-assert: 11.0ms (0.2% of total)
ival-asin: 9.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

preprocess19.0s (1.5%)

Memory
-312.7MiB live, 25 595.1MiB allocated
Algorithm
52×egg-herbie
Rules
238 304×lower-fma.f64
238 304×lower-fma.f32
81 478×lower-*.f32
81 146×lower-*.f64
46 832×unsub-neg
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 69 072 to 20 504 computations (70.3% saved)

analyze16.6s (1.3%)

Memory
79.8MiB live, 25 797.6MiB 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)

bsearch8.6s (0.7%)

Memory
64.6MiB live, 14 691.8MiB allocated
Algorithm
285×binary-search
166×left-value
Stop Event
274×narrow-enough
11×predicate-same
Samples
4.0s6 569×1valid
2.0s12 038×0valid
318.0ms533×2valid
80.0ms44×3valid
52.0ms630×0invalid
22.0ms64×1exit
3.0ms55×0exit
2.0ms7×1invalid
Compiler

Compiled 111 483 to 71 264 computations (36.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-sin: 1.6s (28.4% of total)
ival-cos: 1.4s (24.2% of total)
ival-mult: 781.0ms (13.9% of total)
adjust: 390.0ms (6.9% of total)
ival-sub: 256.0ms (4.6% of total)
ival-div: 251.0ms (4.5% of total)
ival-pow2: 233.0ms (4.1% of total)
ival-sqrt: 159.0ms (2.8% of total)
ival-add: 125.0ms (2.2% of total)
ival-atan2: 118.0ms (2.1% of total)
ival-acos: 75.0ms (1.3% of total)
ival-exp: 41.0ms (0.7% of total)
ival-tan: 41.0ms (0.7% of total)
ival-hypot: 35.0ms (0.6% of total)
ival-atan: 32.0ms (0.6% of total)
ival-neg: 26.0ms (0.5% of total)
ival-asin: 23.0ms (0.4% of total)
ival-log: 19.0ms (0.3% of total)
ival-true: 15.0ms (0.3% of total)
ival-pi: 14.0ms (0.2% of total)
exact: 10.0ms (0.2% of total)
ival-fabs: 9.0ms (0.2% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pow: 2.0ms (0% of total)
ival-log1p: 1.0ms (0% of total)

end0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated

Profiling

Loading profile data...