Date:Wednesday, May 31st, 2023
Commit:55347e10 on better-large-numbers
Hostname:nightly with Racket 8.6
Seed:2023151
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.6min)

sample1.6min (23.7%)

Results
48.9s296748×body256valid
19.6s15000×body2048valid
11.8s21739×body1024valid
5.5s18791×body256infinite
4.6s12400×body512valid
1.9s202×body8192exit
655.0ms865×body4096valid
470.0ms3088×body256invalid
145.0ms209×body1024infinite
93.0ms214×body512infinite
66.0ms459×body256unsamplable
19.0ms17×body2048infinite
Bogosity

eval1.0min (15.5%)

Compiler

Compiled 2608531 to 1585918 computations (39.2% saved)

simplify50.6s (12.7%)

Algorithm
477×egg-herbie
Rules
352010×fma-def
221414×log-prod
211860×unswap-sqr
202518×fma-neg
199604×times-frac
Stop Event
1×unsound
12×done
59×saturated
30×fuel
417×node limit
Counts
58692 → 67958
Compiler

Compiled 9643 to 5853 computations (39.3% saved)

soundness42.4s (10.6%)

Rules
198450×fma-def
151872×log-prod
124534×fma-neg
107640×times-frac
99856×associate-*r*
Stop Event
7×saturated
294×node limit
Compiler

Compiled 34207 to 20371 computations (40.4% saved)

rewrite38.2s (9.6%)

Algorithm
393×batch-egg-rewrite
Rules
296604×log-prod
278194×pow1
260626×add-exp-log
260528×log1p-expm1-u
260510×expm1-log1p-u
Stop Event
393×node limit
Counts
901 → 41219

regimes34.9s (8.8%)

Counts
4530 → 597
Calls

92 calls:

6.3s
a
5.6s
c
5.1s
b
2.7s
d
1.4s
x
Compiler

Compiled 84685 to 48797 computations (42.4% saved)

prune25.9s (6.5%)

Counts
83167 → 2297
Compiler

Compiled 71778 to 49269 computations (31.4% saved)

localize15.9s (4%)

Compiler

Compiled 32816 to 19009 computations (42.1% saved)

bsearch11.2s (2.8%)

Algorithm
339×binary-search
16×left-value
Stop Event
331×narrow-enough
8×predicate-same
Results
7.8s37887×body256valid
1.2s2011×body1024valid
624.0ms2138×body256infinite
374.0ms1239×body512valid
278.0ms394×body2048valid
174.0ms1646×body256invalid
2.0ms5×body4096valid
Compiler

Compiled 98410 to 65721 computations (33.2% saved)

analyze11.0s (2.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end5.1s (1.3%)

Compiler

Compiled 9305 to 4916 computations (47.2% saved)

series3.6s (0.9%)

Counts
901 → 17431
Calls

4836 calls:

TimeVariablePointExpression
88.0ms
a
@0
(log.f64 (*.f64 a (/.f64 c b)))
70.0ms
t
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 2) 3)
65.0ms
t
@0
(pow.f64 (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 2) 2)
64.0ms
b
@inf
(log.f64 (*.f64 a (/.f64 c b)))
54.0ms
eps
@inf
(pow.f64 (exp.f64 (+.f64 eps -1)) x)

preprocess3.2s (0.8%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...