Details

rewrite240.0ms

Algorithm

rewrite-expression-head

Rules

83×	add-exp-log add-cbrt-cube
62×	*-un-lft-identity
53×	times-frac
34×	add-sqr-sqrt
31×	prod-exp cbrt-unprod
30×	add-cube-cbrt
27×	cbrt-undiv div-exp
24×	swap-sqr
20×	associate-*r* associate-*l* associate-/r/
18×	pow1
14×	distribute-lft-out
11×	flip3-+ flip-+
10×	div-inv
7×	associate-/r*
4×	associate-/l* 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 → 190

Calls

4 calls:

24.0ms	(/ (* 2.0 t) (+ 1.0 t))
46.0ms	(/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
76.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
83.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))