Herbie run

Date:Sunday, June 30th, 2024
Commit:2aadce88 on main
Hostname:nightly with Racket 8.11.1
Seed:2024182
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)

sample4.0min (27.3%)

Memory
220.5MiB live, 280 035.4MiB allocated
Samples
1.0min127 716×1valid
58.8s17 767×5exit
36.5s274 288×0valid
20.0s8 306×3valid
15.1s17 973×2valid
6.5s35 055×0exit
5.7s1 024×4valid
3.1s19 570×0invalid
2.0s9 942×1invalid
423.0ms939×2invalid
133.0ms5×5valid
33.0ms1×4exit
18.0ms33×1exit
7.0ms16×3invalid
Precisions
Click to see histograms. Total time spent on operations: 3.1min
ival-pow: 50.8s (27.5% of total)
ival-sin: 22.5s (12.2% of total)
ival-mult: 20.5s (11.1% of total)
ival-cos: 19.6s (10.6% of total)
ival-div: 12.5s (6.8% of total)
ival-pow2: 9.4s (5.1% of total)
adjust: 7.7s (4.2% of total)
ival-add: 7.2s (3.9% of total)
ival-sub: 6.8s (3.7% of total)
ival-exp: 6.3s (3.4% of total)
ival-sqrt: 4.9s (2.6% of total)
ival-log: 3.8s (2.1% of total)
ival-neg: 2.5s (1.4% of total)
ival-<: 1.8s (1% of total)
ival-log1p: 1.4s (0.8% of total)
...in/eval/compile.rkt:111:19: 1.4s (0.8% of total)
ival-atan2: 739.0ms (0.4% of total)
ival-hypot: 660.0ms (0.4% of total)
ival-tan: 644.0ms (0.3% of total)
ival-pi: 623.0ms (0.3% of total)
ival-atan: 613.0ms (0.3% of total)
ival-acos: 371.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 352.0ms (0.2% of total)
ival-and: 308.0ms (0.2% of total)
ival-true: 293.0ms (0.2% of total)
ival-cbrt: 245.0ms (0.1% of total)
ival-assert: 193.0ms (0.1% of total)
ival-asin: 159.0ms (0.1% of total)
ival-<=: 135.0ms (0.1% of total)
ival-fabs: 115.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.7min (18%)

Memory
572.6MiB live, 195 118.6MiB allocated
Algorithm
447×egg-herbie
Rules
178 944×fma-define
120 882×fmm-def
107 411×associate-*r*
99 681×distribute-lft-in
93 095×times-frac
Stop Event
330×node limit
116×saturated
1×unsound
Counts
142 531 → 122 512

soundness1.7min (11.7%)

Memory
36.8MiB live, 109 454.3MiB allocated
Rules
82 483×fma-define
63 428×log1p-expm1-u
50 836×expm1-log1p-u
48 080×distribute-lft-in
47 139×fmm-def
Stop Event
252×node limit
44×fuel
15×saturated
8×done
4×unsound
Compiler

Compiled 69 110 to 20 502 computations (70.3% saved)

localize1.2min (7.8%)

Memory
773.5MiB live, 92 532.1MiB allocated
Samples
18.0s14 461×1valid
8.7s27 828×0valid
8.0s780×5exit
5.8s2 450×2valid
3.7s884×3valid
1.7s196×4valid
1.5s3 675×0invalid
557.0ms343×1invalid
54.0ms47×2invalid
20.0ms15×3invalid
5.0ms9×0exit
Compiler

