Details

sample669.0ms

Algorithm

intervals

Results

154.0ms	62×	body	5120	valid
115.0ms	55×	body	2560	valid
114.0ms	236×	body	80	valid
113.0ms	418×	body	80	nan
56.0ms	41×	body	1280	valid
39.0ms	19×	body	10240	exit
14.0ms	12×	body	640	valid
5.0ms	6×	body	320	valid
1.0ms	2×	body	160	valid

simplify1.3s

Counts: 1 → 1

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 50.8b

localize49.0ms

Local error

Found 4 expressions with local error:

25.7b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))

rewrite169.0ms

Algorithm

rewrite-expression-head

Rules

127×	`add-cbrt-cube` `add-exp-log`
54×	`prod-exp` `cbrt-unprod`
39×	`cbrt-undiv` `div-exp` `associate-l`
34×	`add-sqr-sqrt`
30×	`times-frac`
27×	`*-un-lft-identity`
25×	`add-cube-cbrt`
19×	`frac-times` `pow1`
17×	`associate-*r/`
11×	`associate-*l/`
9×	`pow-prod-down`
8×	`sqrt-div` `frac-add`
6×	`add-log-exp` `unswap-sqr`
4×	`flip3-+` `flip-+` `insert-posit16`
3×	`flip3--` `associate-r` `*-commutative` `div-inv` `flip--`
1×	`+-commutative` `sum-log` `distribute-lft-out`

Counts

4 → 183

Calls

4 calls:

Slowest

50.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
47.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
41.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
27.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

series1.1s

Counts

4 → 12

Calls

4 calls:

Slowest

880.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
92.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
80.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
80.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify1.3s

Counts: 195 → 195

prune3.3s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 48.1b

localize98.0ms

Local error

Found 4 expressions with local error:

30.0b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.4b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M)))

rewrite147.0ms

Algorithm

rewrite-expression-head

Rules

86×	`add-cbrt-cube` `add-exp-log`
36×	`prod-exp` `cbrt-unprod`
26×	`cbrt-undiv` `div-exp` `associate-l`
24×	`add-sqr-sqrt`
20×	`*-un-lft-identity` `times-frac`
18×	`frac-times` `add-cube-cbrt`
17×	`pow1`
16×	`sqrt-div`
14×	`associate-*r/`
10×	`associate-*l/`
8×	`frac-add`
7×	`flip3-+` `pow-prod-down` `flip-+`
6×	`flip3--` `flip--` `add-log-exp`
4×	`insert-posit16` `unswap-sqr`
2×	`sqrt-pow1` `associate-r` `*-commutative` `div-inv`
1×	`+-commutative` `sum-log` `pow1/2` `sqrt-prod` `distribute-lft-out`

Counts

4 → 149

Calls

4 calls:

Slowest

45.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
35.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
34.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
28.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M)))

series1.9s

Counts

4 → 12

Calls

4 calls:

Slowest

928.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
784.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (/ (* c0 (* (/ d D) (/ d D))) w) h) M)))
114.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
91.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify1.2s

Counts: 161 → 161

prune2.8s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 48.1b

localize92.0ms

Local error

Found 4 expressions with local error:

30.6b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
16.9b	(* (/ c0 w) (* (/ d D) (/ d D)))
13.8b	(* (/ c0 w) (/ d D))

rewrite203.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-cbrt-cube` `add-exp-log`
50×	`add-sqr-sqrt`
42×	`times-frac`
40×	`prod-exp` `cbrt-unprod`
39×	`associate-l`
34×	`*-un-lft-identity`
32×	`add-cube-cbrt`
30×	`cbrt-undiv` `div-exp`
16×	`pow1`
15×	`frac-times` `associate-r`
13×	`associate-*r/`
9×	`associate-*l/`
8×	`sqrt-div` `frac-add` `unswap-sqr`
7×	`pow-prod-down`
6×	`add-log-exp`
4×	`flip3-+` `flip-+` `insert-posit16` `div-inv`
3×	`flip3--` `*-commutative` `flip--`
1×	`+-commutative` `sum-log` `distribute-lft-out`

Counts

4 → 180

Calls

4 calls:

Slowest

74.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
50.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
49.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
24.0ms	(* (/ c0 w) (/ d D))

series1.2s

Counts

4 → 12

Calls

4 calls:

Slowest

925.0ms	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (* (/ c0 w) (/ d D)) (/ d D)) h))
118.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
116.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
45.0ms	(* (/ c0 w) (/ d D))

simplify1.7s

Counts: 192 → 192

prune4.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 47.4b

localize33.0ms

Local error

Found 4 expressions with local error:

10.6b	(* (* 2 (/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)) (/ c0 w))
8.1b	(/ c0 (/ w (* (/ d D) (/ d D))))
7.8b	(/ w (* (/ d D) (/ d D)))
3.7b	(/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)

rewrite209.0ms

Algorithm

rewrite-expression-head

Rules

315×	`times-frac`
193×	`add-cbrt-cube` `add-exp-log`
136×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
99×	`cbrt-undiv` `div-exp`
56×	`associate-/r/`
54×	`prod-exp` `cbrt-unprod`
41×	`associate-/l*`
24×	`div-inv`
20×	`associate-*r/`
18×	`frac-times` `associate-*l/`
14×	`associate-/r*`
13×	`associate-r`
9×	`pow1`
4×	`insert-posit16` `add-log-exp`
3×	`clear-num` `frac-2neg` `pow-prod-down`
1×	`associate-l` `*-commutative` `associate-/l/`

Counts

4 → 331

Calls

4 calls:

Slowest

122.0ms	(* (* 2 (/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)) (/ c0 w))
34.0ms	(/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)
24.0ms	(/ c0 (/ w (* (/ d D) (/ d D))))
22.0ms	(/ w (* (/ d D) (/ d D)))

series476.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

140.0ms	(/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)
132.0ms	(* (* 2 (/ (/ c0 (/ w (* (/ d D) (/ d D)))) h)) (/ c0 w))
113.0ms	(/ c0 (/ w (* (/ d D) (/ d D))))
90.0ms	(/ w (* (/ d D) (/ d D)))

simplify930.0ms

Counts: 343 → 343

prune5.4s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 39.5b

regimes2.3s

Accuracy

0% (5.5b remaining)

Error of 47.4b against oracle of 41.9b and baseline of 47.4b

bsearch6.0ms

end0.0ms

sample20.2s

Algorithm

intervals

Results

5.7s	2317×	body	5120	valid
3.8s	13361×	body	80	nan
3.1s	1670×	body	2560	valid
1.9s	7006×	body	80	valid
1.7s	906×	body	1280	valid
1.6s	611×	body	10240	exit
934.0ms	461×	body	640	valid
172.0ms	211×	body	320	valid
99.0ms	109×	body	160	valid