Details

Time bar (total: 7.1s)

analyze498.0ms (7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
23.4%51.5%25.1%7
24.2%50.7%25.1%8
24.6%50.3%25.1%9
36.9%25.5%37.6%10
37.2%25.3%37.6%11
37.3%25.1%37.6%12
43.5%12.7%43.8%13
43.6%12.6%43.8%14
Compiler

Compiled 29 to 21 computations (27.6% saved)

sample43.0ms (0.6%)

Algorithm
1×intervals
Results
26.0ms256×body128valid
3.0ms35×body128nan
Compiler

Compiled 57 to 44 computations (22.8% saved)

simplify229.0ms (3.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (130.0ms)

IterNodesCost
049689
149689

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.3b
Counts
2 → 2
Compiler

Compiled 40 to 32 computations (20% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(/.f64 (atan2.f64 im re) (log.f64 base))

rewrite40.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
12×times-frac_binary64_84
10×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
5×pow1_binary64_139
4×log-pow_binary64_167 associate-/r*_binary64_22
3×add-exp-log_binary64_116 add-cbrt-cube_binary64_114 associate-/l*_binary64_23
1×div-exp_binary64_129 add-log-exp_binary64_117 cbrt-undiv_binary64_112 frac-2neg_binary64_89 clear-num_binary64_77 div-inv_binary64_75
Counts
1 → 31
Calls

1 calls:

3.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))
Compiler

Compiled 426 to 103 computations (75.8% saved)

series285.0ms (4%)

Error
0.3b
Counts
1 → 9
Calls

1 calls:

281.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))
Compiler

Compiled 189 to 145 computations (23.3% saved)

simplify76.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04804572
14804572

prune51.0ms (0.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New281240
Fresh101
Picked011
Done000
Total291342
Error
0.0b
Counts
42 → 13
Compiler

Compiled 614 to 185 computations (69.9% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (log.f64 base) (atan2.f64 im re))
0.3b
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

rewrite138.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
108×times-frac_binary64_84
60×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
19×pow1_binary64_139 associate-/r*_binary64_22
16×log-pow_binary64_167
15×add-exp-log_binary64_116
9×add-cbrt-cube_binary64_114
8×div-exp_binary64_129
7×associate-/l*_binary64_23
6×div-inv_binary64_75
4×cbrt-undiv_binary64_112
2×1-exp_binary64_122 rec-exp_binary64_128 add-log-exp_binary64_117 frac-2neg_binary64_89 clear-num_binary64_77
1×inv-pow_binary64_163 pow-flip_binary64_152 associate-/r/_binary64_24
Counts
2 → 119
Calls

2 calls:

7.0ms
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))
4.0ms
(/.f64 (log.f64 base) (atan2.f64 im re))
Compiler

Compiled 2172 to 762 computations (64.9% saved)

series460.0ms (6.4%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

242.0ms
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))
208.0ms
(/.f64 (log.f64 base) (atan2.f64 im re))
Compiler

Compiled 432 to 339 computations (21.5% saved)

simplify87.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
050842435

prune130.0ms (1.8%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1343137
Fresh2911
Picked011
Done011
Total13614150
Error
0.0b
Counts
150 → 14
Compiler

Compiled 2112 to 586 computations (72.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b
(/.f64 1 (log.f64 base))
0.3b
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))

rewrite92.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
27×add-sqr-sqrt_binary64_100
26×times-frac_binary64_84
21×*-un-lft-identity_binary64_78
20×add-cube-cbrt_binary64_113
16×associate-*r*_binary64_18
15×add-exp-log_binary64_116
12×pow1_binary64_139
9×add-cbrt-cube_binary64_114
7×log-pow_binary64_167
4×div-exp_binary64_129 prod-exp_binary64_127 associate-/r*_binary64_22
3×unswap-sqr_binary64_46 associate-*l*_binary64_19 associate-/l*_binary64_23
2×1-exp_binary64_122 rec-exp_binary64_128 add-log-exp_binary64_117 cbrt-unprod_binary64_111 cbrt-undiv_binary64_112 div-inv_binary64_75
1×pow-prod-down_binary64_149 un-div-inv_binary64_76 associate-*r/_binary64_20 *-commutative_binary64_9 inv-pow_binary64_163 pow-flip_binary64_152 frac-2neg_binary64_89 clear-num_binary64_77
Counts
2 → 74
Calls

2 calls:

14.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
6.0ms
(/.f64 1 (log.f64 base))
Compiler

Compiled 1091 to 530 computations (51.4% saved)

series394.0ms (5.5%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

260.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
129.0ms
(/.f64 1 (log.f64 base))
Compiler

Compiled 282 to 225 computations (20.2% saved)

simplify74.0ms (1%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
05058929

prune95.0ms (1.3%)

Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New85186
Fresh11011
Picked011
Done022
Total8614100
Error
0.0b
Counts
100 → 14
Compiler

Compiled 1143 to 465 computations (59.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (log.f64 base))
0.6b
(cbrt.f64 (log.f64 base))
0.6b
(cbrt.f64 (log.f64 base))
0.6b
(*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))

rewrite95.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
36×cbrt-prod_binary64_109
23×add-sqr-sqrt_binary64_100
20×pow1_binary64_139
17×*-un-lft-identity_binary64_78
15×add-cube-cbrt_binary64_113
9×pow1/3_binary64_160 swap-sqr_binary64_45 log-pow_binary64_167
7×associate-*l*_binary64_19 associate-*r*_binary64_18
6×add-exp-log_binary64_116
4×add-log-exp_binary64_117 add-cbrt-cube_binary64_114 unswap-sqr_binary64_46
2×pow-prod-down_binary64_149 pow-prod-up_binary64_148 pow-sqr_binary64_51
1×pow2_binary64_159 pow-plus_binary64_141 prod-exp_binary64_127 cbrt-unprod_binary64_111 *-commutative_binary64_9
Counts
4 → 81
Calls

4 calls:

7.0ms
(*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))
1.0ms
(cbrt.f64 (log.f64 base))
1.0ms
(cbrt.f64 (log.f64 base))
1.0ms
(cbrt.f64 (log.f64 base))
Compiler

Compiled 1826 to 455 computations (75.1% saved)

series692.0ms (9.7%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

180.0ms
(cbrt.f64 (log.f64 base))
176.0ms
(*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))
174.0ms
(cbrt.f64 (log.f64 base))
148.0ms
(cbrt.f64 (log.f64 base))
Compiler

Compiled 732 to 527 computations (28% saved)

simplify69.0ms (1%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04995799
14995799

prune79.0ms (1.1%)

Pruning

11 alts after pruning (7 fresh and 4 done)

PrunedKeptTotal
New92193
Fresh4610
Picked011
Done033
Total9611107
Error
0.0b
Counts
107 → 11
Compiler

Compiled 1802 to 541 computations (70% saved)

regimes659.0ms (9.2%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Compiler

Compiled 5026 to 3731 computations (25.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
079
179

end0.0ms (0%)

sample2.8s (39.3%)

Algorithm
1×intervals
Results
1.0s8000×body128valid
121.0ms1000×body128nan
Compiler

Compiled 1027 to 763 computations (25.7% saved)

Profiling

Loading profile data...