Details

sample32.0ms

Algorithm

intervals

Results

15.0ms

465×

body

valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	7	15
1	13	15
2	23	13
3	36	9
4	45	9
5	46	9
done	46	9

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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: 0.1b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* 3 (* y y)))
0.2b	(* 3 (* y y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 30

Calls

2 calls:

4.0ms	(+ (* x x) (* 3 (* y y)))
6.0ms	(* 3 (* y y))

series11.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (* x x) (* 3 (* y y)))
4.0ms	(* 3 (* y y))

simplify1.6s

Counts

36 → 36

Iterations

Useful iterations: 3 (239.0ms)

Iter	Nodes	Cost
0	57	370
1	164	346
2	630	296
3	1787	288
4	4023	288
done	5000	288

prune60.0ms

Filtered

22 candidates to 36 candidates (-63.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	31	5	36
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	32	6	38

Merged error: 0.0b

Counts

38 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* (* y 3) y))
0.2b	(* (* y 3) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* x x) (* (* y 3) y))
6.0ms	(* (* y 3) y)

series11.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(+ (* x x) (* (* y 3) y))
3.0ms	(* (* y 3) y)

simplify978.0ms

Counts

35 → 35

Iterations

Useful iterations: 3 (323.0ms)

Iter	Nodes	Cost
0	60	365
1	171	339
2	702	299
3	2497	283
done	5001	283

prune51.0ms

Filtered

22 candidates to 35 candidates (-59.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	35	6	41

Merged error: 0.0b

Counts

41 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x x) (* y y))
0.0b	(+ (+ (* x x) (* y y)) (* y y))
0.1b	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

5.0ms	(+ (* x x) (* y y))
7.0ms	(+ (+ (* x x) (* y y)) (* y y))
10.0ms	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

series22.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(+ (* x x) (* y y))
7.0ms	(+ (+ (* x x) (* y y)) (* y y))
8.0ms	(+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))

simplify1.1s

Counts

47 → 47

Iterations

Useful iterations: 3 (349.0ms)

Iter	Nodes	Cost
0	70	791
1	218	674
2	972	601
3	3055	513
done	5001	513

prune66.0ms

Filtered

34 candidates to 47 candidates (-38.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	47	6	53

Merged error: 0.0b

Counts

53 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3 (* y y))
0.2b	(* (sqrt (+ (* x x) (* 3 (* y y)))) (sqrt (+ (* x x) (* 3 (* y y)))))
5.0b	(sqrt (+ (* x x) (* 3 (* y y))))
5.0b	(sqrt (+ (* x x) (* 3 (* y y))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
26×	`pow1`
24×	`sqrt-prod`
16×	`sqrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
10×	`sqrt-pow1` `pow1/2`
9×	`associate-l`
8×	`flip3-+` `swap-sqr` `flip-+`
7×	`associate-r`
6×	`pow-prod-down`
5×	`pow-prod-up` `unswap-sqr`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/` `*-commutative`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 106

Calls

4 calls:

6.0ms	(* 3 (* y y))
13.0ms	(* (sqrt (+ (* x x) (* 3 (* y y)))) (sqrt (+ (* x x) (* 3 (* y y)))))
4.0ms	(sqrt (+ (* x x) (* 3 (* y y))))
4.0ms	(sqrt (+ (* x x) (* 3 (* y y))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 3 (* y y))
11.0ms	(* (sqrt (+ (* x x) (* 3 (* y y)))) (sqrt (+ (* x x) (* 3 (* y y)))))
9.0ms	(sqrt (+ (* x x) (* 3 (* y y))))
9.0ms	(sqrt (+ (* x x) (* 3 (* y y))))

simplify1.1s

Counts

118 → 118

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	114	2374
1	245	1664
2	878	1440
3	2689	1384
done	5000	1366

prune178.0ms

Filtered

78 candidates to 118 candidates (-51.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	118	6	124

Merged error: 0b

Counts

124 → 6

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

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
done	10	9

end0.0ms

sample901.0ms

Algorithm

intervals

Results

471.0ms

14510×

body

valid

Details

sample32.0ms

simplify22.0ms

prune11.0ms

localize6.0ms

rewrite11.0ms

series11.0ms

simplify1.6s

prune60.0ms

localize6.0ms

rewrite11.0ms

series11.0ms

simplify978.0ms

prune51.0ms

localize7.0ms

rewrite22.0ms

series22.0ms

simplify1.1s

prune66.0ms

localize8.0ms

rewrite31.0ms

series32.0ms

simplify1.1s

prune178.0ms

regimes269.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample901.0ms

Profiling