Details

sample42.0ms

Algorithm

intervals

Results

10.0ms	259×	body	80	valid
8.0ms	270×	body	80	nan
1.0ms	1×	body	2560	valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	25	8
3	41	8
4	52	8
5	72	8
6	97	8
7	136	8
8	184	8
9	231	8
10	273	8
11	326	8
12	382	8
13	425	8
14	474	8
15	527	8
16	572	8
17	621	8
18	674	8
19	717	8
20	766	8
21	819	8
22	862	8
23	911	8
24	964	8
25	1009	8
26	1058	8
27	1111	8
28	1152	8
29	1201	8
30	1254	8
31	1297	8
32	1346	8
33	1399	8
34	1444	8
35	1493	8
36	1546	8
37	1587	8
38	1636	8
39	1689	8
40	1732	8
41	1781	8
42	1834	8
43	1875	8
44	1924	8
45	1977	8
46	2020	8
47	2069	8
48	2122	8
49	2167	8
50	2216	8
51	2269	8
52	2310	8
53	2359	8
54	2412	8
55	2455	8
56	2504	8
57	2557	8
58	2602	8
59	2651	8
60	2704	8
61	2745	8
62	2794	8
63	2847	8
64	2892	8
65	2941	8
66	2994	8
67	3037	8
68	3086	8
69	3139	8
70	3182	8
71	3231	8
72	3284	8
73	3325	8
74	3374	8
75	3427	8
76	3472	8
77	3521	8
78	3574	8
79	3615	8
80	3664	8
81	3717	8
82	3762	8
83	3811	8
84	3864	8
85	3905	8
86	3954	8
87	4007	8
88	4050	8
89	4099	8
90	4152	8
91	4197	8
92	4246	8
93	4299	8
94	4340	8
95	4389	8
96	4442	8
97	4487	8
98	4536	8
99	4589	8
100	4632	8
101	4681	8
102	4734	8
103	4777	8
104	4826	8
105	4879	8
106	4920	8
107	4969	8
done	5000	8

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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- (* x (log y)) z) y)
0.0b	(- (* x (log y)) z)
0.3b	(* x (log y))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate--l+`
18×	`log-prod`
15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in`
6×	`pow1`
5×	`add-exp-log` `add-cbrt-cube`
4×	`diff-log` `associate-r`
3×	`sub-neg` `associate-l`
2×	`flip3--` `flip--`
1×	`associate--l-` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

8.0ms	(- (- (* x (log y)) z) y)
5.0ms	(- (* x (log y)) z)
5.0ms	(* x (log y))

series34.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(- (- (* x (log y)) z) y)
12.0ms	(- (* x (log y)) z)
12.0ms	(* x (log y))

simplify542.0ms

Counts

76 → 76

Iterations

Useful iterations: 3 (184.0ms)

Iter	Nodes	Cost
0	131	727
1	279	679
2	637	625
3	1733	596
done	5000	596

prune98.0ms

Filtered

53 candidates to 76 candidates (-43.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	69	7	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	7	77

Merged error: 0.0b

Counts

77 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt y))
0.0b	(- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
0.3b	(* x (log (sqrt y)))
0.3b	(* x (log (sqrt y)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod`
24×	`add-sqr-sqrt`
20×	`*-un-lft-identity`
18×	`add-cube-cbrt`
15×	`sqrt-prod`
14×	`pow1`
12×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
9×	`add-exp-log` `log-pow` `add-log-exp`
8×	`add-cbrt-cube`
6×	`associate-l`
3×	`sqrt-pow1` `pow1/2`
2×	`diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `rem-log-exp` `associate--l+` `sum-log` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 99

Calls

4 calls:

5.0ms	(log (sqrt y))
8.0ms	(- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
6.0ms	(* x (log (sqrt y)))
6.0ms	(* x (log (sqrt y)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(log (sqrt y))
14.0ms	(- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
10.0ms	(* x (log (sqrt y)))
10.0ms	(* x (log (sqrt y)))

simplify820.0ms

Counts

111 → 111

Iterations

Useful iterations: 3 (269.0ms)

Iter	Nodes	Cost
0	148	1290
1	325	1152
2	918	1038
3	2480	1020
done	5001	1020

prune124.0ms

Filtered

73 candidates to 111 candidates (-52.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	112	6	118

Merged error: 0.0b

Counts

118 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x (log y)) (+ z y))
0.3b	(* x (log y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

12×	`log-prod`
10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`add-log-exp`
6×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
5×	`pow1`
4×	`add-exp-log` `associate-r` `add-cbrt-cube`
3×	`associate-l`
2×	`diff-log`
1×	`sub-neg` `flip3--` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `associate--r+` `unswap-sqr`

Counts

2 → 45

Calls

2 calls:

7.0ms	(- (* x (log y)) (+ z y))
5.0ms	(* x (log y))

series17.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(- (* x (log y)) (+ z y))
8.0ms	(* x (log y))

simplify541.0ms

Counts

51 → 51

Iterations

Useful iterations: 3 (168.0ms)

Iter	Nodes	Cost
0	102	490
1	231	460
2	584	414
3	1707	400
done	5000	400

prune65.0ms

Filtered

36 candidates to 51 candidates (-41.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	51	6	57

Merged error: 0.0b

Counts

57 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 2 (log (cbrt y))) x)
0.3b	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 63

Calls

4 calls:

6.0ms	(* (* 2 (log (cbrt y))) x)
8.0ms	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series105.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (* 2 (log (cbrt y))) x)
26.0ms	(+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))
24.0ms	(cbrt y)
25.0ms	(cbrt y)

simplify1.5s

Counts

75 → 75

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	131	853
1	318	771
2	943	607
3	3554	553
done	5001	539

prune84.0ms

Filtered

54 candidates to 75 candidates (-38.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	75	6	81

Merged error: 0b

Counts

81 → 6

regimes176.0ms

Accuracy

0% (0.1b 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	7	8
1	9	8
done	9	8

end0.0ms

sample1.1s

Algorithm

intervals

Results

302.0ms	8041×	body	80	valid
228.0ms	7860×	body	80	nan
0.0ms	1×	body	2560	valid
0.0ms	1×	body	1280	valid

Details

sample42.0ms

simplify1.8s

prune3.0ms

localize7.0ms

rewrite20.0ms

series34.0ms

simplify542.0ms

prune98.0ms

localize10.0ms

rewrite29.0ms

series39.0ms

simplify820.0ms

prune124.0ms

localize7.0ms

rewrite13.0ms

series17.0ms

simplify541.0ms

prune65.0ms

localize12.0ms

rewrite22.0ms

series105.0ms

simplify1.5s

prune84.0ms

regimes176.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling