Details

sample41.0ms

Algorithm

intervals

Results

25.0ms

447×

body

valid

simplify3.1s

Counts

1 → 1

Iterations

Useful iterations: 4 (42.0ms)

Iter	Nodes	Cost
0	11	19
1	19	19
2	46	17
3	100	17
4	210	11
5	428	11
6	946	11
7	2736	11
done	5000	11

prune10.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 2 expressions with local error:

0.2b	(* 3 (* (* x.re x.im) x.re))
0.2b	(* (* x.re x.im) x.re)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* 3 (* (* x.re x.im) x.re))
6.0ms	(* (* x.re x.im) x.re)

series14.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* 3 (* (* x.re x.im) x.re))
9.0ms	(* (* x.re x.im) x.re)

simplify1.0min

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	9	5
done	9	5
0	4	5
1	6	5
2	9	5
done	9	5
0	6	8
1	8	8
2	11	8
3	13	7
4	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	10	6
2	17	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	9	6
2	21	6
3	37	6
4	78	6
5	175	6
6	423	6
7	1172	6
8	4568	6
done	5000	6
0	8	17
1	18	17
2	64	11
3	200	7
4	446	7
5	1121	7
6	3799	7
done	5001	7
0	8	17
1	24	17
2	88	9
3	270	9
4	490	7
5	1060	7
6	3098	7
done	5001	7
0	6	13
1	8	13
2	11	13
done	11	13
0	5	6
1	7	6
2	10	6
done	10	6
0	6	17
1	18	17
2	65	7
3	176	7
4	314	7
5	505	7
6	1317	7
7	4379	7
done	5001	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	6	7
1	11	7
2	23	7
3	37	7
4	39	7
done	39	7
0	6	7
1	11	7
2	23	7
3	37	7
4	39	7
done	39	7
0	6	7
1	11	7
2	23	7
3	37	7
4	39	7
done	39	7
0	9	11
1	14	11
2	26	11
3	42	10
4	44	10
done	44	10
0	9	10
1	16	10
2	26	10
3	44	10
4	48	10
done	48	10
0	8	9
1	14	9
2	25	9
3	42	9
4	60	9
5	61	9
done	61	9
0	7	8
1	15	8
2	34	8
3	71	8
4	107	8
5	111	8
6	112	8
done	112	8
0	7	8
1	14	8
2	34	8
3	90	8
4	195	8
5	535	8
6	1758	8
done	5000	8
0	12	23
1	30	19
2	104	13
3	476	9
4	1939	9
done	5001	9
0	12	23
1	36	19
2	132	11
3	585	11
4	2160	9
done	5000	9
0	10	23
1	30	19
2	106	9
3	446	9
4	1620	9
5	4251	9
done	5001	9
0	8	17
1	13	17
2	25	17
3	39	17
4	41	17
done	41	17
0	7	8
1	12	8
2	24	8
3	40	8
4	43	8
done	43	8
0	8	23
1	24	21
2	97	9
3	519	9
4	2202	9
done	5000	9
0	7	8
1	12	8
2	24	8
3	40	8
4	43	8
done	43	8
0	7	8
1	12	8
2	24	8
3	40	8
4	43	8
done	43	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	12	8
2	24	8
3	38	8
done	38	8
0	7	8
1	12	8
2	24	8
3	38	8
done	38	8
0	6	7
1	11	7
2	23	7
3	37	7
4	39	7
done	39	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7

prune93.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	39	6	45
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	40	7	47

Merged error: 0.0b

Counts

47 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* 3 (* x.re x.im)) x.re)
0.2b	(* 3 (* x.re x.im))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

7.0ms	(* (* 3 (* x.re x.im)) x.re)
6.0ms	(* 3 (* x.re x.im))

series12.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (* 3 (* x.re x.im)) x.re)
8.0ms	(* 3 (* x.re x.im))

