Details

Algorithm

intervals

Results

Calls

1 calls:

Slowest

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

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 51.9b

Local error

Found 4 expressions with local error:

24.9b	(+ (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.1b	(* (* (/ d D) (/ d D)) (/ c0 h))
13.1b	(* (* (/ d D) (/ d D)) (/ c0 h))
13.1b	(* (* (/ d D) (/ d D)) (/ c0 h))

Algorithm

rewrite-expression-head

Rules

24375×	`add-sqr-sqrt`
9010×	`times-frac`
8595×	`frac-times`
8205×	`unswap-sqr`
4753×	`associate-/l*`
4536×	`associate-/r*`
3279×	`*-un-lft-identity`
3210×	`add-cube-cbrt`
2222×	`sqrt-div` `frac-add`
2186×	`fma-def`
2183×	`sqrt-prod`
2175×	`difference-of-squares`
2042×	`associate-/l/`
1567×	`clear-num`
1562×	`swap-sqr`
1512×	`frac-2neg`
1111×	`flip3--` `flip--`
955×	`associate-*l/`
900×	`*-commutative`
495×	`associate-*r/`
309×	`associate-l`
130×	`associate-r`
127×	`add-cbrt-cube` `add-exp-log`
110×	`un-div-inv`
54×	`prod-exp` `cbrt-unprod`
39×	`cbrt-undiv` `div-exp`
25×	`div-inv`
19×	`pow1`
9×	`pow-prod-down`
6×	`add-log-exp`
5×	`distribute-lft-out--`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
1×	`+-commutative` `sum-log` `flip3-+` `flip-+` `distribute-lft-out`

Calls

4 calls:

Slowest

37.5s	(+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w))
126.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
102.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
97.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))

Calls

4 calls:

Slowest

331.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))
50.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
47.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))
46.0ms	(* (* (/ d D) (/ d D)) (/ c0 h))