Herbie run

Date:Thursday, June 13th, 2024
Commit:63d27371 on web-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024165
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.2min)

sample5.3min (31%)

Samples
1.8min25 630×5exit
1.1min130 123×1valid
41.0s270 276×0valid
22.2s8 117×3valid
15.7s19 417×2valid
15.6s69 363×0invalid
8.6s1 374×4valid
3.0s11 178×1invalid
1.7s1 817×2invalid
138.0ms5×5valid
14.0ms26×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.2min
ival-pow: 1.8min (43.9% of total)
ival-sin: 23.1s (9.2% of total)
ival-mult: 22.4s (9% of total)
ival-cos: 22.3s (8.9% of total)
ival-div: 16.4s (6.5% of total)
adjust: 11.7s (4.7% of total)
ival-add: 8.4s (3.4% of total)
ival-sub: 8.3s (3.3% of total)
ival-log: 5.6s (2.2% of total)
ival-exp: 5.3s (2.1% of total)
ival-sqrt: 4.5s (1.8% of total)
ival-neg: 3.4s (1.4% of total)
ival-<: 2.0s (0.8% of total)
...in/eval/compile.rkt:71:19: 1.6s (0.6% of total)
ival-atan2: 835.0ms (0.3% of total)
ival-tan: 761.0ms (0.3% of total)
ival-pi: 739.0ms (0.3% of total)
ival-acos: 481.0ms (0.2% of total)
...in/eval/compile.rkt:70:19: 457.0ms (0.2% of total)
ival-and: 426.0ms (0.2% of total)
ival-atan: 352.0ms (0.1% of total)
ival-true: 332.0ms (0.1% of total)
ival-assert: 296.0ms (0.1% of total)
ival-cbrt: 249.0ms (0.1% of total)
ival-<=: 176.0ms (0.1% of total)
ival-asin: 154.0ms (0.1% of total)
ival-fabs: 117.0ms (0% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.8min (16.1%)

Algorithm
454×egg-herbie
Rules
168 036×fma-define
119 204×fmm-def
109 008×distribute-lft-in
94 950×times-frac
93 390×*-commutative
Stop Event
331×node limit
122×saturated
1×unsound
Counts
149 955 → 126 380

soundness2.0min (11.7%)

Rules
85 575×fma-define
76 094×log1p-expm1-u
54 376×distribute-lft-in
54 138×times-frac
54 103×*-commutative
Stop Event
279×node limit
45×fuel
16×saturated
7×done
3×unsound
Compiler

Compiled 75 236 to 21 228 computations (71.8% saved)

localize1.5min (8.6%)

Samples
21.4s13 317×1valid
17.7s2 328×5exit
11.2s27 226×0valid
7.2s3 002×2valid
3.5s4 471×0invalid
3.2s567×3valid
1.2s499×1invalid
385.0ms43×4valid
9.0ms2×2invalid
4.0ms1×5valid
Compiler

Compiled 94 145 to 7 863 computations (91.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.2s
ival-mult: 7.6s (16.5% of total)
ival-sin: 7.5s (16.3% of total)
ival-pow: 5.7s (12.4% of total)
adjust: 5.0s (10.9% of total)
ival-cos: 4.9s (10.7% of total)
ival-div: 3.7s (8.1% of total)
ival-add: 1.6s (3.4% of total)
ival-log: 1.3s (2.9% of total)
ival-sub: 1.1s (2.4% of total)
ival-hypot: 1.0s (2.2% of total)
ival-exp: 1.0s (2.2% of total)
ival-sqrt: 993.0ms (2.2% of total)
...in/eval/compile.rkt:71:19: 923.0ms (2% of total)
ival-log1p: 619.0ms (1.3% of total)
ival-expm1: 609.0ms (1.3% of total)
ival-fma: 572.0ms (1.2% of total)
ival-atan2: 435.0ms (0.9% of total)
ival-neg: 360.0ms (0.8% of total)
ival-cbrt: 280.0ms (0.6% of total)
ival-atan: 166.0ms (0.4% of total)
ival-tan: 131.0ms (0.3% of total)
ival-acos: 119.0ms (0.3% of total)
...in/eval/compile.rkt:70:19: 112.0ms (0.2% of total)
ival-fabs: 103.0ms (0.2% of total)
ival-pi: 78.0ms (0.2% of total)
ival-true: 57.0ms (0.1% of total)
ival-assert: 32.0ms (0.1% of total)
ival-asin: 15.0ms (0% of total)
ival-e: 13.0ms (0% of total)

regimes1.0min (5.9%)

Counts
24 018 → 872
Calls

155 calls:

4.0s
phi1
3.7s
lambda2
3.5s
lambda1
3.5s
phi2
2.7s
(-.f64 lambda1 lambda2)
Compiler

Compiled 13 900 to 9 078 computations (34.7% saved)

prune56.0s (5.4%)

Counts
199 494 → 8 480
Compiler

Compiled 600 418 to 294 244 computations (51% saved)

rewrite55.6s (5.4%)

Algorithm
201×batch-egg-rewrite
Rules
124 649×log1p-expm1-u
92 015×expm1-log1p-u
54 180×pow1
50 714×add-exp-log
48 243×add-log-exp
Stop Event
198×node limit
3×unsound
Counts
3 062 → 79 886

eval45.6s (4.4%)

Compiler

Compiled 9 174 434 to 900 287 computations (90.2% saved)

series37.4s (3.6%)

Counts
3 062 → 70 069
Calls

17931 calls:

TimeVariablePointExpression
958.0ms
x-scale
@inf
(log (* (* 1/4 a) (* x-scale 4)))
424.0ms
F
@0
(neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2)))))))
378.0ms
x-scale
@inf
(+ (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 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 (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))) (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))))))))
318.0ms
phi1
@inf
(log (+ 1 (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))))
235.0ms
t
@inf
(pow (sqrt (exp (- (- (+ (* c_p (neg (log (+ 1 (exp s))))) (* c_n (log (+ 1 (/ 1 (+ 1 (exp s))))))) (* c_n (log (+ 1 (/ 1 (+ 1 (exp t))))))) (* c_p (neg (log (+ 1 (exp t)))))))) 2)

