Details

Time bar (total: 3.2s)

analyze13.0ms

Algorithm
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

sample220.0ms

Algorithm
intervals
Results
198.0ms256×body80valid

simplify502.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
048116
148116

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 30.0b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow x 2.0) 2)
29.0b
(sqrt (* (pow x 2.0) 2))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×add-exp-log associate-*l*
5×add-cube-cbrt *-un-lft-identity
4×unpow-prod-down add-cbrt-cube
3×pow1 associate-*r* prod-exp unswap-sqr
2×add-log-exp sqr-pow
1×pow-to-exp sqrt-pow1 pow1/2 pow-exp sqrt-prod *-commutative cbrt-unprod
Counts
2 → 35
Calls
2 calls:
5.0ms
(* (pow x 2.0) 2)
5.0ms
(sqrt (* (pow x 2.0) 2))

series134.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(* (pow x 2.0) 2)
75.0ms
(sqrt (* (pow x 2.0) 2))

simplify55.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04905307
14905307

prune87.0ms

Filtered
32 candidates to 41 candidates (-28.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New36541
Fresh000
Picked011
Done000
Total36642

Merged error: 14.7b

Counts
42 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b
(sqrt (sqrt (* (pow x 2.0) 2)))
0.5b
(* (sqrt (sqrt (* (pow x 2.0) 2))) (sqrt (sqrt (* (pow x 2.0) 2))))
29.0b
(sqrt (* (pow x 2.0) 2))
29.0b
(sqrt (* (pow x 2.0) 2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
38×sqrt-pow1
33×sqrt-prod
31×pow1
26×add-sqr-sqrt
20×pow1/2
13×add-cube-cbrt *-un-lft-identity
9×swap-sqr pow-prod-up
7×associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
5×pow-prod-down pow-sqr
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 → 96
Calls
4 calls:
4.0ms
(sqrt (sqrt (* (pow x 2.0) 2)))
15.0ms
(* (sqrt (sqrt (* (pow x 2.0) 2))) (sqrt (sqrt (* (pow x 2.0) 2))))
3.0ms
(sqrt (* (pow x 2.0) 2))
3.0ms
(sqrt (* (pow x 2.0) 2))

series241.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(sqrt (sqrt (* (pow x 2.0) 2)))
61.0ms
(* (sqrt (sqrt (* (pow x 2.0) 2))) (sqrt (sqrt (* (pow x 2.0) 2))))
60.0ms
(sqrt (* (pow x 2.0) 2))
59.0ms
(sqrt (* (pow x 2.0) 2))

simplify47.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05416796

prune184.0ms

Filtered
62 candidates to 108 candidates (-74.2%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1062108
Fresh134
Picked011
Done011
Total1077114

Merged error: 14.7b

Counts
114 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
29.0b
(sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))

rewrite10.0ms

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

series131.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
23.0ms
(cbrt x)
67.0ms
(sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))

simplify50.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04956335
14956335

prune95.0ms

Filtered
40 candidates to 55 candidates (-37.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New54155
Fresh044
Picked101
Done022
Total55762

Merged error: 7.1b

Counts
62 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
13.8b
(sqrt (pow (* (cbrt x) (cbrt x)) 2.0))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
5×sqrt-prod
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×rem-sqrt-square pow1/3
2×unpow-prod-down sqr-pow
1×sqrt-pow1 pow1/2
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
2.0ms
(sqrt (pow (* (cbrt x) (cbrt x)) 2.0))

series130.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt x)
21.0ms
(cbrt x)
21.0ms
(cbrt x)
65.0ms
(sqrt (pow (* (cbrt x) (cbrt x)) 2.0))

simplify61.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04894295
14894295

prune116.0ms

Filtered
49 candidates to 62 candidates (-26.5%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New59362
Fresh044
Picked101
Done112
Total61869

Merged error: 0.4b

Counts
69 → 8

regimes131.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11113

end0.0ms

sample896.0ms

Algorithm
intervals
Results
377.0ms8000×body80valid

Profiling

Loading profile data...