Details

sample50.0ms

Algorithm

intervals

Results

28.0ms

315×

body

valid

simplify9.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
159	4976
158	4941
157	4915
156	4876
155	4852
154	4809
153	4785
152	4754
151	4726
150	4691
149	4665
148	4626
147	4600
146	4565
145	4541
144	4502
143	4474
142	4443
141	4415
140	4380
139	4354
138	4315
137	4291
136	4256
135	4232
134	4193
133	4165
132	4134
131	4106
130	4067
129	4043
128	4000
127	3974
126	3943
125	3915
124	3880
123	3854
122	3819
121	3793
120	3758
119	3734
118	3699
117	3673
116	3634
115	3610
114	3575
113	3551
112	3508
111	3482
110	3451
109	3423
108	3388
107	3362
106	3323
105	3299
104	3260
103	3232
102	3201
101	3173
100	3138
99	3112
98	3073
97	3047
96	3012
95	2988
94	2945
93	2919
92	2888
91	2860
90	2825
89	2799
88	2760
87	2736
86	2697
85	2669
84	2638
83	2610
82	2575
81	2549
80	2514
79	2488
78	2449
77	2425
76	2386
75	2358
74	2327
73	2299
72	2260
71	2236
70	2197
69	2169
68	2138
67	2110
66	2075
65	2049
64	2010
63	1986
62	1947
61	1919
60	1888
59	1860
58	1821
57	1795
56	1760
55	1736
54	1693
53	1667
52	1636
51	1608
50	1569
49	1545
48	1502
47	1476
46	1445
45	1417
44	1378
43	1354
42	1311
41	1287
40	1256
39	1228
38	1189
37	1165
36	1130
35	1106
34	1063
33	1039
32	1008
31	980
30	945
29	919
28	884
27	860
26	825
25	799
24	760
23	736
22	697
21	669
20	638
19	610
18	575
17	551
16	512
15	488
14	452
13	427
12	367
11	327
10	281
9	240
8	182
7	141
6	93
5	54
4	38
3	28
2	19
1	12
0	6

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`associate-/r*`
2×	`pow1` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+r-` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `sum-log` `flip--` `flip-+` `div-inv` `distribute-lft-out`

Counts

2 → 51

Calls

2 calls:

46.0ms	(+ x (/ (- y x) z))
61.0ms	(/ (- y x) z)

series107.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(+ x (/ (- y x) z))
64.0ms	(/ (- y x) z)

simplify7.8s

Counts

57 → 57

Iterations

Iter	Nodes
done	5005
3	3007
2	657
1	230
0	94

prune671.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- y x) (/ 1 z)))
0.3b	(* (- y x) (/ 1 z))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`-un-lft-identity` `associate-r*`
11×	`add-exp-log` `times-frac`
10×	`add-cube-cbrt`
7×	`add-cbrt-cube`
5×	`associate-l`
4×	`pow1` `prod-exp` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-times` `flip3--` `div-exp` `associate-*l/` `flip--` `cbrt-unprod`
1×	`cbrt-undiv` `+-commutative` `rec-exp` `flip3-+` `1-exp` `associate-r/` `pow-prod-down` `sum-log` `un-div-inv` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 53

Calls

2 calls:

18.0ms	(+ x (* (- y x) (/ 1 z)))
64.0ms	(* (- y x) (/ 1 z))

series515.0ms

Counts

2 → 6

Calls

2 calls:

344.0ms	(+ x (* (- y x) (/ 1 z)))
170.0ms	(* (- y x) (/ 1 z))

simplify7.9s

Counts

59 → 59

Iterations

Iter	Nodes
done	5016
3	3196
2	928
1	307
0	117

prune351.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- y x) z)
0.1b	(* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)))
0.3b	(* (/ (- y x) z) (/ (- y x) z))
35.4b	(cbrt (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z))))

rewrite550.0ms

Algorithm

rewrite-expression-head

Rules

119×	`*-un-lft-identity`
116×	`add-sqr-sqrt`
107×	`times-frac`
63×	`add-cube-cbrt`
59×	`add-exp-log` `add-cbrt-cube`
38×	`associate-l`
25×	`pow1` `swap-sqr` `distribute-lft-out--`
22×	`prod-exp` `cbrt-unprod`
20×	`associate-r`
19×	`difference-of-squares`
18×	`cbrt-undiv` `div-exp`
11×	`frac-times` `associate-*r/`
7×	`cbrt-div` `associate-*l/`
6×	`pow-prod-up` `div-inv` `unswap-sqr`
5×	`associate-/l*`
4×	`pow-prod-down` `add-log-exp`
3×	`associate-/r*`
2×	`pow2` `pow-plus` `cube-unmult` `pow-sqr` `*-commutative` `associate-/l/`
1×	`cbrt-prod` `flip3--` `frac-2neg` `pow1/3` `div-sub` `clear-num` `flip--` `rem-cbrt-cube`

Counts

4 → 210

Calls

4 calls:

33.0ms	(/ (- y x) z)
161.0ms	(* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)))
109.0ms	(* (/ (- y x) z) (/ (- y x) z))
223.0ms	(cbrt (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z))))

series334.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (- y x) z)
122.0ms	(* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z)))
55.0ms	(* (/ (- y x) z) (/ (- y x) z))
101.0ms	(cbrt (* (/ (- y x) z) (* (/ (- y x) z) (/ (- y x) z))))

simplify7.9s

Counts

222 → 222

Iterations

Iter	Nodes
done	5005
2	3348
1	834
0	251

prune1.9s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize323.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (- y x) (/ 1 z))
0.3b	(* (- y x) (/ 1 z))
6.1b	(- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))))
27.0b	(/ (- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))) (- x (* (- y x) (/ 1 z))))

rewrite229.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
34×	`times-frac`
29×	`add-cube-cbrt`
26×	`associate-r`
24×	`add-exp-log`
16×	`add-cbrt-cube`
10×	`associate-l`
8×	`pow1` `prod-exp`
7×	`flip3--` `flip--` `difference-of-squares`
6×	`add-log-exp` `unswap-sqr`
5×	`div-exp`
4×	`frac-times` `associate-l/` `cbrt-unprod` `associate-/l`
3×	`cbrt-undiv` `associate-/r*` `div-inv`
2×	`rec-exp` `1-exp` `associate-r/` `pow-prod-down` `associate-/r/` `un-div-inv` `-commutative` `associate-/l/` `distribute-lft-out--`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `clear-num`

Counts

4 → 133

Calls

4 calls:

60.0ms	(* (- y x) (/ 1 z))
59.0ms	(* (- y x) (/ 1 z))
21.0ms	(- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))))
79.0ms	(/ (- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))) (- x (* (- y x) (/ 1 z))))

series920.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (- y x) (/ 1 z))
47.0ms	(* (- y x) (/ 1 z))
390.0ms	(- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z))))
436.0ms	(/ (- (* x x) (* (* (- y x) (/ 1 z)) (* (- y x) (/ 1 z)))) (- x (* (- y x) (/ 1 z))))

simplify5.1s

Counts

145 → 145

Iterations

Iter	Nodes
done	5001
2	1772
1	502
0	188

prune2.8s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes1.0s

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	7
1	7
0	6

end1.0ms

sample1.9s

Algorithm

intervals

Results

961.0ms

10059×

body

valid