Herbie run

Date:Saturday, June 29th, 2024
Commit:e9990e25 on zane-job-abstraction5
Hostname:nightly with Racket 8.11.1
Seed:2024181
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: 15.4min)

sample4.0min (26.1%)

Memory
686.4MiB live, 274 659.8MiB allocated
Samples
1.0min128 177×1valid
52.4s17 643×5exit
37.7s273 564×0valid
21.0s8 281×3valid
14.8s18 229×2valid
6.2s34 747×0exit
4.9s1 059×4valid
3.0s19 373×0invalid
1.9s9 968×1invalid
395.0ms953×2invalid
72.0ms2×5valid
32.0ms1×4exit
13.0ms27×1exit
11.0ms24×3invalid
Precisions
Click to see histograms. Total time spent on operations: 3.0min
ival-pow: 43.7s (24.3% of total)
ival-cos: 21.3s (11.9% of total)
ival-mult: 21.1s (11.7% of total)
ival-sin: 20.0s (11.1% of total)
ival-div: 14.1s (7.8% of total)
ival-pow2: 9.6s (5.3% of total)
adjust: 7.9s (4.4% of total)
ival-add: 7.1s (3.9% of total)
ival-sub: 6.6s (3.7% of total)
ival-exp: 6.1s (3.4% of total)
ival-log: 4.3s (2.4% of total)
ival-sqrt: 3.7s (2% of total)
ival-neg: 2.8s (1.6% of total)
...in/eval/compile.rkt:111:19: 1.9s (1% of total)
ival-log1p: 1.8s (1% of total)
ival-<: 1.7s (0.9% of total)
ival-hypot: 1.3s (0.7% of total)
ival-pi: 1.0s (0.6% of total)
ival-atan2: 697.0ms (0.4% of total)
ival-tan: 519.0ms (0.3% of total)
ival-acos: 379.0ms (0.2% of total)
ival-atan: 353.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 349.0ms (0.2% of total)
ival-and: 313.0ms (0.2% of total)
ival-cbrt: 301.0ms (0.2% of total)
ival-true: 280.0ms (0.2% of total)
ival-assert: 193.0ms (0.1% of total)
ival-<=: 172.0ms (0.1% of total)
ival-asin: 158.0ms (0.1% of total)
ival-fabs: 147.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.8min (18%)

Memory
-227.4MiB live, 198 189.1MiB allocated
Algorithm
450×egg-herbie
Rules
177 287×fma-define
129 138×fmm-def
105 716×distribute-lft-in
93 700×times-frac
92 662×distribute-rgt-in
Stop Event
332×node limit
116×saturated
2×unsound
Counts
143 985 → 122 494

soundness1.9min (12.6%)

Memory
225.3MiB live, 135 171.4MiB allocated
Rules
87 516×fma-define
69 060×log1p-expm1-u
55 581×expm1-log1p-u
52 328×fmm-def
50 680×distribute-lft-in
Stop Event
266×node limit
44×fuel
15×saturated
8×done
4×unsound
Compiler

Compiled 70 871 to 20 583 computations (71% saved)

localize1.1min (7.2%)

Memory
920.0MiB live, 89 572.6MiB allocated
Samples
17.2s13 694×1valid
9.4s28 508×0valid
7.6s1 242×5exit
5.7s2 198×2valid
3.5s884×3valid
1.9s3 913×0invalid
1.1s146×4valid
321.0ms342×1invalid
18.0ms9×2invalid
3.0ms8×0exit
Compiler

