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

sample19.7s (25.4%)

Results
15.6s70098×body256valid
2.7s4206×body2048valid
642.0ms2849×body256infinite
446.0ms2144×body256invalid
Bogosity

simplify16.2s (20.9%)

Algorithm
76×egg-herbie
Rules
94616×rational.json-simplify-35
62870×rational.json-simplify-2
57942×rational.json-simplify-41
56202×rational.json-simplify-51
47994×rational.json-simplify-1
Stop Event
3×done
10×saturated
6×fuel
66×node limit
Counts
7352 → 7313
Compiler

Compiled 2879 to 1794 computations (37.7% saved)

eval8.3s (10.7%)

Compiler

Compiled 337266 to 197103 computations (41.6% saved)

rewrite8.1s (10.4%)

Algorithm
58×batch-egg-rewrite
Rules
87924×rational.json-1
84948×rational.json-2
81372×rational.json-3
77944×rational.json-4
77518×exponential.json-3
Stop Event
58×node limit
Counts
109 → 4641

regimes6.7s (8.7%)

Counts
1041 → 124
Calls

23 calls:

1.3s
c
1.2s
a
950.0ms
b
947.0ms
x
488.0ms
y
Compiler

Compiled 24818 to 14227 computations (42.7% saved)

prune5.7s (7.3%)

Counts
11030 → 298
Compiler

Compiled 9140 to 6235 computations (31.8% saved)

localize3.3s (4.2%)

Compiler

Compiled 5224 to 2725 computations (47.8% saved)

preprocess3.2s (4.1%)

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.8s (2.3%)

Algorithm
16×egg-herbie
Rules
19644×rational.json-simplify-35
14526×rational.json-simplify-51
12222×rational.json-simplify-2
10524×rational.json-simplify-1
9638×rational.json-simplify-46
Stop Event
1×saturated
15×node limit
Compiler

Compiled 2074 to 1184 computations (42.9% saved)

bsearch1.5s (2%)

Algorithm
60×binary-search
12×left-value
Results
1.2s7696×body256valid
206.0ms1348×body256invalid
20.0ms172×body256infinite
16.0ms48×body2048valid
Compiler

Compiled 20887 to 14715 computations (29.5% saved)

end1.5s (2%)

Compiler

Compiled 2770 to 1537 computations (44.5% saved)

analyze1.2s (1.5%)

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)

series399.0ms (0.5%)

Counts
109 → 2702
Calls

702 calls:

TimeVariablePointExpression
64.0ms
a
@inf
(*.f64 (/.f64 a b) 2)
52.0ms
y
@-inf
(/.f64 (-.f64 (+.f64 4 x) (*.f64 z x)) y)
38.0ms
b
@0
(*.f64 a (*.f64 (/.f64 c b) -2))
6.0ms
a
@-inf
(sqrt.f64 (*.f64 (/.f64 c a) -4))
4.0ms
f
@0
(/.f64 (/.f64 (-.f64 f n) (/.f64 (-.f64 n f) (*.f64 (+.f64 f n) (/.f64 (+.f64 f n) (-.f64 n f))))) (neg.f64 (+.f64 f n)))

Profiling

Loading profile data...