Details

Time bar (total: 2.0s)

analyze2.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1

sample36.0ms

Algorithm
intervals
Results
18.0ms87×body1280valid
7.0ms143×body80valid
2.0ms10×body640valid
1.0ms8×body320valid
1.0ms8×body160valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
07211
17211

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.0b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(atan.f64 (+.f64 N 1))
2.1b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity_binary64 add-log-exp_binary64 add-sqr-sqrt_binary64
2×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 flip--_binary64 diff-atan_binary64
Counts
2 → 21
Calls
2 calls:
1.0ms
(atan.f64 (+.f64 N 1))
4.0ms
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

series20.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(atan.f64 (+.f64 N 1))
15.0ms
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))

simplify120.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
05637376

prune19.0ms

Filtered
19 candidates to 27 candidates (-42.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New25227
Fresh000
Picked101
Done000
Total26228

Merged error: 0.2b

Counts
28 → 2

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (*.f64 N (+.f64 N 1)))
0.0b
(*.f64 N (+.f64 N 1))
0.2b
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 N 1))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
5×add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×associate-*r*_binary64
3×associate-*l*_binary64
2×flip3-+_binary64 associate-*r/_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 flip-+_binary64 associate-+r+_binary64
1×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 prod-exp_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
3 → 43
Calls
3 calls:
3.0ms
(+.f64 1 (*.f64 N (+.f64 N 1)))
6.0ms
(*.f64 N (+.f64 N 1))
0.0ms
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 N 1))))

series43.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(+.f64 1 (*.f64 N (+.f64 N 1)))
29.0ms
(*.f64 N (+.f64 N 1))
7.0ms
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 N 1))))

simplify82.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04980599
14980599

prune44.0ms

Filtered
38 candidates to 52 candidates (-36.8%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New48452
Fresh011
Picked101
Done000
Total49554

Merged error: 0.2b

Counts
54 → 5

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b
(+.f64 1 (+.f64 (*.f64 N N) N))
0.0b
(+.f64 (*.f64 N N) N)
0.2b
(atan2.f64 1 (+.f64 1 (+.f64 (*.f64 N N) N)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp_binary64
6×*-un-lft-identity_binary64
4×sum-log_binary64
3×pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
2×flip3-+_binary64 +-commutative_binary64 flip-+_binary64
1×distribute-lft1-in_binary64 distribute-lft-out_binary64 distribute-rgt-out_binary64 associate-+r+_binary64
Counts
3 → 34
Calls
3 calls:
6.0ms
(+.f64 1 (+.f64 (*.f64 N N) N))
4.0ms
(+.f64 (*.f64 N N) N)
0.0ms
(atan2.f64 1 (+.f64 1 (+.f64 (*.f64 N N) N)))

series44.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(+.f64 1 (+.f64 (*.f64 N N) N))
29.0ms
(+.f64 (*.f64 N N) N)
8.0ms
(atan2.f64 1 (+.f64 1 (+.f64 (*.f64 N N) N)))

simplify107.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
04955549
14955549

prune31.0ms

Filtered
31 candidates to 43 candidates (-38.7%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New42143
Fresh134
Picked011
Done000
Total43548

Merged error: 0.2b

Counts
48 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N))))
16.1b
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
16.1b
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
16.1b
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×pow1/3_binary64
Counts
4 → 40
Calls
4 calls:
0.0ms
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N))))
1.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
1.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
1.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))

series421.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N))))
137.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
136.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))
140.0ms
(cbrt.f64 (atan2.f64 1 (+.f64 1 (*.f64 N (+.f64 1 N)))))

simplify102.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
04890944
14890944

prune73.0ms

Filtered
37 candidates to 52 candidates (-40.5%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New49352
Fresh033
Picked011
Done011
Total49857

Merged error: 0.2b

Counts
57 → 8

regimes24.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
11113

end0.0ms

sample799.0ms

Algorithm
intervals
Results
439.0ms2914×body1280valid
135.0ms3975×body80valid
79.0ms637×body640valid
32.0ms338×body320valid
12.0ms136×body160valid

Profiling

Loading profile data...