Details

rewrite804.0ms

Algorithm

rewrite-expression-head

Rules

1084×	*-un-lft-identity
1083×	times-frac
810×	add-sqr-sqrt
754×	add-cube-cbrt
696×	prod-diff
176×	distribute-rgt-in distribute-lft-in
156×	distribute-lft-out
61×	div-inv
26×	associate-/r/
18×	difference-of-squares
13×	flip3-+ flip-+
11×	pow1
9×	swap-sqr
8×	add-exp-log flip3-- add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
7×	associate-*r* associate-*l*
6×	fma-neg
4×	expm1-log1p-u frac-times sub-neg log1p-expm1-u
3×	associate-/r* associate-/l*
2×	diff-log associate-*r/ associate-*l/
1×	cbrt-undiv pow2 frac-2neg pow-plus div-exp pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr

Counts

4 → 822

Calls

4 calls:

9.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)))))))
578.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
66.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
70.0ms	(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))