Details

Time bar (total: 6.9s)

analyze612.0ms (8.9%)

Algorithm
search
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0523236
033
133
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)

sample42.0ms (0.6%)

Algorithm
intervals
Results
25.0ms256×body128valid
3.0ms35×body128nan
Compiler

Compiled 57 to 44 computations (22.8% saved)

simplify121.0ms (1.8%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (115.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))

rewrite35.0ms (0.5%)

Algorithm
rewrite-expression-head
Error
0.1b
Rules
12×times-frac_binary64_84
10×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
pow1_binary64_139
log-pow_binary64_167 associate-/r*_binary64_22
add-exp-log_binary64_116 add-cbrt-cube_binary64_114 associate-/l*_binary64_23
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)

series217.0ms (3.2%)

Error
0.3b
Counts
1 → 9
Calls

1 calls:

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

Compiled 189 to 145 computations (23.3% saved)

simplify69.0ms (1%)

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04804572
14804572

prune43.0ms (0.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New271340
Fresh011
Picked101
Done000
Total281442
Error
0.1b
Counts
42 → 14
Compiler

Compiled 666 to 215 computations (67.7% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite125.0ms (1.8%)

Algorithm
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
add-cbrt-cube_binary64_114
div-exp_binary64_129
associate-/l*_binary64_23
div-inv_binary64_75
cbrt-undiv_binary64_112
add-log-exp_binary64_117 frac-2neg_binary64_89 clear-num_binary64_77 1-exp_binary64_122 rec-exp_binary64_128
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)

series454.0ms (6.6%)

Error
0.1b
Counts
2 → 18
Calls

2 calls:

232.0ms
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))
212.0ms
(/.f64 (log.f64 base) (atan2.f64 im re))
Compiler

Compiled 432 to 339 computations (21.5% saved)

simplify74.0ms (1.1%)

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050842435

prune101.0ms (1.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1334137
Fresh4913
Picked011
Done000
Total13714151
Error
0.0b
Counts
151 → 14
Compiler

Compiled 2166 to 609 computations (71.9% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite75.0ms (1.1%)

Algorithm
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
add-cbrt-cube_binary64_114
log-pow_binary64_167
div-exp_binary64_129 prod-exp_binary64_127 associate-/r*_binary64_22
unswap-sqr_binary64_46 associate-*l*_binary64_19 associate-/l*_binary64_23
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
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:

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

Compiled 1091 to 530 computations (51.4% saved)

series294.0ms (4.3%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

209.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))
78.0ms
(/.f64 1 (log.f64 base))
Compiler

Compiled 282 to 225 computations (20.2% saved)

simplify63.0ms (0.9%)

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05058929

prune69.0ms (1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New83386
Fresh11112
Picked101
Done011
Total8515100
Error
0.0b
Counts
100 → 15
Compiler

Compiled 1232 to 517 computations (58% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite504.0ms (7.3%)

Algorithm
rewrite-expression-head
Error
0b
Rules
550×times-frac_binary64_84
251×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
51×pow1_binary64_139 add-exp-log_binary64_116
46×log-pow_binary64_167
36×div-exp_binary64_129
34×div-inv_binary64_75
22×associate-/l*_binary64_23
20×associate-/r*_binary64_22
19×add-cbrt-cube_binary64_114
10×1-exp_binary64_122 rec-exp_binary64_128 cbrt-undiv_binary64_112
add-log-exp_binary64_117 frac-2neg_binary64_89 clear-num_binary64_77
inv-pow_binary64_163 pow-flip_binary64_152
associate-/l/_binary64_25 associate-/r/_binary64_24
Counts
3 → 335
Calls

3 calls:

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

Compiled 7874 to 4452 computations (43.5% saved)

series372.0ms (5.4%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

233.0ms
(/.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (atan2.f64 im re)))
81.0ms
(/.f64 1 (log.f64 base))
49.0ms
(/.f64 1 (atan2.f64 im re))
Compiler

Compiled 480 to 393 computations (18.1% saved)

simplify143.0ms (2.1%)

Algorithm
egg-herbie
Counts
353 → 353
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
048648109
148648109

prune291.0ms (4.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New3512353
Fresh6713
Picked011
Done011
Total35711368
Error
0b
Counts
368 → 11
Compiler

Compiled 6147 to 2483 computations (59.6% saved)

regimes641.0ms (9.3%)

Accuracy

Total 0.3b remaining (98.9%)

Threshold costs 0.3b (98.9%)

Compiler

Compiled 6891 to 4911 computations (28.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
179

end0.0ms (0%)

sample2.5s (36.1%)

Algorithm
intervals
Results
794.0ms8000×body128valid
86.0ms933×body128nan
Compiler

Compiled 1400 to 999 computations (28.6% saved)

Profiling

Loading profile data...