Details

Time bar (total: 6.4s)

sample25.0ms

Algorithm
intervals
Results
6.0ms55×body1280valid
6.0ms35×body640valid
3.0ms139×body80valid
1.0ms18×body320valid
0.0ms9×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 27.5b

Counts
2 → 1

localize5.0ms

Local error

Found 3 expressions with local error:

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

rewrite12.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:
3.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
7.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series413.0ms

Counts
3 → 9
Calls
3 calls:
90.0ms
(cbrt (+ x 1.0))
172.0ms
(cbrt x)
150.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify155.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0287358
1934344
24839322
35001322

prune196.0ms

Filtered
53 candidates to 45 candidates (84.9%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New431053
Fresh000
Picked101
Done000
Total441054

Merged error: 12.7b

Counts
54 → 10

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.7b
(- (cbrt (+ x 1.0)) (cbrt x))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
23×cbrt-prod add-sqr-sqrt *-un-lft-identity
10×log-prod
8×difference-of-squares
7×add-cube-cbrt
6×distribute-lft-out-- add-log-exp
5×pow1 add-exp-log
4×add-cbrt-cube
3×distribute-lft-out
2×log-div cbrt-div flip3-- pow1/3 flip--
1×sub-neg flip3-+ diff-log rem-log-exp log-pow flip-+
Counts
4 → 65
Calls
4 calls:
3.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
8.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

series642.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(cbrt (+ x 1.0))
187.0ms
(cbrt x)
149.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
203.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

simplify48.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0467711
11664676
25001672

prune322.0ms

Filtered
77 candidates to 64 candidates (83.1%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New69877
Fresh279
Picked101
Done000
Total721587

Merged error: 12.7b

Counts
87 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (cbrt (+ x 1.0)) (cbrt x))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
35×*-un-lft-identity
32×cbrt-prod
30×log-prod
16×difference-of-squares
12×distribute-lft-out--
7×pow1 add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×flip3-- add-cbrt-cube flip-- distribute-lft-out
3×rem-log-exp log-pow
1×sub-neg diff-log
Counts
4 → 82
Calls
4 calls:
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
11.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

series751.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
202.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
201.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
200.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

simplify53.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
04061269
114471194
250021119

prune479.0ms

Filtered
94 candidates to 75 candidates (79.8%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New92294
Fresh01414
Picked101
Done000
Total9316109

Merged error: 12.6b

Counts
109 → 16

localize22.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (cbrt (+ x 1.0)) (cbrt x))
8.1b
(log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.3b
(log (- (cbrt (+ x 1.0)) (cbrt x)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
50×log-prod
41×add-sqr-sqrt
40×cbrt-prod
24×times-frac
19×distribute-lft-out
18×difference-of-squares
17×add-cube-cbrt
9×add-exp-log distribute-lft-out--
7×pow1
6×add-log-exp
5×log-div
4×rem-log-exp add-cbrt-cube
3×flip3-- log-pow flip--
2×associate-/r/
1×sub-neg flip3-+ diff-log div-exp flip-+ div-inv
Counts
4 → 102
Calls
4 calls:
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
16.0ms
(log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))
11.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
8.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

series1.4s

Counts
4 → 12
Calls
4 calls:
154.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
833.0ms
(log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))
201.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))
198.0ms
(log (- (cbrt (+ x 1.0)) (cbrt x)))

simplify76.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 1 (35.0ms)

IterNodesCost
018683729
150013619

prune803.0ms

Filtered
114 candidates to 87 candidates (76.3%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New1140114
Fresh01515
Picked011
Done000
Total11416130

Merged error: 12.6b

Counts
130 → 16

regimes206.0ms

Accuracy

98.8% (0.2b remaining)

Error of 11.8b against oracle of 11.6b and baseline of 29.7b

bsearch74.0ms

Steps
ItersRangePoint
4
2.9600508330889187e-18
4.4794073383431486e-18
4.416008818839432e-18
9
-7.021614727738459e+61
-3.4768290322168043e+53
-4.490885237903065e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05937
16337
26337

end0.0ms

sample547.0ms

Algorithm
intervals
Results
181.0ms1734×body1280valid
103.0ms1237×body640valid
89.0ms4097×body80valid
38.0ms612×body320valid
12.0ms320×body160valid

Profiling

Loading profile data...