Details

Time bar (total: 7.4s)

analyze15.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%23.7%76.3%0
0%23.7%76.3%1
11.9%11.9%76.3%2
17.8%5.9%76.3%3
20.8%3%76.3%4
22.2%1.5%76.3%5
23%0.7%76.3%6
23.3%0.4%76.3%7
23.3%0.4%76.3%8
23.4%0.3%76.3%9
23.5%0.2%76.3%10
23.5%0.2%76.3%11
23.5%0.2%76.3%12
23.6%0.2%76.3%13
23.6%0.1%76.3%14

sample87.0ms

Algorithm
intervals
Results
48.0ms134×body1280valid
17.0ms69×body640valid
6.0ms14×body160valid
6.0ms39×body320valid
3.0ms256×pre80true

simplify218.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (203.0ms)

IterNodesCost
0523923

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 63.0b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
0.3b
(*.f64 n (log.f64 n))
5.4b
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
28×log-prod_binary64
25×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
15×add-cube-cbrt_binary64
14×distribute-lft-in_binary64 distribute-rgt-in_binary64
9×pow1_binary64
8×associate-*r*_binary64 associate--l+_binary64
7×add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64
6×associate--r+_binary64
5×add-log-exp_binary64 distribute-lft-out_binary64
3×insert-posit16
2×pow-prod-down_binary64 cbrt-unprod_binary64 log-pow_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×flip3-+_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 flip--_binary64 flip-+_binary64
Counts
3 → 83
Calls
3 calls:
11.0ms
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
5.0ms
(*.f64 n (log.f64 n))
13.0ms
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))

series834.0ms

Counts
3 → 9
Calls
3 calls:
370.0ms
(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
57.0ms
(*.f64 n (log.f64 n))
407.0ms
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
045349
145349
045349
145349
013
113
02809
12809
02809
12809
013
113
044819
144819
044819
144819
013
113

simplify105.0ms

Counts
92 → 92
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
053031448

prune99.0ms

Filtered
62 candidates to 92 candidates (-48.4%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New801292
Fresh000
Picked101
Done000
Total811293

Merged error: 60.6b

Counts
93 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
0.7b
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
0.7b
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
43.6b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 n (log.f64 n)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div_binary64 *-un-lft-identity_binary64 add-log-exp_binary64 associate--r+_binary64 log-prod_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 associate-*l/_binary64
4×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×flip3-+_binary64 pow1/3_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 flip-+_binary64 cbrt-prod_binary64
1×sub-neg_binary64 flip3--_binary64 diff-log_binary64 flip--_binary64
Counts
4 → 54
Calls
4 calls:
6.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
6.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
6.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
20.0ms
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 n (log.f64 n)))

series247.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
45.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
47.0ms
(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
110.0ms
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (*.f64 n (log.f64 n)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
011269
111269
011269
111269
013
113
0359
1359
0359
1359
013
113
0359
1359
0359
1359
013
113
0359
1359
0359
1359
013
113

simplify92.0ms

Counts
66 → 66
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
050561115

prune115.0ms

Filtered
53 candidates to 66 candidates (-24.5%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New65166
Fresh01111
Picked011
Done000
Total651378

Merged error: 60.6b

Counts
78 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (+.f64 n 1))
0.5b
(cbrt.f64 (+.f64 n 1))
1.0b
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n)))
49.9b
(+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))) (+.f64 n 1)) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
34×log-prod_binary64
28×*-un-lft-identity_binary64 associate--l+_binary64
24×cbrt-prod_binary64
18×distribute-lft-in_binary64 distribute-rgt-in_binary64
16×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
15×associate-+r+_binary64
11×add-log-exp_binary64
6×associate--r+_binary64 distribute-lft-out_binary64
5×flip3-+_binary64 flip-+_binary64
4×cbrt-div_binary64 pow1_binary64 associate-*r/_binary64 frac-add_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16
3×flip3--_binary64 flip--_binary64
2×sub-neg_binary64 diff-log_binary64 pow1/3_binary64 associate-+l+_binary64 sum-log_binary64
1×associate-+r-_binary64 +-commutative_binary64
Counts
4 → 97
Calls
4 calls:
4.0ms
(cbrt.f64 (+.f64 n 1))
4.0ms
(cbrt.f64 (+.f64 n 1))
14.0ms
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n)))
32.0ms
(+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))) (+.f64 n 1)) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n))))

series1.0s

Counts
4 → 12
Calls
4 calls:
47.0ms
(cbrt.f64 (+.f64 n 1))
45.0ms
(cbrt.f64 (+.f64 n 1))
403.0ms
(-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n)))
507.0ms
(+.f64 (*.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))) (+.f64 n 1)) (-.f64 (*.f64 (+.f64 n 1) (log.f64 (cbrt.f64 (+.f64 n 1)))) (*.f64 n (log.f64 n))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
050739
150739
050739
150739
013
113
045799
145799
045799
145799
013
113
0299
1299
0299
1299
013
113
0299
1299
0299
1299
013
113

simplify146.0ms

Counts
109 → 109
Iterations

Useful iterations: 0 (106.0ms)

IterNodesCost
053362734

prune234.0ms

Filtered
89 candidates to 109 candidates (-22.5%)
Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New9811109
Fresh11011
Picked101
Done011
Total10022122

Merged error: 60.0b

Counts
122 → 22

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 (+.f64 n 1))
0.5b
(cbrt.f64 (+.f64 n 1))
1.0b
(-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n)))
49.7b
(+.f64 (*.f64 n (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity_binary64
11×add-log-exp_binary64
8×log-prod_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
6×associate--r+_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64
4×cbrt-div_binary64 pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 associate--l+_binary64
3×flip3-+_binary64 flip-+_binary64 associate-+r+_binary64
2×sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 pow1/3_binary64 associate-+l+_binary64 sum-log_binary64
1×associate-+r-_binary64 flip3--_binary64 +-commutative_binary64 flip--_binary64
Counts
4 → 69
Calls
4 calls:
4.0ms
(cbrt.f64 (+.f64 n 1))
4.0ms
(cbrt.f64 (+.f64 n 1))
15.0ms
(-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n)))
24.0ms
(+.f64 (*.f64 n (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n))))

series1.2s

Counts
4 → 12
Calls
4 calls:
45.0ms
(cbrt.f64 (+.f64 n 1))
43.0ms
(cbrt.f64 (+.f64 n 1))
517.0ms
(-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n)))
598.0ms
(+.f64 (*.f64 n (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))))) (-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1))) (+.f64 2 (+.f64 n 1))) (*.f64 n (log.f64 n))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
071189
171189
071189
171189
013
113
068579
168579
068579
168579
013
113
0299
1299
0299
1299
013
113
0299
1299
0299
1299
013
113

simplify93.0ms

Counts
81 → 81
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
051711687

prune122.0ms

Filtered
65 candidates to 81 candidates (-24.6%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New77481
Fresh41620
Picked101
Done101
Total8320103

Merged error: 59.1b

Counts
103 → 20

regimes72.0ms

Accuracy

0% (1.7b remaining)

Error of 60.8b against oracle of 59.1b and baseline of 60.8b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04842
14842

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s3627×body1280valid
655.0ms2707×body640valid
205.0ms1213×body320valid
90.0ms8000×pre80true
47.0ms453×body160valid

Profiling

Loading profile data...