Details

sample25.0ms

Algorithm

intervals

Results

10.0ms

318×

body

valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	5
1	47	5
2	138	5
3	317	5
4	611	5
5	1239	5
6	1919	5
7	5001	5

prune7.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.3b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.3b	(/ (* 4.0 (- (- x y) (* z 0.5))) z)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `associate-*r/` `div-exp` `associate-/l/`
1×	`pow1` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

9.0ms

(/ (* 4.0 (- (- x y) (* z 0.5))) z)

series11.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ (* 4.0 (- (- x y) (* z 0.5))) z)

simplify91.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	187	192
1	790	156
2	4301	156
3	5002	156

prune42.0ms

Filtered

26 candidates to 19 candidates (26.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	3	27

Merged error: 0b

Counts

27 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
19×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/l*`
4×	`pow1`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

2 → 76

Calls

2 calls:

9.0ms	(* 4.0 (/ (- x y) z))
6.0ms	(/ (- x y) z)

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* 4.0 (/ (- x y) z))
6.0ms	(/ (- x y) z)

simplify37.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	275	397
1	1205	366
2	5001	366

prune75.0ms

Filtered

82 candidates to 56 candidates (31.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	83	2	85

Merged error: 0b

Counts

85 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
20×	`times-frac`
12×	`associate-r`
8×	`add-cube-cbrt` `distribute-lft-out--` `difference-of-squares`
4×	`pow1` `add-exp-log` `associate-*r/` `add-cbrt-cube` `div-inv` `add-log-exp`
3×	`sub-neg` `associate-l`
2×	`distribute-rgt-in` `flip3--` `distribute-rgt-out--` `distribute-lft-in` `frac-sub` `flip--` `sub-div`
1×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 58

Calls

2 calls:

16.0ms	(* 4.0 (- (/ x z) (/ y z)))
12.0ms	(- (/ x z) (/ y z))

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* 4.0 (- (/ x z) (/ y z)))
6.0ms	(- (/ x z) (/ y z))

simplify80.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	235	352
1	912	325
2	3814	325
3	5001	325

prune59.0ms

Filtered

64 candidates to 45 candidates (29.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	64	2	66

Merged error: 0b

Counts

66 → 2

localize11.0ms

Local error

Found 1 expressions with local error:

0.5b	(* (* 4.0 (- (- x y) (* z 0.5))) (/ 1 z))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log`
13×	`associate-r` `add-cbrt-cube`
12×	`prod-exp`
9×	`times-frac`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `cbrt-unprod`
5×	`associate-*r/`
4×	`div-exp`
3×	`pow-prod-down`
2×	`cbrt-undiv` `frac-times` `rec-exp` `flip3--` `1-exp` `associate-*l/` `flip--`
1×	`associate-l` `un-div-inv` `*-commutative` `div-inv` `add-log-exp`

Counts

1 → 42

Calls

1 calls:

12.0ms

(* (* 4.0 (- (- x y) (* z 0.5))) (/ 1 z))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(* (* 4.0 (- (- x y) (* z 0.5))) (/ 1 z))

simplify43.0ms

Algorithm

egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	343	380
1	1659	307
2	5003	294

prune40.0ms

Filtered

45 candidates to 26 candidates (42.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	45	2	47

Merged error: 0b

Counts

47 → 2

regimes168.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)

Iter	Nodes	Cost
0	13	6
1	13	6

end0.0ms

sample694.0ms

Algorithm

intervals

Results

339.0ms

10168×

body

valid

Details

sample25.0ms

simplify55.0ms

prune7.0ms

localize8.0ms

rewrite10.0ms

series11.0ms

simplify91.0ms

prune42.0ms

localize7.0ms

rewrite17.0ms

series14.0ms

simplify37.0ms

prune75.0ms

localize8.0ms

rewrite31.0ms

series13.0ms

simplify80.0ms

prune59.0ms

localize11.0ms

rewrite14.0ms

series10.0ms

simplify43.0ms

prune40.0ms

regimes168.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample694.0ms

Profiling