Details

sample24.0ms

Algorithm

intervals

Results

10.0ms

267×

body

valid

simplify883.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	12
1	25	12
2	64	12
3	116	12
4	173	12
5	212	12
6	247	12
7	263	12
8	303	12
9	363	12
10	483	12
11	1537	12
done	5000	12

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ t1 u) (+ t1 u))
21.0b	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
12×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt` `frac-times` `associate-/r/`
6×	`add-cube-cbrt` `swap-sqr` `distribute-lft-out`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `associate-r/` `div-exp` `associate-r` `associate-l` `associate-l/`
2×	`add-log-exp`
1×	`distribute-lft-neg-out` `pow2` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `times-frac` `pow-plus` `distribute-frac-neg` `pow-prod-down` `clear-num` `associate-/r` `pow-sqr` `-commutative` `pow-prod-up` `div-inv` `associate-/l*` `unswap-sqr`

Counts

2 → 70

Calls

2 calls:

9.0ms	(* (+ t1 u) (+ t1 u))
12.0ms	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

series23.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* (+ t1 u) (+ t1 u))
18.0ms	(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))

simplify590.0ms

Counts

76 → 76

Iterations

Useful iterations: done (588.0ms)

Iter	Nodes	Cost
0	111	1078
1	369	996
2	1866	852
done	5000	840

prune76.0ms

Filtered

41 candidates to 76 candidates (-85.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	71	5	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	6	77

Merged error: 0.0b

Counts

77 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (neg t1) (+ u t1))
0.3b	(/ (* (/ (neg t1) (+ u t1)) v) (+ t1 u))
3.1b	(* (/ (neg t1) (+ u t1)) v)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
85×	`times-frac`
60×	`add-sqr-sqrt`
55×	`add-cube-cbrt`
46×	`associate-l`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
23×	`distribute-lft-out`
19×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/l*`
9×	`neg-mul-1`
8×	`associate-/r*`
6×	`cbrt-undiv` `div-exp` `associate-/r/`
5×	`pow1`
4×	`distribute-frac-neg` `prod-exp` `cbrt-unprod`
3×	`flip3-+` `associate-r` `flip-+` `div-inv` `add-log-exp`
2×	`distribute-lft-neg-out` `frac-2neg` `associate-*l/` `clear-num` `unswap-sqr`
1×	`neg-sub0` `div-sub` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 165

Calls

3 calls:

7.0ms	(/ (neg t1) (+ u t1))
14.0ms	(/ (* (/ (neg t1) (+ u t1)) v) (+ t1 u))
14.0ms	(* (/ (neg t1) (+ u t1)) v)

series50.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (neg t1) (+ u t1))
24.0ms	(/ (* (/ (neg t1) (+ u t1)) v) (+ t1 u))
19.0ms	(* (/ (neg t1) (+ u t1)) v)

simplify557.0ms

Counts

174 → 174

Iterations

Useful iterations: done (553.0ms)

Iter	Nodes	Cost
0	204	1973
1	514	1901
2	1967	1751
done	5000	1731

prune155.0ms

Filtered

