Details

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

981×	*-un-lft-identity
736×	times-frac
585×	add-sqr-sqrt
468×	prod-diff
419×	add-cube-cbrt
189×	distribute-lft-out
94×	associate-/r/
90×	distribute-lft-out--
81×	difference-of-squares
47×	div-inv
29×	flip3-+ flip-+
20×	flip3-- flip--
18×	fma-neg
9×	associate-/r*
7×	add-exp-log add-cbrt-cube associate-/l*
5×	add-log-exp
3×	pow1 expm1-log1p-u log1p-expm1-u
2×	cbrt-undiv frac-2neg div-exp clear-num associate-/l/
1×	sub-neg diff-log frac-sub

Counts

3 → 596

Calls

3 calls:

5.0ms	(/ x (+ x 1.0))
11.0ms	(/ (+ x 1.0) (- x 1.0))
79.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))