Date:Thursday, June 8th, 2023
Commit:a52827f1 on user-facing-bogosity
Hostname:nightly with Racket 8.6
Seed:2023159
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:simplify
default

Details

Time bar (total: 6.0min)

sample1.5min (24.2%)

Results
32.4s33161×body2048valid
27.4s62499×body1024valid
11.8s86915×body256valid
8.8s33151×body512valid
1.6s12974×body256infinite
1.3s2112×body4096valid
1.1s1162×body1024invalid
1.1s7404×body256unsamplable
572.0ms5160×body256invalid
356.0ms604×body512invalid
221.0ms308×body2048unsamplable
158.0ms452×body1024unsamplable
154.0ms155×body1024infinite
87.0ms196×body512infinite
57.0ms248×body512unsamplable
41.0ms5×body2048infinite
5.0ms6×body2048invalid
Bogosity

eval44.7s (12.3%)

Compiler

Compiled 1960169 to 1070682 computations (45.4% saved)

localize42.7s (11.8%)

Compiler

Compiled 14795 to 7982 computations (46% saved)

simplify41.1s (11.3%)

Algorithm
359×egg-herbie
Rules
237162×fma-def
165660×fma-neg
153156×log-prod
141638×unswap-sqr
134908×times-frac
Stop Event
1×unsound
6×done
48×saturated
22×fuel
310×node limit
Counts
52341 → 64206
Compiler

Compiled 6104 to 4171 computations (31.7% saved)

soundness40.5s (11.1%)

Rules
200072×fma-def
168818×log-prod
148804×fma-neg
82294×associate-*r*
77362×times-frac
Stop Event
1×unsound
6×saturated
268×node limit
Compiler

Compiled 29481 to 18325 computations (37.8% saved)

regimes32.0s (8.8%)

Counts
6135 → 489
Calls

43 calls:

7.3s
x
5.2s
a
4.6s
c
3.2s
eps
1.7s
b
Compiler

Compiled 72873 to 40754 computations (44.1% saved)

rewrite29.1s (8%)

Algorithm
303×batch-egg-rewrite
Rules
268700×log-prod
180246×fma-def
171934×pow1
161538×add-exp-log
161484×log1p-expm1-u
Stop Event
1×unsound
302×node limit
Counts
748 → 41215

prune21.9s (6%)

Counts
77580 → 2472
Compiler

Compiled 61063 to 43078 computations (29.5% saved)

bsearch9.9s (2.7%)

Algorithm
241×binary-search
33×left-value
Stop Event
232×narrow-enough
9×predicate-same
Results
3.7s21546×body256valid
2.8s5521×body1024valid
960.0ms1308×body2048valid
482.0ms1766×body512valid
435.0ms1347×body256unsamplable
242.0ms1131×body256infinite
201.0ms1775×body256invalid
186.0ms167×body1024infinite
138.0ms297×body512infinite
25.0ms43×body2048unsamplable
13.0ms33×body1024unsamplable
3.0ms8×body4096valid
3.0ms14×body512unsamplable
Compiler

Compiled 52069 to 37550 computations (27.9% saved)

end4.5s (1.2%)

Compiler

Compiled 12998 to 7896 computations (39.3% saved)

series4.2s (1.2%)

Counts
748 → 11098
Calls

3564 calls:

TimeVariablePointExpression
239.0ms
n
@inf
(*.f64 n (log.f64 n))
107.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 c) (log.f64 (/.f64 -1 a))) 1/2))
96.0ms
eps
@0
(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
72.0ms
eps
@inf
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)))))
69.0ms
b
@0
(log.f64 (*.f64 -1 (/.f64 b a)))

analyze2.6s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess2.0s (0.6%)

Algorithm
56×egg-herbie
Rules
25662×fma-def
8366×div-sub
7144×distribute-lft-in
6960×distribute-rgt-in
6546×fma-neg
Stop Event
2×unsound
43×saturated
11×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

Profiling

Loading profile data...