Date:Tuesday, May 10th, 2022
Commit:4d60b872 on egg-rr-no-simplify
Hostname:warfa with Racket 8.1
Seed:2022130
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:egg-rrgenerate:taylor
default

Details

Time bar (total: 6.5s)

sample5.4s (82.3%)

Results
2.0s7423×body1024valid
1.7s4752×body2048valid
586.0ms3306×body512valid
565.0ms7887×body128valid
182.0ms1390×body256valid
4.0ms10×body4096valid
Compiler

Compiled 156 to 106 computations (32.1% saved)

analyze602.0ms (9.2%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
33.3%66.6%0.1%3
41.6%49.9%8.4%4
50%41.6%8.4%5
54.1%37.4%8.4%6
60.4%31.2%8.4%7
64%27.6%8.4%8
67.4%24.2%8.4%9
72.2%19.4%8.4%10
74.6%17%8.4%11
77.4%14.2%8.4%12
80.6%11%8.4%13
82.2%9.4%8.4%14
Compiler

Compiled 33 to 23 computations (30.3% saved)

rewrite181.0ms (2.8%)

Algorithm
batch-egg-rewrite
Rules
1867×prod-diff_binary64
1833×expm1-log1p-u_binary64
1833×log1p-expm1-u_binary64
475×fma-udef_binary64
283×fma-def_binary64
Counts
4 → 106
Calls

4 calls:

91.0ms
(-.f64 (+.f64 1 x) x)
48.0ms
(*.f64 (+.f64 x 1) (+.f64 x 1))
48.0ms
(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)
39.0ms
(+.f64 (pow.f64 x 2) (*.f64 2 x))

end176.0ms (2.7%)

Compiler

Compiled 108 to 68 computations (37% saved)

regimes93.0ms (1.4%)

Counts
33 → 2
Compiler

Compiled 1110 to 856 computations (22.9% saved)

prune74.0ms (1.1%)

Counts
151 → 7
Compiler

Compiled 1586 to 1154 computations (27.2% saved)

localize16.0ms (0.2%)

series8.0ms (0.1%)

Counts
4 → 39
Calls

4 calls:

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

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Rules
10×+-commutative_binary64
sub-neg_binary64
*-commutative_binary64
neg-mul-1_binary64
neg-sub0_binary64

Profiling

Loading profile data...