Details

rewrite601.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 112

Calls

4 calls:

13.0ms	(/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
436.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
83.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
65.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))