Herbie run

Date:Saturday, May 25th, 2024
Commit:445b0ec4 on explanations-trifurcate
Hostname:nightly with Racket 8.11.1
Seed:2024146
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.4min)

sample1.6min (22.1%)

Results
39.1s221052×0valid
13.4s29094×1valid
11.7s65292×0invalid
5.2s14033×1invalid
3.8s6533×3valid
3.5s6678×2valid
753.0ms831×4valid
330.0ms953×2invalid
33.0ms225×0unsamplable
4.0ms6×5exit
3.0ms4×5valid
Precisions
Click to see histograms. Total time spent on operations: 58.8s
ival-mult: 15.9s (26.9% of total)
ival-div: 8.5s (14.4% of total)
ival-pow: 6.9s (11.6% of total)
ival-sub: 4.7s (8.1% of total)
ival-tan: 4.3s (7.3% of total)
ival-add: 3.1s (5.3% of total)
ival-sqrt: 2.8s (4.8% of total)
backward-pass: 2.6s (4.4% of total)
ival-sin: 1.9s (3.3% of total)
ival-exp: 1.8s (3% of total)
ival-cos: 1.1s (1.8% of total)
ival-neg: 801.0ms (1.4% of total)
ival-pi: 717.0ms (1.2% of total)
...c/correct-round.rkt:121:19: 683.0ms (1.2% of total)
const: 682.0ms (1.2% of total)
ival-acos: 663.0ms (1.1% of total)
ival-log: 548.0ms (0.9% of total)
ival-fabs: 467.0ms (0.8% of total)
ival-hypot: 304.0ms (0.5% of total)
ival-asin: 197.0ms (0.3% of total)
ival-<: 138.0ms (0.2% of total)
ival-atan: 94.0ms (0.2% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify1.3min (18.2%)

Algorithm
286×egg-herbie
Rules
106059×fma-define
60172×*-commutative
59272×distribute-lft-in
58648×fma-neg
55125×times-frac
Stop Event
74×saturated
211×node limit
1×unsound
Counts
92508 → 78491

soundness53.8s (12.2%)

Rules
48434×fma-define
46018×log1p-expm1-u
33865×expm1-log1p-u
30000×associate-*r*
29354×times-frac
Stop Event
7×saturated
165×node limit
30×fuel
1×unsound
2×done
Compiler

Compiled 41262 to 12503 computations (69.7% saved)

localize41.8s (9.4%)

Results
12.2s22046×0valid
7.3s719×5exit
4.5s3574×1valid
3.1s4165×0invalid
1.7s771×2valid
1.6s500×3valid
630.0ms97×4valid
299.0ms120×3invalid
246.0ms393×0unsamplable
101.0ms67×2invalid
59.0ms60×1invalid
Compiler

Compiled 36406 to 4336 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0s
ival-tan: 3.5s (17.6% of total)
ival-mult: 3.3s (16.3% of total)
ival-pow: 2.9s (14.4% of total)
ival-div: 2.9s (14.3% of total)
backward-pass: 1.4s (6.8% of total)
ival-sqrt: 907.0ms (4.5% of total)
ival-sin: 878.0ms (4.4% of total)
ival-add: 820.0ms (4.1% of total)
ival-sub: 582.0ms (2.9% of total)
ival-fma: 540.0ms (2.7% of total)
ival-exp: 445.0ms (2.2% of total)
ival-log: 383.0ms (1.9% of total)
ival-cos: 334.0ms (1.7% of total)
ival-hypot: 219.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 150.0ms (0.7% of total)
ival-asin: 146.0ms (0.7% of total)
const: 119.0ms (0.6% of total)
ival-acos: 119.0ms (0.6% of total)
ival-log1p: 117.0ms (0.6% of total)
ival-cbrt: 93.0ms (0.5% of total)
ival-neg: 84.0ms (0.4% of total)
ival-pi: 83.0ms (0.4% of total)
ival-expm1: 73.0ms (0.4% of total)
ival-atan: 42.0ms (0.2% of total)
ival-fabs: 9.0ms (0% of total)

rewrite32.4s (7.3%)

Algorithm
127×batch-egg-rewrite
Rules
72160×log1p-expm1-u
53675×expm1-log1p-u
34469×add-exp-log
34313×add-log-exp
34300×pow1
Stop Event
126×node limit
1×unsound
Counts
1892 → 47610

prune28.9s (6.5%)

Counts
110771 → 3287
Compiler

Compiled 152583 to 85065 computations (44.3% saved)

eval21.6s (4.9%)

Compiler

Compiled 3549631 to 470013 computations (86.8% saved)

series19.6s (4.4%)

Counts
1892 → 44898
Calls

12366 calls:

TimeVariablePointExpression
324.0ms
x
@inf
(* (sqrt 2) (/ t (sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* 2 (* t t)) (* l l))) (* l l)))))
252.0ms
t
@0
(/ 2 (+ (pow (/ k t) 2) 0))
250.0ms
M
@inf
(sqrt (* (+ (* c0 (* d (/ d (* D (* w (* h D)))))) M) (+ (* (/ c0 (* w (* h D))) (/ (* d d) D)) (neg M))))
249.0ms
l
@-inf
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))
247.0ms
a
@-inf
(+ (* k (+ (* 10 (/ 1 (* a (pow k m)))) (/ k (* a (pow k m))))) (/ 1 (* a (pow k m))))

