Details

sample40.0ms

Algorithm

intervals

Results

25.0ms

276×

body

valid

simplify43.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
182	4993
181	4980
180	4967
179	4954
178	4941
177	4928
176	4915
175	4902
174	4889
173	4876
172	4863
171	4850
170	4837
169	4824
168	4811
167	4798
166	4785
165	4772
164	4759
163	4746
162	4733
161	4720
160	4707
159	4694
158	4681
157	4668
156	4655
155	4642
154	4629
153	4616
152	4603
151	4590
150	4577
149	4564
148	4551
147	4538
146	4525
145	4512
144	4499
143	4486
142	4473
141	4460
140	4447
139	4434
138	4421
137	4408
136	4395
135	4382
134	4369
133	4356
132	4343
131	4330
130	4317
129	4304
128	4291
127	4278
126	4265
125	4252
124	4239
123	4226
122	4213
121	4200
120	4187
119	4174
118	4161
117	4148
116	4135
115	4122
114	4109
113	4096
112	4083
111	4070
110	4057
109	4044
108	4031
107	4018
106	4005
105	3992
104	3979
103	3966
102	3953
101	3940
100	3927
99	3914
98	3901
97	3888
96	3875
95	3862
94	3849
93	3836
92	3823
91	3810
90	3797
89	3784
88	3771
87	3758
86	3745
85	3732
84	3719
83	3706
82	3693
81	3680
80	3667
79	3654
78	3641
77	3628
76	3615
75	3602
74	3589
73	3576
72	3563
71	3550
70	3537
69	3524
68	3511
67	3498
66	3485
65	3472
64	3459
63	3446
62	3433
61	3420
60	3407
59	3394
58	3381
57	3368
56	3355
55	3342
54	3329
53	3316
52	3303
51	3290
50	3277
49	3264
48	3251
47	3238
46	3225
45	3212
44	3199
43	3186
42	3173
41	3160
40	3147
39	3134
38	3121
37	3108
36	3095
35	3082
34	3069
33	3056
32	3043
31	3030
30	3017
29	3004
28	2991
27	2978
26	2965
25	2952
24	2939
23	2926
22	2913
21	2900
20	2887
19	2873
18	2853
17	2821
16	2734
15	2617
14	2406
13	1800
12	1000
11	516
10	409
9	357
8	324
7	277
6	230
5	172
4	112
3	61
2	33
1	18
0	10

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- z t) (- z a))
1.0b	(fma y (/ (- z t) (- z a)) x)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-cbrt-cube` `add-exp-log`
2×	`expm1-log1p-u` `pow1` `flip3--` `associate-/r/` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `fma-udef` `div-inv`

Counts

2 → 66

Calls

2 calls:

31.0ms	(/ (- z t) (- z a))
0.0ms	(fma y (/ (- z t) (- z a)) x)

series146.0ms

Counts

2 → 6

Calls

2 calls:

59.0ms	(/ (- z t) (- z a))
87.0ms	(fma y (/ (- z t) (- z a)) x)

simplify1.4s

Counts

72 → 72

Iterations

Iter	Nodes
done	5005
3	2281
2	659
1	268
0	115

prune411.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ z (- z a)) (/ t (- z a)))
0.0b	(/ z (- z a))
0.0b	(/ t (- z a))
1.0b	(fma y (- (/ z (- z a)) (/ t (- z a))) x)

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

713×	`*-un-lft-identity`
703×	`add-sqr-sqrt`
693×	`times-frac`
441×	`prod-diff`
413×	`add-cube-cbrt`
149×	`distribute-lft-out--`
143×	`difference-of-squares`
94×	`associate-/r/`
48×	`flip3--` `flip--`
47×	`div-inv`
21×	`fma-neg`
10×	`associate-/r*`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/l*` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u`
3×	`distribute-rgt-out--`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`
1×	`sub-neg` `diff-log` `frac-sub` `fma-udef` `sub-div`

Counts

4 → 585

Calls

4 calls:

