Date:Wednesday, March 9th, 2022
Commit:888bede2 on demo-preconditions
Hostname:warfa with Racket 8.1
Seed:2022068
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: 6.5s)

sample5.4s (82.3%)

Results
2.0s7633×body1024valid
1.6s4658×body2048valid
661.0ms3255×body512valid
576.0ms7809×body128valid
183.0ms1393×body256valid
8.0ms20×body4096valid
0.0ms1×body128invalid
Compiler

Compiled 96 to 66 computations (31.3% saved)

analyze544.0ms (8.3%)

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
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)

simplify393.0ms (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

end90.0ms (1.4%)

Compiler

Compiled 47 to 38 computations (19.1% saved)

prune53.0ms (0.8%)

Counts
99 → 11
Compiler

Compiled 1019 to 704 computations (30.9% saved)

regimes50.0ms (0.8%)

Counts
13 → 3
Compiler

Compiled 416 to 284 computations (31.7% saved)

localize11.0ms (0.2%)

rewrite9.0ms (0.1%)

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))

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...