Details

rewrite531.0ms

Algorithm

rewrite-expression-head

Rules

83×	*-un-lft-identity
47×	times-frac
43×	add-sqr-sqrt
23×	add-cube-cbrt
14×	distribute-lft-out--
13×	distribute-lft-out
11×	add-log-exp
9×	associate-/r*
8×	add-exp-log add-cbrt-cube difference-of-squares
6×	associate-/l*
4×	pow1 associate-/r/
3×	flip3-- frac-add flip--
2×	cbrt-undiv sub-neg associate-+l+ frac-2neg flip3-+ diff-log div-exp clear-num sum-log frac-sub flip-+ div-inv
1×	+-commutative associate-+l-

Counts

4 → 114

Calls

4 calls:

12.0ms	(/ 1.0 (- x 1.0))
21.0ms	(/ 1.0 (+ x 1.0))
101.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
392.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))