Details

sample23.0ms

Algorithm

intervals

Results

9.0ms

270×

body

valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	5
1	40	5
2	80	5
3	174	5
4	369	5
5	503	5
6	769	5
7	1191	5
8	1451	5
9	1606	5
10	1606	5

prune4.0ms

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: 1.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 63

Calls

2 calls:

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

series27.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify37.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	304	403
1	1399	360
2	5002	360

prune80.0ms

Filtered

51 candidates to 69 candidates (-35.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	3	70

Merged error: 0.0b

Counts

70 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

210×	`times-frac`
176×	`add-sqr-sqrt` `*-un-lft-identity`
88×	`add-cube-cbrt`
44×	`distribute-lft-out--` `difference-of-squares`
24×	`associate-/l*`
16×	`associate-/r/`
10×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`flip3--` `flip--` `div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 185

Calls

2 calls:

5.0ms	(/ x (- y z))
13.0ms	(/ (/ x (- y z)) (- y t))

series23.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ x (- y z))
17.0ms	(/ (/ x (- y z)) (- y t))

simplify62.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	640	1735
1	2317	1691
2	5002	1691

prune146.0ms

Filtered

128 candidates to 191 candidates (-49.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	190	4	194

Merged error: 0b

Counts

194 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- y z))
0.0b	(/ 1 (- y t))
1.4b	(* (/ x (- y z)) (/ 1 (- y t)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
67×	`times-frac`
41×	`add-cube-cbrt`
31×	`add-exp-log`
21×	`associate-r` `associate-l`
19×	`add-cbrt-cube`
14×	`distribute-lft-out--` `difference-of-squares`
11×	`div-exp`
10×	`associate-/r*`
8×	`prod-exp` `associate-/r/`
6×	`pow1` `cbrt-undiv` `associate-/l*` `unswap-sqr`
4×	`flip3--` `flip--` `cbrt-unprod` `div-inv`
3×	`rec-exp` `1-exp` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `un-div-inv` `*-commutative` `inv-pow`

Counts

3 → 151

Calls

3 calls:

5.0ms	(/ x (- y z))
5.0ms	(/ 1 (- y t))
20.0ms	(* (/ x (- y z)) (/ 1 (- y t)))

series33.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ x (- y z))
4.0ms	(/ 1 (- y t))
22.0ms	(* (/ x (- y z)) (/ 1 (- y t)))

simplify56.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	531	909
1	2207	794
2	5001	752

prune116.0ms

Filtered

96 candidates to 160 candidates (-66.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	160	4	164

Merged error: 0b

Counts

164 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

210×	`times-frac`
176×	`add-sqr-sqrt` `*-un-lft-identity`
88×	`add-cube-cbrt`
44×	`distribute-lft-out--` `difference-of-squares`
24×	`associate-/l*`
16×	`associate-/r/`
10×	`associate-/r*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`flip3--` `flip--` `div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 185

Calls

2 calls:

5.0ms	(/ x (- y t))
11.0ms	(/ (/ x (- y t)) (- y z))

series27.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ x (- y t))
21.0ms	(/ (/ x (- y t)) (- y z))

simplify60.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	640	1735
1	2317	1691
2	5002	1691

prune128.0ms

Filtered

129 candidates to 191 candidates (-48.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	191	4	195

Merged error: 0b

Counts

195 → 4

regimes366.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	5

end0.0ms

sample816.0ms

Algorithm

intervals

Results

448.0ms

8472×

body

valid

Details

sample23.0ms

simplify60.0ms

prune4.0ms

localize8.0ms

rewrite19.0ms

series27.0ms

simplify37.0ms

prune80.0ms

localize7.0ms

rewrite28.0ms

series23.0ms

simplify62.0ms

prune146.0ms

localize9.0ms

rewrite36.0ms

series33.0ms

simplify56.0ms

prune116.0ms

localize7.0ms

rewrite26.0ms

series27.0ms

simplify60.0ms

prune128.0ms

regimes366.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample816.0ms

Profiling