Herbie run

Date:Monday, June 3rd, 2024
Commit:6df94082 on main
Hostname:nightly with Racket 8.11.1
Seed:2024155
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: 17.8min)

sample5.8min (32.8%)

Results
1.9min26091×5exit
1.2min129702×1valid
47.6s270762×0valid
23.4s8241×3valid
19.4s70519×0invalid
18.2s19216×2valid
8.3s1386×4valid
2.9s11046×1invalid
1.1s1745×2invalid
462.0ms5×5valid
36.0ms26×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.4min
ival-pow: 1.9min (43.9% of total)
ival-mult: 26.7s (10% of total)
ival-cos: 23.1s (8.7% of total)
ival-sin: 21.4s (8% of total)
ival-div: 15.9s (6% of total)
adjust: 11.6s (4.4% of total)
ival-sub: 9.6s (3.6% of total)
ival-add: 9.0s (3.4% of total)
ival-exp: 6.5s (2.4% of total)
ival-log: 5.7s (2.1% of total)
ival-sqrt: 5.1s (1.9% of total)
ival-neg: 3.4s (1.3% of total)
ival-<: 2.6s (1% of total)
...c/correct-round.rkt:168:19: 2.2s (0.8% of total)
const: 884.0ms (0.3% of total)
ival-pi: 872.0ms (0.3% of total)
ival-atan2: 735.0ms (0.3% of total)
ival-cbrt: 731.0ms (0.3% of total)
ival-tan: 613.0ms (0.2% of total)
ival-assert: 572.0ms (0.2% of total)
ival-true: 564.0ms (0.2% of total)
ival-and: 441.0ms (0.2% of total)
ival-atan: 401.0ms (0.2% of total)
ival-acos: 382.0ms (0.1% of total)
ival-fabs: 266.0ms (0.1% of total)
ival-<=: 241.0ms (0.1% of total)
ival-asin: 164.0ms (0.1% of total)
ival-==: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.9min (16.5%)

Algorithm
450×egg-herbie
Rules
183470×fma-define
118384×fmm-def
106951×distribute-lft-in
94920×distribute-rgt-in
90721×*-commutative
Stop Event
116×saturated
332×node limit
2×unsound
Counts
145155 → 122562

soundness1.8min (10.3%)

Rules
88841×fma-define
66333×log1p-expm1-u
51135×expm1-log1p-u
50370×distribute-lft-in
49315×fmm-def
Stop Event
15×saturated
254×node limit
46×fuel
3×unsound
5×done
Compiler

Compiled 70917 to 20622 computations (70.9% saved)

localize1.6min (8.9%)

Results
23.1s13059×1valid
18.5s2473×5exit
15.1s27213×0valid
8.0s2865×2valid
4.0s4846×0invalid
2.9s508×3valid
713.0ms58×4valid
624.0ms178×1invalid
Compiler

Compiled 99270 to 7947 computations (92% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.7s
ival-mult: 8.5s (17.4% of total)
ival-sin: 7.0s (14.4% of total)
ival-pow: 6.9s (14.1% of total)
adjust: 5.1s (10.5% of total)
ival-cos: 4.9s (10% of total)
ival-div: 4.0s (8.3% of total)
ival-add: 2.1s (4.4% of total)
...c/correct-round.rkt:168:19: 1.3s (2.8% of total)
ival-sub: 1.3s (2.6% of total)
ival-log: 1.2s (2.5% of total)
ival-sqrt: 846.0ms (1.7% of total)
ival-hypot: 799.0ms (1.6% of total)
ival-fma: 656.0ms (1.3% of total)
ival-exp: 642.0ms (1.3% of total)
ival-expm1: 559.0ms (1.1% of total)
ival-log1p: 456.0ms (0.9% of total)
ival-neg: 454.0ms (0.9% of total)
ival-cbrt: 407.0ms (0.8% of total)
ival-atan2: 334.0ms (0.7% of total)
ival-acos: 274.0ms (0.6% of total)
ival-tan: 217.0ms (0.4% of total)
const: 210.0ms (0.4% of total)
ival-atan: 184.0ms (0.4% of total)
ival-pi: 91.0ms (0.2% of total)
ival-true: 90.0ms (0.2% of total)
ival-fabs: 66.0ms (0.1% of total)
ival-assert: 63.0ms (0.1% of total)
ival-asin: 21.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)

prune56.4s (5.3%)

Counts
197564 → 8597
Compiler

Compiled 594883 to 293215 computations (50.7% saved)

regimes54.0s (5.1%)

Counts
25721 → 974
Calls

155 calls:

3.7s
phi2
3.5s
phi1
3.3s
lambda2
3.0s
lambda1
2.7s
a
Compiler

Compiled 13333 to 8761 computations (34.3% saved)

rewrite53.9s (5.1%)

Algorithm
199×batch-egg-rewrite
Rules
118065×log1p-expm1-u
91094×expm1-log1p-u
53599×pow1
51289×add-exp-log
48819×add-log-exp
Stop Event
196×node limit
3×unsound
Counts
3023 → 77074

eval44.7s (4.2%)

Compiler

Compiled 9496119 to 880960 computations (90.7% saved)

series36.4s (3.4%)

Counts
3023 → 68081
Calls

17304 calls:

TimeVariablePointExpression
505.0ms
A
@0
(/ (sqrt (* (* (+ (* B B) (* A (* C -4))) F) (* 2 (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C))))))))) (neg (+ (* B B) (* A (* C -4)))))
472.0ms
y-scale
@inf
(+ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (+ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (sqrt (+ (pow (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) 2) (pow (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* x-scale y-scale)) 2)))))
434.0ms
angle
@-inf
(exp (* 2 (+ (log (sin (* 1/180 (* angle (PI))))) (log a))))
374.0ms
y-scale
@0
(/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 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))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)))
326.0ms
t
@inf
(cbrt (/ (sqrt (+ (* 1 1) (* (* (tan t) (/ eh ew)) (* (tan t) (/ eh ew))))) (cos t)))

