Details

Time bar (total: 4.1s)

sample20.0ms

Algorithm
intervals
Results
6.0ms59×body1280valid
3.0ms139×body80valid
2.0ms26×body640valid
1.0ms23×body320valid
0.0ms9×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.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: 28.1b

Counts
2 → 1

localize5.0ms

Local error

Found 3 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
2×cbrt-div pow1/3
1×sub-neg flip3-- flip3-+ flip-- flip-+
Counts
3 → 8
Calls
3 calls:
2.0ms
(cbrt (+ x 1.0))
1.0ms
(cbrt x)
3.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series426.0ms

Counts
3 → 9
Calls
3 calls:
92.0ms
(cbrt (+ x 1.0))
178.0ms
(cbrt x)
156.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify131.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
0251168
1868160
24033142
35001136

prune68.0ms

Filtered
17 candidates to 15 candidates (88.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New12517
Fresh000
Picked011
Done000
Total12618

Merged error: 10.6b

Counts
18 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- x 1.0))
0.6b
(cbrt x)
15.4b
(cbrt (- (* x x) (* 1.0 1.0)))
16.5b
(- (/ (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0))) (cbrt x))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div
4×cbrt-prod flip3-- *-commutative flip-- difference-of-squares
3×fma-neg pow1/3
2×associate-/r/
1×sub-neg div-inv
Counts
4 → 18
Calls
4 calls:
2.0ms
(cbrt (- x 1.0))
1.0ms
(cbrt x)
4.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
9.0ms
(- (/ (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0))) (cbrt x))

series670.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(cbrt (- x 1.0))
186.0ms
(cbrt x)
191.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
190.0ms
(- (/ (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0))) (cbrt x))

simplify45.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0425282
11612277
25001260

prune126.0ms

Filtered
30 candidates to 24 candidates (80.0%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New26430
Fresh044
Picked011
Done011
Total261036

Merged error: 10.6b

Counts
36 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- x 1.0))
0.6b
(cbrt x)
15.4b
(cbrt (- (* x x) (* 1.0 1.0)))
27.9b
(fma (cbrt (- (* x x) (* 1.0 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-prod cbrt-div *-commutative difference-of-squares
3×pow1/3
2×flip3-- flip--
1×fma-udef
Counts
4 → 12
Calls
4 calls:
2.0ms
(cbrt (- x 1.0))
1.0ms
(cbrt x)
4.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
1.0ms
(fma (cbrt (- (* x x) (* 1.0 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

series724.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(cbrt (- x 1.0))
185.0ms
(cbrt x)
193.0ms
(cbrt (- (* x x) (* 1.0 1.0)))
245.0ms
(fma (cbrt (- (* x x) (* 1.0 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

simplify137.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0384217
11322214
24934200
35001200

prune121.0ms

Filtered
24 candidates to 20 candidates (83.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New19524
Fresh437
Picked101
Done112
Total25934

Merged error: 10.6b

Counts
34 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- x 1.0))
0.2b
(cbrt (- x 1.0))
0.6b
(cbrt x)
28.1b
(fma (* (cbrt (+ x 1.0)) (cbrt (- x 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×cbrt-div
3×pow1/3
2×flip3-- flip--
1×fma-udef
Counts
4 → 8
Calls
4 calls:
2.0ms
(cbrt (- x 1.0))
2.0ms
(cbrt (- x 1.0))
1.0ms
(cbrt x)
1.0ms
(fma (* (cbrt (+ x 1.0)) (cbrt (- x 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

series652.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(cbrt (- x 1.0))
103.0ms
(cbrt (- x 1.0))
179.0ms
(cbrt x)
260.0ms
(fma (* (cbrt (+ x 1.0)) (cbrt (- x 1.0))) (/ 1 (cbrt (- x 1.0))) (- (cbrt x)))

simplify95.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 3 (91.0ms)

IterNodesCost
0301207
1952193
23430170
35001168

prune93.0ms

Filtered
20 candidates to 19 candidates (95.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New18220
Fresh167
Picked011
Done101
Total20929

Merged error: 10.6b

Counts
29 → 9

regimes67.0ms

Accuracy

99.3% (0.1b remaining)

Error of 12.0b against oracle of 11.9b and baseline of 30.1b

bsearch93.0ms

Steps
ItersRangePoint
9
1.2497558356096057e-15
3.88064682879673e-06
2.295414018381466e-10
8
-4.7170329246979447e+61
-3.6046192339311515e+58
-4.455930272966536e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06441
17141
27141

end0.0ms

sample511.0ms

Algorithm
intervals
Results
179.0ms1749×body1280valid
104.0ms1253×body640valid
82.0ms4072×body80valid
37.0ms586×body320valid
13.0ms340×body160valid