Details

sample59.0ms

Algorithm

intervals

Results

37.0ms

380×

body

valid

simplify47.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
221	4993
220	4977
219	4961
218	4945
217	4929
216	4913
215	4897
214	4881
213	4865
212	4849
211	4833
210	4817
209	4801
208	4785
207	4769
206	4753
205	4737
204	4721
203	4705
202	4689
201	4673
200	4657
199	4641
198	4625
197	4609
196	4593
195	4577
194	4561
193	4545
192	4529
191	4513
190	4497
189	4481
188	4465
187	4449
186	4433
185	4417
184	4401
183	4385
182	4369
181	4353
180	4337
179	4321
178	4305
177	4289
176	4273
175	4257
174	4241
173	4225
172	4209
171	4193
170	4177
169	4161
168	4145
167	4129
166	4113
165	4097
164	4081
163	4065
162	4049
161	4033
160	4017
159	4001
158	3985
157	3969
156	3953
155	3937
154	3921
153	3905
152	3889
151	3873
150	3857
149	3841
148	3825
147	3809
146	3793
145	3777
144	3761
143	3745
142	3729
141	3713
140	3697
139	3681
138	3665
137	3649
136	3633
135	3617
134	3601
133	3585
132	3569
131	3553
130	3537
129	3521
128	3505
127	3489
126	3473
125	3457
124	3441
123	3425
122	3409
121	3393
120	3377
119	3361
118	3345
117	3329
116	3313
115	3297
114	3281
113	3265
112	3249
111	3233
110	3217
109	3201
108	3185
107	3169
106	3153
105	3137
104	3121
103	3105
102	3089
101	3073
100	3057
99	3041
98	3025
97	3009
96	2993
95	2977
94	2961
93	2945
92	2929
91	2913
90	2897
89	2881
88	2865
87	2849
86	2833
85	2817
84	2801
83	2785
82	2769
81	2753
80	2737
79	2721
78	2705
77	2689
76	2673
75	2657
74	2641
73	2625
72	2609
71	2593
70	2577
69	2561
68	2545
67	2529
66	2513
65	2497
64	2481
63	2465
62	2449
61	2433
60	2417
59	2401
58	2385
57	2369
56	2353
55	2337
54	2321
53	2305
52	2289
51	2273
50	2257
49	2241
48	2225
47	2209
46	2193
45	2177
44	2161
43	2145
42	2129
41	2113
40	2097
39	2081
38	2065
37	2049
36	2033
35	2017
34	2001
33	1985
32	1969
31	1953
30	1937
29	1921
28	1905
27	1889
26	1873
25	1857
24	1841
23	1825
22	1809
21	1793
20	1777
19	1761
18	1745
17	1729
16	1713
15	1697
14	1681
13	1665
12	1649
11	1633
10	1613
9	1459
8	1224
7	977
6	761
5	461
4	229
3	125
2	69
1	32
0	17

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.4b	(/ (* z t) 16.0)

rewrite277.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt`
6×	`sum-log` `add-cube-cbrt`
4×	`pow1` `diff-log` `insert-posit16`
3×	`associate-+l+` `associate-/r*` `flip3-+` `times-frac` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`clear-num` `frac-2neg` `flip3--` `prod-exp` `associate-+l-` `cbrt-unprod` `div-inv` `flip--` `associate-/l*` `difference-of-squares`

Counts

4 → 73

Calls

4 calls:

45.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
189.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
24.0ms	(+ (* x y) (/ (* z t) 16.0))
18.0ms	(/ (* z t) 16.0)

series396.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
204.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
54.0ms	(+ (* x y) (/ (* z t) 16.0))
26.0ms	(/ (* z t) 16.0)

simplify1.5s

Counts

85 → 85

Iterations

Iter	Nodes
done	5001
2	1423
1	387
0	146

prune631.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* a b) 4.0)
0.0b	(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
0.0b	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)
0.0b	(+ (* x y) (* z (/ t 16.0)))

rewrite211.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-cbrt-cube` `add-exp-log`
8×	`add-sqr-sqrt`
6×	`sum-log` `add-cube-cbrt`
4×	`pow1` `diff-log` `insert-posit16`
3×	`associate-+l+` `associate-/r*` `flip3-+` `times-frac` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`clear-num` `frac-2neg` `flip3--` `prod-exp` `associate-+l-` `cbrt-unprod` `div-inv` `flip--` `associate-/l*` `difference-of-squares`

