Date:Tuesday, August 16th, 2022
Commit:f262be85 on no-retirement
Hostname:warfa with Racket 8.5
Seed:2022228
Parameters:256 points for 4 iterations
Flags:
reduce: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: 5.3s)

sample4.3s (80.3%)

Results
1.6s4686×body2048valid
1.5s7511×body1024valid
688.0ms9336×body256valid
421.0ms3216×body512valid
6.0ms19×body4096valid

simplify406.0ms (7.6%)

Algorithm
8×egg-herbie
Rules
3892×fma-neg_binary64
2300×fma-def_binary64
2208×sqr-pow_binary64
1517×unsub-neg_binary64
1182×distribute-rgt-in_binary64
Stop Event
4×saturated
4×node limit
Counts
87 → 76

analyze236.0ms (4.4%)

Algorithm
3×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
63.5%28.1%8.4%8
67.1%24.4%8.4%9
72.1%19.5%8.4%10
74.6%17%8.4%11
77.4%14.2%8.4%12
Compiler

Compiled 33 to 23 computations (30.3% saved)

preprocess186.0ms (3.5%)

Algorithm
6×egg-herbie
Rules
4414×fma-neg_binary64
1449×fma-def_binary64
1206×sub-neg_binary64
1183×distribute-neg-in_binary64
882×unsub-neg_binary64
Stop Event
1×unsound
3×saturated
2×node limit
Compiler

Compiled 35 to 25 computations (28.6% saved)

rewrite74.0ms (1.4%)

Algorithm
2×batch-egg-rewrite
Rules
1270×pow1_binary64
1191×add-log-exp_binary64
1189×expm1-log1p-u_binary64
1189×log1p-expm1-u_binary64
1168×add-exp-log_binary64
Stop Event
2×node limit
Counts
2 → 60

end45.0ms (0.9%)

Stop Event
1×done
2×fuel
Compiler

Compiled 74 to 52 computations (29.7% saved)

bsearch29.0ms (0.5%)

Algorithm
2×binary-search
Compiler

Compiled 14 to 11 computations (21.4% saved)

eval19.0ms (0.4%)

Compiler

Compiled 802 to 532 computations (33.7% saved)

prune18.0ms (0.3%)

Counts
92 → 19
Compiler

Compiled 86 to 68 computations (20.9% saved)

localize14.0ms (0.3%)

Compiler

Compiled 38 to 21 computations (44.7% saved)

regimes14.0ms (0.3%)

Counts
6 → 4
Calls

1 calls:

12.0ms
x
Compiler

Compiled 30 to 16 computations (46.7% saved)

series3.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
(*.f64 x (+.f64 x 2))
1.0ms
x
@inf
(*.f64 x (+.f64 x 2))
1.0ms
x
@0
(+.f64 (*.f64 x 2) (*.f64 x x))
1.0ms
x
@0
(*.f64 x (+.f64 x 2))
0.0ms
x
@-inf
(+.f64 (*.f64 x 2) (*.f64 x x))

Profiling

Loading profile data...