Herbie run

Date:Thursday, August 1st, 2024
Commit:bb938f1b on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024214
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: 13.6min)

sample3.4min (24.8%)

Memory
705.7MiB live, 236 911.4MiB allocated
Samples
57.0s121 828×1valid
36.8s280 093×0valid
31.7s14 362×5exit
16.3s24 231×2valid
7.2s3 137×3valid
5.8s34 429×0exit
4.3s11 024×1exit
2.7s20 312×0invalid
2.6s11 261×1invalid
678.0ms44×4exit
334.0ms22×3exit
297.0ms768×2invalid
216.0ms23×4valid
16.0ms8×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-pow: 27.1s (18.7% of total)
ival-cos: 17.8s (12.3% of total)
ival-mult: 17.8s (12.3% of total)
ival-sin: 16.0s (11.1% of total)
ival-div: 12.2s (8.4% of total)
adjust: 9.9s (6.9% of total)
ival-pow2: 8.0s (5.5% of total)
ival-add: 6.1s (4.2% of total)
ival-sub: 5.7s (3.9% of total)
ival-exp: 5.2s (3.6% of total)
ival-sqrt: 4.2s (2.9% of total)
ival-log: 4.1s (2.8% of total)
ival-neg: 1.8s (1.3% of total)
ival-<: 1.5s (1% of total)
const: 1.3s (0.9% of total)
ival-atan2: 791.0ms (0.5% of total)
ival-pi: 679.0ms (0.5% of total)
ival-tan: 609.0ms (0.4% of total)
ival-hypot: 559.0ms (0.4% of total)
ival-atan: 513.0ms (0.4% of total)
ival-acos: 498.0ms (0.3% of total)
exact: 403.0ms (0.3% of total)
ival-and: 324.0ms (0.2% of total)
ival-cbrt: 306.0ms (0.2% of total)
ival-true: 302.0ms (0.2% of total)
ival-assert: 208.0ms (0.1% of total)
ival-fabs: 191.0ms (0.1% of total)
ival-asin: 176.0ms (0.1% of total)
ival-log1p: 149.0ms (0.1% of total)
ival-<=: 129.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.6min (18.8%)

Memory
-177.9MiB live, 199 069.8MiB allocated
Algorithm
456×egg-herbie
Rules
3 507 598×lower-fma.f32
3 506 462×lower-fma.f64
1 770 382×lower-*.f32
1 766 024×lower-*.f64
958 768×lower-+.f32
Stop Event
607×iter limit
318×node limit
138×saturated
Counts
82 728 → 81 934

rewrite1.4min (10%)

Memory
759.6MiB live, 103 968.8MiB allocated
Algorithm
202×batch-egg-rewrite
Rules
934 260×lower-fma.f32
933 158×lower-fma.f64
884 510×lower-*.f32
880 318×lower-*.f64
678 096×lower-/.f32
Stop Event
414×iter limit
201×node limit
1×saturated
Counts
3 389 → 156 423

soundness1.2min (8.8%)

Memory
369.7MiB live, 52 669.2MiB allocated
Rules
2 272 380×lower-fma.f32
2 271 576×lower-fma.f64
1 534 214×lower-*.f32
1 531 022×lower-*.f64
782 102×lower-+.f32
Stop Event
442×iter limit
291×node limit
46×fuel
6×done
1×saturated
Compiler

Compiled 52 395 to 24 709 computations (52.8% saved)

localize1.0min (7.4%)

Memory
245.0MiB live, 77 847.1MiB allocated
Samples
18.9s14 113×1valid
8.5s28 729×0valid
6.0s3 760×2valid
4.6s736×5exit
1.4s3 122×0invalid
744.0ms138×4exit
729.0ms347×1invalid
615.0ms318×3valid
153.0ms366×1exit
20.0ms61×0exit
16.0ms4×2exit
12.0ms14×2invalid
8.0ms1×3exit
5.0ms3×4valid
Compiler

