Date:Tuesday, March 29th, 2022
Commit:b318ac8c on inf-ordinary
Hostname:warfa with Racket 8.1
Seed:2022088
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: 4.1s)

sample3.4s (83.3%)

Infinites
8.7% of outputs are infinite.
Results
1.1s4649×body2048valid
1.1s6937×body1024valid
386.0ms9124×body128valid
326.0ms2847×body512valid
89.0ms1199×body256valid
3.0ms12×body4096valid
Compiler

Compiled 96 to 66 computations (31.3% saved)

simplify388.0ms (9.5%)

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

end166.0ms (4.1%)

Compiler

Compiled 54 to 44 computations (18.5% saved)

prune54.0ms (1.3%)

Counts
97 → 10
Compiler

Compiled 992 to 686 computations (30.8% saved)

regimes50.0ms (1.2%)

Counts
12 → 3
Compiler

Compiled 392 to 268 computations (31.6% saved)

rewrite9.0ms (0.2%)

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

localize7.0ms (0.2%)

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

analyze4.0ms (0.1%)

Algorithm
3×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 33 to 23 computations (30.3% saved)

Profiling

Loading profile data...