Details

sample558.0ms

Algorithm

intervals

Results

137.0ms	84×	body	5120	valid
132.0ms	61×	body	2560	valid
98.0ms	415×	body	80	nan
52.0ms	221×	body	80	valid
39.0ms	13×	body	10240	exit
36.0ms	29×	body	1280	valid
7.0ms	9×	body	320	valid
5.0ms	6×	body	640	valid
0.0ms	1×	body	160	valid

simplify627.0ms

Counts

1 → 1

Iterations

Iter	Nodes
3	3014
2	286
1	60
0	21

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.9b

localize49.0ms

Local error

Found 4 expressions with local error:

12.9b	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
12.9b	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
12.9b	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
28.4b	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

rewrite2.0s

Algorithm

rewrite-expression-head

Rules

116×	`add-cbrt-cube` `add-exp-log`
48×	`cbrt-undiv` `div-exp`
46×	`add-sqr-sqrt`
40×	`prod-exp` `cbrt-unprod`
32×	`times-frac`
26×	`associate-l`
25×	`*-un-lft-identity` `add-cube-cbrt`
14×	`associate-r`
9×	`pow1`
8×	`sqrt-div` `sqrt-prod` `unswap-sqr`
7×	`fma-def`
6×	`frac-add` `add-log-exp`
4×	`expm1-log1p-u` `frac-times` `flip3--` `associate-l/` `associate-r/` `insert-posit16` `log1p-expm1-u` `div-inv` `flip--`
2×	`pow-prod-down` `*-commutative` `difference-of-squares`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 172

Calls

4 calls:

38.0ms	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
43.0ms	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
363.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
1.5s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

series1.2s

Counts

4 → 12

Calls

4 calls:

106.0ms	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
133.0ms	(* (/ c0 w) (/ (* (/ d D) (/ d D)) h))
434.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
553.0ms	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

simplify1.3s

Counts

184 → 184

Iterations

Iter	Nodes
2	3021
1	716
0	235

prune3.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 25.7b

localize9.0ms

Local error

Found 1 expressions with local error:

5.2b	(* (/ c0 w) (/ 0 2))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
22×	`times-frac`
15×	`*-un-lft-identity` `add-cube-cbrt`
13×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
3×	`pow1`
2×	`div-inv`
1×	`expm1-log1p-u` `frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

1 → 53

Calls

1 calls:

13.0ms

(* (/ c0 w) (/ 0 2))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (/ c0 w) (/ 0 2))

simplify21.9s

Counts

56 → 56

Iterations

Iter	Nodes
4	5936
3	1055
2	469
1	277
0	112

prune607.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 23.4b

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
1	0
0	0

prune107.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 23.4b

localize87.0ms

Local error

Found 4 expressions with local error:

12.9b	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
12.9b	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
28.4b	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))
28.4b	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

rewrite3.6s

Algorithm

rewrite-expression-head

Rules

16×	`sqrt-div` `sqrt-prod`
14×	`fma-def`
12×	`add-sqr-sqrt` `frac-add`
10×	`*-un-lft-identity` `add-cube-cbrt`
8×	`flip3--` `flip--` `add-log-exp`
6×	`pow1`
4×	`expm1-log1p-u` `frac-times` `add-cbrt-cube` `associate-l/` `associate-r/` `add-exp-log` `insert-posit16` `log1p-expm1-u` `difference-of-squares`
2×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 92

Calls

4 calls:

402.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
267.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
1.5s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))
1.5s	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

series2.1s

Counts

4 → 12

Calls

4 calls:

415.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
430.0ms	(sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))
625.0ms	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))
582.0ms	(+ (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M))) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)))

simplify2.9s

Counts

104 → 104

Iterations

Iter	Nodes
3	6280
2	1088
1	295
0	107

prune2.2s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 23.4b

regimes1.6s

Accuracy

0.9% (8.3b remaining)

Error of 33.6b against oracle of 25.3b and baseline of 33.7b

bsearch4.0ms

simplify9.0ms

Iterations

Iter	Nodes
2	46
1	46
0	37

end0.0ms

sample20.8s

Algorithm

intervals

Results

5.9s	2292×	body	5120	valid
4.2s	13306×	body	80	nan
3.0s	1749×	body	2560	valid
2.3s	6913×	body	80	valid
1.7s	902×	body	1280	valid
1.6s	564×	body	10240	exit
508.0ms	476×	body	640	valid
206.0ms	198×	body	320	valid
59.0ms	123×	body	160	valid