Details

sample50.0ms

Algorithm

intervals

Results

30.0ms

276×

body

valid

simplify24.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
203	4989
202	4975
201	4961
200	4947
199	4933
198	4919
197	4905
196	4891
195	4877
194	4863
193	4849
192	4835
191	4821
190	4807
189	4793
188	4779
187	4765
186	4751
185	4737
184	4723
183	4709
182	4695
181	4681
180	4667
179	4653
178	4639
177	4625
176	4611
175	4597
174	4583
173	4569
172	4555
171	4541
170	4527
169	4513
168	4499
167	4485
166	4471
165	4457
164	4443
163	4429
162	4415
161	4401
160	4387
159	4373
158	4359
157	4345
156	4331
155	4317
154	4303
153	4289
152	4275
151	4261
150	4247
149	4233
148	4219
147	4205
146	4191
145	4177
144	4163
143	4149
142	4135
141	4121
140	4107
139	4093
138	4079
137	4065
136	4051
135	4037
134	4023
133	4009
132	3995
131	3981
130	3967
129	3953
128	3939
127	3925
126	3911
125	3897
124	3883
123	3869
122	3855
121	3841
120	3827
119	3813
118	3799
117	3785
116	3771
115	3757
114	3743
113	3729
112	3715
111	3701
110	3687
109	3673
108	3659
107	3645
106	3631
105	3617
104	3603
103	3589
102	3575
101	3561
100	3547
99	3533
98	3519
97	3505
96	3491
95	3477
94	3463
93	3449
92	3435
91	3421
90	3407
89	3393
88	3379
87	3365
86	3351
85	3337
84	3323
83	3309
82	3295
81	3281
80	3267
79	3253
78	3239
77	3225
76	3211
75	3197
74	3183
73	3169
72	3155
71	3141
70	3127
69	3113
68	3099
67	3085
66	3071
65	3057
64	3043
63	3029
62	3015
61	3001
60	2987
59	2973
58	2959
57	2945
56	2931
55	2917
54	2903
53	2889
52	2875
51	2861
50	2847
49	2833
48	2819
47	2805
46	2791
45	2777
44	2763
43	2749
42	2735
41	2721
40	2707
39	2693
38	2679
37	2665
36	2651
35	2637
34	2623
33	2609
32	2595
31	2581
30	2567
29	2553
28	2539
27	2525
26	2511
25	2497
24	2483
23	2469
22	2455
21	2441
20	2427
19	2411
18	2393
17	2372
16	2325
15	2194
14	1969
13	1710
12	805
11	414
10	329
9	286
8	259
7	214
6	185
5	148
4	101
3	58
2	33
1	18
0	10

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.5b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z t))
0.0b	(+ x (/ (* y (- z t)) (- z a)))
11.2b	(/ (* y (- z t)) (- z a))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-cbrt-cube` `add-exp-log`
7×	`add-cube-cbrt`
5×	`pow1` `associate-/r` `times-frac` `associate-r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `insert-posit16` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`distribute-rgt-in` `cbrt-undiv` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `pow-prod-down` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 70

Calls

3 calls:

22.0ms	(* y (- z t))
13.0ms	(+ x (/ (* y (- z t)) (- z a)))
31.0ms	(/ (* y (- z t)) (- z a))

series246.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(* y (- z t))
116.0ms	(+ x (/ (* y (- z t)) (- z a)))
78.0ms	(/ (* y (- z t)) (- z a))

simplify2.3s

Counts

79 → 79

Iterations

Iter	Nodes
done	5002
3	4831
2	1109
1	355
0	131

prune428.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z a) (- z t))
0.0b	(+ x (/ y (/ (- z a) (- z t))))
1.8b	(/ y (/ (- z a) (- z t)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-cbrt-cube` `add-exp-log`
8×	`associate-/l*`
6×	`flip3--` `div-inv` `flip--`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `insert-posit16`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`+-commutative` `sum-log` `flip3-+` `div-sub` `flip-+` `distribute-lft-out`

Counts

3 → 209

Calls

3 calls:

19.0ms	(/ (- z a) (- z t))
31.0ms	(+ x (/ y (/ (- z a) (- z t))))
36.0ms	(/ y (/ (- z a) (- z t)))

series376.0ms

Counts

3 → 9

Calls

3 calls:

62.0ms	(/ (- z a) (- z t))
138.0ms	(+ x (/ y (/ (- z a) (- z t))))
176.0ms	(/ y (/ (- z a) (- z t)))

simplify2.0s

Counts

218 → 218

Iterations

Iter	Nodes
done	5002
2	2942
1	788
0	295

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
1.9b	(* y (/ (- z t) (- z a)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `insert-posit16` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 116

Calls

3 calls:

8.0ms	(+ x (* y (/ (- z t) (- z a))))
29.0ms	(/ (- z t) (- z a))
33.0ms	(* y (/ (- z t) (- z a)))

series238.0ms

Counts

3 → 9

Calls

3 calls:

95.0ms	(+ x (* y (/ (- z t) (- z a))))
62.0ms	(/ (- z t) (- z a))
81.0ms	(* y (/ (- z t) (- z a)))

simplify1.1s

Counts

125 → 125

Iterations

Iter	Nodes
done	5007
2	1378
1	444
0	165

prune513.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

1.8b	(/ y (* (* (cbrt (/ (- z a) (- z t))) (cbrt (/ (- z a) (- z t)))) (cbrt (/ (- z a) (- z t)))))
4.0b	(cbrt (/ (- z a) (- z t)))
4.0b	(cbrt (/ (- z a) (- z t)))
4.0b	(cbrt (/ (- z a) (- z t)))

rewrite116.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
78×	`times-frac`
39×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
15×	`cbrt-div`
13×	`add-exp-log` `associate-/r/`
9×	`add-cbrt-cube`
5×	`frac-times` `associate-*l/`
4×	`pow1` `insert-posit16` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `flip3--` `pow1/3` `div-exp` `prod-exp` `associate-r/` `cbrt-unprod` `flip--` `associate-/l`
1×	`clear-num` `associate-/r*` `frac-2neg`

Counts

4 → 154

Calls

4 calls:

90.0ms	(/ y (* (* (cbrt (/ (- z a) (- z t))) (cbrt (/ (- z a) (- z t)))) (cbrt (/ (- z a) (- z t)))))
5.0ms	(cbrt (/ (- z a) (- z t)))
7.0ms	(cbrt (/ (- z a) (- z t)))
8.0ms	(cbrt (/ (- z a) (- z t)))

series684.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(/ y (* (* (cbrt (/ (- z a) (- z t))) (cbrt (/ (- z a) (- z t)))) (cbrt (/ (- z a) (- z t)))))
152.0ms	(cbrt (/ (- z a) (- z t)))
163.0ms	(cbrt (/ (- z a) (- z t)))
204.0ms	(cbrt (/ (- z a) (- z t)))

simplify2.3s

Counts

166 → 166

Iterations

Iter	Nodes
done	5001
3	2371
2	812
1	367
0	182

prune905.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes397.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	11
1	11
0	10

end0.0ms

sample1.2s

Algorithm

intervals

Results

856.0ms

8710×

body

valid