Details

Time bar (total: 4.8s)

sample22.0ms

Algorithm
intervals
Results
7.0ms62×body1280valid
4.0ms48×body640valid
3.0ms122×body80valid
1.0ms19×body320valid
0.0ms5×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: 32.2b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.2b
(- (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)
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series423.0ms

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

simplify161.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0287358
1934344
24839322
35001322

prune149.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: 11.6b

Counts
54 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.6b
(cbrt x)
2.0b
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
2.2b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite22.0ms

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

series575.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(cbrt (+ x 1.0))
179.0ms
(cbrt x)
153.0ms
(log (exp (- (cbrt (+ x 1.0)) (cbrt x))))
151.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify37.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0336568
11025536
25001505

prune215.0ms

Filtered
81 candidates to 67 candidates (82.7%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New76581
Fresh189
Picked101
Done000
Total781391

Merged error: 11.5b

Counts
91 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

2.1b
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
2.1b
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
2.2b
(- (cbrt (+ x 1.0)) (cbrt x))
2.2b
(- (cbrt (+ x 1.0)) (cbrt x))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
38×*-un-lft-identity
32×cbrt-prod
26×log-pow
22×sqrt-pow1
20×exp-prod
16×log-prod difference-of-squares
12×distribute-lft-out--
10×add-cube-cbrt sqrt-prod
8×pow1 add-log-exp
6×add-exp-log
4×sub-neg exp-sum add-cbrt-cube distribute-lft-out
2×log-div flip3-- pow1/2 exp-diff sqrt-div diff-log rem-log-exp flip--
Counts
4 → 98
Calls
4 calls:
9.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
10.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
8.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

series836.0ms

Counts
4 → 12
Calls
4 calls:
265.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
264.0ms
(log (sqrt (exp (- (cbrt (+ x 1.0)) (cbrt x)))))
153.0ms
(- (cbrt (+ x 1.0)) (cbrt x))
153.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify40.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
03601078
110591004
25001980

prune388.0ms

Filtered
110 candidates to 88 candidates (80.0%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1100110
Fresh01212
Picked011
Done000
Total11013123

Merged error: 11.5b

Counts
123 → 13

localize11.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)))
0.6b
(cbrt x)
10.0b
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
31×cbrt-prod
30×*-un-lft-identity
22×add-sqr-sqrt
14×add-cube-cbrt cbrt-div
11×pow1
9×swap-sqr
8×pow1/3
7×flip3-+ associate-*r* associate-*l* flip-+ distribute-lft-out
6×add-exp-log add-log-exp
4×frac-times add-cbrt-cube unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 sub-neg flip3-- pow-plus diff-log prod-exp *-commutative flip-- cbrt-unprod
Counts
4 → 90
Calls
4 calls:
3.0ms
(cbrt (+ x 1.0))
9.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
1.0ms
(cbrt x)
13.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series531.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(cbrt (+ x 1.0))
106.0ms
(* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
178.0ms
(cbrt x)
157.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify61.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0420880
11572820
25001760

prune403.0ms

Filtered
102 candidates to 70 candidates (68.6%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New993102
Fresh01111
Picked101
Done011
Total10015115

Merged error: 11.5b

Counts
115 → 15

regimes138.0ms

Accuracy

99.1% (0.2b remaining)

Error of 11.7b against oracle of 11.6b and baseline of 29.8b

bsearch70.0ms

Steps
ItersRangePoint
7
1.3971991050448233e-15
2.7173623733142798e-14
1.9225024990421272e-14
6
-4.361883898670521e+62
-3.503735036911197e+61
-4.469274071904951e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06940
17640
27640

end0.0ms

sample554.0ms

Algorithm
intervals
Results
191.0ms1668×body1280valid
117.0ms1308×body640valid
98.0ms4098×body80valid
42.0ms613×body320valid
13.0ms313×body160valid

Profiling

Loading profile data...