Details

rewrite144.0ms

Algorithm

rewrite-expression-head

Rules

175×	add-sqr-sqrt
169×	*-un-lft-identity
102×	times-frac
93×	prod-diff
81×	add-cube-cbrt
46×	difference-of-squares
44×	distribute-lft-out--
8×	associate-/r/
7×	flip3-- flip--
6×	add-exp-log log-prod
5×	associate-/r* add-cbrt-cube associate-/l* add-log-exp
4×	pow1 div-inv
3×	expm1-log1p-u fma-neg log1p-expm1-u
2×	log-div div-sub associate-/l/
1×	cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num log-pow associate--r-

Counts

3 → 187

Calls

3 calls:

25.0ms	(/ (- x y) (- 1.0 y))
49.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
54.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))