Details

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

99×	*-un-lft-identity
68×	add-sqr-sqrt
63×	add-cube-cbrt
61×	times-frac
54×	prod-diff
18×	fma-neg
17×	distribute-lft-out
10×	associate-/r/
7×	add-log-exp
6×	flip3-+ flip-+
5×	add-exp-log add-cbrt-cube div-inv
4×	associate-/r*
3×	pow1 expm1-log1p-u fma-def log1p-expm1-u associate-/l*
2×	difference-of-squares
1×	cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp clear-num sum-log flip-- distribute-lft-out--

Counts

3 → 141

Calls

3 calls:

16.0ms	(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
9.0ms	(+ 1.0 (exp (* -2.0 x)))
159.0ms	(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)