Date:Tuesday, May 10th, 2022
Commit:5f660a21 on egg-rr
Hostname:warfa with Racket 8.1
Seed:2022130
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:egg-rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 6.5s)

sample5.4s (81.8%)

Results
2.0s7423×body1024valid
1.6s4752×body2048valid
606.0ms7887×body128valid
596.0ms3306×body512valid
180.0ms1390×body256valid
4.0ms10×body4096valid
Compiler

Compiled 96 to 66 computations (31.3% saved)

analyze520.0ms (7.9%)

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)

simplify372.0ms (5.7%)

Algorithm
egg-herbie
Rules
3892×fma-neg_binary64
1829×fma-def_binary64
1519×unsub-neg_binary64
1158×distribute-rgt-in_binary64
1108×sqr-pow_binary64
Counts
63 → 59

rewrite99.0ms (1.5%)

Algorithm
batch-egg-rewrite
Rules
556×log1p-expm1-u_binary64
556×expm1-log1p-u_binary64
246×log-prod_binary64
144×pow2_binary64
121×fma-def_binary64
Counts
1 → 48
Calls

1 calls:

98.0ms
(*.f64 x (+.f64 x 2))

end87.0ms (1.3%)

Compiler

Compiled 47 to 38 computations (19.1% saved)

regimes64.0ms (1%)

Counts
18 → 3
Compiler

Compiled 608 to 436 computations (28.3% saved)

prune37.0ms (0.6%)

Counts
67 → 8
Compiler

Compiled 636 to 407 computations (36% saved)

localize7.0ms (0.1%)

series3.0ms (0%)

Counts
1 → 12
Calls

1 calls:

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

Profiling

Loading profile data...