Details

Time bar (total: 1.7s)

analyze132.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%62.4%12.6%6
25%40.6%34.4%7
25%32.8%42.2%8
25%23.4%51.6%9
28.1%18%54%10
31.6%11.5%56.9%11
33.4%8.9%57.8%12
35.2%5.7%59.1%13
36.1%4.4%59.4%14

sample20.0ms

Algorithm
intervals
Results
11.0ms256×body80valid
0.0ms9×body80invalid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049097
149097

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (pow x 4.0) (pow y 4.0))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×difference-of-squares
8×unpow-prod-down
6×sqr-pow
5×*-un-lft-identity
3×add-log-exp
2×distribute-lft-out--
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip--
Counts
1 → 22
Calls
1 calls:
7.0ms
(- (pow x 4.0) (pow y 4.0))

series9.0ms

Counts
1 → 3
Calls
1 calls:
9.0ms
(- (pow x 4.0) (pow y 4.0))

simplify54.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04959327
14959327

prune55.0ms

Filtered
22 candidates to 25 candidates (-13.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New24125
Fresh000
Picked011
Done000
Total24226

Merged error: 0b

Counts
26 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (pow x 4.0) (pow y 4.0))
0.1b
(* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
13.7b
(sqrt (- (pow x 4.0) (pow y 4.0)))
13.7b
(sqrt (- (pow x 4.0) (pow y 4.0)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
112×add-sqr-sqrt
94×sqrt-prod
63×difference-of-squares
56×unpow-prod-down
48×*-un-lft-identity
42×sqr-pow
21×pow1 swap-sqr
17×associate-*r* associate-*l*
16×sqrt-div distribute-lft-out--
14×add-cube-cbrt
10×sqrt-pow1 pow1/2
9×flip3-- flip--
6×add-exp-log add-cbrt-cube add-log-exp
5×pow-prod-up
4×frac-times unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*r/ associate-*l/
1×pow2 sub-neg pow-plus sqrt-unprod diff-log prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 166
Calls
4 calls:
7.0ms
(- (pow x 4.0) (pow y 4.0))
26.0ms
(* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
7.0ms
(sqrt (- (pow x 4.0) (pow y 4.0)))
8.0ms
(sqrt (- (pow x 4.0) (pow y 4.0)))

series35.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(- (pow x 4.0) (pow y 4.0))
9.0ms
(* (sqrt (- (pow x 4.0) (pow y 4.0))) (sqrt (- (pow x 4.0) (pow y 4.0))))
9.0ms
(sqrt (- (pow x 4.0) (pow y 4.0)))
9.0ms
(sqrt (- (pow x 4.0) (pow y 4.0)))

simplify67.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049572368
149572368

prune391.0ms

Filtered
123 candidates to 178 candidates (-44.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1780178
Fresh000
Picked011
Done011
Total1782180

Merged error: 0b

Counts
180 → 2

regimes181.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
167

end0.0ms

analyze124.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%62.4%12.6%6
25%40.6%34.4%7
25%32.8%42.2%8
25%23.4%51.6%9
28.1%18%54%10
31.6%11.5%56.9%11
33.4%8.9%57.8%12
35.2%5.7%59.1%13
36.1%4.4%59.4%14

sample507.0ms

Algorithm
intervals
Results
355.0ms8000×body80valid
16.0ms311×body80invalid

Profiling

Loading profile data...