Date:Tuesday, December 20th, 2022
Commit:d611f941 on main
Hostname:nightly with Racket 8.6
Seed:2022354
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.7min)

sample49.0s (30.5%)

Results
16.5s112925×body256valid
13.7s28144×body1024valid
8.2s3265×body8192exit
4.2s14096×body512valid
2.4s4918×body1024invalid
1.2s1699×body2048valid
1.1s3338×body256infinite
762.0ms2370×body512invalid
332.0ms2839×body256invalid
172.0ms260×body1024infinite
88.0ms238×body512infinite
30.0ms147×body256unsamplable
5.0ms2×body8192invalid
5.0ms3×body4096invalid
2.0ms3×body2048invalid
Bogosity

simplify22.1s (13.8%)

Algorithm
219×egg-herbie
Rules
118486×associate-*r*
105952×associate-/l*
104084×distribute-lft-in
102962×*-commutative
100652×associate-*l*
Stop Event
4×unsound
4×done
32×saturated
15×fuel
183×node limit
Counts
30326 → 34483
Compiler

Compiled 1474 to 927 computations (37.1% saved)

eval20.1s (12.5%)

Compiler

Compiled 1127248 to 538698 computations (52.2% saved)

rewrite17.0s (10.6%)

Algorithm
181×batch-egg-rewrite
Rules
139016×add-sqr-sqrt
136758×*-un-lft-identity
128090×add-cube-cbrt
125314×add-cbrt-cube
76292×add-exp-log
Stop Event
181×node limit
Counts
434 → 21888

prune16.1s (10%)

Counts
43020 → 1704
Compiler

Compiled 46581 to 31252 computations (32.9% saved)

analyze11.6s (7.2%)

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)

regimes11.6s (7.2%)

Counts
3363 → 127
Calls

51 calls:

1.5s
x
1.4s
a
1.2s
b
1.0s
r
516.0ms
s
Compiler

Compiled 42987 to 19033 computations (55.7% saved)

localize4.1s (2.5%)

Compiler

Compiled 8218 to 3672 computations (55.3% saved)

soundness3.0s (1.8%)

Algorithm
25×egg-herbie
Rules
14902×associate-/r*
14418×*-commutative
14266×associate-*r*
12974×fma-def
12526×sqr-pow
Stop Event
2×saturated
23×node limit
Compiler

Compiled 2041 to 1091 computations (46.5% saved)

series2.9s (1.8%)

Counts
434 → 8419
Calls

2313 calls:

TimeVariablePointExpression
253.0ms
b
@inf
(/.f64 r (/.f64 (-.f64 (*.f64 (+.f64 (*.f64 -1/2 (*.f64 a a)) 1) (cos.f64 b)) (*.f64 a (sin.f64 b))) (sin.f64 b)))
251.0ms
w
@inf
(pow.f64 l (exp.f64 w))
216.0ms
x
@-inf
(+.f64 (*.f64 (/.f64 (-.f64 x lo) hi) (/.f64 lo hi)) (/.f64 (-.f64 x lo) hi))
184.0ms
y
@0
(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) 3)
108.0ms
b
@inf
(-.f64 (exp.f64 (log1p.f64 (sin.f64 b))) 1)

preprocess1.4s (0.9%)

Algorithm
38×egg-herbie
Rules
8532×fma-def
7066×sqr-pow
5672×associate-/l/
5048×unswap-sqr
4482×*-commutative
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

bsearch1.1s (0.7%)

Algorithm
34×binary-search
7×left-value
Results
605.0ms3403×body256valid
135.0ms561×body256infinite
127.0ms248×body1024valid
120.0ms1208×body256invalid
53.0ms157×body512valid
2.0ms6×body512infinite
Compiler

Compiled 5768 to 3934 computations (31.8% saved)

end921.0ms (0.6%)

Compiler

Compiled 1459 to 710 computations (51.3% saved)

Profiling

Loading profile data...