Details

rewrite287.0ms

Algorithm

rewrite-expression-head

Rules

192×	add-sqr-sqrt
184×	*-un-lft-identity
105×	prod-diff
103×	times-frac
91×	add-cube-cbrt
49×	difference-of-squares
47×	distribute-lft-out--
12×	log-prod
9×	pow1 flip3-- flip--
8×	associate-/r/
7×	add-exp-log add-log-exp
6×	fma-neg add-cbrt-cube associate--r+
5×	associate-/r* log-pow associate-/l*
4×	expm1-log1p-u log-div log1p-expm1-u div-inv
3×	associate--r-
2×	sub-neg diff-log div-sub associate-/l/
1×	cbrt-undiv frac-2neg div-exp rem-log-exp clear-num

Counts

4 → 227

Calls

4 calls:

65.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms	(/ (- x y) (- 1.0 y))
63.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
96.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))