Date:Friday, May 13th, 2022
Commit:bd3fd811 on egg-rr
Hostname:warfa with Racket 8.1
Seed:2022133
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:egg-rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 7.6min)

series3.0min (39.2%)

Counts
358 → 7339
Calls

346 calls:

28.3s
(-.f64 1 (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) (exp.f64 (*.f64 x x)))) 3))
1.5s
(pow.f64 (pow.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (pow.f64 (+.f64 (neg.f64 z) 15/2) (+.f64 (neg.f64 z) 1/2))) (exp.f64 (neg.f64 (+.f64 (neg.f64 z) 15/2)))) 3) 1/3)
1.4s
(log.f64 (pow.f64 (hypot.f64 re im) (/.f64 1 (log.f64 base))))
1.3s
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
1.1s
(/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 1 (/.f64 (pow.f64 (fma.f64 i 2 (+.f64 alpha beta)) 2) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

sample2.6min (33.9%)

Results
56.8s8348×body8192exit
55.3s374291×body128valid
12.1s19529×body1024valid
10.3s14469×body1024invalid
3.7s10308×body512valid
3.0s7024×body512invalid
2.9s21191×body128invalid
1.6s2197×body2048valid
1.4s5355×body256valid
1.0s3212×body256invalid
759.0ms1124×body4096valid
382.0ms245×body2048invalid
Compiler

Compiled 4243 to 2621 computations (38.2% saved)

prune35.1s (7.7%)

Counts
23495 → 1018
Compiler

Compiled 1320297 to 788304 computations (40.3% saved)

regimes25.2s (5.6%)

Counts
3546 → 64
Compiler

Compiled 484068 to 332533 computations (31.3% saved)

analyze24.4s (5.4%)

Algorithm
51×search
Search
TrueOtherFalseIter
0%87.4%12.6%0
2%85.4%12.6%1
8.7%76.5%14.8%2
21.2%63.5%15.3%3
25.4%57.5%17.1%4
34.9%47.4%17.7%5
38.3%42.2%19.5%6
42.7%34.6%22.7%7
46.2%30.4%23.4%8
49.4%26.2%24.5%9
51.9%22.6%25.6%10
54%19.6%26.4%11
55.9%17.2%26.9%12
57.8%14.4%27.8%13
58.9%13.1%28.1%14
Compiler

Compiled 1515 to 960 computations (36.6% saved)

simplify18.8s (4.1%)

Algorithm
240×egg-herbie
Rules
74946×fma-def_binary64
54877×fma-neg_binary64
32924×times-frac_binary64
30189×associate-*l*_binary64
28930×associate-/l*_binary64
Counts
20112 → 18300

rewrite9.9s (2.2%)

Algorithm
282×batch-egg-rewrite
egg-rewrite
Rules
49609×expm1-log1p-u_binary64
48800×log1p-expm1-u_binary64
30826×prod-diff_binary64
22475×log1p-udef_binary64
22302×log-prod_binary64
Counts
358 → 12723
Calls

346 calls:

221.0ms
(/.f64 x.im (hypot.f64 y.re y.im))
221.0ms
(/.f64 y.re (hypot.f64 y.re y.im))
221.0ms
(fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2))))
221.0ms
(/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2))
220.0ms
(/.f64 y.im (hypot.f64 y.re y.im))

end6.6s (1.5%)

Compiler

Compiled 11013 to 7172 computations (34.9% saved)

localize2.0s (0.4%)

bsearch254.0ms (0.1%)

Compiler

Compiled 154 to 83 computations (46.1% saved)

Profiling

Loading profile data...