Compiled 92 791 to 8 074 computations (91.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.6s
ival-mult: 7.7s (23.6% of total)
ival-cos: 5.7s (17.6% of total)
ival-sin: 4.2s (12.8% of total)
ival-div: 3.1s (9.5% of total)
adjust: 2.8s (8.7% of total)
ival-add: 2.2s (6.9% of total)
const: 1.2s (3.5% of total)
ival-pow2: 921.0ms (2.8% of total)
ival-sqrt: 866.0ms (2.7% of total)
ival-sub: 718.0ms (2.2% of total)
ival-pow: 490.0ms (1.5% of total)
ival-log: 390.0ms (1.2% of total)
ival-neg: 360.0ms (1.1% of total)
ival-atan2: 349.0ms (1.1% of total)
ival-exp: 247.0ms (0.8% of total)
ival-tan: 241.0ms (0.7% of total)
ival-acos: 142.0ms (0.4% of total)
ival-hypot: 130.0ms (0.4% of total)
ival-cbrt: 125.0ms (0.4% of total)
ival-atan: 108.0ms (0.3% of total)
ival-log1p: 90.0ms (0.3% of total)
exact: 89.0ms (0.3% of total)
ival-fabs: 80.0ms (0.2% of total)
ival-pi: 79.0ms (0.2% of total)
ival-sinh: 61.0ms (0.2% of total)
ival-tanh: 59.0ms (0.2% of total)
ival-true: 47.0ms (0.1% of total)
ival-assert: 23.0ms (0.1% of total)
ival-copysign: 15.0ms (0% of total)
ival-asin: 13.0ms (0% of total)
ival-e: 10.0ms (0% of total)
ival-expm1: 8.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)

eval59.5s (7.3%)

Memory
1 152.9MiB live, 86 075.5MiB allocated
Compiler

Compiled 13 162 344 to 784 266 computations (94% saved)

prune55.4s (6.8%)

Memory
-1 743.5MiB live, 93 900.3MiB allocated
Counts
299 487 → 8 412
Compiler

Compiled 669 810 to 295 103 computations (55.9% saved)

regimes44.4s (5.4%)

Memory
13.9MiB live, 64 816.8MiB allocated
Counts
26 011 → 1 081
Calls

155 calls:

2.9s
b
2.8s
phi2
2.7s
phi1
2.2s
lambda1
2.2s
a
Compiler

Compiled 26 079 to 15 763 computations (39.6% saved)

explain21.3s (2.6%)

Memory
-167.3MiB live, 28 419.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18715
+.f64#fcancellation175930
sin.f64#fsensitivity16041
sqrt.f64#foflow-rescue14300
-.f64#fcancellation93113
log.f64#fsensitivity5711
-.f64#fnan-rescue5590
/.f64#fo/n4450
/.f64#fo/o3280
/.f64#fu/u3240
*.f64#fn*o2430
exp.f64#fsensitivity16922
sqrt.f64#fuflow-rescue1630
/.f64#fu/n1600
*.f64#fn*u1100
/.f64#fn/o990
cbrt.f64#foflow-rescue930
cbrt.f64#fuflow-rescue410
/.f64#fn/u400
*.f64#fu*o370
*.f64#fo*u250
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)))))sensitivity183
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))oflow-rescue60
↳(+.f64 (exp.f64 a) (exp.f64 b))overflow6
↳(exp.f64 b)overflow6
pow.f64#fsensitivity53
pow.f64#fuflow-rescue20
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow2
↳(exp.f64 a)underflow122
↳(exp.f64 b)underflow2
Confusion
Predicted +Predicted -
+577480
-13816077
Precision
0.8069881201956673
Recall
0.9863341305090536
Confusion?
Predicted +Predicted MaybePredicted -
+57744436
-1381206057
Precision?
0.8059287990026319
Recall?
0.9938503587290741
Freqs
test
numberfreq
06157
14687
21734
3340
4227
595
646
713
88
94
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4020
-406
Precision?
0.9130434782608695
Recall?
1.0
Samples
3.8s8 198×1valid
2.2s2 034×2valid
2.1s16 092×0valid
485.0ms298×3valid
2.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-sin: 1.5s (21.4% of total)
ival-cos: 1.2s (17.6% of total)
ival-mult: 907.0ms (13.3% of total)
ival-div: 612.0ms (9% of total)
ival-pow2: 576.0ms (8.4% of total)
adjust: 433.0ms (6.4% of total)
ival-sub: 285.0ms (4.2% of total)
ival-add: 284.0ms (4.2% of total)
ival-exp: 236.0ms (3.5% of total)
ival-log: 205.0ms (3% of total)
ival-sqrt: 185.0ms (2.7% of total)
ival-tan: 74.0ms (1.1% of total)
ival-neg: 69.0ms (1% of total)
ival-pi: 40.0ms (0.6% of total)
ival-atan2: 40.0ms (0.6% of total)
ival-hypot: 34.0ms (0.5% of total)
ival-atan: 26.0ms (0.4% of total)
ival-true: 25.0ms (0.4% of total)
ival-pow: 25.0ms (0.4% of total)
ival-acos: 24.0ms (0.4% of total)
exact: 19.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.3% of total)
ival-fabs: 14.0ms (0.2% of total)
ival-assert: 12.0ms (0.2% of total)
ival-asin: 8.0ms (0.1% of total)
ival-log1p: 6.0ms (0.1% of total)

