Details

rewrite409.0ms

Algorithm

rewrite-expression-head

Rules

115×	times-frac
113×	add-sqr-sqrt
103×	*-un-lft-identity
57×	add-cube-cbrt
18×	difference-of-squares
14×	distribute-lft-out
13×	associate-/l*
11×	pow1 add-exp-log add-cbrt-cube
9×	swap-sqr
8×	flip3-- flip-- distribute-lft-out-- add-log-exp
7×	associate-*r* associate-*l*
6×	div-inv
4×	frac-times sub-neg associate-/r*
3×	cbrt-undiv div-exp
2×	distribute-rgt-in distribute-lft-in diff-log associate-*r/ associate-*l/ associate-/r/
1×	pow2 frac-2neg flip3-+ pow-plus pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ associate-/l/ unswap-sqr

Counts

4 → 169

Calls

4 calls:

17.0ms	(/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))
304.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
37.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
41.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))