simplify1.0min

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	55	6
4	120	6
5	292	6
6	772	6
7	2667	6
done	5000	6
0	11	17
1	26	13
2	81	9
3	260	9
4	785	7
5	2017	7
6	4846	7
done	5000	7
0	9	17
1	28	13
2	85	7
3	301	7
4	782	7
5	1427	7
6	2395	7
done	5001	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	22	15
2	90	7
3	399	7
4	1102	7
5	1458	7
6	2245	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	27	7
3	34	7
4	35	7
done	35	7
0	6	7
1	13	7
2	27	7
3	34	7
4	35	7
done	35	7
0	6	7
1	13	7
2	27	7
3	34	7
4	35	7
done	35	7
0	9	11
1	16	11
2	30	11
3	39	10
4	41	10
done	41	10
0	9	10
1	16	10
2	26	10
3	40	10
4	48	10
5	49	10
done	49	10
0	8	9
1	16	9
2	32	9
3	53	9
4	64	9
5	65	9
done	65	9
0	7	8
1	17	8
2	41	8
3	73	8
4	94	8
5	97	8
6	98	8
done	98	8
0	7	8
1	16	8
2	43	8
3	89	8
4	202	8
5	496	8
6	1315	8
7	4567	8
done	5000	8
0	12	23
1	32	19
2	118	13
3	538	9
4	2322	9
done	5000	9
0	12	23
1	36	19
2	129	11
3	624	11
4	2432	11
done	5000	11
0	10	23
1	31	21
2	138	11
3	827	11
4	3567	9
done	5000	9
0	8	17
1	15	17
2	29	17
3	38	17
4	39	17
done	39	17
0	7	8
1	14	8
2	28	8
3	37	8
4	38	8
done	38	8
0	8	23
1	25	23
2	115	9
3	654	9
4	2461	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	37	8
4	38	8
done	38	8
0	7	8
1	14	8
2	28	8
3	37	8
4	38	8
done	38	8
0	8	11
1	17	11
2	45	11
3	109	11
4	149	11
done	149	11
0	7	8
1	14	8
2	33	8
3	59	8
4	61	8
done	61	8
0	7	7
1	16	5
2	41	5
3	68	5
done	68	5
0	4	5
1	6	5
2	9	5
done	9	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7

prune80.0ms

Filtered

31 candidates to 45 candidates (-45.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	45	7	52

Merged error: 0.0b

Counts

52 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* (* 3 x.re) x.im) x.re)
0.2b	(* (* 3 x.re) x.im)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-r`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-l` `*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

8.0ms	(* (* (* 3 x.re) x.im) x.re)
7.0ms	(* (* 3 x.re) x.im)

series8.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* (* (* 3 x.re) x.im) x.re)
4.0ms	(* (* 3 x.re) x.im)

simplify1.1min

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	55	6
4	118	6
5	262	6
6	616	6
7	1756	6
done	5000	6
0	11	17
1	26	13
2	76	9
3	250	9
4	725	9
5	1879	7
6	4643	7
done	5000	7
0	9	17
1	27	15
2	91	9
3	374	9
4	1101	7
5	2066	7
6	4206	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	421	7
4	1148	7
5	1592	7
6	2611	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
done	23	3
0	3	3
1	4	3
done	4	3
0	6	7
1	13	7
2	27	7
3	37	7
done	37	7
0	6	7
1	13	7
2	27	7
3	37	7
done	37	7
0	6	7
1	13	7
2	27	7
3	37	7
done	37	7
0	9	11
1	16	11
2	30	11
3	38	11
4	40	10
5	41	10
done	41	10
0	9	10
1	16	10
2	28	10
3	38	10
4	42	10
5	43	10
done	43	10
0	8	9
1	16	9
2	32	9
3	53	9
4	65	9
5	66	9
done	66	9
0	7	8
1	17	8
2	40	8
3	73	8
4	95	8
5	98	8
6	99	8
done	99	8
0	7	8
1	16	8
2	43	8
3	85	8
4	185	8
5	438	8
6	1041	8
7	3277	8
done	5000	8
0	12	23
1	32	19
2	119	13
3	563	13
4	2138	9
done	5001	9
0	12	23
1	35	21
2	141	13
3	777	13
4	2913	11
done	5000	11
0	10	23
1	30	23
2	138	11
3	861	11
4	3370	9
done	5001	9
0	8	17
1	15	17
2	29	17
3	42	17
done	42	17
0	7	8
1	14	8
2	28	8
3	39	8
done	39	8
0	8	23
1	25	23
2	114	9
3	631	9
4	2403	9
5	4943	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	39	8
done	39	8
0	7	8
1	14	8
2	28	8
3	39	8
done	39	8
0	8	11
1	17	11
2	46	11
3	110	11
4	153	11
done	153	11
0	7	8
1	14	8
2	34	8
3	57	8
4	58	8
done	58	8
0	7	7
1	16	5
2	42	5
3	60	5
4	72	5
done	72	5
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7

prune78.0ms

Filtered

32 candidates to 45 candidates (-40.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	45	7	52

Merged error: 0.0b

Counts

52 → 7

localize8.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* 3 x.re) (* x.im x.re))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l` `-commutative` `add-log-exp`

