rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

86×	add-exp-log add-cbrt-cube
60×	*-un-lft-identity
48×	times-frac
32×	prod-exp cbrt-unprod
28×	cbrt-undiv add-sqr-sqrt div-exp
24×	add-cube-cbrt swap-sqr
20×	associate-*r* associate-*l* associate-/r/
18×	pow1
16×	distribute-lft-out
10×	flip3-+ flip-+ div-inv
8×	associate-/r*
4×	add-log-exp
2×	pow2 frac-times frac-2neg pow-plus associate-*r/ pow-prod-down associate-*l/ clear-num pow-sqr *-commutative pow-prod-up associate-/l* unswap-sqr

Counts

4 → 184

Calls

4 calls:

0.0hr	(/ (* 2.0 t) (+ 1.0 t))
0.0hr	(/ (* 2.0 t) (+ 1.0 t))
0.0hr	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
0.0hr	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))