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

simplify79.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (4.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

prune12.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

localize6.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 (324.0ms)

Iter	Nodes	Cost
0	78	433
1	254	407
2	977	384
3	4600	372
done	5000	372

prune51.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))

simplify582.0ms

Counts

30 → 30

Iterations

Useful iterations: 3 (165.0ms)

Iter	Nodes	Cost
0	52	351
1	176	326
2	563	307
3	1746	303
done	5002	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))))

rewrite22.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:

5.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))))

series146.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)))
43.0ms	(* (cbrt (+ z (* 3 x))) (cbrt (+ z (* 3 x))))

simplify667.0ms

Counts

99 → 99

Iterations

Useful iterations: done (665.0ms)

Iter	Nodes	Cost
0	141	1678
1	310	1544
2	906	1432
3	2290	1314
done	5000	1287

prune263.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

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

localize9.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))))

rewrite24.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)))
13.0ms	(* (sqrt (+ z (* 3 x))) (sqrt (+ z (* 3 x))))

series31.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify948.0ms

Counts

110 → 110

Iterations

Useful iterations: done (945.0ms)

Iter	Nodes	Cost
0	123	1700
1	282	1210
2	1023	1128
3	3890	1108
done	5001	1098

prune153.0ms

Filtered

64 candidates to 110 candidates (-71.9%)

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

regimes201.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

226.0ms	7429×	body	80	valid
23.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

simplify79.0ms

prune12.0ms

localize6.0ms

rewrite8.0ms

series7.0ms

simplify1.2s

prune51.0ms

localize7.0ms

rewrite9.0ms

series11.0ms

simplify582.0ms

prune54.0ms

localize11.0ms

rewrite22.0ms

series146.0ms

simplify667.0ms

prune263.0ms

localize9.0ms

rewrite24.0ms

series31.0ms

simplify948.0ms

prune153.0ms

regimes201.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample592.0ms

Profiling