Details

sample932.0ms

Algorithm

intervals

Results

448.0ms	25×	body	10240	exit
131.0ms	448×	body	80	nan
120.0ms	70×	body	5120	valid
81.0ms	61×	body	2560	valid
51.0ms	229×	body	80	valid
35.0ms	29×	body	1280	valid
9.0ms	10×	body	640	valid
4.0ms	7×	body	320	valid
2.0ms	5×	body	160	valid

simplify878.0ms

Counts: 1 → 1

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 49.1b

localize80.0ms

Local error

Found 4 expressions with local error:

30.4b	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
12.2b	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))
7.9b	(* (/ c0 (* w 2)) (+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)))
7.4b	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))

rewrite3.9s

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
13×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log`
10×	`add-cube-cbrt`
8×	`sqrt-div` `sqrt-prod` `add-log-exp`
7×	`pow1` `fma-def` `associate-l`
6×	`frac-add`
5×	`flip3--` `flip--`
4×	`expm1-log1p-u` `frac-times` `associate-r` `prod-exp` `associate-*r/` `cbrt-unprod` `insert-posit16` `log1p-expm1-u`
3×	`flip3-+` `times-frac` `flip-+` `difference-of-squares`
2×	`cbrt-undiv` `div-exp` `distribute-lft-out`
1×	`distribute-rgt-in` `+-commutative` `rem-sqrt-square` `sum-log` `sub-neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `fma-neg` `diff-log` `prod-diff` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

Slowest

2.3s	(* (/ c0 (* w 2)) (+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)))
1.2s	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
226.0ms	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))
164.0ms	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))

series1.4s

Counts

4 → 12

Calls

4 calls:

Slowest

548.0ms	(* (/ c0 (* w 2)) (+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)))
369.0ms	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))
281.0ms	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
203.0ms	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))

simplify1.5s

Counts: 114 → 114

prune2.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 21.9b

localize0.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

Calls

0 calls:

Slowest

series0.0ms

Counts

0 → 0

Calls

0 calls:

Slowest

simplify0.0ms

Counts: 0 → 0

prune113.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 21.9b

localize67.0ms

Local error

Found 4 expressions with local error:

30.4b	(+ (sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M))) (* (/ (/ d D) h) (/ (* (/ d D) c0) w)))
12.2b	(sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M)))
8.2b	(/ (* (/ d D) c0) w)
8.2b	(/ (* (/ d D) c0) w)

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-div`
24×	`frac-times` `frac-add`
22×	`add-cbrt-cube` `add-exp-log`
18×	`associate-*l/`
16×	`associate-*r/`
13×	`flip3-+` `flip-+`
12×	`flip3--` `flip--`
9×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
8×	`cbrt-undiv` `div-exp`
7×	`pow1`
6×	`associate-/r*` `times-frac` `add-log-exp`
4×	`expm1-log1p-u` `fma-def` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u`
2×	`clear-num` `frac-2neg` `sqrt-pow1` `sqrt-prod` `div-inv` `associate-/l*` `associate-/l/`
1×	`+-commutative` `sum-log` `pow1/2` `pow-prod-down`

Counts

4 → 118

Calls

4 calls:

Slowest

43.0ms	(sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M)))
41.0ms	(+ (sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M))) (* (/ (/ d D) h) (/ (* (/ d D) c0) w)))
23.0ms	(/ (* (/ d D) c0) w)
15.0ms	(/ (* (/ d D) c0) w)

series1.6s

Counts

4 → 12

Calls

4 calls:

Slowest

798.0ms	(+ (sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M))) (* (/ (/ d D) h) (/ (* (/ d D) c0) w)))
777.0ms	(sqrt (* (+ M (* (/ (/ d D) h) (/ (* (/ d D) c0) w))) (- (* (/ (/ d D) h) (/ (* (/ d D) c0) w)) M)))
44.0ms	(/ (* (/ d D) c0) w)
29.0ms	(/ (* (/ d D) c0) w)

simplify1.3s

Counts: 130 → 130

prune2.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 21.1b

localize112.0ms

Local error

Found 4 expressions with local error:

30.4b	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
12.2b	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))
7.4b	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))
6.9b	(/ (* (* c0 (/ d D)) (/ d D)) w)

rewrite1.7s

Algorithm

rewrite-expression-head

Rules

33×	`add-cbrt-cube` `add-exp-log`
12×	`cbrt-undiv` `div-exp`
11×	`*-un-lft-identity`
10×	`add-sqr-sqrt` `prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt`
8×	`sqrt-prod` `add-log-exp`
7×	`fma-def`
5×	`pow1`
4×	`expm1-log1p-u` `sqrt-div` `insert-posit16` `log1p-expm1-u`
3×	`associate-/r` `times-frac` `flip3--` `associate-r/` `flip--` `difference-of-squares` `associate-/l/`
2×	`frac-add`
1×	`frac-times` `+-commutative` `rem-sqrt-square` `clear-num` `sum-log` `sub-neg` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `fma-neg` `diff-log` `prod-diff` `associate-l/` `flip-+` `div-inv` `distribute-lft-out` `associate-/l`

Counts

4 → 98

Calls

4 calls:

Slowest

1.3s	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
293.0ms	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))
130.0ms	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))
29.0ms	(/ (* (* c0 (/ d D)) (/ d D)) w)

series1.0s

Counts

4 → 12

Calls

4 calls:

Slowest

405.0ms	(- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))
287.0ms	(sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M)))
280.0ms	(+ (sqrt (- (* (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h)) (* M M))) (/ (/ (* (* c0 (/ d D)) (/ d D)) w) h))
65.0ms	(/ (* (* c0 (/ d D)) (/ d D)) w)

simplify884.0ms

Counts: 110 → 110

prune2.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 21.1b

regimes1.4s

Accuracy

-16.1% (12.9b remaining)

Error of 34.9b against oracle of 22.1b and baseline of 33.2b

bsearch11.3s

end0.0ms

sample21.4s

Algorithm

intervals

Results

5.7s	2300×	body	5120	valid
4.6s	12907×	body	80	nan
3.5s	1695×	body	2560	valid
2.3s	6702×	body	80	valid
1.8s	917×	body	1280	valid
1.3s	589×	body	10240	exit
625.0ms	487×	body	640	valid
174.0ms	236×	body	320	valid
62.0ms	118×	body	160	valid