Details

Time bar (total: 11.2s)

sample39.0ms

Algorithm
intervals
Results
14.0ms56×body1280valid
7.0ms134×body80valid
6.0ms33×body640valid
4.0ms27×body320valid
0.0ms6×body160valid

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
111
06

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b
(cbrt (+ x 1))
0.6b
(cbrt x)
1.7b
(- (cbrt (+ x 1)) (cbrt x))

rewrite55.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:
3.0ms
(cbrt (+ x 1))
1.0ms
(cbrt x)
49.0ms
(- (cbrt (+ x 1)) (cbrt x))

series501.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(cbrt (+ x 1))
293.0ms
(cbrt x)
146.0ms
(- (cbrt (+ x 1)) (cbrt x))

simplify860.0ms

Counts
56 → 56
Iterations
IterNodes
done2001
31472
2585
1267
0121

prune277.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.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:
33.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
83.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ 1 x))))
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series786.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
163.0ms
(* (cbrt x) (+ (cbrt x) (cbrt (+ 1 x))))
263.0ms
(cbrt x)
292.0ms
(cbrt x)

simplify825.0ms

Counts
120 → 120
Iterations
IterNodes
done2002
21385
1474
0185

prune627.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
41×cbrt-prod
33×*-un-lft-identity
31×add-sqr-sqrt
19×add-cube-cbrt
13×pow1 associate-*l*
12×cbrt-div
10×associate-*r*
9×swap-sqr
8×pow1/3 add-exp-log
7×flip3-+ flip-+
6×distribute-lft-out unswap-sqr
5×add-cbrt-cube
4×frac-times associate-*r/ insert-posit16 add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down
2×associate-*l/ prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 distribute-rgt-in neg-mul-1 distribute-lft-in pow-plus
Counts
4 → 112
Calls
4 calls:
33.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
70.0ms
(* (cbrt x) (+ (* (cbrt (- x)) (cbrt -1)) (cbrt (+ 1 x))))
2.0ms
(cbrt (- x))
1.0ms
(cbrt x)

series1.1s

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
164.0ms
(* (cbrt x) (+ (* (cbrt (- x)) (cbrt -1)) (cbrt (+ 1 x))))
606.0ms
(cbrt (- x))
291.0ms
(cbrt x)

simplify971.0ms

Counts
124 → 124
Iterations
IterNodes
done2001
21642
1530
0211

prune794.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize56.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:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.1s

Counts
4 → 12
Calls
4 calls:
316.0ms
(cbrt x)
273.0ms
(cbrt x)
272.0ms
(cbrt x)
249.0ms
(cbrt x)

simplify832.0ms

Counts
60 → 60
Iterations
IterNodes
done2001
51361
4446
3184
295
145
025

prune416.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 0.1b

regimes104.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done24
124
017

end0.0ms

sample1.5s

Algorithm
intervals
Results
511.0ms1762×body1280valid
344.0ms1254×body640valid
280.0ms4082×body80valid
190.0ms628×body320valid
30.0ms274×body160valid