Herbie run

Date:Tuesday, June 25th, 2024
Commit:f9aa416d on zane-job-abstraction5
Hostname:nightly with Racket 8.11.1
Seed:2024177
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: 17.0min)

sample5.0min (29.5%)

Memory
328.8MiB live, 329 659.4MiB allocated
Samples
1.7min25 345×5exit
1.0min127 876×1valid
37.8s272 933×0valid
19.1s8 160×3valid
16.8s19 277×2valid
11.2s49 981×0exit
5.6s1 063×4valid
3.6s18 766×0invalid
2.1s9 912×1invalid
440.0ms896×2invalid
102.0ms3×5valid
37.0ms53×1exit
13.0ms27×3invalid
Precisions
Click to see histograms. Total time spent on operations: 3.9min
ival-pow: 1.6min (39.7% of total)
ival-mult: 21.5s (9.1% of total)
ival-sin: 20.5s (8.7% of total)
ival-cos: 20.5s (8.7% of total)
ival-div: 14.5s (6.1% of total)
ival-pow2: 10.6s (4.5% of total)
ival-sub: 8.9s (3.8% of total)
adjust: 8.5s (3.6% of total)
ival-add: 7.2s (3% of total)
ival-exp: 6.7s (2.8% of total)
ival-log: 6.0s (2.5% of total)
ival-sqrt: 4.7s (2% of total)
ival-neg: 3.5s (1.5% of total)
ival-<: 1.8s (0.8% of total)
...in/eval/compile.rkt:77:19: 1.6s (0.7% of total)
ival-atan2: 1.3s (0.6% of total)
ival-pi: 826.0ms (0.3% of total)
ival-tan: 644.0ms (0.3% of total)
ival-cbrt: 476.0ms (0.2% of total)
ival-acos: 472.0ms (0.2% of total)
ival-asin: 467.0ms (0.2% of total)
ival-atan: 395.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 393.0ms (0.2% of total)
ival-and: 356.0ms (0.2% of total)
ival-true: 281.0ms (0.1% of total)
ival-assert: 199.0ms (0.1% of total)
ival-fabs: 190.0ms (0.1% of total)
ival-<=: 163.0ms (0.1% of total)
ival-==: 1.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

simplify3.0min (17.9%)

Memory
719.3MiB live, 205 229.9MiB allocated
Algorithm
451×egg-herbie
Rules
166 369×fma-define
123 564×fmm-def
98 281×distribute-lft-in
92 721×times-frac
92 522×*-commutative
Stop Event
326×node limit
124×saturated
1×unsound
Counts
144 561 → 122 293

soundness1.8min (10.8%)

Memory
-910.7MiB live, 116 783.2MiB allocated
Rules
88 212×fma-define
73 920×log1p-expm1-u
56 288×expm1-log1p-u
51 278×distribute-lft-in
50 173×times-frac
Stop Event
264×node limit
44×fuel
15×saturated
8×done
4×unsound
Compiler

Compiled 76 324 to 21 596 computations (71.7% saved)

localize1.3min (7.6%)

Memory
255.3MiB live, 94 245.9MiB allocated
Samples
17.6s13 516×1valid
15.8s2 433×5exit
8.5s27 882×0valid
5.1s2 251×2valid
4.2s733×3valid
2.5s4 021×0invalid
1.2s150×4valid
430.0ms205×1invalid
3.0ms7×0exit
2.0ms2×2invalid
Compiler

