Details

rewrite824.0ms

Algorithm

rewrite-expression-head

Rules

11184×	times-frac
7033×	add-sqr-sqrt
5065×	*-un-lft-identity
5047×	add-cube-cbrt
4469×	associate-*r*
1727×	associate-/r/
1492×	associate-/r*
1404×	frac-times
1012×	associate-/l*
914×	associate-*l*
797×	unswap-sqr
749×	swap-sqr
517×	div-inv
362×	associate-*r/
346×	clear-num
328×	frac-2neg
233×	add-cbrt-cube add-exp-log
146×	associate-*l/
113×	*-commutative
110×	tan-quot
103×	cbrt-undiv div-exp
82×	prod-exp cbrt-unprod
36×	un-div-inv
9×	pow1 associate-/l/
4×	expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×	pow-prod-down

Calls

4 calls:

Slowest

253.0ms	(/ (/ 2 (fma (/ k t) (/ k t) 2)) (* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t)))))
174.0ms	(* (* (sin k) (tan k)) (/ t (* (/ l t) (/ l t))))
49.0ms	(/ t (* (/ l t) (/ l t)))
5.0ms	(/ 2 (fma (/ k t) (/ k t) 2))