Compiled 92 960 to 7 872 computations (91.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.2s
ival-mult: 7.5s (20.2% of total)
ival-sin: 6.4s (17.3% of total)
ival-cos: 4.4s (11.8% of total)
ival-div: 3.5s (9.3% of total)
ival-add: 2.3s (6.3% of total)
ival-pow2: 2.0s (5.3% of total)
adjust: 1.6s (4.3% of total)
ival-pow: 1.5s (4% of total)
ival-sub: 1.2s (3.2% of total)
ival-log1p: 971.0ms (2.6% of total)
ival-exp: 783.0ms (2.1% of total)
...in/eval/compile.rkt:111:19: 781.0ms (2.1% of total)
ival-sqrt: 732.0ms (2% of total)
ival-hypot: 621.0ms (1.7% of total)
ival-log: 559.0ms (1.5% of total)
ival-atan2: 481.0ms (1.3% of total)
ival-expm1: 433.0ms (1.2% of total)
ival-cbrt: 377.0ms (1% of total)
ival-neg: 290.0ms (0.8% of total)
ival-tan: 189.0ms (0.5% of total)
ival-atan: 174.0ms (0.5% of total)
ival-acos: 123.0ms (0.3% of total)
ival-fabs: 92.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 86.0ms (0.2% of total)
ival-pi: 71.0ms (0.2% of total)
ival-true: 50.0ms (0.1% of total)
ival-assert: 22.0ms (0.1% of total)
ival-asin: 19.0ms (0.1% of total)
ival-copysign: 4.0ms (0% of total)

regimes1.1min (6.9%)

Memory
-185.3MiB live, 91 163.0MiB allocated
Counts
28 214 → 971
Calls

155 calls:

4.7s
phi1
4.1s
phi2
3.3s
lambda1
3.1s
b
2.9s
(-.f64 lambda1 lambda2)
Compiler

Compiled 15 515 to 10 032 computations (35.3% saved)

rewrite56.6s (6.1%)

Memory
-438.0MiB live, 53 922.7MiB allocated
Algorithm
199×batch-egg-rewrite
Rules
116 779×log1p-expm1-u
91 199×expm1-log1p-u
52 558×pow1
51 589×add-exp-log
47 973×add-log-exp
Stop Event
195×node limit
4×unsound
Counts
2 997 → 75 858

prune56.4s (6.1%)

Memory
-304.8MiB live, 85 709.7MiB allocated
Counts
196 836 → 8 191
Compiler

Compiled 575 546 to 282 956 computations (50.8% saved)

eval44.1s (4.8%)

Memory
-248.7MiB live, 60 759.2MiB allocated
Compiler

Compiled 9 197 457 to 881 498 computations (90.4% saved)

series33.5s (3.6%)

Memory
-26.6MiB live, 47 942.6MiB allocated
Counts
2 997 → 68 127
Calls

17418 calls:

TimeVariablePointExpression
428.0ms
angle
@-inf
(log (pow (exp (/ y-scale (* (* (- (pow b 2) (pow a 2)) (sin (* angle (* (PI) 1/180)))) (/ (cos (* angle (* (PI) 1/180))) x-scale)))) (* (- (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)) (+ (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (sqrt (+ (* (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2))) (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)))) (* (* (cos (* angle (* (PI) 1/180))) (/ (* (sin (* angle (* (PI) 1/180))) (* 2 (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* (cos (* angle (* (PI) 1/180))) (/ (* (sin (* angle (* (PI) 1/180))) (* 2 (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))) 1/2)))
393.0ms
angle
@0
(pow (* a (cos (* 1/180 (* angle (PI))))) 2)
290.0ms
angle
@-inf
(log (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* b (cos (* angle (* (PI) 1/180)))) (* b (cos (* angle (* (PI) 1/180))))))) 2))
229.0ms
angle
@inf
(/ y-scale (* (* (- (pow b 2) (pow a 2)) (sin (* angle (* (PI) 1/180)))) (/ (cos (* angle (* (PI) 1/180))) x-scale)))
220.0ms
angle
@-inf
(log (+ 1 (/ (* 180 (atan (/ (* -180 x-scale) (* (* angle y-scale) (PI))))) (PI))))

explain24.2s (2.6%)

Memory
-154.1MiB live, 32 046.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity19711
sin.f64#fsensitivity17170
+.f64#fcancellation171721
sqrt.f64#foflow-rescue13280
-.f64#fcancellation92713
-.f64#fnan-rescue5950
log.f64#fsensitivity5940
/.f64#fo/n5310
/.f64#fo/o3450
/.f64#fu/u3060
*.f64#fn*o2110
/.f64#fu/n1620
exp.f64#fsensitivity16224
sqrt.f64#fuflow-rescue1420
cbrt.f64#foflow-rescue1100
*.f64#fn*u1050
/.f64#fn/o890
/.f64#fn/u440
*.f64#fo*u370
*.f64#fu*o330
cbrt.f64#fuflow-rescue310
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)))))sensitivity138
log.f64#foflow-rescue80
pow.f64#fuflow-rescue70
pow.f64#fsensitivity41
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue30
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow3
↳(exp.f64 a)underflow137
↳(exp.f64 b)underflow3
Confusion
Predicted +Predicted -
+5785100
-13286099
Precision
0.8132995922957964
Recall
0.9830076465590484
Confusion?
Predicted +Predicted MaybePredicted -
+57853565
-1328176082
Precision?
0.8122819260293092
Recall?
0.9889549702633815
Freqs
test
numberfreq
06199
14701
21620
3320
4224
5143
677
714
87
96
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4300
-207
Precision?
0.9555555555555556
Recall?
1.0
Samples
4.2s8 652×1valid
2.1s15 544×0valid
2.1s1 680×2valid
1.1s548×3valid
417.0ms96×4valid
18.0ms44×2invalid
14.0ms50×1invalid
6.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.0s
ival-sin: 2.2s (27.7% of total)
ival-cos: 1.4s (18% of total)
ival-mult: 1.0s (12.7% of total)
ival-div: 583.0ms (7.3% of total)
ival-pow2: 488.0ms (6.1% of total)
ival-add: 359.0ms (4.5% of total)
adjust: 333.0ms (4.2% of total)
ival-sub: 322.0ms (4% of total)
ival-sqrt: 240.0ms (3% of total)
ival-exp: 193.0ms (2.4% of total)
ival-log: 172.0ms (2.2% of total)
ival-neg: 161.0ms (2% of total)
ival-tan: 119.0ms (1.5% of total)
ival-atan: 76.0ms (1% of total)
ival-atan2: 40.0ms (0.5% of total)
ival-hypot: 36.0ms (0.5% of total)
ival-pow: 34.0ms (0.4% of total)
ival-pi: 33.0ms (0.4% of total)
ival-true: 25.0ms (0.3% of total)
ival-cbrt: 22.0ms (0.3% of total)
ival-acos: 20.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-log1p: 8.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch20.2s (2.2%)

