Date:Saturday, March 4th, 2023
Commit:9578f0c3 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023063
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: 5.0min)

sample1.5min (30.2%)

Results
27.8s28024×body1024valid
23.4s112993×body256valid
22.6s3142×body8192exit
10.3s14181×body512valid
3.0s4927×body1024invalid
1.2s1666×body2048valid
981.0ms2434×body512invalid
487.0ms3264×body256infinite
414.0ms2833×body256invalid
103.0ms227×body1024infinite
66.0ms220×body512infinite
26.0ms156×body256unsamplable
4.0ms3×body4096invalid
3.0ms6×body2048invalid
3.0ms1×body8192invalid
Bogosity

simplify1.5min (29.1%)

Algorithm
180×egg-herbie
Rules
237816×rational.json-simplify-35
222208×rational.json-simplify-41
177458×rational.json-simplify-2
130832×rational.json-simplify-51
122714×rational.json-simplify-1
Stop Event
24×saturated
7×done
12×fuel
156×node limit
Counts
17488 → 17656
Compiler

Compiled 1410 to 884 computations (37.3% saved)

analyze28.1s (9.3%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

rewrite24.2s (8%)

Algorithm
142×batch-egg-rewrite
Rules
208832×bool.json-1
201374×bool.json-2
167638×rational.json-1
149032×bool.json-3
146612×rational.json-2
Stop Event
142×node limit
Counts
336 → 10569

prune15.8s (5.3%)

Counts
21424 → 1036
Compiler

Compiled 27895 to 19098 computations (31.5% saved)

eval15.4s (5.1%)

Compiler

Compiled 451740 to 237043 computations (47.5% saved)

localize9.8s (3.2%)

Compiler

Compiled 6378 to 3060 computations (52% saved)

regimes9.6s (3.2%)

Counts
1531 → 132
Calls

49 calls:

1.7s
r
1.5s
a
1.5s
b
485.0ms
x
384.0ms
(pow.f64 c 2)
Compiler

Compiled 18288 to 9369 computations (48.8% saved)

preprocess7.9s (2.6%)

Algorithm
38×egg-herbie
Rules
43974×rational.json-simplify-41
19648×rational.json-simplify-1
17096×rational.json-simplify-35
11326×rational.json-simplify-2
7642×rational.json-simplify-51
Stop Event
3×unsound
21×saturated
14×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

soundness5.7s (1.9%)

Algorithm
22×egg-herbie
Rules
30794×rational.json-simplify-35
25582×rational.json-simplify-2
22640×rational.json-simplify-51
21696×rational.json-simplify-1
20280×rational.json-simplify-41
Stop Event
1×saturated
21×node limit
Compiler

Compiled 741 to 447 computations (39.7% saved)

bsearch2.5s (0.8%)

Algorithm
48×binary-search
13×left-value
Results
1.0s3820×body256valid
901.0ms1463×body1024valid
287.0ms751×body512valid
81.0ms107×body2048valid
31.0ms375×body256invalid
26.0ms185×body256infinite
1.0ms8×body256unsamplable
Compiler

Compiled 8341 to 6109 computations (26.8% saved)

series2.5s (0.8%)

Counts
336 → 6900
Calls

1860 calls:

TimeVariablePointExpression
1.3s
l
@inf
(pow.f64 l (exp.f64 w))
121.0ms
s
@inf
(*.f64 (*.f64 x (pow.f64 s 2)) (*.f64 x (pow.f64 c 2)))
95.0ms
s
@inf
(/.f64 (+.f64 (*.f64 x -2) (/.f64 1 x)) (*.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) x)))
80.0ms
a
@0
(*.f64 b (/.f64 r (cos.f64 a)))
73.0ms
z
@0
(tan.f64 (+.f64 y z))

end1.2s (0.4%)

Compiler

Compiled 1482 to 690 computations (53.4% saved)

Profiling

Loading profile data...