Details

Time bar (total: 1.9s)

analyze3.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0.1%14

sample11.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body80valid

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0106
1106

prune4.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 27.9b

Counts
2 → 1

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

27.1b
(sqrt (* (* 2.0 x) x))

rewrite4.0ms (0.2%)

Algorithm
1×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:

4.0ms
(sqrt (* (* 2.0 x) x))

series4.0ms (0.2%)

Counts
1 → 3
Calls

1 calls:

4.0ms
(sqrt (* (* 2.0 x) x))

simplify122.0ms (6.6%)

Algorithm
1×egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
0467580
1467580

prune37.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New11415
Fresh000
Picked011
Done000
Total11516

Merged error: 0.1b

Counts
16 → 5

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite31.0ms (1.7%)

Algorithm
1×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:

14.0ms
(* (sqrt (sqrt (* x (* 2.0 x)))) (sqrt (sqrt (* x (* 2.0 x)))))
4.0ms
(sqrt (sqrt (* x (* 2.0 x))))
4.0ms
(sqrt (* x (* 2.0 x)))
3.0ms
(sqrt (* x (* 2.0 x)))

series19.0ms (1%)

Counts
4 → 12
Calls

4 calls:

6.0ms
(* (sqrt (sqrt (* x (* 2.0 x)))) (sqrt (sqrt (* x (* 2.0 x)))))
6.0ms
(sqrt (sqrt (* x (* 2.0 x))))
4.0ms
(sqrt (* x (* 2.0 x)))
3.0ms
(sqrt (* x (* 2.0 x)))

simplify45.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04936783
14936783

prune279.0ms (15%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1366142
Fresh033
Picked101
Done011
Total13710147

Merged error: 0.1b

Counts
147 → 10

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b
(sqrt (fabs (* x (sqrt 2.0))))
0.4b
(* x (sqrt 2.0))
0.4b
(* x (sqrt 2.0))
0.5b
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* x (sqrt 2.0)))))

rewrite19.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
40×add-sqr-sqrt
29×sqrt-prod
24×pow1
19×add-cube-cbrt *-un-lft-identity
18×associate-*r*
12×associate-*l*
10×add-exp-log add-cbrt-cube
9×sqrt-pow1 pow1/2
8×swap-sqr unswap-sqr
5×pow-prod-down pow-prod-up
4×add-log-exp
3×prod-exp pow-sqr *-commutative cbrt-unprod
1×pow2 rem-sqrt-square pow-plus sqrt-unprod rem-square-sqrt
Counts
4 → 106
Calls

4 calls:

6.0ms
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* x (sqrt 2.0)))))
5.0ms
(* x (sqrt 2.0))
5.0ms
(* x (sqrt 2.0))
1.0ms
(sqrt (fabs (* x (sqrt 2.0))))

series12.0ms (0.6%)

Counts
4 → 12
Calls

4 calls:

4.0ms
(* x (sqrt 2.0))
4.0ms
(* x (sqrt 2.0))
3.0ms
(sqrt (fabs (* x (sqrt 2.0))))
1.0ms
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* x (sqrt 2.0)))))

simplify53.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05070723

prune301.0ms (16.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1144118
Fresh268
Picked101
Done011
Total11711128

Merged error: 0.0b

Counts
128 → 11

localize12.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b
(* x (sqrt (sqrt 2.0)))
0.3b
(* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
0.4b
(* x (sqrt 2.0))
0.5b
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))))

rewrite28.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
36×add-sqr-sqrt
35×sqrt-prod
30×associate-*r*
18×add-cube-cbrt *-un-lft-identity
17×pow1
15×add-exp-log add-cbrt-cube
13×associate-*l*
9×unswap-sqr
8×pow-prod-down
6×prod-exp cbrt-unprod
4×*-commutative add-log-exp
2×sqrt-pow1 pow1/2
1×sqrt-unprod
Counts
4 → 102
Calls

4 calls:

9.0ms
(* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
6.0ms
(* x (sqrt (sqrt 2.0)))
6.0ms
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))))
5.0ms
(* x (sqrt 2.0))

series15.0ms (0.8%)

Counts
4 → 12
Calls

4 calls:

6.0ms
(* x (sqrt (sqrt 2.0)))
4.0ms
(* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
4.0ms
(* x (sqrt 2.0))
1.0ms
(* (sqrt (fabs (* x (sqrt 2.0)))) (sqrt (fabs (* (* x (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))))

simplify65.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04977749
14977749

prune326.0ms (17.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New1113114
Fresh369
Picked011
Done011
Total11411125

Merged error: 0.0b

Counts
125 → 11

regimes179.0ms (9.6%)

Accuracy

Total 0.5b remaining (95.7%)

Threshold costs 0.5b (95.7%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01618
11618

end0.0ms (0%)

sample271.0ms (14.6%)

Algorithm
1×intervals
Results
183.0ms8000×body80valid

Profiling

Loading profile data...