Details

Time bar (total: 4.7s)

sample19.0ms

Algorithm
intervals
Results
5.0ms56×body1280valid
3.0ms39×body640valid
2.0ms126×body80valid
1.0ms27×body320valid
0.0ms8×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: 30.9b

localize6.0ms

Local error

Found 3 expressions with local error:

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

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

series386.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(cbrt (+ x 1.0))
171.0ms
(cbrt x)
137.0ms
(- (cbrt (+ x 1.0)) (cbrt x))

simplify168.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
0287358
1934344
24833322
35001322

prune146.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 12.4b

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ x 1.0))
0.3b
(cbrt (* (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))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
22×cbrt-div
8×cbrt-prod *-un-lft-identity
7×flip3-+ flip-+
6×add-sqr-sqrt add-cube-cbrt add-log-exp
4×pow1 add-exp-log frac-times add-cbrt-cube
3×pow1/3
2×associate-*r/ associate-*l/
1×sub-neg flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 54
Calls
4 calls:
4.0ms
(cbrt (+ x 1.0))
13.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
1.0ms
(cbrt x)
42.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series496.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(cbrt (+ x 1.0))
97.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
172.0ms
(cbrt x)
143.0ms
(- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify44.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0408700
11319649
25002628

prune248.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 12.4b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
0.3b
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
0.6b
(cbrt x)
20.5b
(- (* (* (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
40×cbrt-div
12×flip3-+ flip-+
8×frac-times
6×add-log-exp
5×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log associate-*r/ associate-*l/ add-cbrt-cube
3×pow1/3
1×sub-neg flip3-- diff-log flip--
Counts
4 → 57
Calls
4 calls:
14.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
14.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
1.0ms
(cbrt x)
197.0ms
(- (* (* (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

series509.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
98.0ms
(cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
172.0ms
(cbrt x)
143.0ms
(- (* (* (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (sqrt (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))

simplify45.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0392948
11311830
25001805

prune318.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 12.4b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite289.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)
286.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)))

series691.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt x)
174.0ms
(cbrt x)
172.0ms
(cbrt x)
168.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)))

simplify38.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0255660
1956543
25001506

prune215.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 12.4b

regimes82.0ms

Accuracy

99.7% (0.1b remaining)

Error of 11.9b against oracle of 11.9b and baseline of 29.9b

bsearch88.0ms

Steps
ItersRangePoint
10
8.950540206577903e-05
66689094922.78456
0.46480671391080947
9
-7.946654668042883e+65
-5.262337458410709e+57
-4.4314229197170733e+61

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06246
16646
26646

end0.0ms

sample511.0ms

Algorithm
intervals
Results
167.0ms1748×body1280valid
96.0ms1239×body640valid
78.0ms4097×body80valid
35.0ms617×body320valid
11.0ms299×body160valid