Date:Saturday, May 27th, 2023
Commit:e9438722 on main
Hostname:nightly with Racket 8.6
Seed:2023147
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.3min)

sample1.5min (24.5%)

Results
47.0s297014×body256valid
19.5s14751×body2048valid
12.2s21768×body1024valid
5.8s19136×body256infinite
4.0s12370×body512valid
1.9s202×body8192exit
898.0ms849×body4096valid
568.0ms2962×body256invalid
175.0ms200×body1024infinite
88.0ms227×body512infinite
84.0ms430×body256unsamplable
18.0ms17×body2048infinite
Bogosity

eval57.6s (15.2%)

Compiler

Compiled 2528875 to 1531241 computations (39.4% saved)

simplify49.3s (13%)

Algorithm
458×egg-herbie
Rules
327550×fma-def
201672×log-prod
200058×fma-neg
190634×times-frac
181770×unswap-sqr
Stop Event
1×unsound
13×done
58×saturated
29×fuel
399×node limit
Counts
56991 → 65607
Compiler

Compiled 7636 to 4758 computations (37.7% saved)

soundness37.2s (9.8%)

Rules
196768×fma-def
147482×log-prod
111074×fma-neg
95656×times-frac
91380×associate-*r*
Stop Event
8×saturated
268×node limit
Compiler

Compiled 26994 to 16356 computations (39.4% saved)

rewrite35.1s (9.3%)

Algorithm
374×batch-egg-rewrite
Rules
295772×log-prod
252088×pow1
236550×add-exp-log
236488×log1p-expm1-u
236474×expm1-log1p-u
Stop Event
374×node limit
Counts
844 → 39709

regimes33.6s (8.9%)

Counts
4335 → 539
Calls

93 calls:

6.3s
a
5.8s
c
4.7s
b
1.8s
d
1.4s
x
Compiler

Compiled 69080 to 39689 computations (42.5% saved)

prune23.9s (6.3%)

Counts
82092 → 2327
Compiler

Compiled 68491 to 46741 computations (31.8% saved)

localize15.7s (4.1%)

Compiler

Compiled 31193 to 17927 computations (42.5% saved)

analyze11.8s (3.1%)

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)

bsearch9.9s (2.6%)

Algorithm
294×binary-search
16×left-value
Stop Event
283×narrow-enough
11×predicate-same
Results
6.5s32280×body256valid
1.1s2082×body1024valid
844.0ms772×body2048valid
316.0ms960×body512valid
306.0ms1520×body256infinite
201.0ms1635×body256invalid
3.0ms2×body4096valid
Compiler

Compiled 66521 to 46199 computations (30.5% saved)

end4.9s (1.3%)

Compiler

Compiled 7335 to 3894 computations (46.9% saved)

series3.8s (1%)

Counts
844 → 17240
Calls

4800 calls:

TimeVariablePointExpression
79.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
70.0ms
b
@0
(*.f64 b (/.f64 -1/2 a))
59.0ms
x2
@0
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (pow.f64 (cbrt.f64 (*.f64 (*.f64 x1 x1) (fma.f64 4 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) -6))) 3))
55.0ms
v
@0
(*.f64 r (*.f64 (*.f64 (fma.f64 v -1/4 3/8) w) w))
54.0ms
x
@inf
(cbrt.f64 (pow.f64 (sqrt.f64 (pow.f64 (exp.f64 60) x)) x))

preprocess3.3s (0.9%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...