regimes18.0s (4.1%)

Counts
10528 → 713
Calls

156 calls:

1.7s
l
896.0ms
t
555.0ms
n
536.0ms
k
392.0ms
M
Compiler

Compiled 8278 to 6181 computations (25.3% saved)

explain13.6s (3.1%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4570
-.f64#fcancellation4501
cos.f64#fsensitivity4260
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))))sensitivity2531
+.f64#fnan-rescue2510
*.f64#fn*o2200
sqrt.f64#fuflow-rescue1820
pow.f64#foflow-rescue1470
*.f64#fu*o1440
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)))))))sensitivity1200
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1190
-.f64#fnan-rescue950
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8022
/.f64#fo/o780
/.f64#fo/n600
/.f64#fu/u560
*.f64#fn*u520
+.f64#fcancellation520
*.f64#fo*u500
pow.f64#fuflow-rescue470
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue460
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow46
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow46
↳(*.f64 K (+.f64 m n))overflow46
/.f64#fn/u340
/.f64#fn/o260
/.f64#fu/n110
exp.f64#fsensitivity52
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))))))sensitivity50
Confusion
Predicted +Predicted -
+194236
-11275087
Precision
0.6327794069729553
Recall
0.9817997977755308
Confusion?
Predicted +Predicted MaybePredicted -
+1942036
-1127235064
Precision?
0.628072445019405
Recall?
0.9817997977755308
Freqs
test
numberfreq
05123
12716
2312
338
43
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Results
3.6s13168×0valid
1.7s2236×1valid
521.0ms434×3valid
391.0ms478×2valid
57.0ms56×4valid
11.0ms12×5exit
Compiler

