Details

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

662×	*-un-lft-identity
589×	times-frac
496×	add-sqr-sqrt
378×	prod-diff
368×	add-cube-cbrt
86×	associate-/r/
79×	distribute-lft-out--
76×	distribute-lft-out
62×	difference-of-squares
44×	div-inv
24×	flip-+
23×	flip3-+
21×	flip--
20×	flip3--
18×	fma-neg
9×	associate-/r*
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 diff-log frac-sub

Counts

3 → 504

Calls

3 calls:

5.0ms	(/ 1.0 (- x 1.0))
6.0ms	(/ 1.0 (+ x 1.0))
68.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))