Counts

1 → 22

Calls

1 calls:

7.0ms

(* (* 3 x.re) (* x.im x.re))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (* 3 x.re) (* x.im x.re))

simplify41.4s

Counts

25 → 25

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	28	7
3	36	7
4	37	7
done	37	7
0	6	7
1	13	7
2	28	7
3	36	7
4	37	7
done	37	7
0	6	7
1	13	7
2	28	7
3	36	7
4	37	7
done	37	7
0	6	7
1	13	7
2	28	7
3	36	7
4	37	7
done	37	7
0	9	11
1	16	11
2	31	11
3	40	10
4	42	10
done	42	10
0	9	10
1	16	10
2	27	10
3	42	10
4	47	10
5	48	10
done	48	10
0	9	10
1	16	10
2	28	10
3	40	10
4	45	10
5	46	10
done	46	10
0	8	9
1	16	9
2	26	9
3	41	9
4	48	9
5	50	9
done	50	9
0	7	8
1	17	8
2	45	8
3	78	8
4	96	8
5	99	8
6	100	8
done	100	8
0	7	8
1	16	8
2	45	8
3	92	8
4	197	8
5	459	8
6	1214	8
7	4105	8
done	5000	8
0	12	23
1	32	19
2	116	13
3	513	9
4	2060	9
done	5000	9
0	12	23
1	36	19
2	128	11
3	614	11
4	2285	11
done	5000	11
0	12	23
1	35	21
2	139	13
3	687	13
4	2917	11
done	5000	11
0	10	23
1	37	21
2	143	11
3	737	11
4	2946	9
done	5000	9
0	8	17
1	15	17
2	30	17
3	36	17
4	37	17
done	37	17
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	8	23
1	25	23
2	135	9
3	719	9
4	2582	9
done	5000	9
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	7	8
1	14	8
2	30	8
3	38	8
4	39	8
done	39	8
0	5	5
1	9	5
2	15	5
done	15	5
0	4	5
1	6	5
2	9	5
done	9	5
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	99	7
7	165	7
8	378	7
9	1315	7
done	5000	7

prune37.0ms

Filtered

16 candidates to 25 candidates (-56.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

regimes102.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	11	11
done	11	11

end0.0ms

sample1.3s

Algorithm

intervals

Results

830.0ms

14542×

body

valid

Details

sample41.0ms

simplify3.1s

prune10.0ms

localize7.0ms

rewrite15.0ms

series14.0ms

simplify1.0min

prune93.0ms

localize8.0ms

rewrite14.0ms

series12.0ms

simplify1.0min

prune80.0ms

localize7.0ms

rewrite16.0ms

series8.0ms

simplify1.1min

prune78.0ms

localize8.0ms

rewrite8.0ms

series5.0ms

simplify41.4s

prune37.0ms

regimes102.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling