Herbie run

Date:Wednesday, July 3rd, 2024
Commit:276d3a06 on main
Hostname:nightly with Racket 8.11.1
Seed:2024185
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: 14.9min)

sample3.6min (24.1%)

Memory
309.8MiB live, 258 868.2MiB allocated
Samples
1.1min127 244×1valid
39.1s273 700×0valid
29.2s15 090×5exit
20.6s25 140×2valid
9.0s3 201×3valid
5.9s34 665×0exit
4.7s9 983×1exit
3.1s20 139×0invalid
3.0s11 938×1invalid
760.0ms35×4exit
410.0ms788×2invalid
208.0ms16×3exit
117.0ms27×4valid
47.0ms19×2exit
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-pow: 23.7s (15.3% of total)
ival-mult: 22.1s (14.3% of total)
ival-sin: 17.8s (11.6% of total)
ival-cos: 17.3s (11.2% of total)
ival-div: 13.2s (8.6% of total)
ival-pow2: 10.2s (6.6% of total)
adjust: 7.8s (5% of total)
ival-add: 7.1s (4.6% of total)
ival-exp: 6.8s (4.4% of total)
ival-sub: 6.4s (4.2% of total)
ival-log: 5.2s (3.4% of total)
ival-sqrt: 4.5s (2.9% of total)
ival-neg: 2.6s (1.7% of total)
...in/eval/compile.rkt:111:19: 2.0s (1.3% of total)
ival-<: 1.5s (1% of total)
ival-hypot: 1.1s (0.7% of total)
ival-atan2: 776.0ms (0.5% of total)
ival-tan: 728.0ms (0.5% of total)
ival-pi: 531.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 353.0ms (0.2% of total)
ival-acos: 350.0ms (0.2% of total)
ival-atan: 335.0ms (0.2% of total)
ival-and: 316.0ms (0.2% of total)
ival-asin: 306.0ms (0.2% of total)
ival-true: 298.0ms (0.2% of total)
ival-cbrt: 255.0ms (0.2% of total)
ival-assert: 202.0ms (0.1% of total)
ival-fabs: 157.0ms (0.1% of total)
ival-<=: 117.0ms (0.1% of total)
ival-log1p: 116.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify2.9min (19.3%)

Memory
935.4MiB live, 206 736.8MiB allocated
Algorithm
454×egg-herbie
Rules
178 962×fma-define
122 231×fmm-def
106 390×distribute-lft-in
96 333×associate-*r*
92 472×distribute-rgt-in
Stop Event
329×node limit
124×saturated
1×unsound
Counts
146 890 → 123 218

soundness1.9min (12.5%)

Memory
379.4MiB live, 128 179.9MiB allocated
Rules
79 122×fma-define
65 048×log1p-expm1-u
51 754×distribute-lft-in
49 785×fmm-def
49 245×*-commutative
Stop Event
251×node limit
45×fuel
16×saturated
7×done
3×unsound
Compiler

Compiled 71 490 to 19 966 computations (72.1% saved)

localize1.1min (7.3%)

Memory
606.1MiB live, 90 271.3MiB allocated
Samples
16.4s13 485×1valid
8.9s27 985×0valid
6.7s1 221×5exit
5.8s2 857×2valid
2.7s4 415×0invalid
1.4s398×3valid
1.2s437×1invalid
824.0ms148×4exit
294.0ms45×3exit
262.0ms144×2exit
192.0ms316×1exit
30.0ms5×4valid
Compiler

