Details

Time bar (total: 17.8s)

sample40.0ms

Algorithm
intervals
Results
14.0ms61×body1280valid
6.0ms37×body640valid
6.0ms127×body80valid
2.0ms18×body320valid
1.0ms13×body160valid

simplify19.0ms

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite46.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:
Slowest
42.0ms
(- (cbrt (+ x 1)) (cbrt x))
2.0ms
(cbrt (+ x 1))
1.0ms
(cbrt x)

series419.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
290.0ms
(cbrt x)
91.0ms
(- (cbrt (+ x 1)) (cbrt x))
38.0ms
(cbrt (+ x 1))

simplify1.5s

Counts
56 → 56

prune567.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
38×cbrt-prod *-un-lft-identity
29×add-sqr-sqrt
17×add-cube-cbrt
13×pow1 associate-*r* associate-*l*
12×cbrt-div
10×distribute-lft-out
9×swap-sqr
8×pow1/3 add-exp-log
7×flip3-+ flip-+
6×unswap-sqr
5×add-cbrt-cube
4×frac-times associate-*r/ insert-posit16 add-log-exp
3×pow-prod-down
2×associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus
Counts
4 → 108
Calls
4 calls:
Slowest
94.0ms
(* (cbrt x) (+ (cbrt (+ 1 x)) (cbrt x)))
34.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series768.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
291.0ms
(cbrt x)
246.0ms
(cbrt x)
163.0ms
(* (cbrt x) (+ (cbrt (+ 1 x)) (cbrt x)))
68.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))

simplify2.1s

Counts
120 → 120

prune1.4s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
84×cbrt-prod
43×add-sqr-sqrt
42×*-un-lft-identity
24×cbrt-div
21×add-cube-cbrt
16×associate-*r* associate-*l*
13×pow1
12×swap-sqr
11×unswap-sqr
10×distribute-lft-out
8×pow1/3 add-exp-log
7×flip3-+ flip-+
5×add-cbrt-cube
4×frac-times associate-*r/ insert-posit16 add-log-exp
3×pow-prod-down
2×associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in distribute-lft-in pow-plus
Counts
4 → 122
Calls
4 calls:
Slowest
60.0ms
(* (cbrt x) (+ (cbrt (+ 1 x)) (cbrt x)))
30.0ms
(* (cbrt (cbrt (+ 1 x))) (cbrt (cbrt (+ 1 x))))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series748.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
269.0ms
(cbrt x)
235.0ms
(cbrt x)
178.0ms
(* (cbrt x) (+ (cbrt (+ 1 x)) (cbrt x)))
66.0ms
(* (cbrt (cbrt (+ 1 x))) (cbrt (cbrt (+ 1 x))))

simplify688.0ms

Counts
134 → 134

prune1.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×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 → 48
Calls
4 calls:
Slowest
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
346.0ms
(cbrt x)
345.0ms
(cbrt x)
313.0ms
(cbrt x)
288.0ms
(cbrt x)

simplify3.0s

Counts
60 → 60

prune801.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.1b

regimes144.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch5.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
895.0ms1688×body1280valid
329.0ms4160×body80valid
294.0ms1243×body640valid
94.0ms598×body320valid
71.0ms311×body160valid