Date:Tuesday, March 14th, 2023
Commit:32647e2f on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023073
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: 10.2min)

simplify2.0min (19.8%)

Algorithm
430×egg-herbie
Rules
555028×rational.json-simplify-35
461790×rational.json-simplify-2
329466×rational.json-simplify-51
304774×rational.json-simplify-1
280776×rational.json-simplify-41
Stop Event
26×saturated
25×fuel
404×node limit
Counts
50915 → 59269
Compiler

Compiled 6125 to 4513 computations (26.3% saved)

eval1.9min (18.8%)

Compiler

Compiled 3487958 to 2304468 computations (33.9% saved)

sample1.7min (17.2%)

Results
1.7min206400×body256valid
2.8s8579×body256invalid
1.2s2063×body256precondition
Bogosity

regimes1.4min (14.1%)

Counts
9626 → 319
Calls

124 calls:

15.8s
cosTheta_i
2.7s
u1
2.7s
(*.f32 sinTheta_i sinTheta_O)
2.4s
v
2.2s
cosTheta_O
Compiler

Compiled 174441 to 98184 computations (43.7% saved)

localize58.9s (9.7%)

Compiler

Compiled 41759 to 24782 computations (40.7% saved)

rewrite47.9s (7.9%)

Algorithm
380×batch-egg-rewrite
Rules
573432×rational.json-1
558922×rational.json-2
533714×rational.json-3
508050×rational.json-4
463032×exponential.json-3
Stop Event
380×node limit
Counts
985 → 31153

prune43.4s (7.1%)

Counts
84476 → 3499
Compiler

Compiled 136267 to 100220 computations (26.5% saved)

analyze10.8s (1.8%)

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)

preprocess7.9s (1.3%)

Algorithm
50×egg-herbie
Rules
43422×rational.json-simplify-41
24836×rational.json-simplify-35
22600×rational.json-simplify-1
17842×rational.json-simplify-2
17234×rational.json-simplify-51
Stop Event
2×unsound
24×saturated
24×node limit
Compiler

Compiled 738 to 544 computations (26.3% saved)

series5.6s (0.9%)

Counts
985 → 19737
Calls

5538 calls:

TimeVariablePointExpression
598.0ms
alpha
@-inf
(/.f32 (+.f32 (*.f32 alpha alpha) -1) (*.f32 2 (log.f32 (pow.f32 alpha (PI.f32)))))
180.0ms
v
@0
(*.f32 v (+.f32 (+.f32 (*.f32 -2 (/.f32 (-.f32 1 u) v)) (*.f32 1/2 (/.f32 (+.f32 (*.f32 (-.f32 1 u) 4) (*.f32 -4 (pow.f32 (-.f32 1 u) 2))) (pow.f32 v 2)))) (*.f32 -1/6 (/.f32 (+.f32 (*.f32 (pow.f32 (-.f32 1 u) 2) -24) (+.f32 (*.f32 (-.f32 1 u) 8) (*.f32 (pow.f32 (-.f32 1 u) 3) 16))) (pow.f32 v 3)))))
128.0ms
s
@0
(*.f32 (log.f32 (+.f32 -1 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (PI.f32) (neg.f32 s))))) (/.f32 -1 (-.f32 -1 (exp.f32 (/.f32 (PI.f32) s)))))))) (neg.f32 s))
97.0ms
maxCos
@-inf
(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (+.f32 (*.f32 (-.f32 2 (*.f32 2 maxCos)) ux) (neg.f32 (pow.f32 (*.f32 ux (+.f32 maxCos -1)) 2)))))
94.0ms
alphay
@inf
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (+.f32 1/2 (*.f32 2 u1)))))))

end5.0s (0.8%)

Compiler

Compiled 5693 to 3574 computations (37.2% saved)

soundness4.6s (0.7%)

Algorithm
28×egg-herbie
Rules
29420×rational.json-simplify-35
27734×rational.json-simplify-2
27214×rational.json-simplify-51
20194×rational.json-simplify-1
16356×rational.json-simplify-41
Stop Event
28×node limit
Compiler

Compiled 4820 to 3024 computations (37.3% saved)

bsearch45.0ms (0%)

Algorithm
61×left-value
22×binary-search
Compiler

Compiled 1838 to 1421 computations (22.7% saved)

Profiling

Loading profile data...