Details

Time bar (total: 3.1s)

sample14.0ms

Algorithm
intervals
Results
6.0ms264×body80valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0123
1163
2183
3183

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) (- z y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt *-un-lft-identity
25×times-frac
13×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-/l*
3×add-exp-log add-cbrt-cube
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv add-log-exp
Counts
1 → 52
Calls
1 calls:
8.0ms
(/ (- x y) (- z y))

series54.0ms

Counts
1 → 3
Calls
1 calls:
54.0ms
(/ (- x y) (- z y))

simplify53.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0223354
1618340
22031340
35002340

prune80.0ms

Filtered
55 candidates to 37 candidates (67.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New54155
Fresh000
Picked011
Done000
Total54256

Merged error: 0.0b

Counts
56 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ x (- z y)) (/ y (- z y)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
19×add-sqr-sqrt
18×times-frac
12×distribute-lft-out--
6×difference-of-squares
4×associate-/r/
3×add-cube-cbrt flip3-- distribute-rgt-out-- flip-- add-log-exp
2×div-inv
1×pow1 add-exp-log sub-neg diff-log frac-sub add-cbrt-cube sub-div
Counts
1 → 29
Calls
1 calls:
26.0ms
(- (/ x (- z y)) (/ y (- z y)))

series68.0ms

Counts
1 → 3
Calls
1 calls:
68.0ms
(- (/ x (- z y)) (/ y (- z y)))

simplify72.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0161251
1350238
2854238
32555238
45001238

prune58.0ms

Filtered
32 candidates to 24 candidates (75.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New31132
Fresh000
Picked011
Done011
Total31334

Merged error: 0b

Counts
34 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ x (- z y)) (/ x (- z y)))
0.2b
(pow (/ x (- z y)) 3)
1.7b
(* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y))))
22.9b
(/ (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y)))) (* (/ x (- z y)) (/ x (- z y)))))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
711×times-frac
707×*-un-lft-identity
660×add-sqr-sqrt
293×unpow-prod-down cube-prod
227×distribute-lft-out--
199×difference-of-squares
197×add-cube-cbrt
105×associate-/r/
85×associate-/l*
49×sqr-pow
48×distribute-rgt-out--
42×flip3-- associate-*l* flip-- div-inv
35×associate-*r*
29×frac-add
27×swap-sqr
26×add-exp-log add-cbrt-cube
20×frac-times associate-*r/
14×pow1
12×associate-*l/
9×flip3-+ flip-+
8×distribute-lft-out
7×cbrt-undiv div-exp
6×prod-exp cbrt-unprod unswap-sqr
5×cube-div
4×difference-cubes associate-/l/ add-log-exp
3×pow-unpow distribute-rgt-out associate-/r*
2×pow-prod-down pow-exp *-commutative rem-cube-cbrt
1×pow2 distribute-rgt-in cube-mult pow-to-exp pow-pow frac-2neg distribute-lft-in pow-plus unpow3 div-sub clear-num pow-sqr pow-prod-up frac-sub sub-div
Counts
4 → 601
Calls
4 calls:
22.0ms
(* (/ x (- z y)) (/ x (- z y)))
8.0ms
(pow (/ x (- z y)) 3)
37.0ms
(* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y))))
147.0ms
(/ (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y)))) (* (/ x (- z y)) (/ x (- z y)))))

series479.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (/ x (- z y)) (/ x (- z y)))
54.0ms
(pow (/ x (- z y)) 3)
190.0ms
(* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y))))
195.0ms
(/ (- (pow (/ x (- z y)) 3) (pow (/ y (- z y)) 3)) (+ (* (/ y (- z y)) (+ (/ y (- z y)) (/ x (- z y)))) (* (/ x (- z y)) (/ x (- z y)))))

simplify194.0ms

Algorithm
egg-herbie
Counts
613 → 613
Iterations

Useful iterations: 1 (47.0ms)

IterNodesCost
0203716862
1500216615

prune1.0s

Filtered
613 candidates to 273 candidates (44.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New6130613
Fresh000
Picked011
Done022
Total6133616

Merged error: 0b

Counts
616 → 3

regimes267.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
075

end0.0ms

sample361.0ms

Algorithm
intervals
Results
199.0ms8346×body80valid

Profiling

Loading profile data...