Details

rewrite99.0ms

Algorithm

rewrite-expression-head

Rules

64×	add-sqr-sqrt
26×	*-un-lft-identity
18×	times-frac difference-of-squares
11×	pow1
10×	add-log-exp
9×	swap-sqr
8×	add-cube-cbrt flip3-- flip-- distribute-lft-out--
7×	associate-*r* associate-*l*
6×	add-exp-log sub-neg add-cbrt-cube
4×	distribute-rgt-in frac-times associate-+r+ distribute-lft-in
2×	diff-log associate-*r/ associate-*l/
1×	+-commutative pow2 flip3-+ pow-plus pow-prod-down prod-exp sum-log pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ unswap-sqr

Counts

4 → 98

Calls

4 calls:

4.0ms	(+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
47.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
21.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
24.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))