Date:Saturday, March 18th, 2023
Commit:b6070fe6 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023077
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: 11.0min)

eval2.5min (22.6%)

Compiler

Compiled 3206633 to 2138283 computations (33.3% saved)

sample2.2min (19.9%)

Results
2.1min206400×body256valid
4.9s8360×body256invalid
1.3s1933×body256precondition
Bogosity

simplify1.7min (15.6%)

Algorithm
399×egg-herbie
Rules
318424×rational.json-simplify-47
301606×rational.json-simplify-2
258136×rational.json-simplify-1
246206×rational.json-simplify-54
217534×rational.json-simplify-49
Stop Event
2×done
40×saturated
23×fuel
359×node limit
Counts
31497 → 38110
Compiler

Compiled 5529 to 4147 computations (25% saved)

localize1.3min (11.8%)

Compiler

Compiled 49395 to 29505 computations (40.3% saved)

regimes1.0min (9.3%)

Counts
5735 → 278
Calls

124 calls:

2.8s
(*.f32 (*.f32 uy 2) (PI.f32))
2.3s
u
2.1s
uy
2.1s
s
2.0s
(*.f32 uy 2)
Compiler

Compiled 143900 to 86587 computations (39.8% saved)

rewrite57.2s (8.6%)

Algorithm
349×batch-egg-rewrite
Rules
334038×rational.json-5
333784×rational.json-1
333782×rational.json-2
333772×rational.json-3
333340×rational.json-4
Stop Event
349×node limit
Counts
902 → 14935

prune44.7s (6.8%)

Counts
60905 → 3091
Compiler

Compiled 164748 to 119748 computations (27.3% saved)

analyze14.2s (2.1%)

Algorithm
25×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%3.2%96.8%0%0%0%0
0.2%0%3.2%96.8%0%0%0%1
9.3%0.3%2.9%96.8%0%0%0%2
43.2%1.4%1.8%96.8%0%0%0%3
48.1%1.5%1.6%96.8%0%0%0%4
65.1%2.1%1.1%96.8%0%0%0%5
70.3%2.2%0.9%96.8%0%0.1%0%6
79.1%2.4%0.6%96.8%0%0.1%0%7
81.1%2.5%0.6%96.8%0%0.1%0%8
86.1%2.6%0.4%96.8%0%0.1%0%9
87.6%2.7%0.4%96.9%0%0.1%0%10
91.7%2.8%0.3%96.9%0%0.1%0%11
92.4%2.8%0.2%96.9%0%0.1%0%12
Compiler

Compiled 1220 to 881 computations (27.8% saved)

soundness7.3s (1.1%)

Algorithm
31×egg-herbie
Rules
28748×rational.json-simplify-47
23994×rational.json-simplify-2
19722×rational.json-simplify-49
19380×rational.json-simplify-1
17110×rational.json-simplify-54
Stop Event
4×saturated
27×node limit
Compiler

Compiled 5612 to 3775 computations (32.7% saved)

series7.2s (1.1%)

Counts
902 → 16537
Calls

4626 calls:

TimeVariablePointExpression
330.0ms
s
@0
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
232.0ms
v
@0
(+.f32 (+.f32 (-.f32 (/.f32 (*.f32 cosTheta_i cosTheta_O) v) (+.f32 (/.f32 (*.f32 sinTheta_i sinTheta_O) v) (/.f32 1 v))) 6931/10000) (log.f32 (/.f32 1 (*.f32 v 2))))
225.0ms
s
@0
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 1 (+.f32 (*.f32 u (-.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) 1)))
202.0ms
uy
@inf
(*.f32 (sin.f32 (-.f32 (/.f32 (PI.f32) 2) (*.f32 uy (*.f32 2 (PI.f32))))) (sqrt.f32 (+.f32 (*.f32 (-.f32 2 (*.f32 2 maxCos)) ux) (neg.f32 (pow.f32 (*.f32 ux (+.f32 maxCos -1)) 2)))))
170.0ms
alpha
@inf
(*.f32 (log.f32 alpha) (*.f32 (-.f32 1 (pow.f32 cosTheta 2)) (PI.f32)))

end4.7s (0.7%)

Compiler

Compiled 5222 to 3444 computations (34% saved)

preprocess2.8s (0.4%)

Algorithm
50×egg-herbie
Rules
9496×rational.json-simplify-2
8874×rational.json-simplify-64
8210×rational.json-simplify-41
8060×rational.json-simplify-1
7080×rational.json-simplify-45
Stop Event
2×unsound
38×saturated
10×node limit
Compiler

Compiled 738 to 544 computations (26.3% saved)

bsearch79.0ms (0%)

Algorithm
50×left-value
32×binary-search
Compiler

Compiled 1890 to 1467 computations (22.4% saved)

Profiling

Loading profile data...