Details

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

92×	add-sqr-sqrt
89×	*-un-lft-identity
51×	times-frac
41×	add-cube-cbrt
31×	sqrt-prod
24×	distribute-lft-out-- difference-of-squares
18×	prod-diff
8×	add-log-exp
6×	add-exp-log fma-neg add-cbrt-cube
5×	pow1 flip3-- associate-/r* flip-- associate-/l*
4×	expm1-log1p-u associate-/r/ log1p-expm1-u
2×	sub-neg rem-sqrt-square diff-log div-inv associate-/l/
1×	cbrt-undiv frac-2neg sqrt-pow1 pow1/2 sqrt-div div-sub div-exp clear-num

Counts

4 → 155

Calls

4 calls:

38.0ms	(sqrt (/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0)))
74.0ms	(/ (- (exp (* 2.0 x)) 1.0) (- (exp x) 1.0))
15.0ms	(- (exp (* 2.0 x)) 1.0)
15.0ms	(- (exp x) 1.0)