Details

Time bar (total: 20.3s)

sample26.0ms

Algorithm
intervals
Results
7.0ms51×body1280valid
4.0ms39×body640valid
3.0ms130×body80valid
2.0ms22×body320valid
1.0ms14×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2107
done107

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.9b

localize7.0ms

Local error

Found 3 expressions with local error:

0.2b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
4.7b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite80.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-exp-log add-cbrt-cube distribute-lft-out--
2×cbrt-div pow1/3 distribute-lft-out
1×sub-neg flip3-- flip3-+ diff-log flip-- flip-+
Counts
3 → 44
Calls
3 calls:
5.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
71.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series526.0ms

Counts
3 → 9
Calls
3 calls:
104.0ms
(cbrt (+ x 1.0))
220.0ms
(cbrt x)
202.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify4.2s

Counts
53 → 53
Iterations

Useful iterations: 4 (1.9s)

IterNodesCost
0131649
1290597
2672573
31717521
44878501
done5000501

prune214.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.6b

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
0.3b
(cbrt (cbrt (+ x 1.0)))
0.6b
(cbrt x)
10.3b
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div
15×cbrt-prod
9×*-un-lft-identity
7×add-sqr-sqrt add-cube-cbrt flip3-+ flip-+
6×add-log-exp
4×pow1 add-exp-log frac-times add-cbrt-cube
3×pow1/3
2×associate-*r/ associate-*l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 57
Calls
4 calls:
14.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
5.0ms
(cbrt (cbrt (+ x 1.0)))
1.0ms
(cbrt x)
62.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series820.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
133.0ms
(cbrt (cbrt (+ x 1.0)))
306.0ms
(cbrt x)
238.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify2.4s

Counts
69 → 69
Iterations

Useful iterations: done (2.4s)

IterNodesCost
02261272
14831225
211611132
330841016
done5000997

prune408.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 7.5b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (cbrt (+ x 1.0)))
0.3b
(cbrt (cbrt (+ x 1.0)))
0.6b
(cbrt x)
21.9b
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (* (cbrt (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (cbrt (+ x 1.0))))) (cbrt (cbrt (cbrt (+ x 1.0)))))) (cbrt x))

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
13×*-un-lft-identity
9×add-sqr-sqrt add-cube-cbrt
8×cbrt-div
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
2×flip3-+ flip-+ distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
4 → 57
Calls
4 calls:
6.0ms
(cbrt (cbrt (+ x 1.0)))
5.0ms
(cbrt (cbrt (+ x 1.0)))
1.0ms
(cbrt x)
453.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (* (cbrt (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (cbrt (+ x 1.0))))) (cbrt (cbrt (cbrt (+ x 1.0)))))) (cbrt x))

series821.0ms

Counts
4 → 12
Calls
4 calls:
120.0ms
(cbrt (cbrt (+ x 1.0)))
130.0ms
(cbrt (cbrt (+ x 1.0)))
328.0ms
(cbrt x)
243.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (* (cbrt (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (cbrt (+ x 1.0))))) (cbrt (cbrt (cbrt (+ x 1.0)))))) (cbrt x))

simplify2.5s

Counts
69 → 69
Iterations

Useful iterations: done (2.5s)

IterNodesCost
01711381
13901339
210051043
32968896
done5000819

prune411.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(pow (cbrt (cbrt (+ x 1.0))) 6)
0.6b
(pow (cbrt (cbrt (+ x 1.0))) 6)
20.5b
(- (* (* (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6))) (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

rewrite289.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
20×unpow-prod-down
17×*-un-lft-identity
13×add-sqr-sqrt add-cube-cbrt
6×pow1 add-exp-log pow-unpow add-log-exp
4×pow-pow add-cbrt-cube
3×pow1/3
2×pow-to-exp pow-exp distribute-lft-out sqr-pow
1×sub-neg flip3-- diff-log flip--
Counts
4 → 73
Calls
4 calls:
2.0ms
(cbrt x)
21.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
21.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
242.0ms
(- (* (* (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6))) (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series1.1s

Counts
4 → 12
Calls
4 calls:
327.0ms
(cbrt x)
254.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
243.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
239.0ms
(- (* (* (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6))) (sqrt (cbrt (pow (cbrt (cbrt (+ x 1.0))) 6)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify3.6s

Counts
85 → 85
Iterations

Useful iterations: done (3.6s)

IterNodesCost
01821547
14221245
211051082
34349963
done5000951

prune401.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

regimes88.0ms

Accuracy

99.6% (0.1b remaining)

Error of 0.4b against oracle of 0.3b and baseline of 29.9b

bsearch154.0ms

Steps
ItersRangePoint
6
9556.682540875734
100426.34546533476
71130.44665790045
10
-4418200179179808.0
-1501.2167507114543
-73338.54433713964

simplify13.0ms

Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
04183
15164
done5164

end0.0ms

sample1.6s

Algorithm
intervals
Results
465.0ms315×body160valid
408.0ms1750×body1280valid
229.0ms1223×body640valid
201.0ms4096×body80valid
107.0ms616×body320valid