Compiled 94 252 to 7 754 computations (91.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.6s
ival-mult: 9.4s (20.6% of total)
ival-sin: 8.0s (17.4% of total)
ival-cos: 5.6s (12.3% of total)
ival-pow: 3.8s (8.2% of total)
ival-div: 3.4s (7.6% of total)
adjust: 2.2s (4.8% of total)
ival-add: 2.1s (4.7% of total)
ival-pow2: 2.0s (4.3% of total)
...in/eval/compile.rkt:77:19: 1.5s (3.2% of total)
ival-sub: 1.2s (2.6% of total)
ival-exp: 861.0ms (1.9% of total)
ival-log: 826.0ms (1.8% of total)
ival-sqrt: 806.0ms (1.8% of total)
ival-log1p: 624.0ms (1.4% of total)
ival-expm1: 582.0ms (1.3% of total)
ival-hypot: 498.0ms (1.1% of total)
ival-tan: 459.0ms (1% of total)
ival-atan2: 437.0ms (1% of total)
ival-neg: 305.0ms (0.7% of total)
ival-cbrt: 267.0ms (0.6% of total)
ival-atan: 225.0ms (0.5% of total)
ival-pi: 171.0ms (0.4% of total)
ival-acos: 152.0ms (0.3% of total)
ival-fabs: 104.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 88.0ms (0.2% of total)
ival-true: 46.0ms (0.1% of total)
ival-assert: 21.0ms (0% of total)
ival-asin: 17.0ms (0% of total)

regimes1.2min (7%)

Memory
-161.1MiB live, 89 373.7MiB allocated
Counts
28 748 → 960
Calls

155 calls:

5.5s
phi2
4.9s
lambda1
4.9s
phi1
4.6s
lambda2
3.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 14 137 to 9 317 computations (34.1% saved)

prune56.8s (5.6%)

Memory
-1 325.6MiB live, 81 034.3MiB allocated
Counts
195 293 → 8 187
Compiler

Compiled 584 774 to 282 500 computations (51.7% saved)

rewrite54.5s (5.3%)

Memory
223.2MiB live, 52 770.7MiB allocated
Algorithm
199×batch-egg-rewrite
Rules
118 544×log1p-expm1-u
92 930×expm1-log1p-u
53 008×pow1
49 824×add-exp-log
47 567×add-log-exp
Stop Event
195×node limit
4×unsound
Counts
2 962 → 75 916

eval44.2s (4.3%)

Memory
200.7MiB live, 59 554.8MiB allocated
Compiler

Compiled 9 606 776 to 875 812 computations (90.9% saved)

series41.2s (4%)

Memory
105.4MiB live, 55 253.9MiB allocated
Counts
2 962 → 68 645
Calls

17760 calls:

TimeVariablePointExpression
693.0ms
c_n
@inf
(pow (exp c_n) (- (log (+ 1 (/ -1 (+ 1 (exp (neg s)))))) (log (+ 1 (/ -1 (+ 1 (exp (neg t))))))))
458.0ms
B
@-inf
(sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))
444.0ms
b
@-inf
(* (/ (- (- (/ (+ (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 (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 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 (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))) (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))))))) 2) (/ y-scale (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (/ (cos (* angle (/ (PI) 180))) x-scale))))
379.0ms
x-scale
@-inf
(* (* 8 (* (* a (pow b 2)) (/ (neg a) (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)))) (* (* 1/90 (/ (* angle (* (PI) (- (pow b 2) (pow a 2)))) (* x-scale y-scale))) (* 1/90 (/ (* angle (* (PI) (- (pow b 2) (pow a 2)))) (* x-scale y-scale)))))))))
350.0ms
lambda2
@-inf
(log (* (atan2 (sqrt (+ (* (sqrt (* (cos phi2) (pow (sin (* 1/2 (- lambda1 lambda2))) 2))) (sqrt (* (cos phi2) (pow (sin (* 1/2 (- lambda1 lambda2))) 2)))) (* (sin (* phi2 -1/2)) (sin (* phi2 -1/2))))) (sqrt (- 1 (+ (* (* (cos phi2) (cos phi1)) (pow (sin (* 1/2 (- lambda1 lambda2))) 2)) (pow (sin (* 1/2 (- phi1 phi2))) 2))))) (* 2 R)))

explain24.5s (2.4%)

