Date:Sunday, March 5th, 2023
Commit:9578f0c3 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023064
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)

sample20.4s (26.5%)

Results
14.8s70182×body256valid
2.8s4122×body2048valid
2.0s2030×body256invalid
531.0ms2787×body256infinite
Bogosity

simplify13.5s (17.5%)

Algorithm
80×egg-herbie
Rules
88698×rational.json-simplify-35
67958×rational.json-simplify-2
62650×rational.json-simplify-41
54492×rational.json-simplify-51
49284×rational.json-simplify-1
Stop Event
3×done
10×saturated
6×fuel
70×node limit
Counts
7839 → 8219
Compiler

Compiled 3268 to 1991 computations (39.1% saved)

eval9.4s (12.3%)

Compiler

Compiled 411230 to 242366 computations (41.1% saved)

prune7.2s (9.3%)

Counts
12596 → 310
Compiler

Compiled 10505 to 7012 computations (33.3% saved)

rewrite6.9s (9%)

Algorithm
62×batch-egg-rewrite
Rules
96752×bool.json-1
93256×bool.json-2
71542×rational.json-1
70486×bool.json-3
64288×rational.json-2
Stop Event
62×node limit
Counts
135 → 4550

regimes6.3s (8.2%)

Counts
1146 → 156
Calls

19 calls:

1.3s
b
1.2s
c
1.1s
a
623.0ms
x
561.0ms
z
Compiler

Compiled 28699 to 16275 computations (43.3% saved)

preprocess3.1s (4.1%)

Algorithm
18×egg-herbie
Rules
16532×rational.json-simplify-41
10596×rational.json-simplify-35
6018×rational.json-simplify-53
5204×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)

localize2.7s (3.5%)

Compiler

Compiled 6262 to 3253 computations (48.1% saved)

bsearch2.4s (3.2%)

Algorithm
93×binary-search
12×left-value
Results
1.9s11552×body256valid
144.0ms983×body256invalid
51.0ms445×body256infinite
21.0ms64×body2048valid
Compiler

Compiled 25799 to 18352 computations (28.9% saved)

soundness1.6s (2.1%)

Algorithm
13×egg-herbie
Rules
17236×rational.json-simplify-35
9902×rational.json-simplify-51
9852×rational.json-simplify-2
9116×rational.json-simplify-1
8018×rational.json-simplify-46
Stop Event
13×node limit
Compiler

Compiled 1572 to 800 computations (49.1% saved)

analyze1.6s (2.1%)

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 3157 to 1715 computations (45.7% saved)

series680.0ms (0.9%)

Counts
135 → 3280
Calls

903 calls:

TimeVariablePointExpression
112.0ms
a
@0
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (*.f64 -1 b))))
82.0ms
c
@-inf
(sqrt.f64 (*.f64 c (*.f64 a -4)))
61.0ms
c
@-inf
(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
42.0ms
a
@0
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
32.0ms
x
@inf
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))

Profiling

Loading profile data...