Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
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: 8.6min)

localize2.0min (23.5%)

Results
23.2s17947×256valid
4.4s3696×256infinite
5.3s2881×256invalid
14.3s2044×1024valid
19.2s1866×2048valid
4.4s1066×512valid
24.5s762×8192exit
396.0ms442×256unsamplable
2.7s233×4096valid
1.2s73×4096infinite
194.0ms53×1024infinite
574.0ms46×2048infinite
130.0ms36×512infinite
102.0ms34×8192valid
526.0ms22×8192infinite
170.0ms16×2048unsamplable
21.0ms8×1024unsamplable
7.0ms7×512unsamplable
Compiler

Compiled 37004 to 19276 computations (47.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-pow: 22.2s (23.7% of total)
ival-mult: 17.2s (18.4% of total)
composed: 9.8s (10.5% of total)
ival-div: 8.6s (9.2% of total)
ival-tan: 8.0s (8.6% of total)
ival-add: 5.5s (5.9% of total)
ival-sin: 3.5s (3.8% of total)
ival-log: 3.2s (3.5% of total)
ival-sub: 3.1s (3.3% of total)
ival-sqrt: 2.9s (3.1% of total)
ival-exp: 2.5s (2.7% of total)
ival-cos: 1.9s (2.1% of total)
ival-asin: 1.6s (1.7% of total)
const: 1.4s (1.6% of total)
ival-acos: 968.0ms (1% of total)
ival-cbrt: 543.0ms (0.6% of total)
ival-neg: 229.0ms (0.2% of total)
ival-pi: 69.0ms (0.1% of total)
ival-e: 15.0ms (0% of total)
ival-fabs: 15.0ms (0% of total)

sample2.0min (23.4%)

Results
37.4s175936×0valid
10.2s65727×0invalid
8.9s42609×0infinite
12.5s23553×1valid
12.0s11920×5exit
4.9s9708×1invalid
3.9s5376×3valid
3.3s5169×2valid
474.0ms1057×1infinite
801.0ms816×4valid
443.0ms780×2infinite
518.0ms638×3infinite
172.0ms345×2invalid
30.0ms208×0unsamplable
2.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 17.8s (25.3% of total)
ival-div: 10.2s (14.5% of total)
ival-pow: 7.3s (10.4% of total)
ival-sqrt: 5.5s (7.9% of total)
backward-pass: 5.3s (7.5% of total)
ival-sub: 4.1s (5.8% of total)
ival-add: 3.8s (5.4% of total)
ival-exp: 3.3s (4.7% of total)
composed: 2.7s (3.9% of total)
ival-tan: 2.4s (3.4% of total)
ival-sin: 2.1s (3% of total)
const: 1.3s (1.9% of total)
ival-cos: 1.0s (1.5% of total)
ival-neg: 957.0ms (1.4% of total)
ival-acos: 779.0ms (1.1% of total)
ival-pi: 674.0ms (1% of total)
ival-log: 448.0ms (0.6% of total)
ival-fabs: 244.0ms (0.3% of total)
ival-asin: 187.0ms (0.3% of total)
ival-<: 154.0ms (0.2% of total)
ival-and: 14.0ms (0% of total)
Bogosity

eval59.9s (11.6%)

Compiler

Compiled 2735596 to 1709217 computations (37.5% saved)

soundness39.3s (7.6%)

Rules
48485×log1p-expm1-u
46205×fma-define
34846×expm1-log1p-u
34784×times-frac
32568×associate-*r*
Stop Event
6×saturated
165×node limit
30×fuel
1×done
Compiler

Compiled 46654 to 27069 computations (42% saved)

simplify35.5s (6.9%)

Algorithm
152×egg-herbie
Rules
53087×fma-define
41616×times-frac
40024×*-commutative
33735×associate-*r*
29986×distribute-lft-in
Stop Event
31×saturated
121×node limit
Counts
79325 → 56606

regimes26.4s (5.1%)

Counts
9309 → 727
Calls

152 calls:

2.5s
l
1.5s
t
1.3s
NdChar
1.2s
F
913.0ms
Ec
Compiler

Compiled 8178 to 6350 computations (22.4% saved)

prune25.3s (4.9%)

Counts
89341 → 3047
Compiler

Compiled 149359 to 105620 computations (29.3% saved)

rewrite23.3s (4.5%)

Algorithm
121×batch-egg-rewrite
Rules
75605×log1p-expm1-u
51836×expm1-log1p-u
30255×add-exp-log
29936×add-log-exp
29883×pow1
Stop Event
120×node limit
1×unsound
Counts
1284 → 45653

explain15.5s (3%)

Results
5.9s10806×256valid
1.0s2648×256infinite
1.4s820×1024valid
1.0s680×2048valid
492.0ms452×512valid
720.0ms238×4096valid
147.0ms66×8192valid
63.0ms50×1024infinite
229.0ms44×4096infinite
76.0ms38×2048infinite
28.0ms30×512infinite
Compiler

Compiled 7606 to 4038 computations (46.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
ival-mult: 1.9s (23% of total)
ival-pow: 1.2s (14.3% of total)
ival-div: 1.2s (14.2% of total)
ival-tan: 672.0ms (8% of total)
ival-cos: 607.0ms (7.3% of total)
ival-add: 599.0ms (7.2% of total)
ival-sub: 529.0ms (6.3% of total)
ival-exp: 416.0ms (5% of total)
ival-sqrt: 272.0ms (3.3% of total)
ival-sin: 208.0ms (2.5% of total)
const: 184.0ms (2.2% of total)
ival-asin: 164.0ms (2% of total)
ival-neg: 140.0ms (1.7% of total)
composed: 96.0ms (1.1% of total)
ival-log: 82.0ms (1% of total)
ival-acos: 50.0ms (0.6% of total)
ival-pi: 34.0ms (0.4% of total)
ival-fabs: 6.0ms (0.1% of total)

bsearch14.1s (2.7%)

Algorithm
338×binary-search
63×left-value
Stop Event
7×predicate-same
331×narrow-enough
Results
7.4s31262×0valid
1.8s7196×0infinite
1.2s6898×0invalid
106.0ms364×1valid
84.0ms197×2valid
144.0ms190×3valid
116.0ms129×4valid
19.0ms51×1infinite
12.0ms30×1invalid
11.0ms19×2infinite
2.0ms4×2invalid
1.0ms1×5exit
Compiler

Compiled 110022 to 81677 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
ival-div: 1.7s (23.4% of total)
ival-mult: 1.6s (21.9% of total)
ival-pow: 1.0s (14.6% of total)
ival-add: 746.0ms (10.5% of total)
ival-sin: 431.0ms (6.1% of total)
ival-sub: 427.0ms (6% of total)
ival-tan: 293.0ms (4.1% of total)
ival-exp: 245.0ms (3.5% of total)
ival-neg: 222.0ms (3.1% of total)
ival-cos: 135.0ms (1.9% of total)
const: 127.0ms (1.8% of total)
ival-sqrt: 125.0ms (1.8% of total)
backward-pass: 82.0ms (1.2% of total)
ival-fabs: 11.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)

analyze12.4s (2.4%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50%44%43.9%1.8%0%9.4%0.9%9
51.1%44.8%42.8%1.8%0%9.6%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.7%1%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-mult: 1.9s (28.6% of total)
ival-pow: 1.7s (24.6% of total)
ival-div: 1.0s (15.3% of total)
ival-add: 500.0ms (7.4% of total)
ival-sin: 330.0ms (4.9% of total)
ival-sqrt: 288.0ms (4.3% of total)
ival-sub: 281.0ms (4.2% of total)
ival-tan: 210.0ms (3.1% of total)
const: 126.0ms (1.9% of total)
ival-neg: 106.0ms (1.6% of total)
ival-exp: 92.0ms (1.4% of total)
ival-acos: 60.0ms (0.9% of total)
ival-fabs: 28.0ms (0.4% of total)
ival-asin: 26.0ms (0.4% of total)
ival-cos: 25.0ms (0.4% of total)
ival-pi: 25.0ms (0.4% of total)
ival-<: 25.0ms (0.4% of total)
ival-log: 11.0ms (0.2% of total)
ival-and: 3.0ms (0% of total)
composed: 0.0ms (0% of total)

preprocess12.1s (2.3%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Compiler

Compiled 43124 to 25486 computations (40.9% saved)

series11.6s (2.2%)

Counts
1284 → 33672
Calls

8640 calls:

TimeVariablePointExpression
272.0ms
kx
@inf
(log (+ 1 (/ th (sin kx))))
190.0ms
t
@0
(pow (E) (log (* (sqrt 2) t)))
149.0ms
n
@0
(* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)))
139.0ms
v
@inf
(* (sqrt 2) (+ 1/4 (* (pow v 2) -3/8)))
132.0ms
l
@0
(/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))))

end0.0ms (0%)

Profiling

Loading profile data...