Details

sample62.0ms

Algorithm

intervals

Results

16.0ms	296×	body	80	nan
14.0ms	269×	body	80	valid

simplify7.5s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
73	4957
72	4884
71	4811
70	4738
69	4663
68	4590
67	4517
66	4444
65	4369
64	4296
63	4223
62	4150
61	4075
60	4002
59	3929
58	3856
57	3781
56	3708
55	3635
54	3562
53	3487
52	3414
51	3341
50	3268
49	3193
48	3120
47	3047
46	2974
45	2899
44	2826
43	2753
42	2680
41	2605
40	2532
39	2459
38	2386
37	2311
36	2238
35	2161
34	2087
33	2016
32	1942
31	1869
30	1800
29	1721
28	1647
27	1574
26	1500
25	1425
24	1356
23	1279
22	1205
21	1134
20	1060
19	987
18	922
17	843
16	769
15	700
14	626
13	547
12	485
11	409
10	334
9	244
8	159
7	128
6	107
5	70
4	55
3	40
2	23
1	13
0	7

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize288.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- 1.0 x) (* y (sqrt x)))
0.2b	(* y (sqrt x))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`associate-r`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `sqrt-prod` `add-cbrt-cube`
3×	`associate-l`
2×	`associate-+l+` `sum-log` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+`

Counts

2 → 37

Calls

2 calls:

84.0ms	(+ (- 1.0 x) (* y (sqrt x)))
47.0ms	(* y (sqrt x))

series313.0ms

Counts

2 → 6

Calls

2 calls:

68.0ms	(+ (- 1.0 x) (* y (sqrt x)))
245.0ms	(* y (sqrt x))

simplify12.1s

Counts

43 → 43

Iterations

Iter	Nodes
done	5001
3	2822
2	783
1	251
0	96

prune441.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.1b	(sqrt (sqrt x))
0.2b	(* y (sqrt (sqrt x)))
0.4b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 88

Calls

4 calls:

4.0ms	(sqrt (sqrt x))
4.0ms	(sqrt (sqrt x))
27.0ms	(* y (sqrt (sqrt x)))
110.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series1.7s

Counts

4 → 12

Calls

4 calls:

327.0ms	(sqrt (sqrt x))
727.0ms	(sqrt (sqrt x))
246.0ms	(* y (sqrt (sqrt x)))
419.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify6.9s

Counts

100 → 100

Iterations

Iter	Nodes
done	5000
2	1273
1	355
0	132

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.2b	(* y (sqrt (sqrt (sqrt x))))
0.4b	(* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))
0.4b	(* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

rewrite500.0ms

Algorithm

rewrite-expression-head

Rules

61×	`sqrt-prod`
33×	`associate-r`
28×	`add-sqr-sqrt`
22×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
18×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`associate-l`
4×	`sqrt-pow1` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`rem-sqrt-square` `pow1/2`

Counts

4 → 103

Calls

4 calls:

5.0ms	(sqrt (sqrt x))
33.0ms	(* y (sqrt (sqrt (sqrt x))))
348.0ms	(* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))
106.0ms	(* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

series1.5s

Counts

4 → 12

Calls

4 calls:

520.0ms	(sqrt (sqrt x))
690.0ms	(* y (sqrt (sqrt (sqrt x))))
159.0ms	(* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))
154.0ms	(* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))

simplify4.3s

Counts

115 → 115

Iterations

Iter	Nodes
done	5000
2	1819
1	494
0	180

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize583.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.2b	(* y (sqrt (sqrt (sqrt x))))
0.3b	(* (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
0.3b	(* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x)))

rewrite621.0ms

Algorithm

rewrite-expression-head

Rules

94×	`sqrt-prod`
55×	`add-sqr-sqrt`
38×	`pow1` `sqrt-pow1`
22×	`associate-r`
20×	`add-exp-log` `add-cbrt-cube`
18×	`add-cube-cbrt` `*-un-lft-identity`
16×	`pow1/2` `associate-l` `unswap-sqr`
14×	`pow-prod-down`
10×	`prod-exp` `pow-prod-up` `cbrt-unprod`
4×	`add-log-exp`
3×	`cube-unmult` `*-commutative`
2×	`rem-sqrt-square` `pow-plus`
1×	`sqrt-unprod`

Counts

4 → 135

Calls

4 calls:

5.0ms	(sqrt (sqrt x))
148.0ms	(* y (sqrt (sqrt (sqrt x))))
285.0ms	(* (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
95.0ms	(* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x)))

series1.6s

Counts

4 → 12

Calls

4 calls:

272.0ms	(sqrt (sqrt x))
273.0ms	(* y (sqrt (sqrt (sqrt x))))
96.0ms	(* (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))))
950.0ms	(* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify5.5s

Counts

147 → 147

Iterations

Iter	Nodes
done	5002
2	1652
1	490
0	193

prune1.3s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes315.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	9
1	9
0	7

end0.0ms

sample2.6s

Algorithm

intervals

Results

907.0ms	8502×	body	80	valid
730.0ms	8321×	body	80	nan
0.0ms	1×	body	1280	valid