Compiled 93 193 to 7 833 computations (91.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.5s
ival-mult: 7.1s (20.6% of total)
ival-sin: 6.1s (17.6% of total)
ival-cos: 4.1s (11.8% of total)
ival-div: 3.2s (9.3% of total)
ival-add: 2.1s (6.1% of total)
ival-pow2: 1.8s (5.1% of total)
adjust: 1.7s (4.9% of total)
ival-pow: 1.6s (4.7% of total)
ival-sub: 1.1s (3.1% of total)
...in/eval/compile.rkt:111:19: 818.0ms (2.4% of total)
ival-sqrt: 708.0ms (2.1% of total)
ival-log: 647.0ms (1.9% of total)
ival-exp: 642.0ms (1.9% of total)
ival-hypot: 519.0ms (1.5% of total)
ival-log1p: 495.0ms (1.4% of total)
ival-atan2: 353.0ms (1% of total)
ival-cbrt: 293.0ms (0.8% of total)
ival-neg: 251.0ms (0.7% of total)
ival-pi: 207.0ms (0.6% of total)
ival-acos: 175.0ms (0.5% of total)
ival-expm1: 160.0ms (0.5% of total)
ival-atan: 141.0ms (0.4% of total)
ival-tan: 121.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 92.0ms (0.3% of total)
ival-fabs: 64.0ms (0.2% of total)
ival-true: 46.0ms (0.1% of total)
ival-assert: 21.0ms (0.1% of total)
ival-asin: 17.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

regimes1.1min (7.1%)

Memory
-309.2MiB live, 84 271.1MiB allocated
Counts
25 645 → 918
Calls

155 calls:

5.0s
phi2
4.0s
phi1
3.8s
lambda1
3.5s
lambda2
2.4s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14 008 to 8 960 computations (36% saved)

prune54.3s (6.1%)

Memory
-1 953.7MiB live, 88 641.9MiB allocated
Counts
197 843 → 8 463
Compiler

Compiled 580 337 to 288 802 computations (50.2% saved)

rewrite54.0s (6.1%)

Memory
-601.3MiB live, 56 528.8MiB allocated
Algorithm
201×batch-egg-rewrite
Rules
120 288×log1p-expm1-u
91 761×expm1-log1p-u
53 853×pow1
50 996×add-exp-log
47 213×add-log-exp
Stop Event
196×node limit
5×unsound
Counts
2 979 → 77 651

eval42.2s (4.7%)

Memory
950.7MiB live, 61 870.9MiB allocated
Compiler

Compiled 9 457 004 to 892 193 computations (90.6% saved)

series34.5s (3.9%)

Memory
424.2MiB live, 51 020.5MiB allocated
Counts
2 979 → 69 239
Calls

17769 calls:

TimeVariablePointExpression
362.0ms
angle
@inf
(sqrt (+ (* (* b (cos (pow (cbrt (* (PI) (* angle 1/180))) 3))) (* b (cos (pow (cbrt (* (PI) (* angle 1/180))) 3)))) (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180)))))))
338.0ms
a
@0
(* -4 (/ 1 (log (pow (exp (pow (* x-scale y-scale) 2)) (pow (* a b) -2)))))
237.0ms
y-scale
@inf
(log (+ 1 (sqrt (+ (* (- (/ (+ (pow (* a (sin (* (* angle 1/180) (PI)))) 2) (pow (* b (cos (* (* angle 1/180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (* angle 1/180) (PI)))) 2) (pow (* b (sin (* (* angle 1/180) (PI)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* (* angle 1/180) (PI)))) 2) (pow (* b (cos (* (* angle 1/180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (* angle 1/180) (PI)))) 2) (pow (* b (sin (* (* angle 1/180) (PI)))) 2)) (pow y-scale 2)))) (* (* 2 (* (- (pow b 2) (pow a 2)) (* (sin (* (* angle 1/180) (PI))) (/ (cos (* (* angle 1/180) (PI))) (* x-scale y-scale))))) (* 2 (* (- (pow b 2) (pow a 2)) (* (sin (* (* angle 1/180) (PI))) (/ (cos (* (* angle 1/180) (PI))) (* x-scale y-scale))))))))))
215.0ms
g
@inf
(* 2 (+ (* (cos (/ (* (pow (PI) 2) 4/9) (+ (* 1/3 (acos (/ g h))) (* (PI) -2/3)))) (cos (* (pow (acos (/ g h)) 2) (/ 1/9 (+ (* 2/3 (PI)) (* (acos (/ g h)) -1/3)))))) (* (sin (* 4/9 (/ (pow (PI) 2) (+ (* 2/3 (PI)) (* (acos (/ g h)) -1/3))))) (sin (* (pow (acos (/ g h)) 2) (/ 1/9 (+ (* 2/3 (PI)) (* (acos (/ g h)) -1/3))))))))
196.0ms
t
@0
(/ (* ew (sin t)) (sqrt (+ (* 1 1) (* (/ (/ eh ew) (tan t)) (/ (/ eh ew) (tan t))))))

explain24.3s (2.7%)

Memory
41.4MiB live, 31 688.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18422
+.f64#fcancellation174926
sin.f64#fsensitivity15522
sqrt.f64#foflow-rescue13650
-.f64#fcancellation9489
log.f64#fsensitivity6051
-.f64#fnan-rescue5120
/.f64#fo/n4610
/.f64#fu/u3320
/.f64#fo/o3190
*.f64#fn*o2550
/.f64#fu/n1730
exp.f64#fsensitivity17021
sqrt.f64#fuflow-rescue1640
*.f64#fn*u1080
/.f64#fn/o970
cbrt.f64#foflow-rescue820
/.f64#fn/u410
cbrt.f64#fuflow-rescue330
*.f64#fo*u320
*.f64#fu*o270
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)))))sensitivity243
pow.f64#fsensitivity108
pow.f64#fuflow-rescue70
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))oflow-rescue20
↳(+.f64 (exp.f64 a) (exp.f64 b))overflow2
↳(exp.f64 b)overflow2
sin.f64#fcancellation20
Confusion
Predicted +Predicted -
+578767
-13746084
Precision
0.8081273565144533
Recall
0.9885548343013324
Confusion?
Predicted +Predicted MaybePredicted -
+57873334
-1374286056
Precision?
0.8058709498753808
Recall?
0.9941920054663478
Freqs
test
numberfreq
06151
14839
21576
3357
4207
5114
634
728
83
92
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+4101
-307
Precision?
0.9318181818181818
Recall?
0.9761904761904762
Samples
4.8s8 488×1valid
2.3s15 782×0valid
2.0s2 060×2valid
559.0ms294×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.9s
ival-sin: 1.8s (22.5% of total)
ival-cos: 1.3s (15.9% of total)
ival-mult: 1.3s (15.8% of total)
ival-div: 844.0ms (10.7% of total)
ival-pow2: 451.0ms (5.7% of total)
ival-sqrt: 339.0ms (4.3% of total)
ival-exp: 330.0ms (4.2% of total)
adjust: 322.0ms (4.1% of total)
ival-add: 258.0ms (3.3% of total)
ival-sub: 255.0ms (3.2% of total)
ival-log: 254.0ms (3.2% of total)
ival-pow: 107.0ms (1.4% of total)
ival-neg: 88.0ms (1.1% of total)
ival-hypot: 76.0ms (1% of total)
ival-tan: 65.0ms (0.8% of total)
ival-atan2: 41.0ms (0.5% of total)
ival-atan: 31.0ms (0.4% of total)
ival-pi: 30.0ms (0.4% of total)
ival-acos: 26.0ms (0.3% of total)
ival-true: 25.0ms (0.3% of total)
ival-cbrt: 23.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-asin: 8.0ms (0.1% of total)
ival-log1p: 5.0ms (0.1% of total)

