Herbie run

Date:Friday, June 28th, 2024
Commit:fd451484 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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: 16.7min)

sample5.2min (31.2%)

Memory
1 423.5MiB live, 336 177.2MiB allocated
Samples
1.9min25 450×5exit
1.0min128 005×1valid
39.2s273 904×0valid
20.5s8 143×3valid
15.8s18 215×2valid
11.3s49 904×0exit
5.7s1 041×4valid
3.3s9 817×1invalid
3.1s19 460×0invalid
454.0ms945×2invalid
141.0ms4×5valid
32.0ms52×1exit
7.0ms16×3invalid
Precisions
Click to see histograms. Total time spent on operations: 4.1min
ival-pow: 1.6min (40.4% of total)
ival-sin: 23.0s (9.4% of total)
ival-mult: 22.4s (9.1% of total)
ival-cos: 19.3s (7.9% of total)
ival-div: 14.5s (5.9% of total)
ival-pow2: 10.7s (4.4% of total)
adjust: 10.3s (4.2% of total)
ival-sub: 8.6s (3.5% of total)
ival-add: 6.9s (2.8% of total)
ival-exp: 6.5s (2.7% of total)
ival-log: 4.7s (1.9% of total)
ival-sqrt: 4.4s (1.8% of total)
ival-neg: 3.4s (1.4% of total)
...in/eval/compile.rkt:105:19: 1.9s (0.8% of total)
ival-<: 1.7s (0.7% of total)
ival-atan2: 1.5s (0.6% of total)
ival-log1p: 1.4s (0.6% of total)
ival-hypot: 988.0ms (0.4% of total)
ival-tan: 581.0ms (0.2% of total)
ival-pi: 516.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 394.0ms (0.2% of total)
ival-acos: 356.0ms (0.1% of total)
ival-and: 356.0ms (0.1% of total)
ival-atan: 332.0ms (0.1% of total)
ival-cbrt: 309.0ms (0.1% of total)
ival-true: 277.0ms (0.1% of total)
ival-fabs: 253.0ms (0.1% of total)
ival-assert: 214.0ms (0.1% of total)
ival-<=: 197.0ms (0.1% of total)
ival-asin: 135.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.9min (17.4%)

Memory
420.4MiB live, 202 967.3MiB allocated
Algorithm
451×egg-herbie
Rules
175 916×fma-define
129 721×fmm-def
96 899×distribute-lft-in
91 837×*-commutative
88 220×distribute-rgt-in
Stop Event
334×node limit
116×saturated
1×unsound
Counts
144 412 → 122 814

soundness2.0min (12%)

Memory
82.4MiB live, 136 011.3MiB allocated
Rules
82 870×fma-define
67 823×log1p-expm1-u
51 607×expm1-log1p-u
50 517×*-commutative
49 716×associate-*r*
Stop Event
268×node limit
46×fuel
14×saturated
6×done
4×unsound
Compiler

Compiled 71 959 to 20 547 computations (71.4% saved)

localize1.2min (7.1%)

Memory
158.1MiB live, 88 106.1MiB allocated
Samples
16.6s12 947×1valid
8.4s27 383×0valid
6.4s3 121×2valid
5.8s1 169×5exit
5.2s1 132×3valid
3.3s334×4valid
2.3s4 647×0invalid
1.2s354×1invalid
25.0ms113×0exit
Compiler