Memory
-81.1MiB live, 29 245.7MiB allocated
Algorithm
338×binary-search
91×left-value
Stop Event
331×narrow-enough
7×predicate-same
Samples
8.9s13 135×1valid
4.0s24 685×0valid
1.1s1 279×3valid
1.1s1 687×5exit
793.0ms1 475×2valid
83.0ms954×0invalid
72.0ms1×5valid
60.0ms17×4valid
0.0ms2×1invalid
0.0ms1×0exit
Compiler

Compiled 109 088 to 75 007 computations (31.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-cos: 3.0s (22% of total)
ival-sin: 2.8s (20.7% of total)
ival-mult: 2.0s (14.8% of total)
adjust: 945.0ms (7% of total)
ival-div: 854.0ms (6.4% of total)
ival-pow2: 711.0ms (5.3% of total)
ival-sub: 649.0ms (4.8% of total)
ival-sqrt: 611.0ms (4.6% of total)
ival-add: 400.0ms (3% of total)
ival-pow: 336.0ms (2.5% of total)
ival-hypot: 238.0ms (1.8% of total)
ival-atan2: 200.0ms (1.5% of total)
ival-exp: 183.0ms (1.4% of total)
ival-acos: 125.0ms (0.9% of total)
ival-atan: 94.0ms (0.7% of total)
ival-neg: 81.0ms (0.6% of total)
ival-log: 76.0ms (0.6% of total)
ival-pi: 47.0ms (0.4% of total)
ival-tan: 38.0ms (0.3% of total)
ival-true: 32.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 21.0ms (0.2% of total)
ival-assert: 17.0ms (0.1% of total)
ival-log1p: 13.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-asin: 6.0ms (0% of total)

analyze18.8s (2%)

Memory
172.8MiB live, 21 608.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.6s (1.7%)

Memory
-119.0MiB live, 14 947.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 58 844 to 22 196 computations (62.3% saved)

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated

Profiling

Loading profile data...