Date:Thursday, March 16th, 2023
Commit:32647e2f on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023075
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: 8.7min)

sample2.4min (28.1%)

Results
1.2min296681×body256valid
33.8s15107×body2048valid
19.7s21842×body1024valid
11.3s19444×body256infinite
6.4s12230×body512valid
2.4s202×body8192exit
689.0ms892×body4096valid
338.0ms3000×body256invalid
180.0ms193×body1024infinite
168.0ms452×body256unsamplable
82.0ms221×body512infinite
20.0ms21×body2048infinite
Bogosity

simplify1.9min (21.9%)

Algorithm
415×egg-herbie
Rules
520502×rational.json-simplify-35
393182×rational.json-simplify-2
337730×rational.json-simplify-51
326392×rational.json-simplify-41
298466×rational.json-simplify-1
Stop Event
14×done
57×saturated
28×fuel
358×node limit
Counts
43741 → 47748
Compiler

Compiled 8032 to 5145 computations (35.9% saved)

eval57.2s (10.9%)

Compiler

Compiled 2032096 to 1280032 computations (37% saved)

rewrite51.7s (9.9%)

Algorithm
331×batch-egg-rewrite
Rules
476450×rational.json-1
452498×rational.json-2
442370×rational.json-3
432174×rational.json-4
418116×rational.json-simplify-35
Stop Event
331×node limit
Counts
791 → 27243

regimes50.0s (9.6%)

Counts
4746 → 487
Calls

92 calls:

9.6s
c
9.5s
a
6.6s
b
2.8s
d
2.7s
x
Compiler

Compiled 97948 to 58210 computations (40.6% saved)

prune29.7s (5.7%)

Counts
62338 → 1846
Compiler

Compiled 62928 to 43855 computations (30.3% saved)

localize19.2s (3.7%)

Compiler

Compiled 30520 to 17667 computations (42.1% saved)

analyze13.7s (2.6%)

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)

bsearch12.3s (2.3%)

Algorithm
267×binary-search
16×left-value
Results
8.8s29962×body256valid
916.0ms1304×body1024valid
592.0ms1443×body256invalid
289.0ms1018×body512valid
222.0ms338×body2048valid
185.0ms796×body256infinite
1.0ms2×body4096valid
Compiler

Compiled 61967 to 44357 computations (28.4% saved)

end10.7s (2%)

Compiler

Compiled 7780 to 4385 computations (43.6% saved)

soundness9.0s (1.7%)

Algorithm
55×egg-herbie
Rules
58868×rational.json-simplify-35
45196×rational.json-simplify-2
43188×rational.json-simplify-51
34472×rational.json-simplify-1
33300×rational.json-simplify-53
Stop Event
5×saturated
50×node limit
Compiler

Compiled 6271 to 4333 computations (30.9% saved)

preprocess6.1s (1.2%)

Algorithm
84×egg-herbie
Rules
29804×rational.json-simplify-35
27772×rational.json-simplify-41
23944×rational.json-simplify-51
23096×rational.json-simplify-1
20848×rational.json-simplify-2
Stop Event
5×unsound
49×saturated
30×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.3s (0.4%)

Counts
791 → 16456
Calls

4398 calls:

TimeVariablePointExpression
219.0ms
y
@0
(/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))
179.0ms
c
@-inf
(*.f64 a (+.f64 (+.f64 b c) d))
104.0ms
b
@inf
(*.f64 (/.f64 1/2 a) (*.f64 c (*.f64 (/.f64 a b) -2)))
80.0ms
i
@inf
(*.f64 100 (*.f64 (+.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) -1) (/.f64 n i)))
50.0ms
b
@0
(/.f64 (/.f64 (-.f64 (*.f64 c b) (*.f64 a d)) d) (*.f64 c c))

Profiling

Loading profile data...