Details

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

71×	*-un-lft-identity
70×	add-sqr-sqrt
69×	times-frac
46×	sqrt-prod
40×	add-cube-cbrt
13×	associate-/r*
11×	distribute-lft-out--
9×	difference-of-squares
7×	add-exp-log add-cbrt-cube distribute-lft-out
6×	associate-/l*
5×	add-log-exp
4×	div-inv
3×	pow1
2×	cbrt-undiv frac-2neg sqrt-div div-exp clear-num associate-/r/
1×	sub-neg flip3-- flip3-+ diff-log frac-sub flip-- flip-+

Counts

3 → 117

Calls

3 calls:

23.0ms	(/ 1.0 (sqrt (+ x 1.0)))
11.0ms	(/ 1.0 (sqrt x))
91.0ms	(- (/ 1.0 (sqrt x)) (/ 1.0 (sqrt (+ x 1.0))))