Date:Friday, March 31st, 2023
Commit:e87598eb on using-ruler-baseline
Hostname:nightly with Racket 8.6
Seed:2023090
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: 2.5min)

sample56.0s (37.9%)

Results
17.7s27847×body1024valid
17.6s113220×body256valid
9.2s3211×body8192exit
5.1s14153×body512valid
2.3s4905×body1024invalid
1.4s1644×body2048valid
1.0s2449×body512invalid
734.0ms3274×body256infinite
461.0ms2833×body256invalid
107.0ms246×body1024infinite
78.0ms254×body512infinite
26.0ms143×body256unsamplable
3.0ms1×body8192invalid
3.0ms6×body2048invalid
1.0ms1×body4096invalid
1.0ms1×body2048infinite
Bogosity

simplify21.4s (14.5%)

Algorithm
165×egg-herbie
Rules
132030×rational_best_oopsla_all_46_json_45_simplify-89
109248×rational_best_oopsla_all_46_json_45_simplify-49
103652×rational_best_oopsla_all_46_json_45_simplify-74
103362×rational_best_oopsla_all_46_json_45_simplify-24
85424×rational_best_oopsla_all_46_json_45_simplify-10
Stop Event
27×saturated
9×done
10×fuel
138×node limit
Counts
18740 → 18867
Compiler

Compiled 849 to 571 computations (32.7% saved)

eval20.2s (13.7%)

Compiler

Compiled 1282838 to 560172 computations (56.3% saved)

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

rewrite12.6s (8.5%)

Algorithm
127×batch-egg-rewrite
Rules
134760×rational_best_oopsla_all_46_json-1
134760×rational_best_oopsla_all_46_json-2
134756×rational_best_oopsla_all_46_json-3
134754×rational_best_oopsla_all_46_json-4
84966×rational_best_oopsla_all_46_json_45_simplify-23
Stop Event
127×node limit
Counts
283 → 12192

prune11.0s (7.4%)

Counts
29010 → 745
Compiler

Compiled 24939 to 14954 computations (40% saved)

localize3.7s (2.5%)

Compiler

Compiled 8638 to 4055 computations (53.1% saved)

regimes3.2s (2.2%)

Counts
686 → 80
Calls

49 calls:

533.0ms
a
304.0ms
x
276.0ms
r
238.0ms
b
129.0ms
y
Compiler

Compiled 13051 to 5622 computations (56.9% saved)

soundness2.1s (1.5%)

Algorithm
15×egg-herbie
Rules
13254×rational_best_oopsla_all_46_json_45_simplify-89
12678×rational_best_oopsla_all_46_json_45_simplify-49
11520×rational_best_oopsla_all_46_json_45_simplify-72
10770×rational_best_oopsla_all_46_json_45_simplify-74
9668×rational_best_oopsla_all_46_json_45_simplify-24
Stop Event
1×saturated
14×node limit
Compiler

Compiled 1002 to 691 computations (31% saved)

preprocess1.3s (0.9%)

Algorithm
38×egg-herbie
Rules
9660×rational_best_oopsla_all_46_json_45_simplify-49
8680×rational_best_oopsla_all_46_json_45_simplify-10
8000×rational_best_oopsla_all_46_json_45_simplify-23
7408×rational_best_oopsla_all_46_json_45_simplify-72
7134×rational_best_oopsla_all_46_json_45_simplify-89
Stop Event
3×unsound
24×saturated
11×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

series994.0ms (0.7%)

Counts
283 → 6529
Calls

1794 calls:

TimeVariablePointExpression
74.0ms
r
@0
(/.f64 (*.f64 (sin.f64 b) r) (*.f64 (*.f64 (cos.f64 (+.f64 a b)) (/.f64 1 (+.f64 (cos.f64 a) (*.f64 (sin.f64 a) (neg.f64 b))))) (cos.f64 (+.f64 a b))))
68.0ms
b
@inf
(/.f64 (*.f64 r (sin.f64 b)) (*.f64 (*.f64 (cos.f64 (+.f64 b a)) (/.f64 1 (+.f64 (cos.f64 a) (*.f64 (sin.f64 a) (neg.f64 b))))) (cos.f64 (+.f64 b a))))
55.0ms
r
@0
(*.f64 r (/.f64 (sin.f64 b) (+.f64 1 (neg.f64 (*.f64 b a)))))
51.0ms
l
@-inf
(*.f64 l (+.f64 (*.f64 (log.f64 l) w) (*.f64 (pow.f64 w 2) (*.f64 1/2 (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))))
21.0ms
a
@0
(/.f64 1 (cos.f64 a))

bsearch720.0ms (0.5%)

Algorithm
24×binary-search
4×left-value
Results
314.0ms2384×body256valid
201.0ms371×body1024valid
111.0ms179×body512valid
43.0ms26×body2048valid
8.0ms101×body256invalid
4.0ms30×body256infinite
Compiler

Compiled 3553 to 2631 computations (25.9% saved)

end634.0ms (0.4%)

Compiler

Compiled 874 to 493 computations (43.6% saved)

Profiling

Loading profile data...