Details

rewrite348.0ms

Algorithm

rewrite-expression-head

Rules

1987×	*-un-lft-identity
1628×	add-sqr-sqrt
1579×	associate-/r*
1260×	frac-sub
1210×	add-cube-cbrt
1196×	frac-add
1080×	associate-/l*
715×	times-frac
468×	prod-diff
360×	clear-num frac-2neg
236×	associate-+l+
225×	distribute-lft-out
204×	difference-of-squares
114×	distribute-lft-out--
96×	difference-of-sqr-1
72×	div-inv
58×	associate-/r/
29×	flip3-+ flip-+
18×	fma-neg
15×	flip3-- flip--
13×	fma-def
12×	add-exp-log
11×	add-log-exp
8×	add-cbrt-cube
6×	pow1
4×	expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
2×	cbrt-undiv rec-exp sum-log sub-neg diff-log 1-exp pow-flip inv-pow
1×	+-commutative associate-+l-

Calls

4 calls:

Slowest

204.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
44.0ms	(- (/ 1 (+ x 1)) (/ 2 x))
18.0ms	(/ 1 (- x 1))
9.0ms	(/ 1 (+ x 1))