Details

sample21.0ms

Algorithm

intervals

Results

9.0ms

351×

body

valid

simplify152.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	14	4
1	28	4
2	51	3
3	90	3
4	150	3
5	214	3
6	308	3
7	447	3
8	550	3
9	865	3
10	1231	3
11	1725	3
12	2728	3
13	4466	3
14	5001	3

prune12.0ms

Filtered

1 candidates to 1 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.1b

Counts

2 → 2

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y x) z)
5.8b	(/ (* (- y x) z) t)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
9×	`add-exp-log` `add-cbrt-cube`
8×	`*-un-lft-identity`
6×	`add-cube-cbrt`
5×	`associate-l`
4×	`pow1` `associate-*l/`
3×	`times-frac` `associate-r` `associate-/r*`
2×	`cbrt-undiv` `expm1-log1p-u` `flip3--` `div-exp` `prod-exp` `flip--` `cbrt-unprod` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 49

Calls

2 calls:

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

series114.0ms

Counts

2 → 6

Calls

2 calls:

47.0ms	(* (- y x) z)
68.0ms	(/ (* (- y x) z) t)

simplify48.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	232	228
1	955	189
2	5001	189

prune142.0ms

Filtered

55 candidates to 39 candidates (70.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Merged error: 0b

Counts

57 → 5

localize12.0ms

Local error

Found 1 expressions with local error:

5.4b	(* (- y x) (/ z t))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
13×	`associate-r`
11×	`*-un-lft-identity`
10×	`times-frac`
9×	`add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-l`
3×	`pow1`
2×	`frac-times` `flip3--` `associate-*l/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `expm1-log1p-u` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `log1p-expm1-u` `div-inv` `distribute-lft-out--` `add-log-exp` `difference-of-squares`

Counts

1 → 40

Calls

1 calls:

18.0ms

(* (- y x) (/ z t))

series73.0ms

Counts

1 → 3

Calls

1 calls:

73.0ms

(* (- y x) (/ z t))

simplify42.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	242	222
1	1043	201
2	5001	195

prune102.0ms

Filtered

43 candidates to 30 candidates (69.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	43	5	48

Merged error: 0b

Counts

48 → 5

localize11.0ms

Local error

Found 1 expressions with local error:

6.0b	(/ (- y x) (/ t z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

119×	`times-frac`
85×	`add-sqr-sqrt` `*-un-lft-identity`
57×	`add-cube-cbrt`
14×	`distribute-lft-out--` `difference-of-squares`
13×	`associate-/r*`
7×	`div-inv`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/l*`
3×	`cbrt-undiv` `div-exp`
2×	`associate-/l/`
1×	`pow1` `expm1-log1p-u` `flip3--` `frac-2neg` `div-sub` `clear-num` `associate-/r/` `flip--` `log1p-expm1-u` `add-log-exp`

Counts

1 → 103

Calls

1 calls:

12.0ms

(/ (- y x) (/ t z))

series61.0ms

Counts

1 → 3

Calls

1 calls:

61.0ms

(/ (- y x) (/ t z))

simplify66.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	544	864
1	2007	827
2	5001	826

prune243.0ms

Filtered

106 candidates to 76 candidates (71.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	106	5	111

Merged error: 0b

Counts

111 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y x) t)
8.5b	(fma (/ (- y x) t) z x)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
3×	`associate-/r*`
2×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `fma-udef` `div-inv`

Counts

2 → 50

Calls

2 calls:

7.0ms	(/ (- y x) t)
1.0ms	(fma (/ (- y x) t) z x)

series64.0ms

Counts

2 → 6

Calls

2 calls:

29.0ms	(/ (- y x) t)
34.0ms	(fma (/ (- y x) t) z x)

simplify49.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	194	271
1	528	254
2	1881	245
3	5002	245

prune98.0ms

Filtered

56 candidates to 41 candidates (73.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	56	5	61

Merged error: 0b

Counts

61 → 5

regimes108.0ms

Accuracy

0% (1.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample570.0ms

Algorithm

intervals

Results

282.0ms

10710×

body

valid

Details

sample21.0ms

simplify152.0ms

prune12.0ms

localize11.0ms

rewrite15.0ms

series114.0ms

simplify48.0ms

prune142.0ms

localize12.0ms

rewrite21.0ms

series73.0ms

simplify42.0ms

prune102.0ms

localize11.0ms

rewrite17.0ms

series61.0ms

simplify66.0ms

prune243.0ms

localize6.0ms

rewrite9.0ms

series64.0ms

simplify49.0ms

prune98.0ms

regimes108.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample570.0ms

Profiling