Details

Time bar (total: 1.3s)

sample16.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
093
1103
2103

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

Counts
2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

26.7b
(sqrt (* (* 2.0 x) x))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1
3×sqrt-pow1 pow-prod-down
1×add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow1/2 sqrt-prod add-cbrt-cube add-log-exp
Counts
1 → 12
Calls
1 calls:
3.0ms
(sqrt (* (* 2.0 x) x))

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(sqrt (* (* 2.0 x) x))

simplify97.0ms

Algorithm
egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
03345
16043
28643
310043
411943
517343
660043
7183143
8500143

prune30.0ms

Filtered
15 candidates to 11 candidates (26.7%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New11415
Fresh000
Picked011
Done000
Total11516

Merged error: 0.1b

Counts
16 → 5

localize7.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (* (* 2.0 x) x)))
0.5b
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
26.7b
(sqrt (* (* 2.0 x) x))
26.7b
(sqrt (* (* 2.0 x) x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
158×pow1
154×sqrt-pow1
82×pow-prod-down
33×sqrt-prod
26×add-sqr-sqrt
24×pow1/2
21×pow-prod-up
13×add-cube-cbrt *-un-lft-identity pow-sqr
9×swap-sqr
7×associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
4×add-log-exp unswap-sqr
1×pow2 rem-sqrt-square pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 130
Calls
4 calls:
4.0ms
(sqrt (sqrt (* (* 2.0 x) x)))
17.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
3.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))

series17.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(sqrt (sqrt (* (* 2.0 x) x)))
4.0ms
(* (sqrt (sqrt (* (* 2.0 x) x))) (sqrt (sqrt (* (* 2.0 x) x))))
3.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))

simplify40.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0213559
1889517
25001478

prune147.0ms

Filtered
142 candidates to 61 candidates (57.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1393142
Fresh033
Picked101
Done011
Total1407147

Merged error: 0.1b

Counts
147 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

26.7b
(sqrt (* (* 2.0 x) x))
26.7b
(sqrt (* (* 2.0 x) x))
26.7b
(sqrt (* (* 2.0 x) x))
26.7b
(sqrt (* (* 2.0 x) x))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
28×pow1
12×sqrt-pow1 pow-prod-down
4×add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow1/2 sqrt-prod add-cbrt-cube add-log-exp
Counts
4 → 48
Calls
4 calls:
3.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))

series14.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (* (* 2.0 x) x))
3.0ms
(sqrt (* (* 2.0 x) x))
3.0ms
(sqrt (* (* 2.0 x) x))
4.0ms
(sqrt (* (* 2.0 x) x))

simplify100.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
033180
160172
286172
3100172
4119172
5173172
6600172
71831172
85001172

prune157.0ms

Filtered
60 candidates to 44 candidates (26.7%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New60060
Fresh055
Picked011
Done011
Total60767

Merged error: 0.1b

Counts
67 → 7

localize3.0ms

Local error

Found 1 expressions with local error:

0.4b
(* (sqrt 2.0) x)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×associate-*l*
4×add-cube-cbrt *-un-lft-identity sqrt-prod
3×pow1 add-exp-log associate-*r* add-cbrt-cube
2×unswap-sqr
1×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp
Counts
1 → 22
Calls
1 calls:
4.0ms
(* (sqrt 2.0) x)

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(* (sqrt 2.0) x)

simplify54.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06484
122480
252180
380980
4193380
5500180

prune27.0ms

Filtered
25 candidates to 15 candidates (40.0%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New23225
Fresh134
Picked011
Done022
Total24832

Merged error: 0.1b

Counts
32 → 8

regimes207.0ms

Accuracy

99.1% (0.3b remaining)

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

bsearch11.0ms

Steps
ItersRangePoint
8
-1.2128248765666837e-307
1.6736278863314654e-306
-1.7415863520255e-310

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0187
1247
2247

end0.0ms

sample314.0ms

Algorithm
intervals
Results
192.0ms8002×body80valid

Profiling

Loading profile data...