Compiled 95 222 to 7 892 computations (91.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 39.1s
ival-mult: 8.0s (20.5% of total)
ival-sin: 5.9s (15% of total)
ival-cos: 4.7s (12.1% of total)
ival-div: 3.2s (8.1% of total)
ival-pow: 2.6s (6.6% of total)
ival-pow2: 2.2s (5.6% of total)
adjust: 2.1s (5.3% of total)
ival-add: 1.8s (4.6% of total)
ival-log: 1.1s (2.8% of total)
ival-exp: 1.1s (2.8% of total)
ival-sub: 1.1s (2.7% of total)
ival-log1p: 928.0ms (2.4% of total)
ival-sqrt: 886.0ms (2.3% of total)
...in/eval/compile.rkt:105:19: 854.0ms (2.2% of total)
ival-expm1: 553.0ms (1.4% of total)
ival-hypot: 371.0ms (0.9% of total)
ival-neg: 353.0ms (0.9% of total)
ival-atan2: 336.0ms (0.9% of total)
ival-cbrt: 258.0ms (0.7% of total)
ival-acos: 184.0ms (0.5% of total)
ival-atan: 158.0ms (0.4% of total)
ival-tan: 133.0ms (0.3% of total)
ival-e: 96.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 89.0ms (0.2% of total)
ival-pi: 86.0ms (0.2% of total)
ival-true: 46.0ms (0.1% of total)
ival-fabs: 42.0ms (0.1% of total)
ival-asin: 27.0ms (0.1% of total)
ival-assert: 22.0ms (0.1% of total)
ival-cosh: 2.0ms (0% of total)

regimes1.0min (6.1%)

Memory
-317.8MiB live, 75 044.5MiB allocated
Counts
25 201 → 967
Calls

155 calls:

4.3s
phi2
4.1s
phi1
3.5s
lambda1
3.4s
lambda2
3.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14 487 to 9 254 computations (36.1% saved)

rewrite54.6s (5.5%)

Memory
519.9MiB live, 54 162.5MiB allocated
Algorithm
199×batch-egg-rewrite
Rules
120 301×log1p-expm1-u
91 040×expm1-log1p-u
52 410×pow1
50 831×add-exp-log
49 335×add-log-exp
Stop Event
195×node limit
4×unsound
Counts
3 001 → 75 675

prune53.8s (5.4%)

Memory
-425.7MiB live, 79 677.3MiB allocated
Counts
191 572 → 8 108
Compiler

Compiled 571 393 to 278 507 computations (51.3% saved)

eval42.7s (4.3%)

Memory
351.9MiB live, 56 386.6MiB allocated
Compiler

Compiled 8 818 961 to 846 368 computations (90.4% saved)

series33.2s (3.3%)

Memory
238.6MiB live, 45 885.5MiB allocated
Counts
3 001 → 68 737
Calls

17094 calls:

TimeVariablePointExpression
323.0ms
s
@inf
(/ (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (+ 1 (/ 1 (- -1 (exp (neg s))))) c_n)) (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
267.0ms
B
@0
(neg (* (/ (sqrt 2) B) (sqrt (* F (- C (sqrt (+ (* C C) (* B B))))))))
234.0ms
R
@0
(* (atan2 (sqrt (+ (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (* -1/2 lambda2)))) (pow (sin (/ (- phi1 phi2) 2)) 2))) (sqrt (- 1 (+ (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- lambda1 lambda2) 2)))) (pow (sin (/ (- phi1 phi2) 2)) 2))))) (* R 2))
167.0ms
t
@inf
(/ (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (+ 1 (/ 1 (- -1 (exp (neg s))))) c_n)) (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
166.0ms
y-scale
@0
(log (* y-scale (* (sqrt 8) (* (sqrt 2) (sqrt (+ (* (* a (sin (* 1/180 (* angle (PI))))) (* a (sin (* 1/180 (* angle (PI)))))) (* (* b (cos (* 1/180 (* angle (PI))))) (* b (cos (* 1/180 (* angle (PI))))))))))))

explain22.6s (2.3%)

Memory
149.5MiB live, 31 153.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18813
+.f64#fcancellation174328
sin.f64#fsensitivity16470
sqrt.f64#foflow-rescue13490
-.f64#fcancellation95812
-.f64#fnan-rescue6550
log.f64#fsensitivity5820
/.f64#fo/n5490
/.f64#fo/o3860
/.f64#fu/u2710
*.f64#fn*o2070
exp.f64#fsensitivity17125
/.f64#fu/n1530
sqrt.f64#fuflow-rescue1450
/.f64#fn/o1030
*.f64#fn*u1020
cbrt.f64#foflow-rescue1010
cbrt.f64#fuflow-rescue370
/.f64#fn/u350
*.f64#fo*u320
*.f64#fu*o250
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)))))sensitivity214
pow.f64#fuflow-rescue110
pow.f64#fsensitivity101
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))oflow-rescue50
↳(exp.f64 x)overflow5
↳(+.f64 #s(literal 1 binary64) (exp.f64 x))overflow5
asin.f64(asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))sensitivity12
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow118
↳(exp.f64 b)underflow1
Confusion
Predicted +Predicted -
+570082
-13696161
Precision
0.806337530060829
Recall
0.9858180560359737
Confusion?
Predicted +Predicted MaybePredicted -
+57003844
-1369246137
Precision?
0.8046557285093254
Recall?
0.9923901764095469
Freqs
test
numberfreq
06243
14659
21592
3324
4253
5140
666
726
86
92
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4200
-208
Precision?
0.9545454545454546
Recall?
1.0
Samples
4.2s8 466×1valid
2.1s15 696×0valid
1.8s1 698×2valid
1.2s592×3valid
310.0ms76×4valid
20.0ms44×2invalid
19.0ms34×1invalid
10.0ms18×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-sin: 1.8s (23.4% of total)
ival-cos: 1.3s (16.7% of total)
ival-mult: 1.2s (15.8% of total)
ival-pow2: 613.0ms (8.2% of total)
ival-div: 518.0ms (6.9% of total)
adjust: 308.0ms (4.1% of total)
ival-sqrt: 300.0ms (4% of total)
ival-log: 298.0ms (4% of total)
ival-sub: 294.0ms (3.9% of total)
ival-add: 261.0ms (3.5% of total)
ival-neg: 217.0ms (2.9% of total)
ival-exp: 177.0ms (2.4% of total)
ival-tan: 43.0ms (0.6% of total)
ival-atan2: 40.0ms (0.5% of total)
ival-hypot: 34.0ms (0.5% of total)
ival-pi: 33.0ms (0.4% of total)
ival-atan: 27.0ms (0.4% of total)
ival-true: 24.0ms (0.3% of total)
ival-pow: 23.0ms (0.3% of total)
ival-acos: 20.0ms (0.3% of total)
ival-cbrt: 18.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 16.0ms (0.2% of total)
ival-assert: 12.0ms (0.2% of total)
ival-log1p: 10.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch20.5s (2.1%)