118 candidates to 174 candidates (-47.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	168	6	174
Fresh	1	3	4
Picked	1	0	1
Done	1	0	1
Total	171	9	180

Merged error: 0b

Counts

180 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ t1 u))
0.0b	(/ (neg t1) (+ u t1))
0.3b	(* (* (/ (neg t1) (+ u t1)) v) (/ 1 (+ t1 u)))
3.1b	(* (/ (neg t1) (+ u t1)) v)

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
105×	`times-frac`
76×	`add-sqr-sqrt`
71×	`add-cube-cbrt`
54×	`add-exp-log`
47×	`associate-l`
34×	`add-cbrt-cube`
28×	`distribute-lft-out`
27×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
22×	`prod-exp`
21×	`associate-r`
14×	`div-exp`
13×	`associate-/l*`
12×	`pow1` `cbrt-unprod`
9×	`neg-mul-1`
8×	`cbrt-undiv` `associate-/r*` `associate-/r/`
4×	`rec-exp` `flip3-+` `1-exp` `pow-prod-down` `associate-*l/` `flip-+` `div-inv` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-frac-neg`
2×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`neg-sub0` `frac-times` `pow-flip` `div-sub` `associate-*r/` `un-div-inv` `inv-pow`

Counts

4 → 225

Calls

4 calls:

6.0ms	(/ 1 (+ t1 u))
7.0ms	(/ (neg t1) (+ u t1))
22.0ms	(* (* (/ (neg t1) (+ u t1)) v) (/ 1 (+ t1 u)))
14.0ms	(* (/ (neg t1) (+ u t1)) v)

series56.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ 1 (+ t1 u))
11.0ms	(/ (neg t1) (+ u t1))
25.0ms	(* (* (/ (neg t1) (+ u t1)) v) (/ 1 (+ t1 u)))
16.0ms	(* (/ (neg t1) (+ u t1)) v)

simplify742.0ms

Counts

237 → 237

Iterations

Useful iterations: done (736.0ms)

Iter	Nodes	Cost
0	255	2809
1	680	2602
2	2724	2295
done	5001	2249

prune185.0ms

Filtered

147 candidates to 237 candidates (-61.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	237	0	237
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	237	9	246

Merged error: 0b

Counts

246 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (* (cbrt (/ (neg t1) (+ u t1))) (cbrt (/ (neg t1) (+ u t1)))) (* (cbrt (/ (neg t1) (+ u t1))) v))
6.4b	(cbrt (/ (neg t1) (+ u t1)))
6.4b	(cbrt (/ (neg t1) (+ u t1)))
6.4b	(cbrt (/ (neg t1) (+ u t1)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

138×	`cbrt-prod`
133×	`*-un-lft-identity`
120×	`times-frac`
73×	`add-sqr-sqrt` `add-cube-cbrt`
36×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`distribute-lft-out`
16×	`pow1` `add-exp-log`
15×	`cbrt-div`
12×	`neg-mul-1`
10×	`add-cbrt-cube`
9×	`associate-*l/`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-/r/`
5×	`frac-times`
4×	`add-log-exp`
3×	`flip3-+` `pow1/3` `associate-*r/` `flip-+` `div-inv`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 194

Calls

4 calls:

39.0ms	(* (* (cbrt (/ (neg t1) (+ u t1))) (cbrt (/ (neg t1) (+ u t1)))) (* (cbrt (/ (neg t1) (+ u t1))) v))
7.0ms	(cbrt (/ (neg t1) (+ u t1)))
7.0ms	(cbrt (/ (neg t1) (+ u t1)))
7.0ms	(cbrt (/ (neg t1) (+ u t1)))

series155.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (* (cbrt (/ (neg t1) (+ u t1))) (cbrt (/ (neg t1) (+ u t1)))) (* (cbrt (/ (neg t1) (+ u t1))) v))
41.0ms	(cbrt (/ (neg t1) (+ u t1)))
45.0ms	(cbrt (/ (neg t1) (+ u t1)))
41.0ms	(cbrt (/ (neg t1) (+ u t1)))

simplify988.0ms

Counts

206 → 206

Iterations

Useful iterations: done (981.0ms)

Iter	Nodes	Cost
0	199	3469
1	387	3280
2	987	2841
3	3060	2747
done	5000	2723

prune152.0ms

Filtered

127 candidates to 206 candidates (-62.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	206	9	215

Merged error: 0b

Counts

215 → 9

regimes193.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	14
1	17	14
2	22	14
3	29	14
4	32	14
5	34	14
done	34	14

end0.0ms

sample628.0ms

Algorithm

intervals

Results

301.0ms

8278×

body

valid

Details

sample24.0ms

simplify883.0ms

prune3.0ms

localize7.0ms

rewrite24.0ms

series23.0ms

simplify590.0ms

prune76.0ms

localize8.0ms

rewrite42.0ms

series50.0ms

simplify557.0ms

prune155.0ms

localize10.0ms

rewrite60.0ms

series56.0ms

simplify742.0ms

prune185.0ms

localize12.0ms

rewrite72.0ms

series155.0ms

simplify988.0ms

prune152.0ms

regimes193.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample628.0ms

Profiling