Details

Time bar (total: 3.0s)

analyze454.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

sample41.0ms

Algorithm
intervals
Results
27.0ms256×body80valid
3.0ms34×body80nan

simplify199.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (196.0ms)

IterNodesCost
0482928
1482928

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 33.1b

Counts
2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0.0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0.0 0.0)))
0.4b
(*.f64 (atan2.f64 im re) (log.f64 base))
0.5b
(*.f64 (log.f64 base) (log.f64 base))
31.0b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt_binary64
25×*-un-lft-identity_binary64
23×add-cube-cbrt_binary64
21×pow1_binary64
12×log-prod_binary64
10×add-exp-log_binary64 add-cbrt-cube_binary64
9×times-frac_binary64
8×associate-*r*_binary64
7×log-pow_binary64 associate-*l*_binary64
6×swap-sqr_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
4×add-log-exp_binary64
3×associate-/r*_binary64 associate-/l*_binary64 sqrt-prod_binary64
2×pow-prod-down_binary64 flip3-+_binary64 associate-/l/_binary64 cbrt-unprod_binary64 associate-/r/_binary64 unswap-sqr_binary64 prod-exp_binary64 flip-+_binary64 sqrt-div_binary64 *-commutative_binary64
1×pow1/2_binary64 flip3--_binary64 pow-prod-up_binary64 cbrt-undiv_binary64 pow-plus_binary64 sqrt-pow1_binary64 div-sub_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 pow-sqr_binary64 flip--_binary64 pow2_binary64
Counts
4 → 108
Calls
4 calls:
10.0ms
(/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0.0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0.0 0.0)))
5.0ms
(*.f64 (atan2.f64 im re) (log.f64 base))
5.0ms
(*.f64 (log.f64 base) (log.f64 base))
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series50.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0.0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0.0 0.0)))
10.0ms
(*.f64 (atan2.f64 im re) (log.f64 base))
17.0ms
(*.f64 (log.f64 base) (log.f64 base))
8.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify61.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
053141828

prune186.0ms

Filtered
80 candidates to 120 candidates (-50.0%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New10812120
Fresh000
Picked101
Done000
Total10912121

Merged error: 0.1b

Counts
121 → 12

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:
4.0ms
(/.f64 (atan2.f64 im re) (log.f64 base))

series13.0ms

Counts
1 → 3
Calls
1 calls:
13.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

prune83.0ms

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

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New27734
Fresh3811
Picked011
Done000
Total301646

Merged error: 0b

Counts
46 → 16

localize7.0ms

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

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

series30.0ms

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

simplify49.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05163556

prune89.0ms

Filtered
39 candidates to 80 candidates (-105.1%)
Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New79180
Fresh11314
Picked011
Done011
Total801696

Merged error: 0b

Counts
96 → 16

localize8.0ms

Local error

Found 2 expressions with local error:

0.3b
(/.f64 (log.f64 base) (atan2.f64 im re))
0.4b
(/.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)))

series27.0ms

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

simplify51.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
051261473

prune73.0ms

Filtered
64 candidates to 125 candidates (-95.3%)
Pruning

15 alts after pruning (12 fresh and 3 done)

PrunedKeptTotal
New1241125
Fresh21113
Picked011
Done022
Total12615141

Merged error: 0b

Counts
141 → 15

regimes362.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
066
166

end0.0ms

sample1.1s

Algorithm
intervals
Results
774.0ms8000×body80valid
99.0ms1068×body80nan

Profiling

Loading profile data...