Details

sample43.0ms

Algorithm

intervals

Results

14.0ms	87×	body	1280	valid
6.0ms	48×	body	640	valid
4.0ms	23×	body	2560	valid
2.0ms	68×	body	80	valid
2.0ms	24×	body	320	valid
0.0ms	6×	body	160	valid

simplify677.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	18	12
2	42	12
3	82	12
4	160	12
5	281	12
6	507	12
7	651	12
8	676	12
done	676	12

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 45.3b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
10.6b	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
7×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `sum-log`
3×	`diff-log`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out` `associate--r+` `difference-of-squares`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* x y) z)
9.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series17.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (* x y) z)
11.0ms	(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify952.0ms

Counts

35 → 35

Iterations

Useful iterations: 3 (249.0ms)

Iter	Nodes	Cost
0	64	500
1	179	483
2	549	449
3	2185	447
done	5001	447

prune65.0ms

Filtered

22 candidates to 35 candidates (-59.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	28	7	35
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	29	7	36

Merged error: 44.8b

Counts

36 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x y) z)
10.6b	(- (- (fma x y z) 1.0) (+ (* x y) z))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
7×	`*-un-lft-identity`
6×	`diff-log`
4×	`add-sqr-sqrt` `frac-sub`
3×	`flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `distribute-lft-out--`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `associate--l+` `add-cbrt-cube`
1×	`+-commutative` `associate--l-` `associate--r+` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

4.0ms	(+ (* x y) z)
11.0ms	(- (- (fma x y z) 1.0) (+ (* x y) z))

series16.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(+ (* x y) z)
10.0ms	(- (- (fma x y z) 1.0) (+ (* x y) z))

simplify469.0ms

Counts

43 → 43

Iterations

Useful iterations: done (467.0ms)

Iter	Nodes	Cost
0	91	832
1	282	789
2	1107	765
done	5002	722

prune72.0ms

Filtered

28 candidates to 43 candidates (-53.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	41	9	50

Merged error: 44.7b

Counts

50 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

1.0b	(- (- (- (fma x y z) 1.0) (* x y)) z)
10.6b	(- (- (fma x y z) 1.0) (* x y))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-log-exp`
9×	`diff-log`
8×	`associate--l+`
5×	`sub-neg`
4×	`add-sqr-sqrt` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

2 → 37

Calls

2 calls:

10.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
7.0ms	(- (- (fma x y z) 1.0) (* x y))

series20.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
8.0ms	(- (- (fma x y z) 1.0) (* x y))

simplify973.0ms

Counts

43 → 43

Iterations

Useful iterations: 3 (191.0ms)

Iter	Nodes	Cost
0	70	646
1	163	611
2	484	587
3	1842	575
done	5000	575

prune103.0ms

Filtered

27 candidates to 43 candidates (-59.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	35	8	43
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	36	16	52

Merged error: 44.5b

Counts

52 → 16

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (- (- (fma x y z) 1.0) (* x y)) z)
10.6b	(- (- (fma x y z) 1.0) (* x y))
10.6b	(- (- (fma x y z) 1.0) (* x y))
10.6b	(- (- (fma x y z) 1.0) (* x y))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-log-exp`
15×	`diff-log`
12×	`associate--l+`
9×	`sub-neg`
6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `associate--l-` `add-cube-cbrt` `flip3--` `add-cbrt-cube` `flip--`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 69

Calls

4 calls:

10.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
7.0ms	(- (- (fma x y z) 1.0) (* x y))
7.0ms	(- (- (fma x y z) 1.0) (* x y))
7.0ms	(- (- (fma x y z) 1.0) (* x y))

series34.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (- (- (fma x y z) 1.0) (* x y)) z)
8.0ms	(- (- (fma x y z) 1.0) (* x y))
8.0ms	(- (- (fma x y z) 1.0) (* x y))
8.0ms	(- (- (fma x y z) 1.0) (* x y))

simplify1.0s

Counts

81 → 81

Iterations

Useful iterations: 3 (198.0ms)

Iter	Nodes	Cost
0	70	1180
1	163	1091
2	484	1067
3	1842	1049
done	5000	1049

prune126.0ms

Filtered

52 candidates to 81 candidates (-55.8%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	81	16	97

Merged error: 44.5b

Counts

97 → 16

regimes313.0ms

Accuracy

0% (0.7b remaining)

Error of 45.0b against oracle of 44.3b and baseline of 45.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	41
1	14	41
done	14	41

end0.0ms

sample1.3s

Algorithm

intervals

Results

443.0ms	2639×	body	1280	valid
206.0ms	1595×	body	640	valid
119.0ms	638×	body	2560	valid
80.0ms	2104×	body	80	valid
68.0ms	696×	body	320	valid
22.0ms	328×	body	160	valid

Details

sample43.0ms

simplify677.0ms

prune3.0ms

localize8.0ms

rewrite15.0ms

series17.0ms

simplify952.0ms

prune65.0ms

localize8.0ms

rewrite16.0ms

series16.0ms

simplify469.0ms

prune72.0ms

localize8.0ms

rewrite17.0ms

series20.0ms

simplify973.0ms

prune103.0ms

localize12.0ms

rewrite33.0ms

series34.0ms

simplify1.0s

prune126.0ms

regimes313.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling