Herbie run

Date:Friday, April 5th, 2024
Commit:9a443234 on explanations-eval-top3
Hostname:nightly with Racket 8.11.1
Seed:2024096
Parameters:256 points for 4 iterations
Flags:
reduce: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: 6.4min)

sample3.0min (47%)

Results
33.7s140863×256precondition
15.6s90866×256valid
27.4s57517×1024valid
9.7s34066×512valid
42.0s33984×2048valid
34.7s7047×8192exit
912.0ms4257×256infinite
841.0ms4219×256unsamplable
528.0ms4014×256invalid
1.2s1869×4096valid
122.0ms211×512infinite
186.0ms142×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.8s, 27.0% of total-time
Operation ival-tan, time spent: 13.6s, 11.0% of total-time
Operation ival-exp, time spent: 12.9s, 10.0% of total-time
Operation ival-mult, time spent: 10.4s, 8.0% of total-time
Operation ival-sub, time spent: 7.9s, 6.0% of total-time
Operation ival-div, time spent: 6.4s, 5.0% of total-time
Operation ival-log, time spent: 6.0s, 5.0% of total-time
Operation ival-<=, time spent: 5.0s, 4.0% of total-time
Operation ival-cos, time spent: 5.0s, 4.0% of total-time
Operation ival-add, time spent: 4.8s, 4.0% of total-time
Operation ival-sin, time spent: 4.7s, 4.0% of total-time
Operation ival-fabs, time spent: 3.7s, 3.0% of total-time
Operation ival-<, time spent: 2.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-fmin, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 952.0ms, 1.0% of total-time
Operation ival-neg, time spent: 829.0ms, 1.0% of total-time
Operation ival-atan, time spent: 431.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 429.0ms, 0.0% of total-time
Bogosity

localize59.6s (15.5%)

Compiler

