Details

rewrite310.0ms

Algorithm

rewrite-expression-head

Rules

1035×	times-frac
879×	*-un-lft-identity
747×	add-sqr-sqrt
714×	add-cube-cbrt
594×	prod-diff
566×	sqrt-prod
74×	distribute-lft-out
54×	div-inv
48×	sqrt-div
46×	associate-/r/
24×	flip3-+ flip-+
22×	fma-neg
13×	associate-/r*
11×	distribute-lft-out--
9×	difference-of-squares
8×	add-exp-log add-cbrt-cube
6×	associate-/l* add-log-exp
5×	pow1
4×	expm1-log1p-u log1p-expm1-u
2×	cbrt-undiv frac-2neg div-exp clear-num
1×	sub-neg rem-sqrt-square flip3-- sqrt-pow1 pow1/2 diff-log frac-sub flip-- hypot-def

Counts

4 → 758

Calls

4 calls:

16.0ms	(sqrt (+ x 1.0))
25.0ms	(/ 1.0 (sqrt (+ x 1.0)))
15.0ms	(/ 1.0 (sqrt x))
154.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))