Details

sample231.0ms

Algorithm

intervals

Results

92.0ms	756×	body	80	nan
22.0ms	19×	body	1280	valid
21.0ms	179×	body	80	valid
17.0ms	26×	body	640	valid
6.0ms	15×	body	320	valid
4.0ms	17×	body	160	valid

simplify17.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
197	4998
196	4977
195	4947
194	4926
193	4898
192	4875
191	4847
190	4826
189	4796
188	4775
187	4747
186	4722
185	4694
184	4673
183	4643
182	4622
181	4594
180	4571
179	4543
178	4522
177	4492
176	4471
175	4443
174	4418
173	4390
172	4369
171	4339
170	4318
169	4290
168	4267
167	4239
166	4218
165	4188
164	4167
163	4139
162	4112
161	4084
160	4063
159	4033
158	4012
157	3984
156	3961
155	3933
154	3912
153	3882
152	3861
151	3833
150	3808
149	3780
148	3759
147	3729
146	3708
145	3680
144	3657
143	3629
142	3608
141	3578
140	3557
139	3529
138	3502
137	3474
136	3453
135	3423
134	3402
133	3374
132	3351
131	3323
130	3302
129	3272
128	3251
127	3223
126	3198
125	3170
124	3149
123	3119
122	3098
121	3070
120	3047
119	3019
118	2998
117	2968
116	2947
115	2919
114	2894
113	2866
112	2845
111	2815
110	2794
109	2766
108	2743
107	2715
106	2694
105	2664
104	2643
103	2615
102	2590
101	2562
100	2541
99	2511
98	2490
97	2462
96	2439
95	2411
94	2390
93	2360
92	2339
91	2311
90	2284
89	2256
88	2235
87	2205
86	2184
85	2156
84	2133
83	2105
82	2084
81	2054
80	2033
79	2005
78	1978
77	1950
76	1929
75	1899
74	1878
73	1850
72	1827
71	1799
70	1778
69	1748
68	1727
67	1699
66	1672
65	1644
64	1623
63	1593
62	1572
61	1544
60	1521
59	1493
58	1472
57	1442
56	1421
55	1393
54	1366
53	1338
52	1317
51	1287
50	1266
49	1238
48	1215
47	1187
46	1166
45	1136
44	1115
43	1087
42	1060
41	1032
40	1011
39	981
38	960
37	932
36	909
35	881
34	860
33	830
32	809
31	781
30	754
29	726
28	705
27	675
26	654
25	626
24	603
23	575
22	554
21	524
20	503
19	475
18	448
17	420
16	399
15	367
14	339
13	315
12	303
11	270
10	213
9	138
8	92
7	68
6	57
5	47
4	39
3	37
2	30
1	21
0	12

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
0.0b	(* z (log (- 1.0 y)))
0.2b	(* x (log y))
6.6b	(log (- 1.0 y))

rewrite307.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

174.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
55.0ms	(* z (log (- 1.0 y)))
36.0ms	(* x (log y))
12.0ms	(log (- 1.0 y))

series620.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(- (+ (* x (log y)) (* z (log (- 1.0 y)))) t)
129.0ms	(* z (log (- 1.0 y)))
94.0ms	(* x (log y))
175.0ms	(log (- 1.0 y))

simplify9.7s

Counts

98 → 98

Iterations

Iter	Nodes
done	5001
3	3738
2	1177
1	469
0	209

prune2.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize92.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2))))
0.0b	(* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))
0.0b	(- (+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))) t)
0.2b	(* x (log y))

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

33×	`associate--l+`
26×	`add-sqr-sqrt`
24×	`log-prod`
20×	`distribute-rgt-in` `*-un-lft-identity` `distribute-lft-in`
16×	`add-cube-cbrt`
14×	`associate-+r+`
11×	`add-log-exp`
10×	`associate-r`
9×	`pow1` `sub-neg`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+l+` `associate-l`
4×	`associate-*r/`
3×	`flip3--` `flip--` `difference-of-squares`
2×	`diff-log` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `frac-sub` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3-+` `times-frac` `log-pow` `flip-+`

Counts

4 → 111

Calls

4 calls:

53.0ms	(+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2))))
802.0ms	(* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))
514.0ms	(- (+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))) t)
18.0ms	(* x (log y))

series780.0ms

Counts

4 → 12

Calls

4 calls:

211.0ms	(+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2))))
165.0ms	(* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))
323.0ms	(- (+ (* x (log y)) (* z (- (- (log 1.0) (* y 1.0)) (/ (* (/ y 1.0) (/ y 1.0)) 2)))) t)
80.0ms	(* x (log y))

simplify4.7s

Counts

123 → 123

Iterations

Iter	Nodes
done	5005
2	1608
1	563
0	232

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize116.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

46.0ms	(* (log (cbrt y)) (+ x x))
26.0ms	(+ (* (log (cbrt y)) (+ x x)) (* (log (cbrt y)) x))
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series2.1s

Counts

4 → 12

Calls

4 calls:

237.0ms	(* (log (cbrt y)) (+ x x))
393.0ms	(+ (* (log (cbrt y)) (+ x x)) (* (log (cbrt y)) x))
414.0ms	(cbrt y)
1.0s	(cbrt y)

simplify6.1s

Counts

81 → 81

Iterations

Iter	Nodes
done	5000
2	1105
1	304
0	108

prune2.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize329.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.7b	(cbrt (* (cbrt y) (cbrt y)))
0.7b	(cbrt (cbrt y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 45

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
10.0ms	(cbrt (* (cbrt y) (cbrt y)))
3.0ms	(cbrt (cbrt y))

series3.3s

Counts

4 → 12

Calls

4 calls:

391.0ms	(cbrt y)
418.0ms	(cbrt y)
987.0ms	(cbrt (* (cbrt y) (cbrt y)))
1.5s	(cbrt (cbrt y))

simplify5.0s

Counts

57 → 57

Iterations

Iter	Nodes
done	5001
4	1788
3	644
2	263
1	113
0	58

prune2.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

regimes1.3s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify32.0ms

Iterations

Iter	Nodes
done	34
1	34
0	27

end3.0ms

sample20.9s

Algorithm

intervals

Results

9.7s	23973×	body	80	nan
3.0s	5483×	body	80	valid
2.4s	500×	body	160	valid
1.8s	894×	body	640	valid
953.0ms	440×	body	1280	valid
881.0ms	724×	body	320	valid