Details

sample66.0ms

Algorithm

intervals

Results

34.0ms

473×

body

valid

simplify5.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
7	4088
6	1776
5	748
4	361
3	169
2	51
1	21
0	11

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.1b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* z z) t)
0.0b	(- (* x x) (* (* y 4.0) (- (* z z) t)))
4.8b	(* (* y 4.0) (- (* z z) t))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

16×	`prod-diff`
11×	`add-sqr-sqrt`
10×	`distribute-rgt-in` `distribute-lft-in` `associate--r+`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`add-log-exp`
6×	`sub-neg`
4×	`associate-r`
3×	`expm1-log1p-u` `flip3--` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `flip--`
2×	`fma-neg` `diff-log` `associate-*r/` `difference-of-squares`
1×	`associate-l` `*-commutative`

Counts

3 → 78

Calls

3 calls:

15.0ms	(- (* z z) t)
18.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
42.0ms	(* (* y 4.0) (- (* z z) t))

series274.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(- (* z z) t)
130.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
115.0ms	(* (* y 4.0) (- (* z z) t))

simplify1.4s

Counts

87 → 87

Iterations

Iter	Nodes
done	5003
2	1308
1	441
0	148

prune610.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.7b

localize30.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* z z) t)
4.8b	(* (* y 4.0) (- (* z z) t))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

9×	`prod-diff`
8×	`add-sqr-sqrt`
7×	`pow1` `add-cbrt-cube` `add-exp-log`
6×	`*-un-lft-identity` `add-cube-cbrt`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`associate-r` `add-log-exp`
3×	`sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `flip3--` `associate-*r/` `log1p-expm1-u` `flip--` `difference-of-squares`
1×	`fma-neg` `diff-log` `associate-l` `*-commutative`

Counts

2 → 52

Calls

2 calls:

8.0ms	(- (* z z) t)
36.0ms	(* (* y 4.0) (- (* z z) t))

series104.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(- (* z z) t)
77.0ms	(* (* y 4.0) (- (* z z) t))

simplify2.8s

Counts

58 → 58

Iterations

Iter	Nodes
done	5000
3	4222
2	966
1	319
0	108

prune287.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.7b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (- t)))
8.6b	(* (* y 4.0) (* z z))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`add-sqr-sqrt` `expm1-log1p-u` `*-un-lft-identity` `distribute-rgt-neg-out` `add-cube-cbrt` `log1p-expm1-u`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `associate-r` `associate-l` `unsub-neg` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 41

Calls

2 calls:

28.0ms	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (- t)))
24.0ms	(* (* y 4.0) (* z z))

series157.0ms

Counts

2 → 6

Calls

2 calls:

120.0ms	(+ (* (* y 4.0) (* z z)) (* (* y 4.0) (- t)))
37.0ms	(* (* y 4.0) (* z z))

simplify1.4s

Counts

47 → 47

Iterations

Iter	Nodes
done	5000
2	957
1	236
0	77

prune262.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (- t)))
0.2b	(* (* (* y 4.0) z) z)

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-cbrt-cube` `add-exp-log`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
2×	`expm1-log1p-u` `distribute-rgt-neg-out` `log1p-expm1-u`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `associate-l` `unsub-neg` `*-commutative` `flip-+`

Counts

2 → 39

Calls

2 calls:

68.0ms	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (- t)))
59.0ms	(* (* (* y 4.0) z) z)

series233.0ms

Counts

2 → 6

Calls

2 calls:

163.0ms	(+ (* (* (* y 4.0) z) z) (* (* y 4.0) (- t)))
69.0ms	(* (* (* y 4.0) z) z)

simplify1.5s

Counts

45 → 45

Iterations

Iter	Nodes
done	5000
2	1034
1	251
0	82

prune248.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes724.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.7s

Iterations

Iter	Nodes
done	5001
152	4983
151	4947
150	4917
149	4881
148	4851
147	4815
146	4785
145	4749
144	4719
143	4683
142	4653
141	4617
140	4587
139	4551
138	4521
137	4485
136	4455
135	4419
134	4389
133	4353
132	4323
131	4287
130	4257
129	4221
128	4191
127	4155
126	4125
125	4089
124	4059
123	4023
122	3993
121	3957
120	3927
119	3891
118	3861
117	3825
116	3795
115	3759
114	3729
113	3693
112	3663
111	3627
110	3597
109	3561
108	3531
107	3495
106	3465
105	3429
104	3399
103	3363
102	3333
101	3297
100	3267
99	3231
98	3201
97	3165
96	3135
95	3099
94	3069
93	3033
92	3003
91	2967
90	2937
89	2901
88	2871
87	2835
86	2805
85	2769
84	2739
83	2703
82	2673
81	2637
80	2607
79	2571
78	2541
77	2505
76	2475
75	2439
74	2409
73	2373
72	2343
71	2307
70	2277
69	2241
68	2211
67	2175
66	2145
65	2109
64	2079
63	2043
62	2013
61	1977
60	1947
59	1911
58	1881
57	1845
56	1815
55	1779
54	1749
53	1713
52	1683
51	1647
50	1617
49	1581
48	1551
47	1515
46	1485
45	1449
44	1419
43	1383
42	1353
41	1317
40	1287
39	1251
38	1221
37	1185
36	1155
35	1119
34	1089
33	1053
32	1023
31	987
30	957
29	921
28	891
27	855
26	825
25	789
24	759
23	723
22	693
21	657
20	627
19	591
18	561
17	525
16	495
15	459
14	429
13	393
12	363
11	327
10	295
9	259
8	221
7	174
6	134
5	80
4	65
3	57
2	39
1	23
0	13

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.5s

15833×

body

valid