bsearch29.9s (2.8%)

Algorithm
77×left-value
355×binary-search
Stop Event
3×predicate-same
352×narrow-enough
Results
9.6s14069×1valid
8.1s689×5exit
4.6s25974×0valid
1.4s943×3valid
1.1s1556×2valid
491.0ms2906×0invalid
305.0ms420×1invalid
196.0ms248×2invalid
62.0ms17×4valid
Compiler

Compiled 109637 to 76637 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 22.6s
ival-pow: 8.5s (37.7% of total)
ival-cos: 3.2s (14% of total)
ival-sin: 2.9s (12.7% of total)
ival-mult: 2.5s (10.9% of total)
ival-div: 1.3s (5.6% of total)
ival-sub: 1.1s (5% of total)
adjust: 806.0ms (3.6% of total)
ival-add: 536.0ms (2.4% of total)
ival-sqrt: 535.0ms (2.4% of total)
ival-acos: 211.0ms (0.9% of total)
ival-atan2: 180.0ms (0.8% of total)
ival-pi: 161.0ms (0.7% of total)
ival-exp: 160.0ms (0.7% of total)
ival-neg: 140.0ms (0.6% of total)
ival-log: 122.0ms (0.5% of total)
ival-atan: 86.0ms (0.4% of total)
ival-true: 69.0ms (0.3% of total)
const: 54.0ms (0.2% of total)
ival-tan: 51.0ms (0.2% of total)
ival-assert: 50.0ms (0.2% of total)
ival-fabs: 17.0ms (0.1% of total)
ival-asin: 5.0ms (0% of total)

explain25.8s (2.4%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19252
+.f64#fcancellation172028
sin.f64#fsensitivity16580
sqrt.f64#foflow-rescue13820
-.f64#fcancellation90510
-.f64#fnan-rescue6280
log.f64#fsensitivity5903
/.f64#fo/n4870
/.f64#fo/o3630
/.f64#fu/u2950
*.f64#fn*o2030
exp.f64#fsensitivity17018
/.f64#fu/n1560
sqrt.f64#fuflow-rescue1550
*.f64#fn*u1180
/.f64#fn/o1100
cbrt.f64#foflow-rescue860
/.f64#fn/u410
cbrt.f64#fuflow-rescue410
*.f64#fu*o330
*.f64#fo*u330
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)))))sensitivity203
log.f64#foflow-rescue100
pow.f64#fsensitivity80
pow.f64#fuflow-rescue40
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 -
+579864
-13616089
Precision
0.8098896493923733
Recall
0.9890822244967588
Confusion?
Predicted +Predicted MaybePredicted -
+57983826
-1361186071
Precision?
0.8088704088704088
Recall?
0.9955646537018082
Freqs
test
numberfreq
06153
14737
21636
3344
4233
5129
650
718
810
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4200
-307
Precision?
0.9333333333333333
Recall?
1.0
Results
5.1s8286×1valid
3.4s15818×0valid
2.2s1824×2valid
1.6s600×3valid
1.0s96×4valid
Compiler

Compiled 21748 to 3336 computations (84.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-sin: 1.8s (21.1% of total)
ival-cos: 1.4s (15.8% of total)
ival-mult: 1.4s (15.6% of total)
ival-pow: 774.0ms (8.9% of total)
ival-div: 705.0ms (8.1% of total)
adjust: 693.0ms (8% of total)
ival-sub: 421.0ms (4.8% of total)
ival-add: 418.0ms (4.8% of total)
ival-sqrt: 212.0ms (2.4% of total)
ival-log: 205.0ms (2.4% of total)
ival-exp: 181.0ms (2.1% of total)
ival-neg: 129.0ms (1.5% of total)
ival-pi: 64.0ms (0.7% of total)
ival-tan: 54.0ms (0.6% of total)
ival-atan: 50.0ms (0.6% of total)
ival-true: 45.0ms (0.5% of total)
ival-atan2: 41.0ms (0.5% of total)
const: 38.0ms (0.4% of total)
ival-assert: 31.0ms (0.4% of total)
ival-acos: 27.0ms (0.3% of total)
ival-cbrt: 23.0ms (0.3% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)

analyze20.7s (1.9%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%20.6%0%1.3%0%2
32.7%24.7%50.8%20.6%0%3.8%0%3
39.8%29.8%45%20.6%0%4.5%0%4
45.4%33.8%40.6%20.6%0%5.1%0%5
48.4%35.7%38%20.6%0%5.7%0%6
51.8%37.8%35.2%20.6%0%6.3%0.1%7
53.5%38.9%33.8%20.6%0%6.6%0.1%8
56.4%40.6%31.4%20.6%0%7.2%0.2%9
57.7%41.4%30.3%20.6%0%7.5%0.2%10
59.8%42.7%28.7%20.6%0%7.8%0.3%11
61.3%43.5%27.5%20.6%0%8.1%0.3%12
Compiler

Compiled 1826 to 1000 computations (45.2% saved)

preprocess15.2s (1.4%)

Algorithm
52×egg-herbie
Rules
32339×fma-define
19274×fmm-def
13261×div-sub
11418×sub-neg
10337×distribute-lft-in
Stop Event
22×saturated
30×node limit
Compiler

Compiled 61044 to 22106 computations (63.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...