Date:Sunday, June 19th, 2022
Commit:d00f85d9 on main
Hostname:warfa with Racket 8.5
Seed:2022170
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: 4.1min)

sample2.5min (60.1%)

Results
58.7s382638×body128valid
52.2s7974×body8192exit
11.9s19325×body1024valid
9.6s14924×body1024invalid
3.9s10299×body512valid
3.6s24410×body128invalid
3.1s6671×body512invalid
1.5s2112×body2048valid
1.5s5578×body256valid
976.0ms3297×body256invalid
781.0ms1104×body4096valid
348.0ms231×body2048invalid
Compiler

Compiled 3030 to 1920 computations (36.6% saved)

prune28.8s (11.7%)

Counts
18632 → 1111
Compiler

Compiled 1024370 to 660595 computations (35.5% saved)

analyze23.6s (9.5%)

Algorithm
51×search
Search
TrueOtherFalseIter
0%87.4%12.6%0
2%85.4%12.6%1
7.7%77.5%14.8%2
16.9%67.5%15.6%3
20%62.5%17.5%4
30%51.8%18.2%5
33.7%46.6%19.7%6
39%38.3%22.7%7
41.8%34.8%23.4%8
45.3%30.2%24.5%9
47.7%26.7%25.7%10
49.8%23.8%26.4%11
51.5%21.6%26.9%12
53.7%18.5%27.8%13
54.8%17.1%28.2%14
Compiler

Compiled 1515 to 960 computations (36.6% saved)

regimes13.9s (5.6%)

Counts
2962 → 67
Compiler

Compiled 98891 to 59707 computations (39.6% saved)

simplify9.6s (3.9%)

Algorithm
242×egg-herbie
Rules
66093×fma-def_binary64
32638×associate-*l*_binary64
31526×times-frac_binary64
29512×fma-neg_binary64
27129×associate-*r*_binary64
Stop Event
94×saturated
148×node limit
Counts
15816 → 14226

end8.4s (3.4%)

Stop Event
26×done
25×fuel
Compiler

Compiled 15082 to 10729 computations (28.9% saved)

rewrite7.0s (2.8%)

Algorithm
140×batch-egg-rewrite
4×egg-rewrite-iter-limit
4×egg-rewrite
Rules
53855×expm1-log1p-u_binary64
53048×log1p-expm1-u_binary64
44839×pow1_binary64
35441×add-log-exp_binary64
21657×add-exp-log_binary64
Stop Event
6×unsound
4×iter limit
138×node limit
Counts
341 → 8960

series3.1s (1.3%)

Counts
341 → 6805
Calls

1962 calls:

TimeVariablePointExpression
93.0ms
x
@0
(+.f64 1 (pow.f64 (pow.f64 (/.f64 (-.f64 -31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (pow.f64 (exp.f64 x) x))) 3) 3))
77.0ms
x
@0
(pow.f64 (pow.f64 (/.f64 (-.f64 -31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (pow.f64 (exp.f64 x) x))) 3) 3)
52.0ms
base
@0
(log.f64 (pow.f64 (hypot.f64 re im) (/.f64 1 (log.f64 base))))
49.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
49.0ms
x.re
@inf
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)

localize2.0s (0.8%)

preprocess1.7s (0.7%)

Algorithm
102×egg-herbie
Rules
13525×fma-def_binary64
8170×fma-neg_binary64
7153×distribute-rgt-in_binary64
6246×times-frac_binary64
5541×distribute-lft-in_binary64
Stop Event
57×saturated
14×unsound
31×node limit
Compiler

Compiled 1406 to 871 computations (38.1% saved)

bsearch373.0ms (0.2%)

Algorithm
14×binary-search
4×left-value
Calls

7 calls:

223.0ms
y.im
109.0ms
x
22.0ms
re
0.0ms
(/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2))
0.0ms
(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
Compiler

Compiled 122 to 68 computations (44.3% saved)

Profiling

Loading profile data...