Details

rewrite4.2s

Algorithm

rewrite-expression-head

Rules

4259×	add-sqr-sqrt
2129×	times-frac
2037×	associate-*l*
1792×	associate-*r*
1578×	prod-diff
1567×	unswap-sqr
1504×	*-un-lft-identity
1495×	unpow-prod-down
1245×	add-cube-cbrt
791×	distribute-rgt-in distribute-lft-in
331×	add-exp-log
184×	*-commutative
179×	prod-exp
102×	difference-of-squares sqr-pow
99×	div-exp associate-*l/
82×	unpow2
81×	frac-times
61×	associate-/l*
60×	associate-/r* pow-exp
30×	add-cbrt-cube
28×	div-inv
26×	pow-unpow
21×	clear-num
20×	frac-2neg
18×	pow-to-exp
16×	pow1
14×	rec-exp 1-exp
13×	cbrt-unprod
11×	associate-*r/
6×	pow-prod-down
5×	cbrt-undiv
4×	expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp
2×	sub-neg pow-pow un-div-inv
1×	flip3-- flip--

Calls

4 calls:

Slowest

3.6s	(* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))))
419.0ms	(* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))
11.0ms	(pow (/ d l) (/ 1 2))
5.0ms	(pow (/ d h) (/ 1 2))