Details

sample613.0ms

Algorithm

intervals

Results

182.0ms	465×	body	80	nan
117.0ms	62×	body	5120	valid
82.0ms	53×	body	2560	valid
62.0ms	242×	body	80	valid
44.0ms	16×	body	640	valid
42.0ms	34×	body	1280	valid
27.0ms	14×	body	10240	exit
5.0ms	7×	body	320	valid
3.0ms	6×	body	160	valid

simplify998.0ms

Calls

1 calls:

Slowest

998.0ms

(* (/ 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)))))

prune37.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 51.0b

localize56.0ms

Local error

Found 4 expressions with local error:

25.8b	(+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w))
13.3b	(sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M)))
11.5b	(* (* (/ d D) (/ d D)) (/ c0 h))
11.5b	(* (* (/ d D) (/ d D)) (/ c0 h))

rewrite1.2m

Algorithm

rewrite-expression-head

Rules

44440×	`add-sqr-sqrt`
17600×	`times-frac`
16230×	`unswap-sqr`
6876×	`frac-times`
4366×	`sqrt-prod`
4350×	`difference-of-squares`
3836×	`associate-/l*`
3630×	`associate-/r*`
3022×	`swap-sqr`
2641×	`*-un-lft-identity`
2571×	`add-cube-cbrt`
2224×	`sqrt-div`
2222×	`frac-add`
2186×	`fma-def`
2042×	`associate-/l/`
1776×	`*-commutative`
1254×	`clear-num`
1210×	`frac-2neg`
1112×	`flip3--` `flip--`
764×	`associate-*l/`
396×	`associate-*r/`
252×	`associate-l`
104×	`associate-r`
88×	`un-div-inv`
86×	`add-cbrt-cube` `add-exp-log`
36×	`prod-exp` `cbrt-unprod`
26×	`cbrt-undiv` `div-exp`
20×	`div-inv`
15×	`pow1`
10×	`distribute-lft-out--`
6×	`pow-prod-down` `add-log-exp`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
1×	`+-commutative` `rem-sqrt-square` `sum-log` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+` `distribute-lft-out`

Calls

4 calls:

Slowest

39.7s	(+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w))
29.2s	(sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M)))
105.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
84.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))

series709.0ms

Calls

4 calls:

Slowest

294.0ms	(+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w))
279.0ms	(sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M)))
71.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
66.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))