Details

Time bar (total: 4.1s)

sample54.0ms

Algorithm
intervals
Results
17.0ms57×body1280valid
9.0ms32×body640valid
7.0ms247×body80nan
6.0ms130×body80valid
4.0ms28×body320valid
1.0ms9×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.4b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

3.0b
(log (+ N 1.0))
3.3b
(- (log (+ N 1.0)) (log N))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
11×log-prod
7×pow1 add-sqr-sqrt
5×add-cube-cbrt log-pow
4×log-div associate--l+ distribute-lft-out--
3×add-exp-log associate--r+
2×associate--l- flip3-+ add-cbrt-cube flip-+ distribute-lft-out add-log-exp
1×sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
2 → 41
Calls
2 calls:
3.0ms
(log (+ N 1.0))
7.0ms
(- (log (+ N 1.0)) (log N))

series142.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(log (+ N 1.0))
96.0ms
(- (log (+ N 1.0)) (log N))

simplify55.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 3 (50.0ms)

IterNodesCost
0212281
1547264
21875250
35002247

prune94.0ms

Filtered
47 candidates to 33 candidates (70.2%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New43447
Fresh000
Picked101
Done000
Total44448

Merged error: 0.0b

Counts
48 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (cbrt (+ N 1.0))) (log N))
2.7b
(log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
2.7b
(log (cbrt (+ N 1.0)))
23.2b
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
44×pow1
41×*-un-lft-identity
37×log-pow
28×cbrt-div
26×log-prod
20×log-div
18×distribute-lft-out
16×distribute-lft-out--
15×flip3-+ flip-+
14×associate--l+
13×add-sqr-sqrt
12×cbrt-prod
11×add-cube-cbrt
9×associate-+r+
8×add-exp-log frac-times associate-+l-
7×pow1/3 pow-prod-down
5×add-log-exp
4×associate-*r/ associate-*l/ add-cbrt-cube
3×rem-log-exp associate--r+
2×associate--l- sub-neg diff-log sum-log pow-sqr pow-prod-up
1×+-commutative pow2 associate-+r- associate-+l+ flip3-- pow-plus prod-exp flip-- difference-of-squares
Counts
4 → 121
Calls
4 calls:
8.0ms
(- (log (cbrt (+ N 1.0))) (log N))
8.0ms
(log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
4.0ms
(log (cbrt (+ N 1.0)))
26.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

series806.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(- (log (cbrt (+ N 1.0))) (log N))
276.0ms
(log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
119.0ms
(log (cbrt (+ N 1.0)))
275.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

simplify48.0ms

Algorithm
egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
05341320
114141205
250021067

prune306.0ms

Filtered
133 candidates to 94 candidates (70.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1312133
Fresh123
Picked101
Done000
Total1334137

Merged error: 0.0b

Counts
137 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 3 (log (cbrt (+ N 1.0))))
0.2b
(cbrt (+ N 1.0))
2.7b
(log (cbrt (+ N 1.0)))
11.1b
(- (* 3 (log (cbrt (+ N 1.0)))) (log N))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
38×log-prod
30×*-un-lft-identity
24×cbrt-prod
20×add-sqr-sqrt
18×add-cube-cbrt
14×distribute-rgt-in distribute-lft-in associate--l+
8×pow1
7×add-exp-log
6×add-cbrt-cube distribute-lft-out
5×associate-*r* add-log-exp
4×cbrt-div log-pow
3×pow1/3 associate-*l* associate--r+
2×log-div flip3-+ flip-+
1×sub-neg flip3-- diff-log rem-log-exp pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 96
Calls
4 calls:
7.0ms
(* 3 (log (cbrt (+ N 1.0))))
3.0ms
(cbrt (+ N 1.0))
4.0ms
(log (cbrt (+ N 1.0)))
7.0ms
(- (* 3 (log (cbrt (+ N 1.0)))) (log N))

series514.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(* 3 (log (cbrt (+ N 1.0))))
90.0ms
(cbrt (+ N 1.0))
115.0ms
(log (cbrt (+ N 1.0)))
176.0ms
(- (* 3 (log (cbrt (+ N 1.0)))) (log N))

simplify52.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0457812
11495754
25002703

prune213.0ms

Filtered
108 candidates to 79 candidates (73.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1080108
Fresh033
Picked011
Done000
Total1084112

Merged error: 0.0b

Counts
112 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

2.7b
(log (cbrt (+ N 1.0)))
23.2b
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
23.2b
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
23.2b
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
86×pow1
80×*-un-lft-identity
68×log-pow
49×distribute-lft-out
38×cbrt-div
36×distribute-lft-out--
31×log-prod
27×associate-+r+
26×log-div
24×associate-+l-
22×flip3-+ flip-+
21×associate--l+
16×cbrt-prod
15×pow-prod-down
12×add-sqr-sqrt frac-times add-cube-cbrt
7×add-log-exp
6×associate-*r/ associate-*l/ sum-log
5×add-exp-log
4×add-cbrt-cube
3×+-commutative associate-+r- sub-neg associate-+l+ diff-log
1×pow1/3 rem-log-exp
Counts
4 → 157
Calls
4 calls:
4.0ms
(log (cbrt (+ N 1.0)))
22.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
22.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
25.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

series970.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(log (cbrt (+ N 1.0)))
283.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
278.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))
286.0ms
(+ (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (- (log (cbrt (+ N 1.0))) (log N)))

simplify127.0ms

Algorithm
egg-herbie
Counts
169 → 169
Iterations

Useful iterations: 3 (111.0ms)

IterNodesCost
03692206
110471940
244841572
350021505

prune510.0ms

Filtered
169 candidates to 107 candidates (63.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1681169
Fresh022
Picked101
Done011
Total1694173

Merged error: 0.0b

Counts
173 → 4

regimes28.0ms

bsearch2.0ms

Profiling

Loading profile data...