Details

sample26.0ms

Algorithm

intervals

Results

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

simplify1.1s

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

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity`
3×	`fma-def` `add-log-exp`
2×	`add-sqr-sqrt` `add-cube-cbrt`
1×	`expm1-log1p-u` `pow1` `+-commutative` `associate-+r-` `sum-log` `flip3-+` `add-cbrt-cube` `div-sub` `add-exp-log` `flip-+` `insert-posit16` `log1p-expm1-u` `distribute-lft-out`

Counts

1 → 19

Calls

1 calls:

15.0ms

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

series65.0ms

Counts

1 → 3

Calls

1 calls:

65.0ms

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

simplify750.0ms

Counts

22 → 22

Iterations

Iter	Nodes
done	2001
3	805
2	270
1	99
0	37

prune72.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 17

Calls

1 calls:

8.0ms

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

series46.0ms

Counts

1 → 3

Calls

1 calls:

46.0ms

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

simplify730.0ms

Counts

20 → 20

Iterations

Iter	Nodes
done	2000
3	904
2	305
1	103
0	37

prune56.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma 1.5 x (- (* 0.5 y)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

1 → 11

Calls

1 calls:

0.0ms

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

series48.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

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

simplify615.0ms

Counts

14 → 14

Iterations

Iter	Nodes
done	2005
4	783
3	195
2	59
1	30
0	19

prune60.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify4.0ms

Iterations

Iter	Nodes
done	14
2	14
1	12
0	7

end0.0ms

sample751.0ms

Algorithm

intervals

Results

451.0ms	7392×	body	80	valid
53.0ms	152×	body	640	valid
48.0ms	213×	body	1280	valid
26.0ms	97×	body	2560	valid
13.0ms	94×	body	320	valid
5.0ms	56×	body	160	valid