Compiled 8566 to 2100 computations (75.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 906.0ms (26.5% of total)
ival-add: 378.0ms (11% of total)
ival-tan: 321.0ms (9.4% of total)
ival-sub: 318.0ms (9.3% of total)
ival-div: 306.0ms (8.9% of total)
ival-pow: 240.0ms (7% of total)
backward-pass: 214.0ms (6.2% of total)
ival-sin: 125.0ms (3.7% of total)
ival-cos: 121.0ms (3.5% of total)
ival-sqrt: 114.0ms (3.3% of total)
ival-pi: 89.0ms (2.6% of total)
ival-exp: 83.0ms (2.4% of total)
ival-neg: 70.0ms (2% of total)
const: 40.0ms (1.2% of total)
ival-acos: 29.0ms (0.8% of total)
ival-hypot: 23.0ms (0.7% of total)
ival-log: 14.0ms (0.4% of total)
...c/correct-round.rkt:121:19: 10.0ms (0.3% of total)
ival-asin: 9.0ms (0.3% of total)
ival-atan: 8.0ms (0.2% of total)
ival-fabs: 7.0ms (0.2% of total)

bsearch12.8s (2.9%)

Algorithm
287×binary-search
91×left-value
Stop Event
12×predicate-same
275×narrow-enough
Results
7.6s33270×0valid
1.4s5707×0invalid
410.0ms1227×1valid
151.0ms98×3valid
125.0ms359×2valid
40.0ms22×4valid
26.0ms107×1invalid
23.0ms68×2invalid
Compiler

Compiled 84008 to 59867 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-mult: 2.1s (29% of total)
ival-pow: 1.5s (20% of total)
ival-div: 1.1s (15.2% of total)
ival-sin: 582.0ms (7.9% of total)
ival-add: 535.0ms (7.2% of total)
ival-sub: 477.0ms (6.5% of total)
ival-tan: 403.0ms (5.5% of total)
ival-neg: 135.0ms (1.8% of total)
ival-cos: 131.0ms (1.8% of total)
ival-sqrt: 110.0ms (1.5% of total)
ival-exp: 81.0ms (1.1% of total)
const: 74.0ms (1% of total)
backward-pass: 59.0ms (0.8% of total)
...c/correct-round.rkt:121:19: 25.0ms (0.3% of total)
ival-atan: 12.0ms (0.2% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-asin: 7.0ms (0.1% of total)
ival-hypot: 5.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

analyze11.3s (2.6%)

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%0.4%4
35.8%32.3%58%1.8%0%7.4%0.6%5
40.1%36.1%54%1.8%0%7.4%0.7%6
45.5%40.6%48.7%1.8%0%8.1%0.8%7
47.9%42.1%45.8%1.8%0%9.5%0.8%8
51%44.7%42.9%1.8%0%9.8%0.9%9
52.1%45.5%41.8%1.8%0%10%0.9%10
53.9%46.8%39.9%1.8%0%10.6%1%11
55.7%47.9%38.2%1.8%0%11.1%1%12
Compiler

Compiled 861 to 546 computations (36.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-mult: 2.0s (31.5% of total)
ival-pow: 1.4s (23.1% of total)
ival-div: 908.0ms (14.5% of total)
ival-add: 437.0ms (7% of total)
ival-sub: 284.0ms (4.5% of total)
ival-sqrt: 277.0ms (4.4% of total)
ival-sin: 187.0ms (3% of total)
...c/correct-round.rkt:121:19: 166.0ms (2.7% of total)
ival-tan: 144.0ms (2.3% of total)
ival-neg: 86.0ms (1.4% of total)
const: 85.0ms (1.4% of total)
ival-exp: 60.0ms (1% of total)
ival-acos: 50.0ms (0.8% of total)
ival-<: 28.0ms (0.4% of total)
ival-pi: 25.0ms (0.4% of total)
ival-fabs: 24.0ms (0.4% of total)
ival-asin: 22.0ms (0.4% of total)
backward-pass: 17.0ms (0.3% of total)
ival-cos: 15.0ms (0.2% of total)
ival-log: 13.0ms (0.2% of total)
ival-atan: 10.0ms (0.2% of total)
ival-and: 4.0ms (0.1% of total)
ival-hypot: 0.0ms (0% of total)

preprocess9.5s (2.1%)

Algorithm
32×egg-herbie
Rules
20025×fma-define
13409×fma-neg
8518×times-frac
7943×unsub-neg
7239×distribute-lft-in
Stop Event
9×saturated
23×node limit
Compiler

Compiled 45390 to 18100 computations (60.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...