Details

rewrite287.0ms

Algorithm

rewrite-expression-head

Rules

1035×	times-frac
875×	*-un-lft-identity
742×	add-sqr-sqrt
712×	add-cube-cbrt
594×	prod-diff
562×	sqrt-prod
73×	distribute-lft-out
54×	div-inv
46×	sqrt-div associate-/r/
23×	flip3-+ flip-+
22×	fma-neg
13×	associate-/r*
11×	distribute-lft-out--
9×	difference-of-squares
7×	add-exp-log add-cbrt-cube
6×	associate-/l*
5×	add-log-exp
3×	pow1 expm1-log1p-u log1p-expm1-u
2×	cbrt-undiv frac-2neg div-exp clear-num
1×	sub-neg flip3-- diff-log frac-sub flip--

Counts

3 → 739

Calls

3 calls:

13.0ms	(/ 1.0 (sqrt (+ x 1.0)))
6.0ms	(/ 1.0 (sqrt x))
125.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))