Compiled 93 644 to 7 952 computations (91.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.5s
ival-mult: 7.2s (18.7% of total)
ival-sin: 6.6s (17.3% of total)
ival-cos: 6.4s (16.6% of total)
ival-div: 3.4s (8.8% of total)
ival-pow: 1.9s (5.1% of total)
ival-pow2: 1.9s (5% of total)
adjust: 1.8s (4.6% of total)
ival-add: 1.7s (4.5% of total)
ival-sub: 1.4s (3.5% of total)
...in/eval/compile.rkt:111:19: 959.0ms (2.5% of total)
ival-sqrt: 760.0ms (2% of total)
ival-exp: 668.0ms (1.7% of total)
ival-log: 598.0ms (1.6% of total)
ival-hypot: 502.0ms (1.3% of total)
ival-log1p: 425.0ms (1.1% of total)
ival-cbrt: 395.0ms (1% of total)
ival-atan2: 379.0ms (1% of total)
ival-neg: 337.0ms (0.9% of total)
ival-expm1: 303.0ms (0.8% of total)
ival-atan: 184.0ms (0.5% of total)
ival-acos: 156.0ms (0.4% of total)
ival-tan: 116.0ms (0.3% of total)
ival-fabs: 111.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 89.0ms (0.2% of total)
ival-pi: 71.0ms (0.2% of total)
ival-true: 46.0ms (0.1% of total)
ival-asin: 30.0ms (0.1% of total)
ival-assert: 21.0ms (0.1% of total)
ival-cosh: 5.0ms (0% of total)
ival-e: 2.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

regimes58.9s (6.6%)

Memory
-543.0MiB live, 75 903.3MiB allocated
Counts
26 655 → 985
Calls

155 calls:

4.1s
phi1
3.9s
lambda2
3.8s
lambda1
3.8s
phi2
2.7s
b
Compiler

Compiled 13 497 to 8 848 computations (34.4% saved)

prune53.7s (6%)

Memory
-2 103.4MiB live, 82 976.7MiB allocated
Counts
190 920 → 8 171
Compiler

Compiled 553 462 to 279 811 computations (49.4% saved)

rewrite52.8s (5.9%)

Memory
-432.3MiB live, 54 057.8MiB allocated
Algorithm
197×batch-egg-rewrite
Rules
119 109×log1p-expm1-u
93 301×expm1-log1p-u
54 840×pow1
52 401×add-exp-log
48 362×add-log-exp
Stop Event
194×node limit
3×unsound
Counts
3 028 → 75 412

eval39.2s (4.4%)

Memory
1 507.2MiB live, 58 954.9MiB allocated
Compiler

Compiled 8 955 409 to 860 872 computations (90.4% saved)

series32.2s (3.6%)

Memory
825.5MiB live, 47 091.5MiB allocated
Counts
3 028 → 67 119
Calls

17826 calls:

TimeVariablePointExpression
472.0ms
A
@0
(sqrt (* F (* (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C)))))) (* 2 (+ (* C (* A -4)) (pow B 2))))))
440.0ms
angle
@inf
(* (/ (- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))) (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))))))) 2) (/ y-scale (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (/ (cos (* angle (/ (PI) 180))) x-scale))))
353.0ms
b
@-inf
(* (* x-scale y-scale) (* 2 (+ (* (pow a 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))) (* (pow b 2) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))))))
323.0ms
b
@0
(* (/ (- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))) (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))))))) 2) (/ y-scale (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (/ (cos (* angle (/ (PI) 180))) x-scale))))
294.0ms
a
@inf
(+ (* -2 (* (+ (* (pow a 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow b 2) (pow (cos (* 1/180 (* angle (PI)))) 2))) (+ (/ (* (pow a 2) (pow (cos (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2)) (/ (* (pow b 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2))))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (* (pow (sin (* 1/180 (* angle (PI)))) 2) (pow (- (pow b 2) (pow a 2)) 2))) (pow y-scale 2))))

explain24.4s (2.7%)

Memory
-156.0MiB live, 31 889.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19250
+.f64#fcancellation171840
sin.f64#fsensitivity16431
sqrt.f64#foflow-rescue13370
-.f64#fcancellation9726
-.f64#fnan-rescue6160
log.f64#fsensitivity5720
/.f64#fo/n4890
/.f64#fo/o3280
/.f64#fu/u3050
*.f64#fn*o2380
/.f64#fu/n1810
exp.f64#fsensitivity15631
sqrt.f64#fuflow-rescue1370
/.f64#fn/o1200
*.f64#fn*u980
cbrt.f64#foflow-rescue780
/.f64#fn/u390
cbrt.f64#fuflow-rescue380
*.f64#fu*o340
*.f64#fo*u240
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)))))sensitivity195
pow.f64#fuflow-rescue100
pow.f64#fsensitivity70
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue40
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow4
↳(exp.f64 a)underflow120
↳(exp.f64 b)underflow4
log.f64#foflow-rescue40
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity12
Confusion
Predicted +Predicted -
+5699101
-13466166
Precision
0.8089425124201561
Recall
0.9825862068965517
Confusion?
Predicted +Predicted MaybePredicted -
+56994160
-1346416125
Precision?
0.8053879612740283
Recall?
0.9896551724137931
Freqs
test
numberfreq
06267
14666
21566
3328
4248
5146
661
721
85
94
Total Confusion?
Predicted +Predicted MaybePredicted -
+4201
-207
Precision?
0.9545454545454546
Recall?
0.9767441860465116
Samples
4.4s8 580×1valid
2.4s15 556×0valid
1.7s1 708×2valid
1.6s610×3valid
292.0ms62×4valid
95.0ms28×5exit
15.0ms34×2invalid
13.0ms46×1invalid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.5s
ival-mult: 2.0s (23.1% of total)
ival-sin: 1.9s (22.7% of total)
ival-cos: 1.3s (15.3% of total)
ival-div: 612.0ms (7.2% of total)
adjust: 554.0ms (6.5% of total)
ival-pow2: 448.0ms (5.3% of total)
ival-exp: 303.0ms (3.6% of total)
ival-sub: 290.0ms (3.4% of total)
ival-add: 279.0ms (3.3% of total)
ival-sqrt: 176.0ms (2.1% of total)
ival-log: 167.0ms (2% of total)
ival-neg: 101.0ms (1.2% of total)
ival-pow: 61.0ms (0.7% of total)
ival-pi: 50.0ms (0.6% of total)
ival-tan: 45.0ms (0.5% of total)
ival-atan2: 38.0ms (0.4% of total)
ival-hypot: 35.0ms (0.4% of total)
ival-atan: 28.0ms (0.3% of total)
ival-true: 25.0ms (0.3% of total)
ival-acos: 22.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 17.0ms (0.2% of total)
ival-log1p: 14.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch18.2s (2.1%)

