Details

sample19.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify642.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	17
1	36	17
2	131	17
3	419	17
4	1269	17
done	5002	17

prune3.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: 18.5b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x y) (+ x y))
0.1b	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
18.2b	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

60×	`frac-times` `flip3-+` `flip-+`
31×	`add-exp-log` `add-cbrt-cube`
30×	`associate-*l/`
27×	`*-un-lft-identity`
26×	`associate-/r/`
18×	`associate-*r/`
15×	`pow1`
13×	`prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
9×	`associate-r` `distribute-lft-out`
8×	`add-cube-cbrt`
6×	`cbrt-undiv` `swap-sqr` `div-exp`
5×	`associate-l`
4×	`pow-prod-down`
3×	`add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in` `*-commutative` `unswap-sqr`
1×	`pow2` `frac-2neg` `times-frac` `pow-plus` `clear-num` `associate-/r` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l`

Counts

3 → 140

Calls

3 calls:

9.0ms	(* (+ x y) (+ x y))
17.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
20.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

series39.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* (+ x y) (+ x y))
9.0ms	(* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))
26.0ms	(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0)))

simplify1.2s

Counts

149 → 149

Iterations

Useful iterations: 2 (281.0ms)

Iter	Nodes	Cost
0	218	3333
1	818	3071
2	4866	2801
done	5000	2801

prune194.0ms

Filtered

92 candidates to 149 candidates (-62.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	142	7	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	143	7	150

Merged error: 3.6b

Counts

150 → 7

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x y) (+ x y))
0.0b	(/ y (+ (+ x y) 1.0))
0.1b	(* (/ x (* (+ x y) (+ x y))) (/ y (+ (+ x y) 1.0)))
17.0b	(/ x (* (+ x y) (+ x y)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

80×	`*-un-lft-identity`
43×	`add-sqr-sqrt`
40×	`times-frac`
34×	`add-exp-log` `add-cbrt-cube`
31×	`add-cube-cbrt`
27×	`distribute-lft-out`
25×	`associate-r`
20×	`flip3-+` `associate-/r/` `flip-+`
19×	`associate-l`
13×	`pow1` `frac-times`
10×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
7×	`associate-r/` `associate-l/`
6×	`swap-sqr` `associate-/r` `associate-/l`
5×	`unswap-sqr`
4×	`div-inv` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `pow-sqr` `pow-prod-up`

Counts

4 → 170

Calls

4 calls:

9.0ms	(* (+ x y) (+ x y))
8.0ms	(/ y (+ (+ x y) 1.0))
27.0ms	(* (/ x (* (+ x y) (+ x y))) (/ y (+ (+ x y) 1.0)))
12.0ms	(/ x (* (+ x y) (+ x y)))

series45.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (+ x y) (+ x y))
11.0ms	(/ y (+ (+ x y) 1.0))
21.0ms	(* (/ x (* (+ x y) (+ x y))) (/ y (+ (+ x y) 1.0)))
9.0ms	(/ x (* (+ x y) (+ x y)))

simplify779.0ms

Counts

182 → 182

Iterations

Useful iterations: done (774.0ms)

Iter	Nodes	Cost
0	217	2873
1	663	2724
2	3081	2385
done	5001	2350

prune191.0ms

Filtered

115 candidates to 182 candidates (-58.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	180	2	182
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	181	8	189

Merged error: 0.0b

Counts

189 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x y))
0.0b	(/ y (+ (+ x y) 1.0))
0.1b	(/ (/ x (+ x y)) (+ x y))
0.1b	(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ (+ x y) 1.0)))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

313×	`*-un-lft-identity`
303×	`times-frac`
163×	`add-sqr-sqrt`
142×	`add-cube-cbrt`
89×	`distribute-lft-out`
78×	`associate-l`
34×	`add-exp-log` `add-cbrt-cube`
28×	`associate-/r/`
24×	`associate-/l*`
21×	`associate-r`
14×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+` `div-inv`
13×	`associate-/r*`
6×	`pow1` `prod-exp` `cbrt-unprod` `unswap-sqr`
4×	`add-log-exp`
3×	`frac-2neg` `clear-num`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/`

Counts

4 → 310

Calls

4 calls:

6.0ms	(/ x (+ x y))
8.0ms	(/ y (+ (+ x y) 1.0))
11.0ms	(/ (/ x (+ x y)) (+ x y))
48.0ms	(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ (+ x y) 1.0)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ x (+ x y))
7.0ms	(/ y (+ (+ x y) 1.0))
9.0ms	(/ (/ x (+ x y)) (+ x y))
27.0ms	(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ (+ x y) 1.0)))

simplify1.1s

Counts

322 → 322

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	329	5641
1	999	5369
2	3641	4994
done	5000	4971

prune289.0ms

Filtered

204 candidates to 322 candidates (-57.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	318	4	322
Fresh	1	5	6
Picked	1	0	1
Done	1	0	1
Total	321	9	330

Merged error: 0b

Counts

330 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ (+ x y) 1.0))
0.1b	(/ (/ 1 (/ (+ x y) x)) (+ x y))
0.1b	(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
0.5b	(/ 1 (/ (+ x y) x))

rewrite200.0ms

Algorithm

rewrite-expression-head

Rules

1334×	`times-frac`
988×	`*-un-lft-identity`
597×	`add-sqr-sqrt`
549×	`add-cube-cbrt`
221×	`distribute-lft-out`
218×	`associate-l`
100×	`add-exp-log`
59×	`associate-/l*`
58×	`div-exp`
52×	`add-cbrt-cube`
45×	`div-inv`
26×	`cbrt-undiv`
25×	`associate-/r*`
21×	`associate-r`
18×	`associate-/r/`
16×	`prod-exp`
12×	`unswap-sqr`
8×	`rec-exp` `1-exp` `cbrt-unprod`
7×	`pow1`
4×	`flip3-+` `flip-+` `add-log-exp`
3×	`frac-2neg` `clear-num`
1×	`frac-times` `pow-flip` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `associate-/l/` `inv-pow`

Counts

4 → 704

Calls

4 calls:

8.0ms	(/ y (+ (+ x y) 1.0))
20.0ms	(/ (/ 1 (/ (+ x y) x)) (+ x y))
99.0ms	(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
9.0ms	(/ 1 (/ (+ x y) x))

series51.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ y (+ (+ x y) 1.0))
9.0ms	(/ (/ 1 (/ (+ x y) x)) (+ x y))
29.0ms	(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
6.0ms	(/ 1 (/ (+ x y) x))

simplify555.0ms

Counts

716 → 716

Iterations

Useful iterations: done (530.0ms)

Iter	Nodes	Cost
0	698	15376
1	2191	13979
done	5000	13539

prune541.0ms

Filtered

342 candidates to 716 candidates (-109.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	716	0	716
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	716	9	725

Merged error: 0b

Counts

725 → 9

regimes109.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	19
1	16	19
done	16	19

end0.0ms

sample529.0ms

Algorithm

intervals

Results

298.0ms

8000×

body

valid

Details

sample19.0ms

simplify642.0ms

prune3.0ms

localize9.0ms

rewrite55.0ms

series39.0ms

simplify1.2s

prune194.0ms

localize8.0ms

rewrite63.0ms

series45.0ms

simplify779.0ms

prune191.0ms

localize9.0ms

rewrite92.0ms

series48.0ms

simplify1.1s

prune289.0ms

localize11.0ms

rewrite200.0ms

series51.0ms

simplify555.0ms

prune541.0ms

regimes109.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample529.0ms

Profiling