Details

sample36.0ms

Algorithm

intervals

Results

16.0ms	256×	body	80	valid
7.0ms	235×	body	80	nan

simplify4.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
212	4989
211	4957
210	4945
209	4913
208	4901
207	4869
206	4857
205	4825
204	4813
203	4781
202	4769
201	4737
200	4725
199	4693
198	4677
197	4645
196	4633
195	4601
194	4589
193	4557
192	4545
191	4513
190	4501
189	4469
188	4457
187	4425
186	4413
185	4381
184	4369
183	4337
182	4325
181	4293
180	4281
179	4247
178	4229
177	4197
176	4185
175	4153
174	4141
173	4109
172	4097
171	4065
170	4053
169	4021
168	4009
167	3977
166	3961
165	3929
164	3917
163	3885
162	3873
161	3841
160	3829
159	3797
158	3785
157	3753
156	3741
155	3709
154	3697
153	3665
152	3653
151	3621
150	3609
149	3577
148	3565
147	3531
146	3513
145	3481
144	3469
143	3437
142	3425
141	3393
140	3381
139	3349
138	3337
137	3305
136	3293
135	3261
134	3249
133	3217
132	3205
131	3173
130	3157
129	3125
128	3113
127	3081
126	3069
125	3037
124	3025
123	2993
122	2981
121	2949
120	2937
119	2905
118	2889
117	2857
116	2845
115	2813
114	2801
113	2769
112	2757
111	2725
110	2713
109	2681
108	2669
107	2637
106	2625
105	2593
104	2581
103	2549
102	2537
101	2505
100	2493
99	2459
98	2441
97	2409
96	2397
95	2365
94	2353
93	2321
92	2309
91	2277
90	2265
89	2233
88	2221
87	2189
86	2177
85	2145
84	2133
83	2099
82	2081
81	2049
80	2037
79	2005
78	1993
77	1961
76	1949
75	1917
74	1905
73	1873
72	1861
71	1829
70	1813
69	1781
68	1769
67	1737
66	1721
65	1689
64	1677
63	1645
62	1633
61	1601
60	1589
59	1557
58	1545
57	1513
56	1501
55	1469
54	1457
53	1425
52	1413
51	1381
50	1369
49	1337
48	1325
47	1293
46	1277
45	1245
44	1233
43	1201
42	1189
41	1157
40	1145
39	1113
38	1101
37	1069
36	1057
35	1025
34	1013
33	981
32	969
31	937
30	921
29	889
28	877
27	845
26	833
25	801
24	789
23	757
22	745
21	713
20	701
19	667
18	649
17	617
16	605
15	573
14	561
13	529
12	517
11	467
10	441
9	388
8	326
7	203
6	136
5	99
4	66
3	38
2	23
1	14
0	7

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite80.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-cbrt-cube` `add-exp-log`
4×	`diff-log` `associate-r`
3×	`sub-neg` `associate-l` `insert-posit16`
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 → 70

Calls

3 calls:

47.0ms	(- (- (* x (log y)) z) y)
20.0ms	(- (* x (log y)) z)
12.0ms	(* x (log y))

series172.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(- (- (* x (log y)) z) y)
72.0ms	(- (* x (log y)) z)
56.0ms	(* x (log y))

simplify1.7s

Counts

79 → 79

Iterations

Iter	Nodes
done	5002
3	1866
2	613
1	272
0	128

prune327.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite103.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `pow1`
13×	`add-log-exp`
12×	`associate-l`
10×	`*-un-lft-identity` `add-cube-cbrt`
9×	`add-exp-log` `log-pow`
8×	`add-cbrt-cube`
6×	`log-prod` `associate-r`
4×	`associate-+r+` `insert-posit16`
3×	`sum-log` `sqrt-pow1` `pow1/2` `diff-log` `sqrt-prod`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+r-` `flip3-+` `rem-log-exp` `flip-+`

Counts

4 → 81

Calls

4 calls:

2.0ms	(log (sqrt y))
74.0ms	(+ (* (log (sqrt y)) x) (- (- (* (log (sqrt y)) x) z) y))
13.0ms	(* (log (sqrt y)) x)
13.0ms	(* (log (sqrt y)) x)

series479.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(log (sqrt y))
98.0ms	(+ (* (log (sqrt y)) x) (- (- (* (log (sqrt y)) x) z) y))
129.0ms	(* (log (sqrt y)) x)
140.0ms	(* (log (sqrt y)) x)

simplify2.0s

Counts

93 → 93

Iterations

Iter	Nodes
done	5001
3	3564
2	886
1	307
0	128

prune413.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt y))
0.1b	(sqrt (sqrt y))
0.2b	(* (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) x)
0.2b	(* (log (sqrt y)) x)

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

38×	`associate-l`
37×	`log-pow`
36×	`pow1`
33×	`sqrt-pow1`
24×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
20×	`sqrt-prod`
17×	`pow1/2`
16×	`add-cube-cbrt`
14×	`distribute-rgt-out`
10×	`distribute-lft-out`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-r`
4×	`rem-sqrt-square` `insert-posit16` `add-log-exp`
2×	`distribute-lft1-in` `pow-prod-down` `associate-l/` `distribute-rgt1-in` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3-+` `count-2` `flip-+`

Counts

4 → 112

Calls

4 calls:

2.0ms	(sqrt (sqrt y))
2.0ms	(sqrt (sqrt y))
41.0ms	(* (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) x)
15.0ms	(* (log (sqrt y)) x)

series785.0ms

Counts

4 → 12

Calls

4 calls:

209.0ms	(sqrt (sqrt y))
175.0ms	(sqrt (sqrt y))
229.0ms	(* (+ (log (sqrt (sqrt y))) (log (sqrt (sqrt y)))) x)
172.0ms	(* (log (sqrt y)) x)

simplify2.3s

Counts

124 → 124

Iterations

Iter	Nodes
done	5011
3	4935
2	1216
1	434
0	190

prune650.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
15×	`associate-r`
14×	`add-cube-cbrt`
10×	`pow1` `associate-l`
8×	`add-cbrt-cube` `add-exp-log`
6×	`cbrt-prod`
4×	`pow1/3` `log-pow` `insert-posit16` `add-log-exp`
3×	`distribute-rgt-out` `distribute-lft-out`
2×	`pow-prod-down` `prod-exp` `associate-r/` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft1-in` `flip3-+` `count-2` `distribute-rgt1-in` `flip-+`

Counts

4 → 79

Calls

4 calls:

12.0ms	(* (log (cbrt y)) x)
32.0ms	(* (log (cbrt y)) (+ x x))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series754.0ms

Counts

4 → 12

Calls

4 calls:

138.0ms	(* (log (cbrt y)) x)
136.0ms	(* (log (cbrt y)) (+ x x))
234.0ms	(cbrt y)
246.0ms	(cbrt y)

simplify2.7s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
3	3501
2	753
1	242
0	101

prune459.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes125.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	18
1	18
0	14

end0.0ms

sample1.7s

Algorithm

intervals

Results

749.0ms	8211×	body	80	nan
533.0ms	8022×	body	80	valid
1.0ms	1×	body	2560	valid