Compiled 15694 to 9223 computations (41.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 43.1s
Operation ival-pow, time spent: 12.1s, 28.0% of total-time
Operation ival-mult, time spent: 6.8s, 16.0% of total-time
Operation ival-div, time spent: 4.7s, 11.0% of total-time
Operation composed, time spent: 3.8s, 9.0% of total-time
Operation ival-add, time spent: 3.1s, 7.0% of total-time
Operation ival-sin, time spent: 2.7s, 6.0% of total-time
Operation ival-sub, time spent: 2.3s, 5.0% of total-time
Operation ival-log, time spent: 1.5s, 4.0% of total-time
Operation ival-exp, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 3.0% of total-time
Operation const, time spent: 1.0s, 2.0% of total-time
Operation ival-cos, time spent: 947.0ms, 2.0% of total-time
Operation ival-tan, time spent: 450.0ms, 1.0% of total-time
Operation ival-neg, time spent: 365.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 325.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 162.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 45.0ms, 0.0% of total-time
Operation ival-atan, time spent: 22.0ms, 0.0% of total-time

eval32.7s (8.5%)

Compiler

Compiled 1428478 to 934992 computations (34.5% saved)

simplify24.4s (6.3%)

Algorithm
119×egg-herbie
Rules
60548×fma-define
57472×fma-neg
54366×associate-*r*
48706×distribute-lft-in
48336×*-commutative
Stop Event
27×saturated
92×node limit
19×fuel
8×done
Counts
37504 → 40101
Compiler

Compiled 3462 to 2429 computations (29.8% saved)

soundness22.8s (5.9%)

Rules
61122×fma-define
57262×fma-neg
43358×associate-*r*
34086×distribute-lft-in
31768×times-frac
Stop Event
7×saturated
109×node limit
Compiler

Compiled 20643 to 13087 computations (36.6% saved)

rewrite17.6s (4.6%)

Algorithm
92×batch-egg-rewrite
Rules
54563×log1p-expm1-u
44317×expm1-log1p-u
33000×prod-diff
27676×log-prod
27110×fma-define
Stop Event
92×node limit
Counts
718 → 24888

preprocess15.6s (4.1%)

Algorithm
27×egg-herbie
Rules
16450×fma-neg
12928×fma-define
8464×div-sub
5288×sub-neg
5148×times-frac
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation394038
log.f64#fsensitivity7660
/.f64#fu/u4350
sqrt.f64#foflow-rescue3680
+.f64#fcancellation3220
pow.f64(pow.f64 (+.f64 x 1) (/.f64 1 n))sensitivity740
/.f64#fu/n390
-.f64#fnan-rescue30
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
sin.f64(sin.f64 (+.f64 x eps))sensitivity21
tan.f64(tan.f64 (+.f64 x eps))sensitivity21
Confusion
Predicted +Predicted -
+497619
-1611756
Precision
0.9686587502433327
Recall
0.9961961961961961
Confusion?
Predicted +Predicted MaybePredicted -
+4976712
-161301726
Precision?
0.9630846540394279
Recall?
0.9975975975975976
Stop Event
22×saturated
5×node limit
Compiler

Compiled 11994 to 7512 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
Operation ival-exp, time spent: 654.0ms, 13.0% of total-time
Operation ival-tan, time spent: 622.0ms, 13.0% of total-time
Operation ival-log, time spent: 616.0ms, 12.0% of total-time
Operation ival-div, time spent: 547.0ms, 11.0% of total-time
Operation ival-pow, time spent: 480.0ms, 10.0% of total-time
Operation ival-sub, time spent: 477.0ms, 10.0% of total-time
Operation ival-add, time spent: 426.0ms, 9.0% of total-time
Operation ival-mult, time spent: 361.0ms, 7.0% of total-time
Operation ival-cos, time spent: 233.0ms, 5.0% of total-time
Operation ival-sin, time spent: 154.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 148.0ms, 3.0% of total-time
Operation const, time spent: 127.0ms, 3.0% of total-time
Operation ival-atan, time spent: 62.0ms, 1.0% of total-time
Operation ival-neg, time spent: 30.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 1.0% of total-time

prune13.4s (3.5%)

Counts
55314 → 1769
Compiler

Compiled 59883 to 42533 computations (29% saved)

regimes6.6s (1.7%)

Counts
3151 → 297
Calls

42 calls:

1.8s
x
724.0ms
b
673.0ms
a
527.0ms
n
526.0ms
(/.f64 1 n)
Compiler

Compiled 1538 to 1073 computations (30.2% saved)

bsearch4.2s (1.1%)

Algorithm
102×binary-search
16×left-value
Stop Event
1×predicate-same
101×narrow-enough
Results
1.2s7195×256valid
1.2s2165×1024valid
174.0ms1396×256invalid
395.0ms1309×256infinite
327.0ms784×512valid
404.0ms403×2048valid
14.0ms70×256unsamplable
20.0ms38×512infinite
10.0ms10×1024infinite
Compiler

Compiled 17464 to 13086 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
Operation ival-pow, time spent: 1.3s, 55.0% of total-time
Operation ival-div, time spent: 223.0ms, 10.0% of total-time
Operation ival-sub, time spent: 209.0ms, 9.0% of total-time
Operation ival-mult, time spent: 195.0ms, 8.0% of total-time
Operation ival-add, time spent: 109.0ms, 5.0% of total-time
Operation ival-exp, time spent: 94.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 73.0ms, 3.0% of total-time
Operation ival-neg, time spent: 52.0ms, 2.0% of total-time
Operation const, time spent: 45.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 34.0ms, 1.0% of total-time
Operation ival-cos, time spent: 18.0ms, 1.0% of total-time

series4.1s (1.1%)

Counts
718 → 12616
Calls

3300 calls:

TimeVariablePointExpression
70.0ms
x
@inf
(log (+ 1 (neg (cos x))))
67.0ms
b
@inf
(/ eps (- (exp (* eps b)) 1))
66.0ms
x
@inf
(log (- (exp (- (tan (+ x eps)) (tan x))) 1))
62.0ms
n
@0
(* n (log n))
57.0ms
x
@-inf
(log (- (exp (- (tan (+ x eps)) (tan x))) 1))

analyze2.9s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
19.3%11.1%46.5%38.9%0%3.6%0%1
27%15.5%42%38.9%0%3.6%0%2
41.8%22.9%31.9%41.6%0%3.6%0%3
50.2%27.5%27.3%41.7%0%3.6%0%4
57.3%30.9%23.1%42.4%0%3.6%0%5
59.5%31.7%21.6%43.1%0%3.6%0%6
63.4%32.7%18.9%44%0%4.3%0.1%7
66.6%34%17.1%44.5%0%4.4%0.1%8
69.1%34.6%15.5%44.9%0%4.8%0.3%9
71.2%35.1%14.1%45.2%0%5.3%0.3%10
74%36%12.7%45.4%0%5.5%0.4%11
75.2%36.3%11.9%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-mult, time spent: 227.0ms, 14.0% of total-time
Operation ival-sub, time spent: 214.0ms, 14.0% of total-time
Operation ival-pow, time spent: 173.0ms, 11.0% of total-time
Operation ival-log, time spent: 152.0ms, 10.0% of total-time
Operation ival-div, time spent: 125.0ms, 8.0% of total-time
Operation ival-<=, time spent: 92.0ms, 6.0% of total-time
Operation ival-add, time spent: 83.0ms, 5.0% of total-time
Operation ival-cos, time spent: 76.0ms, 5.0% of total-time
Operation ival-exp, time spent: 68.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 62.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 61.0ms, 4.0% of total-time
Operation ival-tan, time spent: 59.0ms, 4.0% of total-time
Operation ival-sin, time spent: 59.0ms, 4.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-neg, time spent: 35.0ms, 2.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-and, time spent: 15.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end5.0ms (0%)

Profiling

Loading profile data...