Details

rewrite377.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

10.0ms	(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
290.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
35.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
38.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))