Details

sample463.0ms

Algorithm

intervals

Results

126.0ms	71×	body	5120	valid
90.0ms	382×	body	80	nan
71.0ms	54×	body	2560	valid
70.0ms	219×	body	80	valid
28.0ms	26×	body	1280	valid
26.0ms	18×	body	10240	exit
11.0ms	14×	body	640	valid
5.0ms	10×	body	320	valid
1.0ms	3×	body	160	valid

simplify1.1s

Counts

1 → 1

Calls

1 calls:

Slowest

1.1s	(* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 49.8b

localize65.0ms

Local error

Found 4 expressions with local error:

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

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

54.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
51.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
44.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))
31.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

series1.9s

Counts

4 → 12

Calls

4 calls:

Slowest

955.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))
795.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
99.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))
88.0ms	(* (/ c0 w) (* (/ d D) (/ d D)))

simplify26.9s

Counts

133 → 161

Calls

133 calls:

Slowest

1.2s	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
808.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
655.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M M)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (* (/ c0 w) (* (/ d D) (/ d D)))))
636.0ms	(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (* (* (/ d D) (/ d D)) (/ d D)) (/ (* (* d d) d) (* (* D D) D))))
619.0ms	(* (/ (* (* c0 c0) c0) (* (* w w) w)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D))))

prune2.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 45.5b

localize87.0ms

Local error

Found 4 expressions with local error:

26.8b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
26.8b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
26.8b	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
14.7b	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

rewrite190.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-div`
24×	`frac-add`
16×	`frac-times`
15×	`flip3-+` `flip-+`
12×	`flip3--` `flip--`
10×	`*-un-lft-identity` `add-log-exp`
8×	`associate-l/` `associate-r/`
7×	`pow1`
4×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
3×	`+-commutative` `sum-log` `distribute-lft-out`
2×	`sqrt-pow1`
1×	`pow1/2` `pow-prod-down` `sqrt-prod`

Counts

4 → 83

Calls

4 calls:

Slowest

71.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))
42.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))
39.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))
37.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))

series3.4s

Counts

4 → 12

Calls

4 calls:

Slowest

919.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))
900.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))
885.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))
739.0ms	(sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M)))

simplify26.6s

Counts

77 → 95

Calls

77 calls:

Slowest

1.2s	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
896.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
838.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
795.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
766.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))

prune2.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 45.5b

localize103.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-div` `frac-add`
16×	`frac-times` `flip3-+` `flip-+`
12×	`*-un-lft-identity` `flip3--` `flip--` `add-log-exp`
8×	`associate-l/` `associate-r/`
4×	`add-sqr-sqrt` `pow1` `+-commutative` `sum-log` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `distribute-lft-out`

Counts

4 → 84

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	(+ (sqrt (* (+ M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (- (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
46.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))
45.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))

series3.6s

Counts

4 → 12

Calls

4 calls:

Slowest

908.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))
899.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))
898.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))
882.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))

simplify30.0s

Counts

84 → 96

Calls

84 calls:

Slowest

868.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))
867.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
853.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
802.0ms	(+ (* (sqrt (* (+ (pow M 3) (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3)) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (+ (* M M) (- (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (* M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))
767.0ms	(+ (* (sqrt (* (- (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))) (- (pow (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) 3) (pow M 3)))) h) (* (sqrt (* (- M (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)) (+ (* M M) (* (/ (* (/ c0 w) (* (/ d D) (/ d D))) h) M))))) (* (/ c0 w) (* (/ d D) (/ d D)))))

prune2.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 45.5b

localize31.0ms

Local error

Found 4 expressions with local error:

9.2b	(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
9.0b	(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
6.9b	(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
0.2b	(* (/ d D) (/ d D))

rewrite267.0ms

Algorithm

rewrite-expression-head

Rules

396×	`add-cbrt-cube` `add-exp-log`
166×	`prod-exp` `cbrt-unprod`
157×	`cbrt-undiv` `div-exp`
63×	`add-sqr-sqrt`
59×	`times-frac`
45×	`*-un-lft-identity` `add-cube-cbrt`
27×	`associate-r` `associate-l`
18×	`pow1`
13×	`swap-sqr`
12×	`frac-times` `associate-*r/`
8×	`associate-*l/` `div-inv`
7×	`unswap-sqr` `associate-/l/`
5×	`pow-prod-down`
4×	`insert-posit16` `add-log-exp`
3×	`associate-/r` `-commutative`
1×	`pow2` `clear-num` `frac-2neg` `pow-plus` `pow-sqr` `pow-prod-up` `associate-/l*`

Counts

4 → 285

Calls

4 calls:

Slowest

146.0ms	(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
52.0ms	(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
43.0ms	(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
18.0ms	(* (/ d D) (/ d D))

series515.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

186.0ms	(* (/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w) (/ c0 w))
142.0ms	(/ (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) w)
142.0ms	(* (/ (* 2 c0) h) (* (/ d D) (/ d D)))
44.0ms	(* (/ d D) (/ d D))

simplify1.1m

Counts

279 → 297

Calls

279 calls:

Slowest

1.6s	(* (/ (* (* (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (* w w) w)) (/ (* (* c0 c0) c0) (* (* w w) w)))
1.5s	(* (/ (* (* (* (/ (* 2 c0) h) (/ (* 2 c0) h)) (/ (* 2 c0) h)) (* (/ (* (* d d) d) (* (* D D) D)) (/ (* (* d d) d) (* (* D D) D)))) (* (* w w) w)) (* (* (/ c0 w) (/ c0 w)) (/ c0 w)))
1.5s	(* (/ (* (* (* (/ (* 2 c0) h) (* (/ d D) (/ d D))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (/ (* 2 c0) h) (* (/ d D) (/ d D)))) (* (* w w) w)) (* (* (/ c0 w) (/ c0 w)) (/ c0 w)))
1.4s	(* (/ (* (* (* (/ (* 2 c0) h) (/ (* 2 c0) h)) (/ (* 2 c0) h)) (* (* (* (/ d D) (/ d D)) (/ d D)) (* (* (/ d D) (/ d D)) (/ d D)))) (* (* w w) w)) (/ (* (* c0 c0) c0) (* (* w w) w)))
1.4s	(* (/ (* (* (* (/ (* 2 c0) h) (/ (* 2 c0) h)) (/ (* 2 c0) h)) (* (* (* (/ d D) (/ d D)) (* (/ d D) (/ d D))) (* (/ d D) (/ d D)))) (* (* w w) w)) (/ (* (* c0 c0) c0) (* (* w w) w)))

prune4.3s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 35.7b

regimes2.1s

Accuracy

8.1% (8.0b remaining)

Error of 46.9b against oracle of 38.9b and baseline of 47.6b

bsearch662.0ms

end0.0ms

sample19.4s

Algorithm

intervals

Results

4.5s	2242×	body	5120	valid
4.5s	13355×	body	80	nan
3.6s	1727×	body	2560	valid
2.1s	6772×	body	80	valid
1.8s	923×	body	1280	valid
1.2s	567×	body	10240	exit
515.0ms	442×	body	640	valid
187.0ms	250×	body	320	valid
47.0ms	102×	body	160	valid