Details

sample30.0ms

Algorithm

intervals

Results

14.0ms

290×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	19	9
done	19	9

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (/ x 2.0) (* y x)) z)
0.0b	(+ (/ x 2.0) (* y x))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 25

Calls

2 calls:

10.0ms	(+ (+ (/ x 2.0) (* y x)) z)
7.0ms	(+ (/ x 2.0) (* y x))

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (+ (/ x 2.0) (* y x)) z)
7.0ms	(+ (/ x 2.0) (* y x))

simplify42.2s

Counts

31 → 31

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	8
2	21	8
3	33	8
4	68	8
5	158	8
6	413	8
7	1266	8
8	4697	8
done	5000	8
0	7	8
1	9	8
done	9	8
0	7	8
1	12	8
2	17	8
3	24	8
4	42	8
5	92	8
6	217	8
7	583	8
8	1952	8
done	5000	8
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	23	23
2	75	9
3	247	9
4	676	9
5	1786	9
6	4187	9
done	5001	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	9	11
1	29	11
2	80	11
3	214	11
4	478	11
5	1353	11
done	5000	11
0	10	23
1	33	19
2	83	19
3	162	19
4	255	17
5	362	17
6	497	17
7	636	17
8	958	17
9	1373	17
10	1385	17
done	1385	17
0	8	15
1	25	15
2	60	15
3	124	15
4	191	13
5	291	13
6	437	13
7	819	13
8	2639	13
done	5001	13
0	6	7
1	9	7
2	16	7
done	16	7
0	11	12
1	20	11
2	39	10
3	68	10
4	139	10
5	331	10
6	899	10
7	2917	10
done	5000	10
0	10	11
1	18	10
2	32	10
3	51	10
4	85	10
5	187	10
6	462	10
7	1334	10
8	4527	10
done	5001	10
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	10
1	17	10
2	30	10
3	46	10
4	55	10
5	89	10
6	189	10
7	465	10
8	1337	10
9	4540	10
done	5000	10
0	10	21
1	15	21
2	21	21
done	21	21
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	10	29
1	28	29
2	102	11
3	460	11
4	2560	11
done	5001	11
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	11	13
1	27	13
2	52	13
3	129	13
4	375	13
5	1118	13
6	3553	13
done	5000	13
0	12	29
1	28	27
2	84	27
3	242	21
4	849	21
5	2602	21
done	5001	21
0	10	19
1	23	19
2	65	19
3	189	19
4	553	19
5	1570	19
done	5000	19
0	8	9
1	14	9
2	21	9
3	27	9
4	33	9
5	44	9
6	64	9
7	91	9
8	112	9
9	119	9
10	136	9
11	140	9
done	140	9
0	8	9
1	13	9
2	19	9
done	19	9
0	5	5
1	7	5
done	7	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	8	9
1	14	9
2	20	9
3	26	7
4	28	7
done	28	7
0	8	9
1	14	9
2	22	7
3	26	7
done	26	7
0	8	9
1	14	9
2	22	7
3	26	7
done	26	7

prune41.0ms

Filtered

25 candidates to 31 candidates (-24.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	2	32

Merged error: 0.0b

Counts

32 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 36

Calls

2 calls:

7.0ms	(* x (+ y 0.5))
7.0ms	(+ (* x (+ y 0.5)) z)

series13.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (+ y 0.5))
7.0ms	(+ (* x (+ y 0.5)) z)

simplify29.0s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	22	8
2	35	8
3	68	8
4	123	8
5	304	8
6	883	8
7	3370	8
done	5000	8
0	8	8
1	17	8
2	22	8
3	26	8
done	26	8
0	8	8
1	20	8
2	33	8
3	61	8
4	95	8
5	227	8
6	688	8
7	2684	8
done	5001	8
0	9	17
1	18	17
2	23	17
3	27	17
done	27	17
0	8	8
1	17	8
2	22	8
3	26	8
done	26	8
0	9	23
1	31	23
2	96	9
3	451	9
4	2387	9
done	5000	9
0	8	8
1	17	8
2	22	8
3	26	8
done	26	8
0	8	8
1	17	8
2	22	8
3	26	8
done	26	8
0	10	11
1	35	11
2	86	11
3	321	11
4	906	11
5	2337	11
done	5001	11
0	11	23
1	36	21
2	109	21
3	309	17
4	832	17
5	2607	17
done	5000	17
0	9	15
1	29	15
2	80	15
3	217	15
4	547	15
5	1449	15
done	5001	15
0	7	7
1	17	7
2	23	7
3	32	7
4	35	7
5	41	7
6	56	7
7	82	7
8	123	7
9	155	7
10	181	7
11	206	7
12	210	7
done	210	7
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	8	9
1	14	9
2	20	9
3	26	7
4	28	7
done	28	7
0	8	9
1	14	9
2	22	7
3	26	7
done	26	7
0	8	9
1	14	9
2	22	7
3	26	7
done	26	7
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5

prune50.0ms

Filtered

32 candidates to 42 candidates (-31.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	42	2	44

Merged error: 0.0b

Counts

44 → 2

regimes213.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	7	7
1	10	7
done	10	7

end0.0ms

sample709.0ms

Algorithm

intervals

Results

312.0ms	9153×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	2×	body	640	valid

Details

sample30.0ms

simplify6.0ms

prune3.0ms

localize7.0ms

rewrite18.0ms

series14.0ms

simplify42.2s

prune41.0ms

localize8.0ms

rewrite14.0ms

series13.0ms

simplify29.0s

prune50.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample709.0ms

Profiling