explain24.9s (2.4%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18592
+.f64#fcancellation174930
sin.f64#fsensitivity16382
sqrt.f64#foflow-rescue14050
-.f64#fcancellation95110
-.f64#fnan-rescue6260
log.f64#fsensitivity6090
/.f64#fo/n4920
/.f64#fo/o3730
/.f64#fu/u3150
*.f64#fn*o2140
exp.f64#fsensitivity18523
/.f64#fu/n1740
sqrt.f64#fuflow-rescue1230
*.f64#fn*u1040
/.f64#fn/o1030
cbrt.f64#foflow-rescue840
*.f64#fo*u400
/.f64#fn/u350
cbrt.f64#fuflow-rescue350
*.f64#fu*o320
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)))))sensitivity202
pow.f64#fuflow-rescue80
pow.f64#fsensitivity53
log.f64#foflow-rescue40
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow140
↳(exp.f64 b)underflow1
Confusion
Predicted +Predicted -
+581358
-13016140
Precision
0.8171211695248806
Recall
0.9901209334014648
Confusion?
Predicted +Predicted MaybePredicted -
+58133424
-1301316109
Precision?
0.8144588382783118
Recall?
0.99591211037302
Freqs
test
numberfreq
06198
14691
21605
3333
4260
5138
665
715
84
93
Total Confusion?
Predicted +Predicted MaybePredicted -
+4111
-207
Precision?
0.9545454545454546
Recall?
0.9767441860465116
Samples
4.9s8 246×1valid
2.7s15 728×0valid
2.3s2 024×2valid
1.6s546×3valid
409.0ms80×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-sin: 2.1s (23.9% of total)
ival-cos: 1.3s (15.2% of total)
ival-mult: 1.3s (14.7% of total)
ival-pow: 786.0ms (9.1% of total)
ival-div: 769.0ms (9% of total)
adjust: 643.0ms (7.5% of total)
ival-add: 371.0ms (4.3% of total)
ival-sub: 303.0ms (3.5% of total)
ival-log: 272.0ms (3.2% of total)
ival-exp: 214.0ms (2.5% of total)
ival-sqrt: 193.0ms (2.2% of total)
ival-neg: 92.0ms (1.1% of total)
ival-atan2: 89.0ms (1% of total)
ival-tan: 47.0ms (0.5% of total)
ival-pi: 33.0ms (0.4% of total)
ival-true: 27.0ms (0.3% of total)
ival-atan: 26.0ms (0.3% of total)
ival-cbrt: 24.0ms (0.3% of total)
ival-acos: 20.0ms (0.2% of total)
...in/eval/compile.rkt:70:19: 19.0ms (0.2% of total)
ival-assert: 16.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

analyze21.9s (2.1%)

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 1 826 to 1 000 computations (45.2% saved)

bsearch19.7s (1.9%)

Algorithm
321×binary-search
49×left-value
Stop Event
312×narrow-enough
9×predicate-same
Samples
7.4s10 066×1valid
4.6s26 595×0valid
2.9s983×3valid
1.0s1 659×2valid
192.0ms1 906×0invalid
35.0ms9×4valid
1.0ms2×5exit
Compiler

Compiled 95 553 to 66 768 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.6s
ival-cos: 2.8s (20.7% of total)
ival-sin: 2.8s (20.7% of total)
ival-div: 2.0s (14.4% of total)
ival-mult: 1.8s (12.9% of total)
ival-pow: 1.0s (7.4% of total)
ival-sub: 846.0ms (6.2% of total)
ival-sqrt: 553.0ms (4.1% of total)
adjust: 544.0ms (4% of total)
ival-add: 532.0ms (3.9% of total)
ival-atan2: 165.0ms (1.2% of total)
ival-atan: 103.0ms (0.8% of total)
ival-acos: 97.0ms (0.7% of total)
ival-log: 85.0ms (0.6% of total)
ival-exp: 78.0ms (0.6% of total)
ival-neg: 63.0ms (0.5% of total)
ival-pi: 49.0ms (0.4% of total)
ival-tan: 37.0ms (0.3% of total)
ival-true: 36.0ms (0.3% of total)
...in/eval/compile.rkt:70:19: 26.0ms (0.2% of total)
ival-fabs: 26.0ms (0.2% of total)
ival-assert: 23.0ms (0.2% of total)
ival-asin: 5.0ms (0% of total)

preprocess15.0s (1.5%)

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 450 to 22 608 computations (60% saved)

end0.0ms (0%)

Profiling

Loading profile data...