Memory
123.4MiB live, 26 700.9MiB allocated
Algorithm
378×binary-search
63×left-value
Stop Event
364×narrow-enough
14×predicate-same
Samples
7.7s13 373×1valid
3.9s27 835×0valid
1.0s1 695×2valid
850.0ms712×3valid
242.0ms17×4valid
166.0ms1 512×0invalid
73.0ms3×5exit
14.0ms56×1invalid
9.0ms26×2invalid
Compiler

Compiled 112 545 to 78 366 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
ival-cos: 2.8s (23.7% of total)
ival-sin: 2.6s (22.1% of total)
ival-mult: 1.8s (15.6% of total)
ival-div: 751.0ms (6.4% of total)
ival-pow2: 723.0ms (6.1% of total)
ival-sub: 658.0ms (5.6% of total)
adjust: 458.0ms (3.9% of total)
ival-sqrt: 411.0ms (3.5% of total)
ival-add: 339.0ms (2.9% of total)
ival-atan2: 218.0ms (1.8% of total)
ival-pow: 198.0ms (1.7% of total)
ival-acos: 166.0ms (1.4% of total)
ival-exp: 124.0ms (1.1% of total)
ival-atan: 83.0ms (0.7% of total)
ival-neg: 79.0ms (0.7% of total)
ival-tan: 77.0ms (0.7% of total)
ival-hypot: 69.0ms (0.6% of total)
ival-pi: 47.0ms (0.4% of total)
ival-log: 41.0ms (0.3% of total)
ival-true: 34.0ms (0.3% of total)
ival-fabs: 23.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 21.0ms (0.2% of total)
ival-assert: 18.0ms (0.2% of total)
ival-log1p: 11.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)

analyze17.9s (2%)

Memory
-26.2MiB live, 23 089.7MiB 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.3s (1.7%)

Memory
-170.5MiB live, 15 138.4MiB 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 57 164 to 21 246 computations (62.8% saved)

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated

Profiling

Loading profile data...