Date:Thursday, December 15th, 2022
Commit:b1b2ad68 on oflatt-egglog-ctx
Hostname:nightly with Racket 8.6
Seed:2022349
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: 1.3min)

sample1.3min (94.7%)

Results
28.5s36526×body2048valid
24.8s66467×body1024valid
9.9s91261×body256valid
7.6s34708×body512valid
1.2s2204×body4096valid
1.1s1477×body1024invalid
659.0ms5859×body256invalid
400.0ms2892×body256infinite
317.0ms803×body512invalid
193.0ms425×body1024unsamplable
190.0ms1033×body256unsamplable
186.0ms204×body1024infinite
184.0ms291×body2048unsamplable
123.0ms240×body512infinite
67.0ms233×body512unsamplable
4.0ms2×body8192valid
3.0ms3×body2048invalid
1.0ms1×body2048infinite
Bogosity

analyze3.7s (4.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
11.8%10.7%80.2%9.1%0%0%0%1
16%14.2%74.9%9.1%0%1.8%0%2
34.9%29.6%55.3%9.1%1.6%4.5%0%3
43.8%35.9%45.9%9.1%2.9%5.4%0.9%4
51.1%40.9%39.1%9.1%3.5%6%1.3%5
54.8%43.3%35.7%9.1%4%6.4%1.6%6
57.8%44.9%32.7%9.1%4.2%7.2%1.9%7
60.1%46.4%30.8%9.1%4.4%7.4%2%8
62.1%47.4%28.9%9.1%4.7%7.8%2.1%9
64%48.4%27.2%9.1%4.9%8.4%2.2%10
66%49.5%25.5%9.1%5.1%8.6%2.3%11
67.9%50.6%23.8%9.1%5.3%8.9%2.3%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

preprocess524.0ms (0.7%)

Algorithm
28×egglog

end0.0ms (0%)

Profiling

Loading profile data...