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: 7.3min)

sample1.5min (21.1%)

Memory
423.6MiB live, 109 224.7MiB allocated
Samples
36.7s221 205×0valid
11.5s26 925×1valid
10.1s65 624×0invalid
4.9s14 406×1invalid
4.0s9 729×2valid
3.6s6 327×3valid
157.0ms566×2invalid
28.0ms236×0exit
2.0ms6×4valid
1.0ms3×4exit
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 56.1s
ival-mult: 14.4s (25.6% of total)
ival-div: 8.2s (14.6% of total)
ival-tan: 5.1s (9.1% of total)
ival-sub: 4.2s (7.6% of total)
ival-add: 3.7s (6.5% of total)
ival-pow: 2.9s (5.2% of total)
ival-pow2: 2.9s (5.2% of total)
ival-sin: 2.4s (4.3% of total)
ival-sqrt: 2.1s (3.8% of total)
ival-exp: 2.1s (3.7% of total)
adjust: 2.0s (3.5% of total)
ival-acos: 861.0ms (1.5% of total)
ival-neg: 827.0ms (1.5% of total)
ival-log: 764.0ms (1.4% of total)
...in/eval/compile.rkt:111:19: 738.0ms (1.3% of total)
ival-cos: 723.0ms (1.3% of total)
ival-pi: 696.0ms (1.2% of total)
ival-hypot: 453.0ms (0.8% of total)
ival-true: 254.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 243.0ms (0.4% of total)
ival-asin: 199.0ms (0.4% of total)
ival-atan: 172.0ms (0.3% of total)
ival-assert: 140.0ms (0.2% of total)
ival-fabs: 86.0ms (0.2% of total)
ival-<: 40.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.5min (20%)

Memory
177.5MiB live, 98 623.6MiB allocated
Algorithm
285×egg-herbie
Rules
116 540×fma-define
67 972×associate-*r*
62 936×times-frac
62 254×*-commutative
62 012×fmm-def
Stop Event
214×node limit
69×saturated
2×unsound
Counts
94 483 → 79 014

soundness1.1min (14.5%)

Memory
80.3MiB live, 65 169.6MiB allocated
Rules
57 409×fma-define
44 851×log1p-expm1-u
39 993×times-frac
35 569×associate-*r*
35 274×*-commutative
Stop Event
189×node limit
30×fuel
7×saturated
2×done
1×unsound
Compiler

Compiled 50 547 to 14 389 computations (71.5% saved)

rewrite32.1s (7.3%)

Memory
287.3MiB live, 32 724.9MiB allocated
Algorithm
126×batch-egg-rewrite
Rules
71 489×log1p-expm1-u
49 351×expm1-log1p-u
34 530×add-exp-log
34 313×pow1
33 620×add-log-exp
Stop Event
125×node limit
1×unsound
Counts
1 915 → 49 716

localize28.4s (6.5%)

Memory
396.9MiB live, 39 332.4MiB allocated
Samples
9.1s22 966×0valid
2.6s2 785×1valid
1.7s3 526×0invalid
1.6s1 312×2valid
1.2s508×3valid
697.0ms108×5exit
522.0ms643×1exit
316.0ms579×0exit
208.0ms17×4valid
141.0ms20×4exit
116.0ms48×2exit
Compiler

Compiled 37 126 to 4 613 computations (87.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
ival-mult: 3.2s (24% of total)
ival-div: 1.9s (14.1% of total)
ival-tan: 1.4s (10.3% of total)
ival-add: 1.3s (9.7% of total)
ival-pow: 1.0s (7.9% of total)
ival-pow2: 720.0ms (5.5% of total)
ival-sqrt: 545.0ms (4.1% of total)
ival-sub: 474.0ms (3.6% of total)
ival-cos: 465.0ms (3.5% of total)
adjust: 400.0ms (3% of total)
ival-sin: 295.0ms (2.2% of total)
ival-asin: 229.0ms (1.7% of total)
ival-hypot: 218.0ms (1.7% of total)
ival-log: 207.0ms (1.6% of total)
ival-exp: 161.0ms (1.2% of total)
ival-pi: 129.0ms (1% of total)
ival-acos: 102.0ms (0.8% of total)
...in/eval/compile.rkt:111:19: 90.0ms (0.7% of total)
ival-cbrt: 84.0ms (0.6% of total)
ival-neg: 73.0ms (0.6% of total)
ival-expm1: 70.0ms (0.5% of total)
ival-log1p: 65.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 50.0ms (0.4% of total)
ival-atan: 35.0ms (0.3% of total)
ival-true: 29.0ms (0.2% of total)
ival-assert: 14.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)

prune27.4s (6.2%)

Memory
-486.8MiB live, 44 373.6MiB allocated
Counts
111 480 → 3 310
Compiler

Compiled 155 179 to 86 164 computations (44.5% saved)

eval24.9s (5.7%)

Memory
531.4MiB live, 32 758.9MiB allocated
Compiler

Compiled 3 433 476 to 471 632 computations (86.3% saved)

regimes20.7s (4.7%)

Memory
-193.2MiB live, 28 108.6MiB allocated
Counts
11 970 → 761
Calls

156 calls:

1.7s
l
930.0ms
t
799.0ms
k
711.0ms
F
627.0ms
(*.f64 l l)
Compiler

Compiled 8 673 to 6 231 computations (28.2% saved)

series19.4s (4.4%)

Memory
-175.1MiB live, 27 115.7MiB allocated
Counts
1 915 → 44 767
Calls

12333 calls:

