Date:Friday, July 29th, 2022
Commit:f364f272 on change-defaults
Hostname:warfa with Racket 8.5
Seed:2022210
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: 59.7s)

prune41.1s (69%)

Counts
5738 → 167
Compiler

Compiled 227965 to 126483 computations (44.5% saved)

sample12.6s (21.1%)

Results
9.0s70034×body64valid
2.5s4225×body2048valid
887.0ms4924×body64invalid
19.0ms45×body128valid

simplify1.4s (2.4%)

Algorithm
36×egg-herbie
Rules
12164×fma-def_binary64
9966×fma-neg_binary64
8334×times-frac_binary64
6736×associate-/l*_binary64
5607×associate-/r*_binary64
Stop Event
20×saturated
16×node limit
Counts
3908 → 3465

rewrite1.4s (2.3%)

Algorithm
18×batch-egg-rewrite
Rules
9730×log-prod_binary64
6133×fma-def_binary64
4330×pow1_binary64
4119×add-log-exp_binary64
4118×expm1-log1p-u_binary64
Stop Event
18×node limit
Counts
45 → 2861

analyze1.3s (2.1%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%94.4%5.6%2
5.6%83.2%11.2%3
15.3%68%16.8%4
21.5%59%19.5%5
26.7%52.4%20.9%6
35.7%41.3%23%7
39.9%36.8%23.3%8
45.1%30.8%24.1%9
50.1%24.6%25.4%10
53.5%20.7%25.8%11
56.1%17.2%26.8%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

regimes503.0ms (0.8%)

Counts
66 → 17
Compiler

Compiled 2112 to 1192 computations (43.6% saved)

preprocess440.0ms (0.7%)

Algorithm
18×egg-herbie
Rules
2992×fma-neg_binary64
2715×fma-def_binary64
2331×div-sub_binary64
2063×associate-/l*_binary64
1892×times-frac_binary64
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 152 to 101 computations (33.6% saved)

end369.0ms (0.6%)

Stop Event
6×done
3×fuel
Compiler

Compiled 1580 to 952 computations (39.7% saved)

localize272.0ms (0.5%)

Compiler

Compiled 12288 to 10240 computations (16.7% saved)

series256.0ms (0.4%)

Counts
45 → 1038
Calls

306 calls:

TimeVariablePointExpression
5.0ms
c
@0
(-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (fma.f64 c (*.f64 a -4) (fma.f64 c (*.f64 a -4) (*.f64 4 (*.f64 a c)))))))
5.0ms
n
@inf
(expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
5.0ms
y
@-inf
(-.f64 (/.f64 1 y) (/.f64 z y))
5.0ms
c
@inf
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
4.0ms
n
@inf
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))

bsearch34.0ms (0.1%)

Algorithm
2×binary-search
8×left-value
Calls

3 calls:

32.0ms
x
0.0ms
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
0.0ms
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
Compiler

Compiled 144 to 97 computations (32.6% saved)

Profiling

Loading profile data...