Details

Time bar (total: 2.9s)

analyze443.0ms

Algorithm
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

sample38.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
3.0ms35×body80nan

simplify105.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
049566
149566

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac_binary64
10×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
5×pow1_binary64
4×associate-/r*_binary64 log-pow_binary64
3×add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
1×add-log-exp_binary64 cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
1 → 31
Calls
1 calls:
3.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))

series12.0ms

Counts
1 → 3
Calls
1 calls:
12.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))

simplify80.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
04844330
14844330

prune60.0ms

Filtered
22 candidates to 34 candidates (-54.5%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New241034
Fresh011
Picked011
Done000
Total241236

Merged error: 0.1b

Counts
36 → 12

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
26×times-frac_binary64
21×*-un-lft-identity_binary64
20×add-cube-cbrt_binary64
16×associate-*r*_binary64
15×add-exp-log_binary64
12×pow1_binary64
9×add-cbrt-cube_binary64
7×log-pow_binary64
4×associate-/r*_binary64 prod-exp_binary64 div-exp_binary64
3×associate-*l*_binary64 unswap-sqr_binary64 associate-/l*_binary64
2×add-log-exp_binary64 cbrt-unprod_binary64 1-exp_binary64 cbrt-undiv_binary64 rec-exp_binary64 div-inv_binary64
1×pow-prod-down_binary64 associate-*r/_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64 un-div-inv_binary64 pow-flip_binary64 *-commutative_binary64
Counts
2 → 74
Calls
2 calls:
4.0ms
(/.f64 1 (log.f64 base))
8.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))

series29.0ms

Counts
2 → 6
Calls
2 calls:
16.0ms
(/.f64 1 (log.f64 base))
13.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base)))

simplify48.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05163556

prune75.0ms

Filtered
38 candidates to 80 candidates (-110.5%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New76480
Fresh3710
Picked011
Done011
Total791392

Merged error: 0.0b

Counts
92 → 13

localize7.0ms

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)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac_binary64
60×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
19×associate-/r*_binary64 pow1_binary64
16×log-pow_binary64
15×add-exp-log_binary64
9×add-cbrt-cube_binary64
8×div-exp_binary64
7×associate-/l*_binary64
6×div-inv_binary64
4×cbrt-undiv_binary64
2×add-log-exp_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64
1×associate-/r/_binary64 inv-pow_binary64 pow-flip_binary64
Counts
2 → 119
Calls
2 calls:
4.0ms
(/.f64 (log.f64 base) (atan2.f64 im re))
9.0ms
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

series26.0ms

Counts
2 → 6
Calls
2 calls:
12.0ms
(/.f64 (log.f64 base) (atan2.f64 im re))
13.0ms
(/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re)))

simplify52.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051261473

prune105.0ms

Filtered
65 candidates to 125 candidates (-92.3%)
Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1214125
Fresh2810
Picked011
Done112
Total12414138

Merged error: 0.0b

Counts
138 → 14

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
603×times-frac_binary64
279×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
73×associate-/r*_binary64
59×add-exp-log_binary64
58×pow1_binary64
52×log-pow_binary64
43×div-exp_binary64
23×div-inv_binary64
19×add-cbrt-cube_binary64
15×1-exp_binary64 rec-exp_binary64
10×cbrt-undiv_binary64
9×associate-/l*_binary64
6×associate-/r/_binary64
5×pow-flip_binary64
3×add-log-exp_binary64 clear-num_binary64 inv-pow_binary64 frac-2neg_binary64
1×remove-double-div_binary64
Counts
3 → 374
Calls
3 calls:
7.0ms
(/.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base)))
3.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))
15.0ms
(/.f64 1 (/.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base))))

series38.0ms

Counts
3 → 9
Calls
3 calls:
13.0ms
(/.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base)))
12.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))
13.0ms
(/.f64 1 (/.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base))))

simplify87.0ms

Algorithm
egg-herbie
Counts
383 → 383
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
050485082

prune147.0ms

Filtered
149 candidates to 383 candidates (-157.0%)
Pruning

15 alts after pruning (12 fresh and 3 done)

PrunedKeptTotal
New3821383
Fresh01111
Picked011
Done022
Total38215397

Merged error: 0.0b

Counts
397 → 15

regimes335.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0108
1108

end0.0ms

sample1.1s

Algorithm
intervals
Results
779.0ms8000×body80valid
86.0ms975×body80nan

Profiling

Loading profile data...