Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
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
18.5MiB live, 271 698.1MiB allocated
Samples
1.1min128 177×1valid
53.5s17 643×5exit
37.0s273 564×0valid
20.0s8 281×3valid
15.7s18 229×2valid
6.7s34 747×0exit
5.4s1 059×4valid
3.4s19 373×0invalid
1.7s9 968×1invalid
365.0ms953×2invalid
74.0ms2×5valid
34.0ms1×4exit
19.0ms27×1exit
11.0ms24×3invalid
Precisions
Click to see histograms. Total time spent on operations: 3.0min
ival-pow: 44.6s (24.4% of total)
ival-sin: 22.2s (12.2% of total)
ival-cos: 20.5s (11.2% of total)
ival-mult: 20.1s (11% of total)
ival-div: 12.6s (6.9% of total)
ival-pow2: 9.7s (5.3% of total)
adjust: 9.5s (5.2% of total)
ival-sub: 8.5s (4.7% of total)
ival-add: 6.9s (3.7% of total)
ival-exp: 5.2s (2.9% of total)
ival-log: 4.5s (2.5% of total)
ival-neg: 3.6s (1.9% of total)
ival-sqrt: 3.5s (1.9% of total)
ival-<: 2.0s (1.1% of total)
ival-log1p: 1.9s (1% of total)
...in/eval/compile.rkt:111:19: 1.8s (1% of total)
ival-hypot: 957.0ms (0.5% of total)
ival-atan2: 786.0ms (0.4% of total)
ival-tan: 699.0ms (0.4% of total)
ival-pi: 551.0ms (0.3% of total)
ival-acos: 487.0ms (0.3% of total)
ival-atan: 387.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 346.0ms (0.2% of total)
ival-and: 313.0ms (0.2% of total)
ival-true: 294.0ms (0.2% of total)
ival-cbrt: 244.0ms (0.1% of total)
ival-assert: 194.0ms (0.1% of total)
ival-<=: 169.0ms (0.1% of total)
ival-asin: 124.0ms (0.1% of total)
ival-fabs: 118.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.8min (18.2%)

Memory
12.2MiB live, 198 942.7MiB 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.5%)

Memory
78.0MiB live, 134 134.3MiB 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 584 computations (71% saved)

localize1.1min (7.3%)

Memory
822.4MiB live, 88 561.3MiB allocated
Samples
16.9s13 694×1valid
10.0s28 508×0valid
7.1s1 242×5exit
5.9s2 198×2valid
3.7s884×3valid
1.9s3 913×0invalid
1.8s146×4valid
367.0ms342×1invalid
6.0ms9×2invalid
6.0ms8×0exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 38.0s
ival-mult: 7.0s (18.5% of total)
ival-sin: 7.0s (18.5% of total)
ival-cos: 4.7s (12.3% of total)
ival-div: 3.9s (10.1% of total)
ival-pow2: 2.4s (6.2% of total)
ival-add: 2.0s (5.3% of total)
adjust: 1.9s (4.9% of total)
ival-pow: 1.5s (3.9% of total)
ival-sub: 1.0s (2.6% of total)
ival-sqrt: 967.0ms (2.5% of total)
ival-log1p: 910.0ms (2.4% of total)
ival-log: 875.0ms (2.3% of total)
ival-exp: 679.0ms (1.8% of total)
...in/eval/compile.rkt:111:19: 662.0ms (1.7% of total)
ival-hypot: 451.0ms (1.2% of total)
ival-expm1: 351.0ms (0.9% of total)
ival-cbrt: 344.0ms (0.9% of total)
ival-atan2: 341.0ms (0.9% of total)
ival-atan: 303.0ms (0.8% of total)
ival-neg: 263.0ms (0.7% of total)
ival-acos: 118.0ms (0.3% of total)
ival-tan: 113.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 90.0ms (0.2% of total)
ival-pi: 70.0ms (0.2% of total)
ival-fabs: 68.0ms (0.2% of total)
ival-true: 48.0ms (0.1% of total)
ival-assert: 26.0ms (0.1% of total)
ival-asin: 22.0ms (0.1% of total)
ival-copysign: 4.0ms (0% of total)

regimes1.1min (7.3%)

Memory
57.7MiB live, 91 046.9MiB allocated
Counts
28 214 → 971
Calls

155 calls:

4.6s
phi1
4.3s
phi2
3.3s
lambda1
3.1s
b
3.0s
(-.f64 lambda1 lambda2)
Compiler

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

rewrite54.0s (5.8%)

Memory
-731.5MiB live, 53 130.2MiB 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

