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: 4.6s)

sample3.4s (74.6%)

Algorithm
6×intervals
Results
821.0ms7566×body1024valid
699.0ms4728×body2048valid
217.0ms3233×body512valid
215.0ms7761×body128valid
63.0ms1461×body256valid
3.0ms19×body4096valid
Compiler

Compiled 139 to 102 computations (26.6% saved)

analyze590.0ms (13%)

Algorithm
3×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
41.6%58.3%0.1%3
45.8%45.8%8.4%4
52.1%39.5%8.4%5
56.2%35.4%8.4%6
61.4%30.2%8.4%7
65.1%26.5%8.4%8
69.2%22.4%8.4%9
74.6%17%8.4%10
77%14.6%8.4%11
79.6%12%8.4%12
82.6%9%8.4%13
84.8%6.8%8.4%14
Compiler

Compiled 33 to 23 computations (30.3% saved)

simplify392.0ms (8.6%)

Algorithm
8×egg-herbie
Rules
4309×fma-neg_binary64
1655×fma-def_binary64
1640×unsub-neg_binary64
1566×distribute-rgt-in_binary64
1313×distribute-lft-in_binary64
Counts
65 → 88

regimes90.0ms (2%)

Counts
12 → 3
Compiler

Compiled 392 to 268 computations (31.6% saved)

prune47.0ms (1%)

Counts
97 → 10
Compiler

Compiled 992 to 686 computations (30.8% saved)

end15.0ms (0.3%)

Compiler

Compiled 21 to 18 computations (14.3% saved)

rewrite9.0ms (0.2%)

Algorithm
2×rewrite-expression-head
Rules
8×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64
8×fma-def_binary64
6×add-cube-cbrt_binary64
4×add-exp-log_binary64
Counts
2 → 47
Calls

2 calls:

4.0ms
(*.f64 x (+.f64 x 2))
3.0ms
(+.f64 (pow.f64 x 2) (*.f64 2 x))

localize7.0ms (0.1%)

series5.0ms (0.1%)

Counts
2 → 15
Calls

2 calls:

3.0ms
(+.f64 (pow.f64 x 2) (*.f64 2 x))
2.0ms
(*.f64 x (+.f64 x 2))

Profiling

Loading profile data...