Details

Time bar (total: 4.9s)

sample19.0ms

Algorithm
intervals
Results
5.0ms57×body1280valid
3.0ms46×body640valid
3.0ms122×body80valid
1.0ms27×body320valid
0.0ms4×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.9b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.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:
2.0ms
(cbrt (+ x 1.0))
0.0ms
(cbrt x)
22.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series416.0ms

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

simplify161.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0287358
1934344
24833322
35001322

prune151.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 10.3b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.3b
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
0.6b
(cbrt x)
3.4b
(pow x 2/3)

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
16×cbrt-prod
15×add-sqr-sqrt
11×add-cube-cbrt
8×cbrt-div
7×pow1 add-exp-log flip3-+ associate-*l* flip-+
6×associate-*r* distribute-lft-out
5×add-cbrt-cube
4×frac-times add-log-exp
3×unpow-prod-down pow-unpow
2×pow1/3 associate-*r/ associate-*l/ unswap-sqr
1×distribute-rgt-in pow-to-exp pow-pow distribute-lft-in pow-prod-down pow-exp prod-exp *-commutative cbrt-unprod sqr-pow
Counts
4 → 78
Calls
4 calls:
2.0ms
(cbrt (+ x 1.0))
62.0ms
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
0.0ms
(cbrt x)
1.0ms
(pow x 2/3)

series670.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(cbrt (+ x 1.0))
233.0ms
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
177.0ms
(cbrt x)
172.0ms
(pow x 2/3)

simplify69.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
0623695
12618648
25001648

prune299.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.7b

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.3b
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
0.6b
(cbrt x)
31.6b
(cbrt (pow x 2))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
22×*-un-lft-identity
15×add-sqr-sqrt
11×add-cube-cbrt
8×cbrt-div
7×flip3-+ associate-*l* flip-+
6×pow1 add-exp-log associate-*r* distribute-lft-out
5×add-cbrt-cube
4×frac-times add-log-exp
3×unpow-prod-down pow1/3
2×associate-*r/ associate-*l/ unswap-sqr
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unpow2 sqr-pow
Counts
4 → 77
Calls
4 calls:
2.0ms
(cbrt (+ x 1.0))
63.0ms
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
0.0ms
(cbrt x)
1.0ms
(cbrt (pow x 2))

series688.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(cbrt (+ x 1.0))
237.0ms
(* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))
184.0ms
(cbrt x)
177.0ms
(cbrt (pow x 2))

simplify68.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
0614720
12575681
25001670

prune325.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.6b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
15.3b
(cbrt (pow (* (cbrt x) (cbrt x)) 2))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
15×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
1×unpow-prod-down unpow2 sqr-pow
Counts
4 → 47
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt (pow (* (cbrt x) (cbrt x)) 2))

series824.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt x)
175.0ms
(cbrt x)
183.0ms
(cbrt x)
291.0ms
(cbrt (pow (* (cbrt x) (cbrt x)) 2))

simplify49.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
096240
1267217
2930206
35001206

prune237.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.2b

regimes246.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02221
12621
22621

end0.0ms

sample473.0ms

Algorithm
intervals
Results
165.0ms1743×body1280valid
92.0ms1264×body640valid
84.0ms4075×body80valid
33.0ms618×body320valid
11.0ms300×body160valid