Counts

4 → 73

Calls

4 calls:

17.0ms	(/ (* a b) 4.0)
46.0ms	(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
124.0ms	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)
22.0ms	(+ (* x y) (* z (/ t 16.0)))

series408.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (* a b) 4.0)
122.0ms	(- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0))
213.0ms	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ (* a b) 4.0)) c)
50.0ms	(+ (* x y) (* z (/ t 16.0)))

simplify1.4s

Counts

85 → 85

Iterations

Iter	Nodes
done	5001
2	1437
1	390
0	145

prune601.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b)))
0.0b	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b))) c)
0.0b	(+ (* x y) (* z (/ t 16.0)))
0.2b	(/ a (/ 4.0 b))

rewrite258.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
55×	`add-sqr-sqrt`
53×	`*-un-lft-identity`
46×	`add-cube-cbrt`
20×	`add-log-exp`
13×	`associate-/r*`
9×	`add-cbrt-cube` `add-exp-log`
6×	`sum-log`
5×	`div-inv`
4×	`pow1` `diff-log` `insert-posit16`
3×	`cbrt-undiv` `associate-+l+` `flip3-+` `div-exp` `flip-+` `associate-/l*` `difference-of-squares`
2×	`+-commutative` `sub-neg` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`clear-num` `frac-2neg` `flip3--` `associate-/r/` `associate-+l-` `flip--`

Counts

4 → 124

Calls

4 calls:

34.0ms	(- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b)))
194.0ms	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b))) c)
16.0ms	(+ (* x y) (* z (/ t 16.0)))
12.0ms	(/ a (/ 4.0 b))

series465.0ms

Counts

4 → 12

Calls

4 calls:

136.0ms	(- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b)))
213.0ms	(+ (- (+ (* x y) (* z (/ t 16.0))) (/ a (/ 4.0 b))) c)
80.0ms	(+ (* x y) (* z (/ t 16.0)))
36.0ms	(/ a (/ 4.0 b))

simplify1.5s

Counts

136 → 136

Iterations

Iter	Nodes
done	5005
2	2197
1	641
0	250

prune899.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (+ (* x y) (log (exp (/ (* z t) 16.0)))) (/ (* a b) 4.0)) c)
0.0b	(exp (/ (* z t) 16.0))
0.4b	(/ (* z t) 16.0)
3.9b	(log (exp (/ (* z t) 16.0)))

rewrite373.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
14×	`exp-prod`
13×	`add-log-exp`
11×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`times-frac` `add-cbrt-cube` `add-exp-log`
8×	`log-pow`
5×	`pow1`
4×	`sum-log` `insert-posit16`
3×	`associate-+l+` `log-prod` `associate-/r*` `div-inv`
2×	`cbrt-undiv` `diff-log` `div-exp` `distribute-lft-out`
1×	`+-commutative` `clear-num` `sub-neg` `frac-2neg` `flip3-+` `rem-log-exp` `prod-exp` `associate--l+` `associate-+l-` `cbrt-unprod` `flip-+` `associate-/l*` `distribute-lft-out--` `rem-exp-log`

Counts

4 → 78

Calls

4 calls:

346.0ms	(+ (- (+ (* x y) (log (exp (/ (* z t) 16.0)))) (/ (* a b) 4.0)) c)
4.0ms	(exp (/ (* z t) 16.0))
14.0ms	(/ (* z t) 16.0)
8.0ms	(log (exp (/ (* z t) 16.0)))

series241.0ms

Counts

4 → 12

Calls

4 calls:

175.0ms	(+ (- (+ (* x y) (log (exp (/ (* z t) 16.0)))) (/ (* a b) 4.0)) c)
21.0ms	(exp (/ (* z t) 16.0))
21.0ms	(/ (* z t) 16.0)
24.0ms	(log (exp (/ (* z t) 16.0)))

simplify2.4s

Counts

90 → 90

Iterations

Iter	Nodes
done	5006
3	4554
2	947
1	325
0	147

prune459.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes895.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	21
1	21
0	17

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.8s

12059×

body

valid