Details

sample22.0ms

Algorithm

intervals

Results

7.0ms	236×	body	80	valid
1.0ms	9×	body	1280	valid
1.0ms	5×	body	640	valid
0.0ms	2×	body	2560	valid
0.0ms	4×	body	160	valid
0.0ms	2×	body	320	valid

simplify85.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	8	11
1	20	11
2	58	9
3	139	9
4	190	9
5	196	9
done	196	9

prune9.0ms

Filtered

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

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (+ z x) (* 2 (+ x y)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-*r/` `frac-add`
3×	`sum-log`
2×	`associate-+r+`
1×	`pow1` `add-exp-log` `+-commutative` `distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `*-un-lft-identity` `distribute-lft-in` `add-cbrt-cube`

Counts

1 → 19

Calls

1 calls:

7.0ms

(+ (+ z x) (* 2 (+ x y)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ (+ z x) (* 2 (+ x y)))

simplify1.2s

Counts

22 → 22

Iterations

Useful iterations: 3 (347.0ms)

Iter	Nodes	Cost
0	78	433
1	254	406
2	977	384
3	4542	372
done	5000	372

prune55.0ms

Filtered

18 candidates to 22 candidates (-22.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	17	5	22
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	19	5	24

Merged error: 0.0b

Counts

24 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ z (* 3 x)) (* 2 y))
0.0b	(+ z (* 3 x))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+`

Counts

2 → 24

Calls

2 calls:

5.0ms	(+ (+ z (* 3 x)) (* 2 y))
3.0ms	(+ z (* 3 x))

series11.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (+ z (* 3 x)) (* 2 y))
4.0ms	(+ z (* 3 x))

simplify641.0ms

Counts

30 → 30

Iterations

Useful iterations: 3 (182.0ms)

Iter	Nodes	Cost
0	52	351
1	176	325
2	571	307
3	1951	303
done	5000	303

prune54.0ms

Filtered

21 candidates to 30 candidates (-42.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	30	5	35

Merged error: 0.0b

Counts

35 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ z (* 3 x)))
0.5b	(cbrt (+ z (* 3 x)))
0.5b	(cbrt (+ z (* 3 x)))
0.6b	(* (cbrt (+ z (* 3 x))) (cbrt (+ z (* 3 x))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

3.0ms	(cbrt (+ z (* 3 x)))
3.0ms	(cbrt (+ z (* 3 x)))
3.0ms	(cbrt (+ z (* 3 x)))
9.0ms	(* (cbrt (+ z (* 3 x))) (cbrt (+ z (* 3 x))))

series149.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(cbrt (+ z (* 3 x)))
36.0ms	(cbrt (+ z (* 3 x)))
33.0ms	(cbrt (+ z (* 3 x)))
46.0ms	(* (cbrt (+ z (* 3 x))) (cbrt (+ z (* 3 x))))

simplify636.0ms

Counts

99 → 99

Iterations

Useful iterations: done (633.0ms)

Iter	Nodes	Cost
0	141	1678
1	310	1539
2	890	1432
3	2409	1293
done	5001	1287

prune249.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	97	7	104

Merged error: 0.0b

Counts

104 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ z (* 3 x))
0.0b	(sqrt (+ z (* 3 x)))
0.0b	(sqrt (+ z (* 3 x)))
0.2b	(* (sqrt (+ z (* 3 x))) (sqrt (+ z (* 3 x))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 98

Calls

4 calls:

3.0ms	(+ z (* 3 x))
3.0ms	(sqrt (+ z (* 3 x)))
3.0ms	(sqrt (+ z (* 3 x)))
10.0ms	(* (sqrt (+ z (* 3 x))) (sqrt (+ z (* 3 x))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ z (* 3 x))
9.0ms	(sqrt (+ z (* 3 x)))
9.0ms	(sqrt (+ z (* 3 x)))
8.0ms	(* (sqrt (+ z (* 3 x))) (sqrt (+ z (* 3 x))))

simplify847.0ms

Counts

110 → 110

Iterations

Useful iterations: 3 (309.0ms)

Iter	Nodes	Cost
0	123	1700
1	282	1207
2	938	1125
3	3833	1098
done	5001	1098

prune148.0ms

Filtered

70 candidates to 110 candidates (-57.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	110	7	117

Merged error: 0.0b

Counts

117 → 7

regimes206.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
done	13	9

end0.0ms

sample592.0ms

Algorithm

intervals

Results

213.0ms	7429×	body	80	valid
27.0ms	178×	body	1280	valid
20.0ms	190×	body	640	valid
10.0ms	128×	body	320	valid
5.0ms	32×	body	2560	valid
4.0ms	66×	body	160	valid

Details

sample22.0ms

simplify85.0ms

prune9.0ms

localize7.0ms

rewrite8.0ms

series7.0ms

simplify1.2s

prune55.0ms

localize7.0ms

rewrite9.0ms

series11.0ms

simplify641.0ms

prune54.0ms

localize11.0ms

rewrite20.0ms

series149.0ms

simplify636.0ms

prune249.0ms

localize10.0ms

rewrite22.0ms

series32.0ms

simplify847.0ms

prune148.0ms

regimes206.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample592.0ms

Profiling