Details

rewrite194.0ms

Algorithm

rewrite-expression-head

Rules

99×	*-un-lft-identity
52×	times-frac
45×	add-sqr-sqrt
23×	add-cube-cbrt
18×	distribute-lft-out distribute-lft-out--
9×	associate-/r* difference-of-squares
7×	add-exp-log add-cbrt-cube associate-/l*
5×	add-log-exp
4×	associate-/r/
3×	pow1
2×	cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv associate-/l/
1×	sub-neg diff-log frac-sub

Counts

3 → 104

Calls

3 calls:

20.0ms	(/ x (+ x 1.0))
26.0ms	(/ (+ x 1.0) (- x 1.0))
139.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))