Details

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

17577×	times-frac
10596×	*-un-lft-identity
10127×	add-sqr-sqrt
7121×	add-cube-cbrt
6810×	associate-*r*
3109×	associate-/r/
2221×	associate-*l*
2133×	frac-times
2031×	associate-/r*
1724×	distribute-lft-out
1566×	associate-/l*
1209×	unswap-sqr
1106×	swap-sqr
624×	div-inv
534×	clear-num
507×	frac-2neg
443×	associate-*r/
287×	flip3-+ flip-+
243×	add-cbrt-cube add-exp-log
227×	associate-*l/
170×	*-commutative
110×	tan-quot
106×	cbrt-undiv div-exp
86×	prod-exp cbrt-unprod
54×	un-div-inv
16×	pow1
11×	associate-/l/
4×	pow-prod-down insert-posit16 add-log-exp
1×	pow2 pow-plus pow-sqr pow-prod-up

Calls

4 calls:

Slowest

396.0ms	(/ (/ 2 (+ (* (/ k t) (/ k t)) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
142.0ms	(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
22.0ms	(/ t (* (/ l t) (/ l t)))
16.0ms	(* (/ l t) (/ l t))