Details

rewrite761.0ms

Algorithm

rewrite-expression-head

Rules

725×	*-un-lft-identity
703×	times-frac
524×	add-sqr-sqrt
492×	add-cube-cbrt
468×	prod-diff
236×	associate-+l+
95×	distribute-lft-out
65×	div-inv
58×	associate-/r/
29×	flip3-+ flip-+
18×	fma-neg
17×	distribute-lft-out--
12×	difference-of-squares
11×	add-log-exp
10×	fma-def
9×	associate-/r*
8×	add-exp-log add-cbrt-cube
6×	associate-/l*
4×	pow1 expm1-log1p-u log1p-expm1-u
3×	flip3-- frac-add flip--
2×	cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num sum-log frac-sub
1×	+-commutative associate-+l-

Counts

4 → 618

Calls

4 calls:

21.0ms	(/ 1.0 (- x 1.0))
22.0ms	(/ 1.0 (+ x 1.0))
128.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
521.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))