Date:Tuesday, November 9th, 2021
Commit:73345388 on master
Hostname:warfa with Racket 8.1
Seed:2021313
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: 30.1s)

sample9.9s (33%)

Algorithm
18×intervals
Results
4.5s70243×body128valid
969.0ms4061×body2048valid
148.0ms1372×body128nan
146.0ms2021×body128invalid
Compiler

Compiled 2362 to 1570 computations (33.5% saved)

prune8.2s (27.4%)

Counts
4942 → 164
Compiler

Compiled 223519 to 124305 computations (44.4% saved)

simplify3.7s (12.4%)

Algorithm
38×egg-herbie
Rules
12815×fma-def_binary64
11953×fma-neg_binary64
7050×times-frac_binary64
5968×cancel-sign-sub-inv_binary64
4654×associate-/l*_binary64
Counts
3081 → 3169

regimes3.4s (11.3%)

Counts
353 → 15
Compiler

Compiled 44979 to 30031 computations (33.2% saved)

analyze2.2s (7.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14
Compiler

Compiled 161 to 110 computations (31.7% saved)

series1.6s (5.4%)

Counts
42 → 923
Calls

42 calls:

274.0ms
(/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))
82.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
75.0ms
(/.f64 1 (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))
74.0ms
(/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (/.f64 a (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))))
73.0ms
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)

rewrite529.0ms (1.8%)

Algorithm
20×rewrite-expression-head
Rules
1334×*-un-lft-identity_binary64
1295×times-frac_binary64
1089×add-sqr-sqrt_binary64
905×add-cube-cbrt_binary64
401×prod-diff_binary64
Counts
42 → 2149
Calls

42 calls:

23.0ms
(-.f64 (+.f64 (/.f64 x y) (*.f64 4 (/.f64 1 y))) (/.f64 z (/.f64 y x)))
13.0ms
(/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (/.f64 a (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))))
12.0ms
(-.f64 b (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 -4 (*.f64 c a))))) 3))
10.0ms
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 f n)))
10.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

localize288.0ms (1%)

Compiler

Compiled 12240 to 10200 computations (16.7% saved)

bsearch81.0ms (0.3%)

Compiler

Compiled 60 to 39 computations (35% saved)

end14.0ms (0%)

Compiler

Compiled 463 to 288 computations (37.8% saved)

Profiling

Loading profile data...