Details

sample21.0ms

Algorithm

intervals

Results

10.0ms	237×	body	80	valid
1.0ms	6×	body	1280	valid
1.0ms	4×	body	2560	valid
1.0ms	3×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	3×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
139	4976
138	4941
137	4905
136	4873
135	4840
134	4803
133	4769
132	4737
131	4702
130	4667
129	4633
128	4600
127	4567
126	4532
125	4496
124	4464
123	4431
122	4394
121	4360
120	4328
119	4293
118	4258
117	4224
116	4191
115	4158
114	4123
113	4087
112	4055
111	4022
110	3985
109	3951
108	3919
107	3884
106	3849
105	3815
104	3782
103	3749
102	3714
101	3674
100	3642
99	3609
98	3572
97	3538
96	3506
95	3471
94	3436
93	3402
92	3369
91	3336
90	3301
89	3265
88	3233
87	3200
86	3163
85	3129
84	3097
83	3062
82	3027
81	2993
80	2960
79	2927
78	2892
77	2854
76	2822
75	2789
74	2752
73	2718
72	2686
71	2651
70	2616
69	2582
68	2549
67	2516
66	2481
65	2445
64	2413
63	2380
62	2343
61	2309
60	2277
59	2242
58	2207
57	2173
56	2140
55	2107
54	2072
53	2034
52	2002
51	1969
50	1932
49	1898
48	1866
47	1831
46	1796
45	1762
44	1729
43	1696
42	1661
41	1625
40	1593
39	1560
38	1523
37	1489
36	1457
35	1422
34	1387
33	1353
32	1320
31	1287
30	1252
29	1214
28	1182
27	1149
26	1112
25	1078
24	1046
23	1011
22	976
21	942
20	909
19	876
18	841
17	805
16	772
15	740
14	704
13	653
12	608
11	547
10	505
9	414
8	234
7	155
6	94
5	54
4	39
3	29
2	19
1	12
0	6

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+r-` `sum-log` `flip3-+` `add-cbrt-cube` `div-sub` `add-exp-log` `add-cube-cbrt` `flip-+` `insert-posit16` `distribute-lft-out`

Counts

1 → 14

Calls

1 calls:

19.0ms

(+ x (/ (- x y) 2.0))

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(+ x (/ (- x y) 2.0))

simplify1.9s

Counts

17 → 17

Iterations

Iter	Nodes
done	5000
4	3268
3	724
2	249
1	93
0	35

prune58.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
9×	`*-un-lft-identity`
4×	`associate-l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
3×	`add-log-exp`
1×	`pow1` `sub-neg` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--`

Counts

1 → 21

Calls

1 calls:

46.0ms

(- (* 1.5 x) (* 0.5 y))

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(- (* 1.5 x) (* 0.5 y))

simplify1.9s

Counts

24 → 24

Iterations

Iter	Nodes
done	5000
4	1773
3	788
2	298
1	117
0	46

prune57.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
0.0b	(- x (/ (- x y) 2.0))
13.0b	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
30.1b	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

rewrite1.0s

Algorithm

rewrite-expression-head

Rules

1648×	`add-sqr-sqrt`
689×	`times-frac`
510×	`difference-of-squares`
468×	`*-un-lft-identity`
236×	`unswap-sqr`
195×	`associate-/l*`
193×	`swap-sqr`
169×	`frac-times`
161×	`add-cube-cbrt`
142×	`distribute-lft-out--`
113×	`*-commutative`
90×	`associate-/r*`
58×	`associate-/l/`
51×	`associate-l`
32×	`flip3--` `flip--`
30×	`clear-num`
29×	`frac-2neg`
19×	`associate-r`
18×	`add-cbrt-cube` `add-exp-log`
13×	`associate-l/` `associate-r/`
11×	`pow1`
8×	`add-log-exp`
5×	`cbrt-undiv` `div-exp` `div-inv`
4×	`prod-exp` `cbrt-unprod` `insert-posit16`
3×	`un-div-inv`
2×	`sub-neg` `diff-log` `div-sub` `associate-/r/`
1×	`pow2` `pow-plus` `pow-prod-down` `pow-sqr` `pow-prod-up` `associate--r-`

Counts

4 → 762

Calls

4 calls:

101.0ms	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
21.0ms	(- x (/ (- x y) 2.0))
219.0ms	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
619.0ms	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

series266.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (/ (- x y) 2.0) (/ (- x y) 2.0))
42.0ms	(- x (/ (- x y) 2.0))
47.0ms	(- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
145.0ms	(/ (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)))

simplify1.8s

Counts

774 → 774

Iterations

Iter	Nodes
done	5001
1	2369
0	743

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (- x (/ (- x y) 2.0))) (cbrt (- x (/ (- x y) 2.0))))
0.6b	(cbrt (- x (/ (- x y) 2.0)))
0.6b	(cbrt (- x (/ (- x y) 2.0)))
0.6b	(cbrt (- x (/ (- x y) 2.0)))

rewrite266.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt`
50×	`cbrt-prod`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
14×	`difference-of-squares`
11×	`pow1` `swap-sqr`
9×	`flip3--` `pow1/3` `associate-r` `associate-l` `flip--` `distribute-lft-out--`
8×	`add-cbrt-cube`
7×	`times-frac`
6×	`add-exp-log`
4×	`frac-times` `cbrt-unprod` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Counts

4 → 114

Calls

4 calls:

191.0ms	(* (cbrt (- x (/ (- x y) 2.0))) (cbrt (- x (/ (- x y) 2.0))))
36.0ms	(cbrt (- x (/ (- x y) 2.0)))
17.0ms	(cbrt (- x (/ (- x y) 2.0)))
20.0ms	(cbrt (- x (/ (- x y) 2.0)))

series1.7s

Counts

4 → 12

Calls

4 calls:

722.0ms	(* (cbrt (- x (/ (- x y) 2.0))) (cbrt (- x (/ (- x y) 2.0))))
345.0ms	(cbrt (- x (/ (- x y) 2.0)))
304.0ms	(cbrt (- x (/ (- x y) 2.0)))
283.0ms	(cbrt (- x (/ (- x y) 2.0)))

simplify1.5s

Counts

126 → 126

Iterations

Iter	Nodes
done	5001
3	2083
2	866
1	352
0	161

prune932.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes82.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	9
1	9
0	7

end0.0ms

sample803.0ms

Algorithm

intervals

Results

515.0ms	7387×	body	80	valid
59.0ms	236×	body	1280	valid
33.0ms	158×	body	640	valid
25.0ms	86×	body	2560	valid
13.0ms	87×	body	320	valid
5.0ms	47×	body	160	valid