Date:Wednesday, March 8th, 2023
Commit:32647e2f on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023067
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)

sample17.5s (22.3%)

Results
14.1s70231×body256valid
2.0s4073×body2048valid
690.0ms2065×body256invalid
634.0ms2852×body256infinite
Bogosity

simplify15.8s (20.2%)

Algorithm
77×egg-herbie
Rules
88864×rational.json-simplify-35
58500×rational.json-simplify-51
58178×rational.json-simplify-2
57000×rational.json-simplify-41
44326×rational.json-simplify-1
Stop Event
3×done
10×saturated
6×fuel
67×node limit
Counts
8301 → 9132
Compiler

Compiled 3120 to 1908 computations (38.8% saved)

eval10.9s (13.9%)

Compiler

Compiled 401573 to 219985 computations (45.2% saved)

regimes8.4s (10.7%)

Counts
1384 → 137
Calls

23 calls:

2.6s
c
1.6s
b
1.4s
a
626.0ms
y
507.0ms
z
Compiler

Compiled 36591 to 19983 computations (45.4% saved)

rewrite7.4s (9.4%)

Algorithm
59×batch-egg-rewrite
Rules
90112×rational.json-1
87942×rational.json-2
83238×rational.json-3
81426×rational.json-4
79586×exponential.json-3
Stop Event
59×node limit
Counts
117 → 5232

prune6.2s (7.9%)

Counts
13390 → 321
Compiler

Compiled 10502 to 6994 computations (33.4% saved)

localize3.6s (4.6%)

Compiler

Compiled 5566 to 2643 computations (52.5% saved)

bsearch2.4s (3%)

Algorithm
78×binary-search
10×left-value
Results
1.8s10064×body256valid
219.0ms1462×body256invalid
57.0ms423×body256infinite
32.0ms96×body2048valid
Compiler

Compiled 28879 to 20109 computations (30.4% saved)

preprocess1.8s (2.3%)

Algorithm
18×egg-herbie
Rules
16532×rational.json-simplify-41
10596×rational.json-simplify-35
6018×rational.json-simplify-53
5206×rational.json-simplify-2
5146×rational.json-simplify-1
Stop Event
1×unsound
9×saturated
8×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

soundness1.5s (1.9%)

Algorithm
13×egg-herbie
Rules
14508×rational.json-simplify-35
11980×rational.json-simplify-51
9084×rational.json-simplify-2
8816×rational.json-simplify-1
8216×rational.json-simplify-53
Stop Event
1×saturated
12×node limit
Compiler

Compiled 1369 to 674 computations (50.8% saved)

analyze1.4s (1.8%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end1.1s (1.4%)

Compiler

Compiled 3015 to 1617 computations (46.4% saved)

series428.0ms (0.5%)

Counts
117 → 3060
Calls

867 calls:

TimeVariablePointExpression
74.0ms
c
@inf
(*.f64 2 (/.f64 c (+.f64 (*.f64 c (*.f64 2 (/.f64 a b))) (*.f64 b -2))))
33.0ms
c
@inf
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (+.f64 (neg.f64 b) (*.f64 c (*.f64 (/.f64 a b) 2)))))
6.0ms
a
@-inf
(sqrt.f64 (*.f64 c (*.f64 a -4)))
5.0ms
a
@inf
(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))))
5.0ms
c
@0
(/.f64 c (*.f64 c (*.f64 -2 (/.f64 a b))))

Profiling

Loading profile data...