Details

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

84×	*-un-lft-identity
55×	times-frac
50×	add-sqr-sqrt
30×	add-cube-cbrt
25×	distribute-lft-out--
10×	distribute-lft-out
9×	associate-/r*
8×	difference-of-squares
7×	add-exp-log add-cbrt-cube
6×	associate-/r/ associate-/l*
5×	add-log-exp
4×	div-inv
3×	pow1 flip--
2×	cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-+
1×	sub-neg flip3-+ diff-log frac-sub

Counts

3 → 102

Calls

3 calls:

19.0ms	(/ 1.0 (- x 1.0))
22.0ms	(/ 1.0 (+ x 1.0))
146.0ms	(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))