Details

rewrite269.0ms

Algorithm

rewrite-expression-head

Rules

81×	frac-sub
78×	exp-neg
76×	frac-times
59×	neg-sub0 exp-diff
38×	associate-*r/ associate-*l/
31×	flip3-- flip--
27×	flip3-+ flip-+
19×	un-div-inv
15×	add-sqr-sqrt
12×	exp-prod
10×	*-un-lft-identity add-log-exp
8×	add-cube-cbrt
6×	pow1 associate-*l* add-cbrt-cube
5×	add-exp-log
4×	rem-exp-log
3×	associate-*r*
2×	distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log difference-of-squares
1×	sub-neg times-frac diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out-- unswap-sqr

Counts

4 → 157

Calls

4 calls:

125.0ms	(* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x))))
19.0ms	(exp (- (* (- 1.0 eps) x)))
15.0ms	(exp (- (* (+ 1.0 eps) x)))
86.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))