Memory
-154.4MiB live, 31 818.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64#fsensitivity18473
+.f64#fcancellation172735
sin.f64#fsensitivity16039
sqrt.f64#foflow-rescue13580
-.f64#fcancellation92514
-.f64#fnan-rescue6700
log.f64#fsensitivity6030
/.f64#fo/n5280
/.f64#fo/o3520
/.f64#fu/u2770
*.f64#fn*o2480
exp.f64#fsensitivity16618
/.f64#fu/n1530
/.f64#fn/o1360
sqrt.f64#fuflow-rescue1330
*.f64#fn*u980
cbrt.f64#foflow-rescue890
cbrt.f64#fuflow-rescue410
*.f64#fo*u400
/.f64#fn/u360
*.f64#fu*o300
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)))))sensitivity204
pow.f64#fuflow-rescue100
pow.f64#fsensitivity51
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
log.f64(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))uflow-rescue10
↳(+.f64 (exp.f64 a) (exp.f64 b))underflow1
↳(exp.f64 a)underflow126
↳(exp.f64 b)underflow1
Confusion
Predicted +Predicted -
+569999
-13236191
Precision
0.8115921389917402
Recall
0.9829251466022767
Confusion?
Predicted +Predicted MaybePredicted -
+56994158
-1323206171
Precision?
0.8103910772271636
Recall?
0.9899965505346672
Freqs
test
numberfreq
06290
14638
21554
3347
4234
5155
667
720
85
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+4200
-406
Precision?
0.9130434782608695
Recall?
1.0
Samples
4.5s8 412×1valid
2.7s15 600×0valid
2.0s1 860×2valid
1.6s544×3valid
555.0ms88×4valid
18.0ms42×2invalid
16.0ms48×1invalid
8.0ms30×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.0s
ival-sin: 1.7s (18.8% of total)
ival-cos: 1.5s (17.1% of total)
ival-mult: 1.5s (16.4% of total)
ival-pow2: 821.0ms (9.1% of total)
ival-div: 813.0ms (9% of total)
ival-pow: 505.0ms (5.6% of total)
adjust: 428.0ms (4.8% of total)
ival-log: 358.0ms (4% of total)
ival-sub: 319.0ms (3.5% of total)
ival-add: 264.0ms (2.9% of total)
ival-exp: 210.0ms (2.3% of total)
ival-sqrt: 195.0ms (2.2% of total)
ival-neg: 87.0ms (1% of total)
ival-tan: 57.0ms (0.6% of total)
ival-atan: 44.0ms (0.5% of total)
ival-atan2: 41.0ms (0.5% of total)
ival-pi: 34.0ms (0.4% of total)
ival-true: 24.0ms (0.3% of total)
ival-acos: 21.0ms (0.2% of total)
ival-cbrt: 20.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 16.0ms (0.2% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-assert: 10.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)

bsearch20.6s (2%)

Memory
243.5MiB live, 25 508.5MiB allocated
Algorithm
353×binary-search
80×left-value
Stop Event
343×narrow-enough
10×predicate-same
Samples
8.1s13 907×1valid
4.4s24 732×0valid
1.5s2 126×2valid
981.0ms742×3valid
659.0ms928×5exit
371.0ms2 846×0invalid
278.0ms335×1invalid
57.0ms150×2invalid
50.0ms13×4valid
9.0ms16×3invalid
Compiler

Compiled 120 957 to 81 377 computations (32.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.9s
ival-cos: 2.9s (20.7% of total)
ival-sin: 2.7s (19.4% of total)
ival-mult: 2.5s (18.3% of total)
ival-div: 1.1s (7.7% of total)
adjust: 921.0ms (6.6% of total)
ival-pow2: 880.0ms (6.3% of total)
ival-sub: 702.0ms (5.1% of total)
ival-add: 567.0ms (4.1% of total)
ival-sqrt: 411.0ms (3% of total)
ival-atan2: 227.0ms (1.6% of total)
ival-log: 175.0ms (1.3% of total)
ival-pow: 170.0ms (1.2% of total)
ival-neg: 142.0ms (1% of total)
ival-exp: 117.0ms (0.8% of total)
ival-acos: 102.0ms (0.7% of total)
ival-pi: 72.0ms (0.5% of total)
ival-tan: 72.0ms (0.5% of total)
ival-atan: 59.0ms (0.4% of total)
ival-true: 35.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 25.0ms (0.2% of total)
ival-assert: 17.0ms (0.1% of total)
ival-asin: 9.0ms (0.1% of total)
ival-fabs: 8.0ms (0.1% of total)

analyze19.6s (1.9%)

Memory
222.0MiB live, 21 867.5MiB allocated
Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%20.6%0%1.3%0%2
32.7%24.7%50.8%20.6%0%3.8%0%3
39.8%29.8%45%20.6%0%4.5%0%4
45.4%33.8%40.6%20.6%0%5.1%0%5
48.4%35.7%38%20.6%0%5.7%0%6
51.8%37.8%35.2%20.6%0%6.4%0%7
53.5%38.9%33.8%20.6%0%6.7%0%8
56.4%40.6%31.4%20.6%0%7.4%0%9
57.7%41.4%30.3%20.6%0%7.7%0%10
59.8%42.7%28.7%20.6%0%8%0%11
61.3%43.5%27.5%20.6%0%8.4%0%12
Compiler

Compiled 1 826 to 997 computations (45.4% saved)

preprocess15.4s (1.5%)

Memory
-51.8MiB live, 14 644.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 64 390 to 23 094 computations (64.1% saved)

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...