Date:Thursday, February 23rd, 2023
Commit:f090ba30 on fix-report-link
Hostname:nightly with Racket 8.6
Seed:2023054
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: 6.5min)

sample1.5min (22.7%)

Results
45.7s296762×body256valid
18.6s15031×body2048valid
11.8s21768×body1024valid
5.3s18980×body256infinite
4.1s12364×body512valid
1.3s202×body8192exit
676.0ms827×body4096valid
439.0ms2944×body256invalid
146.0ms206×body1024infinite
91.0ms238×body512infinite
89.0ms409×body256unsamplable
27.0ms26×body2048infinite
Bogosity

eval1.3min (19.3%)

Compiler

Compiled 3860519 to 2180128 computations (43.5% saved)

simplify57.7s (14.7%)

Algorithm
496×egg-herbie
Rules
276104×associate-*r*
248158×*-commutative
241764×associate-/l*
241566×associate-*l*
236266×distribute-lft-in
Stop Event
2×unsound
13×done
58×saturated
29×fuel
436×node limit
Counts
73332 → 92997
Compiler

Compiled 8789 to 5438 computations (38.1% saved)

prune44.0s (11.2%)

Counts
115924 → 2322
Compiler

Compiled 75209 to 49821 computations (33.8% saved)

rewrite41.4s (10.6%)

Algorithm
412×batch-egg-rewrite
17×egg-rewrite
7×egg-rewrite-iter-limit
Rules
299136×add-sqr-sqrt
292662×*-un-lft-identity
276464×add-cube-cbrt
269596×add-cbrt-cube
158578×add-exp-log
Stop Event
7×iter limit
429×node limit
Counts
951 → 53547

regimes31.3s (8%)

Counts
4885 → 601
Calls

91 calls:

4.9s
c
4.7s
a
3.7s
b
2.0s
d
1.5s
v
Compiler

Compiled 89820 to 50225 computations (44.1% saved)

localize15.6s (4%)

Compiler

Compiled 36513 to 20739 computations (43.2% saved)

analyze10.1s (2.6%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch10.0s (2.6%)

Algorithm
337×binary-search
15×left-value
Results
6.1s37657×body256valid
1.0s2427×body1024valid
577.0ms635×body2048valid
417.0ms686×body1024infinite
405.0ms1711×body512valid
315.0ms2970×body256invalid
276.0ms1322×body256infinite
114.0ms311×body512infinite
3.0ms2×body4096valid
Compiler

Compiled 78689 to 55208 computations (29.8% saved)

soundness6.6s (1.7%)

Algorithm
51×egg-herbie
Rules
33802×fma-def
28738×associate-*r*
27482×*-commutative
27438×+-commutative
24436×associate-*l*
Stop Event
7×saturated
44×node limit
Compiler

Compiled 4986 to 2875 computations (42.3% saved)

end4.2s (1.1%)

Compiler

Compiled 8419 to 4454 computations (47.1% saved)

series3.5s (0.9%)

Counts
951 → 19743
Calls

5427 calls:

TimeVariablePointExpression
97.0ms
x
@inf
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 2 x eps))) 2)
73.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
68.0ms
c
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/4)
65.0ms
x
@inf
(pow.f64 (pow.f64 (exp.f64 x) (*.f64 x 5)) 1/6)
60.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)

preprocess2.4s (0.6%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...