Date:Friday, March 31st, 2023
Commit:6bb8c50e on using-ruler-nightlies
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: 13.6min)

sample3.9min (28.4%)

Results
1.6min438944×body256valid
1.4min7941×body8192exit
18.9s23905×body1024valid
10.8s14740×body1024infinite
6.7s28915×body256infinite
5.5s12233×body512valid
4.0s6644×body512infinite
2.0s2675×body2048valid
1.4s4773×body256invalid
837.0ms1091×body4096valid
714.0ms4212×body256unsamplable
324.0ms240×body2048infinite
Bogosity

eval2.9min (21.1%)

Compiler

Compiled 6557369 to 3813854 computations (41.8% saved)

simplify2.4min (17.5%)

Algorithm
670×egg-herbie
Rules
519962×rational_best.json-simplify-80
496484×rational_best.json-simplify-78
462680×rational_best.json-simplify-2
382692×rational_best.json-simplify-132
314730×rational_best.json-simplify-44
Stop Event
110×saturated
18×done
40×fuel
560×node limit
Counts
49254 → 57829
Compiler

Compiled 9626 to 6497 computations (32.5% saved)

rewrite1.2min (8.9%)

Algorithm
554×batch-egg-rewrite
Rules
484490×rational_best.json-5
483906×rational_best.json-2
483906×rational_best.json-1
483866×rational_best.json-3
483606×rational_best.json-4
Stop Event
554×node limit
Counts
1290 → 26214

prune55.8s (6.8%)

Counts
103298 → 3061
Compiler

Compiled 187784 to 131621 computations (29.9% saved)

localize53.2s (6.5%)

Compiler

Compiled 94210 to 56069 computations (40.5% saved)

regimes34.0s (4.2%)

Counts
4491 → 546
Calls

134 calls:

3.6s
y.im
2.7s
y.re
2.3s
re
2.2s
im
1.9s
x.im
Compiler

Compiled 155602 to 102206 computations (34.3% saved)

soundness16.5s (2%)

Algorithm
88×egg-herbie
Rules
57918×rational_best.json-simplify-2
52494×rational_best.json-simplify-80
51330×rational_best.json-simplify-78
36860×rational_best.json-simplify-1
35134×rational_best.json-simplify-44
Stop Event
28×saturated
60×node limit
Compiler

Compiled 10973 to 6854 computations (37.5% saved)

bsearch10.7s (1.3%)

Algorithm
278×binary-search
14×left-value
Results
7.2s28060×body256valid
643.0ms1189×body1024valid
534.0ms328×body1024infinite
527.0ms920×body2048valid
383.0ms955×body256infinite
229.0ms481×body4096valid
169.0ms598×body512valid
77.0ms175×body512infinite
2.0ms2×body2048infinite
Compiler

Compiled 57235 to 40357 computations (29.5% saved)

analyze10.3s (1.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
7%6%80.3%13.7%0%0%0%1
13.1%11%73.3%13.7%0%1.7%0.2%2
23.6%19.2%62%13.7%0.5%4.3%0.3%3
29.2%23.2%56.3%13.7%1.9%4.5%0.4%4
41.4%32.6%46.2%13.7%2.4%4.6%0.4%5
46.7%36.2%41.3%13.7%3.5%4.9%0.4%6
54.8%41.1%33.8%13.7%5.2%5.8%0.4%7
58.6%43.6%30.7%13.7%5.7%5.9%0.4%8
63.7%46.7%26.6%13.7%6.7%5.9%0.4%9
67.5%48.8%23.5%13.7%7.2%6.4%0.4%10
70.8%50.6%20.9%13.7%7.9%6.4%0.4%11
73.3%52.2%19%13.7%8.3%6.4%0.4%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

series8.1s (1%)

Counts
1290 → 22982
Calls

6294 calls:

TimeVariablePointExpression
264.0ms
y.re
@0
(*.f64 y.re (log.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
257.0ms
base
@-inf
(/.f64 1 (log.f64 base))
242.0ms
x
@0
(/.f32 (*.f32 2 x) (-.f32 1 x))
186.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
171.0ms
x
@inf
(*.f64 (-.f64 1 (+.f64 (*.f64 -5/2 (pow.f64 wj 2)) (*.f64 2 wj))) x)

end5.2s (0.6%)

Compiler

Compiled 9975 to 5912 computations (40.7% saved)

preprocess2.6s (0.3%)

Algorithm
116×egg-herbie
Rules
14840×rational_best.json-simplify-2
11074×rational_best.json-simplify-1
6928×rational_best.json-simplify-44
6796×rational_best.json-simplify-47
5818×rational_best.json-simplify-43
Stop Event
97×saturated
13×unsound
6×node limit
Compiler

Compiled 1606 to 1052 computations (34.5% saved)

Profiling

Loading profile data...