rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

76×	add-exp-log add-cbrt-cube
48×	*-un-lft-identity
40×	times-frac
30×	prod-exp cbrt-unprod
24×	cbrt-undiv add-sqr-sqrt swap-sqr div-exp
20×	add-cube-cbrt associate-*r* associate-*l*
18×	pow1
16×	associate-/r/
12×	distribute-lft-out
10×	flip3-+ flip-+
8×	div-inv add-log-exp
2×	+-commutative pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sum-log pow-sqr *-commutative pow-prod-up unswap-sqr

Counts

4 → 156

Calls

4 calls:

3.0ms	(+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
3.0ms	(+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
15.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
20.0ms	(* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))