Date:Tuesday, October 18th, 2022
Commit:e00a7c50 on main
Hostname:warfa with Racket 8.5
Seed:2022291
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: 7.0s)

sample4.8s (68.7%)

Results
1.9s7613×body1024valid
1.6s4705×body2048valid
732.0ms9073×body256valid
506.0ms3362×body512valid
5.0ms15×body4096valid
0.0ms2×body256invalid

simplify765.0ms (10.9%)

Algorithm
9×egg-herbie
Rules
3892×fma-neg_binary64
3246×sqr-pow_binary64
2939×fma-def_binary64
1680×cube-prod_binary64
1662×fabs-mul_binary64
Stop Event
1×done
4×saturated
2×fuel
5×node limit
Counts
173 → 148
Compiler

Compiled 42 to 27 computations (35.7% saved)

soundness471.0ms (6.7%)

Algorithm
3×egg-herbie
Rules
3892×fma-neg_binary64
1524×unsub-neg_binary64
1342×fma-def_binary64
1131×distribute-rgt-in_binary64
938×distribute-neg-in_binary64
Stop Event
1×saturated
2×node limit
Compiler

Compiled 130 to 96 computations (26.2% saved)

analyze318.0ms (4.5%)

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)

preprocess273.0ms (3.9%)

Algorithm
6×egg-herbie
Rules
4414×fma-neg_binary64
1453×fma-def_binary64
1196×sub-neg_binary64
1192×distribute-neg-in_binary64
884×unsub-neg_binary64
Stop Event
1×unsound
3×saturated
2×node limit
Compiler

Compiled 35 to 25 computations (28.6% saved)

rewrite143.0ms (2%)

Algorithm
3×batch-egg-rewrite
Rules
1992×pow1_binary64
1872×add-log-exp_binary64
1868×expm1-log1p-u_binary64
1868×log1p-expm1-u_binary64
1834×add-exp-log_binary64
Stop Event
3×node limit
Counts
4 → 122

end58.0ms (0.8%)

Compiler

Compiled 47 to 30 computations (36.2% saved)

regimes48.0ms (0.7%)

Counts
14 → 7
Calls

8 calls:

25.0ms
x
3.0ms
(-.f64 (+.f64 1 x) x)
3.0ms
(+.f64 x 1)
2.0ms
z
2.0ms
y
Compiler

Compiled 131 to 84 computations (35.9% saved)

eval38.0ms (0.5%)

Compiler

Compiled 1652 to 1155 computations (30.1% saved)

prune32.0ms (0.5%)

Counts
165 → 20
Compiler

Compiled 90 to 70 computations (22.2% saved)

bsearch28.0ms (0.4%)

Algorithm
2×binary-search
Compiler

Compiled 14 to 11 computations (21.4% saved)

localize27.0ms (0.4%)

Compiler

Compiled 60 to 37 computations (38.3% saved)

series5.0ms (0.1%)

Counts
4 → 48
Calls

12 calls:

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

Profiling

Loading profile data...