Date:Tuesday, June 6th, 2023
Commit:7cb3f216 on main
Hostname:nightly with Racket 8.6
Seed:2023157
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

Details

Time bar (total: 5.6min)

sample1.5min (25.7%)

Results
31.9s32861×body2048valid
28.3s62833×body1024valid
11.2s86588×body256valid
8.2s33444×body512valid
1.7s13051×body256infinite
1.4s1188×body1024invalid
1.3s2048×body4096valid
751.0ms7169×body256unsamplable
642.0ms5097×body256invalid
370.0ms503×body1024unsamplable
221.0ms564×body512invalid
203.0ms164×body1024infinite
159.0ms274×body2048unsamplable
108.0ms172×body512infinite
58.0ms243×body512unsamplable
4.0ms2×body8192valid
2.0ms3×body2048invalid
2.0ms5×body2048infinite
Bogosity

simplify41.9s (12.4%)

Algorithm
378×egg-herbie
Rules
246528×fma-def
175470×fma-neg
170778×log-prod
151372×unswap-sqr
142736×times-frac
Stop Event
5×done
48×saturated
23×fuel
330×node limit
Counts
53142 → 64232
Compiler

Compiled 3615 to 2490 computations (31.1% saved)

localize41.9s (12.4%)

Compiler

Compiled 14701 to 7912 computations (46.2% saved)

eval41.0s (12.1%)

Compiler

Compiled 1985617 to 1068813 computations (46.2% saved)

rewrite31.3s (9.2%)

Algorithm
322×batch-egg-rewrite
Rules
269074×log-prod
204804×pow1
191830×add-exp-log
191748×log1p-expm1-u
191696×expm1-log1p-u
Stop Event
322×node limit
Counts
742 → 41893

soundness31.1s (9.2%)

Rules
138194×fma-def
133732×log-prod
115156×fma-neg
67502×associate-*r*
56816×associate-*l*
Stop Event
8×saturated
212×node limit
Compiler

Compiled 20346 to 11993 computations (41.1% saved)

regimes24.7s (7.3%)

Counts
4830 → 337
Calls

43 calls:

5.7s
x
4.4s
c
3.8s
a
3.2s
eps
834.0ms
b_2
Compiler

Compiled 55240 to 30521 computations (44.7% saved)

prune22.0s (6.5%)

Counts
79393 → 2804
Compiler

Compiled 68143 to 48195 computations (29.3% saved)

bsearch5.0s (1.5%)

Algorithm
151×binary-search
15×left-value
Stop Event
151×narrow-enough
Results
2.5s15783×body256valid
846.0ms2147×body1024valid
463.0ms695×body2048valid
288.0ms1138×body512valid
266.0ms1495×body256invalid
62.0ms67×body1024infinite
55.0ms365×body256unsamplable
43.0ms259×body256infinite
41.0ms87×body512infinite
1.0ms3×body1024unsamplable
0.0ms2×body512unsamplable
0.0ms1×body2048unsamplable
Compiler

Compiled 29686 to 21981 computations (26% saved)

series4.6s (1.4%)

Counts
742 → 11221
Calls

3606 calls:

TimeVariablePointExpression
150.0ms
x
@0
(log.f64 (log1p.f64 (*.f64 1/360 (pow.f64 x 6))))
98.0ms
x
@0
(pow.f64 x (/.f64 1 n))
73.0ms
a
@0
(log.f64 (*.f64 c (neg.f64 a)))
62.0ms
N
@0
(log.f64 (atan2.f64 1 (+.f64 N (*.f64 N N))))
54.0ms
a
@0
(log.f64 (*.f64 x (*.f64 a (sqrt.f64 1/2))))

analyze3.2s (0.9%)

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)

end3.1s (0.9%)

Compiler

Compiled 8160 to 4974 computations (39% saved)

preprocess2.1s (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...