bsearch24.3s (2.7%)

Memory
206.8MiB live, 28 496.7MiB allocated
Algorithm
355×binary-search
60×left-value
Stop Event
347×narrow-enough
8×predicate-same
Samples
9.8s12 816×1valid
5.2s27 323×0valid
1.6s1 836×5exit
1.1s1 660×2valid
725.0ms5 618×0invalid
510.0ms1 928×1invalid
271.0ms105×3valid
175.0ms482×2invalid
12.0ms31×1exit
4.0ms1×3exit
1.0ms17×0exit
Compiler

Compiled 116 271 to 79 301 computations (31.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0s
ival-sin: 3.7s (22% of total)
ival-cos: 3.3s (19.7% of total)
ival-mult: 2.9s (17% of total)
ival-div: 1.1s (6.5% of total)
adjust: 1.1s (6.4% of total)
ival-pow2: 899.0ms (5.3% of total)
ival-sub: 876.0ms (5.2% of total)
ival-add: 696.0ms (4.1% of total)
ival-sqrt: 532.0ms (3.1% of total)
ival-pow: 441.0ms (2.6% of total)
ival-atan2: 235.0ms (1.4% of total)
ival-exp: 206.0ms (1.2% of total)
ival-neg: 187.0ms (1.1% of total)
ival-acos: 153.0ms (0.9% of total)
ival-tan: 139.0ms (0.8% of total)
ival-log: 100.0ms (0.6% of total)
ival-atan: 76.0ms (0.4% of total)
ival-asin: 60.0ms (0.4% of total)
ival-pi: 49.0ms (0.3% of total)
ival-true: 39.0ms (0.2% of total)
ival-hypot: 32.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 28.0ms (0.2% of total)
ival-assert: 20.0ms (0.1% of total)
ival-fabs: 19.0ms (0.1% of total)
ival-log1p: 7.0ms (0% of total)

analyze17.1s (1.9%)

Memory
156.5MiB live, 23 707.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)

preprocess14.5s (1.6%)

Memory
-339.5MiB live, 15 008.6MiB 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 852 to 21 446 computations (63.6% saved)

end0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated

Profiling

Loading profile data...