Details

sample21.0ms

Algorithm

intervals

Results

8.0ms

349×

body

valid

simplify19.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7

prune2.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: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (- 1.0 (* x 0.5)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 24

Calls

1 calls:

6.0ms

(* x (- 1.0 (* x 0.5)))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* x (- 1.0 (* x 0.5)))

simplify26.5s

Counts

27 → 27

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	32	8
3	66	8
4	130	8
5	274	8
6	722	8
7	2452	8
done	5000	8
0	10	23
1	20	23
2	70	11
3	295	11
4	1320	9
done	5002	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	325	9
4	1203	9
5	4320	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	8	15
1	14	15
2	23	15
done	23	15
0	7	8
1	11	8
2	18	8
done	18	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	325	11
4	1017	11
5	3078	11
done	5001	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune30.0ms

Filtered

18 candidates to 27 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	2	28

Merged error: 0b

Counts

28 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x 1.0) (* x (neg (* x 0.5))))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`distribute-rgt-neg-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `unsub-neg` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 14

Calls

1 calls:

4.0ms

(+ (* x 1.0) (* x (neg (* x 0.5))))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(+ (* x 1.0) (* x (neg (* x 0.5))))

simplify32.6s

Counts

17 → 17

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	25	11
2	52	9
3	123	8
4	325	8
5	1281	8
done	5001	8
0	9	11
1	21	9
2	37	8
3	44	8
done	44	8
0	9	11
1	24	9
2	49	8
3	96	8
4	218	8
5	809	8
6	3664	8
done	5001	8
0	10	23
1	22	19
2	35	17
3	41	17
done	41	17
0	9	11
1	21	9
2	34	8
3	40	8
done	40	8
0	10	32
1	35	26
2	132	9
3	689	9
4	3299	9
done	5001	9
0	9	11
1	21	9
2	34	8
3	40	8
done	40	8
0	9	11
1	21	9
2	34	8
3	40	8
done	40	8
0	11	14
1	39	14
2	131	14
3	558	13
4	2323	13
done	5001	13
0	12	32
1	45	25
2	174	23
3	638	21
4	1508	18
5	2335	17
6	2869	17
7	4036	17
done	5000	17
0	10	21
1	37	21
2	132	15
3	456	15
4	917	15
5	1497	15
6	2641	15
done	5000	15
0	8	10
1	21	8
2	38	8
3	75	7
4	123	7
done	123	7
0	6	6
1	13	5
2	15	5
done	15	5
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7

prune24.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	17	2	19

Merged error: 0b

Counts

19 → 2

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
done	8	7

end0.0ms

sample432.0ms

Algorithm

intervals

Results

235.0ms

10678×

body

valid

Details

sample21.0ms

simplify19.0ms

prune2.0ms

localize5.0ms

rewrite7.0ms

series7.0ms

simplify26.5s

prune30.0ms

localize7.0ms

rewrite5.0ms

series8.0ms

simplify32.6s

prune24.0ms

regimes51.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample432.0ms

Profiling