Details

sample894.0ms

Algorithm

intervals

Results

442.0ms	54×	body	2560	valid
141.0ms	77×	body	5120	valid
124.0ms	444×	body	80	nan
43.0ms	18×	body	10240	exit
40.0ms	193×	body	80	valid
26.0ms	23×	body	1280	valid
21.0ms	23×	body	640	valid
3.0ms	6×	body	160	valid
2.0ms	4×	body	320	valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5207
3	2972
2	280
1	59
0	21

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.9b

localize70.0ms

Local error

Found 4 expressions with local error:

12.8b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
12.8b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
13.3b	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
27.0b	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

134×	`add-cbrt-cube` `add-exp-log`
54×	`prod-exp` `cbrt-unprod`
48×	`cbrt-undiv` `div-exp`
16×	`sqrt-div`
10×	`frac-times` `associate-*r/`
8×	`frac-add`
7×	`pow1` `flip3-+` `flip-+`
6×	`-un-lft-identity` `flip3--` `associate-l/` `flip--` `add-log-exp` `associate-/l/`
4×	`add-sqr-sqrt` `add-cube-cbrt` `insert-posit16`
2×	`clear-num` `associate-/r` `frac-2neg` `sqrt-pow1` `times-frac` `div-inv` `associate-/l`
1×	`+-commutative` `sum-log` `pow1/2` `pow-prod-down` `sqrt-prod` `distribute-lft-out`

Counts

4 → 131

Calls

4 calls:

29.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
30.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
38.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
50.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

series1.6s

Counts

4 → 12

Calls

4 calls:

106.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
81.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
699.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M)))
686.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* (* c0 (/ d D)) (/ d D)) (* w h)) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

simplify2.2s

Counts

143 → 143

Iterations

Iter	Nodes
done	5009
2	3584
1	670
0	224

prune768.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 50.3b

localize61.0ms

Local error

Found 4 expressions with local error:

12.8b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
12.8b	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
13.3b	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
30.7b	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

rewrite155.0ms

Algorithm

rewrite-expression-head

Rules

134×	`add-cbrt-cube` `add-exp-log`
54×	`prod-exp` `cbrt-unprod`
48×	`cbrt-undiv` `div-exp`
16×	`sqrt-div`
10×	`frac-times` `associate-*r/`
8×	`frac-add`
7×	`pow1` `flip3-+` `flip-+`
6×	`-un-lft-identity` `flip3--` `associate-l/` `flip--` `add-log-exp` `associate-/l/`
4×	`add-sqr-sqrt` `add-cube-cbrt` `insert-posit16`
2×	`clear-num` `associate-/r` `frac-2neg` `sqrt-pow1` `times-frac` `div-inv` `associate-/l`
1×	`+-commutative` `sum-log` `pow1/2` `pow-prod-down` `sqrt-prod` `distribute-lft-out`

Counts

4 → 131

Calls

4 calls:

48.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
36.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
24.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
41.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

series1.5s

Counts

4 → 12

Calls

4 calls:

87.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
84.0ms	(/ (* (* c0 (/ d D)) (/ d D)) (* w h))
556.0ms	(sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M)))
741.0ms	(+ (sqrt (* (+ M (/ (* (* c0 (/ d D)) (/ d D)) (* w h))) (- (/ (* c0 (/ d D)) (/ (* w h) (/ d D))) M))) (/ (* (* c0 (/ d D)) (/ d D)) (* w h)))

simplify2.4s

Counts

143 → 143

Iterations

Iter	Nodes
done	5218
2	3788
1	713
0	227

prune1.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 50.3b

localize89.0ms

Local error

Found 4 expressions with local error:

12.8b	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
12.8b	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
13.3b	(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
27.0b	(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

rewrite565.0ms

Algorithm

rewrite-expression-head

Rules

8458×	`times-frac`
3062×	`*-un-lft-identity`
3060×	`add-sqr-sqrt` `add-cube-cbrt`
1154×	`associate-/l*`
390×	`div-inv`
134×	`add-cbrt-cube` `add-exp-log`
88×	`cbrt-undiv` `div-exp`
56×	`associate-/r/`
16×	`sqrt-div`
14×	`prod-exp` `cbrt-unprod`
8×	`frac-times` `frac-add`
7×	`pow1` `flip3-+` `flip-+`
6×	`flip3--` `flip--` `add-log-exp`
4×	`associate-l/` `associate-r/` `insert-posit16`
2×	`clear-num` `associate-/r*` `frac-2neg` `sqrt-pow1` `associate-/l/`
1×	`+-commutative` `sum-log` `pow1/2` `pow-prod-down` `sqrt-prod` `distribute-lft-out`

Counts

4 → 2431

Calls

4 calls:

33.0ms	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
42.0ms	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
137.0ms	(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
142.0ms	(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

series1.7s

Counts

4 → 12

Calls

4 calls:

105.0ms	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
126.0ms	(/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))
629.0ms	(sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M)))
862.0ms	(+ (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) (sqrt (* (+ M (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h))) (- (/ (/ (/ c0 (/ D d)) (/ D d)) (* w h)) M))))

simplify3.5s

Counts

2443 → 2443

Iterations

Iter	Nodes
done	5000
0	2905

prune28.9s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 27.4b

localize21.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune0.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 27.4b

regimes1.8s

Accuracy

18.2% (6.8b remaining)

Error of 32.8b against oracle of 25.9b and baseline of 34.3b

bsearch5.0ms

simplify10.0ms

Iterations

Iter	Nodes
done	58
1	58
0	43

end0.0ms

sample21.4s

Algorithm

intervals

Results

5.9s	2372×	body	5120	valid
4.4s	13194×	body	80	nan
3.9s	1699×	body	2560	valid
1.8s	6691×	body	80	valid
1.7s	948×	body	1280	valid
1.7s	549×	body	10240	exit
441.0ms	452×	body	640	valid
162.0ms	227×	body	320	valid
54.0ms	113×	body	160	valid