Details

rewrite3.0s

Algorithm

rewrite-expression-head

Rules

14364×	frac-times
9410×	add-sqr-sqrt
9126×	associate-/l*
9105×	associate-/r*
5625×	*-un-lft-identity
5419×	add-cube-cbrt
4571×	associate-*l*
3989×	associate-*r*
1977×	unswap-sqr
1404×	times-frac
1360×	clear-num
1349×	frac-2neg
1284×	*-commutative
1056×	associate-*l/
368×	add-cbrt-cube add-exp-log
279×	associate-*r/
230×	swap-sqr
190×	prod-exp cbrt-unprod
140×	sqrt-prod
134×	difference-of-squares
114×	cbrt-undiv div-exp
32×	un-div-inv
10×	pow1
7×	div-inv
4×	insert-posit16 add-log-exp
3×	pow-prod-down distribute-lft-out--
2×	sqrt-div
1×	rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--

Calls

4 calls:

Slowest

1.8s	(sqrt (- 1 (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))))
565.0ms	(* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ h l))
30.0ms	(/ (* M D) (* 2 d))
18.0ms	(/ (* M D) (* 2 d))