Memory
171.8MiB live, 23 946.1MiB allocated
Algorithm
346×binary-search
92×left-value
Stop Event
339×narrow-enough
7×predicate-same
Samples
7.7s12 057×1valid
3.8s26 358×0valid
2.7s1 302×3valid
1.5s1 808×2valid
466.0ms43×4valid
307.0ms1 508×0invalid
2.0ms36×0exit
2.0ms8×1invalid
Compiler

Compiled 98 742 to 69 992 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.5s
ival-cos: 4.0s (27.5% of total)
ival-sin: 3.3s (22.6% of total)
ival-mult: 2.1s (14.7% of total)
ival-pow2: 1.2s (8.5% of total)
ival-div: 734.0ms (5.1% of total)
ival-sub: 698.0ms (4.8% of total)
adjust: 558.0ms (3.9% of total)
ival-add: 505.0ms (3.5% of total)
ival-sqrt: 384.0ms (2.7% of total)
ival-acos: 205.0ms (1.4% of total)
ival-neg: 142.0ms (1% of total)
ival-atan2: 113.0ms (0.8% of total)
ival-exp: 93.0ms (0.6% of total)
ival-atan: 89.0ms (0.6% of total)
ival-pi: 83.0ms (0.6% of total)
ival-tan: 59.0ms (0.4% of total)
ival-log: 57.0ms (0.4% of total)
ival-hypot: 36.0ms (0.2% of total)
ival-true: 32.0ms (0.2% of total)
ival-fabs: 27.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 19.0ms (0.1% of total)
ival-assert: 18.0ms (0.1% of total)
ival-log1p: 9.0ms (0.1% of total)
ival-asin: 3.0ms (0% of total)

analyze18.8s (1.9%)

Memory
208.9MiB live, 20 930.3MiB 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.3%20.6%0%6.4%0%7
56.1%40.7%31.9%20.6%0%6.7%0%8
59%42.5%29.5%20.6%0%7.4%0%9
60.3%43.2%28.5%20.6%0%7.7%0%10
62.1%44.3%27.1%20.6%0%8%0%11
63.5%45.1%25.9%20.6%0%8.4%0%12
Compiler

Compiled 1 826 to 990 computations (45.8% saved)

preprocess15.3s (1.5%)

Memory
-146.0MiB live, 14 879.7MiB 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 60 758 to 22 648 computations (62.7% saved)

end0.0ms (0%)

Memory
0.9MiB live, 0.8MiB allocated

Profiling

Loading profile data...