TimeVariablePointExpression
391.0ms
M
@0
(log (pow 1 (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (pow (/ (* c0 (pow (/ d D) 2)) (* w h)) 2) (pow M 2))))))
284.0ms
U
@0
(cbrt (neg (* (sqrt (* U U*)) (* l (/ (neg (* n (sqrt 2))) Om)))))
280.0ms
d
@inf
(log (pow 1 (+ (* (/ c0 (* w h)) (pow (/ d D) 2)) (sqrt (- (pow (/ (* c0 (pow (/ d D) 2)) (* w h)) 2) (pow M 2))))))
251.0ms
l
@-inf
(* l (- (PI) (* (PI) (pow F -2))))
220.0ms
k
@0
(/ (* (pow (/ (cbrt (/ 2 (tan k))) (* t (cbrt (sin k)))) 3) (* l l)) (+ 2 (pow (/ k t) 2)))

bsearch13.3s (3%)

Memory
-214.5MiB live, 14 816.6MiB allocated
Algorithm
302×binary-search
107×left-value
Stop Event
289×narrow-enough
13×predicate-same
Samples
6.6s33 762×0valid
1.7s7 960×0invalid
455.0ms1 820×1valid
226.0ms572×2valid
105.0ms326×3valid
51.0ms252×1invalid
22.0ms66×2invalid
Compiler

Compiled 93 637 to 65 744 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-mult: 1.4s (20.2% of total)
ival-div: 1.0s (14.6% of total)
ival-tan: 864.0ms (12.3% of total)
ival-add: 739.0ms (10.5% of total)
ival-sin: 658.0ms (9.3% of total)
ival-pow: 625.0ms (8.9% of total)
ival-sub: 537.0ms (7.6% of total)
ival-pow2: 381.0ms (5.4% of total)
ival-sqrt: 229.0ms (3.3% of total)
ival-neg: 218.0ms (3.1% of total)
ival-exp: 82.0ms (1.2% of total)
adjust: 80.0ms (1.1% of total)
ival-cos: 44.0ms (0.6% of total)
ival-true: 34.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 28.0ms (0.4% of total)
...in/eval/compile.rkt:111:19: 21.0ms (0.3% of total)
ival-assert: 18.0ms (0.3% of total)
ival-hypot: 15.0ms (0.2% of total)
ival-atan: 11.0ms (0.2% of total)
ival-fabs: 5.0ms (0.1% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)

explain10.5s (2.4%)

Memory
82.2MiB live, 15 089.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4760
-.f64#fcancellation4491
cos.f64#fsensitivity4090
+.f64#fnan-rescue2630
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2551
*.f64#fn*o2420
sqrt.f64#fuflow-rescue1570
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1340
pow.f64#foflow-rescue1340
*.f64#fu*o1250
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1220
-.f64#fnan-rescue1120
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9419
*.f64#fo*u690
/.f64#fo/o680
pow.f64#fuflow-rescue680
*.f64#fn*u650
/.f64#fu/u510
/.f64#fo/n460
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue440
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow44
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow44
↳(*.f64 K (+.f64 m n))overflow44
+.f64#fcancellation400
/.f64#fn/o390
/.f64#fn/u290
/.f64#fu/n200
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity120
exp.f64#fsensitivity21
Confusion
Predicted +Predicted -
+195634
-11235079
Precision
0.6352711919454368
Recall
0.9829145728643216
Confusion?
Predicted +Predicted MaybePredicted -
+1956133
-1123215058
Precision?
0.6310867462108997
Recall?
0.9834170854271357
Freqs
test
numberfreq
05113
12696
2330
344
48
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-006
Precision?
1.0
Recall?
1.0
Samples
2.5s13 126×0valid
1.1s2 040×1valid
463.0ms812×2valid
259.0ms398×3valid
4.0ms8×5exit
Compiler

Compiled 8 430 to 2 164 computations (74.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 941.0ms (33.1% of total)
ival-tan: 349.0ms (12.3% of total)
ival-div: 342.0ms (12% of total)
adjust: 169.0ms (6% of total)
ival-sub: 141.0ms (5% of total)
ival-add: 115.0ms (4.1% of total)
ival-sqrt: 109.0ms (3.8% of total)
ival-pow2: 104.0ms (3.7% of total)
ival-sin: 103.0ms (3.6% of total)
ival-exp: 99.0ms (3.5% of total)
ival-neg: 98.0ms (3.5% of total)
ival-pow: 69.0ms (2.4% of total)
ival-cos: 60.0ms (2.1% of total)
ival-acos: 26.0ms (0.9% of total)
ival-hypot: 20.0ms (0.7% of total)
ival-true: 16.0ms (0.6% of total)
ival-log: 15.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 14.0ms (0.5% of total)
ival-pi: 14.0ms (0.5% of total)
ival-asin: 9.0ms (0.3% of total)
...in/eval/compile.rkt:111:19: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.2% of total)
ival-atan: 7.0ms (0.2% of total)
ival-fabs: 4.0ms (0.1% of total)

analyze9.9s (2.2%)

Memory
-151.9MiB live, 11 996.1MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.8%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 793 to 574 computations (27.6% saved)

preprocess8.7s (2%)

Memory
174.6MiB live, 9 340.6MiB allocated
Algorithm
32×egg-herbie
Rules
20 054×fma-define
13 409×fmm-def
8 518×times-frac
7 224×distribute-lft-in
7 153×unsub-neg
Stop Event
23×node limit
9×saturated
Compiler

Compiled 49 184 to 18 064 computations (63.3% saved)

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated

Profiling

Loading profile data...