Details

Time bar (total: 20.1s)

sample33.0ms

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

simplify8.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2107
done107

prune4.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))

rewrite60.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:
4.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
54.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series661.0ms

Counts
3 → 9
Calls
3 calls:
124.0ms
(cbrt (+ x 1.0))
329.0ms
(cbrt x)
207.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify4.3s

Counts
53 → 53
Iterations

Useful iterations: 4 (2.1s)

IterNodesCost
0131649
1290597
2672573
31717521
44878501
done5000501

prune204.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 7.6b

localize15.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))

rewrite88.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))))
10.0ms
(cbrt (cbrt (+ x 1.0)))
2.0ms
(cbrt x)
61.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series792.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
142.0ms
(cbrt (cbrt (+ x 1.0)))
260.0ms
(cbrt x)
251.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

prune410.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 7.5b

localize36.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))

rewrite569.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:
8.0ms
(cbrt (cbrt (+ x 1.0)))
8.0ms
(cbrt (cbrt (+ x 1.0)))
1.0ms
(cbrt x)
550.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))

series779.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (cbrt (+ x 1.0)))
121.0ms
(cbrt (cbrt (+ x 1.0)))
265.0ms
(cbrt x)
258.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.2s

Counts
69 → 69
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01711381
13901339
210051043
32968896
done5000819

prune406.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize39.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))

rewrite232.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:
1.0ms
(cbrt x)
14.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
16.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
199.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.0s

Counts
4 → 12
Calls
4 calls:
288.0ms
(cbrt x)
267.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
261.0ms
(pow (cbrt (cbrt (+ x 1.0))) 6)
205.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.7s

Counts
85 → 85
Iterations

Useful iterations: done (3.7s)

IterNodesCost
01821547
14221245
211051082
34349963
done5000951

prune433.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

regimes55.0ms

Accuracy

99.6% (0.1b remaining)

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

bsearch168.0ms

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

simplify13.0ms

Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
04183
15164
done5164

end0.0ms

sample1.5s

Algorithm
intervals
Results
869.0ms1750×body1280valid
211.0ms1223×body640valid
187.0ms4096×body80valid
60.0ms616×body320valid
21.0ms315×body160valid