Details

Time bar (total: 3.2s)

sample30.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify506.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0104
1204
2494
31444
44734
521284
650024

prune5.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.3b

Counts
2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

28.1b
(sqrt (+ (pow x 2.0) (pow x 2.0)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
24×sqrt-prod
18×*-un-lft-identity
16×unpow-prod-down
11×add-sqr-sqrt
10×add-cube-cbrt
9×distribute-rgt-out
7×distribute-lft-out
4×sqr-pow
2×pow1 distribute-lft1-in sqrt-div distribute-rgt1-in
1×add-exp-log rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 count-2 add-cbrt-cube flip-+ add-log-exp
Counts
1 → 36
Calls
1 calls:
10.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))

series22.0ms

Counts
1 → 3
Calls
1 calls:
22.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))

simplify193.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0127240
1372235
22508225
35002225

prune89.0ms

Filtered
39 candidates to 23 candidates (41.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New32739
Fresh000
Picked011
Done000
Total32840

Merged error: 0.1b

Counts
40 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
16.4b
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
14×*-un-lft-identity
13×add-sqr-sqrt
12×add-cube-cbrt
9×cbrt-prod
5×pow1 distribute-rgt-out distribute-lft-out
4×add-exp-log unpow-prod-down add-cbrt-cube add-log-exp sqr-pow
3×pow1/3
2×sqrt-div
1×rem-sqrt-square distribute-lft1-in sqrt-pow1 flip3-+ pow1/2 count-2 distribute-rgt1-in flip-+
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
6.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

series110.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt x)
23.0ms
(cbrt x)
23.0ms
(cbrt x)
38.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

simplify375.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (369.0ms)

IterNodesCost
0191566
1526548
23755481
35001478

prune156.0ms

Filtered
73 candidates to 54 candidates (26.0%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New72173
Fresh066
Picked011
Done011
Total72981

Merged error: 0.1b

Counts
81 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×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
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt x)
3.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series95.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt x)
23.0ms
(cbrt x)
24.0ms
(cbrt x)
23.0ms
(cbrt x)

simplify123.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 4 (25.0ms)

IterNodesCost
059204
1101188
2205148
3559144
42708128
55002128

prune151.0ms

Filtered
56 candidates to 44 candidates (21.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New53356
Fresh156
Picked011
Done112
Total551065

Merged error: 0.1b

Counts
65 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×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
Counts
4 → 44
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series93.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt x)
23.0ms
(cbrt x)
23.0ms
(cbrt x)
23.0ms
(cbrt x)

simplify122.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 4 (24.0ms)

IterNodesCost
059204
1101188
2205148
3559144
42708128
55002128

prune128.0ms

Filtered
56 candidates to 44 candidates (21.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New55156
Fresh077
Picked101
Done022
Total561066

Merged error: 0.1b

Counts
66 → 10

regimes288.0ms

Accuracy

77.2% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 1.4b

bsearch20.0ms

Steps
ItersRangePoint
9
-4.8433773848963505e-306
5.258898762175278e-303
-5.57766288406026e-310

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02013
12613
22613

end0.0ms

sample558.0ms

Algorithm
intervals
Results
411.0ms8008×body80valid

Profiling

Loading profile data...