prune53.9s (5.8%)

Memory
-1 417.3MiB live, 85 915.0MiB allocated
Counts
196 836 → 8 191
Compiler

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

eval43.5s (4.7%)

Memory
1 705.2MiB live, 59 429.6MiB allocated
Compiler

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

series33.9s (3.7%)

Memory
454.4MiB live, 47 297.2MiB allocated
Counts
2 997 → 68 127
Calls

17418 calls:

TimeVariablePointExpression
333.0ms
a
@inf
(- (+ (* (pow a 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow b 2) (pow (cos (* 1/180 (* angle (PI)))) 2))) (* 1/2 (/ (+ (* -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)))) (+ (/ (* (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))))))
306.0ms
x-scale
@-inf
(/ (sqrt (* (* b (* (pow a 2) (neg b))) (* (* 8 (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale 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)) (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))))))))))) (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale y-scale) 2))))
292.0ms
angle
@-inf
(log (+ 1 (/ (* 180 (atan (/ (* -180 x-scale) (* (* angle y-scale) (PI))))) (PI))))
234.0ms
A
@-inf
(- (* -1/2 (* (sqrt (/ F (pow B 3))) (* (+ C A) (sqrt 2)))) (* (sqrt 2) (sqrt (/ F B))))
234.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)))

explain24.6s (2.7%)

Memory
49.3MiB live, 32 643.8MiB 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.6s8 652×1valid
2.4s15 544×0valid
2.2s1 680×2valid
1.3s548×3valid
467.0ms96×4valid
20.0ms44×2invalid
15.0ms50×1invalid
5.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-sin: 2.1s (23% of total)
ival-cos: 1.7s (18.2% of total)
ival-mult: 1.5s (17.1% of total)
ival-div: 954.0ms (10.5% of total)
ival-pow2: 613.0ms (6.8% of total)
adjust: 476.0ms (5.3% of total)
ival-add: 357.0ms (3.9% of total)
ival-log: 279.0ms (3.1% of total)
ival-sub: 273.0ms (3% of total)
ival-exp: 189.0ms (2.1% of total)
ival-sqrt: 169.0ms (1.9% of total)
ival-neg: 108.0ms (1.2% of total)
ival-tan: 74.0ms (0.8% of total)
ival-atan2: 39.0ms (0.4% of total)
ival-hypot: 37.0ms (0.4% of total)
ival-pi: 35.0ms (0.4% of total)
ival-atan: 27.0ms (0.3% of total)
ival-true: 25.0ms (0.3% of total)
ival-pow: 25.0ms (0.3% of total)
ival-acos: 20.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 16.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-log1p: 8.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch20.6s (2.2%)

Memory
-176.0MiB live, 29 311.8MiB allocated
Algorithm
338×binary-search
91×left-value
Stop Event
331×narrow-enough
7×predicate-same
Samples
8.5s13 135×1valid
4.1s24 685×0valid
1.2s1 279×3valid
1.2s1 687×5exit
731.0ms1 475×2valid
89.0ms954×0invalid
87.0ms17×4valid
86.0ms1×5valid
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: 12.8s
ival-sin: 2.6s (20% of total)
ival-cos: 2.5s (19.7% of total)
ival-mult: 1.8s (13.9% of total)
adjust: 1.0s (8.1% of total)
ival-pow2: 922.0ms (7.2% of total)
ival-div: 856.0ms (6.7% of total)
ival-sub: 763.0ms (6% of total)
ival-add: 373.0ms (2.9% of total)
ival-pow: 342.0ms (2.7% of total)
ival-sqrt: 313.0ms (2.4% of total)
ival-exp: 262.0ms (2.1% of total)
ival-acos: 248.0ms (1.9% of total)
ival-atan2: 185.0ms (1.4% of total)
ival-neg: 124.0ms (1% of total)
ival-hypot: 118.0ms (0.9% of total)
ival-atan: 89.0ms (0.7% of total)
ival-log: 73.0ms (0.6% of total)
ival-tan: 57.0ms (0.4% of total)
ival-pi: 47.0ms (0.4% of total)
ival-fabs: 40.0ms (0.3% of total)
ival-true: 35.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 21.0ms (0.2% of total)
ival-assert: 17.0ms (0.1% of total)
ival-log1p: 16.0ms (0.1% of total)
ival-asin: 6.0ms (0% of total)

analyze19.0s (2.1%)

Memory
-79.1MiB live, 21 838.4MiB 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.2s (1.6%)

Memory
-23.0MiB live, 15 169.8MiB 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 846 to 22 200 computations (62.3% saved)

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...