Details

sample27.0ms

Algorithm

intervals

Results

8.0ms	286×	body	80	nan
8.0ms	269×	body	80	valid

simplify2.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
83	4940
82	4876
81	4813
80	4748
79	4684
78	4620
77	4557
76	4492
75	4428
74	4364
73	4301
72	4236
71	4172
70	4108
69	4045
68	3980
67	3916
66	3852
65	3789
64	3724
63	3660
62	3596
61	3533
60	3468
59	3404
58	3340
57	3277
56	3212
55	3148
54	3084
53	3021
52	2956
51	2892
50	2828
49	2765
48	2700
47	2636
46	2572
45	2509
44	2444
43	2380
42	2316
41	2253
40	2188
39	2124
38	2060
37	1997
36	1932
35	1868
34	1804
33	1741
32	1676
31	1612
30	1548
29	1485
28	1420
27	1356
26	1292
25	1229
24	1164
23	1100
22	1036
21	973
20	908
19	844
18	780
17	717
16	652
15	588
14	522
13	456
12	390
11	329
10	242
9	156
8	108
7	87
6	74
5	67
4	55
3	40
2	23
1	13
0	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 39

Calls

2 calls:

19.0ms	(+ (- 1.0 x) (* y (sqrt x)))
7.0ms	(* y (sqrt x))

series87.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(+ (- 1.0 x) (* y (sqrt x)))
48.0ms	(* y (sqrt x))

simplify1.8s

Counts

45 → 45

Iterations

Iter	Nodes
done	5006
3	2801
2	777
1	250
0	97

prune192.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize18.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.3b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

7.0ms	(sqrt (sqrt x))
3.0ms	(sqrt (sqrt x))
17.0ms	(* y (sqrt (sqrt x)))
39.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series576.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(sqrt (sqrt x))
194.0ms	(sqrt (sqrt x))
133.0ms	(* y (sqrt (sqrt x)))
62.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify2.8s

Counts

104 → 104

Iterations

Iter	Nodes
done	5000
3	4875
2	1185
1	355
0	135

prune447.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (/ 1 x) -1/4)
0.1b	(sqrt (sqrt x))
0.2b	(* y (pow (/ 1 x) -1/4))
0.3b	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log`
38×	`add-sqr-sqrt`
29×	`unpow-prod-down`
27×	`*-un-lft-identity`
26×	`associate-r` `add-cube-cbrt`
20×	`times-frac`
19×	`prod-exp` `sqrt-prod`
12×	`pow-exp`
11×	`add-cbrt-cube`
10×	`pow1`
6×	`div-exp`
5×	`unswap-sqr`
4×	`sqrt-pow1` `associate-l` `cbrt-unprod` `insert-posit16` `add-log-exp`
3×	`pow-to-exp` `rec-exp` `pow-unpow` `pow-pow` `1-exp` `sqr-pow`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `div-inv`
1×	`pow-prod-down` `pow-flip` `inv-pow`

Counts

4 → 123

Calls

4 calls:

6.0ms	(pow (/ 1 x) -1/4)
3.0ms	(sqrt (sqrt x))
25.0ms	(* y (pow (/ 1 x) -1/4))
34.0ms	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

series660.0ms

Counts

4 → 12

Calls

4 calls:

263.0ms	(pow (/ 1 x) -1/4)
213.0ms	(sqrt (sqrt x))
77.0ms	(* y (pow (/ 1 x) -1/4))
106.0ms	(* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))

simplify1.6s

Counts

135 → 135

Iterations

Iter	Nodes
done	5001
2	2133
1	651
0	239

prune553.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- 1.0 x) (* (* y (pow (/ 1 x) -1/4)) (pow x 1/4)))
0.1b	(pow (/ 1 x) -1/4)
0.2b	(* y (pow (/ 1 x) -1/4))
0.3b	(* (* y (pow (/ 1 x) -1/4)) (pow x 1/4))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

74×	`add-exp-log`
45×	`prod-exp`
33×	`add-sqr-sqrt`
32×	`unpow-prod-down`
27×	`pow-exp`
24×	`-un-lft-identity` `associate-r*`
23×	`add-cube-cbrt`
20×	`times-frac`
12×	`pow-to-exp`
11×	`add-cbrt-cube`
10×	`div-exp`
9×	`add-log-exp`
6×	`pow1`
5×	`rec-exp` `1-exp` `unswap-sqr`
4×	`associate-l` `cbrt-unprod` `insert-posit16` `sqr-pow`
3×	`pow-unpow` `pow-pow`
2×	`associate-+l+` `sum-log` `*-commutative` `div-inv`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `associate-+l-` `flip-+` `pow-flip` `inv-pow`

Counts

4 → 130

Calls

4 calls:

29.0ms	(+ (- 1.0 x) (* (* y (pow (/ 1 x) -1/4)) (pow x 1/4)))
7.0ms	(pow (/ 1 x) -1/4)
25.0ms	(* y (pow (/ 1 x) -1/4))
42.0ms	(* (* y (pow (/ 1 x) -1/4)) (pow x 1/4))

series477.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(+ (- 1.0 x) (* (* y (pow (/ 1 x) -1/4)) (pow x 1/4)))
261.0ms	(pow (/ 1 x) -1/4)
103.0ms	(* y (pow (/ 1 x) -1/4))
58.0ms	(* (* y (pow (/ 1 x) -1/4)) (pow x 1/4))

simplify1.5s

Counts

142 → 142

Iterations

Iter	Nodes
done	5002
2	1944
1	647
0	239

prune547.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes143.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

sample1.6s

Algorithm

intervals

Results

831.0ms	8497×	body	80	valid
393.0ms	8556×	body	80	nan
0.0ms	1×	body	1280	valid