Details

Time bar (total: 17.5s)

sample49.0ms

Algorithm
intervals
Results
17.0ms55×body1280valid
9.0ms139×body80valid
8.0ms32×body640valid
3.0ms17×body320valid
2.0ms13×body160valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
111
06

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite48.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:
5.0ms
(cbrt (+ x 1))
1.0ms
(cbrt x)
40.0ms
(- (cbrt (+ x 1)) (cbrt x))

series460.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(cbrt (+ x 1))
269.0ms
(cbrt x)
130.0ms
(- (cbrt (+ x 1)) (cbrt x))

simplify1.7s

Counts
56 → 56
Iterations
IterNodes
done5003
31761
2618
1267
0121

prune283.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.2b

localize30.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
3.1b
(- (+ x 1) x)

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
9×cbrt-prod add-sqr-sqrt add-log-exp
7×add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×pow1/3
2×diff-log distribute-lft-out--
1×sum-log sub-neg flip3-- associate--l+ flip-- distribute-lft-out difference-of-squares
Counts
4 → 54
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(cbrt x)
46.0ms
(- (+ x 1) x)

series824.0ms

Counts
4 → 12
Calls
4 calls:
300.0ms
(cbrt x)
267.0ms
(cbrt x)
255.0ms
(cbrt x)
2.0ms
(- (+ x 1) x)

simplify1.2s

Counts
66 → 66
Iterations
IterNodes
done5003
31102
2275
1116
057

prune281.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
7.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.2s

Counts
4 → 12
Calls
4 calls:
328.0ms
(* (cbrt x) (cbrt x))
317.0ms
(cbrt x)
247.0ms
(cbrt x)
262.0ms
(cbrt x)

simplify3.2s

Counts
89 → 89
Iterations
IterNodes
done5002
44253
31180
2391
1138
063

prune954.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-prod
11×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 → 57
Calls
4 calls:
1.0ms
(cbrt x)
2.0ms
(cbrt (cbrt x))
2.0ms
(cbrt (cbrt x))
2.0ms
(cbrt (cbrt x))

series1.5s

Counts
4 → 12
Calls
4 calls:
274.0ms
(cbrt x)
396.0ms
(cbrt (cbrt x))
376.0ms
(cbrt (cbrt x))
449.0ms
(cbrt (cbrt x))

simplify2.8s

Counts
69 → 69
Iterations
IterNodes
done5018
54082
41084
3418
2172
179
044

prune810.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

regimes160.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done18
118
012

end0.0ms

sample1.8s

Algorithm
intervals
Results
985.0ms1766×body1280valid
294.0ms1270×body640valid
239.0ms4052×body80valid
90.0ms596×body320valid
32.0ms316×body160valid