Details

sample35.0ms

Algorithm

intervals

Results

14.0ms

284×

body

valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	5
1	35	5
2	60	5
3	96	5
4	140	5
5	174	5
6	202	5
7	242	5
8	289	5
9	383	5
10	523	5
11	818	5
12	861	5
13	863	5
14	863	5

prune5.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: 10.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) t)
10.5b	(/ (* (- y z) t) (- a z))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

6.0ms	(* (- y z) t)
8.0ms	(/ (* (- y z) t) (- a z))

series22.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* (- y z) t)
15.0ms	(/ (* (- y z) t) (- a z))

simplify34.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	256	263
1	1188	226
2	5001	226

prune199.0ms

Filtered

57 candidates to 40 candidates (29.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	52	5	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	6	58

Merged error: 0.0b

Counts

58 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- a z))
8.4b	(* (- y z) (/ t (- a z)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 83

Calls

2 calls:

5.0ms	(/ t (- a z))
12.0ms	(* (- y z) (/ t (- a z)))

series22.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ t (- a z))
15.0ms	(* (- y z) (/ t (- a z)))

simplify38.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	293	474
1	1347	437
2	5001	437

prune339.0ms

Filtered

89 candidates to 61 candidates (31.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	89	6	95

Merged error: 0b

Counts

95 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- a z) t)
9.7b	(/ (- y z) (/ (- a z) t))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

200×	`times-frac`
170×	`add-sqr-sqrt` `*-un-lft-identity`
86×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r*`
10×	`associate-/l*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`div-inv`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
2×	`pow1` `flip3--` `frac-2neg` `div-sub` `clear-num` `flip--` `add-log-exp`
1×	`associate-/r/`

Counts

2 → 175

Calls

2 calls:

5.0ms	(/ (- a z) t)
10.0ms	(/ (- y z) (/ (- a z) t))

series28.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (- a z) t)
21.0ms	(/ (- y z) (/ (- a z) t))

simplify72.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	702	1608
1	2759	1557
2	5002	1556

prune1.2s

Filtered

181 candidates to 119 candidates (34.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	1	2	3
Picked	0	1	1
Done	1	1	2
Total	182	5	187

Merged error: 0b

Counts

187 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) (- a z))
1.6b	(* (/ (- y z) (- a z)) t)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 102

Calls

2 calls:

7.0ms	(/ (- y z) (- a z))
11.0ms	(* (/ (- y z) (- a z)) t)

series29.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- y z) (- a z))
20.0ms	(* (/ (- y z) (- a z)) t)

simplify99.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	360	653
1	1125	612
2	4514	611
3	5001	611

prune416.0ms

Filtered

108 candidates to 71 candidates (34.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	109	4	113

Merged error: 0b

Counts

113 → 4

regimes321.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	7
1	13	7

end0.0ms

sample740.0ms

Algorithm

intervals

Results

308.0ms	8715×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Iter	Nodes	Cost
0	17	5
1	35	5
2	60	5
3	96	5
4	140	5
5	174	5
6	202	5
7	242	5
8	289	5
9	383	5
10	523	5
11	818	5
12	861	5
13	863	5
14	863	5

Iter	Nodes	Cost
0	17	5
1	35	5
2	60	5
3	96	5
4	140	5
5	174	5
6	202	5
7	242	5
8	289	5
9	383	5
10	523	5
11	818	5
12	861	5
13	863	5
14	863	5

Details

sample35.0ms

simplify47.0ms

prune5.0ms

localize8.0ms

rewrite15.0ms

series22.0ms

simplify34.0ms

prune199.0ms

localize8.0ms

rewrite20.0ms

series22.0ms

simplify38.0ms

prune339.0ms

localize8.0ms

rewrite25.0ms

series28.0ms

simplify72.0ms

prune1.2s

localize8.0ms

rewrite25.0ms

series29.0ms

simplify99.0ms

prune416.0ms

regimes321.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample740.0ms

Profiling

Iter	Nodes	Cost
0	17	5
1	35	5
2	60	5
3	96	5
4	140	5
5	174	5
6	202	5
7	242	5
8	289	5
9	383	5
10	523	5
11	818	5
12	861	5
13	863	5
14	863	5