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: 1.3min)

sample18.7s (24.4%)

Results
13.7s70159×body256valid
2.2s2801×body256infinite
1.9s4145×body2048valid
596.0ms2109×body256invalid
Bogosity

simplify15.9s (20.8%)

Algorithm
79×egg-herbie
Rules
94644×rational.json-simplify-35
64994×rational.json-simplify-51
59364×rational.json-simplify-2
56662×rational.json-simplify-41
48832×rational.json-simplify-1
Stop Event
2×done
10×saturated
7×fuel
69×node limit
Counts
7651 → 8041
Compiler

Compiled 3130 to 1942 computations (38% saved)

eval9.7s (12.7%)

Compiler

Compiled 358848 to 207148 computations (42.3% saved)

rewrite7.7s (10.1%)

Algorithm
61×batch-egg-rewrite
Rules
92550×rational.json-1
89454×rational.json-2
84782×rational.json-3
80754×rational.json-4
77260×exponential.json-3
Stop Event
61×node limit
Counts
122 → 4919

regimes6.7s (8.8%)

Counts
1074 → 127
Calls

23 calls:

1.8s
b
1.3s
c
1.2s
a
449.0ms
x
375.0ms
z
Compiler

Compiled 26433 to 14970 computations (43.4% saved)

prune5.1s (6.6%)

Counts
11802 → 308
Compiler

Compiled 9644 to 6556 computations (32% saved)

localize3.3s (4.3%)

Compiler

Compiled 5324 to 2723 computations (48.9% saved)

preprocess3.0s (4%)

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.9s (2.5%)

Algorithm
11×egg-herbie
Rules
15632×rational.json-simplify-35
10706×rational.json-simplify-51
8706×rational.json-simplify-2
7070×rational.json-simplify-1
6952×rational.json-simplify-43
Stop Event
11×node limit
Compiler

Compiled 1500 to 729 computations (51.4% saved)

bsearch1.7s (2.2%)

Algorithm
63×binary-search
12×left-value
Results
1.1s7760×body256valid
200.0ms1291×body256invalid
30.0ms254×body256infinite
22.0ms64×body2048valid
Compiler

Compiled 22339 to 15778 computations (29.4% saved)

analyze1.2s (1.6%)

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.0s (1.4%)

Compiler

Compiled 3021 to 1700 computations (43.7% saved)

series408.0ms (0.5%)

Counts
122 → 2723
Calls

798 calls:

TimeVariablePointExpression
57.0ms
n
@inf
(/.f64 (/.f64 (+.f64 f n) (-.f64 f n)) (-.f64 n f))
42.0ms
c
@0
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
40.0ms
c
@-inf
(/.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (*.f64 -2 b)) (*.f64 a 2))
5.0ms
a
@inf
(*.f64 -2 (/.f64 a b))
5.0ms
x
@0
(+.f64 x (log.f64 x))

Profiling

Loading profile data...