Details

sample28.0ms

Algorithm

intervals

Results

13.0ms	238×	body	80	valid
2.0ms	8×	body	1280	valid
1.0ms	6×	body	640	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	2560	valid

simplify967.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
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

prune3.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))

rewrite16.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:

16.0ms

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

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

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

simplify500.0ms

Counts

17 → 17

Iterations

Iter	Nodes
done	2004
3	724
2	249
1	93
0	35

prune72.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `insert-posit16` `flip--`

Counts

1 → 13

Calls

1 calls:

10.0ms

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

series56.0ms

Counts

1 → 3

Calls

1 calls:

56.0ms

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

simplify960.0ms

Counts

16 → 16

Iterations

Iter	Nodes
done	2001
4	1743
3	720
2	260
1	89
0	30

prune60.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize24.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)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `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` `cbrt-unprod`

Counts

4 → 99

Calls

4 calls:

96.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
14.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
12.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series2.1s

Counts

4 → 12

Calls

4 calls:

449.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
481.0ms	(cbrt (+ x (/ (- x y) 2.0)))
485.0ms	(cbrt (+ x (/ (- x y) 2.0)))
725.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify811.0ms

Counts

111 → 111

Iterations

Iter	Nodes
done	2001
3	1553
2	652
1	284
0	131

prune383.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b	(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)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `cbrt-div` `add-cube-cbrt`
4×	`pow1` `flip3-+` `add-cbrt-cube` `pow1/3` `add-exp-log` `flip-+` `insert-posit16` `distribute-lft-out` `add-log-exp`

Counts

4 → 60

Calls

4 calls:

13.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series1.9s

Counts

4 → 12

Calls

4 calls:

485.0ms	(cbrt (+ x (/ (- x y) 2.0)))
453.0ms	(cbrt (+ x (/ (- x y) 2.0)))
462.0ms	(cbrt (+ x (/ (- x y) 2.0)))
496.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify572.0ms

Counts

72 → 72

Iterations

Iter	Nodes
done	2000
3	741
2	319
1	146
0	69

prune355.0ms

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0.0b

regimes140.0ms

Accuracy

0% (0.1b 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

sample663.0ms

Algorithm

intervals

Results

391.0ms	7392×	body	80	valid
46.0ms	213×	body	1280	valid
32.0ms	94×	body	320	valid
25.0ms	152×	body	640	valid
24.0ms	97×	body	2560	valid
5.0ms	56×	body	160	valid