Date:Monday, November 21st, 2022
Commit:44c23216 on oflatt-taylor-sound
Hostname:nightly with Racket 8.6
Seed:2022325
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: 16.8min)

series8.6min (51.2%)

Counts
1347 → 24110
Calls

6954 calls:

TimeVariablePointExpression
1.1min
alpha
@-inf
(pow.f64 (+.f64 (*.f64 (*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha))))) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) 1/3)
54.9s
alpha
@inf
(pow.f64 (+.f64 (*.f64 (*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha))))) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (fma.f64 2 i alpha) beta)) (+.f64 beta (fma.f64 2 i (+.f64 2 alpha)))) 1) 2)) 1/3)
8.6s
alpha
@-inf
(pow.f64 (pow.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 alpha beta))) (+.f64 beta (+.f64 alpha (fma.f64 2 i 2)))) 1) 3) 1/3)
3.9s
base
@-inf
(cbrt.f64 (/.f64 (pow.f64 (log.f64 (hypot.f64 re im)) 3) (pow.f64 (log.f64 base) 3)))
3.7s
base
@-inf
(cbrt.f64 (pow.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)) 3))
Compiler

Compiled 51273350 to 40407821 computations (21.2% saved)

sample2.5min (14.9%)

Results
1.1min437852×body256valid
52.8s7907×body8192exit
9.7s19439×body1024valid
7.8s14551×body1024infinite
4.6s29344×body256infinite
2.8s10135×body512valid
2.1s6491×body512infinite
1.2s2146×body2048valid
858.0ms4659×body256invalid
570.0ms4222×body256unsamplable
567.0ms1020×body4096valid
220.0ms203×body2048infinite
Bogosity

eval1.7min (10%)

Results
Compiler

Compiled 5460020 to 3451207 computations (36.8% saved)

simplify56.6s (5.6%)

Algorithm
699×egg-herbie
Rules
219298×fma-def_binary64
148440×fma-neg_binary64
134691×unswap-sqr_binary64
128978×distribute-rgt-in_binary64
127832×times-frac_binary64
Stop Event
8×unsound
83×saturated
19×done
37×fuel
608×node limit
Counts
78197 → 100646
Compiler

Compiled 12867 to 8530 computations (33.7% saved)

regimes49.7s (4.9%)

Counts
9886 → 757
Calls

124 calls:

5.5s
x.im
4.0s
x.re
3.9s
y.re
3.1s
beta
2.9s
y.im
Compiler

Compiled 229331 to 157467 computations (31.3% saved)

rewrite38.4s (3.8%)

Algorithm
586×batch-egg-rewrite
17×egg-rewrite-iter-limit
14×egg-rewrite
Rules
209140×pow1_binary64
197433×add-log-exp_binary64
197182×expm1-log1p-u_binary64
197167×log1p-expm1-u_binary64
185370×add-exp-log_binary64
Stop Event
23×unsound
17×iter limit
577×node limit
Counts
1347 → 54030

prune38.1s (3.8%)

Counts
125478 → 4137
Compiler

Compiled 195953 to 146878 computations (25% saved)

localize24.0s (2.4%)

Compiler

Compiled 58440 to 34914 computations (40.3% saved)

bsearch8.9s (0.9%)

Algorithm
384×binary-search
26×left-value
Results
6.8s41148×body256valid
232.0ms417×body4096valid
222.0ms1070×body256infinite
216.0ms659×body1024valid
177.0ms435×body512infinite
176.0ms411×body2048valid
131.0ms198×body1024infinite
84.0ms421×body512valid
19.0ms17×body2048infinite
Compiler

Compiled 86131 to 60212 computations (30.1% saved)

soundness8.2s (0.8%)

Algorithm
80×egg-herbie
Rules
21684×fma-def_binary64
15361×unswap-sqr_binary64
14795×times-frac_binary64
13739×associate-/l*_binary64
13657×fma-neg_binary64
Stop Event
17×saturated
63×node limit
Compiler

Compiled 78686 to 48502 computations (38.4% saved)

analyze7.7s (0.8%)

Algorithm
57×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.1%13.9%0%0%0%0
7.1%6.1%79.9%13.9%0%0%0%1
13.4%11.2%72.9%13.9%0%1.8%0.2%2
23.9%19.5%62.2%13.9%0.5%3.5%0.3%3
29%23.2%56.8%13.9%2%3.7%0.4%4
41%32.6%46.8%13.9%2.5%3.8%0.4%5
46.3%36.1%41.9%13.9%3.6%4.1%0.4%6
54.4%41%34.4%13.9%5.3%5%0.4%7
58.2%43.5%31.2%13.9%5.8%5.1%0.4%8
63.3%46.6%27%13.9%6.8%5.1%0.4%9
67.1%48.8%23.9%13.9%7.3%5.6%0.4%10
70.4%50.6%21.3%13.9%8.1%5.6%0.4%11
73%52.2%19.3%13.9%8.5%5.7%0.4%12
Compiler

Compiled 1543 to 980 computations (36.5% saved)

end5.6s (0.6%)

Compiler

Compiled 12841 to 7499 computations (41.6% saved)

preprocess3.2s (0.3%)

Algorithm
114×egg-herbie
Rules
14106×fma-def_binary64
10943×fma-neg_binary64
7921×distribute-rgt-in_binary64
7386×associate-*l*_binary64
6766×distribute-lft-in_binary64
Stop Event
69×saturated
14×unsound
31×node limit
Compiler

Compiled 1591 to 1038 computations (34.8% saved)

Profiling

Loading profile data...