Details

Time bar (total: 5.4s)

sample21.0ms

Algorithm
intervals
Results
6.0ms59×body1280valid
3.0ms128×body80valid
3.0ms38×body640valid
1.0ms23×body320valid
0.0ms8×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104
done104

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.5b

localize6.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.4b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite53.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)
47.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series428.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(cbrt (+ x 1.0))
186.0ms
(cbrt x)
153.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify158.0ms

Counts
53 → 53
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0287358
1934344
24833322
35001322
done5001322

prune158.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.5b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
11×cbrt-prod *-un-lft-identity
7×add-sqr-sqrt add-cube-cbrt
6×add-log-exp
4×pow1 add-exp-log cbrt-div add-cbrt-cube
3×pow1/3
2×flip3-+ flip-+ distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
4 → 51
Calls
4 calls:
7.0ms
(cbrt (+ x 1.0))
4.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
41.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series514.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(cbrt (+ x 1.0))
90.0ms
(cbrt (+ x 1.0))
184.0ms
(cbrt x)
148.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify162.0ms

Counts
63 → 63
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0288572
1976531
24901489
35002489
done5002489

prune242.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 11.5b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
13.1b
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip-- difference-of-squares
Counts
4 → 46
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
291.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))

series739.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt x)
192.0ms
(cbrt x)
185.0ms
(cbrt x)
180.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (cbrt x)))

simplify37.0ms

Counts
58 → 58
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0255660
1956543
25001506
done5001506

prune458.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 11.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
11.9b
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))

rewrite326.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip--
Counts
4 → 45
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
322.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))

series695.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt x)
171.0ms
(cbrt x)
171.0ms
(cbrt x)
175.0ms
(- (* (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))

simplify39.0ms

Counts
57 → 57
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0260750
11009637
25001613
done5001613

prune248.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 11.5b

regimes53.0ms

Accuracy

99.1% (0.2b remaining)

Error of 11.9b against oracle of 11.8b and baseline of 29.5b

bsearch86.0ms

Steps
ItersRangePoint
9
8.957781355231878e-11
0.00012253353073063669
1.2555810482386405e-10
10
-4.5858895370999445e+67
-2.591035625538939e+55
-4.514659243240918e+61

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06144
16544
26544
done6544

end0.0ms

sample524.0ms

Algorithm
intervals
Results
171.0ms1759×body1280valid
93.0ms1177×body640valid
83.0ms4155×body80valid
31.0ms588×body320valid
12.0ms321×body160valid