74.0ms	(- (/ z (- z a)) (/ t (- z a)))
13.0ms	(/ z (- z a))
10.0ms	(/ t (- z a))
0.0ms	(fma y (- (/ z (- z a)) (/ t (- z a))) x)

series386.0ms

Counts

4 → 12

Calls

4 calls:

160.0ms	(- (/ z (- z a)) (/ t (- z a)))
55.0ms	(/ z (- z a))
33.0ms	(/ t (- z a))
137.0ms	(fma y (- (/ z (- z a)) (/ t (- z a))) x)

simplify2.2s

Counts

597 → 597

Iterations

Iter	Nodes
done	5001
2	3068
1	1281
0	573

prune3.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite484.0ms

Algorithm

rewrite-expression-head

Rules

2590×	`*-un-lft-identity`
2582×	`add-sqr-sqrt`
2568×	`times-frac`
1764×	`prod-diff`
1540×	`add-cube-cbrt`
886×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
524×	`distribute-lft-out--`
518×	`difference-of-squares`
344×	`associate-/r/`
173×	`flip3--` `flip--`
172×	`div-inv`
18×	`associate-r`
10×	`associate-/r*` `add-cbrt-cube` `add-exp-log`
6×	`pow1` `associate-/l*` `add-log-exp`
4×	`expm1-log1p-u` `sub-neg` `associate-*r/` `insert-posit16` `log1p-expm1-u`
3×	`distribute-rgt-out--` `associate-l`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `frac-sub` `cbrt-unprod` `flip-+` `sub-div` `unswap-sqr`

Counts

4 → 1907

Calls

4 calls:

16.0ms	(/ t (- z a))
16.0ms	(/ z (- z a))
120.0ms	(+ (* y (- (/ z (- z a)) (/ t (- z a)))) x)
154.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

series430.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(/ t (- z a))
71.0ms	(/ z (- z a))
117.0ms	(+ (* y (- (/ z (- z a)) (/ t (- z a)))) x)
193.0ms	(* y (- (/ z (- z a)) (/ t (- z a))))

simplify5.5s

Counts

1919 → 1919

Iterations

Iter	Nodes
done	5001
1	2316
0	1330

prune13.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

12441×	`times-frac`
9319×	`add-sqr-sqrt`
9300×	`*-un-lft-identity`
6252×	`add-cube-cbrt`
5208×	`prod-diff`
2608×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
1526×	`difference-of-squares`
1521×	`distribute-lft-out--`
591×	`div-inv`
583×	`associate-/r/`
250×	`flip3--` `flip--`
24×	`associate-/r*`
19×	`add-exp-log`
17×	`associate-r`
13×	`add-cbrt-cube`
8×	`div-exp`
7×	`pow1`
6×	`associate-/l*` `add-log-exp`
4×	`expm1-log1p-u` `cbrt-undiv` `sub-neg` `insert-posit16` `log1p-expm1-u`
3×	`associate-l` `associate-*r/`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `frac-sub` `cbrt-unprod` `flip-+` `pow-flip` `inv-pow` `unswap-sqr`

Counts

4 → 5412

Calls

4 calls:

16.0ms	(/ t (- z a))
158.0ms	(+ (* y (- (/ 1 (/ (- z a) z)) (/ t (- z a)))) x)
20.0ms	(/ 1 (/ (- z a) z))
275.0ms	(* y (- (/ 1 (/ (- z a) z)) (/ t (- z a))))

series546.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(/ t (- z a))
181.0ms	(+ (* y (- (/ 1 (/ (- z a) z)) (/ t (- z a)))) x)
88.0ms	(/ 1 (/ (- z a) z))
219.0ms	(* y (- (/ 1 (/ (- z a) z)) (/ t (- z a))))

simplify22.5s

Counts

5424 → 5424

Iterations

Iter	Nodes
done	5000
0	3277

prune40.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes453.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations

Iter	Nodes
done	34
2	34
1	32
0	19

end0.0ms

sample1.2s

Algorithm

intervals

Results

839.0ms

8710×

body

valid