Date:Saturday, November 6th, 2021
Commit:73345388 on master
Hostname:warfa with Racket 8.1
Seed:2021310
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce: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: 3.3min)

sample1.5min (46.4%)

Algorithm
56×intervals
Results
30.6s36719×body2048valid
24.6s66506×body1024valid
7.1s34817×body512valid
5.0s73890×body128valid
2.3s17042×body256valid
1.5s1533×body1024nan
1.1s2194×body4096valid
748.0ms42918×pre128true
684.0ms2977×body128overflowed
543.0ms754×body512nan
425.0ms3935×body128nan
260.0ms340×body2048overflowed
220.0ms577×body1024overflowed
194.0ms198×body1024invalid
144.0ms243×body512invalid
131.0ms1738×body128invalid
113.0ms383×body256nan
79.0ms288×body512overflowed
51.0ms161×body256invalid
23.0ms142×body256overflowed
10.0ms8×body2048nan
2.0ms2×body2048invalid
Compiler

Compiled 9173 to 6464 computations (29.5% saved)

regimes24.4s (12.4%)

Counts
3599 → 50
Compiler

Compiled 254619 to 179133 computations (29.6% saved)

series22.6s (11.4%)

Counts
239 → 3342
Calls

229 calls:

1.1s
(/.f64 1 (*.f64 n (/.f64 1 (-.f64 (log1p.f64 x) (log.f64 x)))))
1.1s
(log1p.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))
932.0ms
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2)))
718.0ms
(-.f64 (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2) b_2)
688.0ms
(/.f64 a (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))

prune21.7s (11%)

Counts
20481 → 730
Compiler

Compiled 709461 to 432395 computations (39.1% saved)

simplify17.9s (9.1%)

Algorithm
147×egg-herbie
Rules
50693×fma-def_binary64
47517×fma-neg_binary64
21894×times-frac_binary64
19782×cancel-sign-sub-inv_binary64
19406×associate-*l*_binary64
Counts
15105 → 16453

analyze14.5s (7.3%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14
Compiler

Compiled 375 to 278 computations (25.9% saved)

rewrite3.0s (1.5%)

Algorithm
91×rewrite-expression-head
Rules
8850×times-frac_binary64
8036×*-un-lft-identity_binary64
7536×add-sqr-sqrt_binary64
5778×add-cube-cbrt_binary64
3152×prod-diff_binary64
Counts
239 → 11735
Calls

229 calls:

63.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (-.f64 (/.f64 2 x) (/.f64 1 (-.f64 x 1))))
57.0ms
(pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) -2)
47.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
40.0ms
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
30.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))

localize955.0ms (0.5%)

bsearch699.0ms (0.4%)

Compiler

Compiled 72 to 52 computations (27.8% saved)

end37.0ms (0%)

Compiler

Compiled 1061 to 677 computations (36.2% saved)

Profiling

Loading profile data...