Details

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

81×	frac-sub
74×	exp-neg
72×	frac-times
56×	neg-sub0 exp-diff
38×	associate-*l/
36×	associate-*r/
28×	flip3-- flip3-+ flip-- flip-+
18×	un-div-inv
12×	exp-prod
10×	add-sqr-sqrt *-un-lft-identity add-log-exp
8×	add-cube-cbrt
6×	pow1 add-exp-log add-cbrt-cube
4×	associate-*l* rem-exp-log
3×	associate-*r*
2×	distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in neg-log
1×	sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr

Counts

4 → 148

Calls

4 calls:

29.0ms	(* (+ 1.0 eps) x)
14.0ms	(exp (- (* (+ 1.0 eps) x)))
18.0ms	(exp (- (* (- 1.0 eps) x)))
99.0ms	(- (* (+ 1.0 (/ 1.0 eps)) (exp (- (* (- 1.0 eps) x)))) (* (- (/ 1.0 eps) 1.0) (exp (- (* (+ 1.0 eps) x)))))