Date:Monday, November 21st, 2022
Commit:70f58e2d on papers-page
Hostname:nightly with Racket 8.6
Seed:2022325
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.5min)

sample1.1min (20.5%)

Results
1.1min206400×body256valid
2.6s8578×body256invalid
965.0ms2007×body256precondition
Bogosity

eval1.1min (19.4%)

Compiler

Compiled 2991163 to 1911747 computations (36.1% saved)

simplify40.4s (12.2%)

Algorithm
459×egg-herbie
Rules
158978×fma-def_binary32
106857×log-prod_binary32
97855×unswap-sqr_binary32
94893×fma-neg_binary32
93398×associate-*r*_binary32
Stop Event
9×unsound
35×saturated
25×fuel
415×node limit
Counts
62447 → 74281
Compiler

Compiled 4950 to 3626 computations (26.7% saved)

regimes38.9s (11.8%)

Counts
7492 → 279
Calls

124 calls:

1.3s
(*.f32 x (PI.f32))
1.1s
(*.f32 (*.f32 uy 2) (PI.f32))
1.1s
cosTheta_i
1.1s
u1
1.0s
(*.f32 uy 2)
Compiler

Compiled 133083 to 82041 computations (38.4% saved)

localize36.3s (11%)

Compiler

Compiled 37238 to 21247 computations (42.9% saved)

prune31.3s (9.5%)

Counts
93441 → 3746
Compiler

Compiled 130918 to 98846 computations (24.5% saved)

rewrite28.9s (8.7%)

Algorithm
409×batch-egg-rewrite
Rules
140679×log-prod_binary32
125420×pow1_binary32
118493×expm1-log1p-u_binary32
117823×add-log-exp_binary32
117633×log1p-expm1-u_binary32
Stop Event
409×node limit
Counts
1138 → 40482

series8.5s (2.6%)

Counts
1138 → 21940
Calls

6045 calls:

TimeVariablePointExpression
484.0ms
sinTheta_O
@-inf
(/.f32 h (sqrt.f32 (*.f32 (+.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4))) (-.f32 eta (/.f32 sinTheta_O (pow.f32 (-.f32 1 (*.f32 sinTheta_O sinTheta_O)) 1/4))))))
88.0ms
s
@0
(*.f32 s (neg.f32 (-.f32 (log1p.f32 (neg.f32 (*.f32 (pow.f32 (+.f32 u -1/4) 2) 16/9))) (log1p.f32 (*.f32 (+.f32 u -1/4) 4/3)))))
76.0ms
s
@inf
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 1)) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (pow.f32 (cbrt.f32 (/.f32 (PI.f32) s)) 3)))))) -1)))
75.0ms
u2
@inf
(*.f32 (sqrt.f32 (neg.f32 (*.f32 2 (log.f32 (sqrt.f32 (-.f32 1 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))
70.0ms
s
@0
(*.f32 (neg.f32 s) (log.f32 (+.f32 (/.f32 1 (+.f32 (/.f32 u (+.f32 1 (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 (-.f32 1 u) (+.f32 1 (exp.f32 (/.f32 (PI.f32) s)))))) -1)))

analyze7.1s (2.2%)

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)

soundness3.2s (1%)

Algorithm
28×egg-herbie
Rules
13533×fma-def_binary32
7764×fma-neg_binary32
6215×times-frac_binary32
5142×associate-*r*_binary32
5072×associate-*l*_binary32
Stop Event
6×saturated
22×node limit
Compiler

Compiled 13467 to 9514 computations (29.4% saved)

end2.2s (0.7%)

Compiler

Compiled 4517 to 2751 computations (39.1% saved)

preprocess2.1s (0.6%)

Algorithm
50×egg-herbie
Rules
14975×fma-neg_binary32
10802×fma-def_binary32
5235×associate-/l*_binary32
4990×distribute-rgt-in_binary32
4208×unsub-neg_binary32
Stop Event
2×unsound
29×saturated
19×node limit
Compiler

Compiled 738 to 544 computations (26.3% saved)

bsearch19.0ms (0%)

Algorithm
42×binary-search
19×left-value
Compiler

Compiled 1164 to 828 computations (28.9% saved)

Profiling

Loading profile data...