Date:Friday, December 9th, 2022
Commit:758c3f52 on main
Hostname:nightly with Racket 8.6
Seed:2022343
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)

sample46.1s (28.9%)

Results
14.2s113264×body256valid
13.8s27774×body1024valid
7.9s3217×body8192exit
3.9s14158×body512valid
2.5s4951×body1024invalid
1.2s1668×body2048valid
984.0ms3343×body256infinite
631.0ms2394×body512invalid
305.0ms2768×body256invalid
169.0ms233×body1024infinite
94.0ms244×body512infinite
26.0ms140×body256unsamplable
7.0ms5×body4096invalid
3.0ms1×body8192invalid
2.0ms4×body2048invalid
Bogosity

simplify21.4s (13.4%)

Algorithm
213×egg-herbie
Rules
115100×associate-*r*
103390×*-commutative
100992×associate-/l*
99592×distribute-lft-in
96008×associate-*l*
Stop Event
5×done
2×unsound
32×saturated
14×fuel
179×node limit
Counts
31662 → 36782
Compiler

Compiled 2079 to 1349 computations (35.1% saved)

eval20.2s (12.7%)

Compiler

Compiled 1322423 to 592424 computations (55.2% saved)

prune16.7s (10.5%)

Counts
47692 → 1797
Compiler

Compiled 49715 to 33298 computations (33% saved)

rewrite16.1s (10.1%)

Algorithm
175×batch-egg-rewrite
Rules
127302×add-sqr-sqrt
125272×*-un-lft-identity
117184×add-cube-cbrt
116142×add-cbrt-cube
76856×associate-*l/
Stop Event
175×node limit
Counts
426 → 23092

regimes14.6s (9.1%)

Counts
4347 → 179
Calls

53 calls:

2.0s
a
2.0s
b
1.6s
r
1.4s
x
795.0ms
c
Compiler

Compiled 54890 to 23040 computations (58% saved)

analyze10.9s (6.8%)

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)

localize4.0s (2.5%)

Compiler

Compiled 9058 to 3738 computations (58.7% saved)

series2.7s (1.7%)

Counts
426 → 8551
Calls

2355 calls:

TimeVariablePointExpression
271.0ms
x
@inf
(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
103.0ms
x
@0
(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))
45.0ms
a
@inf
(log.f64 (+.f64 1 (expm1.f64 (-.f64 (/.f64 (cos.f64 a) b) (sin.f64 a)))))
44.0ms
a
@inf
(log1p.f64 (/.f64 (cos.f64 a) (sin.f64 b)))
43.0ms
b
@0
(/.f64 1 (sin.f64 b))

soundness2.3s (1.4%)

Algorithm
21×egg-herbie
Rules
11764×associate-*r*
11064×fma-def
10400×*-commutative
9192×distribute-lft-in
9190×associate-/r*
Stop Event
2×saturated
19×node limit
Compiler

Compiled 2508 to 1119 computations (55.4% saved)

bsearch2.0s (1.2%)

Algorithm
64×binary-search
7×left-value
Results
883.0ms5668×body256valid
504.0ms992×body1024valid
144.0ms406×body512valid
123.0ms1138×body256invalid
84.0ms532×body256infinite
36.0ms46×body2048valid
23.0ms46×body1024infinite
10.0ms26×body512infinite
Compiler

Compiled 10585 to 7619 computations (28% saved)

preprocess1.3s (0.8%)

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)

end1.1s (0.7%)

Compiler

Compiled 2032 to 982 computations (51.7% saved)

Profiling

Loading profile data...