preprocess19.2s (2.4%)

Memory
-64.9MiB live, 21 684.0MiB allocated
Algorithm
52×egg-herbie
Rules
238 304×lower-fma.f64
238 304×lower-fma.f32
81 478×lower-*.f32
81 146×lower-*.f64
46 832×unsub-neg
Stop Event
104×iter limit
61×saturated
43×node limit
Compiler

Compiled 68 310 to 20 250 computations (70.4% saved)

series18.7s (2.3%)

Memory
-37.3MiB live, 22 529.4MiB allocated
Counts
3 389 → 82 728
Calls

16353 calls:

TimeVariablePointExpression
1.3s
x-scale
@inf
(- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (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)))
315.0ms
b
@0
(sqrt (+ (* a (* a (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))))) (+ (* b (* b (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))))) (/ (* -1/2 (+ (* (+ (* a (* a (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))))) (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* b b))) (* -2 (+ (* (* b b) (/ (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* y-scale y-scale))) (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (/ (* a a) (* y-scale y-scale)))))) (/ (* 4 (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* (- b a) (* (+ a b) (* (+ a b) (- b a))))))) (* y-scale y-scale)))) (+ (* (* b b) (/ (- 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (* y-scale y-scale))) (* (+ 1/2 (* 1/2 (cos (* 2 (* 1/180 (* angle (PI))))))) (/ (* a a) (* y-scale y-scale))))))))
150.0ms
c_n
@-inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* 1 (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
137.0ms
s
@inf
(/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)))
123.0ms
y-scale
@0
(* 180 (/ (atan (/ (* y-scale (sin (* 1/180 (* angle (PI))))) (* x-scale (cos (* (* 1/180 angle) (PI)))))) (PI)))

analyze15.9s (1.9%)

Memory
124.3MiB live, 21 463.2MiB 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)

bsearch11.3s (1.4%)

Memory
-172.1MiB live, 14 914.6MiB allocated
Algorithm
325×binary-search
183×left-value
Stop Event
315×narrow-enough
10×predicate-same
Samples
4.8s6 969×1valid
2.7s14 452×0valid
1.1s918×2valid
192.0ms109×3valid
63.0ms160×1exit
46.0ms505×0invalid
1.0ms17×0exit
Compiler

Compiled 104 144 to 71 256 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-cos: 2.0s (25.7% of total)
ival-sin: 1.7s (21% of total)
ival-mult: 1.1s (13.8% of total)
ival-pow2: 802.0ms (10.2% of total)
ival-div: 535.0ms (6.8% of total)
adjust: 455.0ms (5.8% of total)
ival-sub: 304.0ms (3.9% of total)
ival-add: 184.0ms (2.3% of total)
ival-sqrt: 156.0ms (2% of total)
ival-atan2: 117.0ms (1.5% of total)
ival-hypot: 104.0ms (1.3% of total)
ival-acos: 78.0ms (1% of total)
ival-tan: 60.0ms (0.8% of total)
ival-fabs: 58.0ms (0.7% of total)
ival-atan: 49.0ms (0.6% of total)
ival-exp: 47.0ms (0.6% of total)
ival-neg: 45.0ms (0.6% of total)
ival-pi: 36.0ms (0.5% of total)
ival-log: 20.0ms (0.3% of total)
ival-true: 18.0ms (0.2% of total)
exact: 12.0ms (0.2% of total)
ival-asin: 11.0ms (0.1% of total)
ival-assert: 10.0ms (0.1% of total)
ival-log1p: 1.0ms (0% of total)

end1.0ms (0%)

Memory
1.6MiB live, 1.6MiB allocated

Profiling

Loading profile data...