Details

sample100.0ms

Algorithm

intervals

Results

45.0ms	248×	body	80	nan
34.0ms	270×	body	80	valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
136	1994
135	1977
134	1967
133	1950
132	1944
131	1923
130	1913
129	1900
128	1890
127	1869
126	1863
125	1842
124	1832
123	1819
122	1809
121	1788
120	1780
119	1763
118	1757
117	1736
116	1726
115	1713
114	1703
113	1682
112	1674
111	1657
110	1647
109	1630
108	1620
107	1603
106	1593
105	1576
104	1566
103	1549
102	1539
101	1522
100	1512
99	1495
98	1485
97	1468
96	1458
95	1441
94	1435
93	1414
92	1404
91	1391
90	1381
89	1360
88	1352
87	1335
86	1325
85	1308
84	1298
83	1281
82	1271
81	1254
80	1244
79	1227
78	1217
77	1200
76	1190
75	1173
74	1163
73	1146
72	1136
71	1119
70	1109
69	1092
68	1082
67	1065
66	1055
65	1038
64	1032
63	1011
62	1001
61	988
60	978
59	957
58	949
57	932
56	922
55	905
54	899
53	878
52	868
51	855
50	847
49	828
48	820
47	807
46	799
45	778
44	770
43	755
42	745
41	732
40	722
39	705
38	697
37	680
36	672
35	655
34	647
33	628
32	620
31	607
30	597
29	576
28	568
27	551
26	541
25	524
24	514
23	497
22	487
21	470
20	460
19	443
18	435
17	418
16	410
15	395
14	385
13	372
12	362
11	337
10	318
9	286
8	226
7	130
6	98
5	88
4	81
3	62
2	41
1	24
0	12

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
0.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(* 3.0 (sqrt x))
0.4b	(/ 1.0 (* x 9.0))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
63×	`*-un-lft-identity`
56×	`prod-diff`
42×	`add-cube-cbrt`
30×	`times-frac`
23×	`associate--l+`
16×	`add-cbrt-cube` `add-exp-log`
11×	`distribute-lft-out--`
10×	`div-inv`
9×	`add-log-exp` `difference-of-squares`
6×	`pow1` `associate-r` `associate-/l*`
5×	`fma-neg`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `sqrt-prod` `insert-posit16` `log1p-expm1-u`
3×	`diff-log` `associate-l` `prod-exp` `cbrt-unprod`
2×	`clear-num` `associate-/r*` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative`

Counts

4 → 158

Calls

4 calls:

99.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
7.0ms	(/ y (* 3.0 (sqrt x)))
7.0ms	(* 3.0 (sqrt x))
6.0ms	(/ 1.0 (* x 9.0))

series224.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x))))
88.0ms	(/ y (* 3.0 (sqrt x)))
50.0ms	(* 3.0 (sqrt x))
27.0ms	(/ 1.0 (* x 9.0))

simplify673.0ms

Counts

170 → 170

Iterations

Iter	Nodes
done	2001
1	817
0	313

prune792.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
0.2b	(/ (/ 1.0 x) 9.0)
0.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(* 3.0 (sqrt x))

rewrite159.0ms

Algorithm

rewrite-expression-head

Rules

321×	`times-frac`
299×	`add-sqr-sqrt`
242×	`*-un-lft-identity`
221×	`add-cube-cbrt`
178×	`prod-diff`
131×	`associate--l+`
25×	`div-inv` `difference-of-squares`
16×	`add-cbrt-cube` `add-exp-log` `associate-/l*`
11×	`distribute-lft-out--`
9×	`add-log-exp`
7×	`fma-neg`
6×	`pow1` `associate-r`
5×	`cbrt-undiv` `div-exp`
4×	`expm1-log1p-u` `associate-/r*` `sqrt-prod` `insert-posit16` `log1p-expm1-u`
3×	`diff-log` `associate-l`
2×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `prod-exp` `frac-sub` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`associate--l-` `pow-prod-down` `*-commutative` `associate-/l/`

Counts

4 → 331

Calls

4 calls:

103.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
13.0ms	(/ (/ 1.0 x) 9.0)
17.0ms	(/ y (* 3.0 (sqrt x)))
12.0ms	(* 3.0 (sqrt x))

series225.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x))))
21.0ms	(/ (/ 1.0 x) 9.0)
78.0ms	(/ y (* 3.0 (sqrt x)))
56.0ms	(* 3.0 (sqrt x))

simplify955.0ms

Counts

343 → 343

Iterations

Iter	Nodes
done	2004
1	1599
0	570

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
0.2b	(/ (/ 1.0 x) 9.0)
0.3b	(/ (/ y 3.0) (sqrt x))

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

1599×	`add-sqr-sqrt`
1593×	`times-frac`
1007×	`*-un-lft-identity`
836×	`add-cube-cbrt`
703×	`prod-diff`
317×	`sqrt-prod`
254×	`difference-of-squares`
131×	`associate--l+`
86×	`distribute-lft-out--`
74×	`div-inv`
26×	`associate-/l*`
13×	`add-cbrt-cube` `add-exp-log`
9×	`associate-/r*`
8×	`add-log-exp`
7×	`fma-neg`
6×	`cbrt-undiv` `div-exp`
3×	`expm1-log1p-u` `pow1` `diff-log` `insert-posit16` `log1p-expm1-u`
2×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `frac-sub` `flip--` `associate-/l/`
1×	`associate--l-`

Counts

3 → 926

Calls

3 calls:

112.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
7.0ms	(/ (/ 1.0 x) 9.0)
9.0ms	(/ (/ y 3.0) (sqrt x))

series164.0ms

Counts

3 → 9

Calls

3 calls:

53.0ms	(- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ (/ y 3.0) (sqrt x)))
19.0ms	(/ (/ 1.0 x) 9.0)
92.0ms	(/ (/ y 3.0) (sqrt x))

simplify1.3s

Counts

935 → 935

Iterations

Iter	Nodes
done	2001
0	1280

prune4.9s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
0.3b	(/ y (* 3.0 (sqrt x)))
0.3b	(* 3.0 (sqrt x))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-sqr-sqrt`
83×	`*-un-lft-identity`
81×	`prod-diff`
62×	`add-cube-cbrt`
56×	`times-frac`
41×	`associate--l+`
17×	`difference-of-squares`
11×	`distribute-lft-out--`
10×	`add-cbrt-cube` `add-exp-log` `div-inv`
8×	`add-log-exp`
6×	`fma-neg` `associate-r`
5×	`pow1`
4×	`sqrt-prod`
3×	`expm1-log1p-u` `diff-log` `associate-l` `insert-posit16` `log1p-expm1-u` `associate-/l*`
2×	`cbrt-undiv` `sub-neg` `flip3--` `div-exp` `prod-exp` `frac-sub` `cbrt-unprod` `flip--` `unswap-sqr`
1×	`associate--l-` `clear-num` `associate-/r` `frac-2neg` `pow-prod-down` `-commutative`

Counts

3 → 160

Calls

3 calls:

78.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
9.0ms	(/ y (* 3.0 (sqrt x)))
7.0ms	(* 3.0 (sqrt x))

series176.0ms

Counts

3 → 9

Calls

3 calls:

62.0ms	(- (- 1.0 (/ 0.1111111111111111 x)) (/ y (* 3.0 (sqrt x))))
71.0ms	(/ y (* 3.0 (sqrt x)))
43.0ms	(* 3.0 (sqrt x))

simplify570.0ms

Counts

169 → 169

Iterations

Iter	Nodes
done	2000
1	856
0	325

prune775.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes71.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	12
1	12
0	11

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.2s	8522×	body	80	valid
871.0ms	8577×	body	80	nan