Details

Time bar (total: 1.5s)

sample15.0ms

Algorithm
intervals
Results
6.0ms292×body80valid

simplify261.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1253
2393
3503
4723
51203
62673
74463
86433
98063
1011963
1146063
1250023

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

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ x y) (* x y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
2×diff-log
1×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg flip3-- *-un-lft-identity associate--l+ sum-log add-cbrt-cube flip--
Counts
1 → 14
Calls
1 calls:
5.0ms
(- (+ x y) (* x y))

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(- (+ x y) (* x y))

simplify41.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
08787
130980
2132480
3500280

prune25.0ms

Filtered
11 candidates to 17 candidates (-54.5%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New15217
Fresh000
Picked101
Done000
Total16218

Merged error: 0.0b

Counts
18 → 2

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(- y (* x y))
0.0b
(+ x (- y (* x y)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
5×*-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg associate-+r+ diff-log sum-log add-cbrt-cube
1×+-commutative associate-+r- flip3-- distribute-rgt-out-- flip3-+ flip-- flip-+ distribute-lft-out
Counts
2 → 29
Calls
2 calls:
3.0ms
(- y (* x y))
4.0ms
(+ x (- y (* x y)))

series9.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(- y (* x y))
4.0ms
(+ x (- y (* x y)))

simplify50.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0133142
1406134
21849133
35001133

prune28.0ms

Filtered
23 candidates to 35 candidates (-52.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New34135
Fresh101
Picked011
Done000
Total35237

Merged error: 0.0b

Counts
37 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (* (sqrt (- y (* x y))) (sqrt (- y (* x y)))))
0.0b
(sqrt (- y (* x y)))
0.0b
(sqrt (- y (* x y)))
0.3b
(* (sqrt (- y (* x y))) (sqrt (- y (* x y))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
30×sqrt-prod
28×add-sqr-sqrt
21×pow1
20×*-un-lft-identity
16×sqrt-div
14×add-cube-cbrt
10×sqrt-pow1 pow1/2
9×swap-sqr
8×flip3-- flip--
7×associate-*r* associate-*l*
6×add-exp-log distribute-rgt-out-- 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×+-commutative pow2 flip3-+ pow-plus sqrt-unprod prod-exp sum-log rem-square-sqrt *-commutative cbrt-unprod flip-+
Counts
4 → 103
Calls
4 calls:
2.0ms
(+ x (* (sqrt (- y (* x y))) (sqrt (- y (* x y)))))
2.0ms
(sqrt (- y (* x y)))
2.0ms
(sqrt (- y (* x y)))
9.0ms
(* (sqrt (- y (* x y))) (sqrt (- y (* x y))))

series46.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(+ x (* (sqrt (- y (* x y))) (sqrt (- y (* x y)))))
7.0ms
(sqrt (- y (* x y)))
8.0ms
(sqrt (- y (* x y)))
18.0ms
(* (sqrt (- y (* x y))) (sqrt (- y (* x y))))

simplify53.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0292713
11382631
25002619

prune86.0ms

Filtered
71 candidates to 115 candidates (-62.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1141115
Fresh000
Picked101
Done011
Total1152117

Merged error: 0b

Counts
117 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (sqrt (- y (* x y))))
0.1b
(sqrt (sqrt (- y (* x y))))
0.2b
(* (pow (sqrt (sqrt (- y (* x y)))) 3) (sqrt (sqrt (- y (* x y)))))
0.4b
(pow (sqrt (sqrt (- y (* x y)))) 3)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
121×sqrt-prod
74×add-sqr-sqrt
36×sqrt-div
32×*-un-lft-identity
29×unpow-prod-down cube-prod
26×associate-*l*
25×add-cube-cbrt
24×unswap-sqr
12×pow1 sqrt-pow1
10×add-exp-log associate-*r*
9×flip3-- flip--
8×cube-div
7×distribute-rgt-out-- add-cbrt-cube
6×pow1/2
5×pow-pow sqr-pow
4×frac-times rem-sqrt-square add-log-exp
3×pow-unpow prod-exp
2×cube-mult pow-to-exp unpow3 associate-*r/ associate-*l/ pow-exp
1×pow-plus *-commutative pow-prod-up sqrt-pow2 cbrt-unprod rem-cube-cbrt
Counts
4 → 170
Calls
4 calls:
3.0ms
(sqrt (sqrt (- y (* x y))))
6.0ms
(sqrt (sqrt (- y (* x y))))
16.0ms
(* (pow (sqrt (sqrt (- y (* x y)))) 3) (sqrt (sqrt (- y (* x y)))))
6.0ms
(pow (sqrt (sqrt (- y (* x y)))) 3)

series87.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(sqrt (sqrt (- y (* x y))))
18.0ms
(sqrt (sqrt (- y (* x y))))
18.0ms
(* (pow (sqrt (sqrt (- y (* x y)))) 3) (sqrt (sqrt (- y (* x y)))))
37.0ms
(pow (sqrt (sqrt (- y (* x y)))) 3)

simplify91.0ms

Algorithm
egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
06171771
127701543
250021378

prune163.0ms

Filtered
95 candidates to 182 candidates (-91.6%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1820182
Fresh000
Picked011
Done011
Total1822184

Merged error: 0b

Counts
184 → 2

regimes63.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
073
173

end0.0ms

sample419.0ms

Algorithm
intervals
Results
191.0ms9139×body80valid
0.0ms2×body640valid

Profiling

Loading profile data...