Date:Monday, November 14th, 2022
Commit:dc26436d on less-catastrophic-out-of-disk
Hostname:warfa with Racket 8.6
Seed:2022318
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.0min)

sample2.4min (39.1%)

Results
54.2s36639×body2048valid
45.3s66553×body1024valid
17.9s90929×body256valid
14.1s34838×body512valid
2.3s2207×body4096valid
2.1s1494×body1024invalid
1.4s2980×body256infinite
1.4s5777×body256invalid
668.0ms723×body512invalid
490.0ms1094×body256unsamplable
442.0ms464×body1024unsamplable
343.0ms222×body1024infinite
278.0ms286×body2048unsamplable
175.0ms236×body512infinite
84.0ms231×body512unsamplable
57.0ms6×body2048invalid
7.0ms2×body8192valid
1.0ms1×body2048infinite
Bogosity

simplify38.2s (10.5%)

Algorithm
386×egg-herbie
Rules
138322×fma-def_binary64
87650×unswap-sqr_binary64
84251×associate-*l*_binary64
75869×sqr-pow_binary64
71858×fma-neg_binary64
Stop Event
5×done
113×saturated
23×fuel
273×node limit
Counts
48106 → 43605
Compiler

Compiled 4060 to 2774 computations (31.7% saved)

rewrite36.8s (10.2%)

Algorithm
330×batch-egg-rewrite
7×egg-rewrite-iter-limit
10×egg-rewrite
Rules
130389×pow1_binary64
122472×add-log-exp_binary64
122432×expm1-log1p-u_binary64
122400×log1p-expm1-u_binary64
106275×add-exp-log_binary64
Stop Event
7×unsound
7×iter limit
333×node limit
Counts
772 → 36745

eval36.3s (10%)

Compiler

Compiled 1210115 to 690862 computations (42.9% saved)

regimes36.1s (10%)

Counts
5089 → 357
Calls

43 calls:

7.1s
a
7.1s
x
4.1s
c
3.9s
eps
2.0s
(/.f64 1 n)
Compiler

Compiled 53557 to 31195 computations (41.8% saved)

bsearch20.9s (5.8%)

Algorithm
166×binary-search
14×left-value
Compiler

Compiled 15050 to 10983 computations (27% saved)

prune17.0s (4.7%)

Counts
54605 → 2338
Compiler

Compiled 50031 to 36338 computations (27.4% saved)

localize9.6s (2.6%)

Compiler

Compiled 13872 to 7416 computations (46.5% saved)

series7.3s (2%)

Counts
772 → 11333
Calls

3594 calls:

TimeVariablePointExpression
180.0ms
eps
@-inf
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (tan.f64 (+.f64 x eps)))) (exp.f64 (tan.f64 x))))
150.0ms
c
@-inf
(pow.f64 (*.f64 (*.f64 c -4) a) 1/4)
147.0ms
a
@-inf
(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (*.f64 (*.f64 c -4) a) 1/4) 2)) (*.f64 2 a))
117.0ms
a
@0
(pow.f64 (*.f64 c (*.f64 -4 a)) 1/6)
99.0ms
b
@-inf
(log.f64 (neg.f64 (/.f64 (/.f64 c b) 1)))

analyze6.7s (1.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
11.8%10.7%80.2%9.1%0%0%0%1
16%14.2%74.9%9.1%0%1.8%0%2
34.9%29.6%55.3%9.1%1.6%4.5%0%3
43.8%35.9%45.9%9.1%2.9%5.4%0.9%4
51.1%40.9%39.1%9.1%3.5%6%1.3%5
54.8%43.3%35.7%9.1%4%6.4%1.6%6
57.8%44.9%32.7%9.1%4.2%7.2%1.9%7
60.1%46.4%30.8%9.1%4.4%7.4%2%8
62.1%47.4%28.9%9.1%4.7%7.8%2.1%9
64%48.4%27.2%9.1%4.9%8.4%2.2%10
66%49.5%25.5%9.1%5.1%8.6%2.3%11
67.9%50.6%23.8%9.1%5.3%8.9%2.3%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

soundness5.5s (1.5%)

Algorithm
43×egg-herbie
Rules
19817×fma-def_binary64
17311×times-frac_binary64
12946×fma-neg_binary64
12481×associate-/l*_binary64
11394×associate-*l*_binary64
Stop Event
10×saturated
33×node limit
Compiler

Compiled 5610 to 4083 computations (27.2% saved)

end3.7s (1%)

Compiler

Compiled 3984 to 2367 computations (40.6% saved)

preprocess2.4s (0.7%)

Algorithm
56×egg-herbie
Rules
8011×fma-def_binary64
7975×fma-neg_binary64
4152×div-sub_binary64
4046×distribute-rgt-in_binary64
3668×associate-/l*_binary64
Stop Event
2×unsound
43×saturated
11×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

Profiling

Loading profile data...