Details

rewrite208.0ms

Algorithm

rewrite-expression-head

Rules

51×	add-sqr-sqrt
49×	*-un-lft-identity
45×	prod-diff
39×	add-cube-cbrt
11×	distribute-rgt-in distribute-lft-in
10×	add-log-exp
9×	flip3-- fma-neg flip--
6×	pow1 add-exp-log add-cbrt-cube
5×	sub-neg associate-*r* associate-*l* distribute-lft-out-- difference-of-squares
4×	expm1-log1p-u frac-times log1p-expm1-u
3×	diff-log
2×	associate-*r/ associate-*l/
1×	pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr

Counts

4 → 138

Calls

4 calls:

126.0ms	(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
15.0ms	(- (exp (* b eps)) 1.0)
32.0ms	(- (exp (* a eps)) 1.0)
25.0ms	(- (exp (* (+ a b) eps)) 1.0)