Details

Time bar (total: 15.8s)

sample28.0ms

Algorithm
intervals
Results
11.0ms68×body1280valid
5.0ms39×body640valid
4.0ms118×body80valid
2.0ms18×body320valid
1.0ms13×body160valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
312
212
111
06

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.8b

localize17.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt (+ x 1))
0.6b
(cbrt x)
3.3b
(- (cbrt (+ x 1)) (cbrt x))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
14×*-un-lft-identity
13×add-sqr-sqrt
5×add-cube-cbrt add-log-exp
4×difference-of-squares
3×pow1 add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out--
2×cbrt-div pow1/3 distribute-lft-out
1×sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
3 → 47
Calls
3 calls:
4.0ms
(cbrt (+ x 1))
1.0ms
(cbrt x)
38.0ms
(- (cbrt (+ x 1)) (cbrt x))

series417.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(cbrt (+ x 1))
284.0ms
(cbrt x)
90.0ms
(- (cbrt (+ x 1)) (cbrt x))

simplify1.8s

Counts
56 → 56
Iterations
IterNodes
43094
31290
2564
1261
0121

prune520.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ 1 x))
0.3b
(cbrt (+ 1 x))
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-prod
12×*-un-lft-identity
8×add-sqr-sqrt add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
2×flip3-+ flip-+ distribute-lft-out
Counts
4 → 54
Calls
4 calls:
4.0ms
(cbrt (+ 1 x))
9.0ms
(cbrt (+ 1 x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series631.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(cbrt (+ 1 x))
43.0ms
(cbrt (+ 1 x))
290.0ms
(cbrt x)
256.0ms
(cbrt x)

simplify2.3s

Counts
66 → 66
Iterations
IterNodes
55034
41668
3731
2352
1165
082

prune694.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.3b

localize45.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt (* (cbrt x) (cbrt x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(cbrt (* (cbrt x) (cbrt x)))

series1.3s

Counts
4 → 12
Calls
4 calls:
309.0ms
(cbrt x)
287.0ms
(cbrt x)
296.0ms
(cbrt x)
365.0ms
(cbrt (* (cbrt x) (cbrt x)))

simplify1.5s

Counts
58 → 58
Iterations
IterNodes
53887
41078
3443
2188
186
044

prune854.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt (* (cbrt x) (cbrt x)))
0.6b
(cbrt (* (cbrt x) (cbrt x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-prod
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
7.0ms
(cbrt (* (cbrt x) (cbrt x)))
4.0ms
(cbrt (* (cbrt x) (cbrt x)))

series1.4s

Counts
4 → 12
Calls
4 calls:
273.0ms
(cbrt x)
305.0ms
(cbrt x)
512.0ms
(cbrt (* (cbrt x) (cbrt x)))
346.0ms
(cbrt (* (cbrt x) (cbrt x)))

simplify1.5s

Counts
56 → 56
Iterations
IterNodes
53887
41078
3443
2188
186
044

prune847.0ms

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 0.2b

regimes94.0ms

Accuracy

0% (0.3b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
216
116
010

end0.0ms

sample1.6s

Algorithm
intervals
Results
519.0ms1737×body1280valid
418.0ms344×body160valid
251.0ms1233×body640valid
187.0ms4083×body80valid
126.0ms603×body320valid